Cremona groups of real surfaces

Jérémy Blanc,Frédéric Mangolte

DOI: https://doi.org/10.48550/arXiv.1306.6063

2013-06-26

Abstract:We give an explicit set of generators for various natural subgroups of the real Cremona group Bir_R(P^2). This completes and unifies former results by several authors.

Algebraic Geometry

What problem does this paper attempt to address?

Birational maps of Severi-Brauer surfaces, with applications to Cremona groups of higher rank

Jérémy Blanc,Julia Schneider,Egor Yasinsky

2024-07-16

Abstract:We prove that any group of cardinality at most the one of $\mathbb{C}$ is a quotient of any Cremona group of rank at least $4$. This provides a definitive answer to the question of what the quotients of Cremona groups can be. As a consequence, this gives a negative answer to the question of I. Dolgachev of whether Cremona groups of all ranks are generated by involutions. As another application, we show that higher Cremona groups do not enjoy some classical group-theoretic properties (namely, the Hopfian property) which are satisfied by Cremona groups of rank $2$. Finally, we discover that the $3$-torsion of the Cremona group of rank at least $4$ is not countable. To deduce these properties of higher Cremona groups, we first describe the group of birational transformations of a non-trivial Severi-Brauer surface $S$ over a perfect field, proving in particular that if $S$ contains a point of degree $6$, then its group of birational self-maps is not generated by elements of finite order as it admits a surjective group homomorphism to~$\mathbb{Z}$. We then use this result to study Mori fibre spaces over the field of complex numbers, for which the generic fibre is a non-trivial Severi-Brauer surface.

Algebraic Geometry,Group Theory
Algebraic elements of the Cremona groups

Jérémy Blanc

DOI: https://doi.org/10.48550/arXiv.1409.1139

2015-03-24

Abstract:This article studies algebraic elements of the Cremona group. In particular, we show that the set of all these elements is a countable union of closed subsets but it is not closed.

Algebraic Geometry
The Cremona group and its subgroups

Julie Déserti

DOI: https://doi.org/10.48550/arXiv.1902.03262

2020-08-13

Abstract:This survey deals with the Cremona group via its subgroups.

Algebraic Geometry
Maximal subgroups in the Cremona group

Andrea Fanelli,Enrica Floris,Susanna Zimmermann

2024-07-02

Abstract:We show that for any $n\geq5$ there exist connected algebraic subgroups in the Cremona group $\mathrm{Bir}(\mathbb{P}^n)$ that are not contained in any maximal connected algebraic subgroup. Our approach exploits the existence of stably rational, non-rational threefolds.

Algebraic Geometry
Generators of the plane Cremona group over the field with two elements

Julia Schneider

2024-02-07

Abstract:The plane Cremona group over the finite field $\mathbb{F}_2$ is generated by three infinite families and finitely many birational maps with small base orbits. One family preserves the pencil of lines through a point, the other two preserve the pencil of conics through four points that form either one Galois orbit of size 4, or two Galois orbits of size 2. For each family, we give a generating set that is parametrized by the rational functions over $\mathbb{F}_2$. Moreover, we describe the finitely many remaining maps and give an upper bound on the number needed to generate the Cremona group. Finally, we prove that the plane Cremona group over $\mathbb{F}_2$ is generated by involutions.

Algebraic Geometry
Topological simplicity of the Cremona groups

Jérémy Blanc,Susanna Zimmermann

DOI: https://doi.org/10.1353/ajm.2018.0032

2015-11-29

Abstract:The Cremona group is topologically simple when endowed with the Zariski or Euclidean topology, in any dimension $\ge 2$ and over any infinite field. Two elements are moreover always connected by an affine line, so the group is path-connected.

Algebraic Geometry,General Topology,Group Theory
Monoidal and submonoidal surfaces, and Cremona transformations

Igor V. Dolgachev

2023-06-02

Abstract:We study irreducible surfaces of degree d in $\mathbb{P}^3$ that contain a line of multiplicity d-1 (monoidal surfaces) or d-2 (submonoidal surfaces). We relate them to congruences of lines and Cremona transformations. Many of our results are not new and can be found in the classical literature, we give them modern proofs. In the last section, we extend some of our results to hypersurfaces of arbitrary dimension. We define two commuting Cremona involutions in the ambient space associated to a linear subspace of multiplicity d-2 contained in the hypersurface. Both leave the hypersurface invariant, but one acts as the identity on the hypersurface.

