Pith. sign in

REVIEW 2 major objections 5 minor 58 references

The irreducibility of the moduli space of pointed stable curves with dormant $\mathrm{PGL}_2^{(N)}$-oper

T0 review · 2 major / 5 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 moduli stack of pointed stable curves with dormant PGL_2^(N)-opers is irreducible whenever it is nonempty, for all levels N, all genera, and all admissible radii.

desk verdict A genuinely new higher-level irreducibility theorem that is well worth refereeing, but its level-lifting step is currently a one-sentence black box. read the letter →

arxiv 2509.03982 v1 pith:CXJHWGQD submitted 2025-09-04 math.AG

Yasuhiro Wakabayashi This is my paper
classification math.AG MSC 14H6014G17
keywords dormantoperPGL_2-opermodulistackHitchin-Mochizukimorphismp-curvatureirreducibilityFrobenius-destabilizedbundlespositivecharacteristic
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

This paper proves that the moduli stack of pointed stable curves equipped with a dormant PGL_2^(N)-oper—a flat projective-linear bundle in prime characteristic whose level-N p-curvature vanishes identically—is irreducible whenever it is nonempty, for every level N and every stable genus with marked points. The larger p^N-nilpotent locus is connected, with any two irreducible components intersecting. The proof works by constructing a higher-level Hitchin-Mochizuki morphism from the characteristic polynomials of p^N-curvatures; its zero fiber is the nilpotent locus, and its level-reduction map is finite, flat, and surjective. From irreducibility the paper derives lifting and deformation consequences, including that dormant opers can be raised to higher level over a finite cover, and that maximally Frobenius-destabilized stable bundles are Frobenius pull-backs. If correct, these moduli spaces—higher-genus analogues of Igusa curves and p-adic indigenous bundles—each have exactly one component.

What carries the argument

The engine is the level-N Hitchin-Mochizuki morphism HM^{(N)}_{eρ}: Op_{N+1,eρ,g,r} → B^♭_{univ,0}, a map to a relative affine Hitchin base taking a level-(N+1) oper to the characteristic polynomial of its p^N-curvature. Its inverse image of the zero section is exactly the p^N-nilpotent locus Op^{nilp}_{N+1,eρ,g,r}; the induced level-reduction map Λ_{eρ,g,r}: Op^{nilp}_{N+1,eρ,g,r} → Op^{Zzz}_{N,ρ,g,r} is finite, faithfully flat, and surjective. This transfers connectedness and irreducibility from lower level to higher level and from smaller curves to larger ones through tree and loop gluing morphisms, making the induction on dimension work.

What would settle it

Check the one-dimensional base cases directly: for a fixed level N≥2 and nonempty radius tuple ρ, compute the irreducible components of Op^{Zzz}_{N,ρ,1,1} and Op^{Zzz}_{N,ρ,0,4}. On a totally degenerate fiber, the balanced (p,N)-edge numberings give a finite explicit set of local components; if two such components survive as disjoint closed substacks, the theorem is false. This is exactly where the proof's Proposition 4.3 rules out a trivial line subbundle, so an explicit component count there would settle the claim.

Watch

Extended reading notes

Core claim

The central claim (Theorem 4.6 = Theorem A): for n=2, the stack Op^{Zzz}_{N,ρ,g,r} of pointed stable curves equipped with dormant PGL_2^(N)-opers of radii ρ is irreducible whenever nonempty, and the p^N-nilpotent stack Op^{nilp}_{N,ρ,g,r} is connected, with any two irreducible components meeting. A dormant PGL_2^(N)-oper is a flat PGL_2-bundle with a level-N differential-operator action and vanishing p^N-curvature; ρ records local monodromy at marked points. The proof uses the known smooth proper structure of Op^{Zzz}_{N,ρ,g,r}, builds a level-N Hitchin-Mochizuki morphism whose zero fiber is the nilpotent locus and whose level-reduction map is finite, flat, surjective, then glues curves and

