pith. sign in

arxiv: 2605.17981 · v1 · pith:MU5T6HA2new · submitted 2026-05-18 · 🧮 math.AG · math.RT

Duality for dormant opers of classical types B and C

Yasuhiro Wakabayashi This is my paper

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

classification 🧮 math.AG math.RT
keywords dormant opersmoduli spacesdualityprime characteristicLie algebrastype Btype Calgebraic curves
0
0 comments X

The pith

Under the condition p-1 = 2(ℓ + m), the moduli spaces of dormant so_{2ℓ+1}-opers and dormant sp_{2m}-opers with prescribed symmetric radii are canonically isomorphic.

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

The paper constructs a canonical isomorphism between the moduli spaces of dormant opers for the orthogonal Lie algebra so_{2ℓ+1} and the symplectic Lie algebra sp_{2m} when the prime p satisfies p-1 = 2(ℓ + m). This extends an earlier duality known for special linear Lie algebras sl_n and sl_{p-n}. A sympathetic reader would care because such dualities provide structural insights into the finite moduli spaces of flat bundles with vanishing p-curvature over curves in prime characteristic, and enable computation of their enumerative invariants.

Core claim

Under the numerical condition p-1 = 2(ℓ + m), we construct a canonical isomorphism between the moduli spaces of dormant so_{2ℓ+1}-opers and dormant sp_{2m}-opers with prescribed symmetric radii.

What carries the argument

The canonical isomorphism, or duality map, between the two moduli spaces that pairs dormant opers of type B and type C using compatible symmetric radii and the vanishing p-curvature condition.

If this is right

  • This duality extends the tools previously available for type A cases to classical types B and C.
  • It facilitates the computation and structural understanding of enumerative invariants for these moduli spaces.
  • The isomorphism supplies a new way to relate geometric properties of dormant opers across orthogonal and symplectic settings.

Where Pith is reading between the lines

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

  • The construction might generalize if similar numerical conditions can be identified for other pairs of Lie algebras.
  • One could check whether the isomorphism preserves further structures such as the Hitchin fibration or other natural maps on the moduli spaces.
  • These dualities could connect to questions about flat connections or Higgs bundles in positive characteristic beyond the classical types.

Load-bearing premise

The prescribed symmetric radii can be chosen compatibly on both sides and the vanishing p-curvature condition interacts with the Lie algebra structures of types B and C to permit a well-defined and bijective duality map.

What would settle it

For small values of ℓ, m and p satisfying p-1=2(ℓ+m), compute the dimensions or point counts of both moduli spaces and check whether they are equal under the proposed map, or exhibit a dormant oper without a match.

read the original abstract

A $\mathfrak{g}$-oper for a simple Lie algebra $\mathfrak{g}$ is a specific type of flat principal bundle on an algebraic curve. When the base field is of prime characteristic $p$, those with vanishing $p$-curvature are called dormant $\mathfrak{g}$-opers, and they form finite and geometrically meaningful moduli spaces. In earlier work, a canonical duality was established between dormant $\mathfrak{sl}_n$-opers and dormant $\mathfrak{sl}_{p-n}$-opers. This duality has provided effective tools for the study of higher-rank cases, as well as for the computation and structural understanding of the associated enumerative invariants. The main result of this paper extends this duality phenomenon to classical Lie algebras of type B and C. More precisely, under the numerical condition $p-1 = 2 (\ell +m)$, we construct a canonical isomorphism between the moduli spaces of dormant $\mathfrak{so}_{2\ell +1}$-opers and dormant and $\mathfrak{sp}_{2m}$-opers with prescribed symmetric radii.

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

1 major / 0 minor

Summary. The paper extends the known duality for dormant sl_n-opers to classical types B and C. Under the numerical condition p-1 = 2(ℓ + m), it constructs a canonical isomorphism between the moduli spaces of dormant so_{2ℓ+1}-opers and dormant sp_{2m}-opers equipped with prescribed symmetric radii.

Significance. If the isomorphism is established rigorously, the result would furnish a new structural tool for analyzing finite moduli spaces of dormant opers and their enumerative invariants in types B and C, paralleling the utility of the sl_n duality in higher-rank cases.

major comments (1)
  1. [Main theorem / construction of the isomorphism] The central construction relies on the assumption that symmetric radii can be chosen compatibly on the so_{2ℓ+1} and sp_{2m} sides and that the vanishing p-curvature condition interacts with the respective root systems so that the duality map is well-defined and bijective in both directions. Explicit verification that the radius prescription transforms correctly under the map and that dormancy is preserved without additional assumptions on the curve or characteristic is required to substantiate the claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We are grateful to the referee for the careful reading of our manuscript and for the positive assessment of its potential significance. We address the major comment below and will revise the paper to incorporate the requested explicit verifications.

