Pith. sign in

REVIEW 3 major objections 5 minor 32 references

Generalized hypergeometric equations and $2$d TQFT for dormant opers in characteristic $\leq 7$

T0 review · 3 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 Rigid hypergeometric opers: radii determine them, so all dormant-oper counts for p ≤ 7 are explicit — including a lone exceptional case with count 2.

desk verdict Rigidity theorem for hypergeometric dormant opers is plausible, but the p=7 completeness claim rests on an unsupported exhaustion and a flawed lemma proof. read the letter →

arxiv 2509.03994 v1 pith:4CGYHKNO submitted 2025-09-04 math.AG

Keita Mori , Yasuhiro Wakabayashi This is my paper
classification math.AG MSC 14H6014G17
keywords dormantoperp-curvaturegeneralizedhypergeometricequation2dTQFTcharacteristicpPGL_n-opersmoduliofopersrigidity
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

Dormant PGL_n-opers are flat bundles with flags whose p-curvature — a characteristic-p invariant of connections — vanishes identically; counting how many such objects sit over a general curve is an enumerative problem organized as a 2-dimensional topological quantum field theory (2d TQFT). The paper proves that on the projective line marked at three points, every dormant oper arising from a generalized hypergeometric differential equation is rigid: for each admissible triple of radii (the residue data of the connection at the three marked points), there is exactly one such oper up to isomorphism. The proof works by a local surgery — the 'almost non-logarithmic extension' — that converts each oper into a logarithmic connection whose companion-form residue matrices are fixed by the radii, and a connection of that form is unique. Because the TQFT's factorization rules reduce every counting number to the three-pointed-line case, this rigidity yields the complete explicit table of all counts N_{p,n,ρ,g,r} for primes p ≤ 7 — the first effective computation in the previously open range of ranks between 2 and p − 2 with marked points — including the single genuinely non-hypergeometric case at (p,n) = (7,3), where the count is 2.

What carries the argument

Three mechanisms carry the argument. (1) The generalized hypergeometric operator D_{α,β} = δ_x∏_{j<n}(δ_x+β_j−1) − x∏_{j≤n}(δ_x+α_j): viewed over k(x^p) its bidiagonal matrix has kernel dimension ♯(T_{α,β}), yielding the interlacing dormancy criterion. (2) The almost non-logarithmic extension: a local surgery turning each dormant oper into a filtered logarithmic connection on P¹ whose companion-form residue matrices are fixed by the exponents; its uniqueness is the rigidity step. (3) The 2d TQFT from prior work, whose factorization identities reduce every count to the (0,3) case; the duality involution (−)▼ and the closed genus-2 formula finish the p = 7 computation.

What would settle it

Enumerate directly in characteristic 7 all normal rank-3 logarithmic connections d + A on the trivial bundle over P¹ with poles only at 0 and ∞, A in companion form and with vanishing p-curvature, for each radius triple in Ξ³_{7,3}. The paper predicts exactly one solution per hypergeometric triple and exactly two for (w5,w5,w5); any deviation refutes Theorem 2.13 or the split 56 = 52 + 2². As an extension check, the residual N_{11,3,∅,2,0} − ♯Hyp_{11,3} must be expressible as a sum of squares if the method is to close at p = 11.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.13: any two dormant PGL_n-opers on the 3-pointed projective line with the same hypergeometric radii ρ^{α,β} are isomorphic, and the oper E♠_{α,β} is the unique one. The proof builds, for each oper, an 'almost non-logarithmic extension': a logarithmic connection on P¹ with companion-form residue matrices fixed by the exponents. Such a connection is unique, and Proposition 2.8 transfers this equality back to the opers. Hence N_{p,n,ρ,0,3} = 1 for every hypergeometric triple ρ. Then the TQFT factorization, the duality, and the genus-2 formula give all counts for p ≤ 7; at (7,3) the residual 56 − 52 = 4 forces the exceptional triple (w5,w5,w5) to carry two opers.

Load-bearing premise

