A note on zero-cycles on bielliptic surfaces

In dit artikel wordt bewezen dat de kern van de Albanese-afbeelding voor de Chow-groep van nul-cycli op een bi-elliptisch oppervlak gedefinieerd over een willekeurig lichaam van karakteristiek ongelijk aan 2 en 3 een torsiegroep is met een specifieke exponent, en worden expliciete voorbeelden over p-adische lichamen geconstrueerd die aantonen dat deze kern niet-triviale elementen kan bevatten.

De kern

Hier is een uitleg van het wiskundige artikel van Evangelia Gazaki, vertaald naar begrijpelijk Nederlands met behulp van creatieve analogieën.

De Kern van het verhaal: Een zoektocht naar "onzichtbare" punten

Stel je voor dat je een heel complexe, meervoudig gevouwen kaart hebt (een wiskundig oppervlak genaamd een bi-elliptisch oppervlak). Op deze kaart liggen talloze punten. Wiskundigen willen weten: Hoe zijn deze punten met elkaar verbonden?

Specifiek kijken ze naar de Chow-groep van nul-cycli. Klinkt als onzin, maar denk hieraan als een rekenmachine voor punten.

• Als je twee punten optelt, krijg je een nieuwe "waarde".
• Soms lijken twee verschillende verzamelingen punten op elkaar (ze zijn "algebraïsch triviaal"), maar als je ze op de rekenmachine doet, geven ze een heel klein, vreemd getal dat niet nul is.
• Dit "niet-nul" getal noemen we de Albanese kern. Het is het bewijs dat er iets verborgen zit in de structuur van het oppervlak dat je niet direct ziet.

Het doel van dit artikel is om te begrijpen hoe groot en complex deze "verborgen kern" is, afhankelijk van het type kaart (het oppervlak) en het land waar je de kaart gebruikt (het getalveld, zoals de rationale getallen of p-adische getallen).

---

De Analogie: De Dansende Toppers

Om het oppervlak te begrijpen, gebruiken de auteurs een constructie die lijkt op een danspartij:

1. De Dansers: Je hebt twee elliptische krommen ($E_1$ en $E_2$). Denk hieraan als twee perfecte, ronde dansvloeren.
2. De Groep (G): Er is een groepje "dansmeesters" (een eindige groep $G$). Deze meesters geven de dansers instructies.
   • Op de ene dansvloer ($E_1$) duwen ze de dansers een beetje opzij (translatie).
   • Op de andere dansvloer ($E_2$) laten ze de dansers rondspinnen (automorfisme).
3. Het Oppervlak (S): Het eindresultaat is een nieuwe dansvloer die ontstaat door alle dansers die door de meesters naar dezelfde plek worden geduwd, aan elkaar te plakken. Dit is het bi-elliptische oppervlak.

Er zijn 7 verschillende soorten dansmeesters (7 typen oppervlakken), afhankelijk van hoeveel keer ze kunnen spinnen of schuiven voordat alles weer op zijn plaats is.

---

De Grote Ontdekkingen

De auteur, Evangelia Gazaki, heeft twee belangrijke dingen ontdekt over de "verborgen kern" (de Albanese kern) van deze oppervlakken.

1. De Grootte van de Kern (Theorema 1)

De vraag is: Hoe groot kan de "verborgen kern" worden?

• De Regels: Het hangt af van het type oppervlak en het getalveld.
• De Analogie: Stel je voor dat je probeert een puzzel op te lossen. Soms heb je maar een paar stukjes nodig (de kern is klein), soms heb je een hele doos vol nodig (de kern is groot).
• Het Resultaat: Gazaki bewijst dat de grootte van deze kern altijd beperkt is tot een specifiek getal.
  • Als de dansmeesters een even aantal stappen zetten (groep van orde 2, 4, 6...), is de maximale grootte van de kern een macht van 2 vermenigvuldigd met het aantal dansmeesters.
  • Als ze een oneven aantal stappen zetten (groep van orde 3, 9...), is het een macht van 3 vermenigvuldigd met het aantal dansmeesters.
  • Kortom: De "verborgen geheimen" zijn nooit willekeurig groot; ze volgen een strakke, voorspelbare formule.

2. De Magische Sleutel: De Brauer-Manin Koppeling (Theorema 2)

Dit is het meest spannende deel. De auteur wil bewijzen dat deze kern niet leeg is. Dat wil zeggen: er zijn echt punten die je niet kunt "wegrekenen" tot nul.

