Visible 2-torsion in the Tate-Shafarevich group of an elliptic curve

Problematica
Il documento affronta il problema della "visibilità" all'interno del gruppo di Tate-Shafarevich, denotato con $\mathcal{X}(E/k)$, di una curva ellittica $E$ definita su un campo numerico $k$. La visibilità, introdotta da Mazur, si riferisce alla realizzazione di una classe di coomologia $\xi \in H^1(k, E)$ come il nucleo di una mappa indotta da un'inclusione di varietà assolute $\iota: E \hookrightarrow A$. Specificamente, un elemento è visibile in $A$ se la corrispondente torsore può essere realizzata come un coset di $E$ all'interno di $A$.

Sebbene fosse stato precedentemente stabilito che ogni singolo elemento di 2-torsione in $H^1(k, E)$ è visibile in una superficie abeliana (Klenke), e che ogni elemento di 3-torsione è visibile in una superficie abeliana (Mazur), rimaneva aperto il quesito se coppie di elementi di 2-torsione nel gruppo di Tate-Shafarevich potessero essere simultaneamente visibili nella stessa superficie abeliana. Precedenti esempi di Cremona e Mazur avevano mostrato che ciò era possibile per casi specifici, ma mancava una prova generale per qualsiasi coppia di elementi di 2-torsione.

Metodologia
L'autore, Tom Fisher, impiega un approccio geometrico centrato sullo studio delle intersezioni di quadriche in spazio proiettivo. La metodologia procede attraverso le seguenti fasi:

1. Riformulazione tramite Quartiche Binarie: Il problema viene traslato nel linguaggio delle quartiche binarie. Gli elementi del gruppo di 2-Selmer $S^{(2)}(E/k)$ sono rappresentati da quartiche binarie localmente solubili ovunque. Due tali quartiche, $f$ e $g$, con gli stessi invarianti $I$ e $J$, definiscono un oggetto geometrico specifico.
2. Costruzione di Intersezioni di Quadriche: L'autore definisce una varietà $X_{f,g} \subset \mathbb{P}^5$ come l'intersezione di due quadriche derivate dalle quartiche $f$ e $g$. Questa varietà si rivela essere una varietà singolare con esattamente sei punti singolari.
3. Il Principio di Hasse per Punti Lisci: L'ostacolo tecnico centrale è dimostrare che se $X_{f,g}$ possiede punti lisci su tutte le completazioni $k_v$ (ovvero, è localmente solubile ovunque), allora possiede un punto $k$-razionale liscio. Si tratta di un risultato del "principio di Hasse per punti lisci". Il documento fornisce due distinte prove per questo:
   • Prova 1 (Geometrica): Questo approccio analizza le sezioni iperplanari di $X_{f,g}$. Intersecando con un iperpiano scelto accuratamente, l'autore ottiene una superficie di del Pezzo di grado 4 liscia. Utilizzando l'esistenza di rette su questa superficie (derivata dalle equivalenze proprie delle quartiche), la superficie viene soppressa per ottenere una superficie di del Pezzo di grado 8. Poiché le superfici di del Pezzo di grado 8 soddisfano il principio di Hasse, l'esistenza di un punto razionale è stabilita.
   • Prova 2 (Birazionale): Questo approccio costruisce un'applicazione birazionale da $X_{f,g}$ a una varietà di Brauer-Severi tripla $Y$. Poiché le varietà di Brauer-Severi soddisfano il principio di Hasse, il risultato segue immediatamente.
4. Applicazione alla Visibilità: L'esistenza di un punto $k$-liscio su $X_{f,g}$ viene utilizzata per costruire una curva ellittica $F$ e un isomorfismo $\pi: E[2] \to F[2]$ tale che le classi delle due quartiche $f$ e $g$ vengano mappate all'elemento triviale in $H^1(k, F)$. Ciò conferma che entrambi gli elementi sono visibili nella superficie abeliana $A = (E \times F)/\Delta$.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1.2, che afferma:

Ogni coppia di elementi di 2-torsione in $\mathcal{X}(E/k)$ è visibile nella stessa superficie abeliana.

Questo generalizza i risultati precedenti che erano limitati a singoli elementi o casi specifici. Il documento stabilisce inoltre:

• Lemma 6.1: Se due quartiche binarie non singolari con gli stessi invarianti sono localmente solubili ovunque, l'intersezione di quadriche associata $X_{f,g}$ possiede un punto liscio su ogni completazione $k_v$.
• Proposizione 8.1: Una prova alternativa, più computazionale, del teorema principale viene fornita utilizzando la mappa di ostruzione $\text{Ob}_2: H^1(k, E[2]) \to \text{Br}(k)$. Il documento mostra che per elementi di 2-torsione $\xi, \eta$ con ostruzione triviale, $\text{Ob}_2(\xi + \eta) = 0$ è equivalente alla loro visibilità simultanea.
• Controesempi al Principio di Hasse Generale: Il documento fornisce esempi (Esempio 7.2) che mostrano come, sebbene $X_{f,g}$ soddisfi il principio di Hasse liscio, non soddisfi necessariamente il principio di Hasse generale (ovvero, può avere punti ovunque localmente ma nessun punto globale se i punti singolari sono gli unici punti locali).

Significato e Rivendicazioni
Il documento sostiene che il suo risultato spiega le osservazioni originali sulla visibilità fatte da Cremona e Mazur, specificamente perché coppie di elementi di 2-torsione nei loro esempi fossero visibili nella stessa superficie abeliana. L'autore nota che il risultato si basa sulla geometria specifica della 2-torsione e delle intersezioni di quadriche, distinguendosi dai casi di torsione superiore dove la visibilità in superfici abeliane non è garantita (come mostrato dal precedente lavoro di Fisher su 6 e 7-torsione).

Il lavoro è di modesta portata, concentrandosi strettamente sul caso della 2-torsione. Non propone estensioni a torsioni superiori o altri tipi di varietà abeliane oltre alla specifica costruzione della superficie abeliana $(E \times F)/\Delta$. La significatività risiede nel colmare il divario tra la visibilità nota dei singoli elementi di 2-torsione e la visibilità simultanea di coppie, fornendo un quadro geometrico unificato per questo fenomeno.