Locally imprimitive points on elliptic curves

Titel: Lokaal onprimitieve punten op elliptische krommen

Auteurs: Nathan Jones, Francesco Pappalardi, Peter Stevenhagen
Datum: April 2023
Vakgebied: Getaltheorie (11G05, 11F80)

1. Het Probleem

Het artikel onderzoekt een veralgemening van de beroemde conjectuur van Artin over primitieve wortels naar het domein van elliptische krommen.

• Achtergrond: Onder de Algemene Riemann-hypothese (GRH) is bewezen dat een globaal primitief element $x$ in een getallenlichaam $K$ (d.w.z. geen perfecte macht in $K^*$) een primitieve wortel is modulo een verzameling priemgetallen van positieve dichtheid.
• De Vraag: Als we de multiplicatieve groep $K^*$ vervangen door de groep van rationale punten $E(K)$ op een elliptische kromme $E/K$, en de eenheidsgroep van het residuveld $k_p^*$ door de groep van gereduceerde punten $E(k_p)$, geldt dan een analoog resultaat?
  • Specifiek: Als een punt $P \in E(K)$ van oneindige orde "globaal primitief" is (d.w.z. het genereert een ondergroep die niet in een grotere cyclische ondergroep zit), genereert het dan voor een verzameling priemgetallen $p$ met positieve dichtheid de volledige groep $E(k_p)$?
• Het Verschijnsel: De auteurs tonen aan dat dit niet altijd het geval is. Er bestaan "globaal primitieve" punten die "lokaal onprimitief" zijn; d.w.z. ze genereren $E(k_p)$ voor slechts een eindig aantal priemgetallen $p$, zelfs als de dichtheid van priemgetallen met cyclische reductie ($\delta_{E/K}$) positief is.

2. Methodologie

De auteurs gebruiken een combinatie van Galois-theorie, representatietheorie en de Chebotarev-dichtheidsstelling om dit fenomeen te analyseren.

• Galois-representaties: Voor een punt $P$ van oneindige orde wordt de Galois-representatie $\rho_{E/K,P}: G_K \to \text{GL}_3(\hat{\mathbb{Z}})$ bestudeerd. Deze representatie werkt op de ruimte $V_m = \langle m^{-1}P \rangle / \langle P \rangle$, wat een vrije module van rang 3 over $\mathbb{Z}/m\mathbb{Z}$ is.
• Splitsingsvoorwaarden: De voorwaarde dat $P$ een generator is van $E(k_p)$ wordt vertaald naar splitsingsgedrag van $p$ in specifieke velduitbreidingen $K \subset K_m$.
  • Een punt $P$ faalt lokaal om $E(k_p)$ te genereren modulo een priem $\ell$ als de Frobenius-elementen $\text{Frob}_{p,\ell}$ in de Galois-groep $G_\ell$ een subspace van dimensie $\ge 2$ puntsgewijs fixeren.
• Combinatoriek van Galois-groepen: De kern van de analyse ligt in het karakteriseren van de Galois-groep $G_\ell = \text{Gal}(K_\ell/K)$. Als alle elementen in $G_\ell$ een 2-dimensionale deelruimte fixeren, dan is de dichtheid van priemgetallen waarvoor $P$ een generator is, gelijk aan nul.
• Lemma 4.1: Een centraal wiskundig hulpmiddel is een nieuw lemma (geïnspireerd door Hendrik Lenstra) dat lineaire groepsacties op vectorruimten karakteriseert waarbij elk element een grote deelruimte fixeert. Dit leidt tot een classificatie van mogelijke obstructies.

3. Belangrijkste Resultaten en Bijdragen

A. Classificatie van Lokaal Onprimitieve Punten (Stelling 1.2)

De auteurs geven een volledige karakterisering van wanneer een niet-torsie punt $P \in E(K)$ lokaal $\ell$-onprimitief is. Dit gebeurt dan en slechts dan als aan ten minste één van de volgende voorwaarden is voldaan:

