Polynomiality of the Generalized Verschiebung Degree

Resumo Técnico: Polinomialidade do Grau de Verschiebung Generalizado

Enunciado do Problema
Seja $X$ uma curva suave de gênero $g \ge 2$ sobre um corpo algebricamente fechado de característica $p > 2$. O mapa de Verschiebung generalizado $V: M_2(X') \dashrightarrow M_2(X)$ é um mapa racional genericamente finito entre espaços modulares de fibrados vetoriais de posto 2 com determinante trivial, induzido pelo pullback de Frobenius $E \mapsto F_X^* E$. Uma questão central no estudo deste mapa é determinar o seu grau genérico, $\deg(V)$.

Trabalhos anteriores de Kondo–Wakabayashi estabeleceram que $\deg(V)$ pode ser expresso como a razão entre as cardinalidades de dois conjuntos específicos de numerações de arestas em um grafo trivalente $G$ de gênero $g$: $\deg(V) = | \text{Ed}_{p,2,G} | / | \text{Ed}_{p,1,G} |$. Além disso, demonstraram que, como uma função da característica $p$, este grau é um quasipolinômio de grau $3g-3$. Embora tenham provado via computação direta que este quasipolinômio é, de fato, um polinômio para o caso específico de gênero $g=3$, o caso geral para um $g \ge 2$ arbitrário permanecia em aberto. Este artigo aborda a questão de se $\deg(V)$ é um polinômio em $p$ para todos os gêneros e, se for o caso, fornece uma fórmula explícita.

Metodologia
O artigo emprega uma combinação de geometria combinatória e combinatória enumerativa para resolver o problema. A metodologia procede em três estágios principais:

1. Redução Combinatória (Redução de Nível):
   A principal inovação técnica é um novo resultado combinatório referente aos conjuntos $\text{Ed}_{P,N,G}$, que consistem em numerações de arestas em um grafo trivalente $G$ restritas por condições locais nos vértices definidas por um conjunto $\dagger C_N(P)$. O autor prova um teorema de "Redução de Nível" (Teorema 2), estabelecendo uma bijeção natural:
   $$\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$$
   para $P \ge 3$ ímpar e $N \ge 1$. Este resultado baseia-se em um "lema de fatoração local" (Lema 7) que constrói uma bijeção entre os conjuntos de restrição local $\dagger C_N(P)$ e o produto $\dagger C_1(2P) \times \dagger C_{N-1}(P)$.

Aplicando isso ao caso específico do grau de Verschiebung (onde $P=p$ e $N=2$), o artigo reduz o problema ao cálculo de $|\text{Ed}_{2p,1,G}|$, eliminando efetivamente o denominador $|\text{Ed}_{p,1,G}|$ da expressão.

2. Matriz de Transferência e Diagonalização:
   Para calcular $|\text{Ed}_{2p,1,G}|$, o autor modela o problema de contagem usando matrizes de transferência. Ao construir um grafo $G$ a partir de blocos e definir uma matriz de transição $T$ baseada no número de rotulagens válidas para configurações locais, a contagem total é expressa como o traço de uma potência de matriz: $|\text{Ed}_{2p,1,G}| = \text{Tr}(T^{g-1})$.

A matriz $T$ é diagonalizada usando uma matriz ortogonal $S$ construída a partir de somas trigonométricas envolvendo funções seno. Este passo transforma o problema de contagem combinatória em um problema espectral, permitindo que o traço seja computado como uma soma de autovalores.

3. Derivação Polinomial Explícita:
   A fórmula de traço resultante envolve uma soma de potências de cossecantes. O autor utiliza uma fórmula conhecida de Zagier relativa às somas de potências de cossecantes para expressar esta soma explicitamente em termos de números de Bernoulli e coeficientes de expansões de Laurent. Este passo confirma que a expressão resultante é um polinômio em $p$ e não um quasipolinômio.

Contribuições Principais e Resultados

• Teorema 1 (Polinomialidade): O artigo prova que, para uma curva geral de gênero $g \ge 2$, o grau genérico $\deg(V)$ é estritamente um polinômio em $p$ (especificamente, um polinômio em $p^2$ escalonado por $p^{g-1}$). A fórmula explícita é dada por:
  $$\deg(V) = p^{g-1} R_g(p^2)$$
  onde $R_g(t) \in \mathbb{Q}[t]$ é definido por:
  $$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$$
  Aqui, $B_{2r}$ denota o $2r$-ésimo número de Bernoulli, e $[z^{-2r}]$ denota o coeficiente de $z^{-2r}$ na expansão de Laurent de $\csc^{2g-2}(z)$ em $z=0$.

• Teorema 2 (Redução de Nível): O artigo estabelece a bijeção $\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$. Este resultado combinatório é de interesse independente, pois reduz problemas de numeração de arestas de nível superior para contrapartes de nível 1, simplificando a enumeração de opers dormentes.

• Fórmula Explícita para $P$ Par: O artigo fornece uma derivação elementar para o número de numerações de arestas de nível 1 $|\text{Ed}_{P,1,G}|$ quando $P$ é par, complementando resultados existentes para $P$ ímpar:
  $$|\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)$$

• Formalização: As provas combinatórias (Lema 7, Teorema 2 e Lema 10) foram formalizadas e verificadas em Lean 4.

Significância e Alegações
O artigo afirma resolver a questão da polinomialidade do grau de Verschiebung generalizado para qualquer gênero, indo além do caso específico de $g=3$ previamente verificado por Kondo–Wakabayashi. Ao fornecer uma fórmula polinomial explícita, o trabalho remove a ambiguidade da natureza de quasipolinômio sugerida pela teoria de Ehrhart neste contexto.

O autor observa uma observação heurística: o grau genérico $\deg(V)$ em característica $p$ coincide com o número de opers dormentes sobre um hipotético "campo de característica $2p$". Isto é derivado da relação $\deg(V) = |\text{Ed}_{2p,1,G}| / |\text{Ed}_{p,1,G}|$ combinada com a bijeção de redução de nível, o que implica que $|\text{Ed}_{2p,1,G}| = |\text{Ed}_{p,1,G}| \cdot |\text{Ed}_{p,1,G}|$ não é o caso, mas sim que a redução leva a $\deg(V) = |\text{Ed}_{2p,1,G}|$ (após corrigir a lógica do denominador no contexto específico da derivação do artigo).

O artigo não propõe novas aplicações ou direções experimentais futuras, mas foca na derivação rigorosa da estrutura polinomial e dos coeficientes explícitos, fundamentando o resultado na geometria enumerativa de opers dormentes e na combinatória de grafos trivalentes.