Pith. sign in

REVIEW 2 minor 24 references

Essential dimensions of polarized endomorphisms of certain algebraic surfaces

T0 review · 0 major / 2 minor · reviewed 2026-06-25 · grok-4.3

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

Pith's one-line read Galois polarized endomorphisms of birationally ruled surfaces are incompressible above an explicit degree bound depending only on the surface.

desk verdict The paper gives an affirmative answer to the Kollár-Zhuang question with an explicit degree bound and optimality examples, but only for Galois maps on birationally ruled surfaces. read the letter →

arxiv 2606.24103 v1 pith:TD2WYWJW submitted 2026-06-23 math.AG

Qianli Fang , Yujie Luo , De-Qi Zhang This is my paper · ORCID
classification math.AG
keywords polarizedendomorphismsbirationallyruledsurfacesincompressibilityGaloisalgebraicof
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 shows that a polarized endomorphism f of a smooth projective birationally ruled surface X is incompressible whenever f is Galois and its degree meets or exceeds an explicit lower bound that depends only on X. This supplies a concrete criterion under which the map cannot factor non-trivially through a lower-dimensional variety. The same work supplies examples establishing that the stated bound is sharp for the class of surfaces considered.

What carries the argument

The Galois condition on the polarized endomorphism f, which together with a degree lower bound depending only on X forces incompressibility.

What would settle it

A single Galois polarized endomorphism on a birationally ruled surface whose degree exceeds the stated bound yet factors through a positive-dimensional variety of lower dimension would falsify the claim.

Watch

Extended reading notes

Core claim

For a Galois polarized endomorphism f of a smooth projective birationally ruled surface X, f is incompressible as soon as deg(f) is at least an explicit positive integer depending only on X.

Load-bearing premise

The endomorphism must be Galois and the surface must be birationally ruled.

Editorial extensions

If this is right

  • Incompressibility holds uniformly for every Galois polarized endomorphism on any fixed birationally ruled surface once the degree threshold is crossed.
  • The explicit bound supplies a practical test for incompressibility on any concrete birationally ruled surface.
  • The optimality examples demonstrate that the threshold cannot be lowered while remaining valid for the entire class of birationally ruled surfaces.

Reading between the lines

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

  • The Galois hypothesis is essential to the argument; without it the incompressibility statement is not asserted.
  • The same degree-threshold technique might apply to endomorphisms of other surfaces once a suitable symmetry condition replaces the Galois assumption.
  • The result isolates a numerical invariant (the degree bound) that separates compressible from incompressible behavior inside the Galois case.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The manuscript claims that if f: X → X is a polarized Galois endomorphism of a smooth projective birationally ruled surface X, and if deg(f) exceeds an explicit lower bound depending only on X, then f is incompressible. This gives an affirmative answer to a question of Kollár and Zhuang. The paper also supplies examples showing that the stated lower bound is optimal.

Significance. If the proofs hold, the result supplies a conditional but explicit affirmative answer to an open question on incompressibility of endomorphisms of surfaces. The explicit degree bound (depending only on X) and the optimality examples are concrete strengths that make the statement falsifiable and useful for further work in the area.

minor comments (2)
  1. The introduction should include a brief statement of the Kollár–Zhuang question being answered, rather than assuming familiarity with the reference.
  2. Notation for the essential dimension and for the Galois action should be introduced once in §1 and used consistently thereafter.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, the assessment of significance, and the recommendation of minor revision. No major comments were raised in the report, so there are no specific points requiring point-by-point response or revision at this stage.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained

full rationale

The paper answers an external question posed by Kollár and Zhuang under explicitly stated hypotheses (f Galois, deg(f) exceeding an X-dependent bound, X birationally ruled). No equations, self-citations, fitted parameters, or ansatzes are visible that would reduce the incompressibility claim to a tautology or to prior work by the same authors. The result is a conditional affirmative answer with optimality examples, which is standard non-circular mathematical reasoning.

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

Abstract-only review; no explicit free parameters, ad-hoc axioms, or invented entities are stated. Standard background assumptions of algebraic geometry (projective varieties, birational equivalence) are implicitly used but not detailed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Essential dimensions of polarized endomorphisms of certain algebraic surfaces." pith.science (2026). https://pith.science/paper/TD2WYWJW

@misc{pith2026260624103,
  author       = {Pith},
  title        = {Pith review of: Essential dimensions of polarized endomorphisms of certain algebraic surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TD2WYWJW}},
  note         = {Machine review of arXiv:2606.24103}
}
abstract

