pith. sign in

arxiv: 2208.00217 · v2 · submitted 2022-07-30 · 🧮 math.AG

Birational involutions of the real projective plane

Ivan Cheltsov , Fr\'ed\'eric Mangolte , Egor Yasinsky , Susanna Zimmermann This is my paper

Pith reviewed 2026-05-24 11:20 UTC · model grok-4.3

classification 🧮 math.AG
keywords birational involutionsreal projective planeCremona groupconjugacy classesfixed curvesreal algebraic geometrybirational maps
0
0 comments X

The pith

Birational involutions of the real projective plane fall into twelve conjugacy classes rather than the four known over the complex numbers.

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

The paper classifies all birational involutions of the real projective plane up to conjugation inside the Cremona group. Over the complex numbers the same objects split into four classes, but the real classification produces twelve distinct classes. The work supplies explicit examples showing that the fixed curve of such an involution frequently fails to decide its conjugacy class over the reals. Readers should care because these maps generate the simplest non-identity birational transformations of the plane and their real conjugacy classes control many questions about real algebraic surfaces and their automorphisms.

Core claim

We classify birational involutions of the real projective plane up to conjugation. In contrast with an analogous classification over the complex numbers which includes 4 different classes of involutions, we discover 12 different classes over the reals, and provide many examples when the fixed curve of an involution does not determine its conjugacy class in the real plane Cremona group.

What carries the argument

Conjugacy classes of order-two birational maps of the real projective plane inside the real Cremona group Bir(P^2_R).

If this is right

  • Every involution belongs to one of twelve explicit classes distinguished by their fixed loci and real dynamical behavior.
  • The fixed curve of an involution is insufficient to determine its conjugacy class over the reals.
  • The real Cremona group contains strictly more conjugacy classes of involutions than its complex counterpart.
  • Each of the twelve classes admits concrete geometric realizations on the real plane.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The richer real classification may affect the study of real surfaces obtained by blowing up the plane along real points.
  • Questions about the topology of real rational surfaces could be refined by tracking which of the twelve classes appear as automorphisms.
  • The gap between real and complex counts suggests that base-field effects systematically enlarge conjugacy classes in groups of birational maps.

Load-bearing premise

The classification techniques developed over the complex numbers extend to the real case without missing real-specific phenomena or producing duplicate classes.

What would settle it

An explicit birational involution of the real projective plane whose conjugacy class matches none of the twelve listed types would falsify the classification.

read the original abstract

We classify birational involutions of the real projective plane up to conjugation. In contrast with an analogous classification over the complex numbers (due to E. Bertini, G. Castelnuovo, F. Enriques, L. Bayle and A. Beauville), which includes 4 different classes of involutions, we discover 12 different classes over the reals, and provide many examples when the fixed curve of an involution does not determine its conjugacy class in the real plane Cremona group.

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

2 major / 0 minor

Summary. The paper classifies birational involutions of the real projective plane up to conjugation in the real Cremona group. It asserts that there are 12 conjugacy classes over the reals (versus 4 over the complexes, per the classical results of Bertini-Castelnuovo-Enriques-Bayle-Beauville) and supplies examples in which the fixed curve of the involution fails to determine the conjugacy class.

Significance. If the enumeration is complete and the extension of the complex methods is valid without missing or overcounting real phenomena, the result would constitute a concrete advance in the study of the real Cremona group, clarifying the role of the base field in birational classification problems.

