### Working paper

## Automorphism groups of compact complex surfaces

All classes of integrable cocycles in H2(L,L) are obtained for Lie algebra of type G2 over an algebraically closed field of characteristic 2. It is proved that there exist only two orbits of classes of integrable cocycles with respect to automorphism group. The global deformation is shown to exist for any nontrivial class of integrable cocycles. These deformations are isomorphic to one of the two algebras of Cartan type, one of which being S(3:1,ω) while the other H(4:1,ω).

For every algebraically closed field k of characteristic different from 2, we prove the following: (1) Finite-dimensional (not necessarily associative) k-algebras of general type of a fixed dimension, considered up to isomorphism, are parametrized by the values of a tuple of algebraically independent (over k) rational functions of the structure constants. (2) There exists an “algebraic normal form” to which the set of structure constants of every such algebra can be uniquely transformed by means of passing to its new basis—namely, there are two finite systems of nonconstant polynomials on the space of structure constants, {f_i}_i∈I and {b_j}_j∈J , such that the ideal generated by the set {f_i}_i∈I is prime and, for every tuple c of structure constants satisfying the property b_j(c) = 0 for all j ∈ J, there exists a unique new basis of this algebra in which the tuple c' of its structure constants satisfies the property f_i(c') = 0 for all i ∈ I.

Preface

The workshop “Algebraic Varieties and Automorphism Groups” was held at the Research Institute of Mathematical Sciences (RIMS), Kyoto University during July 7-11, 2014. There were over eighty participants including twenty people from overseas Canada, France, Germany, India, Korea, Poland, Russia, Singapore, Switzerland, and USA.

Recently, there have been remarkable developments in algebraic geometry and related fields, especially, in the area of (birational) automorphism groups and algebraic group actions.

The purpose of this workshop was to provide the experts and young researchers with the opportunities to interact in the fields of affine and complete algebraic geometry, group actions and commutative algebra related to the topics listed below as well as to publicize the new results. We are confident that these purposes were achieved by the endeavors of the participants.

The main topics of the workshop were the following:

Algebraic varieties containing An-cylinders; Algebraic varieties with fibrations; Algebraic group actions and orbit stratifications on algebraic varieties; Automorphism groups and birational automorphism groups of algebraic varieties.There were 19 talks on the above and related topics by experts from the viewpoints of (affine) algebraic geometry, transformation groups, and commutative algebra. Inspired by the talks, there were active discussions and communication among participants during and after the workshop.

The present volume is the proceedings of the workshop and contains 15 articles on the workshop topics. We hope that this volume will contribute to the progress in the theories of algebraic varieties and their automorphism groups.

The workshop was financially supported by the RIMS and Grant- in-Aid for Scientific Research (B) 24340006, JSPS. We wish to thank all those who supported us in organizing the workshop and preparing this volume.

June, 2016

Kayo Masuda, Takashi Kishimoto, Hideo Kojima, Masayoshi Miyanishi, Mikhail Zaidenberg

All papers in this volume have been refereed and are in final form. No version of any of them will be submitted for publication elsewhere.

Exploring Bass’ Triangulability Problem on unipotent algebraic subgroups of the affine Cremona groups, we prove a triangulability criterion, the existence of nontriangulable connected solvable affine algebraic subgroups of the Cremona groups, and stable triangulability of such subgroups; in particular, in the stable range we answer Bass’ Triangulability Problem in the affirmative. To this end we prove a theorem on invariant subfields of 1-extensions. We also obtain a general construction of all rationally triangulable subgroups of the Cremona groups and, as an application, classify rationally triangulable connected one-dimensional unipotent affine algebraic subgroups of the Cremona groups up to conjugacy.

For a complete Cartan foliation (M; F) we introduce two algebraic invariants g0(M; F) and g1(M; F) which we call structure Lie algebras. If the transverse Cartan geometry of (M; F) is eective then g0(M; F) = g1(M; F). We prove that if g0(M; F) is zero then in the category of Cartan foliations the group of all basic automorphisms of the foliation (M; F) admits a unique structure of nite-dimensional Lie group. In particular, we obtain sucient conditions for this group to be discrete. We give some exact (i.e. best possible) estimates of the dimension of this group depending on the transverse geometry and topology of leaves. We construct several examples of groups of all basic automorphisms of complete Cartan foliations.

Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

This proceedings publication is a compilation of selected contributions from the “Third International Conference on the Dynamics of Information Systems” which took place at the University of Florida, Gainesville, February 16–18, 2011. The purpose of this conference was to bring together scientists and engineers from industry, government, and academia in order to exchange new discoveries and results in a broad range of topics relevant to the theory and practice of dynamics of information systems. Dynamics of Information Systems: Mathematical Foundation presents state-of-the art research and is intended for graduate students and researchers interested in some of the most recent discoveries in information theory and dynamical systems. Scientists in other disciplines may also benefit from the applications of new developments to their own area of study.

Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.