Let $f: X \to X$ be a polarized endomorphism of a smooth projective surface which is birationally ruled. We answer a question of Koll\'ar and Zhuang, in the affirmative, on the incompressibility of $f$, under the assumption that $f$ is Galois and an explicit lower bound of deg$(f)$ depending only on $X$. We also give examples showing the optimality of such a lower bound.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 2 canonical work pages

  1. [1]

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

    1957

  2. [2]

    Beauville,Finite subgroups ofPGL 2(K)

    A. Beauville,Finite subgroups ofPGL 2(K). Contemp. Math.,522(2010), 23–29

    2010

  3. [3]

    Buhler and Z

    J. Buhler and Z. Reichstein,On the essential dimension of a finite group.Compos. Math.106(1997), no. 2, 159–179. ESSENTIAL DIMENSIONS 21

    1997

  4. [4]

    Buhler and Z

    J. Buhler and Z. Reichstein,On Tschirnhaus transformations.Topics in Number Theory. Math. Appl.467 (1999), 127–142

    1999

  5. [5]

    B. Farb, M. Kisin, and J. Wolfson,Essential dimension via prismatic cohomology.Duke Math. J.173(2024), no. 15, 3059–3106

    2024

  6. [6]

    Fakhruddin and R

    N. Fakhruddin and R. Saini,Finite group scheme actions and incompressibility of Galois covers: beyond the ordinary case.Doc. Math.27(2022), 151–182

    2022

  7. [7]

    Fulton,Intersection theory.Second edition

    W. Fulton,Intersection theory.Second edition. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, Springer-Verlag, Berlin, (1998)

    1998

  8. [8]

    D. Greb, S. Kebekus, and T. Peternell, ´Etale fundamental groups of Kawamata log terminal spaces, flat sheaves and quotients of abelian varieties. Duke Math. J.165(2016), no. 10, 1965–2004

    2016

Show all 24 references
  1. [9]

    Hartshorne,Algebraic geometry

    R. Hartshorne,Algebraic geometry. Graduate Texts in Mathematics,52(1977)

    1977

  2. [10]

    Koll´ ar and S

    J. Koll´ ar and S. Mori,Birational geometry of algebraic varieties. Cambridge Tracts in Math,134(1998)

    1998

  3. [11]

    Kraft and I

    H. Kraft and I. Stampfli,On Automorphisms of the Affine Cremona Group.Ann. Inst. Fourier.63(2013), no. 3, 1137–1148

    2013

  4. [12]

    Koll´ ar and Z

    J. Koll´ ar and Z. Zhuang,Essential dimension of isogenies.Pure Appl. Math. Q.22(2026), no. 2, 675–690

    2026

  5. [13]

    Lazarsfeld,Positivity in algebraic geometry

    R. Lazarsfeld,Positivity in algebraic geometry. I, A Series of Modern Surveys in Mathematics,48(2004)

    2004

  6. [14]

    Y. Luo, K. Oguiso and D.-Q. Zhang, Essential dimensions of polarized endomorphisms of abelian varieties, preprint, arXiv:2512.04942v1

  7. [15]

    Luo and D.-Q

    Y. Luo and D.-Q. Zhang, Galois self-covers of projective spaces and essential dimensions. preprint, arXiv:2606.10207v1

    arXiv

  8. [16]

    Meng and D.-Q

    S. Meng and D.-Q. Zhang,Building blocks of polarized endomorphisms of normal projective varieties. Adv. Math.325(2018), 243–273

    2018

  9. [17]

    Mumford,Abelian Varieties.Oxford University Press, (1974)

    D. Mumford,Abelian Varieties.Oxford University Press, (1974)

    1974

  10. [18]

    Nakayama,Ruled surfaces with non-trivial surjective endomorphisms

    N. Nakayama,Ruled surfaces with non-trivial surjective endomorphisms. Kyushu J. Math.56(2002), no. 2, 433–446

    2002

  11. [19]

    Nakayama and D.-Q

    N. Nakayama and D.-Q. Zhang,Polarized endomorphisms of complex normal varieties. Math. Ann.346 (2010), no. 4, 991–1018

    2010

  12. [20]

    Reichstein,Essential dimension

    Z. Reichstein,Essential dimension. Proceedings of the International Congress of Mathematicians. Volume II (2010), 162–188

    2010

  13. [21]

    Satriano,The Chevalley–Shephard–Todd theorem for finite linearly reductive group schemes

    M. Satriano,The Chevalley–Shephard–Todd theorem for finite linearly reductive group schemes. Algebra & Number Theory6(2012), 1–26

    2012

  14. [22]

    G. C. Shephard and J. A. Todd,Finite unitary reflection groups. Canadian J. Math.6(1954), 274–304

    1954

  15. [23]

    Zhang,Polarized endomorphisms of uniruled varieties.Compos

    D.-Q. Zhang,Polarized endomorphisms of uniruled varieties.Compos. Math.146(2010), 145–168

    2010

  16. [24]

    Zhang, Distributions in algebraic dynamics

    S.-W. Zhang, Distributions in algebraic dynamics. InSurveys in differential geometry. Vol. X,Surv. Differ. Geom., vol. 10 (2006), 381–430. Department of Mathematics, National University of Singapore, Singapore 119076, Singapore Email address:fqianli@u.nus.edu Department of Mat...

    2006

Pith tools

Reviewed June 25, 2026 · model on record in the stance chip above.