The rigidity theorem rests on the premise that a normal logarithmic connection on the trivial rank-n bundle over P¹ with poles only at 0 and ∞ is uniquely determined by its companion-form residue data — coincident exponents force identical connections — together with the separately asserted exhaustion claim that the residual 56 − 52 = 4 at (7,3) leaves (w5,w5,w5) as the only non-hypergeometric contribution.

Editorial extensions

If this is right

  • Each hypergeometric triple of radii carries exactly one dormant oper on the 3-pointed projective line: the moduli stack Op^{Zzz...}_{n,ρ,0,3} is Spec(k), so N_{p,n,ρ,0,3} = 1.
  • All generic-degree values N_{p,n,ρ,g,r} for p ≤ 7 — every rank n, radius profile, genus g, and boundary r — are explicit, giving the first effective computation in the range 2 < n < p − 2 with r > 0.
  • Non-hypergeometric dormant opers exist: at (p,n) = (7,3) the triple (w5,w5,w5), w5 = [[0,2,4]], carries exactly two, one of them the second symmetric power of the unique dormant PGL_2-oper of radii ([[0,2]],[[0,2]],[[0,2]]); its dual (7,4) profile carries the same count 2.
  • The radius-profile tables O_{p,n} for p ≤ 7 are fixed, including the duality-symmetric pairs O_{7,2} ↔ O_{7,5} and O_{7,3} ↔ O_{7,4}, the trivial rank p−1 case with N = 1, and the genus-2 value N_{7,3,∅,2,0} = 56.
  • Every genus-g, boundary-r count with p ≤ 7 is a finite sum of products of the tabulated (0,3) values, so the 2d TQFTs Z_n are completely determined for these primes.

Reading between the lines

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

  • Arithmetic search at larger primes: since N_{p,3,∅,2,0} is known by closed formula and the hypergeometric triples are countable from the interlacing condition, the residual N_{p,3,∅,2,0} − ♯Hyp_{p,3} must decompose as a sum of pair-squares over exceptional triples for the method to close; whether the p = 11 residual is a sum of integer squares is a cheap test of how far the argument reaches.
  • The exceptional oper points to a general recipe: symmetric powers of dormant PGL_2-opers should yield dormant non-hypergeometric PGL_d-opers exactly when the weight profile (0, d−1, 2(d−1), …) is itself an admissible radius — at p = 7 this is the second symmetric power, and at larger p it would predict the first exceptional ranks.
  • The uniqueness step in the proof does not use the fact that the exponents come from a hypergeometric equation — only that companion-form data pin down the connection — so the open problem is purely linear-algebraic: classify which radius triples admit more than one normal companion connection with vanishing p-curvature in characteristic p.
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

3 major / 5 minor

Summary. The paper studies dormant PGL_n-opers attached to generalized hypergeometric differential operators in prime characteristic p. It claims that on the 3-pointed projective line, any two dormant PGL_n-opers with the same hypergeometric radii are isomorphic (Theorem 2.13), so the corresponding moduli stack is Spec(k) and the generic degree is 1 on the hypergeometric locus. Combining this rigidity with the author's earlier 2D TQFT formalism and with known formulas and duality, the paper then claims a complete determination of all numbers N_{p,n,\rho,g,r} for primes p\le 7, including the exceptional non-hypergeometric value N_{7,3,(w5,w5,w5),0,3}=2, obtained from the arithmetic identity 56=52+2^2.

Significance. If the main claims are correct, this is a substantial step: it gives the first explicit enumerative description of dormant opers in the range 2<n<p-2, using a parameter-free combination of Katz's hypergeometric classification, rigidity, and a previously constructed TQFT. The paper also has genuine strengths: the arithmetic self-check 56=52+2^2 is consistent; the TQFT machinery is imported from independent prior work rather than fitted to the tables; and the explicit finite lists in Section 3.3 are potentially verifiable. However, several load-bearing points are not established in the written proof, as detailed below.

