Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

Technische Samenvatting: Ribet-punten, Geometrische Deelbaarheidssequenties en de Orde van Reducties op Semi-abelse Variëteiten

Probleemstelling
Het artikel behandelt een langlopend open probleem met betrekking tot het gedrag van geometrische deelbaarheidssequenties gekoppeld aan Zariski-dichte punten op irreducibele commutatieve algebraïsche groepen van dimensie twee of hoger. Specifiek wordt onderzocht naar Silvermans Conjectuur 1.2, die stelt dat voor een groepsschema $G/\mathbb{Z}$ waarbij de generieke vezel $G_{\mathbb{Q}}$ een irreducibele commutatieve algebraïsche groep is van dimensie $\ge 2$ zonder unipotent deel, en voor een punt $P \in G(\mathbb{Z})$ met een Zariski-dichte cyclische baan, de gelijkheid $D_{nP} = D_P$ (waarbij $D_P$ het noemerideaal is) geldt voor oneindig veel positieve gehele getallen $n$.

Deze conjectuur staat in logische spanning met het Silverman–Cheon–Hahn Theorema (Theorema 1.1), dat vaststelt dat voor elliptische krommen (dimensie 1), elk voldoende groot geheel getal $n$ voorkomt als de exacte orde van reductie voor een priemgetal. Terwijl het geval van dimensie één volledig is, bleef het gedrag in hogere dimensies, in het bijzonder voor semi-abelse variëteiten, onbekend. Het artikel onderzoekt of het analoog van het Silverman–Cheon–Hahn theorema geldt voor hogere-dimensionale semi-abelse variëteiten of dat de exacte recurrente voorspeld door de conjectuur van Silverman optreedt.

Methodologie
De auteur construeert onvoorwaardelijke voorbeelden van geometrisch niet-gesplitste semi-abelse variëteiten over getalvelden waar de geometrische deelbaarheidssequentie oneindig vaak terugkeert naar zijn initiële waarde. De methodologie steunt op de arithmetische eigenschappen van Ribet-punten op uitbreidingen van abelse variëteiten door de multiplicatieve groep $\mathbb{G}_m$.

1. Geometische Opzet: Het artikel beschouwt een semi-abelse variëteit $G_q$ gedefinieerd door een uitbreiding $1 \to \mathbb{G}_m \to G_q \to A \to 0$, gerepresenteerd door een punt $q \in A^\vee(K)$.
2. Ribet-secties: Met behulp van de genormaliseerde Poincaré-biextensie definieert de auteur een Ribet-punt $R_\beta(q) \in G_q(K)$ geassocieerd met een homomorfisme $\beta: A^\vee \to A$. Het antisymmetrische deel $\delta = \beta - \hat{\beta}$ speelt een cruciale rol.
3. Torsie-translatie: De kern van de constructie betreft het transleren van het Ribet-punt door een vast torsiepunt $t$ in de torische kern: $P = R_\beta(q) + \iota(t)$.
4. Arithmetische Amplificatie: Een belangrijk technisch lemma (Lemma 3.3) toont aan dat als de orde van het Ribet-punt kwadratisch begrensd is door de orde van zijn projectie (een eigenschap afgeleid van de Weil-paring), het transleren door een torsiepunt een specifieke deelbaarheidsvoorwaarde op de orde van het resulterende punt $P$ afdwingt.
5. Lokaal-naar-Globaal Argument: Door de eindige-groep amplificatie te combineren met de eigenschappen van noemeridealen op Néron-modellen, bewijst de auteur dat voor een specifiek geheel getal $N_{\delta, t}$, de reductieorde $d_v(P)$ deelbaar is door $N_{\delta, t}$ voor bijna alle plaatsen $v$.
6. Descent (Afname): Om voorbeelden over $\mathbb{Q}$ te verkrijgen, hanteert het artikel een kwadratische descent techniek (Theorema 4.3). Dit houdt in dat de uitbreiding wordt geconstrueerd over een kwadratisch veld $L$ waar de noodzakelijke antisymmetrische endomorfismen bestaan, en vervolgens de uitbreiding en het punt naar $\mathbb{Q}$ worden gedescendeerd door de Galois-actie op het endomorfisme te koppelen aan het tekenkarakter van een norm-één torus.

Belangrijkste Bijdragen en Resultaten

