Gross vectors modulo 2 and elliptic curves of prime conductor

Technische Samenvatting: Gross-vectoren modulo 2 en elliptische curven met een priemgeleider

Probleemstelling
Het artikel behandelt de pariteitseigenschappen van de coëfficiënten van Brandt-eigenvectoren behorend bij supersinguliere elliptische curven over eindige velden $\mathbb{F}_p$. Laat $p > 3$ een priemgetal zijn en zij $S_p$ de verzameling geometrische isomorfieklassen van supersinguliere elliptische curven waarvan de $j$-invarianten in $\mathbb{F}_p$ liggen. Voor een elliptische curve $E/\mathbb{Q}$ met een priemgeleider $p$ associeert de Jacquet–Langlands-correspondentie een primitieve integrale Brandt-eigenvector $v_E = \sum c_i e_i$. Het centrale probleem is het bepalen van de pariteit van de coëfficiënten $c_i$ voor $i \in S_p$ wanneer $E$ een positieve Mordell–Weil-rang heeft.

Deze verkenning komt voort uit de studie van divisor-polynomen en een conjectuur van Kazalicki en Kohen, die stelt dat als $E$ een positieve rang heeft en een wortelgetal $+1$, elke coëfficiënt $c_i$ geïndexeerd door een rationale supersinguliere klasse ($i \in S_p$) even moet zijn. Hoewel eerdere resultaten dit onder restrictieve voorwaarden hadden vastgesteld (positieve discriminant, geen rationale 2-torsie), bleef de algemene casus open. Bovendien is deze pariteitsvraag gekoppeld aan de conjectuur van Watkins betreffende de deelbaarheid van de modulaire graad $m_E$ door machten van 2 op basis van de rang van $E$.

Methodologie
De auteurs hanteren een meerstapsstrategie die de rekenkundige meetkunde, quaternion-algebra's en klassieke veldentheorie combineert:

1. Reductie naar Gross-vectoren: Het probleem wordt vertaald van de coëfficiënten $c_i$ van de Brandt-eigenvector naar de pariteit van de coëfficiënten $m_i(D)$ van "Gross-vectoren" (CM-vectoren) geassocieerd met negatieve fundamentele discriminanten $-D$ waar $p$ inert is. Gebruikmakend van de orthogonaliteit van Gross-vectoren ten opzichte van de Brandt-eigenvector van een curve met positieve rang, tonen de auteurs aan dat de vector van pariteiten $(c_i \mod 2)_{i \in S_p}$ moet liggen in het orthogonaal complement van de ruimte gespannen door de Gross-pariteitsrijen.
2. Frobenius-reductie: Een cruciale technische stap reduceert de pariteit van de representatietallen van Gross' ternaire roosters $L_i$ tot de pariteit van de representatietallen van rang-twee subroosters $L_i^\perp$ loodrecht op de Frobenius-endomorfisme $\pi_i$. Deze reductie berust op de werking van Frobenius-conjugatie, die vectoren buiten het loodrechte rooster groeperen in banen van grootte vier, waardoor hun bijdrage modulo 2 even is.
3. Identificatie met binaire vormen: Gebruikmakend van Ibukiyama's expliciete maximale orden in de quaternion-algebra $B_{p,\infty}$, identificeren de auteurs de loodrechte roosters $L_i^\perp$ met specifieke binaire kwadratische vormen. Deze vormen vallen in twee takken op basis van hun discriminanten: $-16p$ en $-p$ (laatstgenoemde komt alleen voor wanneer $p \equiv 3 \pmod 4$).
4. Klassieke veldentheorie en Chebotev: De auteurs maken gebruik van de Xiao–Zhou–Deng–Qu parametrisering om supersinguliere klassen te mappen naar inverse banen van vorm-klassen. Vervolgens passen zij de Chebotev-dichtheidstelling toe in de overeenkomstige ringklassevelden om specifieke admissible discriminanten (priemgetallen en semipriemgetallen) te construeren die individuele supersinguliere coördinaten isoleren. Door priemgetallen te kiezen die op specifieke wijze splitsen binnen de klasse-groepen van kwadratische orden, demonstreren zij dat de Gross-pariteitsrijen elke standaard basisvector in de ruimte $\mathbb{F}_2^{S_p}$ kunnen genereren.

Belangrijkste Bijdragen en Resultaten

• De Gross-rij Spanningsstelling (Stelling 1.1): Het primaire resultaat bewijst dat de vectoren van Gross-coëfficiënten modulo 2, geïndexeerd door $S_p$, de volledige vectorruimte $\mathbb{F}_2^{S_p}$ spannen. Dit wordt bereikt door expliciet Gross-rijen te construeren die elke coördinaat isoleren, waarbij de uitzonderlijke $j$-invarianten ($0$ en $1728$) apart worden behandeld en de $-16p$ en $-p$ discriminant-takken worden behandeld met afzonderlijke priemgetal-selectiestrategieën.
• Resolutie van de Kazalicki–Kohen Pariteitsconjectuur (Corollary 1.2): Als direct gevolg van de spanningsstelling bewijzen de auteurs dat als een elliptische curve $E/\mathbb{Q}$ een priemgeleider $p$ heeft en een positieve Mordell–Weil-rang, dan elke coëfficiënt $c_i$ van haar Brandt-eigenvector voor $i \in S_p$ even is. Dit verwijdert de eerdere restricties op de discriminant en de aanwezigheid van rationale 2-torsiepunten. Het artikel merkt op dat dit een eenzijdige criterium biedt: een oneven coëfficiënt bij een rationale supersinguliere klasse certificeert dat de rang nul is.
• Deelbaarheid van de Modulaire Graad (Corollary 1.3 en Stelling 6.1): Door de pariteitsresultaten te combineren met Mestre's normformule en de Gross–Kudla kubische identiteit, bewijzen de auteurs dat voor elke elliptische curve met priemgeleider $p$, positieve rang en wortelgetal $+1$, de modulaire graad $m_E$ deelbaar is door 4.
• Verificatie van de Watkins-conjectuur voor Rang 2: Het resultaat bevestigt de Watkins-conjectuur ($2^{\text{rank}} \mid m_E$) voor alle elliptische curven met een priemgeleider en rang 2 met wortelgetal $+1$.

Significantie
Het artikel beweert een specifieke pariteitsconjectuur betreffende Brandt-eigenvectoren te hebben opgelost, wat een robuust algebraïsch certificaat voor rang 0 biedt op basis van de pariteit van supersinguliere coëfficiënten. Door de spanningseigenschap van Gross-vectoren modulo 2 vast te stellen, overbrugt het werk de kloof tussen de rekenkunde van supersinguliere curven en de analytische eigenschappen van modulaire vormen (specifiek het verdwijnen van $L$-functies in het centrale punt). De toepassing op de Watkins-conjectuur breidt de bekende gevallen van deze conjectuur uit naar alle curves met een priemgeleider van rang 2 met wortelgetal $+1$, waarbij eerdere discriminant-restricties worden opgeheven. De methodologie demonstreert de kracht van het reduceren van ternaire representatieproblemen naar binaire vormen via Frobenius-symmetrie en het gebruik van expliciete maximale orde-modellen om de pariteit van representaties te controleren via klassieke veldentheorie.