Parity of $k$-differentials in genus zero and one

Resumen Técnico: Paridad de los $k$-diferenciales en Género Cero y Uno

Planteamiento del Problema
El artículo aborda la clasificación de los componentes conexos del espacio de módulos $\Omega^k\mathcal{M}_g(\mu)$, que parametriza los $k$-diferenciales primitivos en superficies de Riemann de género $g$ con órdenes de ceros y polos prescritos $\mu = (m_1, \dots, m_n)$. Si bien la clasificación de los componentes conexos está bien establecida para $k=1$ (diferenciales) y $k=2$ (diferenciales cuadráticas), el caso para $k \ge 3$ permanece en gran medida abierto.

Un invariante principal utilizado para distinguir estos componentes es la paridad de spin. Para los $k$-diferenciales donde los órdenes son pares (tipo paridad), la paridad de spin se define mediante una cobertura cíclica canónica $\pi: \hat{X} \to X$ de grado $k$, donde la tracción del $k$-diferencial se convierte en la $k$-ésima potencia de una 1-forma $\hat{\omega}$. La paridad de spin del $k$-diferencial original es la paridad de spin del par $(\hat{X}, \hat{\omega})$.

Para $k$ par, la paridad de spin es uniforme en todo el espacio de módulos y está determinada explícitamente por $\mu$. Sin embargo, para $k$ impar, la paridad de spin puede variar dentro del espacio de módulos, lo que hace que su determinación sea no trivial. El trabajo previo de Chen y Gendron [6] proporcionó fórmulas explícitas para la paridad de spin en género cero y uno, pero estos resultados estaban condicionados a una conjetura número-teórica específica (Conjetura A.10 en [6]).

Metodología
Los autores resuelven la naturaleza condicional de los resultados previos demostrando la conjetura número-teórica subyacente. La metodología procede en dos etapas principales:

1. Reformulación mediante Símbolos de Jacobi:
   El núcleo de la prueba implica traducir la definición combinatoria de la conjetura al lenguaje de los símbolos de Jacobi. La conjetura se refiere a $N_k(n)$, el número de pares de enteros positivos $(b_1, b_2)$ que satisfacen límites específicos y una condición de congruencia $b_2 \equiv n b_1 \pmod k$.
   Los autores observan que la paridad del término $\lfloor \frac{k+1}{4} \rfloor$ que aparece en la conjetura es periódica módulo 8 y corresponde al valor del símbolo de Jacobi $\left(\frac{2}{k}\right)$.

2. Reducción Combinatoria:
   Los autores definen una suma combinatoria $F_k(a) = \sum_{i=1}^{(k-1)/2} \lfloor \frac{ai + (k-1)/2}{k} \rfloor$. Utilizando propiedades estándar de los símbolos de Jacobi (específicamente el Lema de Eisenstein y el Lema de Gauss), establecen una relación entre $F_k(a)$ y la paridad de $a$:

   • Si $a$ es impar, $F_k(a) \equiv 0 \pmod 2$.
   • Si $a$ es par, $F_k(a) \equiv \lfloor \frac{k+1}{4} \rfloor \pmod 2$.

   Luego, prueban una identidad combinatoria clave (Lema 2.5):
   $$N_k(n) = F_k(n+1) - F_k(n)$$
   Esta identidad reduce el problema al análisis de la paridad de $F_k(n)$ y $F_k(n+1)$. Dado que $n$ y $n+1$ tienen paridades opuestas, y la hipótesis requiere $\gcd(n, k) = \gcd(n+1, k) = 1$, el resultado se sigue directamente de las propiedades de $F_k$.

Contribuciones Clave y Resultados

• Demostración de la Conjetura 1.1: El artículo proporciona una prueba completa de la Conjetura 1.1 (originalmente de [6]), que establece que para un entero impar $k \ge 3$ y un entero $n$ coprimo tanto con $k$ como con $k+1$:
  $$N_k(n) \equiv \left\lfloor \frac{k+1}{4} \right\rfloor \pmod 2$$
• Clasificación Incondicional: Al demostrar la conjetura, los autores vuelven incondicionales las fórmulas de paridad de spin para género cero y uno.
  • Género 0: La paridad de spin de $\Omega^k\mathcal{M}_0(2\mu)$ está determinada por $n_k(\mu) \pmod 2$, donde $n_k(\mu)$ cuenta los índices $i$ donde la valoración $Q$-ádica de $m_i$ difiere en paridad de la de $k$.
  • Género 1: La paridad de spin del componente conexo con número de rotación $d$ está determinada por $n_k(\mu) + d + 1 \pmod 2$.
• Formulación Alternativa: El artículo ofrece una definición más concisa para el invariante $n_k(\mu)$ utilizando símbolos de Jacobi:
  $$n_k(\mu) = \# \left\{ i : \left(\frac{2}{\gcd(k, m_i)}\right) \neq \left(\frac{2}{k}\right) \right\}$$

Significancia y Reivindicaciones
El artículo afirma que su contribución principal es la demostración de la hipótesis número-teórica que anteriormente era una barrera para la clasificación completa de la paridad de spin para $k$-diferenciales en género bajo. Los resultados geométicos respecto a los $k$-diferenciales mismos fueron establecidos en el trabajo previo [6]; este artículo elimina la suposición condicional, "determinando completamente la paridad de spin de los $k$-diferenciales en género cero y uno para todo $k$".

Los autores señalan explícitamente que la prueba de la identidad combinatoria (Lema 2.5) y el teorema principal fueron descubiertos autónomamente por AxiomProver, un sistema de IA en desarrollo. La verificación formal de la identidad combinatoria se realizó en Lean/Mathlib. El artículo enfatiza que la formalización se aplica a la identidad combinatoria, no a los resultados geométricos sobre $k$-diferenciales.

El trabajo sirve como un caso de prueba para AxiomProver, demostrando su capacidad para descubrir conexiones no triviales entre sumas combinatorias y símbolos de Jacobi, y para generar pruebas formales para identidades número-teóricas complejas.