major comments (2)
  1. [Abstract] Abstract: the central claim is a complete list of 12 classes, yet the manuscript text supplies neither an explicit enumeration of these classes nor a verification that the case analysis covers all possibilities without omission or duplication arising from the non-algebraically-closed base field.
  2. The extension of the Bertini-Castelnuovo-Enriques-Bayle-Beauville methods is asserted to capture all real conjugacy classes, but no concrete check (e.g., a table or section listing the real fixed-curve types and their real conjugacy invariants) is visible to confirm that real-specific phenomena have been fully accounted for.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and comments on our classification of birational involutions of the real projective plane. We address the major points below and agree to improve the explicitness of the enumeration in a revised version.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim is a complete list of 12 classes, yet the manuscript text supplies neither an explicit enumeration of these classes nor a verification that the case analysis covers all possibilities without omission or duplication arising from the non-algebraically-closed base field.

    Authors: The 12 classes are obtained by a case analysis on the possible real fixed curves (of degrees 1 through 6, with specified real singularities and components) and the induced action on the real Picard lattice, extending the classical complex classification. This analysis appears in Sections 3--5 of the manuscript. While the case division is intended to be exhaustive, we agree that a compact summary table listing each of the 12 classes together with its fixed-curve type and real conjugacy invariants would make the enumeration and completeness check more immediate. Such a table will be added in the revision. revision: yes

  2. Referee: [—] The extension of the Bertini-Castelnuovo-Enriques-Bayle-Beauville methods is asserted to capture all real conjugacy classes, but no concrete check (e.g., a table or section listing the real fixed-curve types and their real conjugacy invariants) is visible to confirm that real-specific phenomena have been fully accounted for.

    Authors: Real-specific phenomena (for instance, the splitting of certain complex classes into multiple real conjugacy classes, or involutions whose fixed curves have distinct real topologies not visible over ℂ) are handled by tracking the real structure on the blow-ups and the Galois action on the exceptional divisors. The manuscript contains the relevant case distinctions, but we acknowledge that a consolidated table or subsection explicitly matching real fixed-curve types to their conjugacy invariants would strengthen the verification. We will insert this material in the revised version. revision: yes

Circularity Check

0 steps flagged

Classification proceeds by direct geometric enumeration with no self-referential reductions

full rationale

The paper enumerates conjugacy classes of real birational involutions by extending the classical complex classification of Bertini-Castelnuovo-Enriques-Bayle-Beauville, identifying 12 real classes versus 4 complex ones, and exhibiting examples where the fixed curve does not determine the class. No equations, fitted parameters, or predictions appear; the derivation consists of case-by-case geometric analysis of real structures on the plane Cremona group. No load-bearing self-citations, ansatzes, or renamings reduce any step to its own input. The result is self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a classification theorem that extends known complex results; it introduces no free parameters, no new entities, and relies only on standard background from birational geometry.

axioms (1)
  • domain assumption Standard results from birational geometry over algebraically closed fields of characteristic zero extend to real closed fields with appropriate modifications for real loci and conjugacy.
    The classification builds directly on the complex case cited in the abstract.

