Gross vectors modulo 2 and elliptic curves of prime conductor

Sintesi Tecnica: Vettori di Gross Modulo 2 e Curve Ellittiche di Conduttore Primo

Enunciato del Problema
Il saggio affronta le proprietà di parità dei coefficienti degli autovettori di Brandt associati a curve ellittiche supersingolari su campi finiti $\mathbb{F}_p$. Nello specifico, sia $p > 3$ un numero primo e $S_p$ l'insieme delle classi di isomorfismo geometrico di curve ellittiche supersingolari i cui invarianti $j$ appartengono a $\mathbb{F}_p$. Per una curva ellittica $E/\mathbb{Q}$ di conduttore primo $p$, la corrispondenza di Jacquet–Langlands associa un autovettore di Brandt primitivo integrale $v_E = \sum c_i e_i$. Il problema centrale è determinare la parità dei coefficienti $c_i$ per $i \in S_p$ quando $E$ ha rango di Mordell–Weil positivo.

Questa indagine deriva dallo studio dei polinomi divisori e da una congettura di Kazalicki e Kohen, la quale postula che se $E$ ha rango positivo e numero di radice $+1$, allora ogni coefficiente $c_i$ indicizzato da una classe supersingolare razionale ($i \in S_p$) debba essere pari. Mentre risultati precedenti avevano stabilito questo sotto condizioni restrittive (discriminante positivo, assenza di 2-torsione razionale), il caso generale rimaneva aperto. Inoltre, questa questione della parità è legata alla congettura di Watkins riguardante la divisibilità del grado modulare $m_E$ per potenze di 2 in base al rango di $E$.

Metodologia
Gli autori impiegano una strategia multi-step che combina geometria aritmetica, algebre di quaternioni e teoria dei campi algebrici:

1. Riduzione ai Vettori di Gross: Il problema viene traslato dai coefficienti $c_i$ dell'autovettore di Brandt ai coefficienti $m_i(D)$ dei "vettori di Gross" (vettori CM) associati a discriminanti fondamentali negativi $-D$ dove $p$ è inerte. Utilizzando l'ortogonalità dei vettori di Gross rispetto all'autovettore di Brandt di una curva a rango positivo, gli autori dimostrano che il vettore delle parità $(c_i \mod 2)_{i \in S_p}$ deve trovarsi nel complemento ortogonale dello spazio generato dalle righe di parità dei vettori di Gross.
2. Riduzione di Frobenius: Un passaggio tecnico chiave riduce la parità dei numeri di rappresentazione dei reticoli ternari di Gross $L_i$ alla parità dei numeri di rappresentazione di sottoreticoli di rango due $L_i^\perp$ perpendicolari all'endomorfismo di Frobenius $\pi_i$. Questa riduzione si basa sull'azione della coniugazione di Frobenius, che raggruppa i vettori esterni al reticolo perpendicolare in orbite di dimensione quattro, rendendo il loro contributo pari modulo 2.
3. Identificazione con Forme Binarie: Utilizzando gli ordini massimali espliciti di Ibukiyama nell'algebra di quaternioni $B_{p,\infty}$, gli autori identificano i reticoli perpendicolari $L_i^\perp$ con specifiche forme quadratiche binarie. Queste forme cadono in due rami basati sui loro discriminanti: $-16p$ e $-p$ (quest'ultimo presente solo quando $p \equiv 3 \pmod 4$).
4. Teoria dei Campi Algebrici e Chebotarev: Gli autori utilizzano la parametrizzazione Xiao–Zhou–Deng–Qu per mappare le classi supersingolari su orbite inverse di classi di forme. Successivamente applicano il Teorema di Densità di Chebotarev nei corrispondenti campi di classi di ordini quadratici per costruire specifici discriminanti ammissibili (numeri primi e semiprimi) che isolano singole coordinate supersingolari. Scegliendo numeri primi che si scindono in modi specifici all'interno dei gruppi di classi degli ordini quadratici, dimostrano che le righe di parità di Gross possono generare qualsiasi vettore base standard nello spazio $\mathbb{F}_2^{S_p}$.

Contributi Chiave e Risultati

• Il Teorema di Spanning delle Righe di Gross (Teorema 1.1): Il risultato primario dimostra che i vettori dei coefficienti di Gross modulo 2, indicizzati da $S_p$, generano l'intero spazio vettoriale $\mathbb{F}_2^{S_p}$. Ciò viene ottenuto costruendo esplicitamente righe di Gross che isolano ogni coordinata, trattando separatamente gli invarianti $j$ eccezionali ($0$e$1728$) e trattando i rami dei discriminanti $-16p$ e $-p$ mediante strategie distinte di selezione dei numeri primi.
• Risoluzione della Congettura sulla Parità di Kazalicki–Kohen (Corollario 1.2): Come conseguenza diretta del teorema di spanning, gli autori dimostrano che se una curva ellittica $E/\mathbb{Q}$ ha conduttore primo $p$ e rango di Mordell–Weil positivo, allora ogni coefficiente $c_i$ del suo autovettore di Brandt per $i \in S_p$ è pari. Questo rimuove le precedenti restrizioni sul discriminante e sull'esistenza di punti di 2-torsione razionali. Il saggio nota che ciò fornisce un criterio monodirezionale: un coefficiente dispari in una classe supersingolare razionale certifica che il rango è zero.
• Divisibilità del Grado Modulare (Corollario 1.3 e Teorema 6.1): Combinando il risultato sulla parità con la formula del norma di Mestre e l'identità cubica di Gross–Kudla, gli autori dimostrano che per ogni curva ellittica di conduttore primo $p$, rango positivo e numero di radice $+1$, il grado modulare $m_E$ è divisibile per 4.
• Verifica della Congettura di Watkins per il Rango 2: Il risultato conferma la congettura di Watkins ($2^{\text{rank}} \mid m_E$) per tutte le curve ellittiche di conduttore primo e rango 2 con numero di radice $+1$.

Significatività
Il saggio sostiene di aver risolto una specifica congettura sulla parità riguardante gli autovettori di Brandt, fornendo un robusto certificato algebrico per il rango 0 basato sulla parità dei coefficienti supersingolari. Stabilendo la proprietà di spanning dei vettori di Gross modulo 2, il lavoro colma il divario tra l'aritmetica delle curve supersingolari e le proprietà analitiche delle forme modulari (specificamente lo svanimento delle funzioni $L$ nel punto centrale). L'applicazione alla congettura di Watkins estende i casi noti di tale congettura a tutte le curve di conduttore primo di rango 2 con numero di radice $+1$, rimuovendo i precedenti vincoli sul discriminante. La metodologia dimostra la potenza del ridurre problemi di rappresentazione ternaria a forme binarie tramite la simmetria di Frobenius e l'utilizzo di modelli di ordini massimali espliciti per controllare le parità di rappresentazione tramite la teoria dei campi algebrici.