Algebraic Geometry
Finitely generated subgroups of algebraic elements of plane Cremona groups are bounded

Anne Lonjou,Piotr Przytycki,Christian Urech

2024-06-20

Abstract:We prove that any finitely generated subgroup of the plane Cremona group consisting only of algebraic elements is of bounded degree. This follows from a more general result on `decent' actions on infinite direct sums. We apply our results to describe the degree growth of finitely generated subgroups of the plane Cremona group.

Group Theory,Algebraic Geometry,Dynamical Systems
Algebraic subgroups of the plane Cremona group over a perfect field

Julia Schneider,Susanna Zimmermann

DOI: https://doi.org/10.46298/epiga.2021.6715

2023-10-24

Abstract:We show that any infinite algebraic subgroup of the plane Cremona group over a perfect field is contained in a maximal algebraic subgroup of the plane Cremona group. We classify the maximal groups, and their subgroups of rational points, up to conjugacy by a birational map.

Algebraic Geometry
Fixed points of a finite subgroup of the plane Cremona group

Igor Dolgachev,Alexander Duncan

DOI: https://doi.org/10.48550/arXiv.1408.4042

2016-01-05

Abstract:We classify all finite subgroups of the plane Cremona group which have a fixed point. In other words, we determine all rational surfaces X with an action of a finite group G such that X is equivariantly birational to a surface which has a G-fixed point.

Algebraic Geometry
Elements generating a proper normal subgroup of the Cremona group

Serge Cantat,Vincent Guirardel,Anne Lonjou

DOI: https://doi.org/10.1093/imrn/rnaa026

2020-05-12

Abstract:Consider an algebraically closed field k and the Cremona group of all birational transformations of the projective plane over k. We characterize infinite order elements of this group having a non-zero power generating a proper normal subgroup of the Cremona group.

Group Theory,Algebraic Geometry
Quotients of groups of birational transformations of cubic Del Pezzo fibrations

Jérémy Blanc,Egor Yasinsky

DOI: https://doi.org/10.48550/arXiv.1907.04696

2020-08-03

Abstract:We prove that the group of birational transformations of a Del Pezzo fibration of degree 3 over a curve is not simple, by giving a surjective group homomorphism to a free product of infinitely many groups of order 2. As a consequence we also obtain that the Cremona group of rank 3 is not generated by birational maps preserving a rational fibration. Besides, its subgroup generated by all connected algebraic subgroups is a proper normal subgroup.

Algebraic Geometry,Group Theory
On the Automorphism Groups of Certain Branched Structures on Surfaces

Gianluca Faraco

DOI: https://doi.org/10.1007/s00032-024-00393-w

2024-02-15

Milan Journal of Mathematics

Abstract:We consider translation surfaces with poles on surfaces. We shall prove that any finite group appears as the automorphism group of some translation surface with poles. As a direct consequence we obtain the existence of structures achieving the maximal possible number of automorphisms allowed by their genus and we finally extend the same results to branched projective structures.

mathematics, applied
Cubic surface bundles and the Brauer group

Alena Pirutka

2023-12-01

Abstract:In this note we define a subgroup $H^i_{nr,\pi}$ of unramified cohomology group $H^i_{nr}$ of a fibration $\pi:X\to S$. This subgroup can be used efficiently in refined specialization arguments and allows to detect the failure of stable rationality of a variety specializing to $X$. We compute $H^2_{nr, \pi}$ systematically for many cubic surface bundles $\pi:X\to S$ over a smooth projective rational surface over an algebraically closed field: we give a combinatorial formula in terms of components of the discriminant divisor of $\pi$.

Algebraic Geometry
Linearization problem for finite subgroups of the plane Cremona group

Antoine Pinardin,Arman Sarikyan,Egor Yasinsky

2024-12-17

Abstract:We give a complete solution of the linearization problem in the plane Cremona group over an algebraically closed field of characteristic zero.

Algebraic Geometry,Group Theory
Surface groups among cubulated hyperbolic and one-relator groups

Henry Wilton

2024-06-04

Abstract:Let $X$ be a non-positively curved cube complex with hyperbolic fundamental group. We prove that $\pi_1(X)$ has a non-free subgroup of infinite index unless $\pi_1(X)$ is either free or a surface group, answering a question of Wise. A similar result for one-relator groups follows, answering a question posed by several authors. The proof relies on a careful analysis of free and cyclic splittings of cubulated groups.

Group Theory,Geometric Topology
Division in group rings of surface groups

Grigori Avramidi

DOI: https://doi.org/10.48550/arXiv.2101.00682

2021-01-04

Abstract:We prove a division algorithm for group rings of high genus surface groups and use it to show that some $2$-complexes with surface fundamental groups are standard. We also give an application of division to cohomological dimension of $2$-relator groups acting on $\mathbb H^n$.

Geometric Topology,Group Theory,Rings and Algebras
Surfaces defined by pairs of polynomials

Damián Gvirtz-Chen,Alexei Skorobogatov

2023-05-15

Abstract:We prove that the Brauer group of the generic diagonal surface of arbitrary degree is trivial. The same method is applied to surfaces whose equation can be written as the sum of two bilinear forms. This uses a general criterion for the triviality of the transcendental Brauer group of an isotrivial variety. We determine the field of definition of the geometric Picard group of the Fermat surface of arbitrary degree, thus finishing work of Shioda and Aoki.

Algebraic Geometry
Arithmetic subgroups of Chevalley group schemes over function fields I: quotients of the Bruhat-Tits building by $\{P\}$-arithmetic subgroups

Claudio Bravo,Benoit Loisel

2023-07-05

Abstract:Let $\mathbf{G}$ be a reductive Chevalley group scheme (defined over $\mathbb{Z}$). Let $\mathcal{C}$ be a smooth, projective, geometrically integral curve over a field $\mathbb{F}$. Let $P$ be a closed point on $\mathcal{C}$. Let $A$ be the ring of functions that are regular outside $\lbrace P \rbrace$. The fraction field $k$ of $A$ has a discrete valuation $\nu=\nu_{P}: k^{\times} \rightarrow \mathbb{Z}$ associated to $P$. In this work, we study the action of the group $ \textbf{G}(A)$ of $A$-points of $\mathbf{G}$ on the Bruhat-Tits building $\mathcal{X}=\mathcal{X}(\textbf{G},k,\nu_{P})$ in order to describe the structure of the orbit space $ \textbf{G}(A)\backslash \mathcal{X}$. We obtain that this orbit space is the ``gluing'' of a closed connected CW-complex with some sector chambers. The latter are parametrized by a set depending on the Picard group of $\mathcal{C} \smallsetminus \{P\}$ and on the rank of $\mathbf{G}$. Moreover, we observe that any rational sector face whose tip is a special vertex contains a subsector face that embeds into this orbit space.

Group Theory
Automorphisms of surfaces over fields of positive characteristic

Yifei Chen,Constantin Shramov

2024-08-23

Abstract:We study automorphism and birational automorphism groups of varieties over fields of positive characteristic from the point of view of Jordan and $p$-Jordan property. In particular, we show that the Cremona group of rank $2$ over a field of characteristic $p>0$ is $p$-Jordan, and the birational automorphism group of an arbitrary geometrically irreducible algebraic surface is nilpotently $p$-Jordan of class at most $2$. Also, we show that the automorphism group of a smooth geometrically irreducible projective variety of non-negative Kodaira dimension is Jordan in the usual sense.

Algebraic Geometry

Cremona groups of real surfaces

Birational maps of Severi-Brauer surfaces, with applications to Cremona groups of higher rank

Algebraic elements of the Cremona groups

The Cremona group and its subgroups

Maximal subgroups in the Cremona group

Generators of the plane Cremona group over the field with two elements

Topological simplicity of the Cremona groups

Monoidal and submonoidal surfaces, and Cremona transformations

Finitely generated subgroups of algebraic elements of plane Cremona groups are bounded

Algebraic subgroups of the plane Cremona group over a perfect field

Fixed points of a finite subgroup of the plane Cremona group

Elements generating a proper normal subgroup of the Cremona group

Quotients of groups of birational transformations of cubic Del Pezzo fibrations

On the Automorphism Groups of Certain Branched Structures on Surfaces

Cubic surface bundles and the Brauer group

Linearization problem for finite subgroups of the plane Cremona group

Surface groups among cubulated hyperbolic and one-relator groups

Division in group rings of surface groups

Surfaces defined by pairs of polynomials

Arithmetic subgroups of Chevalley group schemes over function fields I: quotients of the Bruhat-Tits building by $\{P\}$-arithmetic subgroups

Automorphisms of surfaces over fields of positive characteristic