On the integral $2$-adic Tate module of elliptic curves

Technische Samenvatting: Over de Integrale 2-adische Tate-module van Elliptische Curven

Probleemstelling
Het artikel behandelt de bepaling van de integrale 2-adische Tate-module, $T_2E$, van een elliptische curve $E$ gedefinieerd over een volledig discrete waardelichaam $K$ met een oneven residu-karakteristiek $p$. Hoewel de Galois-actie op de wortels van de kubische polynoom in een model $E: y^2 = cf(x)$ de 2-torsie-representatie $E[2]$ bepaalt, is deze informatie over het algemeen onvoldoende om de volledige integrale 2-adische Tate-module $T_2E$ te bepalen. Het centrale probleem is het identificeren van de precieze aanvullende lokale data die nodig zijn om $T_2E$ te reconstrueren vanuit het 2-torsieniveau.

Methodologie
De auteur maakt gebruik van expliciete "halverings"-formules om compatibele isomorfismen tussen de $2^n$-torsie-subgroepen van twee elliptische curves te construeren. De methodologie steunt op de volgende technische componenten:

1. Expliciete Halverings-triples: Gebruikmakend van het werk van Bekker en Zarhin, stelt het artikel een bijjectie vast tussen punten $Q$ waarvoor $2Q=P$ en triples $(t_\alpha, t_\beta, t_\gamma)$ van vierkantswortels van de verschillen tussen de x-coördinaat van $P$ en de wortels van de kubische polynoom.
2. Algebraïsche Identiteiten: Het bewijs leidt specifieke identiteiten af en maakt gebruik van identiteiten die het gedrag van deze triples onder negatie, translatie door 2-torsiepunten en optelling regelen (Lemma 5). Deze identiteiten maken de expliciete berekening van de coördinaten van half-punten mogelijk.
3. Waardetheoretische Equivalentie: Een cruciaal technisch instrument is de relatie $a \sim b$, gedefinieerd voor niet-nul $a, b \in K$ als $a/b \in 1 + \mathfrak{m}_K$ (waarbij $\mathfrak{m}_K$ de maximale ideale is). Deze relatie vangt overeenstemming op tot een hogere waardering. Het artikel bewijst lemmas (Lemmas 7–9) die aantonen dat deze equivalentie behouden blijft onder optelling, aftrekking en de specifieke algebraïsche operaties die vereist zijn voor puntoptelling en halvering.
4. Inductieve Constructie: De kern van het bewijs betreft een inductieve constructie van Galois-equivariante isomorfismen $\phi_n: E_1[2^n] \to E_2[2^n]$. De inductiestap berust op het kiezen van vierkantswortels voor de halverings-triples die de $\sim$ relatie respecteren, waardoor de resulterende punten op de tweede curve de noodzakelijke waardetheoretische nabijheid tot de punten op de eerste curve behouden.

Belangrijkste Bijdragen en Resultaten

• Theorema 1 (Hoofdresultaat): Laat $E_1: y^2 = c_1 f_1(x)$ en $E_2: y^2 = c_2 f_2(x)$ elliptische curves zijn over $K$. Als:

  1. $c_1/c_2$ een kwadraat is in $K^\times$; en
  2. Er een $G_K$-equivariante bijjectie $\phi$ bestaat tussen de wortels van $f_1$ en $f_2$ zodanig dat de paarwijze verschillen van de wortels overeenstemmen tot de relatie $\sim$ (d.w.z. $\frac{\phi(r)-\phi(s)}{r-s} \in 1 + \mathfrak{m}_K$),
     Dan is $T_2E_1 \cong T_2E_2$ als $\mathbb{Z}_2[G_K]$-modules.
     Dit resultaat impliceert dat de integrale 2-adische Tate-module wordt bepaald door de 2-torsie-representatie, de kwadratische klasse van de leidende coëfficiënt $c$, en de relatieve posities van de wortels van $f$ modulo hogere waardering.

• Theorema 2 (Vergelijking van Velden): Het artikel breidt het resultaat uit om elliptische curves over twee verschillende velden $K$ en $K'$ te vergelijken met dezelfde residu-veld en een oneven residu-karakteristiek. Onder een compatibele identificatie van hun maximale tamelijk onverwelfde uitbreidingen en een specifieke equivalentierelatie ($\sim_{K,K'}$) op de coëfficiënten en wortelverschillen, zijn de integrale Tate-modules isomorf als modules over de tame Galois-groepen.

• Corollary 3 (Expliciete Lokale Constante): Het artikel biedt een expliciete grens voor de lokale constantie van de 2-adische Galois-representatie. Als twee monische kubische polynomen $f_1, f_2 \in \mathcal{O}_K[x]$ congruent zijn modulo $\pi^N$ waarbij $N > d+e$ (met $d$ en $e$ afgeleid van de waarderingen van wortelverschillen en afgeleiden), en de leidende coëfficiënten in dezelfde kwadratische klasse liggen, dan zijn hun integrale 2-adische Tate-modules isomorf. Dit staat in contrast met de niet-expliciete resultaten van Kisin voor $\ell \neq p$, en biedt een concrete drempel specifiek voor $\ell=2$.

Betekenis en Claims
Het artikel claimt de eerdere rationale resultaten (specifiek die in [2] betreffende Jacobiaan van hyperelliptische curves) te versterken naar het integrale niveau voor elliptische curves. Door expliciete isomorfismen op de volledige toren van 2-machtige torsie te construeren, demonstreert het werk dat de integrale representatie rigide is onder de gespecificeerde lokale condities.

De auteur merkt op dat de integrale representatie de 2-primaire deel van de componentgroep van het Néron-model bepaalt, inclusief in gevallen van wilde reductie. Bijgevolg impliceert het isomorfisme van $T_2E$ het isomorfisme van deze componentgroepen. Het artikel observeert ook dat dit resultaat voor lokale velden de gelijkheid van exponenten van de conductor en lokale root numbers impliceert.

Het werk is bescheiden in zijn reikwijdte en richt zich strikt op het genus 1 geval (elliptische curves) en de priem $\ell=2$. De auteur suggereert dat het uitbreiden van deze integrale conclusies naar Jacobiaan van hyperelliptische curves met een hogere genus een natuurlijke vraag is, potentieel benaderbaar door de halveringsmethoden gebruikt in dit werk te combineren met Stoll's algoritme voor het halveren van punten op oneven-graads hyperelliptische Jacobiaan.