Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

Conjugacy classes of linear actions in the plane Cremona group

T0 review · 2 major / 2 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper claims to classify, up to conjugation in the Cremona group, every regular generically free finite-group action on the projective plane — deciding exactly when two linear actions are the same geometry up to birational change of coo

desk verdict Cannot review: the submitted full text is the wrong paper, so the claimed classification of P^2 actions is unauditable. read the letter →

arxiv 2508.09929 v1 pith:IQ7WI7K7 submitted 2025-08-13 math.AG

Ivan Cheltsov , Yuri Tschinkel , Zhijia Zhang This is my paper
classification math.AG MSC 14E0714J5014L30
keywords Cremonagroupbirationalconjugacyprojectiveplanelinearactionsfinitegenericallyfreeactionrationalsurfacesclassification
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims a complete classification: every finite group acting on the complex projective plane by regular, everywhere-defined (hence linear) transformations, with a generic point having trivial stabilizer, is assigned to exactly one conjugacy class inside the Cremona group — the group of birational self-maps of the plane. Allowing birational changes of coordinates (rational reparametrisations of the plane) is the whole point: two actions that look different as linear representations can turn out to be the same algebraic geometry after such a change, and the paper says exactly when. If correct, it settles, for the plane, the standing question of which finite symmetry structures are genuinely distinct, cataloguing the supply of finite subgroups of $\mathrm{PGL}(3,\mathbb{C})$ that act generically freely and separating the classes by explicit invariants. A sympathetic reader would care because the question sits where representation theory meets birational geometry: the answer is the automorphism part of the finite-group landscape of the plane Cremona group, and every broader claim about finite subgroups of $\mathrm{Bir}(\mathbb{P}^2)$ must be consistent with this table. Editorial note: this summary rests on the title and the abstract alone, because the full-text manuscript supplied with this record is a different paper (a quantum-information text); the proof itself could not be audited here.

What carries the argument

The central object is the pair $(\mathbb{P}^2, G)$: the plane with a finite group acting by automorphisms, i.e., an embedding $G \hookrightarrow \mathrm{PGL}(3,\mathbb{C})$, considered up to conjugation inside the Cremona group $\mathrm{Bir}(\mathbb{P}^2)$ — two actions are identified when a birational $\varphi$ satisfies $\varphi g \varphi^{-1} = g'$ for all $g$. The generically free hypothesis — a general point has trivial stabilizer, so fixed curves of non-identity elements do not cover the plane — makes the action the Galois group of a degree-$|G|$ extension of the plane's function field, keeping the objects honest rather than concentrated on a curve. The proof mechanism that produces th

What would settle it

Find a finite group $G$ with two faithful representations $\rho_1, \rho_2 \colon G \to \mathrm{PGL}(3,\mathbb{C})$ whose actions are regular and generically free, of which the paper declares different classes, and write down an explicit birational $\varphi \in \mathrm{Bir}(\mathbb{P}^2)$ with $\varphi \rho_1(g) = \rho_2(g)\varphi$ for all $g \in G$; such a $\varphi$ merges the two rows and refutes the classification. A cheaper test: for any two rows declared distinct, recompute the paper's separating invariant on each and check it differs — a single row pair where the invariant matches overtur

Watch

Extended reading notes

Core claim

The paper's claim, on its own terms, is that the equivalence problem for linear actions is solved: every everywhere-defined (hence linear) action of a finite group on $\mathbb{P}^2$ whose generic point has trivial stabilizer belongs to exactly one listed class under Cremona conjugation, with the classes separated by explicit invariants. In the authors' framing, conjugation in the Cremona group is the same as $G$-birational equivalence of the plane carrying the $G$-action, so the classification answers a concrete question: given two finite subgroups of $\mathrm{PGL}(3,\mathbb{C})$ (possibly of different abstract groups), when does a birational map of the plane carry one action onto the other?

Load-bearing premise

The load-bearing premise is the exhaustiveness of the proof's case analysis — every finite group acting regularly and generically freely on the plane must appear, and every claimed separation of classes must be proved; that exhaustiveness could not be checked for this summary, because the full-text manuscript supplied with this record is a different paper (a quantum-information text), not the Cremona-group proof.

Editorial extensions