• Onvoorwaardelijke Voorbeelden: Het artikel levert de eerste onvoorwaardelijke voorbeelden van geometrisch niet-gesplitste semi-abelse variëteiten over getalvelden waar de geometrische deelbaarheidssequentie oneindig vaak terugkeert naar zijn initiële waarde.
• Theorema 1.4 (Algemene Constructie): Voor een positief-dimensionale abelse variëteit $A$, een homomorfisme $\beta$ waarvoor $\delta = \beta - \hat{\beta}$ een isogenie is, en een torsiepunt $t$, heeft het punt $P = R_\beta(q) + \iota(t)$ de eigenschap dat een specifiek geheel getal $N_{\delta, t}$ deelbaar is met de orde van reductie $d_v(P)$ voor bijna alle plaatsen. Bij consequent is het noemerideaal $\mathfrak{d}_{\mathbb{N}}(nP) = \mathfrak{d}_{\mathbb{N}}(P)$ voor $(n, Q) = 1$ met een vierkantvrije integer $Q$ die deelbaar is door de radical van $N_{\delta, t}$.
• Theorema 1.5 (Oppervlak over $\mathbb{Q}$): De auteur construeert expliciet een geometrisch niet-gesplitste semi-abelse oppervlakte $G_{surf}/\mathbb{Q}$ (een uitbreiding van de elliptische kromme $E: y^2 = x^3 - 2$ door de norm-één torus $R^1_{L/\mathbb{Q}}\mathbb{G}_m$ met $L=\mathbb{Q}(\sqrt{-3})$) en een punt $P_{surf} \in G_{surf}(\mathbb{Q})$ met een Zariski-dichte cyclische baan. Voor dit punt is de uiteindelijke reductiedivisor $U(P_{surf}) = 2$. Dit impliceert dat voor alle $n$ die copriem zijn aan een vast geheel getal, $D_{nP_{surf}} = D_{P_{surf}}$ geldt.
• Theorema 4.9 (Driedimensionaal lichaam over $\mathbb{Q}$): Een geometrisch niet-gesplitste semi-abelse driedimensionale variëteit over $\mathbb{Q}$ wordt geconstrueerd met behulp van de elliptische kromme $E: y^2 + y = x^3 + x^2 - 2x$ (conductor 389). Het resulterende punt $P$ voldoet aan $D_P = 1$ en $U(P) = 2$, wat de voorwaarden van de conjectuur bevestigt voor een driedimensionale variëteit.
• Dimensionale Generaliteit: Theorema 4.16 breidt deze resultaten uit naar elke dimensie $d \ge 2$ over $\mathbb{Q}$ door producten te nemen met gesplitste tori, waarmee wordt aangetoond dat het fenomeen niet beperkt is tot lage dimensies.
• Dichtheidsresultaten: Het artikel stelt vast dat de verzameling indices $n$ waarvoor $D_{nP} = D_P$ een lagere natuurlijke dichtheid heeft van ten minste $1 - 1/N_{\delta, t}$. Omgekeerd heeft de verzameling exacte reductieordes (primitieve divisor indices) een bovenste dichtheid van ten hoogste $1/N_{\delta, t}$.

Betekenis en Claims
Het artikel toont aan dat het analoog van het Silverman–Cheon–Hahn theorema scherp faalt in de categorie van semi-abelse variëteiten, terwijl het tegelijkertijd expliciete instanties construeert waar de conjectuur van Silverman 1.2 standhoudt. Specifiek:

1. Falen van Exacte Orde Realisatie: In tegenstelling tot het geval van de elliptische kromme, bestaan er dichte punten op semi-abelse variëteiten waar de verzameling exacte reductieordes schaars is (dichtheid $\le 1/N$), wat betekent dat veel gehele getallen nooit verschijnen als exacte orden van reductie.
2. Validatie van de Conjectuur van Silverman voor Specifieke Instanties: De geconstrueerde punten voldoen aan de voorwaarden van de Conjectuur van Silverman 1.2, wat bewijst dat het "exacte terugkeer"-fenomeen ($D_{nP} = D_P$) oneindig vaak voorkomt, en zelfs voor een verzameling indices met een positieve dichtheid. Het artikel merkt op dat hoewel de conjectuur in haar volledige algemeenheid over getalvelden open blijft, deze voorbeelden de eerste onvoorwaardelijke verificatie bieden voor geometrisch niet-gesplitste semi-abelse variëteiten.
3. Rol van Ribet-punten: Het werk benadrukt dat Ribet-secties (specifiek hun door torsie verschoven versies) fungeren als de obstructie voor het bestaan van primitieve divisors voor alle grote $n$. Dit contrasteert met gesplitste semi-abelse variëteiten (producten van abelse variëteiten en tori), waar Perucca's theorema impliceert dat het componentgetal van de baanafsluiting de universele divisor dicteert, die 1 is voor verbonden dichte punten.
4. Geometrische Niet-Splitsing: Het fenomeen is inherent verbonden met geometrisch niet-gesplitste uitbreidingen. Het artikel merkt op dat voor gesplitste producten het componentgetal van de baanafsluiting gelijk is aan het grootste geheel getal dat bijna elke reductieorde deelt, wat de constructie van dergelijke "ontbrekende orde"-verzamelingen verhindert. De niet-gesplitste aard van de uitbreiding, gecombineerd met de specifieke arithmetica van het Ribet-punt, maakt het mogelijk dat de uiteindelijke reductiedivisor $U(P)$ strikt groter is dan 1 (bijv. $U(P)=2$), zelfs wanneer de baanafsluiting verbonden is.

Het artikel concludeert dat de "ontbrekende data" (de universele divisor van reductieordes) werkelijk gemengd is, gedragen door de uitbreidingsklasse, de biextensie-lift en de torsie-translatie, en dat dit gedrag afwezig is in zuivere abelse variëteiten of gesplitste producten.