Let $X$ be a compact complex space in Fujiki's Class $C$. We show that the group $Aut(X)$ of all biholomorphic automorphisms of $X$ has the Jordan property: there is a (Jordan) constant $J = J(X)$ such that any finite subgroup $G\le Aut(X)$ has an abelian subgroup $H\le G$ with the index $[G:H]\le J$. This extends, with a quite different method, the result of Prokhorov and Shramov for Moishezon threefolds.
Let $X$ be a compact complex manifold in Fujiki's class $\mathcal{C}$, i.e., admitting a big $(1,1)$-class $[α]$. Consider $\text{Aut}(X)$ the group of biholomorphic automorphisms and $\text{Aut}_{[α]}(X)$ the subgroup of automorphisms preserving the class $[α]$ via pullback. We show that $X$ admits an $\text{Aut}_{[α]}(X)$-equivariant Kähler model: there is a bimeromorphic holomorphic map $σ\colon \widetilde{X}\to X$ from a Kähler manifold $\widetilde{X}$ such that $\text{Aut}_{[α]}(X)$ lifts holomorphically via $σ$. There are several applications. We show that $\text{Aut}_{[α]}(X)$ is a Lie …
We show an analogue of Jordan's theorem for algebraic groups defined over a field $\mathbb k$ of arbitrary characteristic. As a consequence, a Jordan-type property holds for the automorphism group of any projective variety over $\mathbb k$.
Let $W$ be a quasiprojective variety over an algebraically closed field of characteristic zero. Assume that $W$ is birational to a product of a smooth projective variety $A$ and the projective line. We prove that if $A$ contains no rational curves then the automorphism group $G:=Aut(W)$ of $W$ is Jordan. That means that there is a positive integer $J=J(W)$ such that every finite subgroup $\mathcal{B}$ of ${G}$ contains a commutative subgroup $\mathcal{A}$ such that $\mathcal{A}$ is normal in $\mathcal{B}$ and the index $[\mathcal{B}:\mathcal{A}] \le J$ .
This is the expanded version of my talk at the workshop "Groups of Automorphisms in Birational and Affine Geometry", October 29--November 3, 2012, Levico Terme, Italy. The first section is focused on Jordan groups in abstract setting, the second on that in the settings of automorphisms groups and groups of birational self-maps of algebraic varieties. The appendix is the expanded version of my notes on open problems posted on the site of this workshop. It contains formulations of some open problems and the relevant comments.
We prove that the family of all connected n-dimensional real Lie groups is uniformly Jordan for every n. This implies that all algebraic groups (not necessarily affine) over fields of characteristic zero and some transformation groups of complex spaces and Riemannian manifods are Jordan.
Let $X$ be a non-uniruled compact Kähler space of dimension 3. We show that the group of bimeromorphic automorphisms of $X$ is Jordan. More generally, the same result holds for any compact Kähler space admitting a quasi-minimal model.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of elliptic ruled surfaces. This gives a positive answer to a question of Vladimir L. Popov.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of algebraic surfaces. This gives a positive answer to a question of Vladimir L. Popov.
We study automorphism groups and birational automorphism groups of compact complex surfaces. We show that the automorphism group of such surface $X$ is always Jordan, and the birational automorphism group is Jordan unless $X$ is birational to a product of an elliptic and a rational curve.
Let $X$ be a compact complex manifold in the Fujiki class $\mathscr{C}$. We study the compactification of $\operatorname{Aut}^0(X)$ given by its closure in Barlet cycle space. The boundary points give rise to non-dominant meromorphic self-maps of $X$. Moreover convergence in cycle space yields convergence of the corresponding meromorphic maps. There are analogous compactifications for reductive subgroups acting trivially on $\operatorname{Alb} X$. If $X$ is Kähler, these compactifications are projective. Finally we give applications to the action of $\operatorname{Aut}(X)$ on the set of probab…
A century ago, Camille Jordan proved that the complex general linear group $GL_n(C)$ has the Jordan property: there is a Jordan constant $C_n$ such that every finite subgroup $H \le GL_n(C)$ has an abelian subgroup $H_1$ of index $[H : H_1] \le C_n$. We show that every connected algebraic group $G$ (which is not necessarily linear) has the Jordan property with the Jordan constant depending only on $\dim \, G$, and that the full automorphism group $Aut(X)$ of every projective variety $X$ has the Jordan property
We prove that the image of the pluricanonical representation of a group of bimeromorphic automorphisms of a complex manifold has bounded finite subgroups. As a consequence, we show that the group of bimeromorphic automorphisms of an $n$-dimensional complex manifold whose Kodaira dimension is at least $n-2$, satisfies the Jordan property.
We call a group $G$ nilpotently Jordan of class at most $c$ $(c\in\mathbb{N})$ if there exists a constant $J\in\mathbb{Z}^+$ such that every finite subgroup $H\leqq G$ contains a nilpotent subgroup $K\leqq H$ of class at most $c$ and index at most $J$. We show that the birational automorphism group of a $d$ dimensional variety over a field of characteristic zero is nilpotently Jordan of class at most $d$.
We call a group $G$ nilpotently Jordan of class at most $c$ $(c\in\mathbb{N})$ if there exists a constant $J\in\mathbb{Z}^+$ such that every finite subgroup $H\leqq G$ contains a nilpotent subgroup $K\leqq H$ of class at most $c$ and index at most $J$. We show that the birational automorphism group of a variety over a field of characteristic zero is nilpotently Jordan of class at most two.
We give explicit bounds for Jordan constants of groups of birational automorphisms of rationally connected threefolds over fields of zero characteristic, in particular, for Cremona groups of ranks 2 and 3.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups does not hold for the group of bimeromorphic automorphisms of a product of the complex projective line and a complex torus of positive algebraic dimension.
A simple method of constructing a big stock of algebraic varieties with trivial Makar-Limanov invariant is described, the Derksen invariant of some varieties is computed, the generalizations of the Makar-Limanov and Derksen invariants are introduced and discussed, and some results on the Jordan property of automorphism groups of algebraic varieties are obtained.
Assuming a particular case of Borisov--Alexeev--Borisov conjecture, we prove that finite subgroups of the automorphism group of a finitely generated field over Q have bounded orders. Further, we investigate which algebraic varieties have groups of birational selfmaps satisfying the Jordan property.
Let G be a group of automorphisms of a compact Kähler manifold X of dimension n and N(G) the subset of null-entropy elements. Suppose G admits no non-abelian free subgroup. Improving the known Tits alternative, we obtain that, up to replace G by a finite-index subgroup, either G/N(G) is a free abelian group of rank < n-1, or G/N(G) is a free abelian group of rank n-1 and X is a complex torus, or G is a free abelian group of rank n-1. If the last case occurs, X is G-equivariant birational to the quotient of an abelian variety provided that X is a projective manifold of dimension n > 2 and is no…
A group $G$ is called Jordan if there is a positive integer $J=J_G$ such that every finite subgroup $\mathcal{B}$ of $G$ contains a commutative subgroup $\mathcal{A}\subset \mathcal{B}$ such that $\mathcal{A}$ is normal in $\mathcal{B}$ and the index $[\mathcal{B}:\mathcal{A}] \le J$ (V.L. Popov). In this paper we deal with Jordaness properties of the groups $Bir(X)$ of birational automorphisms of irreducible smooth projective varieties $X$ over an algebraically closed field of characteristic zero. It is known (Yu. Prokhorov - C. Shramov) that $Bir(X)$ is Jordan if $X$ is non-uniruled. On the …
Let $X$ be a projective variety of dimension $n\ge1$ over an algebraically closed field of arbitrary characteristic. We prove a Fujiki-Lieberman type theorem on the structure of the automorphism group of $X$. Let $G$ be a group of zero entropy automorphisms of $X$ and $G_0$ the set of elements in $G$ which are isotopic to the identity. We show that after replacing $G$ by a suitable finite-index subgroup, $G/G_0$ is a unipotent group of the derived length at most $n-1$. This result was first proved by Dinh, Oguiso and Zhang for compact Kähler manifolds.
We classify finite groups acting by birational transformations of a non-trivial Severi--Brauer surface over a field of characteristc zero that are not conjugate to subgroups of the automorphism group. Also, we show that the automorphism group of a smooth cubic surface over a field $K$ of characteristic zero that has no $K$-points is abelian, and find a sharp bound for the Jordan constants of birational automorphism groups of such cubic surfaces.
We study finite $p$-subgroups of birational automorphism groups. By virtue of boundedness theorem of Fano varieties, we prove that there exists a constant $R(n)$ such that a rationally connected variety of dimension $n$ over an algebraically closed field is rational if its birational automorphism group contains a $p$-subgroups of maximal rank for $p > R(n)$. Some related applications on Jordan property are discussed.
For a geometrically rational surface X over an arbitrary field of characteristic different from 2 and 3 that contains all roots of 1, we show that either X is birational to a product of a projective line and a conic, or the group of birational automorphisms of X has bounded finite subgroups. As a key step in the proof, we show boundedness of finite subgroups in any anisotropic reductive algebraic group over a perfect field that contains all roots of 1. Also, we provide applications to Jordan property for groups of birational automorphisms.
In this paper we prove several results about the lattice of imprimitivity systems of a permutation group containing a cyclic subgroup with at most two orbits. As an application we generalize the first Ritt theorem about functional decompositions of polynomials, and some other related results. Besides, we discuss examples of rational functions, related to finite subgroups of the automorphism group of the sphere for which the first Ritt theorem fails to be true.
In this survey we discuss holomorphic $\mathbb{P}^1$-bundles $p: X \to Y$ over a non-uniruled complex compact Kähler manifold $Y$, paying a special attention to the case when $Y$ is a complex torus. We discuss so called Jordan properties of the groups $Aut(X)$ and $Bim(X)$ of its biholomorphic and bimeromorphic automorphisms, respectively.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups does not hold for the groups of birational automorphisms of products of an elliptic curve and the projective line. This gives a negative answer to a question of V. L. Popov, arXiv:1001.1311 [math.AG].
Given a smooth hyperplane section $H$ of a rational homogeneous space $G/P$ with Picard number one, we address the question whether it is always possible to lift an automorphism of $H$ to the Lie group $G$, or more precisely to Aut$(G/P)$. Using linear spaces and quadrics in $H$, we show that the answer is positive up to a few well understood exceptions related to Jordan algebras. When $G/P$ is an adjoint variety, we show how to describe Aut$(H)$ completely, extending results obtained by Prokhorov and Zaidenberg when $G$ is the exceptional group $G_2$.
Given any connected topological space $X$, assume that there exists an epimorphism $ϕ: π_1(X) \to \mathbb{Z}$. The deck transformation group $\mathbb{Z}$ acts on the associated infinite cyclic cover $X^ϕ$ of $X$, hence on the homology group $H_i(X^ϕ, \mathbb{C})$. This action induces a linear automorphism on the torsion part of the homology group as a module over the Laurent ring $\mathbb{C}[t,t^{-1}]$, which is a finite dimensional $\mathbb{C}$-vector space. We study the sizes of the Jordan blocks of this linear automorphism. When $X$ is a compact Kähler manifold, we show that all the Jordan …
It is well-known that every algebraic group of type F_4 is the automorphism group of an exceptional Jordan algebra, and that up to isogeny all groups of type ^1E_6 with trivial Tits algebras arise as the isometry groups of norm forms of such Jordan algebras. We describe a similar relationship between groups of type E_6 and groups of type E_7 and use it to give explicit descriptions of the homogeneous projective varieties associated to groups of type E_7 with trivial Tits algebras. The underlying algebraic structure for the relationship considered here are a sort of 56-dimensional structurable …
Let R be a semi-local regular ring containing an infinite perfect field, and let K be the field of fractions of R. Let H be a simple algebraic group of type F_4 over R such that H_K is the automorphism group of a 27-dimensional Jordan algebra which is a first Tits construction. If char K is not 2, this means precisely that the f_3 invariant of H_K is trivial. We prove that if an H-torsor is rationally trivial, then it is trivial over R. This result is a particular case of the Grothendieck-Serre conjecture. It continues the recent series of papers by I. Panin, N.Vavilov and the authors, and com…
Let $ϕ: M\to M$ be a diffeomorphism of a $C^\infty$ compact connected manifold, and $X$ its mapping torus. There is a natural fibration $p:X\to S^1$, denote by $ξ\in H^1(X, \mathbb{Z})$ the corresponding cohomology class. Let $ρ:π_1(X)\to GL(n,\mathbb{C})$ be a representation, denote by $H^*(X,ρ)$ the corresponding twisted cohomology of $X$. Denote by $ρ_0$ the restriction of $ρ$ to $π_1(M)$, and by $ρ^*_0$ the antirepresentation conjugate to $ρ_0$. We construct from these data an automorphism of the group $H_*(M,ρ^*_0)$, that we call the twisted monodromy homomorphism $ϕ_*$. The aim of the pr…
