pith. sign in

arxiv: 2603.26416 · v2 · pith:2SIMANATnew · submitted 2026-03-27 · 🧮 math.AG

Automorphism groups of Mori Del Pezzo fibrations over an irrational curve

Pascal Fong , Susanna Zimmermann This is my paper

Pith reviewed 2026-05-21 09:33 UTC · model grok-4.3

classification 🧮 math.AG
keywords Mori Del Pezzo fibrationsautomorphism groupsbirational automorphism groupalgebraic subgroupsthreefoldspositive genus curvesbirational geometry
0
0 comments X

The pith

By classifying automorphism groups of Mori Del Pezzo fibrations over curves of positive genus, the paper determines all maximal connected algebraic subgroups of Bir(C × ℙ²).

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

The authors study the automorphism groups of Mori Del Pezzo fibrations over a smooth projective curve of positive genus. They use these groups to obtain a classification of the maximal connected algebraic subgroups inside Bir(C × ℙ²). The classification holds over any algebraically closed field of characteristic zero. A sympathetic reader cares because it renders the algebraic structure of birational maps on threefolds involving irrational curves more explicit.

Core claim

The paper claims that the automorphism groups of Mori Del Pezzo fibrations over a curve of positive genus yield a complete classification of the maximal connected algebraic subgroups of the birational automorphism group Bir(C × ℙ²).

What carries the argument

Mori Del Pezzo fibrations over the curve C, whose automorphism groups are shown to account for all maximal connected algebraic subgroups of Bir(C × ℙ²).

If this is right

  • Every maximal connected algebraic subgroup of Bir(C×ℙ²) arises from the automorphism group of some Mori Del Pezzo fibration over C.
  • The classification is exhaustive for all such subgroups when the base curve has positive genus.
  • The results apply uniformly over any algebraically closed field of characteristic zero.

Where Pith is reading between the lines

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

  • The classification may clarify how algebraic subgroups sit inside the larger birational group Bir(C×ℙ²).
  • Analogous methods could be tested on birational groups of other threefolds fibered over positive-genus curves.
  • The work could connect to questions about the generation or relations in the full birational automorphism group.

Load-bearing premise

The automorphism groups of Mori Del Pezzo fibrations over a smooth projective curve C of positive genus can be leveraged to deduce the maximal connected algebraic subgroups of Bir(C×ℙ²).

What would settle it

Exhibiting a maximal connected algebraic subgroup of Bir(C×ℙ²) that cannot arise as the automorphism group of any Mori Del Pezzo fibration over C would disprove the claimed classification.

read the original abstract

We study the automorphism groups of Mori Del Pezzo fibrations over a smooth projective curve $C$ of positive genus. From that, we obtain a classification of maximal connected algebraic subgroups of $\mathrm{Bir}(C\times \mathbb{P}^2)$. Our results hold over any algebraically closed field of characteristic zero.

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 / 2 minor

Summary. The manuscript studies the automorphism groups of Mori Del Pezzo fibrations over a smooth projective curve C of positive genus. From this analysis, it derives a classification of all maximal connected algebraic subgroups of Bir(C × ℙ²) over an algebraically closed field of characteristic zero.

Significance. If the central classification holds, the work advances the understanding of algebraic subgroups of birational automorphism groups for threefolds fibered over irrational curves. It applies Mori theory and equivariant techniques to a setting that extends prior results on rational surfaces and rational fibrations, offering concrete descriptions of maximal connected groups in Bir(X) for X = C × ℙ².

major comments (1)
  1. [§1] §1 (Introduction) and the statement of the main classification theorem: the deduction that every maximal connected algebraic subgroup of Bir(C×ℙ²) arises (up to conjugacy) as the automorphism group of a Mori Del Pezzo fibration requires an explicit reduction step. The abstract claims the classification is obtained 'from that' study, but a G-equivariant MMP argument showing that maximality forces a G-invariant Mori Del Pezzo fibration with the stated properties is not referenced or proved in a way that makes the exhaustiveness clear. This step is load-bearing for the completeness of the classification.
minor comments (2)
  1. [§2] Notation for the base curve C and the fibration could be introduced more explicitly in the preliminaries to avoid ambiguity when passing between models.
  2. A short table summarizing the possible maximal groups (with their dimensions or Lie algebra types) would improve readability of the classification.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment on the manuscript. The observation regarding the need for an explicit reduction step is valid, and we will revise the text to address it directly.

