The abelianization of the real Cremona group
The paper under review deals with the group \(\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2) \) of birational selfmaps of \(\mathbb{P}^2\) defined over \(\mathbb{R}\). The main result is that, contrary to what happens over \(\mathbb{C}\), the group \(\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2) \) is not generated by the automorphisms \(\mathrm{Aut}_{\mathbb{R}}(\mathbb{P}^2) \) and a countable set of elements. More precisely, there is an isomorphism \[ \mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2)/[\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2),\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2)]\cong\bigoplus_{(0,1]}\mathbb{Z}/2\mathbb{Z}. \] It was proved in [\textit{J. Blanc} and \textit{F. Mangolte}, Cheltsov, Ivan (ed.) et al., Automorphisms in birational and affine geometry, 35--58 (2014; Zbl 1327.14067)] that a set of generators for \(\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2)\) is given by \(\mathrm{Aut}_{\mathbb{R}}(\mathbb{P}^2)\), \(\mathcal J_*\) and \(\mathcal J_0\) where \(\mathcal J_*\) is the set of elements in \(\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2) \) preserving a certain pencil of lines and \(\mathcal J_0\) is the set of elements in \(\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2) \) preserving a certain pencil of conics. The author determines the set of relations \(R\) such that \(\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2)\) is isomorphic to the free group over the elements of \(\mathrm{Aut}_{\mathbb{R}}(\mathbb{P}^2)\), \(\mathcal J_0\) and \(\mathcal J_*\) modulo \(R\). She then defines a surjective morphism \(\varphi: \mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2) \to \bigoplus_{(0,1]}\mathbb{Z}/2\mathbb{Z}\) which sends \(\mathrm{Aut}_{\mathbb{R}}(\mathbb{P}^2)\) and \(\mathcal J_*\) to zero. The only generators of \(\mathcal J_0\) which are sent to nonzero elements are some specific transformations of degree 5. Finally, she proves that \(\ker\varphi=\langle\!\langle \mathrm{Aut}_{\mathbb{R}}(\mathbb{P}^2)\rangle\!\rangle=[\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2),\mathrm{Bir}_{\mathbb{R}}(\mathbb{P}^2)]\) where \(\langle\!\langle H\rangle\!\rangle\) is the smallest normal subgroup containing \(H\) and \([H,H]\) is the commutator.
- p-elementary subgroups of the Cremona group
- Birational diffeomorphisms of the real projective plane
- Classical algebraic geometry. A modern view
- Cremona groups and the icosahedron
- Cremona Groups of Real Surfaces
- Cremona transformations and diffeomorphisms of surfaces
- Geometry of the plane Cremona maps
- scientific article; zbMATH DE number 653127 (Why is no real title available?)
- scientific article; zbMATH DE number 1166214 (Why is no real title available?)
- Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces
- Introduction to quadratic forms
- Non-simplicity of the Cremona group over any field
- Normal subgroups in the Cremona group
- Proof of a theorem on relations in the two-dimensional Cremona group
- Simple relations in the Cremona group
- The Cremona group of the plane is compactly presented
- Topological simplicity of the Cremona groups
- Topologies and structures of the Cremona groups
- Une remarque sur la g�n�ration du groupe de Cremona
- Infinite algebraic subgroups of the real Cremona group
- The real plane Cremona group is an amalgamated product
- Relations in the Cremona group over a perfect field
- Quotients of groups of birational transformations of cubic del Pezzo fibrations
- Abelianization of the \(F\)-divided fundamental group scheme
- The real genus spectrum of abelian groups
- Geometry of word equations in simple algebraic groups over special fields
- Geometry on surfaces, a source for mathematical developments
- K-stability, birational geometry and mirror symmetry. Abstracts from the workshop held March 17--22, 2024
- Birational involutions of the real projective plane
- A determinant on birational maps of Severi-Brauer surfaces
This page was built for publication: The abelianization of the real Cremona group
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1700519)
