pith. sign in

arxiv: 2310.19597 · v5 · pith:7J4KOC6Dnew · submitted 2023-10-30 · 🧮 math.AG

Automorphism groups of mathbb{P}¹-bundles over geometrically ruled surfaces

Pascal Fong This is my paper

Pith reviewed 2026-05-24 06:16 UTC · model grok-4.3

classification 🧮 math.AG
keywords automorphism groupsP1-bundlesgeometrically ruled surfacesbirational mapsalgebraic surfaces
0
0 comments X

The pith

The classification of P¹-bundles over non-rational geometrically ruled surfaces with relatively maximal automorphism groups is completed.

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

This paper classifies the pairs (X, π) consisting of a P¹-bundle π: X → S over a non-rational geometrically ruled surface S such that the connected component of the automorphism group of X is maximal with respect to inclusion in the group of birational maps of X over S. The work is done in the setting of algebraically closed fields of characteristic zero. A reader would care because it pins down the largest possible groups of automorphisms that respect the bundle structure, clarifying the birational geometry of these surfaces.

Core claim

We classify the pairs (X,π), where π∶X→S is a P¹-bundle over a non-rational geometrically ruled surface S and Aut°(X) is relatively maximal, i.e., maximal with respect to the inclusion in the group Bir(X/S). The results hold over any algebraically closed field of characteristic zero.

What carries the argument

The notion of relative maximality of Aut°(X) inside Bir(X/S) for a P¹-bundle π over S.

If this is right

  • Such pairs (X,π) are completely listed by the classification.
  • The classification applies uniformly over any algebraically closed field of characteristic zero.
  • Aut°(X) controls the structure of Bir(X/S) for the listed bundles.

Where Pith is reading between the lines

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

  • The classification technique may extend to cases where the base is rational if the non-rational hypothesis is removed.
  • Results could connect to the structure of automorphism groups for fibrations in higher dimensions.

Load-bearing premise

The base surface S is non-rational and geometrically ruled.

What would settle it

Discovery of a P¹-bundle over a non-rational geometrically ruled surface S for which Aut°(X) is relatively maximal but not appearing in the classification would falsify the result.

read the original abstract

We classify the pairs $(X,\pi)$, where $\pi\colon X\to S$ is a $\mathbb{P}^1$-bundle over a non-rational geometrically ruled surface $S$ and $\mathrm{Aut}^\circ(X)$ is relatively maximal, i.e., maximal with respect to the inclusion in the group $\mathrm{Bir}(X/S)$. The 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

0 major / 3 minor

Summary. The paper classifies pairs (X, π) where π: X → S is a ℙ¹-bundle over a non-rational geometrically ruled surface S such that Aut°(X) is relatively maximal inside Bir(X/S), i.e., maximal with respect to inclusion in the group of birational automorphisms over S. The results are stated over any algebraically closed field of characteristic zero and rely on the standard toolkit of birational geometry including minimal models and relative Picard groups.

Significance. If the classification is complete, the work provides an explicit list of the relatively maximal cases for automorphism groups of ℙ¹-bundles over non-rational ruled surfaces. This contributes a concrete reference point in the study of automorphism groups of ruled threefolds and fibrations, extending known results on rational bases to the non-rational setting while remaining within the standard framework of characteristic-zero birational geometry.

minor comments (3)
  1. §1: The definition of 'geometrically ruled surface' and the precise meaning of 'relatively maximal' with respect to Bir(X/S) should be recalled or referenced explicitly at the beginning of the introduction for readers outside the immediate subfield.
  2. Theorem 1.1 (or the main classification statement): the list of cases would benefit from a table summarizing the possible (X, π) up to isomorphism, including the base curve genus and the numerical invariants of the bundle, to improve readability of the classification.
  3. §3 or §4 (depending on where the case analysis appears): when treating the case of elliptic bases, the argument that no further automorphisms arise from the relative Picard group should cite the precise vanishing or finiteness result used.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. The report contains no specific major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No circularity: standard classification in birational geometry

full rationale

The paper is a classification theorem for pairs (X, π) consisting of a P¹-bundle over a non-rational geometrically ruled surface S with Aut°(X) relatively maximal inside Bir(X/S), stated over algebraically closed fields of characteristic zero. It invokes the standard toolkit of birational geometry (minimal models, relative Picard groups, automorphism groups of ruled surfaces) without presenting any equations, fitted parameters, predictions, or derivations that reduce to self-definitions or self-citations. No load-bearing step is shown to be equivalent to its inputs by construction, and the result is self-contained against external benchmarks in algebraic geometry. This is the expected outcome for a pure classification result with no internal circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; the result rests on standard assumptions of algebraic geometry over algebraically closed fields of char 0 and properties of ruled surfaces and birational maps.

