Algebraic subgroups of the group of birational transformations of ruled surfaces

Pascal Fong

arxiv: 2111.09697 · v6 · submitted 2021-11-18 · 🧮 math.AG

Algebraic subgroups of the group of birational transformations of ruled surfaces

Pascal Fong This is my paper

Pith reviewed 2026-05-24 13:15 UTC · model grok-4.3

classification 🧮 math.AG

keywords birational transformationsalgebraic subgroupsruled surfacesmaximal subgroupsBir(C x P1)projective curvesbirational geometry

0 comments

The pith

The paper classifies all maximal algebraic subgroups of Bir(C × ℙ¹) for smooth projective curves C of positive genus.

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

The paper sets out to classify the maximal algebraic subgroups inside the group Bir(C × ℙ¹) of birational transformations of the ruled surface over a curve of positive genus. This classification is possible because the positive genus restricts extra automorphisms that would appear for genus zero. A sympathetic reader would care because the birational group is otherwise very large, and identifying its largest algebraic subgroups gives a concrete handle on the algebraic symmetries present in these surfaces. The result follows from analyzing the geometry of the ruled surface C × ℙ¹ itself.

Core claim

We classify the maximal algebraic subgroups of Bir(C×ℙ¹), when C is a smooth projective curve of positive genus.

What carries the argument

The group Bir(C × ℙ¹) of birational transformations of the ruled surface C × ℙ¹, whose maximal algebraic subgroups are identified through the geometry of the surface.

If this is right

All maximal algebraic subgroups of Bir(C × ℙ¹) fall into the classified families.
These subgroups account for every algebraic action on the ruled surface that cannot be enlarged further while remaining algebraic.
The classification is specific to positive genus and does not apply when the base curve has genus zero.

Where Pith is reading between the lines

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

The same geometric approach might be tested on ruled surfaces over curves in other characteristics.
The result could inform the study of algebraic subgroups in birational groups of higher-dimensional varieties with similar fibrations.

Load-bearing premise

The base curve C has positive genus, which restricts possible automorphisms and enables the classification via the geometry of the ruled surface.

What would settle it

A concrete counterexample would be an algebraic subgroup of Bir(C × ℙ¹) for some positive-genus curve C that is maximal yet missing from the listed families in the classification.

read the original abstract

We classify the maximal algebraic subgroups of Bir(CxPP^1), when C is a smooth projective curve of positive genus.

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.

Desk Editor's Note private letter to a colleague

Classification of maximal algebraic subgroups of Bir(C×ℙ¹) for g>0 is the core result, but the elliptic case needs explicit handling to avoid missing the translation subgroup.

read the letter

The paper gives a classification of the maximal algebraic subgroups inside Bir(C × ℙ¹) when C is a smooth projective curve of genus at least 1. That is the main new piece: it pins down the possible maximal ones for these ruled surfaces rather than leaving the question open or reducing it to the rational case. The work sits in the standard line of results on algebraic subgroups of birational groups, and it benefits from the fact that positive genus limits the possible automorphisms compared with genus zero. The proofs appear to rely on the geometry of the ruled surface and known facts about its automorphism group, which is a reasonable approach. The citation pattern looks typical for the area and does not raise red flags. The soft spot is the one flagged in the stress-test note. When g=1 the curve carries a group law, so translations act algebraically on the first factor and produce a subgroup isomorphic to C inside Bir(C × ℙ¹). A uniform argument for all g>0 that does not isolate or absorb this action risks leaving the list of maximal subgroups incomplete. The abstract does not signal special treatment for genus 1, so the concern stands until the full argument is checked. This paper is aimed at people who work on birational automorphism groups of surfaces and on algebraic subgroups of Cremona groups. A reader who already knows the literature on ruled surfaces and their birational maps will get the most out of it. It is concrete enough and formally grounded enough to deserve referee time rather than a desk rejection.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to classify the maximal algebraic subgroups of Bir(C × ℙ¹) for any smooth projective curve C of positive genus.

Significance. If correct and complete, the classification would describe the algebraic group actions on ruled surfaces over positive-genus bases, a setting where the geometry of C restricts some automorphisms relative to the rational ruled case. No machine-checked proofs or parameter-free derivations are indicated in the provided text.

major comments (1)

[Abstract] Abstract (and main theorem statement): the classification is stated uniformly for all g > 0, yet when g = 1 the elliptic curve C acts algebraically on the first factor of C × ℙ¹ by translations, yielding a subgroup isomorphic to C inside Bir(C × ℙ¹). Any list of maximal algebraic subgroups must either contain this action or prove it is properly contained in one of the listed groups; the abstract supplies no indication that this case is handled separately or subsumed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for explicit clarification regarding the genus-1 case. We address the comment below and will update the abstract and introduction to make the handling of this case transparent.

read point-by-point responses

Referee: [Abstract] Abstract (and main theorem statement): the classification is stated uniformly for all g > 0, yet when g = 1 the elliptic curve C acts algebraically on the first factor of C × ℙ¹ by translations, yielding a subgroup isomorphic to C inside Bir(C × ℙ¹). Any list of maximal algebraic subgroups must either contain this action or prove it is properly contained in one of the listed groups; the abstract supplies no indication that this case is handled separately or subsumed.

Authors: We agree that the abstract does not explicitly flag the genus-1 case. In the body of the paper the main classification theorem (Theorem 1.1) treats g = 1 uniformly with the higher-genus cases; the translation action of C on the first factor is shown to be properly contained in a larger algebraic subgroup that appears on the list of maximal groups (specifically, it is contained in the normalizer of the action of the elliptic curve inside the group of automorphisms preserving the ruling). The proof proceeds by first handling the possible algebraic actions on the base curve C and then lifting them to the ruled surface, with the g = 1 translation action arising as a proper subgroup of one of the maximal groups already enumerated. We will revise the abstract to state that the classification is uniform for all g > 0 and that the g = 1 translation action is subsumed in the listed maximal groups. revision: yes

