REVIEW 2 major objections 4 minor 1 cited by
Linearization problem for finite subgroups of the plane Cremona group
T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read A finite subgroup of the plane Cremona group is linearizable exactly when its minimal model appears on a short explicit list.
desk verdict A complete-looking solution to the linearization problem for finite subgroups of Cr2(k); the main theorem is very likely correct, but two key converse arguments are only implicit. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the equivariant Sarkisov program in dimension 2: every $G$-birational map between $G$-Mori fibre spaces decomposes into Sarkisov $G$-links of types I, II, III, and IV, each a blow-up followed by a contraction. The paper combines this with orbit-length arithmetic on $\mathbb{P}^1$ (Klein's classification) and on $\mathbb{P}^1 \times \mathbb{P}^1$ (Goursat fibre products) to decide which chains of links can reach $\mathbb{P}^2$, and with explicit $G$-elementary transformations on Hirzebruch surfaces to construct linearizations when possible. The Euclidean algorithm in Proposition 6.19 is the constructive core for the dihedral fibre-product cases.
What would settle it
Test the converse of Theorem 6.1 directly: take a $G$-conic bundle $F_n$ with $n$ even whose base action has orbit lengths with greatest common divisor 1 but is neither cyclic nor dihedral of odd order (for instance a base image isomorphic to $A_4$), and search for a chain of $G$-elementary transformations to $F_1$; the theorem predicts none exists, so producing one would refute the Main Theorem.
Extended reading notes
Core claim
The central claim is the Main Theorem. Let $k$ be algebraically closed of characteristic zero and let $G \subset \mathrm{Cr}_2(k)$ be finite. Choose a regularization of $G$ on a two-dimensional $G$-Mori fibre space $S$ over the base $B$. Then $G$ is linearizable if and only if $(S,G)$ is one of the following: a $G$-conic bundle over $B \simeq \mathbb{P}^1$ with $K_S^2 = 8$, namely a Hirzebruch surface $F_n$ with $n$ odd (any $G$), or $F_n$ with $n>0$ even where $G$ acts on $B$ cyclically or as $D_{2m+1}$, or the quadric $F_0 \simeq \mathbb{P}^1 \times \mathbb{P}^1$ with $G$ equal to $C_n \times_Q C_m$, $C_n \times_Q D_{2m+1}$, or a dihedral $D_{2n+1} \times_Q D_{2m+1}$; or a $G$-del Pezzo surface, namely the quintic with $C_5$ or $D_5$, the sextic with $C_6$ or $S_3$, the quadric $\mathbb{P}^1 \times \mathbb{P}^1$ with $(C_n \times_Q C_n)\bullet C_2$, or $\mathbb{P}^2$ with Blichfeldt's list. Here $\times_Q$ denotes a fibre product over a common quotient and $\bullet$ denotes an extension. The list is both necessary and sufficient, so every finite subgroup not represented by one of these models is non-linearizable.
Load-bearing premise
The load-bearing premise is that the classification of equivariant Sarkisov links in dimension 2 is exhaustive, so that every $G$-birational map from a $G$-Mori fibre space to $\mathbb{P}^2$ decomposes into links of types I, II, III, and IV.
Editorial extensions
If this is right
- The linearization problem for the plane Cremona group is completely solved in the stated setting.
- Every finite subgroup whose minimal model is a $G$-conic bundle with $K^2 \in \{1,2,4\}$ is non-linearizable; the only linearizable conic bundles in the list have $K^2 = 8$.
- On del Pezzo surfaces of degrees 5 and 6, only the listed cyclic and small symmetric or dihedral groups are linearizable; the $D_6$-action on the sextic is not linearizable.
- Linearizability can be decided by computing a regularization, running the $G$-minimal model program, and comparing the resulting model with the list.
- Stable linearizability is genuinely weaker than linearizability in dimension 2: the $D_6$-action on the sextic is stably linearizable but not linearizable.
Reading between the lines
- One testable extension is to automate the criterion: given generators of a finite subgroup of $\mathrm{Cr}_2(k)$, a computer algebra system could compute the $G$-Mori fibre space and check membership in the list; the paper does not provide such an implementation.
- The Euclidean-algorithm step used for dihedral fibre products is constructive, so the birational maps it produces could be assembled into explicit conjugating transformations for the linearizable cases.
- Over non-closed fields such as $\mathbb{R}$ or $\mathbb{Q}$, the list is not expected to survive unchanged: the orbit-counting arguments rely on algebraic closure, and fixed-curve rigidity is already known to behave differently over $\mathbb{R}$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a complete classification of linearizable finite subgroups of the plane Cremona group over an algebraically closed field of characteristic zero. The Main Theorem states that a finite group G ⊂ Cr2(k) is linearizable if and only if a regularization on a G-Mori fibre space is one of the following: a G-conic bundle over P1 of a specified Hirzebruch-surface or quadric type, or a G-del Pezzo surface of degree 5, 6, 8, or 9 with the specified group actions (including Blichfeldt's list for P2). The proof uses the equivariant Sarkisov program, reduces to G-del Pezzo surfaces of degree at least 4 and to conic bundles with no singular fibres, and then analyzes each case. The paper also contains a self-contained classification of finite subgroups of Aut(P1 × P1) with supporting Magma code.
Significance. If the Main Theorem is fully established, this is a major result: it solves a long-standing open problem and provides a complete, explicit list of linearizable finite subgroups of Cr2(k). The systematic use of the equivariant Sarkisov program, together with the detailed group-theoretic case analysis, is appropriate and the paper is clearly a substantial contribution to the field. The authors provide reproducible Magma code for the quadric-automorphism classification, and the overall strategy of reduction to K2 ≥ 4 del Pezzo surfaces and to no-singular-fibre conic bundles is sound. The main caveats are two places where the text states or relies on load-bearing implications without giving the full verification: the converse direction of Theorem 6.1 and the 'crucial observation' in Section 6.3. These are fixable but are necessary for the claimed completeness.
major comments (2)
- [§6.1, Theorem 6.1] Theorem 6.1 is stated as an if-and-only-if, but the proof in §6.1 establishes only the sufficiency direction: Corollary 6.8 covers cyclic and odd-dihedral base actions, and Corollary 6.9 covers odd n. The necessity direction — that for even n with \hat G neither cyclic nor isomorphic to D_{2m+1}, the G-conic bundle F_n is not G-birational to F1 or P2 — is never written. This is load-bearing for the first two rows of the Main Theorem. Please add a proof of this necessity, or state and justify a reduction to the rank-2 quadric classification (Theorem 6.14) and explain how the hypotheses of that theorem apply.
- [§6.3, 'crucial observation'] The paragraph after Proposition 5.2 in Section 6.3 asserts that for a rank-2 quadric S = F0, G is linearizable if and only if there is a sequence of G-elementary transformations and type IV links from F0 to F1 followed by a type III contraction, and that this follows from [DI09, Propositions 7.12, 7.13]. No derivation is given. This observation is the starting point of Theorem 6.14 and therefore underlies the rank-2 quadric rows of the Main Theorem. Please provide the missing verification, in particular explaining why no other Sarkisov link types (e.g., type I or type II links centred at orbits of length 1, 2, 3, or 5) can occur or are already accounted for in the stated chain.
minor comments (4)
- [§6.2, Proposition 6.13] In the case |Σ| = 2, the sentence 'the points E2 ∩ E3 and E5 ∩ E6 are unique G-fixed points on T' and the later conclusion about T' are somewhat compressed; a short explanation of why no other G-fixed points appear after elementary transformations would improve readability.
- [§6.2, Lemma 6.17] The phrase 'the lengths of the orbits is preserved under G-fibrewise transformations' is not literally true for orbits on the total space; what is preserved is the length of the induced orbit on the base P1. The parity argument in the lemma is convincing once this is clarified, but the wording should be corrected.
- [Main Theorem, table] In the table row for the quadric F0, the entry 'D_{2n+1} ×Q D_{2m+1} is dihedral' uses n,m without explicitly stating the range; Section 6.3 uses n,m ≥ 3, but the table would benefit from restating this condition.
- [Section 5, Theorem 5.6] The table entries labelled 'No id' could confuse readers; it would be helpful to state explicitly that these families are infinite and therefore have no single GAP ID.
Circularity Check
No significant circularity: the derivation is largely self-contained; the few overlapping-author citations are imported auxiliary lemmas, not the target conclusion.
full rationale
The Main Theorem is derived from the equivariant Sarkisov program rather than from its own statement. Sufficiency directions are constructive, using explicit G-birational maps to P2 or F1 (Corollaries 6.8 and 6.9, Proposition 6.19), and necessity directions are exclusion arguments based on orbit-length arithmetic and the external classification of Sarkisov links due to Iskovskikh and Dolgachev--Iskovskikh ([Isk96], [DI09]). No parameter is fitted, no prediction is defined in terms of the target, and the linearizability list is not used as an input to itself. The only overlapping-author citations are Lemma 4.14 from [Yas24] and Lemma 4.16 from [Pin24b]; these describe automorphism-group structures of degree-6 del Pezzo surfaces, which is not the linearization statement, and Lemma 4.16 is accompanied by a direct proof in the text. They support the degree-6 row of the Main Theorem but do not by themselves establish it, so this is legitimate importation of prior work rather than circularity. The paper does contain gaps that a referee should weigh as correctness risks: Section 6.3's 'crucial observation' is asserted to follow from [DI09, Propositions 7.12, 7.13] without verification, and the necessity direction of Theorem 6.1 is not written out, requiring an implicit reduction to F0 and the rank-2 classification. These are omissions or reliance on external completeness, not circular reductions: the cited classification is external, and the omitted converse does not assume the Main Theorem. Accordingly, no circular step is identified.
Assumptions & free parameters
assumptions (7)
- standard math Finite subgroups of PGL2(k) are classified by Klein's list: Cn, Dn, A4, S4, A5, each with one conjugacy class (Proposition 3.2).
- standard math Blichfeldt's classification of finite subgroups of PGL3(k): six primitive types plus intransitive and imprimitive families (Section 3.2).
- domain assumption The equivariant Sarkisov program: every G-birational map between G-Mori fibre spaces decomposes into G-links of types I-IV, with Iskovskikh's complete classification of links in dimension 2 ([Isk96, Theorem 2.6], [DI09, Propositions 7.12, 7.13]).
- standard math Manin-Segre rigidity: G-del Pezzo surfaces with K^2 ≤ 3 are G-birationally rigid, and K^2 = 1 is superrigid (Theorem 2.3); G-conic bundles with K^2 ≤ 0 are G-birationally superrigid (Theorem 2.4).
- domain assumption Dolgachev-Iskovskikh classification of finite subgroups of Cr2(k) and the correspondence between conjugacy classes and G-birational equivalence classes of G-Mori fibre spaces ([DI09]).
- domain assumption For the quintic del Pezzo surface, A5 and S5 are G-birationally superrigid ([Che08, Example 6.3], [Che14, Theorem B.10]); for the sextic del Pezzo surface, the groups C6, S3, D6 and torus extensions are classified by [Yas24] and [Pin24b] (self-citations).
- domain assumption Linearizability of a G-action on F0 is equivalent to the existence of a sequence of G-elementary transformations and type IV links from F0 to F1, followed by the blow-down of the unique (-1)-curve ([DI09, Propositions 7.12, 7.13]).
Cite this review
Pith. "Pith review of Linearization problem for finite subgroups of the plane Cremona group." pith.science (2026). https://pith.science/paper/AGULDHTY
@misc{pith2026241212022,
author = {Pith},
title = {Pith review of: Linearization problem for finite subgroups of the plane Cremona group},
year = {2026},
howpublished = {\url{https://pith.science/paper/AGULDHTY}},
note = {Machine review of arXiv:2412.12022}
}
read the original abstract
We give a complete solution of the linearization problem in the plane Cremona group over an algebraically closed field of characteristic zero.
Forward citations
Cited by 1 Pith paper
-
Equivariant geometry of cubic threefolds with non-isolated singularities
Every finite group action on a cubic threefold singular along a line, plane, or the chordal curve is linearizable; actions on cubics singular along a conic are generally not linearizable, though all such actions are u...
Reference graph
Works this paper leans on
- [1]
-
[2]
Beauville
A. Beauville. \(p\) -elementary subgroups of the Cremona group. J. Algebra , 314(2):553--564, 2007
2007
-
[3]
A. Beauville & J. Blanc. On Cremona transformations of prime order. C. R., Math., Acad. Sci. Paris , 339(4):257--259, 2004
work page 2004
-
[4]
Bialynicki-Birula
A. Bialynicki-Birula. Some theorems on actions of algebraic groups. Ann. Math. (2) , 98:480--497, 1973
1973
-
[5]
J. 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
-
[6]
J. Blanc. Linearisation of finite abelian subgroups of the Cremona group of the plane. Groups Geom. Dyn. , 3(2):215--266, 2009
work page 2009
- [7]
-
[8]
H. F. Blichfeldt. Finite Collineation Groups . University of Chicago Press, 1917
1917
Show all 48 references
-
[9]
Bogomolov & Y
F. Bogomolov & Y. Prokhorov. On stable conjugacy of finite subgroups of the plane Cremona group. I . Cent. Eur. J. Math. , 11(12):2099--2105, 2013
2013
-
[10]
B \"o hning, H.-C
C. B \"o hning, H.-C. G. von Bothmer & Y. Tschinkel. Equivariant birational geometry of cubic fourfolds and derived categories. Preprint, arXiv :2303.17678 [math. AG ] (2023), 2023
2023 arXiv
-
[11]
I. A. Cheltsov. Two local inequalities. Izv. Math. , 78(2):375--426, 2014
2014
-
[12]
Cheltsov
I. Cheltsov. Log canonical thresholds of del Pezzo surfaces. Geom. Funct. Anal. , 18(4):1118--1144, 2008
2008
-
[13]
Cheltsov, F
I. Cheltsov, F. Mangolte, E. Yasinsky & S. Zimmermann. Birational involutions of the real projective plane, J . E ur. M ath. S oc. ( JEMS ), to appear., 2024
2024
-
[14]
Cheltsov, L
I. Cheltsov, L. Marquand, Y. Tschinkel & Z. Zhang. Equivariant geometry of singular cubic threefolds, II . Preprint, arXiv :2405.02744 [math. AG ] (2024), 2024
2024
-
[15]
Cheltsov, Y
I. Cheltsov, Y. Tschinkel & Z. Zhang. Equivariant geometry of the Segre cubic and the Burkhardt quartic. Preprint, arXiv :2308.15271 [math. AG ] (2023), 2023
2023 arXiv
-
[16]
Cheltsov, Y
I. Cheltsov, Y. Tschinkel & Z. Zhang. Equivariant geometry of singular cubic threefolds. Preprint, arXiv :2401.10974 [math. AG ] (2024), 2024
2024 arXiv
-
[17]
Ciurca, S
T. Ciurca, S. Tanimoto & Y. Tschinkel. Intermediate Jacobians and linearizability. Preprint, arXiv :2403.06047 [math. AG ] (2024), 2024
2024 arXiv
-
[18]
de Fernex
T. de Fernex. On planar Cremona maps of prime order. Nagoya Math. J. , 174:1--28, 2004
2004
-
[19]
de Fernex & L
T. de Fernex & L. Ein. Resolution of indeterminacy of pairs. In Algebraic geometry. A volume in memory of Paolo Francia , pages 165--177. Berlin: de Gruyter, 2002
2002
-
[20]
I. V. Dolgachev & V. A. Iskovskikh. Finite subgroups of the plane Cremona group. In Algebra, arithmetic, and geometry. In honor of Yu. I. Manin on the occasion of his 70th birthday. Vol. I , pages 443--548. Boston, MA: Birkh \"a user, 2009
2009
-
[21]
L. Esser. The dual complex of a \(G\) -variety. Math. Z. , 308(3):8, 2024. Id/No 51
2024
-
[22]
X. Faber. Finite \(p\) -irregular subgroups of \( PGL _2 (k)\) . Matematica , 2(2):479--522, 2023
2023
-
[23]
E. Goursat. Sur les substitutions orthogonales et les divisions r \'e guli \`e res de l'espace. Ann. Sci. \'E c. Norm. Sup \'e r. (3) , 6:9--102, 1889
-
[24]
Hassett, A
B. Hassett, A. Kresch & Y. Tschinkel. Symbols and equivariant birational geometry in small dimensions. In Rationality of varieties. Proceedings of the conference, Island of Schiermonnikoog, The Netherlands, spring 2019 , pages 201--236. Cham: Birkh \"a user, 2021
2019
-
[25]
Hassett & Y
B. Hassett & Y. Tschinkel. Torsors and stable equivariant birational geometry. Nagoya Math. J. , 250:275--297, 2023
2023
-
[26]
B. Huppert. Endliche Gruppen . I , volume 134 of Grundlehren Math. Wiss. Springer, Cham, 1967
1967
-
[27]
V. A. Iskovskikh. Rational surfaces with pencil of rational curves. Math. USSR, Sb. , 3:563--587, 1969
1969
-
[28]
V. A. Iskovskikh. Minimal models of rational surfaces over arbitrary fields. Math. USSR, Izv. , 14:17--39, 1980
1980
-
[29]
V. A. Iskovskikh . Factorization of birational maps of rational surfaces from the viewpoint of Mori theory . Russ. Math. Surv. , 51(4):585--652, 1996
1996
-
[30]
V. A. Iskovskikh. Two non-conjugate embeddings of \(S_3 Z_2\) into the Cremona group. II . In Algebraic geometry in East Asia---Hanoi 2005. Proceedings of the 2nd international conference on algebraic geometry in East Asia, Hanoi, Vietnam, October 10--14, 2005 , pages 251--267...
2005
-
[31]
Kaplansky
I. Kaplansky. An introduction to differential algebra. Actualit \'e s Scientifiques et Industrielles . 1251. Publ . Inst . Math . Univ . Nancago . V . Paris : Hermann & Cie . 62 p. (1957)., 1957
1957
-
[32]
F. Klein. Lectures on the icosahedron and the solution of equations of the fifth degree. Translated by George Gavin Morrice . With a new introduction and commentaries by Peter Slodowy . Translated by Lei Yang , volume 5 of CTM, Class. Top. Math. Beijing: Higher Education Press...
2019
-
[33]
Kontsevich, V
M. Kontsevich, V. Pestun & Y. Tschinkel. Equivariant birational geometry and modular symbols. J. Eur. Math. Soc. (JEMS) , 25(1):153--202, 2023
2023
-
[34]
Kresch & Y
A. Kresch & Y. Tschinkel. Equivariant birational types and Burnside volume. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) , 23(2):1013--1052, 2022
2022
-
[35]
Kresch & Y
A. Kresch & Y. Tschinkel. Equivariant Burnside groups and representation theory. Sel. Math., New Ser. , 28(4):39, 2022. Id/No 81
2022
-
[36]
Lemire, V
N. Lemire, V. L. Popov & Z. Reichstein. Cayley groups. J. Am. Math. Soc. , 19(4):921--967, 2006
2006
-
[37]
K. A. Nguyen, M. van der Put & J. Top. Algebraic subgroups of GL \(_2( C)\) . Indag. Math., New Ser. , 19(2):287--297, 2008
2008
-
[38]
P inardin
A. P inardin. Antoine P inardin's G it H ub repository. https://github.com/antoinepinardin, 2024. Accessed: 2024-12-12
2024
-
[39]
Pinardin
A. Pinardin. \(G\) -solid rational surfaces. Eur. J. Math. , 10(2):23, 2024. Id/No 33
2024
-
[40]
Prokhorov
Y. Prokhorov. On stable conjugacy of finite subgroups of the plane Cremona group. II . Mich. Math. J. , 64(2):293--318, 2015
2015
-
[41]
Y. G. Prokhorov. Fields of invariants of finite linear groups. In Cohomological and geometric approaches to rationality problems. New Perspectives , pages 245--273. Boston, MA: Birkh \"a user, 2010
2010
-
[42]
Reichstein & B
Z. Reichstein & B. Youssin. Essential dimensions of algebraic groups and a resolution theorem for \(G\) -varieties. ( With an appendix by J \'a nos Koll \'a r and Endre Szab \'o : Fixed points of group actions and rational maps). Can. J. Math. , 52(5):1018--1056, 2000
2000
-
[43]
T. A. Springer. Invariant theory , volume 585 of Lect. Notes Math. Springer, Cham, 1977
1977
-
[44]
Tschinkel, K
Y. Tschinkel, K. Yang & Z. Zhang. Combinatorial Burnside groups. Res. Number Theory , 8(2):17, 2022. Id/No 33
2022
-
[45]
Tschinkel, K
Y. Tschinkel, K. Yang & Z. Zhang. Equivariant birational geometry of linear actions. EMS Surv. Math. Sci. , 11(2):235--276, 2024
2024
-
[46]
J. Wolter. Equivariant birational geometry of quintic del Pezzo surface. Eur. J. Math. , 4(3):1278--1292, 2018
2018
-
[47]
Yasinsky
E. Yasinsky. On G -birational rigidity of del Pezzo surfaces. \'E pijournal de G \'e om. Alg \'e br., EPIGA (to appear) , 2024
2024
-
[48]
write newline
" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence '...
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.