REVIEW 3 major objections 6 minor 1 cited by
Explicit computation of the generic degree of the generalized Verschiebung in rank two
T0 review · 3 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read For a general genus-3 curve in characteristic p>2, the generic degree of Frobenius pull-back is (1/45)(2p^6+5p^4+38p^2).
desk verdict Ranks-two Verschiebung degree computed via dormant opers, but the load-bearing hypotheses live in the second author's unpublished preprints. 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 comparison is the commutative square between the tangent map of the generalized Verschiebung map and the tangent map of level reduction of dormant PGL_2-opers: at corresponding points these tangent maps are canonically isomorphic. A dormant PGL_2-oper of level N is, roughly, a flat bundle of level N-1 with vanishing p^N-curvature and a line subbundle that generates the rank-two bundle under differential operators, taken modulo tensoring with flat line bundles. On a totally degenerate curve these opers correspond bijectively to balanced (p,N)-edge numberings, i.e. nonnegative integers on the edges of the dual trivalent graph such that every vertex triple satisfies triangle-ty
What would settle it
For a general genus-3 curve in characteristic 3 the formula predicts deg(Ver^2_1)=49; an independent computation of this generic degree, or a direct verification that a genus-3 trivalent graph has exactly 49 balanced (3,2)-edge numberings and 1 balanced (3,1)-edge numbering, would settle the central claim.
Extended reading notes
Core claim
The core claim is that the generic degree of the generalized Verschiebung map Ver^2_1 is controlled by the degree of the projection Π_N from the moduli stack of dormant PGL_2-opers of level N to the moduli of curves. For a general curve the paper establishes the identity deg(Π_N) = deg(Π_1) · deg(Ver^2_1)^{N-1}, and a corresponding inequality for non-general curves. The proof works by canonically identifying the differential of Ver^2_{N⇒N'} at a maximally Frobenius-destabilized bundle with the differential of the level-reduction map Π_{N⇒N'} at the associated dormant oper; since the two maps are étale over the same points, their generic degrees coincide. Combining this with the existing fact
Load-bearing premise
The equality deg(Π_N)=deg(Π_1)deg(Ver^2_1)^{N-1} for general curves depends on the previously established generic étaleness of the oper stack Π_N over the moduli of curves, a result quoted from an earlier preprint rather than proved here; if that étaleness failed for some N, the fiber count would not equal the degree and the ratio formula would collapse.
Editorial extensions
If this is right
- For every genus g and every odd prime p, the generic degree of Ver^2_1 can in principle be computed by counting balanced edge numberings on any trivalent graph of genus g.
- The generic degree is a quasi-polynomial in p of degree 3g-3, with leading coefficient (-1)^g 2^{3g-4} B_{2g-2}/(2g-2)!, describing its asymptotic growth as p grows.
- The rank-two case of the second author's conjecture is settled: for a general curve, deg(Ver^2_1) equals the large-N limit of deg(Π_N)^{1/N}.
- The known genus-two formula (p^3+2p)/3 is recovered as a special case of the ratio formula.
- For genus 3, the exact polynomial (1/45)(2p^6+5p^4+38p^2) gives concrete degree values for every odd prime characteristic.
Reading between the lines
- If the tangent-space comparison extends to rank n stable bundles, the same procedure would express deg(Ver^n_1) as a ratio of counts of dormant PGL_n-opers of levels 1 and 2, turning the higher-rank conjecture into a finite polytope count.
- The ratio #Ed_{p,2,G}/#Ed_{p,1,G} being independent of the chosen trivalent graph is a strong constraint; testing both counts on non-isomorphic genus-g graphs would give a purely combinatorial check of the whole correspondence.
- The quasi-polynomial form implies divisibility structure: for instance, the genus-3 formula is divisible by p^2 for every odd prime, so an independently computed degree for a single new characteristic would test the fitted coefficients.
- One could formally evaluate the genus-3 formula at p=2, outside the stated hypothesis p>2, to obtain a predicted value that either extends the theorem or signals where the oper correspondence needs modification.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the generic degree of the generalized Verschiebung map Ver^2_1 on moduli spaces of rank-2 stable bundles on a general genus-g curve in characteristic p>2. It establishes a comparison, for general curves, between deg(Ver^2_1) and the degree of the projection Π_N from the moduli stack of dormant PGL_2-opers of level N to M_g (Corollary 4.11). Combining this with a combinatorial description of Π_N on totally degenerate curves, the authors express deg(Ver^2_1) as a ratio of counts of balanced (p,N)-edge numberings on a trivalent graph (Theorem 5.3). They show that this ratio is given by a quasi-polynomial Q(p) of degree 3g-3 with known leading coefficient (Theorem 5.5), and for genus 3 they compute Q(p)= (2p^6+5p^4+38p^2)/45 (Theorem 5.6).
Significance. The paper gives a new attack on a long-standing problem: it connects the coarse invariants of Frobenius pull-back on moduli of bundles to a finite combinatorial count via dormant opers. If its hypotheses are satisfied, it produces the first explicit value of deg(Ver^2_1) beyond the known genus-2 case, and the quasi-polynomial statement gives structural information for all genera. The local equivalence in Theorem 4.5, comparing deformation spaces of maximally Frobenius-destabilized bundles and dormant opers, is a strong and potentially reusable result. However, the main theorems are not self-contained: the crucial generic-etaleness, finiteness-flatness, irreducibility, and total-degeneracy fiber-count assertions are quoted from the second author's unpublished preprint [Wak7] and the in-preparation [Wak8]. The proof as written is conditional on those external inputs.
major comments (3)
- [§3.2, (3.7); §4.4, Cor. 4.11; §5.1] The central formula deg(Ver^2_1)=#Ed_{p,2,G}/#Ed_{p,1,G} relies on [Wak7, Thms B and C(i)] and [Wak8, Thm A(ii)] for the assertions that Op_{N,g} is smooth, proper, of dimension 3g-3, that Π_N is finite, faithfully flat, and generically étale, and that Π_N is étale at the totally degenerate curve X_G (stated in §5.1 immediately before Theorem 5.3). None of these facts is proved in the present paper, and [Wak8] is marked 'in preparation'. If generic étaleness fails, the fiber size of Π_N does not equal deg(Π_N), so the equality deg(Π_N)=#Ed_{p,N,G} and the subsequent formula for deg(Ver^2_1) do not follow. The authors should either prove the necessary étaleness/finiteness statements or clearly present the main results as conditional on published versions of [Wak7] and [Wak8].
- [§4.3, Prop. 4.9; §4.4, Thm. 4.10] The equality in Theorem 4.10 depends on Proposition 4.9, which asserts that the formal fiber of Ver^2_{N⇒N'} over a maximally F-destabilized point splits as deg(Ver^2_{N⇒N'}) copies of the formal neighborhood. The proof of Proposition 4.9 uses [Wak7, Theorem C(i)] to conclude that Π_N is étale at a general point, and hence that Ver is étale at maximally Frobenius-destabilized points. The internal deformation argument is plausible, but the étaleness input is exactly the external fact that is load-bearing for the degree comparison. This step needs a proof or a complete published reference.
- [§5.2, values before Thm. 5.6] The explicit values of #Ed_{p,2,G} for genus 3 (p=1,3,5,...,25) are asserted without derivation, with only a reference to [Wak7, §10.5]. These values are the data used to fit the quasi-polynomial Q(t) and to obtain the closed formula for deg(Ver^2_1). This is a load-bearing computation for Theorem C. A reproducible count, or at least a tabulation of the polytope decomposition (5.2) and the resulting systems of linear equations, should be supplied so that the numerical result can be independently checked.
minor comments (6)
- [Thm. 4.5] The definitions 'a' := Π_{N⇒N'}(a)' and 'b' := Ver^2_{N⇒N'}(b)' are swapped: a is in SU_X^(N), so should be mapped by Ver, and b is in Op_{N,g}, so should be mapped by Π. This contradicts the displayed diagram (1.3) and the surrounding text.
- [Def. 5.2] In the definition of balanced (p,N)-edge numbering, the notation '(a_{ζ(b)})_{b∈B_v}' is inconsistent: ζ(b) is a vertex, while the numbering is indexed by edges. The tuple should be indexed by the edge containing the branch b, e.g. '(a_{e(b)})_{b∈B_v}'.
- [§5.2, Prop. 5.4 proof] Property (a) is typeset as 'P1(a) ⊇ P1(a) ⊇ P1(a) \ ∂P1(a)', which is tautological as printed. It should presumably read '\overline{P_1(a)} ⊇ P_1(a) ⊇ \overline{P_1(a)} \setminus ∂P_1(a)' (and similarly for P_2(a)).
- [Key words] 'Vershiebung' is a typo for 'Verschiebung'.
- [§5.1, Remark 5.1] Several occurrences of 'characteristic pN' should read 'characteristic p^N'; the superscript is missing (see the discussion of Gauss hypergeometric differential operators).
- [Prop. 4.6 proof] The text 'For each2 ∈ {T, η, s}' is missing a symbol; it should read 'For each 2 ∈ {T, η, s}'.
Circularity Check
The combinatorial computation itself is independent, but the central degree-to-fiber-count identification rests on generic étaleness and irreducibility imported from the second author's own [Wak7]/[Wak8].
-
self citation load bearing
[§3.2 after (3.7); used in §4.4 (Theorem 4.10 / Corollary 4.11)]
"According to [Wak7, Theorems B and C, (i)] ... Π_N : Op... → M_g is finite, faithfully flat, and generically étale. ... Since Op... is irreducible for every N (cf. [Wak8, Theorem A, (ii)]), the morphism Π_{N⇒N'} is surjective."
The paper's key equality deg(Π_N)=deg(Π_1)·deg(Ver2_1)^{N-1} (Cor 4.11), and hence Theorems B and C, require that deg(Π_{N⇒N'}) equal the number of points in a fiber. That identification needs Π_N generically étale and Π_{N⇒N'} surjective, both cited to the second author's own works ([Wak7] preprint, [Wak8] 'in preparation') rather than proved here. If generic étaleness or irreducibility failed, fiber counts would not equal degrees and the formula deg(Ver2_1)=♯Ed_{p,2}/♯Ed_{p,1} would not follow from this paper's arguments.
-
self citation load bearing
[§5.1, just before Theorem 5.3]
"Since the projection Π_N is étale over all the points of totally degenerate curves (cf. [Wak7, Theorem C, (i)]), the degree deg(Π_N) coincides with the total number of dormant PGL... opers on X_G. ... Consequently, we obtain the following equality: deg(Π_N) = ♯(Ed_{p,N,G}) (cf. [Wak7, Theorem E])."
The numerical input deg(Π_N)=♯Ed_{p,N,G} that drives the final formula is imported wholesale from [Wak7, Theorem E] together with the étaleness assertion from [Wak7, Theorem C(i)]. The paper then algebraically inverts this equality to express deg(Ver2_1) as a ratio of edge-numbering counts. Thus the central 'prediction' is forced by this self-citation chain; however, the edge-numbering counts themselves are explicit and independent, and the subsequent quasi-polynomial interpolation is legitimate, so this is partial circularity rather than a purely definitional one.
full rationale
No step in this paper defines the Verschiebung degree in terms of edge numberings, nor fits a parameter and calls it a prediction. The local correspondence (Thm 4.5) between maximally F^N-destabilized bundles and dormant opers, and the formal-completion arguments (Prop 4.6, 4.9), are substantive internal mathematics. The g=3 formula is obtained by counting the explicit finite sets Ed_{p,2,G} and interpolating the resulting quasi-polynomial, which is independent of the target value. The circularity risk is concentrated in two imported facts: generic étaleness of Π_N and irreducibility of Op_{N,g}, both from the second author's own prior/in-preparation work ([Wak7], [Wak8]). These facts are load-bearing: they convert fiber cardinalities into degrees. They are neither proved nor independently verified in the present text. This is more than a minor self-citation, but the paper still contains independent content (edge-numbering enumeration, quasi-polynomial interpolation), so the appropriate score is 4 rather than 6-8.
Assumptions & free parameters
assumptions (6)
- domain assumption Π_N: Op^{Zzz...}_{N,g} → M_g is finite, faithfully flat, and generically etale (from [Wak7, Theorems B and C(i)])
- domain assumption deg(Π_N) equals the number of balanced (p,N)-edge numberings: deg(Π_N) = #Ed_{p,N,G} (from [Wak7, Theorem E])
- domain assumption #Ed_{p,N,G} is given by an Ehrhart quasi-polynomial H_N(p) of degree (3g-3)N with period dividing 4 (from [Wak7, Theorem 10.24])
- domain assumption The moduli stack Op^{Zzz...}_{N,g} is irreducible (from [Wak8], in preparation)
- domain assumption Ver^2_1 is generically etale for general X (from [MeSu, Corollary 2.1.1])
- domain assumption deg(Π_1) = p^{g-1}/2^{2g-1} · Σ_{θ=1}^{p-1} 1/ sin^{2g-2}(πθ/p) (from [Wak1, Theorem A])
Cite this review
Pith. "Pith review of Explicit computation of the generic degree of the generalized Verschiebung in rank two." pith.science (2026). https://pith.science/paper/DBKQA6UB
@misc{pith2026250903993,
author = {Pith},
title = {Pith review of: Explicit computation of the generic degree of the generalized Verschiebung in rank two},
year = {2026},
howpublished = {\url{https://pith.science/paper/DBKQA6UB}},
note = {Machine review of arXiv:2509.03993}
}
abstract
The purpose of this paper is to apply previous work on dormant opers to the study of the moduli space of stable bundles in positive characteristic. We affirmatively resolve the rank $2$ case of a conjecture proposed by the second author, which predicts a direct relationship between the number of higher-level dormant $\mathrm{PGL}_2$-opers and the generic degree of the generalized Verschiebung map for rank $2$ stable bundles induced by Frobenius pull-back. As a consequence, we obtain a procedure for explicitly determining these generic degrees in the previously unexplored range of genera by counting certain combinatorial objects.
Forward citations
Cited by 1 Pith paper
-
Polynomiality of the Generalized Verschiebung Degree
The generic degree of the generalized Verschiebung map is a polynomial in the characteristic p, with the explicit polynomial derived.
Reference graph
Works this paper leans on
-
[1]
Berthelot, -modules arithm\' e tiques I
P. Berthelot, -modules arithm\' e tiques I. Op\' e rateurs diff\' e rentiels de niveau fini, Ann. Sci. \' E cole Norm. Sup. 29 (1996), pp. 185-272
work page 1996
-
[2]
H. Brenner, A. Kaid, On deep Frobenius descent and flat bundles, Math. Res. Lett. 15 (2008), pp. 1101-1115
work page 2008
-
[3]
A. Castorena, F. Neumann, On actions of Frobenius morphisms for moduli stacks of principal bundles over algebraic curves, Bull. Sci. Math. 193 (2024), Paper No. 103450, 26 pp
work page 2024
-
[4]
P. Deligne, D. Mumford, The irreducibility of the space of curves of given genus, Inst. Hautes \' E tudes Sci. Publ. Math. 36 (1969), pp. 75-109
work page 1969
-
[5]
J. P. dos Santos, On the number of Frobenius-trivial vector bundles on specific curves, Arch. Math. (Basel) 99 (2012), pp. 227-235
work page 2012
-
[6]
L. Ducrohet, V. Mehta, Density of vector bundles periodic under the action of Frobenius, Bull. Sci. Math. 134 (2010), pp. 454-460
work page 2010
-
[7]
Gieseker, Stable curves and the Frobenius morphism, Ann
D. Gieseker, Stable curves and the Frobenius morphism, Ann. Scient. \' E c. Norm. Sup. 6 (1973), pp. 95-101
work page 1973
-
[8]
M. Gros, B. Le Stum, A. Quir\' o s, A Simpson correspondance in positive characteristic, Publ. Res. Inst. Math. Sci. 46 (2010), pp. 1-35
work page 2010
Show all 42 references
-
[9]
Hartshorne, Algebraic geometry , Grad
R. Hartshorne, Algebraic geometry , Grad. Texts in Math., 52 Springer-Verlag, New York-Heidelberg (1977), xvi+496 pp
1977
-
[10]
Heinloth, Lectures on the moduli stack of vector bundles on a curve, Trends Math
J. Heinloth, Lectures on the moduli stack of vector bundles on a curve, Trends Math. Birkh\" a user/Springer Basel AG, Basel (2010), pp. 123-153
2010
-
[11]
Hoshi, Y
Y. Hoshi, Y. Wakabayashi, An upper bound on the generic degree of the generalized Verschiebung for rank two stable bundles, J. Pure Appl. Algebra 228 (2024), Paper No. 107605, 14 pp
2024
-
[12]
Joshi, The degree of the dormant operatic locus, Int
K. Joshi, The degree of the dormant operatic locus, Int. Math. Res. Not. 9 (2017), pp. 2599-2613
2017
-
[13]
Joshi, C
K. Joshi, C. Pauly, Hitchin-Mochizuki morphism, opers and Frobenius-destabilized vector bundles over curves, Adv. Math. 274 (2015), pp. 39-75
2015
-
[14]
Joshi, S
K. Joshi, S. Ramanan, E. Z. Xia, J. K. Yu, On vector bundles destabilized by Frobenius pull-back, Compos. Math. 142 (2006), pp. 616-630
2006
-
[15]
Joshi, E
K. Joshi, E. Z. Xia, Moduli of vector bundles on curves in positive characteristics, Compos. Math. 122 (2000), pp. 315-321
2000
-
[16]
Lange, C
H. Lange, C. Pauly, On Frobenius-destabilized rank- 2 vector bundles over curves. Comment. Math. Helv. 83 (2008), pp. 179-209
2008
-
[17]
Laszlo, A non-trivial family of bundles fixed by the square of Frobenius, C
Y. Laszlo, A non-trivial family of bundles fixed by the square of Frobenius, C. R. Acad. Sci. Paris S\' e r. I Math. 333 (2001), pp. 651-656
2001
-
[18]
Laszlo, C
Y. Laszlo, C. Pauly, The action of the Frobenius maps on rank 2 vector bundles in characteristic 2 , J. Algebraic Geom. 11 (2002), pp. 219-243
2002
-
[19]
Laszlo, C
Y. Laszlo, C. Pauly, The Frobenius map, rank 2 vector bundles and Kummer's quartic surface in characteristic 2 and 3 , Adv. Math. 185 (2004), pp. 246-269
2004
-
[20]
Le Stum, A
B. Le Stum, A. Quir\' o s, Transverse crystals of finite level, Ann. Inst. Fourier (Grenoble) 47 (1997), pp. 69-100
1997
-
[21]
Li, On maximally Frobenius destabilized vector bundles, Bull
L. Li, On maximally Frobenius destabilized vector bundles, Bull. Aust. Math. Soc. 99 (2019), pp. 195-202
2019
-
[22]
Li, Frobenius stratification of moduli spaces of rank 3 vector bundles in positive characteristic 3 , I, Trans
L. Li, Frobenius stratification of moduli spaces of rank 3 vector bundles in positive characteristic 3 , I, Trans. Amer. Math. Soc. 372 (2019), pp. 5693-5711
2019
-
[23]
Li, Frobenius stratification of moduli spaces of rank 3 vector bundles in positive characteristic 3 , II, Math
L. Li, Frobenius stratification of moduli spaces of rank 3 vector bundles in positive characteristic 3 , II, Math. Res. Lett. 27 (2020), pp. 501-522
2020
-
[24]
Li, On Frobenius stratification of moduli spaces of rank 4 vector bundles, Manuscripta Math
L. Li, On Frobenius stratification of moduli spaces of rank 4 vector bundles, Manuscripta Math. 173 (2024), pp. 961-976
2024
-
[25]
F. Liu, B. Osserman, Mochizuki's indigenous bundles and Ehrhart polynomials, J. Algebraic Combin. 26 (2006), pp. 125-136
2006
-
[26]
V. B. Mehta, S. Subramanian, Nef line bundles which are not ample, Math. Z. 219 (1995), pp. 235-244
1995
-
[27]
Mochizuki, Foundations of p -adic Teichm\" u ller theory , AMS/IP Stud
S. Mochizuki, Foundations of p -adic Teichm\" u ller theory , AMS/IP Stud. Adv. Math., 11 American Mathematical Society, Providence, RI; International Press, Cambridge, MA (1999), xii+529 pp
1999
-
[28]
Montagnon, G\' e n\' e ralisation de la th\' e orie arithm\' e tique des D-modules \` a la g\' e om\' e trie logarithmique, Ph.D
C. Montagnon, G\' e n\' e ralisation de la th\' e orie arithm\' e tique des D-modules \` a la g\' e om\' e trie logarithmique, Ph.D. thesis, L'universit\' e de Rennes I (2002)
2002
-
[29]
Neumann, U
F. Neumann, U. Stuhler, Moduli stacks of vector bundles and Frobenius morphisms Hindustan Book Agency, Delhi (2005), pp. 126-146
2005
-
[30]
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), pp. 963-986
2006
-
[31]
Osserman, Frobenius-unstable bundles and p -curvature, Trans
B. Osserman, Frobenius-unstable bundles and p -curvature, Trans. Amer. Math. Soc. 360 (2008), pp. 273-305
2008
-
[32]
The Stacks Project Authors, The Stacks project, https://stacks.math.columbia.edu/tag/0ASF
-
[33]
Yang, The fixed point locus of the Verschiebung on _X (2, 0) for genus- 2 curves X in characteristic 2 , Canad
Y. Yang, The fixed point locus of the Verschiebung on _X (2, 0) for genus- 2 curves X in characteristic 2 , Canad. Math. Bull. 57 (2014), pp. 439-448
2014
-
[34]
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), pp. 383-409
2014
-
[35]
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), pp. 649-684
2019
-
[36]
Wakabayashi, A theory of dormant opers on pointed stable curves , Ast\' e risque 432 , Soc
Y. Wakabayashi, A theory of dormant opers on pointed stable curves , Ast\' e risque 432 , Soc. Math. de France, (2022), ix+296 pp
2022
-
[37]
Wakabayashi, Differential modules and dormant opers of higher level, arXiv: math
Y. Wakabayashi, Differential modules and dormant opers of higher level, arXiv: math. AG/2201.11266v1, (2022)
2022 arXiv
-
[38]
Wakabayashi, A combinatorial description of the dormant Miura transformation, Bull
Y. Wakabayashi, A combinatorial description of the dormant Miura transformation, Bull. Iranian Math. Soc. 49 (2023), Paper No. 81, 26 pp
2023
-
[39]
Wakabayashi, Frobenius pull-back of parabolic bundles and dormant opers, Proc
Y. Wakabayashi, Frobenius pull-back of parabolic bundles and dormant opers, Proc. Indian Acad. Sci. (Math. Sci.) 135 (2025), Paper No. 25, 38 pp
2025
-
[40]
Wakabayashi, Arithmetic liftings and 2d TQFT for dormant opers of higher level, arXiv: math
Y. Wakabayashi, Arithmetic liftings and 2d TQFT for dormant opers of higher level, arXiv: math. AG/2209.08528v3, (2025)
2025 arXiv
-
[41]
Wakabayashi, The irreducibility of the moduli space of pointed stable curves with dormant PGL _2^ ( ) -oper, in preparation
Y. Wakabayashi, The irreducibility of the moduli space of pointed stable curves with dormant PGL _2^ ( ) -oper, in preparation
-
[42]
Zhao, Maximally Frobenius-destabilized vector bundles over smooth algebraic curves, Internat
Y. Zhao, Maximally Frobenius-destabilized vector bundles over smooth algebraic curves, Internat. J. Math. 28 (2017), 1750003, 26 pp
2017
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.