Pith. sign in

REVIEW 3 minor 20 references

Polynomiality of the Generalized Verschiebung Degree

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

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

Pith's one-line read The generic degree of the generalized Verschiebung map on rank-2 bundle moduli is a polynomial in the characteristic.

desk verdict Zhang turns the Kondo-Wakabayashi quasi-polynomial into an explicit polynomial for the Verschiebung degree on the moduli space. read the letter →

arxiv 2606.26070 v1 pith:YXBCU4PD submitted 2026-06-24 math.AG math.CO

Siqing Zhang This is my paper
classification math.AGmath.CO
keywords generalizedVerschiebungmapmodulispaceofvectorbundlesFrobeniuspullbackgenericdegreequasi-polynomialpositivecharacteristicpolynomialityrank2
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

For a general curve over a field of positive characteristic p, Frobenius pullback induces a generically finite rational map V on the moduli space of rank 2 vector bundles with trivial determinant. Kondo--Wakabayashi showed that the generic degree of V, viewed as a function of p, takes the form of a quasi-polynomial. This paper proves that the periodic component vanishes, so the degree is in fact given by a single polynomial in p, and supplies the explicit formula. A sympathetic reader cares because the result removes the need to track periodic adjustments when evaluating or estimating the degree for varying characteristics.

What carries the argument

The generalized Verschiebung map V, the rational map on the moduli space of rank 2 bundles with trivial determinant induced by Frobenius pullback, whose generic degree is analyzed as a function of p.

What would settle it

An explicit computation of the generic degree of V for two distinct primes p and q that cannot both satisfy the same claimed polynomial expression of the predicted degree.

Watch

Extended reading notes

Core claim

The paper establishes that the generic degree of the generalized Verschiebung map V is a polynomial in the prime p rather than a quasi-polynomial, and determines this polynomial explicitly for a general curve in positive characteristic.

Load-bearing premise

The quasi-polynomial result of Kondo--Wakabayashi holds for the degree of V on a general curve, so that the function of p can be examined for the presence of a periodic part.

Editorial extensions

If this is right

  • The degree of V equals the value of the explicit polynomial at each prime p.
  • No separate periodic correction term is needed when computing or comparing degrees across characteristics.
  • The polynomial supplies the exact generic degree for every sufficiently large prime without case-by-case analysis.
  • Polynomiality implies that the growth of the degree with p is purely polynomial.

Reading between the lines

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

  • The explicit polynomial may be used to compare the degree of V for different general curves of the same genus.
  • The same technique of eliminating periodic terms could apply to degree functions arising from other Frobenius-induced maps on moduli spaces.
  • Knowledge of the polynomial allows direct study of the asymptotic density of characteristics for which V attains a given degree.
Share X Bluesky LinkedIn Reddit HN

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 / 3 minor

Summary. The manuscript proves that the generic degree of the generically finite rational map V (induced by Frobenius pullback on the moduli space of rank-2 vector bundles with trivial determinant, for a general curve in characteristic p) is in fact a polynomial in p. Building on the quasi-polynomial result of Kondo–Wakabayashi, the authors derive and state an explicit closed-form expression for this polynomial.

Significance. If the derivation holds, the result supplies a precise, explicit polynomial formula for the degree of the generalized Verschiebung map. This strengthens the arithmetic geometry of the moduli space by replacing a quasi-polynomial description with a polynomial one, which may simplify further calculations of intersection numbers or other invariants that depend on the characteristic.

minor comments (3)
  1. [Introduction] The introduction should include a brief comparison of the new explicit polynomial with the earlier quasi-polynomial expression of Kondo–Wakabayashi (e.g., by displaying both side-by-side for small degrees).
  2. [§2] Notation for the moduli space (e.g., the precise meaning of “general curve”) and the map V should be restated once in §2 or §3 for readers who skip the introduction.
  3. [Theorem 1.1] The explicit polynomial is stated in the main theorem; a short table of its values for small p would help verify the formula against known low-characteristic computations.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for the recommendation to accept. The report accurately captures the main contribution: replacing the quasi-polynomial description of Kondo–Wakabayashi with an explicit polynomial in the characteristic.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; independent extension of external result

full rationale

The manuscript takes the quasi-polynomial property of the generic degree of V as an established input from the independent work of Kondo--Wakabayashi (different authors). It then performs a direct analysis to establish that this function is in fact a polynomial and derives an explicit formula. No self-citations, fitted parameters renamed as predictions, self-definitional steps, or ansatz smuggling appear. The central claim does not reduce to the input by construction; the prior result is treated as given external support and the polynomiality proof is presented as additional content.

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

Abstract provides no information on free parameters, axioms, or invented entities.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Polynomiality of the Generalized Verschiebung Degree." pith.science (2026). https://pith.science/paper/YXBCU4PD

@misc{pith2026260626070,
  author       = {Pith},
  title        = {Pith review of: Polynomiality of the Generalized Verschiebung Degree},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YXBCU4PD}},
  note         = {Machine review of arXiv:2606.26070}
}
read the original abstract

For a general curve in positive characteristic, taking the Frobenius pullback induces a generically finite rational map V on the moduli space of rank 2 vector bundles with trivial determinant. Recently, Kondo--Wakabayashi show that the generic degree of V, considered as a function on the characteristic of the base field, is a quasi-polynomial. In this paper, we show that this quasi-polynomial is indeed a polynomial, and we write out this polynomial explicitly.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

