pith. sign in

arxiv: 2605.17973 · v1 · pith:NJH3VQ6Lnew · submitted 2026-05-18 · 🧮 math.AG · math.NT

Genus formulas for dormant modular curves and asymptotic behavior of their function fields

Kohei Aoyama , Youhei Morita , Yasuhiro Wakabayashi This is my paper

Pith reviewed 2026-05-20 01:13 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords dormant modular curvesgenus formulafunction field towersasymptotic behaviorPGL2-opersmoduli spacesDrinfeld modular curves
0
0 comments X

The pith

Dormant modular curves admit an explicit genus formula that governs the asymptotic behavior of their function field towers.

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

The paper constructs dormant modular curves from the moduli spaces of higher-level dormant PGL2-opers of prescribed radii on 4-pointed stable curves of genus zero. It derives a closed formula for the genus of each curve in the resulting projective system under level reduction. This formula makes it possible to compute the asymptotic ratios that describe how the number of rational points grows relative to the genus in the associated towers of function fields. Readers may care because such towers supply examples used in arithmetic geometry and in the construction of algebraic-geometric codes over finite fields, and the new family can be compared directly with the classical modular and Drinfeld modular towers.

Core claim

Dormant modular curves arise as the moduli spaces of dormant PGL2-opers of prescribed radii on 4-pointed genus-zero stable curves. Building on prior results in the moduli theory of dormant opers, the paper supplies an explicit formula for the genus of each curve in the tower obtained by successive level reduction. The formula determines the asymptotic behavior of the corresponding towers of algebraic function fields over finite fields and permits quantitative comparison with the classical modular and Drinfeld modular cases.

What carries the argument

The explicit genus formula for dormant modular curves at each level, obtained from the moduli theory of dormant opers.

If this is right

  • The genus formula yields an explicit value for the limit superior of the ratio of rational points to genus in the function field towers.
  • The asymptotic performance of the dormant towers can be compared term-by-term with the classical modular and Drinfeld modular towers.
  • The function fields form infinite towers over finite fields whose ramification and point-counting properties are controlled by the genus expression.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same genus formula may supply new families of algebraic-geometric codes whose parameters can be read off directly from the expression.
  • Analogous constructions for opers attached to other groups or on curves with different numbers of marked points could produce further towers with calculable asymptotics.
  • The comparison with Drinfeld modular curves suggests possible links between dormant opers and questions in the geometric Langlands program over finite fields.

Load-bearing premise

The previous results on the moduli theory of dormant opers extend directly to the higher-level spaces of dormant PGL2-opers on 4-pointed genus-zero curves.

What would settle it

An independent computation of the genus for the first few levels of the tower, for example by direct Hurwitz class-number methods or by counting points on the moduli space, that fails to match the stated formula.

read the original abstract

Towers of algebraic function fields over finite fields play a fundamental role in arithmetic geometry and coding theory. Classical examples arising from modular and Drinfeld modular curves exhibit asymptotically good behavior. In this paper, we introduce an analogous construction derived from the moduli spaces of higher-level dormant $\mathrm{PGL}_2$-opers of prescribed radii on $4$-pointed stable curves of genus $0$. These spaces, which we refer to as dormant modular curves, form projective systems under level reduction. Building on previous results in the moduli theory of dormant opers, we establish an explicit formula for computing the genera of these curves. This formula allows us to study the asymptotic behavior of the corresponding towers of function fields and to compare them with the classical modular and Drinfeld modular cases.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper introduces dormant modular curves as moduli spaces of higher-level dormant PGL_2-opers of prescribed radii on 4-pointed stable curves of genus zero. These spaces form projective systems under level reduction. Building on prior results in the moduli theory of dormant opers, the authors derive an explicit genus formula for these curves. The formula is then used to analyze the asymptotic behavior of the associated towers of function fields over finite fields and to compare the resulting limits with those of classical modular curves and Drinfeld modular curves.

Significance. If the explicit genus formula and the subsequent asymptotic analysis hold, the work supplies a new family of examples of towers of algebraic function fields exhibiting asymptotically good behavior. The construction via dormant opers on pointed genus-zero curves extends the classical repertoire and permits direct numerical comparison of the N/g limits with the modular and Drinfeld cases. The explicitness of the genus formula is a strength that supports concrete, falsifiable statements about the towers.

minor comments (2)
  1. The introduction would benefit from an explicit statement, early on, of the precise prior theorem (including its reference number) that supplies the genus formula, so that the reduction step is immediately traceable.
  2. Notation for the radii and the level structures should be fixed consistently between the definition of the dormant modular curves and the statement of the genus formula.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript and for the positive assessment of its significance. The recommendation for minor revision is noted. No specific major comments appear in the report, so we have no individual points requiring direct rebuttal or clarification at this stage. We will incorporate any minor editorial improvements in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via prior independent moduli results

full rationale