Load-bearing premise

The proof treats as a black box the earlier theorem that dormant PGL_2^(N)-opers form a smooth proper moduli stack of the expected dimension with generically étale forgetful map, together with the classification of such opers on totally degenerate curves by balanced edge numberings; if that theorem fails at any level, the induction has no base and no lifting step.

Editorial extensions

If this is right

  • For every nonempty Op^{Zzz}_{N,ρ,g,r}, all dormant opers of that level and radius lie on a single irreducible component; the stack is smooth, proper, and of dimension 3g−3+r.
  • The nilpotent stack Op^{nilp}_{N,ρ,g,r} is connected: any two irreducible components meet, so the moduli space has no disconnected pieces.
  • Every dormant PGL_2^(N')-oper on a genus >1 curve can be lifted to level N (N ≥ N') after a finite, flat, generically étale base change (Corollary 4.8).
  • Every stable rank-2 degree-0 bundle that is maximally Frobenius-destabilized (its iterated Frobenius pull-back acquires a degree g−1 line subbundle) lies in the image of Frobenius pull-back, hence underlies an F-divided sheaf and carries a D^(∞)-module structure (Props. 5.2, 5.3).
  • For a general curve, dormant PGL_2-opers deform from characteristic p^{N'} to p^N, and second-order differential operators with full root-function sets lift to W_N (Props. 5.5, 5.6).

Reading between the lines

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

  • One consequence the paper does not spell out: the projective tower of level-reduction maps is a tower of finite flat surjections between irreducible stacks, so it is natural to ask whether its limit is a single p-adic analytic object; irreducibility at each finite level is compatible with, but does not by itself prove, uniqueness of the limit.
  • The same induction strategy might apply to PGL_n^(N)-opers for n>2 if the combinatorial edge-numbering classification and the dimension-1 base cases are supplied; the paper proves only n=2, and its appendix indicates the elliptic-curve case is governed by Igusa structures.
  • The finite flat generically étale forgetful maps now have a well-defined generic degree for every level and radius; combined with the 2d TQFT factorization mentioned in the introduction, irreducibility makes the total-count invariant of dormant opers on a general curve insensitive to the order of gluing, which could be tested explicitly in low genus.
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 / 5 minor

Summary. The paper studies moduli stacks of pointed stable curves equipped with PGL_n^{(N)}-opers in characteristic p, i.e. flat PGL_n-bundles with an action of differential operators of level N-1. It introduces a higher-level Hitchin-Mochizuki morphism defined by the characteristic polynomial of the p^N-curvature, proves that this morphism is finite and faithfully flat under suitable hypotheses (Theorems 3.21 and 3.23), and then uses degeneration and induction on (N,dim) to prove the central result: for n = 2, the stack Op^{Zzz...}_{N,ρ,g,r} of dormant PGL_2^{(N)}-opers of radius ρ is irreducible whenever nonempty, and Op^{nilp}_{N,ρ,g,r} is connected whenever nonempty (Theorem 4.6 / Theorem A). Applications are given to Frobenius-destabilized vector bundles and to deformations of dormant opers to prime-power characteristic, and an appendix relates dormant generic Miura opers on elliptic curves to Igusa structures.

Significance. If correct, the main theorem is a substantial characteristic-p analogue of Mochizuki's N=1 irreducibility result and gives a higher-genus analogue of Igusa curves. The paper is well structured, with explicit dimension counts, a clear induction on (N,d), and genuine applications to Frobenius pull-backs and flat bundles. Credit is due for the detailed proofs of the auxiliary cohomological statements (Lemma 3.13, Proposition 3.11) and for stating the nonemptiness hypotheses explicitly. The main caveat is that several load-bearing inputs are quoted from the author's own prior work [Wak14], and at least one step in the present text—the level-N to level-(N+1) lifting in Proposition 3.10—is asserted rather than proved.

major comments (2)
  1. [§3.3, Proposition 3.10] This proposition is the hinge for the whole induction: it produces a level-(N+1) lift eρ of a nonempty dormant moduli stack. The proof passes to a totally degenerate curve and applies [Wak14, Prop. 10.18], obtaining a balanced (p,N)-edge numbering (a_e). It then asserts in one sentence that the same (a_e) 'can be regarded' as a balanced (p,N+1)-edge numbering with radii (2a_{e_i}+1)/2 in (Z/p^{N+1}Z)^×/{±1}. That assertion is exactly the compatibility between the level-N and level-(N+1) classifications; [Wak14, Prop. 10.18] is a bijection at each fixed level and does not, by itself, imply that the level-N numbering is admissible at level N+1. If the balance condition at level N+1 involves congruences modulo p^{N+1} not implied by level N, then Proposition 3.14, Theorem 3.23, and Lemma 4.5 lose their lifting step. Please prove this compatibility explicitly or quote a precise statement fro
  2. [§3.5, Proposition 3.14] The proof of the local section property uses flatness of the composite (3.31), justified by the phrase 'both stacks are smooth and of the same dimension' together with [Har, III, Exercise 10.9]. That exercise requires control of fiber dimensions; the required quasi-finiteness is not stated. One can repair the argument by observing that the fiber over a point of Op^{Zzz...}_{N,ρ,g,r} is contained in the finite fiber of Π'_{eρ,g,r} over M_{g,r}, so the composite is proper and quasi-finite, hence finite, and then use Miracle Flatness. As written, however, the proof skips this step. Since Proposition 3.14 is used to supply the hypotheses of Theorem 3.23, this gap is load-bearing and should be fixed by expanding the argument.
minor comments (5)
  1. [§4.3, Lemma 4.5 statement] The statement says 'let eρ be an element of Ξ^r_{2,N} satisfying Op^{nilp}_{N+1,eρ,g,r} ≠ ∅'. The radii eρ should lie in Ξ^r_{2,N+1}, not Ξ^r_{2,N}; otherwise Λ_{eρ,g,r} is ill-typed. The same typo appears in Theorem 3.23 ('Ξ^r_{n,N}' should be 'Ξ^r_{n,N+1}').
  2. [§3.6, Corollary 3.24] The statement contains 'Op^{nilp}_{N+1,ρ,0,3}' where the subscript should be eρ; the proof itself uses the correct notation. Please correct the typo.
  3. [§4.3, proof of Lemma 4.5] There is a typo 'ζ ∈ Ξ_{2,Ξ}' in the g≥1 case; it should be 'ζ ∈ Ξ_{2,N}'. Also Op^{Zzz}_{2,N+1,eρ,g,r} appears in the proof of Proposition 3.14 and should be Op^{Zzz}_{N+1,eρ,g,r}.
  4. [§4.2, Lemma 4.4] The proof invokes [Wak4, Proposition 4.55] for the existence of a normal dormant (GL_2^{(N)},ϑ)-oper at level N, while the cited statement is formulated for N=1. If it generalizes to all N, a remark to that effect would be helpful; if not, a separate proof is needed.
  5. [§4.4, Proposition 4.7] The proof says the assertion follows from 'a standard argument' using Theorem 4.6 and Theorem 3.8. Since Proposition 4.7 is used in the applications, a slightly more explicit argument (or a reference to the exact combination of finiteness, flatness, and generic étaleness) would improve readability.

Circularity Check

2 steps flagged · score 4.0 of 10

Irreducibility proof has independent gluing/induction content, but the level-N to N+1 lifting step is a one-sentence assertion resting on the same author's [Wak14] classification, making the induction chain heavily self-citation-load-bearing.

  1. uniqueness imported from authors [Section 3.3, Proposition 3.10]
    "Then, the collection (a_e) can be regarded as a balanced (p,N+1)-edge numbering on G, and its radii are given by eρ. Applying the bijection (3.9) to the case N0 = N + 1, we obtain a dormant PGL_2^{(N+1)}-oper on X′ of radii eρ corresponding to (a_e)."

    This is the entire level-N → level-N+1 lifting argument on which Proposition 3.14, Theorem 3.23, and hence Lemma 4.5 depend. The paper does not prove that a balanced (p,N)-edge numbering remains balanced at level N+1; it asserts it in one sentence and cites [Wak14, Proposition 10.18], a bijective classification theorem from the same author's prior work. The existence of the lift is therefore imported as a black-box input rather than derived from the assumptions. If the balance condition at level N+1 is strictly stronger, the induction in Theorem 4.6 loses its lifting step. This is not an equivalence-by-construction, but it is a load-bearing self-citation at the exact point where the new level-N+1 content enters.

  2. self citation load bearing [Section 3.3, Theorem 3.8, proof]
    "The first assertion of (i) follows from [Wak14, Theorem 5.22, Corollary 6.28, (i)]. ... Assertion (iii) follows from [Wak14, Corollary 8.17, Theorem 8.29]."

    Theorem 3.8 supplies the geometric foundation used throughout: Op^{Zzz...}_{N,ρ,g,r} is smooth, proper, of dimension 3g−3+r, and Π′ is faithfully flat and generically étale. Every dimension count, surjectivity claim, and flatness argument in Proposition 3.14, Theorem 3.21, Theorem 3.23, and Lemma 4.5 sits on this theorem, and the proof is a direct citation to prior work by the same author rather than a re-derivation. This is normal mathematical practice, but it makes the central derivation chain depend on a thick layer of self-citations. The final irreducibility claim is not itself stated in [Wak14] and the gluing induction is original, so this is load-bearing self-citation rather than definitional circularity.

full rationale

The paper's headline theorem — irreducibility of Op^{Zzz...}_{N,ρ,g,r} for n=2 — is not a fitted prediction and is not assumed by the tools. The N=1 base case is taken from Mochizuki's independent work [Moc2], and the main inductive gluing argument in Lemma 4.5 and Theorem 4.6 is an original extension of that argument. Propositions 3.11, 3.15, and 3.21 are proved with substantial internal content (Quot schemes, Cartier operators, spectral sequences) rather than by renaming. No equation reduces to its input by construction, and there is no fitted parameter renamed as a prediction. However, the step from level N to level N+1 is the crucial new ingredient for higher-level irreducibility, and it is dispatched in Proposition 3.10 by a single assertion that the same integer edge-numbering is balanced at level N+1, backed by a classification theorem from the author's own [Wak14]. This is not a mathematical contradiction in the present text, but it is a load-bearing black-box dependence on the same author's prior work; if that lifting assertion is false or if [Wak14, Proposition 10.18] is not compatible with level reduction, the induction in Lemma 4.5 and Theorem 4.6 collapses. The paper also imports the entire smooth/proper/flat/étale structure of the moduli stacks from [Wak14] in Theorem 3.8. These are self-citations, not independent verification. Weighing the original induction content against this heavy self-citation layer, the appropriate circularity score is 4: some self-citation is load-bearing, while the central irreducibility claim still has substantial independent content.

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

Nothing in the central claim is fitted to data or pulled from a hat. The radii are discrete combinatorial labels; the p^N-curvature and higher-level opers are defined objects with proven properties, not speculative entities. The real ledger cost is the paper's reliance on a body of same-author prior work, chiefly [Wak14], whose theorems (representability, smoothness, edge-numbering classification) are the axioms the reader must accept without re-derivation in this paper.

assumptions (5)
  • domain assumption Representability and geometry of moduli of dormant PGL_n^{(N)}-opers: Op^{Zzz...}_{N,ρ,g,r} is a proper Deligne-Mumford stack with finite projection to M_{g,r}; for n=2 it is smooth of dimension 3g-3+r and the projection is faithfully flat and generically étale.
    Stated as Theorem 3.8, citing [Wak14, Theorem 6.17, Corollary 8.17, Theorem 8.29]. This is the platform for all dimension counts, surjectivity arguments, and the base of the induction in Sections 3-4.
  • domain assumption Existence of dormant n(N)-theta characteristics and the bijection between (GL_n^{(N)}, ϑ)-opers and PGL_n^{(N)}-opers.
    Used throughout Section 3 to pass between vector-bundle descriptions and projective opers; cited from [Wak14, Proposition 5.14, Theorem 5.18].
  • domain assumption Balanced (p,N0)-edge numbering classification of dormant PGL_2^{(N0)}-opers on totally degenerate stable curves, for each level N0.
    Used in Proposition 3.10 to lift radii from level N to level N+1. Cited from [Wak14, Proposition 10.18]; this combinatorial input is essential for the level-reduction surjectivity.
  • domain assumption Mochizuki's N=1 irreducibility of Op^{Zzz...}_{1,ρ,g,r} and connectedness of Op^{nilp}_{1,ρ,g,r}; also existence of normal representatives of PGL_2-opers used in Lemma 4.4.
    Base cases and normal-form input for Lemma 4.4 and Proposition 4.2, cited from [Moc2, Chapter II, Theorems 1.12, 2.8] and [Wak4, Proposition 4.55].
  • standard math Standard cohomological facts used in the proofs: properness of Quot schemes, conjugate spectral sequences, Ogus/Cartier isomorphism, Riemann-Roch with psi classes.
    Invoked in Theorem 3.21, Proposition 3.11, and Proposition 4.3 with citations [Har], [Ogu1], [Ogu2], [ACG], [Gro]. These are background mathematics, independent of the author's program.
invented entities (2)
  • Level-N Hitchin-Mochizuki morphism HM^{(N)}: Op_{N+1,⇒ρ,g,r} to B^♭_{univ} independent evidence
    purpose: Sends a level-(N+1) oper to the characteristic polynomial of its p^N-curvature; its zero fiber is the moduli of p^N-nilpotent opers, enabling the level-reduction theorem (Theorem 3.23).
    Explicitly constructed in Section 3.7 and proven to be finite and faithfully flat (Theorem 3.21). It is a mathematical theorem, not a postulated entity pulled from a hat.
  • Moduli stack Op^{nilp}_{N,ρ,g,r} of p^N-nilpotent PGL_n^{(N)}-opers independent evidence
    purpose: Intermediate stratum between all opers and dormant opers; connectedness of this stack is the bridge to irreducibility of the dormant stack in Theorem 4.6(i).
    Defined as the closed substack cut out by ψ-Char = 0 (Proposition 3.9); its representability and geometric properties are established in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The irreducibility of the moduli space of pointed stable curves with dormant $\mathrm{PGL}_2^{(N)}$-oper." pith.science (2026). https://pith.science/paper/CXJHWGQD

@misc{pith2026250903982,
  author       = {Pith},
  title        = {Pith review of: The irreducibility of the moduli space of pointed stable curves with dormant $\mathrmPGL_2^(N)$-oper},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CXJHWGQD}},
  note         = {Machine review of arXiv:2509.03982}
}
abstract

