pith. sign in

arxiv: 2604.20427 · v1 · submitted 2026-04-22 · 🧮 math.AG

On G-birational rigidity of projective spaces

Ivan Cheltsov , Frederic Mangolte , Constantin Shramov This is my paper

Pith reviewed 2026-05-09 23:26 UTC · model grok-4.3

classification 🧮 math.AG
keywords G-birational rigidityprojective spacefinite subgroupsautomorphism groupsbirational superrigidityFano varietiesgroup actions
0
0 comments X

The pith

Finite subgroups making projective space G-birationally rigid exist in only finitely many conjugacy classes for each dimension n at least three.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper investigates finite subgroups of the automorphism group of projective n-space under which the space is G-birationally rigid. It proves that for every n greater than or equal to three there are at most finitely many such subgroups up to conjugation. For the special case of n equals four and the group isomorphic to the projective symplectic group over the field with three elements, the space is shown to be G-birationally superrigid. A sympathetic reader would care because this limits the possible group symmetries that enforce birational rigidity on these fundamental varieties. The result suggests that such rigid actions are exceptional rather than common.

Core claim

The authors prove that Aut(P^n) contains at most finitely many finite subgroups G, up to conjugation, such that P^n is G-birationally rigid, for each n ≥ 3. They further prove that P^4 is G-birationally superrigid when G is isomorphic to PSp_4(F_3).

What carries the argument

G-birational rigidity: the property that a finite group action on projective space admits no non-trivial G-equivariant birational maps to other varieties.

Load-bearing premise

The standard definitions of G-birational rigidity and superrigidity from the literature apply directly without additional hidden conditions on the finite group actions.

What would settle it

An explicit list of infinitely many pairwise non-conjugate finite subgroups G of Aut(P^n) for some fixed n ≥ 3, each rendering P^n G-birationally rigid, would disprove the finiteness result.

read the original abstract

In this paper, we study finite subgroups $G\subset\mathrm{Aut}(\mathbb{P}^n)$ such that $\mathbb{P}^n$ is $G$-birationally rigid. For each $n\geqslant 3$, we prove that $\mathrm{Aut}(\mathbb{P}^n)$ contains at most finitely many such subgroups up to conjugation. For $n=4$, we prove that $\mathbb{P}^4$ is $G$-birationally superrigid if $G\simeq\mathrm{PSp}_{4}(\mathbf{F}_3)$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper proves that for each integer n ≥ 3, Aut(P^n) contains at most finitely many finite subgroups G up to conjugation such that P^n is G-birationally rigid. It further proves that P^4 is G-birationally superrigid when G ≃ PSp_4(F_3).

Significance. If the proofs are correct, the finiteness theorem provides a useful structural result on finite group actions preserving birational rigidity of projective spaces, potentially simplifying classification problems in this area. The explicit superrigidity statement for the n=4 case with this particular group supplies a concrete new example that can be checked against existing lists of rigid actions. The reliance on the Sarkisov program and Noether–Fano inequalities is standard and strengthens the result when the reductions are carried out carefully.

major comments (1)
  1. The finiteness argument for general n must explicitly bound the possible linear representations or the orders of G that can preserve a rigid structure; without a clear reduction step showing that only finitely many conjugacy classes survive the Noether–Fano inequalities, the claim remains formally open.
minor comments (1)
  1. Notation for the finite field in the n=4 statement should be written consistently as F_3 throughout the text rather than mixing bold and non-bold forms.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its potential significance. We address the major comment below.

read point-by-point responses

  1. Referee: The finiteness argument for general n must explicitly bound the possible linear representations or the orders of G that can preserve a rigid structure; without a clear reduction step showing that only finitely many conjugacy classes survive the Noether–Fano inequalities, the claim remains formally open.

    Authors: We agree that the reduction step from the Noether–Fano inequalities to finiteness of conjugacy classes requires a more explicit formulation to make the argument fully rigorous and self-contained. In the revised manuscript we will insert a dedicated paragraph immediately following the application of the Noether–Fano inequalities in the proof of the main finiteness theorem. This paragraph will derive an explicit bound on the order of G (depending only on n) by showing that G-rigidity forbids G-invariant linear systems of degree at most n, which in turn restricts the possible irreducible representations of G inside GL(n+1,ℂ) to a finite list up to conjugacy. We will cite the relevant representation-theoretic facts (e.g., bounds coming from the absence of low-degree invariants) to complete the reduction. This change will be marked as a new Lemma in Section 3. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states two main theorems: finiteness up to conjugation of finite subgroups G of Aut(P^n) (n≥3) for which P^n is G-birationally rigid, and G-birational superrigidity of P^4 when G ≃ PSp_4(F_3). These are presented as direct consequences of the standard definitions of G-birational rigidity/superrigidity together with established properties of finite group actions, the Sarkisov program, and Noether–Fano inequalities. No equations, fitted parameters, or self-referential reductions appear; the claims do not reduce to their own inputs by construction, and any self-citations (if present) are not load-bearing for the central statements.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard algebraic geometry axioms and the fixed definition of G-birational rigidity; no free parameters, new entities, or ad-hoc assumptions are visible in the abstract.