If this is right

  • For any two faithful representations $\rho_1, \rho_2 \colon G \to \mathrm{PGL}(3,\mathbb{C})$ that are regular and generically free, the classification decides by its invariants whether a birational map conjugates one to the other, so Cremona conjugacy of linear actions becomes a checkable problem rather than a search.
  • Any 'accidental' equivalence — two actions that are Cremona-conjugate without being linearly conjugate — is recorded in the table, and actions whose class is isolated are thereby certified birationally rigid among linear actions.
  • Because every listed action is generically free, each class corresponds to a degree-$|G|$ Galois extension of the field $\mathbb{C}(x,y)$ realised by linear transformations; the classification doubles as a birational catalogue of such extensions.
  • The table forms the automorphism part of the finite-subgroup theory of the plane Cremona group: any finite subgroup of $\mathrm{Bir}(\mathbb{P}^2)$ that is Cremona-conjugate to a regular action is accounted for, so the remaining questions about finite subgroups of the Cremona group concern actions not realisable by automorphisms of the plane.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial caution: the full-text manuscript supplied with this record is a different paper (a quantum-information text), not the Cremona-group paper; everything above rests on the title and the abstract, and the proof, the list, and the invariants should be verified against the actual manuscript before any use.
  • If the classification is correct, the linear actions are closed off within the wider study of finite subgroups of $\mathrm{Bir}(\mathbb{P}^2)$: attention then shifts to finite subgroups that act on the plane only birationally — those coming from equivariant models on other rational surfaces such as del Pezzo and ruled surfaces — which the present list does not cover.
  • A concrete stress test: for each row of the table, search deliberately for a non-linear birational $\varphi$ with $\varphi G \varphi^{-1} \subset \mathrm{PGL}(3,\mathbb{C})$; the table predicts exactly which groups admit such a self-conjugacy, making the paper checkable example by example.
  • The generically free restriction excludes the reflection-type linear actions that fix a line pointwise; extending the classification to those would add simple infinite families and would be the natural next chapter, with the present table as the non-degenerate skeleton.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The paper's abstract claims a complete classification of regular generically free actions of finite groups on the projective plane, up to conjugation in the Cremona group. However, the full text supplied for review is arXiv:2508.09928v2, a quantum information paper by Mudassar, Schuckert, and Gottesman on fault-tolerant Majorana codes. This text contains no mathematical content related to the classification claim: no definitions, theorem statements, proofs, or references to the Cremona group or rational G-surfaces. As a result, the central assertion of the abstract is entirely unsupported in the submitted manuscript.

Significance. If the classification claimed in the abstract were proved, it would be a substantial contribution to the study of the plane Cremona group and to the classification of rational G-surfaces. Such a result would synthesize equivariant Mori theory and known classification results for finite subgroups of Cr_2(C). However, because the submitted manuscript does not contain any of the claimed mathematics, the significance cannot be assessed from the provided text. There are no machine-checked proofs, reproducible code, or derivations to credit.

major comments (2)
  1. [Full Text] The complete text supplied for review is arXiv:2508.09928v2 (Mudassar, Schuckert, Gottesman), a quantum information paper on fault-tolerant Majorana codes. It contains no statement, theorem, proof, or discussion related to the claimed classification of regular generically free actions of finite groups on P^2 up to Cremona conjugacy. Since the abstract of arXiv:2508.09929 is the only place the claim appears, the central result is entirely unsupported in the submitted manuscript. This is a load-bearing deficiency: no mathematical content can be audited.
  2. [Abstract] The claimed classification necessarily relies on substantial prior machinery: the classification of rational G-surfaces, equivariant Mori theory, known classifications of finite subgroups of Cr_2(C), and a precise definition of 'regular generically free' in the relevant category. None of these ingredients, nor even a statement of the main theorem with hypotheses, appears in the supplied text. Consequently, I cannot verify whether the classification is derived or merely asserted.
minor comments (2)
  1. [Full Text] The arXiv identifier in the header of the supplied text is 2508.09928v2, not 2508.09929; this indicates a submission file mismatch rather than a substantive mathematical issue.
  2. [N/A] If the correct manuscript is provided, the report should focus on the classification statement, the G-surface decomposition, and the conjugacy invariants; none of these are present here.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identified: supplied full text is the wrong paper, so the target derivation cannot be audited.

full rationale

The full text supplied for arXiv:2508.09929 is actually arXiv:2508.09928v2, a quantum-information paper on Majorana-based quantum codes. The target paper's only available content is the abstract claim 'We classify regular generically free actions of finite groups on the projective plane, up to conjugation in the Cremona group.' There is no derivation chain, theorem proof, fitting step, or self-citation from the target manuscript to examine. Under the hard rules, circularity cannot be asserted without quoting the paper and exhibiting a specific reduction (e.g., Eq. X = Eq. Y by construction or a fitted parameter renamed as a prediction). No such evidence exists in the supplied material, so this is an honest non-finding caused by missing evidence, not a claim that the target paper is free of circularity. The mismatched attached manuscript is an input-evidence gap, not a circularity step.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