A $\mathrm{PGL}_n^{(N)}$-oper is a specific type of flat $\mathrm{PGL}_n$-bundle on an algebraic curve in prime characteristic $p$ enhanced by an action of the sheaf of differential operators of level $N-1$. In this paper, we introduce and study a higher-level generalization of the Hitchin-Mochizuki morphism on the moduli space of $\mathrm{PGL}_n^{(N)}$-opers, defined via the characteristic polynomials of their $p^N$-curvatures. As an application, we prove the irreducibility of the moduli space classifying pointed stable curves equipped with dormant $\mathrm{PGL}_2^{(N)}$-opers, i.e., $\mathrm{PGL}_2^{(N)}$-opers with vanishing $p^N$-curvature.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

58 extracted references · 23 canonical work pages

  1. [1]

    Andr\' e , Sur la conjecture des p -courbures de Grothendieck-Katz et un probl\` e me de Dwork, Geometric aspects of Dwork theory (2004), pp

    Y. Andr\' e , Sur la conjecture des p -courbures de Grothendieck-Katz et un probl\` e me de Dwork, Geometric aspects of Dwork theory (2004), pp. 55-112

    2004

  2. [2]

    Arbarello, M

    E. Arbarello, M. Cornalba, P. A. Griffiths, Geometry of algebraic curves. Volume II , Grundlehren Math. Wiss., 268 Springer, Heidelberg, (2011), xxx+963 pp

    work page 2011

  3. [3]

    A. A. Beilinson, V. Drinfeld, Quantization of Hitchin's integrable system and Hecke eigensheaves, available at: https://inspirehep.net/literature/

    work page

  4. [4]

    Berthelot, -modules arithm\' e tiques I, Op\' e rateurs diff\' e rentiels de niveau fini, Ann

    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

    1996

  5. [5]

    Berthelot, -modules arithm\' e tiques II, Descente par Frobenius , M\' e m

    P. Berthelot, -modules arithm\' e tiques II, Descente par Frobenius , M\' e m. Soc. Math. France 81 (2000)

    2000

  6. [6]

    Bezrukavnikov, R

    R. Bezrukavnikov, R. Travkin, Quantization of Hitchin integrable system via positive characteristic, Pure Appl. Math. Q. 21 (2024), pp. 635-661

    2024

  7. [7]

    T. H. Chen, X. Zhu, Non-abelian Hodge theory for algebraic curves in characteristic p , Geom. Funct. Anal. 25 (2015), pp. 1706-1733

    2015

  8. [8]

    Deligne, D

    P. Deligne, D. Mumford, The irreducibility of the space of curves of given genus, Publ. Math. I.H.E.S. 36 (1969), pp. 75-110

    work page 1969

