REVIEW 3 major objections 5 minor 54 references
Representations of finite subgroups of Cremona groups
T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The plane Cremona group's finite subgroups need exactly 6 dimensions over most characteristic-0 fields, 8 if √−3 is present, and no finite bound in positive characteristic.
desk verdict A genuinely valuable paper on a new invariant, with a real missing case in the main upper bound for c2(k) that a referee should catch. 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 load-bearing structure is the reduction of finite subgroups of Cr₂(k) to automorphism groups of minimal rational surfaces—del Pezzo surfaces and conic bundles—following Manin and Iskovskikh. Around that hub, the argument uses three further pieces: (1) representations of algebraic tori, where certain finite groups are realized as subgroups of Aut(T) for a rational torus T built from a root lattice, turning a combinatorial 'symmetric rank' computation into lower bounds on representation dimension; (2) the projective linear groups PGL₃(k) and PGL₄(k), where the Weil representation of (C_p)² ⋊ SL₂(F_p) gives the sharp lower bound p²−1 and a Blichfeldt classification of primitive finite subgroups gives the upper bound when p=3 and √−3 ∉ k; and (3) Mal'cev's compactness theorem, which lets the positive-characteristic result be proved by showing the group k[x]⋊k is not linear over any field.
What would settle it
Run the orbit enumeration for the G₂ root lattice with its Weyl group acting on L/4L: if any W-stable subset of L/4L of size at most 5 generates the module, then the claimed lower bound c₂(k) ≥ 6 fails; the same check applies to A₃, F₄, D₅, and E₆ for the values 12, 24, 40, and 72.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is the exact value of c₂(k), the supremum of minimal faithful-representation dimensions over finite subgroups of the plane Cremona group: it is 6 for any field of characteristic 0 that does not contain √−3, 8 for characteristic-0 fields that do, and infinite in positive characteristic. The lower bound of 6 is obtained by constructing, from root lattices of types A₁, G₂, A₃, F₄, D₅, E₆ and B_n, rational tori whose automorphism groups contain finite groups with large representation dimension. The upper bound of 6 or 8 uses the Manin–Iskovskikh reduction: any finite subgroup of Cr₂(k) embeds in the automorphism group of a minimal rational surface, either a del Pezzo surface or a conic bundle surface, and the paper bounds the representation dimension of each such automorphism group in turn. The remaining gap between 6 and 8 is exactly whether k contains √−3, which controls whether PGL₃(k) contains the Hessian group (C₃)² ⋊ SL₂(F₃).
Load-bearing premise
The 6-dimensional lower bound for c₂(k) rests on an unshipped Sage computation asserting that, for the root lattices G₂, A₃, F₄, D₅, and E₆, no union of orbits of size less than the claimed minimum generates L/4L (Theorem 5.4).
Editorial extensions
If this is right
- For every field k of characteristic 0, finite subgroups of the plane Cremona group are uniformly representable in at most 8 dimensions, and exactly 6 unless √−3 ∈ k.
- In positive characteristic, there are finite subgroups of Cr_n(k) for every n ≥ 2 with arbitrarily large minimal faithful-representation dimension, so no finite uniform bound exists.
- The three-dimensional complex Cremona group satisfies 15 ≤ c₃(C) ≤ 62208, giving the first nontrivial bounds of their kind for rank 3.
- For characteristic-0 fields containing all roots of unity, c_n(k) is finite for every n, and the same holds for fields finitely generated over Q.
- The lower bounds c_n(k) ≥ 2ⁿ for n ≥ 7 show that, on a fixed field, the minimal faithful-representation dimension of finite subgroups grows at least exponentially in the rank of the Cremona group.
Reading between the lines
- The exponential lower bound 2ⁿ suggests the true growth of c_n(k) may be much faster, possibly driven by symmetric ranks of Weyl groups; whether c_n(C) is finite for all n and how it grows remains open, since the paper's finiteness proof is non-constructive.
- The positive-characteristic proof shows k[x]⋊k is not linear over any field, a fact that may extend to other elementary birational groups and suggests finite subgroups of Cremona groups over finite fields still have unbounded representation dimension over the same field.
- The unshipped Sage computation that certifies the lower bounds is a testable artifact: re-running the orbit enumeration for the G₂, A₃, F₄, D₅, and E₆ root lattices would independently confirm or correct the 6-, 12-, 24-, 40-, and 72-dimensional lower bounds.
- The same torus-and-root-lattice method likely applies to other groups of birational transformations, such as automorphism groups of rational varieties with torus actions, where symmetric rank may again control representation dimension.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper defines c_n(k) as the supremum over finite subgroups G of Cr_n(k) of the minimal dimension of a faithful linear representation of G over k. It determines c_1(k) for all fields, determines c_2(k) explicitly (∞ in positive characteristic, 8 if √−3∈k, 6 otherwise), proves that c_n(k)=∞ for n≥2 in positive characteristic, proves finiteness of c_n(k) for many characteristic-0 fields, and gives exponential lower bounds in n. The proofs use minimal rational G-surfaces, algebraic tori and their symmetric ranks, weighted projective spaces, and a GAP-checked group-theoretic appendix.
Significance. The exact evaluation of c_2(k) is a major step in understanding finite subgroups of plane Cremona groups over arbitrary fields, and the lower-bound technology via symmetric ranks of root lattices is original and useful. The positive-characteristic non-linearity result for Cr_n(k) (n≥2) and the use of model-theoretic compactness are elegant. The appendix's hand proof of the six-dimensional bounds for extensions of polyhedral groups, accompanied by GAP verification, is a valuable resource. If the gaps identified below are repaired, the paper will be a strong contribution.
major comments (3)
- [§8, Proposition 8.3 and proof of Theorem 1.2] Proposition 8.3 claims fdim_k(Aut(X)) ≤ 6 for every rational del Pezzo surface X not isomorphic to P^2. The proof handles degrees 8 and 7 by equivariant blowdown, then states that the remaining cases of degree d ≤ 6 follow from Corollary 7.5. However, Corollary 7.5 gives fdim_k(Aut(X)) ≤ d+1 for d ≥ 3, so for d=6 it yields the bound 7, not 6. Degree-6 del Pezzo surfaces are rational and can be k-forms over fields without √−3, precisely in the regime where Theorem 1.2 asserts c_2(k)=6; moreover Theorem 8.1 permits a minimal G-surface of this type with Pic(X)^G ≅ Z. The upper bound c_2(k) ≤ 6 is therefore not proven as written. A separate argument for the degree-6 del Pezzo case (e.g., using the structure of its anticanonical ring) is required.
- [§3, proof of Theorem 1.1, characteristic-2 descent] In the case where ρ is not absolutely irreducible and b=0 for every g∈G, the proof asserts that since ρ is defined over L∩K and finite fields are perfect, 'K = k', and hence ρ is defined over k. This inference is invalid: K/k may be a non-trivial purely inseparable extension while K contains a finite subfield such as L∩K. The equality K=k does not follow, and the descent of ρ to a representation over k is not established. Thus the upper bound c_1(k) ≤ 2 for infinite imperfect fields of characteristic 2 rests on an unsupported step. Please supply a correct descent argument or an alternative proof for this case.
- [§5, proof of Theorem 5.4] The values symrank(L/dL,W)=|Ω| for n=1,...,6 in Table 1 are justified by the sentence 'This was checked using [Sage]', with no code or output included. This finite verification is load-bearing: it underpins the lower bounds in Theorem 1.5 (including c_2(k) ≥ 6 in Theorem 1.2). Please provide the Sage script and its output, or give a short hand-checkable certificate (e.g., listing the orbit sizes and a generating orbit union for each lattice).
minor comments (5)
- [§3, proof of Theorem 1.1] The term 'relative closure of the prime field F_2 in F' is not defined; please make explicit that it is the algebraic closure of F_2 inside F (a finite field).
- [Table 2, Appendix A] The notations gS4+ and gS4− for the binary octahedral groups are used without definition; please define them and explain the GAP ID column.
- [§4, Lemma 4.5] The condition (b) in the proof appears garbled: the displayed expression with 'W_i' and 'W_{i≠j}' should be a disjunction expressing that the matrix (x^g_{ij}) is not the identity. Please correct the notation.
- [§6, Proposition 6.4] In the reducible case, the claim that the representation σ∨⊗τ factors through eG→G and is faithful is stated without justification; adding one sentence on why the kernel is exactly the central scalars would help.
- [§8, Proposition 8.6] The assertion that a rational k-form of P(1,1,n,n) is isomorphic to the standard weighted projective space is not immediate; please include a reference or a short justification.
Circularity Check
No circular step found; the main concerns are a non-circular degree-6 del Pezzo gap in the proof of Theorem 1.2 and undocumented Sage/GAP finite checks.
full rationale
The paper's central derivations are direct and do not reduce by construction to their own inputs. c2(k) is defined independently as a supremum of representation dimensions, and the lower bounds are obtained by explicitly constructed tori whose finite subgroups provably require faithful representations of the stated degree (Lemma 5.3 and Theorem 5.4). The symmetric-rank values in Table 1 are supported by a stated finite enumeration in Sage plus an analytic argument for n ≥ 7; the citation to [Hea24] supplies the same choices of Ω and L but does not replace the verification. The intro's citation of [Ure21] for c2(C) ≤ 48 is contextual, not an input to Theorem 1.2. The appeal to [BCDP22] in Lemma 7.3 concerns a standard linearization statement in a separate published paper, so it is independent support rather than a circular self-citation. Two incompletenesses are not circularity but should be flagged. First, Proposition 8.3 states that remaining del Pezzo cases 'are of degree d ≤ 6, which follow from Corollary 7.5,' yet Corollary 7.5 gives d + 1 for d ≥ 3; for d = 6 this yields only 7, not 6. Degree-6 rational del Pezzo k-forms are not otherwise handled in Section 8, so the upper bound c2(k) ≤ 6 in Theorem 1.2 has a missing case. Second, the finite checks in Theorem 5.4 ('This was checked using [Sage]') and in Appendix A (GAP Small Groups Database) are not shipped, so those lower bounds rest on undocumented computation. Neither issue is a case of a claimed result being equivalent to its inputs; the derivation chain is otherwise self-contained, and the self-citations present are not load-bearing in a circular sense.
Assumptions & free parameters
assumptions (9)
- standard math Manin-Iskovskikh classification of minimal rational G-surfaces over arbitrary fields of characteristic 0
- standard math Birkar boundedness of Fano varieties and Prokhorov-Shramov Jordan property for Cremona groups
- standard math Blichfeldt classification of primitive finite subgroups of PGL3(C)
- standard math Beauville classification of finite subgroups of PGL2(K)
- standard math Shephard-Todd classification and Benard table for reflection group G29
- standard math Compactness theorem for first-order logic (Mal'cev)
- standard math Hilbert's Theorem 90
- standard math Serre's trace-field descent for finite group representations
- standard math Cox and Liendo-Lucchini Arteche description of automorphisms of toric varieties over arbitrary fields
Cite this review
Pith. "Pith review of Representations of finite subgroups of Cremona groups." pith.science (2026). https://pith.science/paper/GQ5GY3PE
@misc{pith2026250704474,
author = {Pith},
title = {Pith review of: Representations of finite subgroups of Cremona groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/GQ5GY3PE}},
note = {Machine review of arXiv:2507.04474}
}
read the original abstract
The Cremona group of rank n over a field k is the group of birational automorphisms of the n-dimensional projective space over the field k. We study the minimal dimension such that all finite subgroups of the Cremona group have a faithful representation of that dimension over the same field. We find the exact value for rank 1 and 2 over all fields. We prove that the value is infinite for all fields of positive characteristic and rank greater than one. For many fields of characteristic 0, which include number fields and the complex field, we show that the value is finite for all ranks. Finally, for all fields of characteristic 0, we prove that the dimension is bounded below by a function that is exponential in the rank.
Reference graph
Works this paper leans on
-
[1]
Bakshi, G. K., Broche Cristo, O., Herman, A., Konovalov, O., Maheshwary, S., Olteanu, G., Olivieri, A., del Rio, A. and Van Gelder, I. Wedderga --- Wedderburn Decomposition of Group Algebras, Version 4.10.2 , 2022. (GAP package) https://gap-packages.github.io/wedderga
work page 2022
-
[2]
Finite quasisimple groups acting on rationally connected threefolds
J\'er\'emy Blanc, Ivan Cheltsov, Alexander Duncan, and Yuri Prokhorov. Finite quasisimple groups acting on rationally connected threefolds. Mathematical Proceedings of the Cambridge Philosophical Society , page 1–38, 2022
work page 2022
-
[3]
Arnaud Beauville. Finite subgroups of PGL _2(K) . In Vector bundles and complex geometry , volume 522 of Contemp. Math. , pages 23--29. Amer. Math. Soc., Providence, RI, 2010
work page 2010
-
[4]
Schur indices and splitting fields of the unitary reflection groups
Mark Benard. Schur indices and splitting fields of the unitary reflection groups. J. Algebra , 38(2):318--342, 1976
work page 1976
-
[5]
Singularities of linear systems and boundedness of F ano varieties
Caucher Birkar. Singularities of linear systems and boundedness of F ano varieties. Ann. of Math. (2) , 193(2):347--405, 2021
work page 2021
-
[6]
Finite abelian subgroups of the C remona group of the plane
J \'e r \'e my Blanc. Finite abelian subgroups of the C remona group of the plane . PhD thesis, Universit \'e de Gen \`e ve, 2006
work page 2006
-
[7]
Hans F. Blichfeldt. Finite Collineation Groups . The University of Chicago Press, 1917
work page 1917
-
[8]
Del P ezzo surfaces of degree 5 over perfect fields, 2023
Aurore Boitrel. Del P ezzo surfaces of degree 5 over perfect fields, 2023. arXiv:2304.05328
arXiv 2023
Show all 54 references
-
[9]
Transformations birationnelles de petit degr\' e , volume 19 of Cours Sp\' e cialis\' e s [Specialized Courses]
Dominique Cerveau and Julie D\' e serti. Transformations birationnelles de petit degr\' e , volume 19 of Cours Sp\' e cialis\' e s [Specialized Courses] . Soci\' e t\' e Math\' e matique de France, Paris, 2013
2013
-
[10]
Michael J. Collins. On J ordan's theorem for complex linear groups. J. Group Theory , 10(4):411--423, 2007
2007
-
[11]
Sofic profile and computability of C remona groups
Yves Cornulier. Sofic profile and computability of C remona groups. Michigan Math. J. , 62(4):823--841, 2013
2013
-
[12]
David A. Cox. The homogeneous coordinate ring of a toric variety. J. Algebraic Geom. , 4(1):17--50, 1995
1995
-
[13]
James Shank, and David L
Yin Chen, R. James Shank, and David L. Wehlau. Modular invariants of finite gluing groups. Journal of Algebra , 566:405--434, 2021
2021
-
[14]
Automorphisms of cubic surfaces in positive characteristic
Igor Dolgachev and Alexander Duncan. Automorphisms of cubic surfaces in positive characteristic. arXiv:1712.01167, 2017
2017 arXiv
-
[15]
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 Inc., Boston, MA, 2009
2009
-
[16]
Dolgachev and Vasily A
Igor V. Dolgachev and Vasily A. Iskovskikh. On elements of prime order in the plane C remona group over a perfect field. Int. Math. Res. Not. IMRN , 2009(18):3467--3485, 2009
2009
-
[17]
Automorphisms of del P ezzo surfaces in odd characteristic
Igor Dolgachev and Gebhard Martin. Automorphisms of del P ezzo surfaces in odd characteristic. Journal of the London Mathematical Society , 109(5):e12905, May 2024
2024
-
[18]
Automorphisms of del P ezzo surfaces in characteristic 2
Igor Dolgachev and Gebhard Martin. Automorphisms of del P ezzo surfaces in characteristic 2. Algebra & Number Theory , 19(4):715--761, March 2025
2025
-
[19]
Weighted projective varieties
Igor Dolgachev. Weighted projective varieties. In Group actions and vector fields ( V ancouver, B . C ., 1981) , volume 956 of Lecture Notes in Math. , pages 34--71. Springer, Berlin, 1982
1981
-
[20]
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 \'e trie Alg \'e brique , Volume 7(13), April 2023
2023
-
[21]
GAP -- Groups, Algorithms, and Programming, Version 4.13.0 , 2024
The GAP Group. GAP -- Groups, Algorithms, and Programming, Version 4.13.0 , 2024. https://www.gap-system.org
2024
-
[22]
Guralnick and Martin Lorenz
Robert M. Guralnick and Martin Lorenz. Orders of finite groups of matrices. In Groups, rings and algebras , volume 420 of Contemp. Math. , pages 141--161. Amer. Math. Soc., Providence, RI, 2006
2006
-
[23]
Representation Dimensions of Algebraic Tori and Symmetric Representation Dimensions of Algebraic Tori and Symmetric Ranks of G -Lattices
Jason Bailey Heath. Representation Dimensions of Algebraic Tori and Symmetric Representation Dimensions of Algebraic Tori and Symmetric Ranks of G -Lattices . PhD thesis, University of South Carolina, 2024
2024
-
[24]
Maximal representation dimensions of algebraic tori of fixed dimension over arbitrary fields, 2025
Bailey Heath. Maximal representation dimensions of algebraic tori of fixed dimension over arbitrary fields, 2025. arXiv:2502.15513
2025 arXiv
-
[25]
Humphreys
James E. Humphreys. Linear algebraic groups . Graduate Texts in Mathematics, No. 21. Springer-Verlag, New York-Heidelberg, 1975
1975
-
[26]
Iskovskikh
Vasily A. Iskovskikh. Minimal models of rational surfaces over arbitrary fields. Izv. Akad. Nauk SSSR Ser. Mat. , 43(1):19--43, 237, 1979
1979
-
[27]
N. Lemire. Essential dimension of algebraic groups and integral representations of W eyl groups. Transform. Groups , 9(4):337--379, 2004
2004
-
[28]
Automorphisms of products of toric varieties
Alvaro Liendo and Giancarlo Lucchini Arteche. Automorphisms of products of toric varieties. Math. Res. Lett. , 29(2):529--540, 2022
2022
-
[29]
MacDonald
Mark L. MacDonald. Essential p -dimension of the normalizer of a maximal torus. Transform. Groups , 16(4):1143--1171, 2011
2011
-
[30]
On isomorphic matrix representations of infinite groups
Anatolii Malcev. On isomorphic matrix representations of infinite groups. Matematicheskii Sbornik , 50(3):405--422, 1940
1940
-
[31]
Yuri I. Manin. Rational surfaces over perfect fields. II . Mat. Sb. (N.S.) , 72 (114):161--192, 1967
1967
-
[32]
Linearity and nonlinearity of groups of polynomial automorphisms of the plane
Olivier Mathieu. Linearity and nonlinearity of groups of polynomial automorphisms of the plane. Journal of Algebra , 637:47--89, 2024
2024
-
[33]
Zur T heorie der positiven quadratischen F ormen
Hermann Minkowski. Zur T heorie der positiven quadratischen F ormen. J. Reine Angew. Math. , 101:196--202, 1887
-
[34]
Vladimir L. Popov. Jordan groups and automorphism groups of algebraic varieties. In Ivan Cheltsov, Ciro Ciliberto, Hubert Flenner, James McKernan, Yuri G. Prokhorov, and Mikhail Zaidenberg, editors, Automorphisms in Birational and Affine Geometry , pages 185--213, Cham, 2014. ...
2014
-
[35]
Simple finite subgroups of the C remona group of rank 3
Yuri Prokhorov. Simple finite subgroups of the C remona group of rank 3. J. Algebraic Geom. , 21(3):563--600, 2012
2012
-
[36]
2-elementary subgroups of the space C remona group
Yuri Prokhorov. 2-elementary subgroups of the space C remona group. In Automorphisms in birational and affine geometry , volume 79 of Springer Proc. Math. Stat. , pages 215--229. Springer, Cham, 2014
2014
-
[37]
Jordan property for C remona groups
Yuri Prokhorov and Constantin Shramov. Jordan property for C remona groups. Amer. J. Math. , 138(2):403--418, 2016
2016
-
[38]
Jordan constant for C remona group of rank 3
Yuri Prokhorov and Constantin Shramov. Jordan constant for C remona group of rank 3. Mosc. Math. J. , 17(3):457--509, 2017
2017
-
[39]
p -subgroups in the space C remona group
Yuri Prokhorov and Constantin Shramov. p -subgroups in the space C remona group. Math. Nachr. , 291(8-9):1374--1389, 2018
2018
-
[40]
Linear representations of finite groups
Jean-Pierre Serre. Linear representations of finite groups . Springer-Verlag, New York, 1977
1977
-
[41]
Galois cohomology
Jean-Pierre Serre. Galois cohomology . Springer Monographs in Mathematics. Springer-Verlag, Berlin, english edition, 2002
2002
-
[42]
Bounds for the orders of the finite subgroups of G(k)
Jean-Pierre Serre. Bounds for the orders of the finite subgroups of G(k) . In Group representation theory , pages 405--450. EPFL Press, Lausanne, 2007
2007
-
[43]
A M inkowski-style bound for the order of the finite subgroups of the C remona group of rank 2 over an arbitrary field
Jean-Pierre Serre. A M inkowski-style bound for the order of the finite subgroups of the C remona group of rank 2 over an arbitrary field. Moscow Math. J , 9:193--208, 2009
2009
-
[44]
Jonathan M. Smith. Automorphisms of quartic del P ezzo surfaces in characteristic zero, 2023. arXiv:2308.07904
2023 arXiv
-
[45]
Groups acting on cubic surfaces in characteristic zero
Jonathan Smith. Groups acting on cubic surfaces in characteristic zero. Proceedings of the American Mathematical Society , 153(3):1025--1040, January 2025
2025
-
[46]
Shifted tableaux and the projective representations of symmetric groups
John R Stembridge. Shifted tableaux and the projective representations of symmetric groups. Advances in Mathematics , 74(1):87--134, 1989
1989
-
[47]
S ageMath, the S age M athematics S oftware S ystem ( V ersion 10.6.0) , 2025
The Sage Developers . S ageMath, the S age M athematics S oftware S ystem ( V ersion 10.6.0) , 2025. https://www.sagemath.org
2025
-
[48]
Subgroups of Cremona groups
Christian Urech. Subgroups of Cremona groups . PhD thesis, University of Basel and University of Rennes 1, 2017
2017
-
[49]
Subgroups of elliptic elements of the C remona group
Christian Urech. Subgroups of elliptic elements of the C remona group. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2021(770):27--57, January 2021
2021
-
[50]
On the size and structure of finite linear groups, 2012
Boris Weisfeiler. On the size and structure of finite linear groups, 2012. arXiv:1203.1960
2012 arXiv
-
[51]
Subgroups of odd order in the real plane C remona group
Egor Yasinsky. Subgroups of odd order in the real plane C remona group. J. Algebra , 461:87--120, 2016
2016
-
[52]
The J ordan constant for C remona group of rank 2
Egor Yasinsky. The J ordan constant for C remona group of rank 2. Bull. Korean Math. Soc. , 54(5):1859--1871, 2017
2017
-
[53]
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
2022
-
[54]
Forms of del Pezzo surfaces of degree 5 and 6, 2023
Alexandr Zaitsev. Forms of del Pezzo surfaces of degree 5 and 6, 2023. arXiv:2302.04937
2023 arXiv
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.