We describe the conjugacy classes of affine automorphisms in the group $Aut(n,\K)$ (respectively $Bir(\K^n)$) of automorphisms (respectively of birational maps) of $\K^n$. From this we deduce also the classification of conjugacy classes of automorphisms of $\Pn$ in the Cremona group $Bir(\K^n)$.
The aim of this paper is to give a finer geometric description of the algebraic varieties parametrizing conjugacy classes of nonsolvable subgroups in the plane Cremona group.
We discuss the problem of stable conjugacy of finite subgroups of Cremona groups. We show that the group $H^1(G,Pic(X))$ is a stable birational invariant and compute this group in some cases.
This note presents the study of the conjugacy classes of elements of some given finite order n in the Cremona group of the plane. In particular, it is shown that the number of conjugacy classes is infinite if n is even, n=3 or n=5, and that it is equal to 3 (respectively 9) if n=9 (respectively 15), and is exactly 1 for all remaining odd orders. Some precise representative elements of the classes are given.
We give the classification of the maximal infinite algebraic subgroups of the real Cremona group of the plane up to conjugacy and present a parametrisation space of each conjugacy class. Moreover, we show that the real plane Cremona group is not generated by a countable union of its infinite algebraic subgroups.
We consider countably many three dimensional $\mathtt{PSL}_2(\mathbb{F}_7)$-del Pezzo surface fibrations over $\mathbb{P}^1$. Conjecturally they are all irrational except two families, one of which is the product of a del Pezzo surface with $\mathbb{P}^1$. We show that the other model is $\mathtt{PSL}_2(\mathbb{F}_7)$-equivariantly birational to $\mathbb{P}^2\times\mathbb{P}^1$. Based on a result of Prokhorov, we show that they are non-conjugate as subgroups of the Cremona group $\mathtt{Cr}_3(\mathbb{C})$.
We show that if a group automorphism of a Cremona group of arbitrary rank is also a homeomorphism with respect to either the Zariski or the Euclidean topology, then it is inner up to a field automorphism of the base-field. Moreover, we show that a similar result holds if we consider groups of polynomial automorphisms of affine spaces instead of Cremona groups.
Using a filtration on the Grothendieck ring of triangulated categories, we define the categorical dimension of a birational map between smooth projective varieties. We show that birational automorphisms of bounded categorical dimension form subgroups, which provide a nontrivial filtration of the Cremona group. We discuss some geometrical aspect and some explicit example. In the case of threefolds, we can moreover recover the genus of a birational automorphism, and the filtration defined by Frumkin.
We study automorphism groups of real del Pezzo surfaces, concentrating on finite groups acting minimally on them. As a result, we obtain a vast part of classification of finite subgroups in the real plane Cremona group.
We show that every automorphism of the group $\mathcal{G}_n:= \textrm{Aut}(\mathbb{A}^n)$ of polynomial automorphisms of complex affine $n$-space $\mathbb{A}^n=\mathbb{C}^n$ is inner up to field automorphisms when restricted to the subgroup $T \mathcal{G}_n$ of tame automorphisms. This generalizes a result of \textsc{Julie Deserti} who proved this in dimension $n=2$ where all automorphisms are tame: $T \mathcal{G}_2 = \mathcal{G}_2$.
This is a continuation of [Og12], concerning automorphisms of smooth quartic K3 surfaces and birational automorphisms of ambient projective three spaces.
We give a method for constructing many examples of automorphisms with positive entropy on rational complex surfaces. The general idea is to begin with a quadratic Cremona transformation that fixes a reduced cubic curve and then use the group structure on the cubic to understand when the indeterminacy and exceptional behavior of the transformation may be eliminated by repeated blowing up.
We give a complete classification of maximal algebraic subgroups of the Cremona group of the plane and provide algebraic varieties that parametrize the conjugacy classes. ----- Nous donnons une classification complète des sous-groupes algébriques maximaux du groupe de Cremona du plan et explicitons les variétés qui paramètrent les classes de conjugaison.
Let $\mathcal{G}$ be an ind-group and let $\mathcal{U} \subseteq \mathcal{G}$ be a unipotent ind-subgroup. We prove that an abstract group automorphism $θ\colon \mathcal{G} \to \mathcal{G}$ maps $\mathcal{U}$ isomorphically onto a unipotent ind-subgroup of $\mathcal{G}$, provided that $θ$ fixes a closed torus $T \subseteq \mathcal{G}$, which normalizes $\mathcal{U}$ and the action of $T$ on $\mathcal{U}$ by conjugation fixes only the neutral element. As an application we generalize a result by Hanspeter Kraft and the author as follows: If an abstract group automorphism of the affine Cremona gr…
We give the classification of elements - respectively cyclic subgroups - of finite order of the Cremona group, up to conjugation. Natural parametrisations of conjugacy classes, related to fixed curves of positive genus, are provided.
This work presents the conjugacy classes of finite abelian subgroups of the Cremona group of the plane. Using a well-known theory, this problem amounts to the study of automorphism groups of some Del Pezzo surfaces and conic bundles. We have thus to enumerate all the cases, which gives a long description, and then to show whether two cases are distinct or not, using some conjugacy invariants. For example, we use the non-rational curves fixed by one element of the group, and the action of the whole group on these curves. From this classification, we deduce a sequence of more general results on …
We consider 3-subgroups in groups of birational automorphisms of rationally connected threefolds and show that any 3-subgroup can be generated by at most five elements. Moreover, we study groups of regular automorphisms of terminal Fano threefolds and prove that in all cases which are not among several explicitly described exceptions any 3-subgroup of such group can be generated by at most four elements.
We recall some properties, unfortunately not all, of the Cremona group. We first begin by presenting a nice proof of the amalgamated product structure of the well-known subgroup of the Cremona group made up of the polynomial automorphisms of $\mathbb{C}^2$. Then we deal with the classification of birational maps and some applications (Tits alternative, non-simplicity...) Since any birational map can be written as a composition of quadratic birational maps up to an automorphism of the complex projective plane, we spend time on these special maps. Some questions of group theory are evoked: the c…
We complete the classical and modern work on the classification of conjugacy classes of finite subgroups of the group of birational transformations of the complex projective plane.
I study embeddings of alternating group of rank five into the Cremona group of rank three. I find all embeddings induced by A_5-del Pezzo fibrations and I study their conjugacy. As an application, I show that there is a series of continuous families of pairwise non-conjugate embeddings of alternating group of rank five into Cr$_3(\mathbb{C})$.
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.
This article shows that the Cremona group is compactly presentable. To prove this we show that it is a generalised amalgamated product of three of its algebraic subgroups (automorphisms of the plane and Hirzebruch surfaces) divided by one relation.
This article gives the proof of results announced in [J. Blanc, Finite Abelian subgroups of the Cremona group of the plane, C.R. Acad. Sci. Paris, Sér. I 344 (2007), 21-26.] and some description of automorphisms of rational surfaces. Given a finite Abelian subgroup of the Cremona group of the plane, we provide a way to decide whether it is birationally conjugate to a group of automorphisms of a minimal surface. In particular, we prove that a finite cyclic group of birational transformations of the plane is linearisable if and only if none of its non-trivial elements fix a curve of positive gen…
It is well known that all Borel subgroups of a linear algebraic group are conjugate. This result also holds for the automorphism group ${\mathrm{Aut}} (\mathbb A^2)$ of the affine plane \cite{BerestEshmatovEshmatov2016} (see also \cite{FurterPoloni2018}). In this paper, we describe all Borel subgroups of the complex Cremona group ${{\rm Bir}({\mathbb P}^2)}$ up to conjugation, proving in particular that they are not necessarily conjugate. More precisely, we prove that ${{\rm Bir}({\mathbb P}^2)}$ admits Borel subgroups of any rank $r \in \{ 0,1,2 \}$ and that all Borel subgroups of rank $r \in…
We show that the plane Cremona group over a field of characteristic p > 0 does not contain elements of order of power of p larger than 2 and it does not contain elements of order p^2 unless p =2. Also we describe conjugacy classes of elements of order 4.
We deal with the following question of Dolgachev : is the Cremona group generated by involutions ? Answer is yes in dimension $2$ (Cerveau-Deserti). We give an upper bound of the minimal number $\mathfrak{n}_φ$ of involutions we need to write a birational self map $φ$ of $\mathbb{P}^2_\mathbb{C}$. We prove that de Jonquières maps of $\mathbb{P}^3_\mathbb{C}$ and maps of small bidegree of $\mathbb{P}^3_\mathbb{C}$ can be written as a composition of involutions of $\mathbb{P}^3_\mathbb{C}$ and give an upper bound of $\mathfrak{n}_φ$ for such maps $φ$. We get similar results in particular for aut…
We classify up to conjugacy the subgroups of certain types in the full, in the affine, and in the special affine Cremona groups. We prove that the normalizers of these subgroups are algebraic. As an application, we obtain new results in the Linearization Problem generalizing to disconnected groups Bia\lynicki-Birula's results of 1966-67. We prove "fusion theorems" for $n$-dimensional tori in the affine and in the special affine Cremona groups of rank $n$. In the final section we introduce and discuss the notions of Jordan decomposition and torsion primes for the Cremona groups.
This paper contains a new proof of the classification of elements of prime order in the Cremona group Bir(P^2), up to conjugation. In addition, we give explicit geometric constructions of these Cremona transformations, and provide a parameterization of their conjugacy classes. Analogous constructions in higher dimensions are also discussed.
We prove that there is a smooth quartic K3 surface automorphism that is not derived from the Cremona transformation of the ambient three-dimensional projective space. This gives a negative answer to a question of Professor Marat Giz.atullin
The Cremona group acts on the field of two independent commutative variables over complex numbers. We provide a non-commutative ring that is an analog of non-commutative field of two independent variables and prove that the Cremona group embeds in the group of outer automorphisms of this ring. First proof of this result is technical, the second one is conceptual and gives a way to obtain non-commutative rings from the bounded derived categories of coherent sheaves.
Let Cr(k) be the Cremona group of rank 2 over a field k, i.e. the group of all k-automorphisms of k(X,Y). We determine the l.c.m. of the orders of the finite subgroups of Cr(k) of order prime to the characteristic of k.
The Cremona group $\mathrm{Bir}(\mathbb{P}^2_\mathbb{C})$ is the group of birational self-maps of $\mathbb{P}^2_\mathbb{C}$. Using the action of $\mathrm{Bir}(\mathbb{P}^2_\mathbb{C})$ on the Picard-Manin space of $\mathbb{P}^2_\mathbb{C}$ we characterize its solvable subgroups. If $\mathrm{G}\subset\mathrm{Bir}(\mathbb{P}^2_\mathbb{C})$ is solvable, non abelian, and infinite, then up to finite index: either any element of $\mathrm{G}$ is of finite order or conjugate to an automorphism of $\mathbb{P}^2_\mathbb{C}$, or $\mathrm{G}$ preserves a unique fibration that is rational or elliptic, or $…
We give a simple set of generators and relations for the Cremona group of the plane. Namely, we show that the Cremona group is the amalgamated product of the de Jonquières group with the group of automorphisms of the plane, divided by one relation which is $στ=τσ$, where $τ=(x:y:z)\mapsto (y:x:z)$ and $σ=(x:y:z)\dasharrow (yz:xz:xy)$.
We present some (unfortunately not all) known properties on the Cremona group; when it's possible we mentioned links with the most known group of polynomial automorphisms of the affine plane. The mentioned properties are essentially algebraic properties: generators, relations, finite subgroups, subgroups of finite type, automorphisms of the Cremona group, Tits alternative... but also dynamical properties: classification of birational maps, centralizer, dynamic of an Heisenberg subgroup... We deal with the construction of entropic automorphisms on rational surfaces.
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 is 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 rationall…
We show that the action of Cremona transformations on the real points of quadrics exhibits the full complexity of the diffeomorphisms of the sphere, the torus, and of all non-orientable surfaces. The main result says that if X is rational, then Aut(X), the group of algebraic automorphisms, is dense in Diff(X), the group of self-diffeomorphisms of X.
In the group of polynomial automorphisms of the plane, the conjugacy class of an element is closed if and only if the element is diagonalisable. In this article, we show that this does not hold for the group of special automorphisms, giving then a first step towards the direction of showing that this group is not simple, as an infinite-dimensional algebraic group.
This article studies the group generated by automorphisms of the projective space of dimension $n$ and by the standard birational involution of degree $n$. Every element of this group only contracts rational hypersurfaces, but in odd dimension, there are simple elements having this property which do not belong to the group. Geometric properties of the elements of the group are given, as well as a description of its intersection with monomial transformations.
This survey paper reports on work of Birkar, who confirmed a long-standing conjecture of Alexeev and Borisov-Borisov: Fano varieties with mild singularities form a bounded family once their dimension is fixed. Following Prokhorov-Shramov, we explain how this boundedness result implies that birational automorphism groups of projective spaces satisfy the Jordan property, answering a question of Serre in the positive.
Geometric and dynamic properties of embeddings of SL(2,Z) into the Cremona group are studied. Infinitely many non-conjugate embeddings which preserve the type (i.e. which send elliptic, parabolic and hyperbolic elements onto elements of the same type) are provided. The existence of infinitely many non-conjugate elliptic, parabolic and hyperbolic embeddings is also shown. In particular, a group G of automorphisms of a smooth surface S obtained by blowing-up 10 points of the complex projective plane is given. The group G is isomorphic to SL(2,Z), preserves an elliptic curve and all its elements …
We show that plane Cremona groups over finite fields embed as dense subgroups into Neretin groups, i.e. groups of almost automorphisms of rooted trees. We also show that if the finite base field has even characteristic and contains at least 4 elements, then the permutations induced by birational transformations on rational points of regular projective surfaces are even. In a second part, we construct explicit locally compact CAT(0) cube complexes, on which Neretin groups act properly. This allows us to recover in a unified way various results on Neretin groups such as that they are of type $F_…
In the first part of this article, we answer a question of I. Dolgachev, which is related to the following problem: given a birational map $f\in\mathrm{Bir}(\mathbb{P}^m_\mathbf{k})$ and a linear projective map $A\in\mathrm{PGL}_{m+1}(\mathbf{k})$, when is $A\circ f$ regularizable? Dolgachev's initial question is whether this may happen for all $A$ in $\mathrm{PGL}_{m+1}(\mathbf{k})$, and the answer is negative. We then look at the sequence $n\mapsto\mathrm{deg}\, f^n$, $f\in\mathrm{Bir}(\mathbb{P}^2_\mathbf{k})$. We show that there is no constraint on the sequence $n\mapsto\mathrm{deg}\, f^n-…
The Cremona group is the group of birational transformations of the plane. A birational transformation for which there exists a pencil of lines which is sent onto another pencil of lines is called a Jonquières transformation. By the famous Noether-Castelnuovo theorem, every birational transformation $f$ is a product of Jonquières transformations. The minimal number of factors in such a product will be called the length, and written $\mathrm{lgth}(f)$. Even if this length is rather unpredictable, we provide an explicit algorithm to compute it, which only depends on the multiplicities of the lin…
We characterize conjugacy classes of isometries of odd prime order in unimodular Z-lattices. This is applied to give a complete classification of odd prime order non-symplectic automorphisms of irreducible holomorphic symplectic manifolds up to deformation and birational conjugacy.
Let $S$ be the (minimal) Enriques surface obtained from the symmetric quartic surface $(\sum_{i<j}x_ix_j)^2=kx_1x_2x_3x_4$ in $\mathbb{P}^3$ with $k\neq 0,4,36$, by taking quotient of the Cremona action $(x_i) \mapsto (1/x_i)$. The automorphism group of $S$ is a semi-direct product of a free product $\mathcal{F}$ of four involutions and the symmetric group $\mathfrak{S}_4$. Up to action of $\mathcal{F}$, there are exactly $29$ elliptic pencils on $S$.