• De Uitdaging: Als je op een "perfecte" plek kijkt (waar de oppervlakken goed gedragen worden, zoals bij goede reductie), verdwijnt de kern vaak. Het is alsof de dansvloer zo glad is dat je er niet over kunt struikelen.
• De Oplossing: Gazaki kiest een "gebroken" dansvloer. Ze kiest elliptische krommen die slecht gedrag vertonen op een specifiek getalveld (p-adische velden, die lijken op de getallen in de wiskunde van de 2-adische of 11-adische wereld).
• De Analogie: Stel je voor dat je een sleutel (de Brauer-groep) hebt die past in een slot op de deur van de dansvloer.
  • Normaal gesproken past de sleutel niet.
  • Maar als je de dansvloer een beetje "buigt" of "scheurt" (slechte reductie), ontstaat er een gat.
  • Door een speciale techniek (de Brauer-Manin koppeling) te gebruiken, kan ze aantonen dat er een punt is dat precies in dat gat past. Dit punt is een "niet-triviaal" element in de kern.
  • Het is alsof ze aantoont dat er een spook in het huis zit, maar alleen als je de lichten uitdoet en de deur een beetje openlaat (de slechte reductie).

Waarom is dit belangrijk?

In de wiskunde is het vaak lastig om te weten of iets "echt" bestaat of dat het alleen maar een illusie is.

• Dit artikel zegt: "Ja, deze verborgen structuren bestaan echt."
• Het geeft een rekenregel voor hoe groot ze kunnen zijn.
• Het laat zien dat slecht gedrag (slechte reductie) soms juist de sleutel is om nieuwe wiskundige waarheden te ontdekken die je bij "perfecte" situaties zou missen.

Samenvatting in één zin

Evangelia Gazaki heeft bewezen dat de verborgen structuur van bepaalde complexe wiskundige oppervlakken altijd een voorspelbare grootte heeft, en dat je deze structuur het beste kunt zien door te kijken naar situaties waar de wiskundige objecten "kapot" of onvolmaakt zijn, met behulp van een magische sleutel genaamd de Brauer-groep.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A note on zero-cycles on bielliptic surfaces" van Evangelia Gazaki, in het Nederlands.

Titel: Een notitie over nul-cycli op bi-elliptische oppervlakken

Auteur: Evangelia Gazaki (Universiteit van Virginia)

---

1. Probleemstelling en Context

Het artikel onderzoekt de structuur van de Chow-groep van nul-cycli, aangeduid als $CH_0(S)$, voor een bi-elliptisch oppervlak $S$ gedefinieerd over een willekeurig lichaam $k$ (met karakteristiek $\neq 2, 3$).

Een bi-elliptisch oppervlak is gedefinieerd als het étale quotiënt $S = (E_1 \times E_2)/G$, waarbij:

• $E_1$ en $E_2$ elliptische krommen zijn.
• $G$ een eindige abelse groep is die op $E_1$ werkt door translaties (via een $k$-rationeel torsiepunt) en op $E_2$ door automorfismen, zodanig dat $E_2/G \simeq \mathbb{P}^1_k$.

De focus ligt op de Albanese-kern $T(S)$, gedefinieerd als de kern van de Albanese-afbeelding:
$$\text{alb}_S: A_0(S) \to \text{Alb}_S(k)$$
waarbij $A_0(S)$ de ondergroep is van algebraïsch triviale cycli (nul-cycli van graad 0).

De kernvraag: Wat is de structuur van $T(S)$ over niet-afgesloten lichamen?

• Over een algebraïsch gesloten lichaam is $T(S) = 0$ (Bloch, Kas, Lieberman).
• Over eindige lichamen is $T(S)$ beschreven via de Neron-Severi groep (Kato, Saito).
• Over $p$-adische of getallenlichamen is bekend dat $T(S)$ eindig is (Colliot-Thélène, Raskind), maar de exacte torsie-exponent en de aanwezigheid van niet-triviale elementen waren minder expliciet.

---

2. Methodologie

De auteur hanteert een combinatie van algebraïsche meetkunde, theorie van elliptische krommen en de Brauer-Manin-pairing.

1. Classificatie en Reductie:
   Bi-elliptische oppervlakken zijn geclassificeerd in 7 types (Bagnera-De Franchis). De auteur gebruikt étale overdekkingen om het probleem te reduceren tot twee specifieke basistypes (Type 1 en Type 5), waarbij de groep $G$ respectievelijk isomorf is met $\mathbb{Z}/2\mathbb{Z}$ en $\mathbb{Z}/3\mathbb{Z}$. Dit maakt het mogelijk om de resultaten voor algemene $G$ af te leiden uit deze specifieke gevallen.

2. Analyse van het Product $X = E_1 \times E_2$:
   De kern $T(X)$ van het product van elliptische krommen wordt geanalyseerd via de Somekawa $K$-groep. De auteur benut de bilineariteit van specifieke nul-cycli $z_{P,Q}$ die gegenereerd worden door rationale punten.