major comments (3)
  1. [Section 2.1, Proposition 2.1 and Corollary 2.2] Proposition 2.1 is false as stated. For n=2, p=5, take \alpha=(4,1), \beta=3. Then the chain (2.12) holds, so Corollary 2.2 predicts rank 2 for Ker(D_{\alpha,\beta}). But the displayed definition of T gives #T=1, since m'=1 and T is a subset of {1,...,m'}. A direct computation of the bidiagonal matrix R for this example gives a 2-dimensional kernel. The error is an off-by-one indexing: the proof's block decomposition has m'+1 blocks, and the rank defect of the first block R'_1 corresponds to an index-0 condition e\beta_0=p>e\alpha\ge e\beta_1, which is absent from T. The equality in the proposition should presumably involve a reindexed T (with e\beta_0=p). Since Proposition 2.12 uses this corollary to identify dormant hypergeometric opers, this must be corrected and re-proved.
  2. [Theorem 2.13, final paragraph of proof] The proof asserts, after fixing the companion-form residue data A[0], A[\infty], that 'such a log connection is uniquely determined'. This is the step that promotes equality of exponents to equality of the connections \breve{\nabla}_\circ=\breve{\nabla}_\bullet and, via Proposition 2.8, to rigidity of the dormant oper. No proof or reference is supplied. For n\ge3, logarithmic connections on a trivial rank-n bundle over P^1 with two poles can carry accessory parameters even after the residue characteristic polynomials are fixed, so this uniqueness is not automatic. The authors need either a precise argument that the global trivialization forces the companion matrices to be determined by the exponents, or a citation to a theorem that does so. As written, Theorem 2.13 and the N_{p,n,\rho,0,3}=1 values for all hypergeometric \rho are not fully established.
  3. [Section 3.3.6] The exhaustion O_{7,3}\setminus Hyp_{7,3} = {(w5,w5,w5)} is not proved. The displayed numerical identity gives only \sum_{\rho\notin Hyp_{7,3}} N_{7,3,\rho}N_{7,3,\rho^\vee}=4. This equation is compatible with many other decompositions, for example two distinct dual pairs with N=1 each, or four self-dual triples with N=1 each, or one other self-dual triple with N=2 together with additional zero contributions. No independent enumeration, obstruction argument, or reference is supplied to rule out all other triples in \Xi_{7,3}^3. The subsequent conclusion N_{7,3,(w5,w5,w5),0,3}=2, and hence all dual (7,4) entries, depends entirely on this unsupported exhaustion. The parenthetical construction of one oper via Sym^2 only gives existence of at least one such oper; it does not identify the full complement of Hyp_{7,3}.
minor comments (5)
  1. [Proposition 2.1] The statement says 'rank(Ker(D_{\alpha,\beta}))' but the proof computes dim_{k(x^p)}(Ker). Please use consistent notation.
  2. [Theorem 2.13] In the definition of \gamma, the expression '\sum_{j=1}^n \alpha_n' should presumably be '\sum_{j=1}^n \alpha_j'.
  3. [Section 3.3.6] The sentence beginning 'Next, let us compute the values N_{7,2,\rho,0,3}' should read N_{7,3,\rho,0,3}.
  4. [Section 3.3.5] 'As in the case of p=2' should be 'p=5'.
  5. [Proposition 2.8] The notation '2 \in \{\circ,\bullet\}' is a typo; the intended symbol is likely a placeholder such as '\star'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the rigidity theorem is proved from local differential-equation data, and the TQFT machinery is imported as independent prior theorems, not as an encoding of the p<=7 tables.

full rationale