1. Voorwaarde A (Triviale obstructie): $E(K)$ bevat een torsiepunt van orde $\ell$ en $P \in \ell \cdot E(K)$.
2. Voorwaarde B (Triviale obstructie): $E$ heeft volledige rationale $\ell$-torsie over $K$ (d.w.z. $E[\ell](K) \cong (\mathbb{Z}/\ell\mathbb{Z})^2$).
3. Voorwaarde C (Niet-triviale obstructie): Er bestaat een isogenie $\phi: E' \to E$ gedefinieerd over $K$, met kern gegenereerd door een torsiepunt van orde $\ell$ in $E'(K)$, zodanig dat $P$ in het beeld ligt van de rationale punten van $E'$ onder $\phi$ (d.w.z. $P \in \phi[E'(K)]$).

Nieuwe Inzicht: Voorwaarde C is uniek voor elliptische krommen en heeft geen analoog in de multiplicatieve of cyclische reductiegevallen. Het stelt dat een punt lokaal onprimitief kan zijn, zelfs als het globaal niet in $\ell E(K)$ zit en er geen rationale $\ell$-torsie is. Dit wordt een niet-triviale lokaal onprimitieve punt genoemd.

B. Constructie van Voorbeelden

De auteurs bewijzen dat niet-triviale voorbeelden overvloedig voorkomen:

• Voor $\ell=2$ (Stelling 1.3): Voor elke elliptische kromme $E/K$ met precies één rationale punt van orde 2, bestaan er oneindig veel kwadratische twisten van $E$ die een niet-triviaal lokaal 2-onprimitief punt bezitten. De constructie maakt gebruik van expliciete formules voor 2-isogenieën.
• Voor $\ell=3$ (Stelling 6.2): De auteurs construeren families van elliptische krommen met niet-triviale lokaal 3-onprimitieve punten, gebruikmakend van de Deuring-normaalvorm en 3-isogenieën.
• Voor $\ell=5$ en $\ell=7$ (Sectie 7): Er worden methoden gepresenteerd om voorbeelden te vinden voor hogere priemgetallen, hoewel de formules complexer worden. Voor $K=\mathbb{Q}$ kunnen niet-triviale voorbeelden alleen bestaan voor $\ell \le 7$.

C. Obstructies op Samengestelde Niveaus (Sectie 8)

Naast obstructies op priemniveau $\ell$, tonen de auteurs aan dat er obstructies kunnen ontstaan door "verstrengeling" (entanglement) tussen velden op samengestelde niveaus (bijv. niveau 6).

• Een voorbeeld wordt gegeven waarbij een punt $P$ faalt om lokaal primitief te zijn omdat de Frobenius-elementen moeten voldoen aan voorwaarden in drie verschillende kwadratische deeluitbreidingen die samen een $V_4$-extensie vormen.
• Dit leidt tot een situatie waar de dichtheid nul is, hoewel er geen enkele "triviale" obstructie op niveau 2 of 3 is.

4. Significatie en Impact

1. Overtreding van een intuïtieve analogie: Het artikel weerlegt de verwachting dat "globaal primitief" automatisch impliceert "lokaal primitief voor een positieve dichtheid van priemgetallen" in het geval van elliptische krommen. Dit is een fundamenteel verschil met de klassieke Artin-conjectuur.
2. Nieuw type obstructie: De identificatie van Voorwaarde C (isogenie-gerelateerde obstructies) introduceert een nieuw mechanisme in de getaltheorie van elliptische krommen dat specifiek is voor de Lang-Trotter-problematiek (genereren van $E(k_p)$ door een punt).
3. Verbinding tussen Galois-theorie en meetkunde: De paper illustreert hoe de structuur van Galois-representaties (specifiek de aanwezigheid van elementen die grote deelruimten fixeren) direct leidt tot het falen van lokale generatie.
4. Praktische Voorbeelden: De auteurs leveren expliciete constructies en concrete voorbeelden (zoals krommen uit de LMFDB-database) die dienen als testgevallen voor verdere onderzoek.

Conclusie

Dit werk biedt een diepgaand inzicht in de lokale-globale principes voor punten op elliptische krommen. Het toont aan dat de aanwezigheid van niet-triviale obstructies (via isogenieën) ervoor kan zorgen dat een punt dat algebraïsch "goed" gedraagt (globaal primitief), structureel faalt om de groepen van gereduceerde punten te genereren voor bijna alle priemgetallen. Dit vereist een herziening van de verwachtingen rondom de dichtheid van priemgetallen waarbij een punt een generator is.