axioms (1)
  • domain assumption The base field is algebraically closed of characteristic zero.
    Explicitly stated in the abstract as the setting for the results.

pith-pipeline@v0.9.0 · 5581 in / 1037 out tokens · 22245 ms · 2026-05-24T06:16:56.331333+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]

    M. F. Atiyah. Vector bundles over an elliptic curve. Proc. London Math. Soc. (3) , 7:414--452, 1957

    work page 1957

  2. [2]

    Automorphisms of P^1 -bundles over rational surfaces

    J\' e r\' e my Blanc, Andrea Fanelli, and Ronan Terpereau. Automorphisms of P^1 -bundles over rational surfaces. \' E pijournal G\' e om. Alg\' e brique , 6:Art. 23, 47, 2022

    work page 2022

  3. [3]

    Connected algebraic groups acting on three-dimensional M ori fibrations

    J\' e r\' e my Blanc, Andrea Fanelli, and Ronan Terpereau. Connected algebraic groups acting on three-dimensional M ori fibrations. Int. Math. Res. Not. IMRN , (2):1572--1689, 2023

    work page 2023

  4. [4]

    Finite abelian subgroups of the Cremona group of the plane

    J \'e r \'e my Blanc. Finite abelian subgroups of the Cremona group of the plane . Gen \`e ve: Univ. de Gen \`e ve, Facult \'e des Sciences (Dissertation), 2006

    work page 2006

  5. [5]

    Sous-groupes alg\' e briques du groupe de C remona

    J\' e r\' e my Blanc. Sous-groupes alg\' e briques du groupe de C remona. Transform. Groups , 14(2):249--285, 2009

    work page 2009

  6. [6]

    Linear algebraic groups , volume 126 of Graduate Texts in Mathematics

    Armand Borel. Linear algebraic groups , volume 126 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1991

    work page 1991

  7. [7]

    M. Brion. Algebraic group actions on normal varieties. Trans. Moscow Math. Soc. , 78:85--107, 2017

    work page 2017

  8. [8]

    Some structure theorems for algebraic groups

    Michel Brion. Some structure theorems for algebraic groups. In Algebraic groups: structure and actions. 2015 Clifford lectures on algebraic groups: structures and actions, Tulane University, New Orleans, LA, USA, March 2--5, 2015. Proceedings , pages 53--126. Providence, RI: American Mathematical Society (AMS), 2017

    work page 2015

  9. [9]

    M. Brion. Notes on automorphism groups of projective varieties, 2019. Text available on http://www-fourier.univ-grenoble-alpes.fr/ mbrion/autos_final.pdf

    work page 2019

  10. [10]

    Eric Brosius

    J. Eric Brosius. Rank- 2 vector bundles on a ruled surface. I . Math. Ann. , 265(2):155--168, 1983

    work page 1983

  11. [11]

    Michel Brion, Preena Samuel, and V. Uma. Lectures on the structure of algebraic groups and geometric applications , volume 1 of CMI Lecture Series in Mathematics . Hindustan Book Agency, New Delhi; Chennai Mathematical Institute (CMI), Chennai, 2013

    work page 2013

  12. [12]

    Tatiana Bandman and Yuri G. Zarhin. Jordan groups, conic bundles and abelian varieties. Algebr. Geom. , 4(2):229--246, 2017

    work page 2017

  13. [13]

    Tatiana Bandman and Yuri G. Zarhin. Automorphism groups of \( P ^1\) -bundles over a non-uniruled base. Russ. Math. Surv. , 78(1):1--64, 2023

    work page 2023

  14. [14]

    Birational involutions of the real projective plane, 2022

    Ivan Cheltsov, Frédéric Mangolte, Egor Yasinsky, and Susanna Zimmermann. Birational involutions of the real projective plane, 2022

    work page 2022

  15. [15]

    Factoring birational maps of threefolds after Sarkisov

    Alessio Corti. Factoring birational maps of threefolds after Sarkisov . Appendix : Surfaces over nonclosed fields. J. Algebr. Geom. , 4(2):223--254, appendix 248--254, 1995

    work page 1995

  16. [16]

    Cremona groups and the icosahedron

    Ivan Cheltsov and Constantin Shramov. Cremona groups and the icosahedron . Monogr. Res. Notes Math. Boca Raton, FL: CRC Press, 2016

    work page 2016

  17. [17]

    Finite collineation groups and birational rigidity

    Ivan Cheltsov and Constantin Shramov. Finite collineation groups and birational rigidity. Sel. Math., New Ser. , 25(5):68, 2019. Id/No 71

    work page 2019

  18. [18]

    Higher-dimensional algebraic geometry

    Olivier Debarre. Higher-dimensional algebraic geometry . Universitext. New York, NY: Springer, 2001

    work page 2001

  19. [19]

    Sous-groupes alg\' e briques de rang maximum du groupe de C remona

    Michel Demazure. Sous-groupes alg\' e briques de rang maximum du groupe de C remona. Ann. Sci. \' E cole Norm. Sup. (4) , 3:507--588, 1970

    work page 1970

  20. [20]

    Dolgachev and Vasily A

    Igor V. Dolgachev and Vasily A. Iskovskikh. Finite subgroups of the plane C remona group. In Algebra, arithmetic, and geometry: in honor of Y u. I . M anin. V ol. I , volume 269 of Progr. Math. , pages 443--548. Birkh\" a user Boston, Boston, MA, 2009

    work page 2009

  21. [21]

    Enriques and G

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

    work page

  22. [22]

    Enriques

    F. Enriques . Sui gruppi continui di trasformazioni cremoniane nel piano. Rom. Acc. L. Rend. (5) , 2(1):468--473, 1893

    work page

  23. [23]

    Maximal subgroups in the cremona group, 2023

    Andrea Fanelli, Enrica Floris, and Susanna Zimmermann. Maximal subgroups in the cremona group, 2023

    work page 2023

  24. [24]

    A note on the G - S arkisov program

    Enrica Floris. A note on the G - S arkisov program. Enseign. Math. , 66(1-2):83--92, 2020

    work page 2020

  25. [25]

    Connected algebraic groups acting on algebraic surfaces, 2021

    Pascal Fong. Connected algebraic groups acting on algebraic surfaces, 2021

    work page 2021

  26. [26]

    Algebraic subgroups of the group of birational transformations of ruled surfaces

    Pascal Fong. Algebraic subgroups of the group of birational transformations of ruled surfaces. \'E pijournal de G \'e om. Alg \'e br., EPIGA , 7:22, 2023. Id/No 13

    work page 2023

  27. [27]

    Connected algebraic subgroups of groups of birational transformations not contained in a maximal one

    Pascal Fong and Sokratis Zikas. Connected algebraic subgroups of groups of birational transformations not contained in a maximal one. C. R. Math. Acad. Sci. Paris , 361:313--322, 2023

    work page 2023

  28. [28]

    Grothendieck

    A. Grothendieck. G \'e om \'e trie formelle et g \'e om \'e trie alg \'e brique. ( Formal geometry and algebraic geometry). Sem. Bourbaki 11 (1958/59), No . 182, 28 p. (1959)., 1959

    work page 1958

  29. [29]

    Algebraic geometry

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

    work page 1977

  30. [30]

    Michiel Hazewinkel and Clyde F. Martin. A short elementary proof of G rothendieck's theorem on algebraic vectorbundles over the projective line. J. Pure Appl. Algebra , 25(2):207--211, 1982

    work page 1982

  31. [31]

    Hacon and James Mckernan

    Christopher D. Hacon and James Mckernan. On S hokurov's rational connectedness conjecture. Duke Math. J. , 138(1):119--136, 2007

    work page 2007

  32. [32]

    Hacon and James McKernan

    Christopher D. Hacon and James McKernan. The S arkisov program. J. Algebraic Geom. , 22(2):389--405, 2013

    work page 2013

  33. [33]

    V. A. Iskovskikh and Yu. G. Prokhorov. Fano varieties. In Algebraic geometry V: Fano varieties. Transl. from the Russian by Yu. G. Prokhorov and S. Tregub , pages 1--245. Berlin: Springer, 1999

    work page 1999

  34. [34]

    Automorphisms of unstable p ^1 -bundles, 2024

    János Kollár. Automorphisms of unstable p ^1 -bundles, 2024

    work page 2024

  35. [35]

    On classification of ruled surfaces , volume 3 of Lectures in Mathematics, Department of Mathematics, Kyoto University

    Masaki Maruyama. On classification of ruled surfaces , volume 3 of Lectures in Mathematics, Department of Mathematics, Kyoto University . Kinokuniya Book-Store Co., Ltd., Tokyo, 1970

    work page 1970

  36. [36]

    On automorphism groups of ruled surfaces

    Masaki Maruyama. On automorphism groups of ruled surfaces. J. Math. Kyoto Univ. , 11:89--112, 1971

    work page 1971

  37. [37]

    Simple finite subgroups of the Cremona group of rank 3

    Yuri Prokhorov. Simple finite subgroups of the Cremona group of rank 3. J. Algebr. Geom. , 21(3):563--600, 2012

    work page 2012

  38. [38]

    Yu. G. Prokhorov. On birational involutions of \( P^3\) . Izv. Math. , 77(3):627--648, 2013

    work page 2013

  39. [39]

    Jordan property for groups of birational selfmaps

    Yuri Prokhorov and Constantin Shramov. Jordan property for groups of birational selfmaps. Compos. Math. , 150(12):2054--2072, 2014

    work page 2054

  40. [40]

    Jordan property for Cremona groups

    Yuri Prokhorov and Constantin Shramov. Jordan property for Cremona groups. Am. J. Math. , 138(2):403--418, 2016

    work page 2016

  41. [41]

    Projective modules over polynomial rings

    Daniel Quillen. Projective modules over polynomial rings. Invent. Math. , 36:167--171, 1976

    work page 1976

  42. [42]

    Infinite algebraic subgroups of the real C remona group

    Maria Fernanda Robayo and Susanna Zimmermann. Infinite algebraic subgroups of the real C remona group. Osaka J. Math. , 55(4):681--712, 2018

    work page 2018

  43. [43]

    Groupes alg \'e briques et corps de classes

    Jean-Pierre Serre. Groupes alg \'e briques et corps de classes. 2e \'e d. revue et corrig \'e e. Actualit \'e s Scientifiques et Industrielles . 1264. Publications de l' Institut de Math \'e matique de l' Universit \'e de Nancago . VII . Paris : Hermann . 204 p. F 44.00 (1975)., 1975

    work page 1975

  44. [44]

    Equivariant completion

    Hideyasu Sumihiro. Equivariant completion. J. Math. Kyoto Univ. , 14:1--28, 1974

    work page 1974

  45. [45]

    Equivariant completion

    Hideyasu Sumihiro. Equivariant completion. II . J. Math. Kyoto Univ. , 15(3):573--605, 1975

    work page 1975

  46. [46]

    Algebraic subgroups of the plane C remona group over a perfect field

    Julia Schneider and Susanna Zimmermann. Algebraic subgroups of the plane C remona group over a perfect field. \' E pijournal G\' e om. Alg\' e brique , 5:Art. 14, 48, 2021

    work page 2021

  47. [47]

    Sur les sous-groupes alg\' e briques primitifs du groupe de C remona \`a trois variables

    Hiroshi Umemura. Sur les sous-groupes alg\' e briques primitifs du groupe de C remona \`a trois variables. Nagoya Math. J. , 79:47--67, 1980

    work page 1980

  48. [48]

    Maximal algebraic subgroups of the C remona group of three variables

    Hiroshi Umemura. Maximal algebraic subgroups of the C remona group of three variables. I mprimitive algebraic subgroups of exceptional type. Nagoya Math. J. , 87:59--78, 1982

    work page 1982

  49. [49]

    On the maximal connected algebraic subgroups of the C remona group

    Hiroshi Umemura. On the maximal connected algebraic subgroups of the C remona group. I . Nagoya Math. J. , 88:213--246, 1982

    work page 1982

  50. [50]

    On the maximal connected algebraic subgroups of the C remona group

    Hiroshi Umemura. On the maximal connected algebraic subgroups of the C remona group. II . In Algebraic groups and related topics ( K yoto/ N agoya, 1983) , volume 6 of Adv. Stud. Pure Math. , pages 349--436. North-Holland, Amsterdam, 1985

    work page 1983

  51. [51]

    On algebraic groups of transformations

    Andr\' e Weil. On algebraic groups of transformations. Amer. J. Math. , 77:355--391, 1955

    work page 1955

  52. [52]

    Automorphisms of real del P ezzo surfaces and the real plane C remona group

    Egor Yasinsky. Automorphisms of real del P ezzo surfaces and the real plane C remona group. Ann. Inst. Fourier (Grenoble) , 72(2):831--899, 2022

    work page 2022