read point-by-point responses

  1. Referee: §1 (Introduction) and the statement of the main classification theorem: the deduction that every maximal connected algebraic subgroup of Bir(C×ℙ²) arises (up to conjugacy) as the automorphism group of a Mori Del Pezzo fibration requires an explicit reduction step. The abstract claims the classification is obtained 'from that' study, but a G-equivariant MMP argument showing that maximality forces a G-invariant Mori Del Pezzo fibration with the stated properties is not referenced or proved in a way that makes the exhaustiveness clear. This step is load-bearing for the completeness of the classification.

    Authors: We agree that the reduction from maximal connected subgroups of Bir(C × ℙ²) to automorphism groups of Mori Del Pezzo fibrations requires a clearer exposition to establish exhaustiveness. In the revised version we will add a short subsection (or expanded paragraph) in §1 that sketches the G-equivariant MMP argument: any connected algebraic group G acting on a threefold birational to C × ℙ² can be made to preserve a Mori fibration structure after a G-equivariant birational modification, and maximality forces the fibers to be Del Pezzo surfaces of the types we classify. We will cite the standard references on equivariant MMP for threefolds (e.g., the works of Prokhorov and others on birational geometry of threefolds) and tailor the sketch to the case of a base curve of positive genus. This addition will make the logical passage from the main theorems to the classification statement fully explicit without altering the results themselves. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external classification arguments

full rationale

The paper states it studies automorphism groups of Mori Del Pezzo fibrations over curves of positive genus and obtains from that a classification of maximal connected algebraic subgroups of Bir(C×ℙ²). No quoted equations, self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided abstract or summary that reduce the central claim to its own inputs by construction. The derivation chain is presented as proceeding from the study of these specific automorphism groups via standard birational geometry techniques (e.g., MMP considerations), without evidence of the result being forced tautologically or via an unverified self-citation chain. This is a normal non-finding for a classification paper whose core content is the explicit computation of Aut groups rather than a self-referential loop.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard background from birational geometry and the minimal model program. No free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (1)
  • domain assumption Results hold over any algebraically closed field of characteristic zero
    Explicitly stated in the abstract as the setting for all results.

pith-pipeline@v0.9.0 · 5562 in / 946 out tokens · 47393 ms · 2026-05-21T09:33:10.157986+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

