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

Resumo Técnico: Paridade de $k$-Diferenciais em Gênero Zero e Um

Enunciado do Problema
O artigo aborda a classificação dos componentes conexos do espaço de módulos $\Omega^k\mathcal{M}_g(\mu)$, que parametriza $k$-diferenciais primitivos em superfícies de Riemann de gênero $g$ com ordens prescritas de zeros e polos $\mu = (m_1, \dots, m_n)$. Embora a classificação dos componentes conexos esteja bem estabelecida para $k=1$ (diferenciais) e $k=2$ (diferenciais quadráticas), o caso para $k \ge 3$ permanece amplamente em aberto.

Um invariante primário usado para distinguir esses componentes é a paridade do spin (spin parity). Para $k$-diferenciais onde as ordens são pares (tipo paridade), a paridade do spin é definida via um recobrimento cíclico canônico $\pi: \hat{X} \to X$ de grau $k$, onde o pullback do $k$-diferencial torna-se a $k$-ésima potência de uma 1-forma $\hat{\omega}$. A paridade do spin do $k$-diferencial original é a paridade do spin do par $(\hat{X}, \hat{\omega})$.

Para $k$ par, a paridade do spin é uniforme em todo o espaço de módulos e determinada explicitamente por $\mu$. No entanto, para $k$ ímpar, a paridade do spin pode variar dentro do espaço de módulos, tornando sua determinação não trivial. Trabalhos anteriores de Chen e Gendron [6] forneceram fórmulas explícitas para a paridade do spin em gênero zero e um, mas esses resultados eram condicionais a uma conjectura número-teórica específica (Conjectura A.10 em [6]).

Metodologia
Os autores resolvem a natureza condicional dos resultados anteriores provando a conjectura número-teórica subjacente. A metodologia procede em duas etapas principais:

1. Reformulação via Símbolos de Jacobi:
   O núcleo da prova envolve a tradução da definição combinatória da conjectura para a linguagem dos símbolos de Jacobi. A conjectura refere-se a $N_k(n)$, o número de pares de inteiros positivos $(b_1, b_2)$ que satisfazem limites específicos e uma condição de congruência $b_2 \equiv n b_1 \pmod k$.
   Os autores observam que a paridade do termo $\lfloor \frac{k+1}{4} \rfloor$ que aparece na conjectura é periódica módulo 8 e corresponde ao valor do símbolo de Jacobi $\left(\frac{2}{k}\right)$.

2. Redução Combinatória:
   Os autores definem uma soma combinatória $F_k(a) = \sum_{i=1}^{(k-1)/2} \lfloor \frac{ai + (k-1)/2}{k} \rfloor$. Usando propriedades padrão de símbolos de Jacobi (especificamente o Lema de Eisenstein e o Lema de Gauss), eles estabelecem uma relação entre $F_k(a)$ e a paridade de $a$:

   • Se $a$ é ímpar, $F_k(a) \equiv 0 \pmod 2$.
   • Se $a$ é par, $F_k(a) \equiv \lfloor \frac{k+1}{4} \rfloor \pmod 2$.

   Eles então provam uma identidade combinatória fundamental (Lema 2.5):
   $$N_k(n) = F_k(n+1) - F_k(n)$$
   Esta identidade reduz o problema à análise da paridade de $F_k(n)$ e $F_k(n+1)$. Como $n$ e $n+1$ possuem paridades opostas, e a hipótese exige $\gcd(n, k) = \gcd(n+1, k) = 1$, o resultado segue diretamente das propriedades de $F_k$.

Principais Contribuições e Resultados

• Prova da Conjectura 1.1: O artigo fornece uma prova completa da Conjectura 1.1 (originalmente de [6]), que afirma que para um inteiro ímpar $k \ge 3$ e um inteiro $n$ coprimo tanto a $k$ quanto a $k+1$:
  $$N_k(n) \equiv \left\lfloor \frac{k+1}{4} \right\rfloor \pmod 2$$
• Classificação Incondicional: Ao provar a conjectura, os autores tornam as fórmulas de paridade do spin para gênero zero e um incondicionais.
  • Gênero 0: A paridade do spin de $\Omega^k\mathcal{M}_0(2\mu)$ é determinada por $n_k(\mu) \pmod 2$, onde $n_k(\mu)$ conta os índices $i$ onde a valoração $Q$-ádica de $m_i$ difere em paridade daquela de $k$.
  • Gênero 1: A paridade do spin do componente conexo com número de rotação $d$ é determinada por $n_k(\mu) + d + 1 \pmod 2$.
• Formulação Alternativa: O artigo oferece uma definição mais concisa para o invariante $n_k(\mu)$ usando símbolos de Jacobi:
  $$n_k(\mu) = \# \left\{ i : \left(\frac{2}{\gcd(k, m_i)}\right) \neq \left(\frac{2}{k}\right) \right\}$$

Significância e Alegações
O artigo afirma que sua principal contribuição é a prova da hipótese número-teórica que era anteriormente uma barreira para a classificação completa da paridade do spin para $k$-diferenciais em baixo gênero. Os resultados geométicos relativos aos próprios $k$-diferenciais foram estabelecidos em trabalho anterior [6]; este artigo remove a suposição condicional, daí "determinando completamente a paridade do spin de $k$-diferenciais em gênero zero e um para todo $k$."

Os autores explicitamente notam que a prova da identidade combinatória (Lema 2.5) e do teorema principal foi descoberta autonomamente pelo AxiomProver, um sistema de IA em desenvolvimento. A verificação formal da identidade combinatória foi realizada em Lean/Mathlib. O artigo enfatiza que a formalização se aplica à identidade combinatória, não aos resultados geométricos sobre $k$-diferenciais.

O trabalho serve como um caso de teste para o AxiomProver, demonstrando sua capacidade de descobrir conexões não triviais entre somas combinatórias e símbolos de Jacobi, e de gerar provas formais para identidades número-teóricas complexas.