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

Résumé Technique : Parité des $k$-différentielles en Genre Zéro et Un

Énoncé du Problème
L'article traite de la classification des composantes connexes de l'espace de modules $\Omega^k\mathcal{M}_g(\mu)$, qui paramètre les $k$-différentielles primitives sur des surfaces de Riemann de genre $g$ avec des ordres de zéros et de pôles prescrits $\mu = (m_1, \dots, m_n)$. Alors que la classification des composantes connexes est bien établie pour $k=1$ (différentielles) et $k=2$ (différentielles quadratiques), le cas pour $k \ge 3$ reste largement ouvert.

Un invariant principal utilisé pour distinguer ces composantes est la parité du spin. Pour les $k$-différentielles dont les ordres sont pairs (type de parité), la parité du spin est définie via un revêtement cyclique canonique $\pi: \hat{X} \to X$ de degré $k$, où le tirage en arrière de la $k$-différentielle devient la $k$-ième puissance d'une 1-forme $\hat{\omega}$. La parité du spin de la $k$-différentielle originale est la parité du spin de la paire $(\hat{X}, \hat{\omega})$.

Pour un $k$ pair, la parité du spin est uniforme à travers l'espace de modules et est déterminée explicitement par $\mu$. Cependant, pour un $k$ impair, la parité du spin peut varier au sein de l'espace de modules, rendant sa détermination non triviale. Des travaux antérieurs par Chen et Gendron [6] ont fourni des formules explicites pour la parité du spin en genre zéro et un, mais ces résultats étaient conditionnés par une conjecture de théorie des nombres spécifique (Conjecture A.10 dans [6]).

Méthodologie
Les auteurs résolvent la nature conditionnelle des résultats précédents en prouvant la conjecture de théorie des nombres sous-jacente. La méthodologie se déroule en deux étapes principales :

1. Reformulation via les symboles de Jacobi :
   Le cœur de la preuve consiste à traduire la définition combinatoire de la conjecture dans le langage des symboles de Jacobi. La conjecture concerne $N_k(n)$, le nombre de paires d'entiers positifs $(b_1, b_2)$ satisfaisant des bornes spécifiques et une condition de congruence $b_2 \equiv n b_1 \pmod k$.
   Les auteurs observent que la parité du terme $\lfloor \frac{k+1}{4} \rfloor$ apparaissant dans la conjecture est périodique modulo 8 et correspond à la valeur du symbole de Jacobi $\left(\frac{2}{k}\right)$.

2. Réduction Combinatoire :
   Les auteurs définissent une somme combinatoire $F_k(a) = \sum_{i=1}^{(k-1)/2} \lfloor \frac{ai + (k-1)/2}{k} \rfloor$. En utilisant les propriétés standards des symboles de Jacobi (spécifiquement le lemme d'Eisenstein et le lemme de Gauss), ils établissent une relation entre $F_k(a)$ et la parité de $a$ :

   • Si $a$ est impair, $F_k(a) \equiv 0 \pmod 2$.
   • Si $a$ est pair, $F_k(a) \equiv \lfloor \frac{k+1}{4} \rfloor \pmod 2$.

   Ils démontrent ensuite une identité combinatoire clé (Lemme 2.5) :
   $$N_k(n) = F_k(n+1) - F_k(n)$$
   Cette identité réduit le problème à l'analyse de la parité de $F_k(n)$ et $F_k(n+1)$. Puisque $n$ et $n+1$ ont des parités opposées, et que l'hypothèse exige $\gcd(n, k) = \gcd(n+1, k) = 1$, le résultat découle directement des propriétés de $F_k$.

Contributions Clés et Résultats

• Preuve de la Conjecture 1.1 : L'article fournit une preuve complète de la Conjecture 1.1 (originalement issue de [6]), qui stipule que pour un entier impair $k \ge 3$ et un entier $n$ premier avec $k$ et $k+1$ :
  $$N_k(n) \equiv \left\lfloor \frac{k+1}{4} \right\rfloor \pmod 2$$
• Classification Inconditionnelle : En prouvant la conjecture, les auteurs rendent les formules de parité du spin pour le genre zéro et un inconditionnelles.
  • Genre 0 : La parité du spin de $\Omega^k\mathcal{M}_0(2\mu)$ est déterminée par $n_k(\mu) \pmod 2$, où $n_k(\mu)$ compte les indices $i$ où la valuation $Q$-adique de $m_i$ diffère en parité de celle de $k$.
  • Genre 1 : La parité du spin de la composante connexe avec le nombre de rotation $d$ est déterminée par $n_k(\mu) + d + 1 \pmod 2$.
• Formulation Alternative : Le papier propose une définition plus concise pour l'invariant $n_k(\mu)$ utilisant les symboles de Jacobi :
  $$n_k(\mu) = \# \left\{ i : \left(\frac{2}{\gcd(k, m_i)}\right) \neq \left(\frac{2}{k}\right) \right\}$$

Signification et Revendications
L'article affirme que sa contribution principale est la preuve de l'hypothèse de théorie des nombres qui constituait auparavant une barrière à la classification complète de la parité du spin pour les $k$-différentielles en faible genre. Les résultats géométriques concernant les $k$-différentielles elles-mêmes ont été établis dans un travail antérieur [6] ; ce papier lève l'hypothèse conditionnelle, déterminant ainsi « complètement la parité du spin des $k$-différentielles en genre zéro et un pour tout $k$ ».

Les auteurs notent explicitement que la preuve de l'identité combinatoire (Lemme 2.5) et du théorème principal ont été découvertes de manière autonome par AxiomProver, un système d'IA en développement. La vérification formelle de l'identité combinatoire a été réalisée dans Lean/Mathlib. Ils précisent que la formalisation s'applique à l'identité combinatoire, et non aux résultats géométriques sur les $k$-différentielles.

Ce travail sert de cas de test pour AxiomProver, démontrant sa capacité à découvrir des connexions non triviales entre des sommes combinatoires et des symboles de Jacobi, et à générer des preuves formelles pour des identités complexes de théorie des nombres.