50 extracted references · 50 canonical work pages

  1. [1]

    M. F. Atiyah. On the Krull-Schmidt theorem with application to sheaves.Bull. Soc. Math. Fr., 84:307–317, 1956. 6.2, 6.6

    work page 1956

  2. [2]

    M. F. Atiyah. Vector bundles over an elliptic curve.Proc. London Math. Soc. (3), 7:414–452, 1957. 1.1, 6.2, 6.7, 6.8, 6.8, 6.9.1, 6.39, 6.43

    work page 1957

  3. [3]

    Bernasconi, A

    F. Bernasconi, A. Fanelli, J. Schneider, and S. Zimmermann. Explicit sarkisov program for regular surfaces over arbitrary fields and applications.Mem. of the EMS, 2025. 2.2, 2.4, 2.4

    work page 2025

  4. [4]

    Blanc, A

    J. Blanc, A. Fanelli, and R. Terpereau. Connected Algebraic Groups Acting on three-dimensional Mori Fibrations.International Mathematics Research Notices, 10 2021. 1, 1.2, 1.2, 6, 3.1, 3.3, 3, 5.1, 5, 6.1, 6.1, 9, 9.2, 9.1, 9.3, 9.9, 9.2

    work page 2021

  5. [5]

    Blanc, A

    J. Blanc, A. Fanelli, and R. Terpereau. Automorphisms ofP1-bundles over rational surfaces.Épi- journal de Géométrie Algébrique, Volume 6, janv. 2023. 1, 6.3, 6.4, 6.14, 6.16, 6.4, 9.16, 9.17

    work page 2023

  6. [6]

    Blanc and J.-P

    J. Blanc and J.-P. Furter. Topologies and structures of the Cremona groups.Ann. of Math. (2), 178(3):1173–1198, 2013. 1

    work page 2013

  7. [7]

    Blanc, S

    J. Blanc, S. Lamy, and S. Zimmermann. Quotients of higher dimensional Cremona groups.Acta Math., 226(2):211–318, 2021. 2.4, 2.4, 4.3, 9.2

    work page 2021

  8. [8]

    Blanc, J

    J. Blanc, J. Schneider, and E. Yasinsky. Birational maps of severi-brauer surfaces, with applications to cremona groups of higher rank, 2024. 1

    work page 2024

  9. [9]

    A. Boitrel. Del pezzo surfaces of degree 5 over perfect fields.arXiv:2304.05328, 2023. 4.2

    work page arXiv 2023

  10. [10]

    M. Brion. Homogeneous projective bundles over abelian varieties.Algebra Number Theory, 7(10):2475–2510, 2013. 6.9.1

    work page 2013

  11. [11]

    M. Brion. Homogeneous vector bundles over abelian varieties via representation theory.Represent. Theory, 24:85–114, 2020. 6.9.2

    work page 2020

  12. [12]

    M. Brion. On models of algebraic group actions.Proc. Indian Acad. Sci., Math. Sci., 132(2):17, 2022. Id/No 61. 9.4

    work page 2022

  13. [13]

    Brion, P

    M. Brion, P. Samuel, and V. Uma. Lecture on the structure of algebraic subgroups and geometric applications.volume 1 of CMI Lecture Series in Mathematics, Hindustan Book Agency, New Delhi; Chennai Mathematical Institute (CMI), Chennai, 2013. 2.7, 5, 6.1, 9.2

    work page 2013

  14. [14]

    A. Corti. Factoring birational maps of threefolds after sarkisov.Journal of Algebraic Geometry, 4(4):223–254, 1995. 1.2, 5

    work page 1995

  15. [15]

    I. V. Dolgachev.Classical algebraic geometry. Cambridge University Press, Cambridge, 2012. A modern view. 2.4

    work page 2012

  16. [16]

    Enriques

    F. Enriques. Sui gruppi continui di trasformazioni cremoniane nel piano.Rend. Accad. Lincei, 1er sem, 1893. 1

    work page

  17. [17]

    Enriques and G

    F. Enriques and G. Fano. Sui gruppi continui di trasformazioni Cremoniane dello spazio.Annali di Mat. (2), 26:59–98, 1898. 1

    work page

  18. [18]

    Fanelli, E

    A. Fanelli, E. Floris, and S. Zimmermann. Maximal subgroups in the cremona group.Compositio Mathematica, 161(9):2442–2460, Sept. 2025. 1

    work page 2025

  19. [19]

    Fanelli and S

    A. Fanelli and S. Schröer. Del pezzo surfaces and mori fibre spaces in positive characteristic.Trans. Amer. Math. Soc., 373, 2020. 2

    work page 2020

  20. [20]

    E. Floris. A note on the g-sarkisov program.Enseignement Mathématique, 66:83–92, 2020. 1.2, 2.11, 5, 5, 9.2, 9.2, 9.4 AUTOMORPHISMS OF MORI DEL PEZZO FIBRATIONS 63

    work page 2020

  21. [21]

    P. Fong. Algebraic subgroups of the group of birational transformations of ruled surfaces.Épijournal de Géom. Algébr., EPIGA, 7:22, 2023. Id/No 13. 6.3

    work page 2023

  22. [22]

    P. Fong. Connected algebraic groups acting on algebraic surfaces.Ann. Inst. Fourier, 74(2):545–587,

    work page

  23. [23]

    P. Fong. Automorphism groups ofP1-bundles over ruled surfaces, 2026. 1, 1.1, 1.2, 6.4, 6.14, 6.15, 6.16, 6.4, 6.17, 6.31, 6.8, 6.8, 6.35, 6.8, 6.9.2, 9.17, 9.3, 9.18, 9.3

    work page 2026

  24. [24]

    O. Fujino. Applications of kawamata’s positivity theorem.Proc. Japan Acad. Ser. A Math. Sci., 75(6):75–79, 1999. 4.3, 9.1, 9.21

    work page 1999

  25. [25]

    Graber, J

    T. Graber, J. Harris, and J. Starr. Families of rationally connected varieties.J. Amer. Math. Soc., 16(1):57–67, 2002. 2.2, 2.3

    work page 2002

  26. [26]

    D. Greb, S. Kebekus, S. J. Kovács, and T. Peternell. Differential forms on log canonical spaces. Publications mathématiques de l’IHÉS, 114(1):87–169, 2011. 2.4, 4.3, 9.1, 9.21

    work page 2011

  27. [27]

    Grothendieck

    A. Grothendieck. Géométrie formelle et géométrie algébrique. (Formal geometry and algebraic ge- ometry). Sem. Bourbaki 11 (1958/59), No. 182, 28 p. (1959)., 1959. 6.18, 6.6

    work page 1958

  28. [28]

    C. D. Hacon and J. McKernan. The Sarkisov program.J. Algebraic Geom., 22(2):389–405, 2013. 1.2

    work page 2013

  29. [29]

    Hartshorne.Algebraic geometry

    R. Hartshorne.Algebraic geometry. Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52. 4.3

    work page 1977

  30. [30]

    Hein and D

    G. Hein and D. Ploog. Fourier-Mukai transforms and stable bundles on elliptic curves.Beitr. Algebra Geom., 46(2):423–434, 2005. 6.9.1

    work page 2005

  31. [31]

    Huybrechts and M

    D. Huybrechts and M. Lehn.The geometry of moduli spaces of sheaves. Cambridge: Cambridge University Press, 2nd ed. edition, 2010. 6.9.1, 7, 7.6, 7

    work page 2010

  32. [32]

    V. A. Iskovskikh. Minimal model of rational surfaces over arbitrary fields.Izv. Akad. Nauk SSSR Ser. Mat., Translation in Math. USSR Izvestija, 43(1):19–43, 1979. 9.2, 9.2, 9.2

    work page 1979

  33. [33]

    V. A. Iskovskikh. Factorization of birational mappings of rational surfaces from the point of view of Mori theory.Uspekhi Mat. Nauk, 51(4(310)):3–72, 1996. 2.5, 2.6, 2.4, 4.2, 4.3, 5, 5, 9.2

    work page 1996

  34. [34]

    Kollár.Lectures on Resolution of Singularities

    J. Kollár.Lectures on Resolution of Singularities. Annals of Mathematics Studies, Princeton Univer- sity Press, 2007. 9.4

    work page 2007

  35. [35]

    Kollár, Y

    J. Kollár, Y. Miyaoka, and S. Mori. Rational connectedness and boundedness of fano manifolds.J. Differential Geometry, 36:765–779, 1992. 2.1

    work page 1992

  36. [36]

    J. Kollár. Automorphisms of unstablep1-bundles, 2024. 1

    work page 2024

  37. [37]

    Maruyama

    M. Maruyama. On automorphism groups of ruled surfaces.J. Math. Kyoto Univ., 11:89–112, 1971. 6.3, 6.8, 1, 9.1

    work page 1971

  38. [38]

    Matsumura and F

    H. Matsumura and F. Oort. Representability of group functors, and automorphisms of algebraic schemes.Invent. Math., 4:1–25, 1967. 1.3

    work page 1967

  39. [39]

    Ressayre

    N. Ressayre. Sur les orbites d’un sous-groupe sphérique dans la variété des drapeaux.Bull. Soc. Math. France, 132(4):543–567, 2004. 4.1, 4.1

    work page 2004

  40. [40]

    M. F. Robayo and S. Zimmermann. Infinite algebraic subgroups of the real cremona group.Osaka J. Math., 55(4):681–712, 2018. 2.2

    work page 2018

  41. [41]

    Sumihiro

    H. Sumihiro. Equivariant completion ii.J. Math. Kyoto Univ., 15-3:573–605, 1975. 9.4

    work page 1975

  42. [42]

    Takahashi

    T. Takahashi. Projective plane bundles over an elliptic curve.Can. Math. Bull., 61(1):201–210, 2018. 6.9.2

    work page 2018

  43. [43]

    Cremona groups

    R. Terpereau. Lecture notes for the summer school in mathematics "Cremona groups", june 9-27, grenoble.http://ronan.terpereau.perso.math.cnrs.fr/Mini-course_Grenoble_June-2025.pdf, Decem- ber 2025. 5.1

    work page 2025

  44. [44]

    Terpereau and S

    R. Terpereau and S. Zimmermann. Real forms of mori fibre spaces with many symmetries.accepted in Ann. della Sc. Norm. Sup. di Pisa, Classe di Scienze, 2024. 2.2, 5

    work page 2024

  45. [45]

    The Stacks Project Authors.Stacks Project.https://stacks.math.columbia.edu, 2024. 9.1

    work page 2024

  46. [46]

    H. Umemura. Sur les sous-groupes algébriques primitifs du groupe de Cremona à trois variables. Nagoya Math. J., 79:47–67, 1980. 1

    work page 1980

  47. [47]

    H. Umemura. Maximal algebraic subgroups of the Cremona group of three variables. Imprimitive algebraic subgroups of exceptional type.Nagoya Math. J., 87:59–78, 1982. 1

    work page 1982

  48. [48]

    H. Umemura. On the maximal connected algebraic subgroups of the Cremona group. I.Nagoya Math. J., 88:213–246, 1982. 1 64 PASCAL FONG AND SUSANNA ZIMMERMANN

    work page 1982

  49. [49]

    H. Umemura. On the maximal connected algebraic subgroups of the Cremona group. II. InAlgebraic groups and related topics (Kyoto/Nagoya, 1983), volume 6 ofAdv. Stud. Pure Math., pages 349–436. North-Holland, Amsterdam, 1985. 1

    work page 1983

  50. [50]

    A. Weil. On algebraic groups of transformations.Amer. J. Math., 77:355–391, 1955. 9.4 Department of Mathematics and Computer Science, University of Basel, Spiegelgasse 1, 4051 Basel, Switzerland Email address:susanna.zimmermann@unibas.ch Leibniz Universität Hannover, Institut für Algebraische Geometrie, Welfengarten 1, 30167 Hannover, Germany Email addres...

    work page 1955