3. Push-forward en Torsie-berekening:
   Door de push-forward afbeelding $\pi_*: CH_0(X) \to CH_0(S)$ te bestuderen, wordt aangetoond hoe de actie van de groep $G$ op de cycli leidt tot specifieke torsie-eigenschappen. De bewijzen gebruiken expliciete berekeningen van de werking van de groep op punten en de daaruit voortvloeiende rationaliteits-equivalenties.

4. Brauer-Manin Pairing (voor $p$-adische velden):
   Om de aanwezigheid van niet-triviale elementen in $T(S)$ over $p$-adische velden aan te tonen, maakt de auteur gebruik van de Brauer-Manin-pairing:
   $$\langle , \rangle: CH_0(S) \times \text{Br}(S) \to \mathbb{Q}/\mathbb{Z}$$
   De strategie is om een nul-cyclus te construeren die niet-orthogonaal is met een element uit de Brauer-groep, wat impliceert dat de cyclus niet triviaal is in de Chow-groep. Dit vereist het kiezen van elliptische krommen met slechte reductie (gesplitste multiplicatieve reductie).

---

3. Belangrijkste Resultaten

Stelling 1: De Torsie-exponent over willekeurige lichamen

Voor een bi-elliptisch oppervlak $S$ over een lichaam $k$ (char $k \neq 2, 3$) is de Albanese-kern $T(S)$ een torsiegroep met een specifieke exponent, afhankelijk van de orde van de groep $G$:

• Als $2$de orde$|G|$deelt, is de exponent$2^2 \cdot |G| = 4|G|$.
• Als $2$de orde$|G|$niet deelt (en dus$3$deelt, gezien de classificatie), is de exponent$3^2 \cdot |G| = 9|G|$.

Dit resultaat generaliseert eerdere kennis en geeft een expliciete bovengrens voor de torsie die kan optreden.

Stelling 2: Niet-triviale elementen over $p$-adische velden

Er bestaan bi-elliptische oppervlakken over $p$-adische velden waarvoor $T(S)$ niet-triviale 2-torsie bevat.

• Constructie: De auteur construeert een voorbeeld waarbij $S$ afgeleid is van een product $X = E_1 \times E_2$ met gesplitste multiplicatieve reductie.
• Mechanisme: Door de Brauer-Manin-pairing te gebruiken, wordt aangetoond dat er een nul-cyclus $z \in T(X)$ bestaat die via de push-forward $\pi_*$ een niet-triviaal element in $T(S)$ oplevert.
• Voorwaarde: Het is cruciaal dat de elliptische krommen slechte reductie hebben. Als beide krommen goede reductie hebben, is $T(X)$ 2-divisibel (voor $p \ge 5$), wat impliceert dat de push-forward triviaal zou zijn.

Corollarium 16: Het geval van goede reductie

Als $E_1$ en $E_2$ goede reductie hebben over een $p$-adisch lichaam ($p \ge 5$), dan is de Albanese-kern $T(S)$ voor Type 1 oppervlakken 2-torsie (en voor Type 5 is het 3-torsie). Dit is een scherper resultaat dan Stelling 1 voor dit specifieke geval.

---

4. Significatie en Bijdrage

1. Verduidelijking van de Torsie-exponent: Het artikel geeft een expliciete formule voor de exponent van de torsiegroep $T(S)$ die afhangt van het type van het bi-elliptische oppervlak. Dit vult een gat in de kennis over de structuur van Chow-groepen voor oppervlakken met Kodaira-dimensie 0 over niet-afgesloten velden.
2. Contrast met eindige velden: Het artikel benadrukt het fundamentele verschil in strategie tussen het geval van eindige velden (waar $T(S)$ gerelateerd is aan de Neron-Severi groep) en $p$-adische velden (waar $T(S)$ gerelateerd is aan de Brauer-groep en slechte reductie).
3. Constructie van tegenvoorbeelden: De constructie van expliciete voorbeelden over $p$-adische velden met niet-triviale Albanese-kern is een belangrijke bijdrage. Het toont aan dat de "push-forward" van cycli van het dekkende oppervlak (het product van elliptische krommen) een bron is van niet-triviale elementen, mits de juiste arithmetische voorwaarden (slechte reductie) worden vervuld.
4. Rol van de Brauer-groep: Het werk illustreert krachtig hoe de Brauer-Manin-obstructie kan worden gebruikt om de structuur van Chow-groepen van nul-cycli te analyseren, een methode die vaak wordt toegepast op variëteiten van hogere dimensie of met specifieke arithmetische eigenschappen.

Samenvattend biedt dit artikel een diepgaand inzicht in de arithmetische eigenschappen van nul-cycli op bi-elliptische oppervlakken, verbindt het klassieke meetkundige classificaties met moderne arithmetische technieken, en levert het expliciete grenzen en voorbeelden die essentieel zijn voor verdere onderzoek in de theorie van Chow-groepen.