$p$-twisted Selmer near-companion curves

Technische Samenvatting van "p-TWISTED SELMER NEAR-COMPANION CURVES"

Probleemstelling en Context
Het artikel behandelt de relatie tussen de arithmetische eigenschappen van elliptische krommen en hun Selmer-groepen onder twisting. Voortbouwend op het werk van Mazur en Rubin [7], die n-Selmer near-companion curves definieerden, onderzoekt het artikel de relatie tussen de begrensdheid van Selmer-rangverschillen en de isomorfie van torsiegroepen. Mazur en Rubin vermoedden dat als twee elliptische krommen $E_1$ en $E_2$ over een getallenlichaam $K$ $n$-Selmer near-companions zijn (wat betekent dat het verschil in de dimensies van hun $n$-Selmer-groepen onder kwadratische twists begrensd is), hun $n$-torsie-subgroepen $E_1[n]$ en $E_2[n]$ isomorf moeten zijn als $G_K$-modules.

Hoewel Yu [11] deze conjectuur bewees voor het geval $n=2$, bleef het algemene geval voor oneven priemgetallen $p$ open. Een belangrijk knelpunt dat in de inleiding wordt genoemd, is dat de gelijkheid van de lichamen gegenereerd door de torsiepunten, $K(E_1[p]) = K(E_2[p])$, niet automatisch een $G_K$-module-isomorfie $E_1[p] \cong E_2[p]$ impliceert. Om deze kloof te overbruggen en het kader uit te breiden, introduceert de auteur het concept van $p$-twisted Selmer near-companions ($p$-TSNC). In tegenstelling tot de oorspronkelijke definitie, die alleen naar kwadratische twists kijkt, beschouwt $p$-TSNC twists door alle karakters $\chi \in \text{Hom}(G_K, \mu_p)$.

Methodologie
De kernstrategie bestaat uit het analyseren van het gedrag van Selmer-rangen onder $p$-twists. De auteur definieert de $p$-twisted Selmer-groep $S_p(E/K, \chi)$ en onderzoekt het verschil in dimensies $r_p(E_1, \chi) - r_p(E_2, \chi)$.

Het bewijs steunt op een "dichtheidsargument" gebruikmakend van de Stelling van Chebotarev over de dichtheid. De methodologie verloopt als volgt:

1. Analyse van de veldvergroting: De auteur neemt aan dat $K(E_1[p]) \neq K(E_2[p])$ en analyseert de Galois-representaties geassocieerd met $E_1$ en $E_2$. Het bewijs wordt verdeeld in gevallen gebaseerd op de structuur van de lichamen $M_i = K(E_i[p])$ en de $p$-torsiepunten $E_i(K)[p]$.
2. Lokaal-Globale Principes: Met behulp van instrumenten uit de globale klassieke veldentheorie en de eigenschappen van lokale Selmer-condities (specifiek de afbeeldingen van Kummer-afbeeldingen $\gamma_v(\chi_v)$), construeert de auteur globale karakters $\chi$ die voldoen aan specifieke lokale condities bij zorgvuldig gekozen priemgetallen $q$.
3. Rang-manipulatie: Door priemgetallen $q$ te selecteren met specifieke Frobenius-eigenschappen (bijv. $q \in P_2(E)$ waar de Frobenius triviaal werkt op $E[p]$), construeert de auteur karakters die de Selmer-rang van de ene kromme met 2 verhogen terwijl de andere onveranderd blijft, of de rangen met verschillende hoeveelheden verhogen.
4. Inductieve Constructie: Door een reeks lemma's (Secties 3–8) te volgen, toont het artikel aan dat als $K(E_1[p]) \neq K(E_2[p])$, men oneindig veel karakters $\chi$ kan vinden waarvoor het verschil $|r_p(E_1, \chi) - r_p(E_2, \chi)|$ willekeurig groot wordt. Dit spreekt de definitie van $p$-TSNC tegen, die vereist dat dit verschil begrensd is door een constante $C$.

Belangrijkste Bijdragen en Resultaten
Het artikel introduceert de definitie van $p$-twisted Selmer near-companions en stelt de volgende hoofdtheorema's vast:

• Theorem 1.6 (Niet-bestaan van $p$-TSNC met verschillende lichamen): Als $E_1$ en $E_2$ $p$-TSNC zijn over $K$, dan geldt $K(E_1[p]) = K(E_2[p])$, mits ten minste één van de volgende condities standhoudt:

  • $E_i[p] \subset E_i(K)$ voor een bepaalde $i$.
  • $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ voor $i=1,2$.
  • $E_1(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ en $K(\mu_p) \subsetneq M_2$.
  • De graad $[M_i : K(\mu_p)]$ is niet deelbaar door $p$ voor $i=1,2$.
  • $\mu_p \subset K$.
    In essentie dwingt de eigenschap van het zijn van $p$-TSNC onder deze condities de lichamen gegenereerd door de $p$-torsiepunten om identiek te zijn.

• Theorem 1.7 (Voldoendeheid van Isomorfie): Als er een $G_K$-module-isomorfie $E_1[p] \cong E_2[p]$ bestaat (voor $p \ge 3$), dan zijn $E_1$ en $E_2$ $p$-TSNC over $K$. Dit bevestigt de omgekeerde richting van de hoofdconjectuur in de context van de nieuwe definitie.

• Corollaria: Het artikel leidt af dat als $\mu_p \subset K$ en $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$, dan $p$-TSNC de isomorfie $E_1[p] \cong E_2[p]$ als $G_K$-modules impliceert (Corollary 1.9). Evenzo, als $E_1[p] \subset E_1(K)$, dan impliceert $p$-TSNC isomorfie (Corollary 1.10).

Betekenis
Het artikel breidt het kader van Mazur en Rubin uit door het twisting-mechanisme te generaliseren van kwadratische karakters naar alle karakters naar $\mu_p$. De primaire betekenis ligt in het bewijzen dat voor een breed scala aan elliptische krommen (die de gevallen dekken waarin de $p$-torsie rationeel is, gedeeltelijk rationeel, of waar de Galois-imago groot is), de conditie van het zijn van $p$-twisted Selmer near-companions voldoende is om de gelijkheid van de velden $K(E_1[p]) = K(E_2[p])$ af te dwingen.

De auteur merkt op dat voor elliptische krommen zonder complexe multiplicatie, Faltings' stelling impliceert dat $K(E_1[p]) \neq K(E_2[p])$ voor oneindig veel priemgetallen indien de krommen niet isogeen zijn. Bijgevolg suggereert het artikel dat als twee niet-isogene krommen $p$-TSNC zijn voor bijna alle priemgetallen, zij isogeen moeten zijn. Het werk biedt een rigoureuze gedeeltelijke oplossing voor de Mazur-Rubin conjectuur in de context van $p$-twisted Selmer-groepen, specifiek door de link te leggen tussen de begrensdheid van Selmer-rangverschillen en de gelijkheid van torsielichamen onder specifieke arithmetische beperkingen.