Pith. sign in

REVIEW 6 cited by

Arithmetic liftings and 2d TQFT for dormant opers of higher level

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2209.08528 v3 pith:LRSYKX6L submitted 2022-09-18 math.AG

classification math.AG
keywords opersdormantcharacteristicmathrmarithmeticliftingmodulispace
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

This manuscript represents an advance in the enumerative geometry of opers that takes the subject beyond our previous work. Motivated by a counting problem of linear differential equations in positive characteristic, we investigate the moduli space of opers from arithmetic and combinatorial points of view. We construct a compactified moduli space classifying dormant $\mathrm{PGL}_n^{(N)}$-opers (i.e., dormant $\mathrm{PGL}_n$-opers of level $N$) on pointed stable curves in characteristic $p>0$. One of the key results is the generic \'{e}taleness of that space for $n=2$, which is proved by obtaining a detailed understanding of relevant deformation spaces. This fact induces a certain arithmetic lifting of each dormant $\mathrm{PGL}_2^{(N)}$-oper on a general curve to characteristic $p^N$; this lifting is called the canonical diagonal lifting. On the other hand, the generic \'{e}taleness also implies that the degree function for the moduli spaces in the rank $2$ case satisfies factorization properties determined by various gluing morphisms of the underlying curves. That is to say, the degree function forms a $2$d TQFT (= a $2$-dimensional topological quantum field theory); it leads us to describe dormant $\mathrm{PGL}_2^{(N)}$-opers in terms of edge numberings on trivalent graphs, as well as lattice points inside generalized rational polytopes. These results yield an effective way of computing the numbers of such objects and $2$nd order differential equations in characteristic $p^N$ with a full set of solutions.

Discussion (0). Sign in to comment.

Forward citations

Cited by 6 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Duality for dormant opers of classical types B and C

    math.AG 2026-05 unverdicted novelty 7.0 of 10

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

  2. Explicit computation of the generic degree of the generalized Verschiebung in rank two

    math.AG 2025-09 conditional novelty 7.0 of 10

    For a general genus-3 curve in characteristic p, the generic degree of the Frobenius pull-back map on rank-2 stable bundles is (2p^6 + 5p^4 + 38p^2)/45.

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

    math.AG 2025-09 conditional novelty 7.0 of 10

    For every level N, the moduli space of pointed stable curves with a dormant PGL_2^{(N)}-oper is irreducible when nonempty, and the space of p^N-nilpotent opers is connected.

  4. Polynomiality of the Generalized Verschiebung Degree

    math.AG 2026-06 unverdicted novelty 6.0 of 10

    The generic degree of the generalized Verschiebung map is a polynomial in the characteristic p, with the explicit polynomial derived.

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

    math.AG 2026-05 unverdicted novelty 6.0 of 10

    Derives explicit genus formulas for dormant modular curves from dormant PGL2-opers and analyzes asymptotic behavior of their function field towers.

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

    math.AG 2025-09 conditional novelty 6.0 of 10

    For primes p ≤ 7 the count of dormant PGL_n-opers on any pointed curve is now explicit, because hypergeometric dormant opers are rigid and the lone exception at (7,3) is fixed by a conservation identity.

Pith tools