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

What problem does this paper attempt to address?

Fixed point of group on connected

Enhui Shi,A. Dranishnikov,Binyong Sun

2008-01-01

Abstract:. We show that every continuous action of a nilpotent group on a 1-arcwise connected continuum has at least one ﬁxed point. If X is a 1-arcwise connected continuum and G is nilpotent as an abstract group, then Fix X ( G ) is nonempty.
Bounds for Fixed Points and Fixed Subgroups on Surfaces and Graphs

Boju Jiang,Shida Wang,Qiang Zhang

DOI: https://doi.org/10.2140/agt.2011.11.2297

2011-01-01

Algebraic & Geometric Topology

Abstract:We consider selfmaps of hyperbolic surfaces and graphs, and give some bounds involving the rank and the index of fixed point classes. One consequence is a rank bound for fixed subgroups of surface group endomorphisms, similar to the Bestvina‐Handel bound (originally known as the Scott conjecture) for free group automorphisms. When the selfmap is homotopic to a homeomorphism, we rely on Thurston’s classification of surface automorphisms. When the surface has boundary, we work with its spine, and Bestvina‐Handel’s theory of train track maps on graphs plays an essential role. It turns out that the control of empty fixed point classes (for surface automorphisms) presents a special challenge. For this purpose, an alternative definition of fixed point class is introduced, which avoids covering spaces hence is more convenient for geometric discussions. 55M20, 57M07; 20F34, 57M15, 57N05
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
The Group Fixed by a Family of Endomorphisms of a Surface Group

Jianchun Wu,Qiang Zhang

DOI: https://doi.org/10.1016/j.jalgebra.2014.07.003

IF: 0.908

2014-01-01

Journal of Algebra

Abstract:For a closed surface S with χ(S)<0, we show that the fixed subgroup of a family B of endomorphisms of π1(S) has rankFixB≤rankπ1(S). In particular, if B contains a non-epimorphic endomorphism, then rankFixB≤12rankπ1(S). We also show that geometric subgroups of π1(S) are inert, and hence the fixed subgroup of a family of epimorphisms of π1(S) is also inert.
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
Fixed points of automorphisms of real algebraic curves

Jean-Philippe Monnier

DOI: https://doi.org/10.48550/arXiv.math/0609811

2006-09-28

Abstract:We bound the number of fixed points of an automorphism of a real curve in terms of the genus and the number of connected components of the real part of the curve. Using this bound, we derive some consequences concerning the maximum order of an automorphism and the maximum order of an abelian group of automorphisms of a real curve. We also bound the full group of automorphisms of a real hyperelliptic curve.

Algebraic Geometry
Fixed points of local actions of nilpotent Lie groups on surfaces

Morris W. Hirsch

DOI: https://doi.org/10.1017/etds.2015.73

2014-05-10

Abstract:Let $G$ be connected nilpotent Lie group acting locally on a real surface $M$. Let $\varphi$ be the local flow on $M$ induced by a $1$-parameter subgroup. Assume $K$ is a compact set of fixed points of $\varphi$ and $U$ is a neighborhood of $K$ containing no other fixed points. Theorem: If the Dold fixed-point index of $\varphi_t|U$ is nonzero for sufficiently small $t>0$, then ${\rm Fix} (G) \cap K \ne \emptyset$.

Dynamical Systems
Classification of aut-fixed subgroups in free-abelian times surface groups

Jialin Lei,Peng Wang,Qiang Zhang

2024-09-30

Abstract:In this paper, we are concerned with the direct product $G=\pi_1(\Sigma)\times \Z^k$ for $\Sigma$ a compact orientable surface with negative Euler characteristic, and give a complete classification of its fixed subgroups of automorphisms. As a corollary, we show that $G$ contains, up to isomorphism, infinitely many fixed subgroups of automorphisms if and only if $k\geq 2$, which is a contrast to that of hyperbolic groups. As an application on Nielsen fixed point theory, we provide a family of aspherical manifolds without Jiang's Bound Index Property. Moreover, we also give some results on the fixed subgroups of the direct product $H\times \Z^k$ for $H$ a non-elementary torsion-free hyperbolic group.

Group Theory,Geometric Topology
Finite simple groups acting with fixity 4 and their occurrence as groups of automorphisms of Riemann surfaces

Patrick Salfeld,Rebecca Waldecker

2024-12-09

Abstract:In previous work, all finite simple groups that act with fixity 4 have been classified. In this article we investigate which ones of these groups act faithfully on a compact Riemann surface of genus at least 2 with fixity four in total and in such a way that fixity 4 is exhibited on at least one orbit.

Group Theory
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
Fixed Subgroups in Direct Products of Surface Groups of Euclidean Type

Jianchun Wu,Enric Ventura,Qiang Zhang

DOI: https://doi.org/10.1080/00927872.2020.1726939

2020-01-01

Communications in Algebra

Abstract:We give an explicit characterization of which direct products G of surface groups of Euclidean type satisfy that the fixed subgroup of any automorphism (or endomorphism) of G is compressed, and of which is it always inert.
Finite groups of symplectic birational transformations of IHS manifolds of $OG10$ type

