Jordan property for groups of birational selfmaps. (English) Zbl 1314.14022

The Borisov-Alexeev-Borisov conjecture (BAB conjecture, for short) states that if \(k\) is an algebraically closed field, fixed \(n\in\mathbb{N}\), Fano varieties of dimension \(n\) with terminal singularities defined over \(k\) are bounded, i.e. they are contained in a finite number of algebraic families. In the paper under review the authors prove the following result:
Let \(k\) be a finitely generated field over \(\mathbb{Q}\) and \(X\) a variety of dimension \(n\). Let \(\mathrm{Bir}(X)\) be the group of birational automorphisms of \(X\) over \(k\). Suppose that the BAB conjecture holds in dimension \(n\). Then there exists a constant \(B=B(\mathrm{Bir}(X))\) such that for any finite subgroup \(G\subseteq \mathrm{Bir}(X)\) the cardinality of \(G\) is bounded by \(B\).
Moreover, the same conclusion is proved without assuming the BAB conjecture, under the additional hypothesis that \(X\) is not uniruled and the irregularity of the variety is zero, \(q(X)=0\).
The Jordan property is also studied: a group \(\Gamma\) is Jordan if there exists \(J\in\mathbb{N}\) such that for any finite subgroup \(G\subseteq \Gamma\) there exists a normal abelian subgroup \(A\subseteq G\) of index at most \(J\). In the paper under review it is proved that, if \(q(X)=0\) and the BAB conjecture holds in dimension \(n\) or \(X\) is non-uniruled, then \(\mathrm{Bir}(X)\) is Jordan.
The proofs rely on a previous work by the authors [“Jordan property for Cremona groups”, arXiv:1211.3563, to appear in Am. J. Math. (2015)] where it is proved that, modulo the BAB conjecture, the family of groups \(\{\mathrm{Bir}(X)\}\) where \(X\) is rationally connected of dimension \(n\), is uniformly Jordan (i.e. \(\mathrm{Bir}(X)\) is Jordan for every \(X\) and there is a uniform constant \(J\)). The existence of a \(G\)-equivariant version of the minimal model program and the study of the maximal rationally connected fibration are important tools as well.


14E07 Birational automorphisms, Cremona group and generalizations
Full Text: DOI arXiv


[1] doi:10.1007/978-3-662-03276-3
[2] doi:10.3792/pjaa.76.73 · Zbl 0981.14016
[5] doi:10.4007/annals.2013.177.3.6 · Zbl 1281.14036
[7] doi:10.1007/BF01394338 · Zbl 0661.14010
[8] doi:10.2977/prims/1210167338 · Zbl 1151.14012
[9] doi:10.1090/S0894-0347-09-00649-3 · Zbl 1210.14019
[10] doi:10.1007/s10240-012-0039-5 · Zbl 1256.14012
[12] doi:10.1017/S0013091513000862 · Zbl 1311.14018
[18] doi:10.1155/S1073792894000127 · Zbl 0819.11045
[19] doi:10.2307/1971387 · Zbl 0606.14030
[20] doi:10.1007/s002220050059 · Zbl 0936.11037
[21] doi:10.1007/978-1-4757-5602-9
[22] doi:10.1007/978-1-4757-1810-2
[24] doi:10.1017/CBO9780511662560
[25] doi:10.1090/S0894-0347-02-00402-2 · Zbl 1092.14063
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.