20 extracted references · 2 canonical work pages

  1. [1]

    C. G. Fernandes, J. C. de Pina, J. L. Ram´ ırez Alfons´ ın, and S. Robins,Period collapse in Ehrhart quasi-polynomials of{1,3}-graphs, Combinatorial Theory2(2022), no. 3, Paper No. 12

    2022

  2. [2]

    Gieseker,Stable vector bundles and the Frobenius morphism, Ann

    D. Gieseker,Stable vector bundles and the Frobenius morphism, Ann. Sci. ´Ecole Norm. Sup. (4)6 (1973), 95–101

    1973

  3. [3]

    Kondo and Y

    Y. Kondo and Y. Wakabayashi,Explicit computation of the generic degree of the generalized Ver- schiebung in rank two, preprint, arXiv:2509.03993, 2025

    work page arXiv 2025

  4. [4]

    Hoshi and Y

    Y. Hoshi and Y. Wakabayashi,An upper bound on the generic degree of the generalized Verschiebung for rank two stable bundles, J. Pure Appl. Algebra228(2024), Paper No. 107605, 14 pp

    2024

  5. [5]

    Joshi and C

    K. Joshi and C. Pauly,Hitchin–Mochizuki morphism, opers and Frobenius-destabilized vector bundles over curves, Adv. Math.274(2015), 39–75

    2015

  6. [6]

    Joshi, S

    K. Joshi, S. Ramanan, E. Z. Xia and J. K. Yu,On vector bundles destabilized by Frobenius pull-back, Compos. Math.142(2006), 616–630

    2006

  7. [7]

    Lange and C

    H. Lange and C. Pauly,On Frobenius-destabilized rank-2 vector bundles over curves, Comment. Math. Helv.83(2008), 179–209

    2008

  8. [8]

    Laszlo and C

    Y. Laszlo and C. Pauly,The action of the Frobenius maps on rank 2 vector bundles in characteristic 2, J. Algebraic Geom.11(2002), 219–243

    2002

Show all 20 references
  1. [9]

    Laszlo and C

    Y. Laszlo and C. Pauly,The Frobenius map, rank 2 vector bundles and Kummer’s quartic surface in characteristic 2 and 3, Adv. Math.185(2004), 246–269

    2004

  2. [10]

    Liu and B

    F. Liu and B. Osserman,Mochizuki’s indigenous bundles and Ehrhart polynomials, J. Algebraic Com- bin.26(2006), 125–136

    2006

  3. [11]

    Mochizuki,Foundations ofp-adic Teichm¨ uller theory, AMS/IP Studies in Advanced Mathematics, vol

    S. Mochizuki,Foundations ofp-adic Teichm¨ uller theory, AMS/IP Studies in Advanced Mathematics, vol. 11, American Mathematical Society, Providence, RI; International Press, Cambridge, MA, 1999

    1999

  4. [12]

    Mochizuki,An introduction top-adic Teichm¨ uller theory, Ast´ erisque278(2002), 1–50

    S. Mochizuki,An introduction top-adic Teichm¨ uller theory, Ast´ erisque278(2002), 1–50. POLYNOMIALITY OF THE GENERALIZED VERSCHIEBUNG DEGREE 13

    2002

  5. [13]

    Osserman,The generalized Verschiebung map for curves of genus 2, Math

    B. Osserman,The generalized Verschiebung map for curves of genus 2, Math. Ann.336(2006), 963– 986

    2006

  6. [14]

    Runkel and R

    I. Runkel and R. R. Suszek,Affinesu(2)fusion rules from gerbe 2-isomorphisms, J. Geom. Phys.61 (2011), no. 8, 1527–1552

    2011

  7. [15]

    R. P. Stanley,Enumerative Combinatorics. Volume 1, second edition, Cambridge Studies in Advanced Mathematics, vol. 49, Cambridge University Press, Cambridge, 2012

    2012

  8. [16]

    Wakabayashi,An explicit formula for the generic number of dormant indigenous bundles, Publ

    Y. Wakabayashi,An explicit formula for the generic number of dormant indigenous bundles, Publ. Res. Inst. Math. Sci.50(2014), 383–409

    2014

  9. [17]

    Wakabayashi,Spin networks, Ehrhart quasi-polynomials, and combinatorics of dormant indigenous bundles, Kyoto J

    Y. Wakabayashi,Spin networks, Ehrhart quasi-polynomials, and combinatorics of dormant indigenous bundles, Kyoto J. Math.59(2019), 649–684

    2019

  10. [18]

    Wakabayashi,Arithmetic liftings and 2d TQFT for dormant opers of higher level, arXiv:2209.08528

    Y. Wakabayashi,Arithmetic liftings and 2d TQFT for dormant opers of higher level, arXiv:2209.08528

  11. [19]

    Zagier,Elementary aspects of the Verlinde formula and of the Harder–Narasimhan–Atiyah–Bott formula, Israel Math

    D. Zagier,Elementary aspects of the Verlinde formula and of the Harder–Narasimhan–Atiyah–Bott formula, Israel Math. Conf. Proc.9(1996), 445–462

    1996

  12. [20]

    Zhang,VerschiebungLean, GitHub repository, 2026.https://github.com/szqzs/ verschiebung-lean, commit3310bdb

    S. Zhang,VerschiebungLean, GitHub repository, 2026.https://github.com/szqzs/ verschiebung-lean, commit3310bdb. Department of Mathematics, Yale University, New Haven, CT, 06511, USA E-mail address:siqing.zhang.math@gmail.com

    2026

Pith tools

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