pith-pipeline@v0.9.0 · 5612 in / 1345 out tokens · 33168 ms · 2026-05-24T11:20:22.149933+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On $G$-birational rigidity of del Pezzo surfaces

    math.AG 2023-01 unverdicted novelty 7.0

    If a smooth del Pezzo surface is H-birationally rigid then it is also G-birationally rigid.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    D. N. Akheizer, Lie group actions in complex analysis , Aspects of Mathematics, vol. E27, Friedr. Vieweg, Braunschweig and Wiesbaden, 1995, vii + 201 pp

    work page 1995

  2. [2]

    Atiyah, I

    M. Atiyah, I. MacDonald, Introduction to Commutative Algebra , CRC Press, 2018. A.B

    work page 2018

  3. [3]

    Bayle, A

    L. Bayle, A. Beauville, Birational involutions of P2, Asian J. Math. 4 (2000) 11–17. 1.1, 1.A, 1.D, 1.E

    work page 2000

  4. [4]

    Blanc, Linearisation of finite Abelian subgroups of the Cremona gro up of the plane , Groups Geom

    J. Blanc, Linearisation of finite Abelian subgroups of the Cremona gro up of the plane , Groups Geom. Dyn. 3 (2009), 215–266. 1.C, 2.7, 9.A

    work page 2009

  5. [5]

    Blanc, F

    J. Blanc, F. Mangolte, Cremona groups of real surfaces , Proceedings of GABAG2012 79 (2014), 35–58. 1.B, 2.5 BIRATIONAL INVOLUTIONS OF THE REAL PROJECTIVE PLANE 51

    work page 2014

  6. [6]

    Blanc, F

    J. Blanc, F. Mangolte, Geometrically rational real conic bundles and very transit ive actions , Compositio Mathematica 147 (2011), 161–187. 4.D, 7.A, 7.A

    work page 2011

  7. [7]

    Cheltsov, C

    I. Cheltsov, C. Shramov Cremona Groups and the Icosahedron , Chapman and Hall/CRC 528 pages, 2015. 2.10

    work page 2015

  8. [8]

    Corti, Factorizing birational maps of threefolds after Sarkisov , J

    A. Corti, Factorizing birational maps of threefolds after Sarkisov , J. Alg. Geom. 4 (1995), 223–

    work page 1995

  9. [9]

    Dolgachev, A

    I. Dolgachev, A. Duncan, Fixed points of a finite subgroup of the plane Cremona group , Algebr. Geom. 3 (2016), 441–460. 6.2

    work page 2016

  10. [10]

    Dolgachev, V

    I. Dolgachev, V. Iskovskikh, Finite subgroups of the plane Cremona group , in: Algebra, Arith- metic, and Geometry: in Honor of Yu. I. Manin, Vol. I, Progress in Ma thematics, Vol. 269, Birkh¨ auser Boston, Boston, MA, 2009, pp. 443–548. 1.C, 1.E, 2, 7, 7.A, 7.A, 9.3, 9.A

    work page 2009

  11. [11]

    de Fernex, On planar Cremona maps of prime order , Nagoya Math J

    T. de Fernex, On planar Cremona maps of prime order , Nagoya Math J. 174 (2004), 1–28. 2.7

    work page 2004

  12. [12]

    Elman, N

    R. Elman, N. Karpenko, and A. Merkurjev, The Algebraic and Geometric Theory of Quadratic Forms, American Mathematical Society (2008). A.B

    work page 2008

  13. [13]

    Fogarty and P

    J. Fogarty and P. Norman, A fixed-point characterization of linearly reductive group s, Contrib. to Algebra, Collect. Pap. dedic. E. Kolchin, 151-155 (1977). 2.C

    work page 1977

  14. [14]

    Huisman, M

    J. Huisman, M. Lattarulo, Imaginary automorphisms on real hyperelliptic curves , Journal of Pure and Applied Algebra 200 (2005), 318–331. 7.B, 7.7, 7.B, 7.C

    work page 2005

  15. [15]

    Iskovskikh, Rational surfaces with a pencil of rational curves , Math

    V. Iskovskikh, Rational surfaces with a pencil of rational curves , Math. USSR-Sb. 3 (1967), 563–587. 2.11, 2.D, 8

    work page 1967

  16. [16]

    Iskovskikh, Rational surfaces with a pencil of rational curves and with p ositive square of the canonical class, Math

    V. Iskovskikh, Rational surfaces with a pencil of rational curves and with p ositive square of the canonical class, Math. USSR-Sb. 12 (1970), 91–117. 8

    work page 1970

  17. [17]

    Iskovskikh, Minimal models of rational surfaces over arbitrary fields , Izvestiya: Mathematics 14 (1980), 17–39

    V. Iskovskikh, Minimal models of rational surfaces over arbitrary fields , Izvestiya: Mathematics 14 (1980), 17–39. 8, 9.A

    work page 1980

  18. [18]

    Iskovskikh, Factorization of birational mappings of rational surfaces from the point of view of Mori theory , Uspekhi Mat

    V. Iskovskikh, Factorization of birational mappings of rational surfaces from the point of view of Mori theory , Uspekhi Mat. Nauk 51, (1996), 3–72. 2.A, 2.A, 2.5, 2.D, 2.D, 2.D, 3

    work page 1996

  19. [19]

    Fixed points of group actions and rational maps

    J. Koll´ ar, E. Szab´ o. Fixed points of group actions and rational maps , https://arxiv.org/abs/math/9905053 3

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [20]

    Koll´ ar et al

    J. Koll´ ar et al. Flips and abundance for algebraic threefolds . Papers from the Second Summer Seminar on Algebraic Geometry held at the University of Utah, Salt La ke City, Utah, August

    work page

  21. [21]

    211 (1992)

    Ast´ erisque No. 211 (1992). Soci´ et´ e Math´ ematique deFrance, Paris, 1992. 2.D

    work page 1992

  22. [22]

    Real Algebraic Surfaces

    J. Koll´ ar, Real algebraic surfaces , Notes of the 1997 Trento summer school lectures, https://arxiv.org/abs/alg-geom/9712003, 1997. 2.B, 2.3, 5, 6, 6

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  23. [23]

    Kowalevski, ¨Uber Reduction einer bestimmten Klasse Abel’scher Integra le 3ten Ranges auf elliptische Integrale , Acta Mathematica 4 (1884), 393–416

    S. Kowalevski, ¨Uber Reduction einer bestimmten Klasse Abel’scher Integra le 3ten Ranges auf elliptische Integrale , Acta Mathematica 4 (1884), 393–416. 6, 6.3

    work page

  24. [24]

    Kontsevich, V

    M. Kontsevich, V. Pestun, Yu. Tschinkel, Equivariant birational geometry and modular symbols. J. Eur. Math. Soc. (2021), published online first. https://arxiv.org/abs/1902.09894 1.E

    work page arXiv 2021

  25. [25]

    Kresch, Yu

    A. Kresch, Yu. Tschinkel, Equivariant birational types and Burnside volume , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XXIII (2022), 1013–1052. 1.E

    work page 2022

  26. [26]

    Kresch, Yu

    A. Kresch, Yu. Tschinkel, Cohomology of finite subgroups of the plane Cremona group , https://arxiv.org/abs/2203.01876. 1.E

    work page arXiv

  27. [27]

    das Dores, M

    L. das Dores, M. Mauri, G-birational superrigidity of Del Pezzo surfaces of degree 2 and 3, European Journal of Mathematics 5 (2019), 798–827. 2.D

    work page 2019

  28. [28]

    Hassett, A

    B. Hassett, A. Kresch, Yu. Tschinkel, Symbols and equivariant birational geometry in small dimensions, Rationality of Varieties, Proceedings Schiermonnikoog, 201–236, Progress in Math. 342, Birkh¨ auser, (2021).1.E

    work page 2021

  29. [29]

    Lam, Introduction to quadratic forms over fields , American Mathematical Soc., 2005

    T. Lam, Introduction to quadratic forms over fields , American Mathematical Soc., 2005. A.A, A.A, A.A, A.B, A.12

    work page 2005

  30. [30]

    Mangolte, Real Algebraic Varieties, Springer Monographs in Mathematics, Springer Interna- tional Publishing (2020)

    F. Mangolte, Real Algebraic Varieties, Springer Monographs in Mathematics, Springer Interna- tional Publishing (2020). 2.B, 2.3

    work page 2020

  31. [31]

    Mangolte, C

    F. Mangolte, C. Raffalli, On a question of supports , European Journal of Math. in press. 6

    work page

  32. [32]

    Reid, Chapters on algebraic surfaces , Complex algebraic geometry (J.Koll´ ar, editor), Lecture notes from a summer program held in Park City, Utah, in 1993 (1997) , 5–159

    M. Reid, Chapters on algebraic surfaces , Complex algebraic geometry (J.Koll´ ar, editor), Lecture notes from a summer program held in Park City, Utah, in 1993 (1997) , 5–159. 10.1 52 I. CHELTSOV, F. MANGOLTE, E. YASINSKY, S. ZIMMERMANN

    work page 1993

  33. [33]

    Robayo, Prime order birational diffeomorphisms of the sphere , Annali della Scuola Normale Superiore di Pisa 16 (2016), 909–970

    M. Robayo, Prime order birational diffeomorphisms of the sphere , Annali della Scuola Normale Superiore di Pisa 16 (2016), 909–970. 1.B

    work page 2016

  34. [34]

    Russo, The antibirational involutions of the plane and the classifi cation of real del Pezzo surfaces, in Algebraic geometry, de Gruyter, Berlin, 2002, pp

    F. Russo, The antibirational involutions of the plane and the classifi cation of real del Pezzo surfaces, in Algebraic geometry, de Gruyter, Berlin, 2002, pp. 289–312. 9.A

    work page 2002

  35. [35]

    Silhol, Real algebraic surfaces , Lecture Notes in Mathematics, 1392, Springer-Verlag, 1989

    R. Silhol, Real algebraic surfaces , Lecture Notes in Mathematics, 1392, Springer-Verlag, 1989. 2.2

    work page 1989

  36. [36]

    Schneider, S

    J. Schneider, S. Zimmermann, Algebraic subgroups of the plane Cremona group over a perfec t field, EpiGA, vol. 5 (2021), no. 14. 2.A

    work page 2021

  37. [37]

    Trepalin, Del Pezzo surfaces over finite fields , Finite Fields Appl., 68 (2020), 101741 , 32 pp

    A. Trepalin, Del Pezzo surfaces over finite fields , Finite Fields Appl., 68 (2020), 101741 , 32 pp. 9.A

    work page 2020

  38. [38]

    Trepalin, Quotients of del Pezzo surfaces of high degree , Transactions of the American Math- ematical Society, 370:9 (2018), 6097–6124

    A. Trepalin, Quotients of del Pezzo surfaces of high degree , Transactions of the American Math- ematical Society, 370:9 (2018), 6097–6124. 9.A

    work page 2018

  39. [39]

    Trepalin, Quotients of conic bundles , Transformation Groups, 21 (2016), 275–295

    A. Trepalin, Quotients of conic bundles , Transformation Groups, 21 (2016), 275–295. 1.2, 4.D

    work page 2016

  40. [40]

    Wall, Real forms of smooth del Pezzo surfaces , J

    T. Wall, Real forms of smooth del Pezzo surfaces , J. Reine Angew. Math. 375 (1987), 47–66. 5, 9.A

    work page 1987

  41. [41]

    Witt, Theorie der quadratischen Formen in beliebigen K¨ orpern, J

    E. Witt, Theorie der quadratischen Formen in beliebigen K¨ orpern, J. f¨ ur die reine und angew. Mathematik, vol. 176, pp. 31– 44. A.10

    work page

  42. [42]

    Yasinsky, Automorphisms of real del Pezzo surfaces and the real plane C remona group, An- nales de l’Institut Fourier, Volume 72 (2022) no

    E. Yasinsky, Automorphisms of real del Pezzo surfaces and the real plane C remona group, An- nales de l’Institut Fourier, Volume 72 (2022) no. 2, pp. 831–899. 1.B, 1.C, 1.2, 5.4, 6, 6, 6

    work page 2022

  43. [43]

    Yasinsky, Subgroups of odd order in the real plane Cremona group , J

    E. Yasinsky, Subgroups of odd order in the real plane Cremona group , J. of Algebra 461 (2016), 87–120. 1.B

    work page 2016

  44. [44]

    Zeuthen, Sur les differentes formes des courbes du quatrieme ordre , Math

    H. Zeuthen, Sur les differentes formes des courbes du quatrieme ordre , Math. Ann. 7 (1874), 410–432. 6

    work page

  45. [45]

    Zimmermann, Compositions and relations in the Cremona groups

    S. Zimmermann, Compositions and relations in the Cremona groups . PhD, University Basel,

    work page

  46. [46]

    Zimmermann, The abelianisation of the real Cremona group , Duke Math

    S. Zimmermann, The abelianisation of the real Cremona group , Duke Math. J. vol. 167, no.2 (2018), 211-267. 1.B Ivan Cheltsov University of Edinburgh, Edinburgh, Scotland i.cheltsov@ed.ac.uk Fr´ ed´ eric Mangolte Aix Marseille Univ, CNRS, I2M, Marseille, France frederic.mangolte@univ-amu.fr Egor Yasinsky Institut de Math´ ematiques de Bordeaux, UMR 5251 C...

    work page 2018