The axiom ledger cannot be populated because the manuscript for arXiv:2508.09929 was not provided. The attached full text is arXiv:2508.09928v2 (quant-ph), a different paper. No free parameters, axioms, or invented entities can be audited for the stated Cremona-group classification.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Conjugacy classes of linear actions in the plane Cremona group." pith.science (2026). https://pith.science/paper/IQ7WI7K7

@misc{pith2026250809929,
  author       = {Pith},
  title        = {Pith review of: Conjugacy classes of linear actions in the plane Cremona group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IQ7WI7K7}},
  note         = {Machine review of arXiv:2508.09929}
}
read the original abstract

We classify regular generically free actions of finite groups on the projective plane, up to conjugation in the Cremona group.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The massive one-loop four-point string amplitude in pure spinor superspace

    hep-th 2025-08 unverdicted novelty 6.0 of 10

    One-loop open and closed string amplitudes with one massive state are rewritten in terms of tree-level kinematic factors, with type IIA/IIB differences for closed strings.

Reference graph

Works this paper leans on

49 extracted references · 35 canonical work pages · cited by 1 Pith paper

  1. [1]

    Aghaee, A

    M. Aghaee, A. Alcaraz Ramirez, T. Karzig, C. Nayak, M. Manfra, D. J. Reilly, R. Lutchyn,et al., Interferomet- ric single-shot parity measurement in inas–al hybrid devices, Nature638, 651 (2025). 22

    work page 2025

  2. [2]

    input syndrome vectors

    Also each row has an even overlap with any other row, which gives it the self orthogonal property. Also note that the rank of this matrix is two. We can use the CSS construc- tion for Majoranas to obtain a Majorana CSS code with the following operators � 1 =� 2�3�5�8 (143) � 2 =� 1�4�6�7 (144) � 3 = ¯�2¯�3¯�5¯�8 (145) � 4 = ¯�1¯�4¯�6¯�7 (146) There are fo...

    work page

  3. [3]

    T. Liu, C. Y. Wan, H. Yang,et al., Signatures of hybridiza- tion of multiple majorana zero modes in a vortex, Nature 633, 71 (2024)

    work page 2024

  4. [4]

    Alicea, New directions in the pursuit of majorana fermions in solid state systems, Reports on Progress in Physics75, 076501 (2012)

    J. Alicea, New directions in the pursuit of majorana fermions in solid state systems, Reports on Progress in Physics75, 076501 (2012)

    2012

  5. [5]

    Aasen, M

    D. Aasen, M. Aghaee, and Z. A. et al, Roadmap to fault tolerant quantum computation using topological qubit arrays (2025), arXiv:2502.12252 [quant-ph]

    arXiv 2025

  6. [6]

    A. Y. Kitaev, Unpaired majorana fermions in quantum wires, Physics-Uspekhi44, 131 (2001)

    2001

  7. [7]

    J. K. Pachos,Introduction to Topological Quantum Compu- tation(Cambridge University Press, 2012)

    work page 2012

  8. [8]

    Bonderson, M

    P. Bonderson, M. Freedman, and C. Nayak, Measurement- only topological quantum computation, Phys. Rev. Lett. 101, 010501 (2008)

    work page 2008