axioms (2)
  • standard math Standard properties of projective spaces, their automorphism groups, and birational maps
    Invoked implicitly when discussing Aut(P^n) and birational rigidity.
  • domain assumption Definition of G-birational rigidity and superrigidity
    The paper studies subgroups satisfying this property, assuming the definition is taken from prior literature.

pith-pipeline@v0.9.0 · 5385 in / 1291 out tokens · 24764 ms · 2026-05-09T23:26:33.866119+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages

  1. [1]

    H. F. Baker,A locus with25920linear self-transformations, Cambridge Tracts in Mathematics and Mathemat- ical Physics,39, Cambridge, 1946

    work page 1946

  2. [2]

    Ballard, A

    M. Ballard, A. Duncan, P. McFaddin,On derived categories of arithmetic toric varieties, Ann. K-Theory4 (2019), 211–242

    work page 2019

  3. [3]

    Batyrev,On the classification of toric Fano 4-folds, J

    V. Batyrev,On the classification of toric Fano 4-folds, J. Math. Sci.94(1999), 1021–1050

    work page 1999

  4. [4]

    Bayle,Classification des varietes complexes projectives de dimension trois dont une section hyperplane generale est une surface d’Enriques, J

    L. Bayle,Classification des varietes complexes projectives de dimension trois dont une section hyperplane generale est une surface d’Enriques, J. Reine Angew. Math.449(1994), 9–63

    work page 1994

  5. [5]

    Beauville,Finite subgroups ofPGL 2(K), Vector bundles and complex geometry

    A. Beauville,Finite subgroups ofPGL 2(K), Vector bundles and complex geometry. Conference on vector bundles in honor of S. Ramanan on the occasion of his 70th birthday, Madrid, Spain, June 16–20, 2008. Providence, RI: American Mathematical Society (AMS), 2010, 23–29

    work page 2008

  6. [6]

    Blichfeldt,Finite collineation groups, University of Chicago Press, Chicago, 1917

    H. Blichfeldt,Finite collineation groups, University of Chicago Press, Chicago, 1917

    work page 1917

  7. [7]

    Brauer, ¨Uber endliche lineare Gruppen von Primzahlgrad, Mathematische Annalen169(1967), 73–96

    R. Brauer, ¨Uber endliche lineare Gruppen von Primzahlgrad, Mathematische Annalen169(1967), 73–96

    work page 1967

  8. [8]

    Casagrande,Centrally symmetric generators in toric Fano varieties, Manuscr

    C. Casagrande,Centrally symmetric generators in toric Fano varieties, Manuscr. Math.111(2003), 471–485

    work page 2003

  9. [9]

    Cheltsov,Two local inequalities, Izvestia: Mathematics78(2014), 375–426

    I. Cheltsov,Two local inequalities, Izvestia: Mathematics78(2014), 375–426. 44

    work page 2014

  10. [10]

    Cheltsov, A

    I. Cheltsov, A. Dubouloz, T. Kishimoto,ToricG-solid Fano threefolds, Selecta Math.29(2023), no. 2, paper 22, 45 pages

    work page 2023

  11. [11]

    Cheltsov, A

    I. Cheltsov, A. Kuznetsov, C. Shramov,Coble fourfold,S 6-invariant quartic threefolds, and Wiman–Edge sextics, Algebra and Number Theory14(2020), 213–274

    work page 2020

  12. [12]

    Cheltsov, V

    I. Cheltsov, V. Przyjalkowski, C. Shramov,Burkhardt Quartic, Barth Sextic, and the Icosahedron, Int. Math. Res. Not. IMRN2019(2019), no. 12, 3683–3703

    work page 2019

  13. [13]

    Cheltsov, A

    I. Cheltsov, A. Sarikyan,Equivariant pliability of the projective space, Selecta Math.29(2023), no. 5, paper 71, 84 pages

    work page 2023

  14. [14]

    Cheltsov, A

    I. Cheltsov, A. Sarikyan, Z. Zhuang,Birational rigidity and alpha invariants of Fano varieties. Higher dimen- sional algebraic geometry. A volume in honor of V. V. Shokurov to his 70th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser.489, 286–318 (2025)

    work page 2025

  15. [15]

    Cheltsov, C

    I. Cheltsov, C. Shramov,Six-dimensional exceptional quotient singularities, Mathematical Research Letters18 (2011), 1121–1139

    work page 2011

  16. [16]

    Cheltsov, C

    I. Cheltsov, C. Shramov,Three embeddings of the Klein simple group into the Cremona group of rank three, Tansformation Groups17(2012), 303–350

    work page 2012

  17. [17]

    Cheltsov, C

    I. Cheltsov, C. Shramov,Five embeddings of one simple group, Transactions of the AMS366(2014), 1289–1331

    work page 2014

  18. [18]

    Cheltsov, C

    I. Cheltsov, C. Shramov,Cremona groups and the icosahedron, CRC press, 2015, 504 pages

    work page 2015

  19. [19]

    Cheltsov, C

    I. Cheltsov, C. Shramov,Two rational nodal quartic 3-folds, Q. J. Math.67(2016), no. 4, 573–601

    work page 2016

  20. [20]

    Cheltsov, C

    I. Cheltsov, C. Shramov,Finite collineation groups and birational rigidity, Selecta Math.25(2019), no. 5, paper 71, 68 pages

    work page 2019

  21. [21]

    Cheltsov, Yu

    I. Cheltsov, Yu. Tschinkel, Zh. Zhang,Equivariant geometry of the Segre cubic and the Burkhardt quartic, Selecta Math.31(2025), no. 1, paper 7, 36 p

    work page 2025

  22. [22]

    Cheltsov, Yu

    I. Cheltsov, Yu. Tschinkel, Zh. Zhang,Birational geometry of actions on del Pezzo surfaces, preprint, to appear on Arxiv

    work page

  23. [23]

    J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, R. A. Wilson,Atlas of finite groups. Maximal subgroups and ordinary characters for simple groups, Oxford: Clarendon Press, 1985

    work page 1985

  24. [24]

    Corti,Singularities of linear systems and 3-fold birational geometry, LMS Lecture Note Series281(2000), 259–312

    A. Corti,Singularities of linear systems and 3-fold birational geometry, LMS Lecture Note Series281(2000), 259–312

    work page 2000

  25. [25]

    Dolgachev, V

    I. Dolgachev, V. Iskovskikh,Finite subgroups of the plane Cremona group, Progress in Math.269(2009), 443–548

    work page 2009

  26. [26]

    W. L. Edge,Bring’s curve, J. Lond. Math. Soc., II. Ser.18(1978), 539–545

    work page 1978

  27. [27]

    Ewald,On the classification of toric Fano varieties, Discrete Comput

    G. Ewald,On the classification of toric Fano varieties, Discrete Comput. Geom.3(1988), 49–54

    work page 1988

  28. [28]

    Feit,The current situation in the theory of finite simple groups, Actes du Congr` es International des Math´ ematiciens, Gauthier–Villars, Paris (1971), 55–93

    W. Feit,The current situation in the theory of finite simple groups, Actes du Congr` es International des Math´ ematiciens, Gauthier–Villars, Paris (1971), 55–93

    work page 1971

  29. [29]

    Godeaux,Sur une variete algebrique a trois dimensions a sections hyperplanes bicanoniques, Rev

    L. Godeaux,Sur une variete algebrique a trois dimensions a sections hyperplanes bicanoniques, Rev. Ci., Lima 38(1936), 103–108

    work page 1936

  30. [30]

    Horrocks, D

    G. Horrocks, D. Mumford,A rank2vector bundle onP 4 with15000symmetries, Topology12(1973), 63–81

    work page 1973

  31. [31]

    Huh,Tropical geometry of matroids, Current Developments in Mathematics2016(2018), 1–46

    J. Huh,Tropical geometry of matroids, Current Developments in Mathematics2016(2018), 1–46

    work page 2018

  32. [32]

    Hunt,The geometry of some special arithmetic quotients, Lecture Notes in Mathematics,1637

    B. Hunt,The geometry of some special arithmetic quotients, Lecture Notes in Mathematics,1637. Berlin: Springer, 1996

    work page 1996

  33. [33]

    Kang, J.-P

    M.-C. Kang, J.-P. Zhang, J.-Y. Shi, Y. Yu, S. Yau,Some primitive linear groups of prime degree. J. Math. Soc. Japan61(2009), 1013–1070

    work page 2009

  34. [34]

    D. Karp, D. Ranganathan, P. Riggins, U. Whitcher,Toric symmetry ofCP 3, Adv. Theor. Math. Phys.16 (2012), 1291–1314

    work page 2012

  35. [35]

    Lazarsfeld,Positivity in Algebraic Geometry II, Springer-Verlag, Berlin, 2004

    R. Lazarsfeld,Positivity in Algebraic Geometry II, Springer-Verlag, Berlin, 2004

    work page 2004

  36. [36]

    Lindsey,On a projective representation of the Hall–Janko group, Bulletin of the American Mathematical Society74(1968), 1094

    J. Lindsey,On a projective representation of the Hall–Janko group, Bulletin of the American Mathematical Society74(1968), 1094

    work page 1968

  37. [37]

    Lindsey,On a six dimensional projective representation of the Hall–Janko group, Pacific Journal of Mathe- matics35(1970), 175–186

    J. Lindsey,On a six dimensional projective representation of the Hall–Janko group, Pacific Journal of Mathe- matics35(1970), 175–186

    work page 1970

  38. [38]

    Lindsey,Finite linear groups of degree six, Canadian Journal of Mathematics23(1971), 771–790

    J. Lindsey,Finite linear groups of degree six, Canadian Journal of Mathematics23(1971), 771–790

    work page 1971

  39. [39]

    Kawamata,On Fujita’s freeness conjecture for 3-folds and 4-folds, Math

    Y. Kawamata,On Fujita’s freeness conjecture for 3-folds and 4-folds, Math. Ann

    work page

  40. [40]

    Kawamata,Subadjunction of log canonical divisors II, American J

    Y. Kawamata,Subadjunction of log canonical divisors II, American J. Math.120(1998), 893–899

    work page 1998

  41. [41]

    Klyachko, V

    A. Klyachko, V. Voskresenskii,Toroidal Fano varieties and root systems, Math. USSR-Izv.24(1985), 221–244

    work page 1985

  42. [42]

    Martello,On the rational Enriques–Fano threefolds discovered by Fano, preprint, arXiv:2107.04107 (2021)

    V. Martello,On the rational Enriques–Fano threefolds discovered by Fano, preprint, arXiv:2107.04107 (2021)

    work page arXiv 2021

  43. [43]

    Miyaoka, S

    Y. Miyaoka, S. Mori,A numerical criterion for uniruledness, Annals of Mathematics124(1986), 65–69. 45

    work page 1986

  44. [44]

    Prokhorov,Simple finite subgroups of the Cremona group of rank3, J

    Yu. Prokhorov,Simple finite subgroups of the Cremona group of rank3, J. Algebraic Geom.21(2012), no. 3, 563–600

    work page 2012

  45. [45]

    Prokhorov, M

    Yu. Prokhorov, M. Reid,OnQ-Fano threefolds of Fano index2, Adv. Stud. in Pure Math.70(2016), 397–420

    work page 2016

  46. [46]

    Reid,Young person’s guide to canonical singularities, Proc

    M. Reid,Young person’s guide to canonical singularities, Proc. Sympos. Pure Math.46, (1987), 345–414

    work page 1987

  47. [47]

    Sakovics,G-birational rigidity of the projective plane, Eur

    D. Sakovics,G-birational rigidity of the projective plane, Eur. J. Math.5(2019), 1090–1105

    work page 2019

  48. [48]

    Sarikyan,ToricG-Fano threefolds, Int

    A. Sarikyan,ToricG-Fano threefolds, Int. J. Math.33(2022), Article ID 2250034, 12 p

    work page 2022

  49. [49]

    Stagnaro,Normal bicanonical and tricanonical threefolds, Rend

    E. Stagnaro,Normal bicanonical and tricanonical threefolds, Rend. Mat. Appl.38(2017), 199–220

    work page 2017

  50. [50]

    Wales,Finite linear groups of degree seven I, Canadian Journal of Mathematics21(1969), 1042–1056

    D. Wales,Finite linear groups of degree seven I, Canadian Journal of Mathematics21(1969), 1042–1056

    work page 1969

  51. [51]

    Wales,Finite linear groups of degree seven II, Pacific Journal of Mathematics34(1970), 207–235

    D. Wales,Finite linear groups of degree seven II, Pacific Journal of Mathematics34(1970), 207–235

    work page 1970

  52. [52]

    Yasinsky,OnG-birational rigidity of del Pezzo surfaces, Epijournal de Geometrie Algebrique

    E. Yasinsky,OnG-birational rigidity of del Pezzo surfaces, Epijournal de Geometrie Algebrique. EPIGA9 (2025), 24 pp. Ivan Cheltsov University of Edinburgh, Edinburgh, Scotland i.cheltsov@ed.ac.uk Fr´ ed´ eric Mangolte Aix Marseille University, CNRS, I2M, Marseille, France frederic.mangolte@univ-amu.fr Constantin Shramov Steklov Mathematical Institute, Mos...

    work page 2025