Gross vectors modulo 2 and elliptic curves of prime conductor

Résumé Technique : Vecteurs de Gross modulo 2 et courbes elliptiques de conducteur premier

Énoncé du Problème
L'article traite des propriétés de parité des coefficients des vecteurs propres de Brandt associés aux courbes elliptiques supersingulières sur les corps finis $\mathbb{F}_p$. Plus précisément, soit $p > 3$ un nombre premier et $S_p$ l'ensemble des classes d'isomorphisme géométrique de courbes elliptiques supersingulières dont les invariants $j$ appartiennent à $\mathbb{F}_p$. Pour une courbe elliptique $E/\mathbb{Q}$ de conducteur premier $p$, la correspondance de Jacquet–Langlands associe un vecteur propre de Brandt intégral primitif $v_E = \sum c_i e_i$. Le problème central est de déterminer la parité des coefficients $c_i$ pour $i \in S_p$ lorsque $E$ possède un rang de Mordell–Weil positif.

Cette recherche découle de l'étude des polynômes diviseurs et d'une conjecture de Kazalicki et Kohen, qui postule que si $E$ a un rang positif et un nombre de racine $+1$, alors chaque coefficient $c_i$ indexé par une classe supersingulière rationnelle ($i \in S_p$) doit être pair. Bien que des résultats antérieurs aient établi cela sous des conditions restrictives (discriminant positif, absence de 2-torsion rationnelle), le cas général restait ouvert. De plus, cette question de parité est liée à la conjecture de Watkins concernant la divisibilité du degré modulaire $m_E$ par des puissances de 2 en fonction du rang de $E$.

Méthodologie
Les auteurs emploient une stratégie en plusieurs étapes combinant la géométrie arithmétique, les algèbres de quaternions et la théorie galoisienne des corps :

1. Réduction aux Vecteurs de Gross : Le problème est traduit de la parité des coefficients $c_i$ du vecteur propre de Brandt vers la parité des coefficients $m_i(D)$ des « vecteurs de Gross » (vecteurs CM) associés à des discriminants fondamentaux négatifs $-D$ où $p$ est inerte. En utilisant l'orthogonalité des vecteurs de Gross par rapport au vecteur de Brandt d'une courbe de rang positif, les auteurs montrent que le vecteur des parités $(c_i \mod 2)_{i \in S_p}$ doit se trouver dans le complément orthogonal de l'espace engendré par les lignes de parité de Gross.
2. Réduction de Frobenius : Une étape technique clé réduit la parité des nombres de représentation des réseaux ternaires de Gross $L_i$ à la parité des nombres de représentation de sous-réseaux de rang deux $L_i^\perp$ perpendiculaires à l'endomorphisme de Frobenius $\pi_i$. Cette réduction repose sur l'action de la conjugaison de Frobenius, qui regroupe les vecteurs hors du réseau perpendiculaire en orbites de taille quatre, rendant leur contribution paire modulo 2.
3. Identification avec les Formes Binaires : En utilisant les ordres maximaux explicites d'Ibukiyama dans l'algèbre de quaternions $B_{p,\infty}$, les auteurs identifient les réseaux perpendiculaires $L_i^\perp$ à des formes quadratiques binaires spécifiques. Ces formes appartiennent à deux branches selon leurs discriminants : $-16p$ et $-p$ (cette dernière n'apparaissant que lorsque $p \equiv 3 \pmod 4$).
4. Théorie des Corps de Classes et Densité de Chebotarev : Les auteurs utilisent la paramétrisation de Xiao–Zhou–Deng–Qu pour mapper les classes supersingulières vers des orbites inverses de classes de formes. Ils appliquent ensuite le théorème de densité de Chebotarev dans les corps de classes de cycles de quaternions correspondants pour construire des discriminants admissibles spécifiques (nombres premiers et semi-premiers) qui isolent les coordonnées supersingulières individuelles. En choisissant des nombres premiers qui se scindent de manières spécifiques dans les groupes de classes des ordres quadratiques, ils démontrent que les lignes de parité de Gross peuvent engendrer n'importe quel vecteur de base standard dans l'espace $\mathbb{F}_2^{S_p}$.

Contributions Clés et Résultats

• Le Théorème d'Engendrement des Lignes de Gross (Théorème 1.1) : Le résultat principal prouve que les vecteurs des coefficients de Gross modulo 2, indexés par $S_p$, engendrent l'espace vectoriel entier $\mathbb{F}_2^{S_p}$. Ceci est réalisé en construisant explicitement des lignes de Gross qui isolent chaque coordonnée, en traitant les invariants $j$ exceptionnels ($0$ et $1728$) séparément et en traitant les branches de discriminants $-16p$ et $-p$ par des stratégies de sélection de nombres premiers distinctes.
• Résolution de la Conjecture de Parité de Kazalicki–Kohen (Corollaire 1.2) : Comme conséquence directe du théorème d'engendrement, les auteurs prouvent que si une courbe elliptique $E/\mathbb{Q}$ a un conducteur premier $p$ et un rang de Mordell–Weil positif, alors chaque coefficient $c_i$ de son vecteur propre de Brandt pour $i \in S_p$ est pair. Cela lève les restrictions antérieures sur le discriminant et l'existence de points de 2-torsion rationnels. Le papier note que cela fournit un critère unilatéral : un coefficient impair à une classe supersingulière rationnelle certifie que le rang est nul.
• Divisibilité du Degré Modulaire (Corollaire 1.3 et Théorème 6.1) : En combinant le résultat de parité avec la formule de norme de Mestre et l'identité cubique de Gross–Kudla, les auteurs prouvent que pour toute courbe elliptique de conducteur premier $p$, de rang positif, et de nombre de racine $+1$, le degré modulaire $m_E$ est divisible par 4.
• Vérification de la Conjecture de Watkins pour le Rang 2 : Le résultat confirme la conjecture de Watkins ($2^{\text{rang}} \mid m_E$) pour toutes les courbes elliptiques de conducteur premier et de rang 2 avec un nombre de racine $+1$.

Signification
L'article affirme résoudre une conjecture de parité spécifique concernant les vecteurs propres de Brandt, fournissant un certificat algébrique robuste pour le rang 0 basé sur la parité des coefficients supersinguliers. En établissant la propriété d'engendrement des vecteurs de Gross modulo 2, ce travail comble le fossé entre l'arithmétique des courbes supersingulières et les propriétés analytiques des formes modulaires (spécifiquement l'annulation des fonctions $L$ au point central). L'application à la conjecture de Watkins étend les cas connus de cette conjecture à toutes les courbes de rang 2 et de conducteur premier avec un nombre de racine $+1$, supprimant les contraintes antérieures sur le discriminant. La méthodologie démontre la puissance de la réduction des problèmes de représentation ternaire en formes binaires via la symétrie de Frobenius et l'utilisation de modèles d'ordres maximaux explicites pour contrôler les parités de représentation via la théorie des corps de classes.