read point-by-point responses

  1. Referee: The central construction relies on the assumption that symmetric radii can be chosen compatibly on the so_{2ℓ+1} and sp_{2m} sides and that the vanishing p-curvature condition interacts with the respective root systems so that the duality map is well-defined and bijective in both directions. Explicit verification that the radius prescription transforms correctly under the map and that dormancy is preserved without additional assumptions on the curve or characteristic is required to substantiate the claim.

    Authors: We agree that making the verification fully explicit will improve the rigor and readability of the argument. In the manuscript, the compatibility of symmetric radii under the condition p-1 = 2(ℓ + m) is established in Proposition 3.2, the root-system interaction is used to define the map in Definition 3.5, and preservation of vanishing p-curvature together with bijectivity is proved in Theorem 3.8 and Theorem 4.2 by direct local computations. To address the referee’s request, we will insert a new subsection (3.4) that provides a step-by-step check: first, the explicit transformation rule for the radius data under the duality map; second, a direct verification that dormancy is preserved for an arbitrary smooth curve in characteristic p satisfying only the numerical hypothesis, without any further restrictions on the curve or the characteristic. This addition will also include a short argument confirming that the inverse map is likewise well-defined, thereby substantiating bijectivity in both directions. revision: yes

Circularity Check

0 steps flagged

New canonical isomorphism constructed for B/C opers extending prior sl_n duality without definitional reduction

full rationale

The paper constructs a canonical isomorphism between moduli spaces of dormant so_{2ℓ+1}-opers and sp_{2m}-opers under the condition p-1=2(ℓ+m), building explicitly on an earlier duality result for sl_n-opers. No load-bearing step reduces the new map to a redefinition of inputs, a fitted parameter renamed as prediction, or a self-citation chain that itself lacks independent verification. The argument requires compatibility of symmetric radii and interaction of vanishing p-curvature with the respective root systems, but these are presented as assumptions enabling the construction rather than quantities derived from the same data by construction. The derivation remains self-contained with independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, ad-hoc axioms, or invented entities; the work relies on standard background in Lie algebras and opers in characteristic p.

axioms (1)
  • standard math Standard properties of simple Lie algebras of types B and C and their associated opers
    Invoked implicitly as the setting for the moduli spaces.

pith-pipeline@v0.9.0 · 5703 in / 1254 out tokens · 37083 ms · 2026-05-20T01:07:17.226132+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

28 extracted references · 28 canonical work pages

  1. [1]

    Andr\' e , Sur la conjecture des p -courbures de Grothendieck-Katz et un probl\` e me de Dwork

    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]

    Bezrukavnikov, A

    R. Bezrukavnikov, A. Braverman, Geometric Langlands correspondence for -modules in prime characteristic: the GL (n) case, Pure Appl. Math. Q. 3 (2007), pp. 153-179

    work page 2007

  3. [3]

    Bezrukavnikov, R

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

    work page 2025

  4. [4]

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

    work page 2015

  5. [5]

    T. H. Chen, X. Zhu, Geometric Langlands in prime characteristic, Compos. Math. 153 (2017), pp. 395-452

    work page 2017

  6. [6]

    M. Gros, B. Le Stum, A. Quir\' o s, A Simpson correspondence in positive characteristic, Publ. Res. Inst. Math. Sci. 46 (2010), pp. 1-35

    work page 2010

  7. [7]

    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

  8. [8]

    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

  9. [9]

    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

  10. [10]

    Joshi, S

    K. Joshi, S. Ramanan, E. Z. Xia, J. K. Yu, On vector bundles destabilized by Frobenius pull-back. Composito Mathematica 142 (2006), pp. 616-630

    work page 2006

  11. [11]

    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

  12. [12]

    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

  13. [13]

    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

    work page 1970

  14. [14]

    Katz, A conjecture in the arithmetic theory of differential equations, Bull

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

    work page 1982

  15. [15]

    G. Lan, M. Sheng, K. Zuo, Nonabelian Hodge theory in positive characteristic via exponential twisting, Math. Res. Lett. 22 (2015), pp. 85-879

    work page 2015

  16. [16]

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

    work page 2006

  17. [17]

    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

  18. [18]

    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

    work page 1994

  19. [19]

    A. Ogus, V. Vologodsky, Nonabelian Hodge theory in characteristic p , Publ. Math. Inst. Hautes \' E tudes Sci. 106 (2007), pp. 1-138

    work page 2007

  20. [20]

    Raynaud, Sections des fibr\' e s vectoriels sur une courbe, Bull

    M. Raynaud, Sections des fibr\' e s vectoriels sur une courbe, Bull. Soc. Math. France 110 (1982), pp. 103-125

    work page 1982

  21. [21]

    Shen, Tamely ramified geometric Langlands correspondence in positive characteristic, Int

    S. Shen, Tamely ramified geometric Langlands correspondence in positive characteristic, Int. Math. Res. Not. IMRN 7 (2024), pp. 6176-6208

    work page 2024

  22. [22]

    Sun, Direct images of bundles under Frobenius morphism, Invent

    X. Sun, Direct images of bundles under Frobenius morphism, Invent. Math. 173 (2008), pp. 427-447

    work page 2008

  23. [23]

    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

    work page 2014

  24. [24]

    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

  25. [25]

    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

    work page 2019

  26. [26]

    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

  27. [27]

    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

  28. [28]

    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