The paper's central derivation chain is not circular. Theorem 2.13 proves uniqueness of dormant hypergeometric opers by reducing two candidate connections to normal logarithmic connections on O^n over P^1 with fixed companion-form residue data, then asserting that such a connection is uniquely determined. That uniqueness is a mathematical assertion about logarithmic connections, not an input that already contains the conclusion; it is supported by the local theory of almost non-logarithmic extensions and Proposition 2.8. The dormancy criterion (Proposition 2.12) is imported from Katz's external hypergeometric classification (Corollary 2.2), which does not assume the paper's rigidity or enumerative results. The 2d TQFT (Theorem 3.3) and the factorization formulas (3.3)-(3.4) are quoted from the author's prior work [Wak10]/[Wak4]; these are general, parameter-free theorems whose statements do not include the p<=7 tables or the rigidity theorem, so by the review rules this self-citation is real evidence and does not raise the circularity score. The computation of the exceptional value N_{7,3,(w5,w5,w5),0,3}=2 uses the independent closed-form value N_{7,3,empty,2,0}=56 and the conservation identity, not a fitted parameter. The only notable weakness is the asserted exhaustion O_{7,3}\Hyp_{7,3}={(w5,w5,w5)} in §3.3.6, which is argued only from the residual arithmetic 4=Sum N_rho N_rho^vee; that is a potential gap or correctness risk, not a circular reduction. No definition encodes the conclusion, and no fitted quantity is relabeled as a prediction. Therefore no circularity is present, and the score is 0.

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

The paper has no fitted constants: every output is an exact integer obtained by finite enumeration or by factorization identities. The load-bearing inputs, all imported from prior literature, are: (1) the moduli-stack theorems of [Wak4] (finiteness, properness, generic étaleness for p > 2n, and the explicit degree formula); (2) the TQFT gluing structure of [Wak10, Theorem C]; (3) Katz's hypergeometric kernel-rank criterion [NKa4], which also rescues Corollary 2.2; (4) the Cartier-operator criterion of [NKa2]. Within the paper, the proof of Theorem 2.13 introduces an unproven uniqueness premise for normal two-pole connections. No new physical or mathematical entities are postulated, so there are no invented entities with independent falsifiable handles.

assumptions (7)
  • domain assumption The 2d TQFT structure theorem: the numbers N_{p,n,ρ,g,r} satisfy the gluing/factorization identities (3.3), (3.4), and the cap/counit values of Theorem 3.3.
    Imported from [Wak10, Theorem C(ii)], the author's own prior work. Load-bearing for all of Section 3: the reduction of general (g,r) counts to (0,3) counts and the conservation identity used in Section 3.3.6.
  • domain assumption Finiteness, properness, and generic étaleness of the moduli stack Op^{Zzz...}_{n,ρ,g,r}, in particular for p > 2n.
    From [Wak4, Theorems C and G]. Needed for N_{p,n,ρ,0,3} to be a well-defined degree and for Theorem 3.2 to conclude N = 1 from rigidity.
  • domain assumption Katz's kernel-rank criterion: dim Ker(D_{α,β}) = n iff the α and β lie in F_p and satisfy the chain (2.12).
    [NKa4, Sublemma 5.5.2.1]. The paper's own proof of Corollary 2.2 via Proposition 2.1 is arithmetically flawed at the boundary block, so the central dormancy criterion rests on this external theorem.
  • domain assumption The explicit degree formula N_{p,n,∅,g,0} of Theorem 3.1(iii), from [Wak4, Theorem H].
    Provides the absolute total N_{7,3,∅,2,0} = 56 against which the residual N = 2 is determined.
  • domain assumption Cartier-operator criterion for vanishing p-curvature of logarithmic connections ([NKa2, Corollary 7.1.3]), used in Proposition 2.9.
    External input for the p-curvature claim about the connection ∇_{α,β}.
  • domain assumption Existence of n-theta characteristics with prescribed residues, used in the proof of Theorem 2.13.
    From [Wak4, Section 4.6.4]; needed to set up the normal form in the rigidity proof.
  • ad hoc to paper Uniqueness of a normal logarithmic connection on P^1 with two poles given its exponent/companion-matrix data.
    The decisive step in the proof of Theorem 2.13 ("In particular, such a log connection is uniquely determined") is stated without proof or reference; if false, the rigidity theorem collapses.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Generalized hypergeometric equations and $2$d TQFT for dormant opers in characteristic $\leq 7$." pith.science (2026). https://pith.science/paper/4CGYHKNO