Show all 58 references
  1. [9]

    J. P. P. dos Santos, Fundamental group schemes for stratified sheaves, J. Algebra 317 (2007), pp. 691-713

    2007

  2. [10]

    Faltings, Real projective structures on Riemann surfaces, Compos

    G. Faltings, Real projective structures on Riemann surfaces, Compos. Math. 48 (1983), pp. 223-269

    1983

  3. [11]

    Fantechi, L

    B. Fantechi, L. G\" u ttsche, L. Illusie, S. Kleiman, N. Nitsure, A. Vistoli, Fundamental algebraic geometry, Math. Surveys Monogr., 123 American Mathematical Society, Providence, RI (2005), x+339 pp

    2005

  4. [12]

    Gieseker, Flat vector bundles and the fundamental group in non-zero characteristic, Ann

    D. Gieseker, Flat vector bundles and the fundamental group in non-zero characteristic, Ann. Scuola Norm. Sup. Pisa Cl. Sci. 2 , (1975), pp. 1-31

    1975

  5. [13]

    W. M. Goldman, Projective structures with Fuchsian holonomy, J. Differential Geom. 25 (1987), pp. 297-326

    1987

  6. [14]

    Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique

    A. Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique. IV. \' E tude locale des sch\' e mas et des morphismes de sch\' e mas IV, Inst. Hautes Etudes Sci. Publ. Math. 32 , (1967), pp. 5-361

    1967

  7. [15]

    Hartshorne, Algebraic geometry , Grad

    R. Hartshorne, Algebraic geometry , Grad. Texts in Math., 52 Springer-Verlag, New York-Heidelberg (1977), xvi+496 pp

    1977

  8. [16]

    Hoshi, Frobenius-projective structures on curves in positive characteristic, Publ

    Y. Hoshi, Frobenius-projective structures on curves in positive characteristic, Publ. Res. Inst. Math. Sci. 56 (2020), pp. 401-430

    2020

  9. [17]

    Hoshi, Frobenius-affine structures and Tango curves, Nagoya Math

    Y. Hoshi, Frobenius-affine structures and Tango curves, Nagoya Math. J. 250 , (2023), pp. 385-409

    2023

  10. [18]

    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

  11. [19]

    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

  12. [20]

    Joshi, E

    K. Joshi, E. Z. Xia, Moduli of vector bundles on curves in positive characteristics, Compos. Math. 122 (2000), pp. 315-321

    2000

  13. [21]

    Karube, Y

    N. Karube, Y. Wakabayashi, The moduli space of dormant opers on elliptic curves, arXiv: math. AG/2504.00418v1, (2025)

    2025 arXiv

  14. [22]

    Kato, Log smooth deformation and moduli of log smooth curves, Internat

    F. Kato, Log smooth deformation and moduli of log smooth curves, Internat. J. Math. 11 , (2000), pp. 215-232

    2000

  15. [23]

    Katz, Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin, Inst

    N. Katz, Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin, Inst. Hautes Etudes Sci. Publ. Math. 39 (1970), pp. 175-232

    1970

  16. [24]

    N. M. Katz, Algebraic solutions of differential equations; p -curvature and the Hodge filtration, Invent Math. 18 , (1972), pp. 1-118

    1972

  17. [25]

    N. M. Katz, A conjecture in the arithmetic theory of differential equations, Bull. Soc. Math. France, 110 , (1982), pp. 203-239

    1982

  18. [26]

    N. M. Katz, B. Mazur, Arithmetic moduli of elliptic curves , Annals of Mathematics Studies 108 , Princeton University Press, (1985)

    1985

  19. [27]

    Kondo, Y

    Y. Kondo, Y. Wakabayashi, Explicit computation of the generic degree of the generalized Verschiebung in rank two, in preparation

  20. [28]

    Lange, C

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

    2008

  21. [29]

    Laszlo, C

    Y. Laszlo, C. Pauly, On the Hitchin morphism in positive characteristic, Internat. Math. Res. Notices 3 (2001), pp. 129-143

    2001

  22. [30]

    Laszlo, C

    Y. Laszlo, C. Pauly, The action of the Frobenius maps on rank 2 vector bundles in characteristic 2 , Journal of Algebraic Geometry 11 (2002), pp. 129-143

    2002

  23. [31]

    Laszlo, C

    Y. Laszlo, C. Pauly, The Frobenius map, rank 2 vector bundles and Kummer's quartic surface in characteristic 2 and 3 , Advances in Mathematics 185 (2004), pp. 246-269

    2004

  24. [32]

    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

  25. [33]

    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

  26. [34]

    F. Liu, B. Osserman, Mochizuki's indigenous bundles and Ehrhart polynomials, J. Algebraic Combin. 26 (2006), pp. 125-136

    2006

  27. [35]

    V. B. Mehta, S. Subramanian, Nef line bundles which are not ample, Math. Zeit. 219 (1995), pp. 235-244

    1995

  28. [36]

    Mochizuki, A theory of ordinary p -adic curves, Publ

    S. Mochizuki, A theory of ordinary p -adic curves, Publ. RIMS 32 (1996), pp. 957-1151

    1996

  29. [37]

    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

  30. [38]

    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

  31. [39]

    Ogus, F -Crystals, Griffiths Transversality, and the Hodge Decomposition, Ast\' e risque 221 , Soc

    A. Ogus, F -Crystals, Griffiths Transversality, and the Hodge Decomposition, Ast\' e risque 221 , Soc. Math. de France, (1994), ii+183 pp

    1994

  32. [40]

    Ogus, Higgs cohomology, p -curvature, and the Cartier isomorphism, Compos

    A. Ogus, Higgs cohomology, p -curvature, and the Cartier isomorphism, Compos. Math. 140 (2004), pp. 145-164

    2004

  33. [41]

    Ohkawa, On logarithmic nonabelian Hodge theory of higher level in characteristic p , Rend.Sem.Mat

    S. Ohkawa, On logarithmic nonabelian Hodge theory of higher level in characteristic p , Rend.Sem.Mat. Univ. Padova. 134 (2015), pp. 47-91

    2015

  34. [42]

    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

  35. [43]

    Wakabayashi, Duality for dormant opers, J

    Y. Wakabayashi, Duality for dormant opers, J. Math. Sci. Univ. Tokyo 24 (2017), pp. 271-320

    2017

  36. [44]

    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

  37. [45]

    Wakabayashi, Moduli of Tango structures and dormant Miura opers, Mosc

    Y. Wakabayashi, Moduli of Tango structures and dormant Miura opers, Mosc. Math. J. 20 (2020), pp. 575-636

    2020

  38. [46]

    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

  39. [47]

    Wakabayashi, Frobenius projective and affine geometry of varieties in positive characteristic, arXiv: math

    Y. Wakabayashi, Frobenius projective and affine geometry of varieties in positive characteristic, arXiv: math. AG/2011.04846v2 (2022)

    2011 arXiv

  40. [48]

    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

  41. [49]

    Wakabayashi, Cyclic \' e tale coverings of generic curves and ordinariness of dormant opers, Journal of Algebra 623 (2023), pp

    Y. Wakabayashi, Cyclic \' e tale coverings of generic curves and ordinariness of dormant opers, Journal of Algebra 623 (2023), pp. 154-192

    2023

  42. [50]

    Wakabayashi, Frobenius-Ehresmann structures and Cartan geometries in positive characteristic, Indag

    Y. Wakabayashi, Frobenius-Ehresmann structures and Cartan geometries in positive characteristic, Indag. Math. (N.S.) 34 , (2023), pp. 488-580

    2023

  43. [51]

    Wakabayashi, Infinitesimal deformations of opers in positive characteristic and the de Rham cohomology of symmetric products, arXiv: math

    Y. Wakabayashi, Infinitesimal deformations of opers in positive characteristic and the de Rham cohomology of symmetric products, arXiv: math. AG/2309.11750v1, (2023)

    2023 arXiv

  44. [52]

    Wakabayashi, Opers with real monodromy and Eichler-Shimura isomorphism, arXiv: math

    Y. Wakabayashi, Opers with real monodromy and Eichler-Shimura isomorphism, arXiv: math. AG/2309.12203v1, (2023)

    2023 arXiv

  45. [53]

    Wakabayashi, Frobenius pull-back of parabolic bundles and dormant opers, arXiv: math

    Y. Wakabayashi, Frobenius pull-back of parabolic bundles and dormant opers, arXiv: math. AG/2408.12267v1, (2024)

    2024 arXiv

  46. [54]

    Wakabayashi, Inseparable Gauss maps and dormant opers, Math

    Y. Wakabayashi, Inseparable Gauss maps and dormant opers, Math. J. Okayama Univ. 67 , (2025), pp. 1-28

    2025

  47. [55]

    Wakabayashi, The generic \' e taleness of the moduli space of dormant _ 2 -opers, J

    Y. Wakabayashi, The generic \' e taleness of the moduli space of dormant _ 2 -opers, J. Geom. Phys. 211 (2025), Paper No. 105439, 22 pp

    2025

  48. [56]

    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

  49. [57]

    Wakabayashi, Towers of the moduli space of dormant PGL _2^ ( ) -opers, in preparation

    Y. Wakabayashi, Towers of the moduli space of dormant PGL _2^ ( ) -opers, in preparation

  50. [58]

    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

Pith tools

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