The paper defines dormant modular curves as moduli spaces of higher-level dormant PGL2-opers on 4-pointed genus-0 stable curves, forms projective systems under level reduction, and derives an explicit genus formula by building on previous results in the moduli theory of dormant opers. Asymptotics of the function-field towers are then obtained by direct substitution into the standard N/g limit expressions and compared numerically to classical modular and Drinfeld cases. No equation reduces a claimed prediction to a fitted input by construction, no self-definition of the central objects occurs, and the cited prior results function as external input rather than a load-bearing self-citation chain that forces the outcome. The work adds concrete formulas and comparisons that remain independent of the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Ledger entries are inferred from the abstract alone. The work depends on prior moduli theory results and introduces the new dormant modular curve objects.

axioms (1)
  • domain assumption Previous results in the moduli theory of dormant opers hold and can be applied directly to compute genera.
    Explicitly invoked to establish the genus formula.
invented entities (1)
  • dormant modular curves no independent evidence
    purpose: Projective systems of moduli spaces for studying asymptotic behavior of function field towers
    Newly defined objects in this paper from higher-level dormant PGL2-opers on 4-pointed genus-0 curves.

pith-pipeline@v0.9.0 · 5662 in / 1306 out tokens · 54449 ms · 2026-05-20T01:13:15.547375+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 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

    work page 2004

  2. [2]

    A. A. Beilinson, V. Drinfeld, ``Quantization of Hitchin's integrable system and Hecke eigensheaves." Available at: https://math.uchicago.edu/ drinfeld/langlands/QuantizationHitchin.pdf

    work page

  3. [3]

    Beilinsion, V

    A. Beilinsion, V. Drinfeld, Opers. arXiv: math. AG/0501398v1, (2005)

    work page arXiv 2005

  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

    work page 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)

    work page 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

    work page 2024

  7. [7]

    N. D. Elkies, Explicit modular towers, Proceedings of the Thirty-Fifth Annual Allerton Conference on Communication, Control and Computing, T.Basar and A.Vardy, eds (1997), pp. 23-32

    work page 1997

  8. [8]

    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

    work page 2020

  9. [9]

    Illusie, An Overview of the Work of K

    L. Illusie, An Overview of the Work of K. Fujiwara, K. Kato and C. Nakamura on Logarithmic Etale Cohomology. Ast\' e risque 279 (2002), pp. 271-322

    work page 2002

  10. [10]

    Joshi, The degree of the dormant operatic locus, Internat

    K. Joshi, The degree of the dormant operatic locus, Internat. Math. Res. Notices 9 (2017), pp. 2599-2613

    work page 2017

  11. [11]

    Joshi, C

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

    work page 2015

  12. [12]

    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

    work page 2006

  13. [13]

    Karube, Y

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

    work page arXiv 2025

  14. [14]

    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

    work page 2000

  15. [15]

    Kato, Logarithmic structures of Fontaine-Illusie, Algebraic analysis, geometry, and number theory, John Hopkins Univ

    K. Kato, Logarithmic structures of Fontaine-Illusie, Algebraic analysis, geometry, and number theory, John Hopkins Univ. Press, Baltimore, (1989), pp. 191-224

    work page 1989

  16. [16]

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

    work page 1982

  17. [17]

    Laszlo, C

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

    work page 2001

  18. [18]

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

    work page 2006

  19. [19]

    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

    work page 1996

  20. [20]

    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

    work page 1999

  21. [21]

    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)

    work page 2002

  22. [22]

    Mumford, Towards an enumerative geometry of the moduli space of curves

    D. Mumford, Towards an enumerative geometry of the moduli space of curves. Arithmetic and geometry, vol.\,II, Progr. Math. 36 , Birkh\" a user Boston, Boston, (1983), pp. 271-328

    work page 1983

  23. [23]

    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

    work page 2015

  24. [24]

    Stichtenoth, Algebraic function fields and codes ,

    H. Stichtenoth, Algebraic function fields and codes ,

    work page

  25. [25]

    Vistoli, Intersection theory on algebraic stacks and on their moduli spaces

    A. Vistoli, Intersection theory on algebraic stacks and on their moduli spaces. Invent. Math. 97 (1989), pp. 613-670

    work page 1989

  26. [26]

    Wakabayashi, Duality for dormant opers, J

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

    work page 2017

  27. [27]

    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

    work page 2022

  28. [28]

    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

    work page 2023

  29. [29]

    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)

    work page arXiv 2023

  30. [30]

    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

    work page 2025

  31. [31]

    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

    work page 2025

  32. [32]

    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

    work page 2025

  33. [33]

    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)

    work page arXiv 2025

  34. [34]

    Wakabayashi, The irreducibility of the moduli space of pointed stable curves with dormant PGL _2^ ( ) -oper, arXiv: math

    Y. Wakabayashi, The irreducibility of the moduli space of pointed stable curves with dormant PGL _2^ ( ) -oper, arXiv: math. AG/2509.03982v1, (2025)

    work page arXiv 2025

  35. [35]

    Y. Wakabayashi, Projective and affine structures in positive characteristic I: Chern class formulas and characterizations of projective spaces, Mathematische Nachrichten 299 (2026), pp. 881-918

    work page 2026

  36. [36]

    Wakabayashi, Differential modules and dormant opers of higher level, to appear in J

    Y. Wakabayashi, Differential modules and dormant opers of higher level, to appear in J. Math. Soc. Japan, (2026)

    work page 2026