@misc{pith2026250903994,
  author       = {Pith},
  title        = {Pith review of: Generalized hypergeometric equations and $2$d TQFT for dormant opers in characteristic $\leq 7$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4CGYHKNO}},
  note         = {Machine review of arXiv:2509.03994}
}
abstract

This note studies $\mathrm{PGL}_n$-opers arising from generalized hypergeometric differential equations in prime characteristic $p$. We prove that these opers are rigid within the class of dormant opers. By combining this rigidity result with previous work in the enumerative geometry of dormant opers, we obtain a complete and explicit description of the $2$d TQFTs that compute the number of dormant $\mathrm{PGL}_n$-opers for primes $p \leq 7$.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

32 extracted references · 15 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]

    Atiyah, Topological quantum field theories, Inst

    M. Atiyah, Topological quantum field theories, Inst. Hautes \' E tudes Sci. Publ. Math. 68 (1988), pp. 175-186

    work page 1988

  3. [3]

    Beilinson, V

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

    work page

  4. [4]

    Beukers, G

    F. Beukers, G. Heckman, Monodromy for the hypergeometric function _n F_ n-1 , Invent. Math. 95 (1989), pp. 325-354

    work page 1989

  5. [5]

    Bezrukavnikov, R

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

    2025

  6. [6]

    Dumitrescu, M

    O. Dumitrescu, M. Mulase, Edge contraction on dual ribbon graphs and 2 D TQFT, J. Algebra 494 (2018), pp. 1-27

    work page 2018

  7. [7]

    Dumitrescu, M

    O. Dumitrescu, M. Mulase, An invitation to 2 D TQFT and quantization of Hitchin spectral curves, Banach Center Publ. , 114 (2018), pp. 85-144

    work page 2018

  8. [8]

    Hoshi, A note on dormant opers of rank p-1 in characteristic p , Nagoya Math

    Y. Hoshi, A note on dormant opers of rank p-1 in characteristic p , Nagoya Math. J. 235 (2019), pp. 115-126

    work page 2019

Show all 32 references
  1. [9]

    Ihara, Schwarzian equations, Jour

    Y. Ihara, Schwarzian equations, Jour. Fac. Sci. Univ. Tokyo Sect IA Math. 21 (1974), pp. 97-118

    1974

  2. [10]

    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

  3. [11]

    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

  4. [12]

    N. M. 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

  5. [13]

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

    1972

  6. [14]

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

    1982

  7. [15]

    N. M. Katz, Exponential sums and differential equations , Ann. of Math. Stud., 124 Princeton University Press, Princeton, NJ (1990), xii+430 pp

    1990

  8. [16]

    Kock, Frobenius algebras and 2D topological quantum field theories London Math

    J. Kock, Frobenius algebras and 2D topological quantum field theories London Math. Soc. Stud. Texts, 59 Cambridge University Press, Cambridge, (2004), xiv+240 pp

    2004

  9. [17]

    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

  10. [18]

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

    2006

  11. [19]

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

    S. Mochizuki, A theory of ordinary p -adic curves, Publ. Res. Inst. Math. Sci. 32 (1996), pp. 957-1152

    1996

  12. [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

    1999

  13. [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). Available at: https://tel.archives-ouvertes.fr/tel-00002545

    2002

  14. [22]

    Osserman, Logarithmic connections with vanishing p -curvature, J

    B. Osserman, Logarithmic connections with vanishing p -curvature, J. Pure and Applied Algebra 213 (2009), pp. 1651-1664

    2009

  15. [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

    2014

  16. [24]

    Wakabayashi, Duality for dormant opers, J

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

    2017

  17. [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

    2019

  18. [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

    2022

  19. [27]

    Wakabayashi, Topological quantum field theory for dormant opers, arXiv: math

    Y. Wakabayashi, Topological quantum field theory for dormant opers, arXiv: math. AG/1709.04235v3, (2022)

    2022 arXiv

  20. [28]

    Wakabayashi, Cyclic \' e tale coverings of generic curves and ordinariness of dormant opers, J

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

    2023

  21. [29]

    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

  22. [30]

    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

  23. [31]

    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

  24. [32]

    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

Pith tools

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