Polynomiality of the Generalized Verschiebung Degree

Sintesi Tecnica: Polinomialità del Grado di Verschiebung Generalizzato

Enunciato del Problema
Sia $X$ una curva regolare di genere $g \ge 2$ su un campo algebricamente chiuso di caratteristica $p > 2$. La mappa di Verschiebung generalizzata $V: M_2(X') \dashrightarrow M_2(X)$ è una mappa razionale genericamente finita tra spazi moduli di fasci vettoriali di rango 2 con determinante triviale, indotta dal pullback di Frobenius $E \mapsto F_X^* E$. Una questione centrale nello studio di questa mappa è la determinazione del suo grado generico, $\deg(V)$.

Il lavoro precedente di Kondo–Wakabayashi ha stabilito che $\deg(V)$ può essere espresso come il rapporto tra le cardinalità di due specifici insiemi di numerazioni degli archi su un grafo trivalente $G$ di genere $g$: $\deg(V) = | \text{Ed}_{p,2,G} | / | \text{Ed}_{p,1,G} |$. Inoltre, hanno dimostrato che, come funzione della caratteristica $p$, questo grado è un quasi-polinomio di grado $3g-3$. Sebbene abbiano provato tramite computazione diretta che questo quasi-polinomio è in realtà un polinomio per il caso specifico di genere $g=3$, il caso generale per un $g$ arbitrario $\ge 2$ rimaneva aperto. Questo articolo affronta la questione se $\deg(V)$ sia un polinomio in $p$ per tutti i generi e, in caso affermativo, fornisce una formula esplicita.

Metodologia
Il saggio impiega una combinazione di geometria combinatoria e combinatoria enumerativa per risolvere il problema. La metodologia procede attraverso tre fasi principali:

1. Riduzione Combinatoria (Riduzione del Livello):
   La principale innovazione tecnica è un nuovo risultato combinatorio riguardante gli insiemi $\text{Ed}_{P,N,G}$, che consistono in numerazioni degli archi su un grafo trivalente $G$ vincolate da condizioni locali nei vertici definite da un insieme $\dagger C_N(P)$. L'autore dimostra un teorema di "Riduzione del Livello" (Teorema 2), stabilendo una naturale bijezione:
   $$\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$$
   per $P \ge 3$ dispari e $N \ge 1$. Questo risultato si basa su un "lemmi di fattorizzazione locale" (Lemma 7) che costruisce una bijezione tra gli insiemi di vincoli locali $\dagger C_N(P)$ e il prodotto $\dagger C_1(2P) \times \dagger C_{N-1}(P)$.

Applicando questo al caso specifico del grado di Verschiebung (dove $P=p$ e $N=2$), il saggio riduce il problema al calcolo di $|\text{Ed}_{2p,1,G}|$, eliminando efficacementamente il denominatore $|\text{Ed}_{p,1,G}|$ dall'espressione.

2. Matrice di Trasferimento e Diagonalizzazione:
   Per calcolare $|\text{Ed}_{2p,1,G}|$, l'autore modella il problema del conteggio utilizzando matrici di trasferimento. Costruendo un grafo $G$ da blocchi e definendo una matrice di transizione $T$ basata sul numero di etichettature valide per configurazioni locali, il conteggio totale è espresso come la traccia di una potenza di matrice: $|\text{Ed}_{2p,1,G}| = \text{Tr}(T^{g-1})$.

La matrice $T$ viene diagonalizzata utilizzando una matrice ortogonale $S$ costruita da somme trigonometriche che coinvolgono funzioni seno. Questo passaggio trasforma il problema del conteggio combinatorio in un problema spettrale, permettendo alla traccia di essere calcolata come una somma di autovalori.

3. Derivazione Esplicita del Polinomio:
   La formula della traccia risultante coinvolge una somma di potenze di cosecanti. L'autore utilizza una nota formula di Zagier riguardante le somme di potenze di cosecanti per esprimere questa somma esplicitamente in termini di numeri di Bernoulli e coefficienti di espansioni di Laurent. Questo passaggio conferma che l'espressione risultante è un polinomio in $p$ piuttosto che un quasi-polinomio.

Contributi Chiave e Risultati

• Teorema 1 (Polinomialità): Il saggio dimostra che per una curva generale di genere $g \ge 2$, il grado generico $\deg(V)$ è strettamente un polinomio in $p$ (specificamente, un polinomio in $p^2$ scalato per $p^{g-1}$). La formula esplicita è data da:
  $$\deg(V) = p^{g-1} R_g(p^2)$$
  dove $R_g(t) \in \mathbb{Q}[t]$ è definito da:
  $$R_g(t) = 1 - \frac{1}{2g} + \frac{1}{2g} \sum_{r=0}^{g-1} (-1)^{r-1} \frac{2^{4r} B_{2r}}{(2r)!} [z^{-2r}] \csc^{2g-2}(z) \, t^r$$
  qui $B_{2r}$ denota il numero di Bernoulli $2r$-esimo, e $[z^{-2r}]$ indica il coefficiente di $z^{-2r}$ nell'espansione di Laurent di $\csc^{2g-2}(z)$ in $z=0$.

• Teorema 2 (Riduzione del Livello): Il saggio stabilisce la bijezione $\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$. Questo risultato combinatorio è di interesse indipendente, in quanto riduce i problemi di numerazione degli archi di livello superiore ai corrispondenti di livello 1, semplificando l'enumerazione degli oper dormienti.

• Formula Esplicita per $P$ Pari: Il saggio fornisce una derivazione elementare per il numero di numerazioni degli archi di livello 1 $|\text{Ed}_{P,1,G}|$ quando $P$ è pari, completando i risultati esistenti per $P$ dispari:
  $$|\text{Ed}_{P,1,G}| = \left(\frac{P}{2}\right)^{g-1} + \left(\frac{P}{4}\right)^{g-1} \sum_{\theta=1}^{P/2-1} \csc^{2g-2}\left(\frac{\pi\theta}{P}\right)$$

• Formalizzazione: Le prove combinatorie (Lemma 7, Teorema 2 e Lemma 10) sono state formalizzate e verificate in Lean 4.

Significato e Rivendicazioni
Il saggio sostiene di aver risolto la questione della polinomialità del grado di Verschiebung generalizzato per un genere arbitrario, andando oltre il caso specifico di $g=3 precedentemente verificato da Kondo–Wakabayashi. Fornendo una formula polinomiale esplicita, il lavoro rimuove l'ambiguità della natura quasi-polinomiale suggerita dalla teoria di Ehrhart in questo contesto.

L'autore nota un'osservazione euristica: il grado generico $\deg(V)$ in caratteristica $p$ coincide con il numero di oper dormienti su un ipotetico "campo di caratteristica $2p$". Ciò è derivato dalla relazione $\deg(V) = |\text{Ed}_{2p,1,G}| / |\text{Ed}_{p,1,G}|$ combinata con la bijezione di riduzione del livello, che implica $|\text{Ed}_{2p,1,G}| = |\text{Ed}_{p,1,G}| \cdot |\text{Ed}_{p,1,G}|$ non è il caso, ma piuttosto la riduzione porta a $\deg(V) = |\text{Ed}_{2p,1,G}|$ (dopo aver corretto la logica del denominatore nel contesto specifico della derivazione del saggio).

Il saggio non propone nuove applicazioni o direzioni sperimentali future, ma si concentra sulla rigorosa derivazione della struttura polinomiale e dei suoi coefficienti espliciti, radicando il risultato nella geometria enumerativa degli oper dormienti e nella combinatoria dei grafi trivalenti.