Circularity Check

0 steps flagged

No circularity: pure classification theorem with no fitted inputs or self-referential reductions

full rationale

The paper is a classification result in algebraic geometry: it states a theorem classifying maximal algebraic subgroups of Bir(C × ℙ¹) for smooth projective curves C of genus g > 0. The provided abstract and context contain no equations, parameters, predictions, or derivations that reduce to their own inputs by construction. No self-citations are invoked as load-bearing uniqueness theorems, no ansatzes are smuggled, and no empirical patterns are renamed. The skeptic note concerns a potential omission for g=1 (correctness risk) but does not identify any definitional or fitted-input circularity. The derivation is therefore self-contained as a mathematical argument.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no information on free parameters, axioms, or invented entities can be extracted.

pith-pipeline@v0.9.0 · 5519 in / 860 out tokens · 23931 ms · 2026-05-24T13:15:43.914242+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · 1 internal anchor

[1]

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

work page 1957
[2]

Linearisation of finite abelian subgroups of the C remona group of the plane

J\' e r\' e my Blanc. Linearisation of finite abelian subgroups of the C remona group of the plane. Groups Geom. Dyn. , 3(2):215--266, 2009

work page 2009
[3]

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
[4]

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

work page 2017
[5]

On models of algebraic group actions, 2022

Michel Brion. On models of algebraic group actions, 2022. Text available on https://arxiv.org/abs/2202.04352

work page arXiv 2022
[6]

Enriques

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

work page
[7]

Connected algebraic groups acting on algebraic surfaces, 2021

Pascal Fong. Connected algebraic groups acting on algebraic surfaces, 2021. Text available on https://arxiv.org/abs/2004.05101

work page arXiv 2021
[8]

Algebraic geometry

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

work page 1977
[9]

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
[10]

Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics

J\' a nos Koll\' a r and Shigefumi Mori. Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original

work page 1998
[11]

Regularization of Rational Group Actions

Hanspeter Kraft. Regularization of Rational Group Actions . arXiv e-prints , page arXiv:1808.08729, Aug 2018

work page internal anchor Pith review Pith/arXiv arXiv 2018
[12]

Desingularization of two-dimensional schemes

Joseph Lipman. Desingularization of two-dimensional schemes. Ann. Math. (2) , 107(1):151--207, 1978

work page 1978
[13]

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
[14]

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
[15]

Representability of group functors, and automorphisms of algebraic schemes

Hideyuki Matsumura and Frans Oort. Representability of group functors, and automorphisms of algebraic schemes. Invent. Math. , 4:1--25, 1967

work page 1967
[16]

Corps locaux

Jean-Pierre Serre. Corps locaux . Publications de l'Universit\' e de Nancago, No. VIII. Hermann, Paris, 1968. Deuxi\`eme \' e dition

work page 1968
[17]

Equivariant completion

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

work page 1974
[18]

Equivariant completion

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

work page 1975
[19]

On algebraic groups of transformations

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

work page 1955
[20]

Regularization of birational group operations in the sense of W eil

Dmitri Zaitsev. Regularization of birational group operations in the sense of W eil. J. Lie Theory , 5(2):207--224, 1995

work page 1995

[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]

Linearisation of finite abelian subgroups of the C remona group of the plane

J\' e r\' e my Blanc. Linearisation of finite abelian subgroups of the C remona group of the plane. Groups Geom. Dyn. , 3(2):215--266, 2009

work page 2009

[3] [3]

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

[4] [4]

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

work page 2017

[5] [5]

On models of algebraic group actions, 2022

Michel Brion. On models of algebraic group actions, 2022. Text available on https://arxiv.org/abs/2202.04352

work page arXiv 2022

[6] [6]

Enriques

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

work page

[7] [7]

Connected algebraic groups acting on algebraic surfaces, 2021

Pascal Fong. Connected algebraic groups acting on algebraic surfaces, 2021. Text available on https://arxiv.org/abs/2004.05101

work page arXiv 2021

[8] [8]

Algebraic geometry

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

work page 1977

[9] [9]

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

[10] [10]

Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics

J\' a nos Koll\' a r and Shigefumi Mori. Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original

work page 1998

[11] [11]

Regularization of Rational Group Actions

Hanspeter Kraft. Regularization of Rational Group Actions . arXiv e-prints , page arXiv:1808.08729, Aug 2018

work page internal anchor Pith review Pith/arXiv arXiv 2018

[12] [12]

Desingularization of two-dimensional schemes

Joseph Lipman. Desingularization of two-dimensional schemes. Ann. Math. (2) , 107(1):151--207, 1978

work page 1978

[13] [13]

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

[14] [14]

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

[15] [15]

Representability of group functors, and automorphisms of algebraic schemes

Hideyuki Matsumura and Frans Oort. Representability of group functors, and automorphisms of algebraic schemes. Invent. Math. , 4:1--25, 1967

work page 1967

[16] [16]

Corps locaux

Jean-Pierre Serre. Corps locaux . Publications de l'Universit\' e de Nancago, No. VIII. Hermann, Paris, 1968. Deuxi\`eme \' e dition

work page 1968

[17] [17]

Equivariant completion

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

work page 1974

[18] [18]

Equivariant completion

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

work page 1975

[19] [19]

On algebraic groups of transformations

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

work page 1955

[20] [20]

Regularization of birational group operations in the sense of W eil

Dmitri Zaitsev. Regularization of birational group operations in the sense of W eil. J. Lie Theory , 5(2):207--224, 1995

work page 1995