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 é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 é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.

The combinatorics of $N_\infty$ operads for $C_{qp^n}$ and $D_{p^n}$

The combinatorics of operads for and

Combinatorial $N_\infty$ operads

Quillen cohomology of enriched operads

Equivariant linear isometries operads over Abelian groups

Operadic Dold-Kan correspondence and mapping spaces between enriched operads

Profinite completions of topological operads

Combinatorial and homotopical aspects of $E_n$-operads

Realization of saturated transfer systems on cyclic groups of order $p^nq^m$ by linear isometries $N_\infty$-operads

Representations of $\mathbb{N}^{\infty}$-type combinatorial categories

On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads

Operad structures on the species composition of two operads

$\infty$-operadic foundations for embedding calculus

On the free commutative monoid over a positive operad

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

Operads of decorated cliques II: Noncrossing cliques

An Operad of Non-commutative Independences Defined by Trees

Free subgroups of free products and combinatorial hypermaps

On the equivalence of Lurie's ∞ ‐operads and dendroidal ∞ ‐operads

A spectral sequence for spaces of maps between operads

On combinatorial structures in linear codes