Show all 49 references
  1. [9]

    Alase, M

    A. Alase, M. C. Goffage, M. C. Cassidy, and S. N. Copper- smith, Decoherence of majorana qubits by 1/f noise (2025), arXiv:2506.22394 [cond-mat.mes-hall]

    2025 arXiv

  2. [10]

    Bravyi, B

    S. Bravyi, B. Leemhuis, and B. M. Terhal, Majorana Fermion Codes, New Journal of Physics12, 083039 (2010), arXiv:1004.3791 [cond-mat, physics:quant-ph]

    2010 arXiv

  3. [11]

    M. B. Hastings, Small majorana fermion codes (2017), arXiv:1703.00612 [quant-ph]

    2017 arXiv

  4. [12]

    Litinski and F

    D. Litinski and F. von Oppen, Quantum computing with majorana fermion codes, Phys. Rev. B97, 205404 (2018)

    2018

  5. [13]

    McLauchlan and B

    C. McLauchlan and B. Beri, A new twist on the Majorana surface code: Bosonic and fermionic defects for fault-tolerant quantum computation, Quantum8, 1400 (2024)

    2024

  6. [14]

    Li, Fault-tolerant fermionic quantum computation based on color code, Phys

    Y. Li, Fault-tolerant fermionic quantum computation based on color code, Phys. Rev. A98, 012336 (2018)

    2018

  7. [15]

    A. Tran, A. Bocharov, B. Bauer, and P. Bonderson, Optimiz- ing Clifford gate generation for measurement-only topological quantum computation with Majorana zero modes, SciPost Phys.8, 091 (2020)

    2020

  8. [16]

    Paetznick, C

    A. Paetznick, C. Knapp, N. Delfosse, B. Bauer, J. Haah, M. B. Hastings, and M. P. da Silva, Performance of planar floquet codes with majorana-based qubits, PRX Quantum4, 010310 (2023)

    2023

  9. [17]

    Li, Noise threshold and resource cost of fault-tolerant quantum computing with majorana fermions in hybrid sys- tems, Phys

    Y. Li, Noise threshold and resource cost of fault-tolerant quantum computing with majorana fermions in hybrid sys- tems, Phys. Rev. Lett.117, 120403 (2016)

    2016

  10. [18]

    R. Chao, M. E. Beverland, N. Delfosse, and J. Haah, Op- timization of the surface code design for majorana-based qubits, Quantum4, 352 (2020)

    2020

  11. [19]

    Kundu and B

    S. Kundu and B. Reichardt, Majorana subsystem qubit codes that also correct odd-weight errors, New J. Phys.26, 073029 (2024)

    2024

  12. [20]

    Bettaque and B

    V. Bettaque and B. Swingle, The structure of the majorana clifford group (2024), arXiv:2407.11319 [quant-ph]

    2024 arXiv

  13. [21]

    Mudassar, R

    M. Mudassar, R. W. Chien, and D. Gottesman, Encoding majorana codes, Phys. Rev. A110, 032430 (2024)

    2024

  14. [22]

    C. K. McLauchlan and B. B´ e ri, Fermion-parity-based com- putation and its majorana-zero-mode implementation, Phys- ical Review Letters128, Phys.Rev.Lett.128.180504 (2022)

    2022

  15. [23]

    Litinski and F

    D. Litinski and F. von Oppen, Braiding by majorana tracking and long-range cnot gates with color codes, Phys. Rev. B96, 205413 (2017)

    2017

  16. [24]

    T. E. O’Brien, P. Ro˙ zek, and A. R. Akhmerov, Majorana- based fermionic quantum computation, Phys. Rev. Lett.120, 220504 (2018)

    2018

  17. [25]

    Z. Z. Yan, B. M. Spar, M. L. Prichard, S. Chi, H.-T. Wei, E. Ibarra-Garc ´ ıa-Padilla, K. R. Hazzard, and W. S. Bakr, Two-Dimensional Programmable Tweezer Arrays of Fermions, Physical Review Letters129, 123201 (2022), pub- lisher: American Physical Society

    2022

  18. [26]

    Gonz´ alez-Cuadra, D

    D. Gonz´ alez-Cuadra, D. Bluvstein, M. Kalinowski, R. Kaubruegger, N. Maskara, P. Naldesi, T. V. Zache, A. M. Kaufman, M. D. Lukin, H. Pichler, B. Vermersch, J. Ye, and P. Zoller, Fermionic quantum processing with programmable neutral atom arrays, Proceedings of the National A...

    2023

  19. [27]

    Bojovi´ c, T

    P. Bojovi´ c, T. Hilker, S. Wang, J. Obermeyer, M. Barendregt, D. Tell, T. Chalopin, P. M. Preiss, I. Bloch, and T. Franz, High-fidelity collisional quantum gates with fermionic atoms (2025), arXiv:2506.14711 [cond-mat.quant-gas]

    2025 arXiv

  20. [28]

    Schuckert, E

    A. Schuckert, E. Crane, A. V. Gorshkov, M. Hafezi, and M. J. Gullans, Fermion-qubit fault-tolerant quantum com- puting (2024), arXiv:2411.08955 [quant-ph]

    2024 arXiv

  21. [29]

    R. Ott, D. Gonz´ alez-Cuadra, T. V. Zache, P. Zoller, A. M. Kaufman, and H. Pichler, Error-corrected fermionic quan- tum processors with neutral atoms (2024), arXiv:2412.16081 [quant-ph]

    2024 arXiv

  22. [30]

    X. Wang, E. Khatami, F. Fei, J. Wyrick, P. Namboodiri, R. Kashid, A. F. Rigosi, G. Bryant, and R. Silver, Experimen- tal realization of an extended Fermi-Hubbard model using a 2D lattice of dopant-based quantum dots, Nature Communi- cations13, 1 (2022)

    2022

  23. [31]

    A. Rad, A. Schuckert, E. Crane, G. Nambiar, F. Fei, J. Wyrick, R. M. Silver, M. Hafezi, Z. Davoudi, and M. J. Gullans, Analog quantum simulator of a quantum field the- ory with fermion-spin systems in silicon (2024), 2407.03419

    2024 arXiv

  24. [32]

    Knapp, M

    C. Knapp, M. Beverland, D. I. Pikulin, and T. Karzig, Mod- eling noise and error correction for Majorana-based quantum computing, Quantum2, 88 (2018)

    2018

  25. [33]

    R. W. Chien and J. Klassen, Optimizing fermionic encodings for both hamiltonian and hardware (2022), arXiv:2210.05652 [quant-ph]

    2022 arXiv

  26. [34]

    N. T. Vidal, M. L. Bera, A. Riera, M. Lewenstein, and M. N. Bera, Quantum operations in an information theory for fermions, Phys. Rev. A104, 032411 (2021)

    2021

  27. [35]

    S. D. Bartlett, T. Rudolph, and R. W. Spekkens, Reference frames, superselection rules, and quantum information, Rev. Mod. Phys.79, 555 (2007)

    2007

  28. [36]

    Vijay and L

    S. Vijay and L. Fu, Quantum error correction for complex and majorana fermion qubits (2017), arXiv:1703.00459 [cond- mat.mes-hall]

    2017 arXiv

  29. [37]

    A. M. Steane, Error correcting codes in quantum theory, Phys. Rev. Lett.77, 793 (1996)

    1996

  30. [38]

    L. H. Kauffman, Majorana fermions and representations of the braid group, International Journal of Modern Physics A 33, 18300235 (2018)

    2018

  31. [39]

    Jaksch, J

    D. Jaksch, J. I. Cirac, P. Zoller, S. L. Rolston, R. Cˆ ot´ e, and M. D. Lukin, Fast Quantum Gates for Neutral Atoms, Phys- ical Review Letters85, 2208 (2000)

    2000

  32. [40]

    Kubischta and I

    E. Kubischta and I. Teixeira, Family of quantum codes with exotic transversal gates, Phys. Rev. Lett.131, 240601 (2023)

    2023

  33. [41]

    Gottesman,Surviving as a Quantum Computer in a Clas- sical World(2024) draft textbook for CMSC858G: Quantum Error Correction, University of Maryland

    D. Gottesman,Surviving as a Quantum Computer in a Clas- sical World(2024) draft textbook for CMSC858G: Quantum Error Correction, University of Maryland

    2024

  34. [42]

    Gottesman, Theory of fault-tolerant quantum computa- tion, Phys

    D. Gottesman, Theory of fault-tolerant quantum computa- tion, Phys. Rev. A57, 127 (1998). 23

    1998

  35. [43]

    S. B. Bravyi and A. Y. Kitaev, Fermionic quantum compu- tation, Annals of Physics298, 210 (2002)

    2002

  36. [44]

    Bravyi and J

    S. Bravyi and J. Haah, Magic-state distillation with low over- head, Phys. Rev. A86, 052329 (2012)

    2012

  37. [45]

    J. T. Anderson, G. Duclos-Cianci, and D. Poulin, Fault- tolerant conversion between the steane and reed-muller quan- tum codes, Phys. Rev. Lett.113, 080501 (2014)

    2014

  38. [46]

    F. Butt, S. Heußen, M. Rispler, and M. M¨ uller, Fault-tolerant code-switching protocols for near-term quantum processors, PRX Quantum5, 020345 (2024)

    2024

  39. [47]

    Couvreur, N

    A. Couvreur, N. Delfosse, and G. Z´ emor, A construc- tion of quantum ldpc codes from cayley graphs (2013), arXiv:1206.2656 [cs.IT]

    2013 arXiv

  40. [48]

    Tillich and G

    J.-P. Tillich and G. Z´ emor, Quantum ldpc codes with positive rate and minimum distance proportional to the square root of the blocklength, IEEE Transactions on Information Theory 60, 1193 (2014)

    2014

  41. [49]

    Xu, Z.-C

    C.-Y. Xu, Z.-C. Liu, and Y. Xu, Fermion-to-fermion low- density parity-check codes (2025), arXiv:2508.15323 [quant- ph]

    2025

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.