Lisa Marquand,Stevell Muller

2024-10-16

Abstract:We classify finite groups that act faithfully by symplectic birational transformations on an irreducible holomorphic symplectic (IHS) manifold of OG10 type. In particular, if X is an IHS manifold of OG10 type and G a finite subgroup of symplectic birational transformations of X, then the action of G on H2(X, Z) is conjugate to a subgroup of one of 375 groups of isometries. We prove a criterion for when such a group is determined by a group of automorphisms acting on a cubic fourfold, and apply it to our classification. Our proof is computer aided.

Algebraic Geometry,Number Theory
Fixating Group Actions

Guido Ahumada,Bernard Brighi,Nicolas Chevallier,Augustin Fruchard

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

2019-01-25

Group Theory

Abstract:A group of bijections G acting on a set X is said with fixed points (abbreviated as gaf from the french "groupe {\`a} points fixes") if any element of G has at least one fixed point in X. The G group is said with a common fixed point (abbreviated as gag for "groupe {\`a} point fixe global") if there is x $\in$ X fixed by all elements of G. The group G is said fixating if any subgroup of G which is a gaf is automatically a gag. The article explores which groups are fixating. The situation depends on the assumptions made on the group of bijections and on the support set X. For example the group of isometries of the Euclidean space R n is fixating for n 3 but not for n 4. The case of isometries of elliptic and hyperbolic spaces is also considered, as well as that of isometries of some discrete sets. As we will see, the situation depends upon the fact whether the so-called median inequality is satisfied in the ambient space or not. Besides, some of our constructions of nonfixating groups rely on the existence of free subgroups of certain linear groups.
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
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
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
Fixed point conditions for non-coprime actions

Michael C. Burkhart

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

2023-08-24

Abstract:In the setting of finite groups, suppose $J$ acts on $N$ via automorphisms so that the induced semidirect product $N\rtimes J$ acts on some non-empty set $\Omega$, with $N$ acting transitively. Glauberman proved that if the orders of $J$ and $N$ are coprime, then $J$ fixes a point in $\Omega$. We consider the non-coprime case and show that if $N$ is abelian and a Sylow $p$-subgroup of $J$ fixes a point in $\Omega$ for each prime $p$, then $J$ fixes a point in $\Omega$. We also show that if $N$ is nilpotent, $N\rtimes J$ is supersoluble, and a Sylow $p$-subgroup of $J$ fixes a point in $\Omega$ for each prime $p$, then $J$ fixes a point in $\Omega$.

Group Theory
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
Fixed point ratios, Sylow numbers and coverings of $p$-elements in finite groups

Robert M. Guralnick,Attila Maróti,Juan Martínez Madrid,Alexander Moretó,Noelia Rizo

2024-07-30

Abstract:Fixed point ratios for primitive permutation groups have been extensively studied. Relying on a recent work of Burness and Guralnick, we obtain further results in the area. For a prime $p$ and a finite group $G$, we use fixed point ratios to study the number of Sylow $p$-subgroups of $G$ and the minimal size of a covering by proper subgroups of the set of $p$-elements of $G$.

Group Theory
Finite subgroups of the profinite completion of good groups

Marco Boggi,Pavel Zalesskii

2024-10-28

Abstract:Let $G$ be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism $G\hookrightarrow\hat{G}$ induces a bijective correspondence between conjugacy classes of finite $p$-subgroups of $G$ and those of its profinite completion $\hat{G}$. Moreover, we prove that the centralizers and normalizers in $\hat{G}$ of finite $p$-subgroups of $G$ are the closures of the respective centralizers and normalizers in $G$. With somewhat more restrictive hypotheses, we prove the same results for finite solvable subgroups of $G$. In the last section, we give a few applications of this theorem to hyperelliptic mapping class groups and virtually compact special toral relatively hyperbolic groups (these include fundamental groups of $3$-orbifolds and of uniform standard arithmetic hyperbolic orbifolds).

Group Theory,Geometric Topology

Fixed points of a finite subgroup of the plane Cremona group

Fixed point of group on connected

Bounds for Fixed Points and Fixed Subgroups on Surfaces and Graphs

Algebraic subgroups of the plane Cremona group over a perfect field

The Group Fixed by a Family of Endomorphisms of a Surface Group

Maximal subgroups in the Cremona group

Fixed points of automorphisms of real algebraic curves

Fixed points of local actions of nilpotent Lie groups on surfaces

Classification of aut-fixed subgroups in free-abelian times surface groups

Finite simple groups acting with fixity 4 and their occurrence as groups of automorphisms of Riemann surfaces

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

Fixed Subgroups in Direct Products of Surface Groups of Euclidean Type

Finite groups of symplectic birational transformations of IHS manifolds of $OG10$ type

Fixating Group Actions

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

Monoidal and submonoidal surfaces, and Cremona transformations

Surface groups among cubulated hyperbolic and one-relator groups

Fixed point conditions for non-coprime actions

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

Fixed point ratios, Sylow numbers and coverings of $p$-elements in finite groups

Finite subgroups of the profinite completion of good groups