Polynomiality of the Generalized Verschiebung Degree

Resumen Técnico: Polinomialidad del Grado de Verschiebung Generalizado

Planteamiento del Problema
Sea $X$ una curva suave de género $g \ge 2$ sobre un cuerpo algebraicamente cerrado de característica $p > 2$. El mapa de Verschiebung generalizado $V: M_2(X') \dashrightarrow M_2(X)$ es un mapa racional genéricamente finito entre espacios moduli de fibrados vectoriales de rango 2 con determinante trivial, inducido por la tracción de Frobenius $E \mapsto F_X^* E$. Una cuestión central en el estudio de este mapa es determinar su grado genérico, $\deg(V)$.

El trabajo previo de Kondo–Wakabayashi estableció que $\deg(V)$ puede expresarse como la razón de las cardinalidades de dos conjuntos específicos de numeraciones de aristas en un grafo trivalente $G$ de género $g$: $\deg(V) = | \text{Ed}_{p,2,G} | / | \text{Ed}_{p,1,G} |$. Además, demostraron que, como función de la característica $p$, este grado es un cuasi-polinomio de grado $3g-3$. Aunque probaron mediante computación directa que este cuasi-polinomio es en realidad un polinomio para el caso específico de género $g=3$, el caso general para un $g \ge 2$ arbitrario permanecía abierto. Este artículo aborda la cuestión de si $\deg(V)$ es un polinomio en $p$ para todos los géneros y, de ser así, proporciona una fórmula explícita.

Metodología
El artículo emplea una combinación de geometría combinatoria y combinatoria enumerativa para resolver el problema. La metodología procede en tres etapas principales:

1. Reducción Combinatoria (Reducción de Nivel):
   La innovación técnica central es un nuevo resultado combinatorio relativo a los conjuntos $\text{Ed}_{P,N,G}$, que consisten en numeraciones de aristas en un grafo trivalente $G$ restringidas por condiciones locales en los vértices definidas por un conjunto $\dagger C_N(P)$. El autor demuestra un teorema de "Reducción de Nivel" (Teorema 2), estableciendo una biyección natural:
   $$\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$$
   para $P$ impar $\ge 3$ y $N \ge 1$. Este resultado se basa en un "lema de factorización local" (Lema 7) que construye una biyección entre los conjuntos de restricciones locales $\dagger C_N(P)$ y el producto $\dagger C_1(2P) \times \dagger C_{N-1}(P)$.

   Aplicando esto al caso específico del grado de Verschiebung (donde $P=p$ y $N=2$), el artículo reduce el problema al cálculo de $|\text{Ed}_{2p,1,G}|$, eliminando efectivamente el denominador $|\text{Ed}_{p,1,G}|$ de la expresión.

2. Matriz de Transferencia y Diagonalización:
   Para calcular $|\text{Ed}_{2p,1,G}|$, el autor modela el problema de conteo utilizando matrices de transferencia. Al construir un grafo $G$ a partir de bloques y definir una matriz de transición $T$ basada en el número de etiquetados válidos para configuraciones locales, el conteo total se expresa como la traza de una potencia de matriz: $|\text{Ed}_{2p,1,G}| = \text{Tr}(T^{g-1})$.

   La matriz $T$ se diagonaliza utilizando una matriz ortogonal $S$ construida a partir de sumas trigonométricas que involucran funciones seno. Este paso transforma el problema de conteo combinatorio en un problema espectral, permitiendo que la traza se compute como una suma de autovalores.

3. Derivación de Polinomio Explícito:
   La fórmula de la traza resultante involucra una suma de potencias de cosecantes. El autor utiliza una fórmula conocida de Zagier relativa a las sumas de potencias de cosecantes para expresar esta suma explícitamente en términos de números de Bernoulli y coeficientes de expansiones de Laurent. Este paso confirma que la expresión resultante es un polinomio en $p$ en lugar de un cuasi-polinomio.

Contribuciones Clave y Resultados

• Teorema 1 (Polynomialidad): El artículo demuestra que para una curva general de género $g \ge 2$, el grado genérico $\deg(V)$ es estrictamente un polinomio en $p$ (específicamente, un polinomio en $p^2$ escalado por $p^{g-1}$). La fórmula explícita es:
  $$\deg(V) = p^{g-1} R_g(p^2)$$
  donde $R_g(t) \in \mathbb{Q}[t]$ está 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$$
  Aquí, $B_{2r}$ denota el número de Bernoulli $2r$, y $[z^{-2r}]$ denota el coeficiente de $z^{-2r}$ en la expansión de Laurent de $\csc^{2g-2}(z)$ en $z=0$.

• Teorema 2 (Reducción de Nivel): El artículo establece la biyección $\text{Ed}_{P,N,G} \cong \text{Ed}_{P,1,G} \times \text{Ed}_{\frac{N-1}{2}P, 1, G}$. Este resultado combinatorio es de interés independiente, ya que reduce los problemas de numeración de aristas de mayor nivel a sus contrapartes de nivel 1, simplificando la enumeración de opers latentes.

• Fórmula Explícita para $P$ Par: El artículo proporciona una derivación elemental para el número de numeraciones de aristas de nivel 1 $|\text{Ed}_{P,1,G}|$ cuando $P$ es par, complementando los resultados existentes para $P$ impar:
  $$|\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)$$

• Formalización: Las pruebas combinatorias (Lema 7, Teorema 2 y Lema 10) han sido formalizadas y verificadas en Lean 4.

Significado y Reivindicaciones
El artículo afirma resolver la cuestión de la polinomialidad del grado de Verschiebung generalizado para un género arbitrario, yendo más allá del caso específico de $g=3$ previamente verificado por Kondo–Wakabayashi. Al proporcionar una fórmula polinómica explícita, el trabajo elimina la ambigüedad de la naturaleza cuasi-polinomial sugerida por la teoría de Ehrhart en este contexto.

El autor señala una observación heurística: el grado genérico $\deg(V)$ en la característica $p$ coincide con el número de opers latentes sobre un hipotético "campo de característica $2p$". Esto se deriva de la relación $\deg(V) = |\text{Ed}_{2p,1,G}| / |\text{Ed}_{p,1,G}|$ combinada con la biyección de reducción de nivel, lo que implica que $|\text{Ed}_{2p,1,G}| = |\text{Ed}_{p,1,G}| \cdot |\text{Ed}_{p,1,G}|$ no es el caso, sino que la reducción conduce a $\deg(V) = |\text{Ed}_{2p,1,G}|$ (tras corregir la lógica del denominador en el contexto específico de la derivación del artículo).

El artículo no propone nuevas aplicaciones o direcciones experimentales futuras, sino que se centra en la derivación rigurosa de la estructura polinómica y de los coeficientes explícitos, fundamentando el resultado en la geometría enumerativa de los opers latentes y la combinatoria de los grafos trivalentes.