A surface with representable $\text{CH}_{0}$-group but no universal zero-cycle

Deze paper introduceert een nieuwe obstructie voor het bestaan van een universele nul-cyclus en construeert een glad projectief complex oppervlak met een representabele Chow-groep van nul-cycli dat toch geen universele nul-cyclus toelaat, wat een tweedimensionaal analogon vormt van een recente tegenvoorbeeld van Voisin.

De kern

Stel je voor dat wiskundigen een soort "universele sleutel" zoeken voor een heel complex gebouw. Dit gebouw is een wiskundig oppervlak (een variëteit), en de sleutel is iets dat ze een "universele 0-cyclus" noemen.

In dit artikel, geschreven door Theodosis Alexandrou, wordt een nieuw soort obstakel ontdekt dat verhindert dat je deze sleutel kunt vinden, zelfs als het gebouw er op het eerste gezicht perfect voor lijkt.

Hier is de uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. Het Gebouw en de Sleutel

Stel je een heel mooi, glad en perfect ontworpen gebouw voor (een wiskundig oppervlak). Wiskundigen willen weten of ze een enkele "meestersleutel" kunnen maken die alle deuren in dit gebouw opent.

• De deuren: Dit zijn de verschillende manieren waarop je punten op het oppervlak kunt groeperen (de Chow-groep).
• De meestersleutel: Dit is de "universele 0-cyclus". Als deze bestaat, kun je elk punt op het oppervlak op een heel gestructureerde manier koppelen aan een centraal punt (het Albanese-variëteit, wat je kunt zien als het "hart" of de "nabijheid" van het gebouw).

Voor eenvoudige gebouwen (zoals een rechte lijn of een cirkel) bestaat deze sleutel altijd. Maar voor complexere gebouwen (zoals 3D-ruimtes of oppervlakken) dachten wiskundigen dat als het gebouw "goed genoeg" was (dat de deuren goed te openen waren), de sleutel er ook wel zou zijn.

2. De Nieuwe Ontdekking: Een Gebouw zonder Sleutel

Alexandrou heeft een heel speciaal soort gebouw ontworpen (een bi-elliptisch oppervlak).

• Het raadsel: Dit gebouw heeft een eigenschap die we "vertegenwoordigbaarheid" noemen. Dit betekent dat de deuren in theorie allemaal open te krijgen zijn; het systeem werkt perfect.
• De verrassing: Ondanks dat het systeem perfect werkt, bestaat de universele meestersleutel niet.

Het is alsof je een fabriek hebt waar elke machine perfect draait en elk product perfect wordt gemaakt (de deuren zijn open), maar er geen enkele centrale sleutel is die alle machines tegelijk opent. Er is een onzichtbare muur die dit verhindert.

3. Hoe hebben ze dit gevonden? (De "Veroudering"-truc)

Hoe bewijs je dat zo'n sleutel niet bestaat? Alexandrou gebruikt een slimme truc die hij "degeneratie" noemt.

Stel je voor dat je een heel stevig, nieuw gebouw (het oppervlak) neemt en het langzaam laat "verouderen" of "instorten" tot een hoop puin.

• In de wiskunde kijken ze naar wat er gebeurt als je het oppervlak vervormt tot een reeks van elkaar raakende platen (een ketting van oppervlakken).
• Als de universele sleutel bestond in het nieuwe, perfecte gebouw, zou hij ook moeten werken in dit oude, instortende puin.
• Het bewijs: Alexandrou liet zien dat in dit instortende puin de "sleutel" fysiek niet past. De onderdelen van het puin (de platen) zijn zo gekoppeld dat ze niet samenwerken om de sleutel te vormen. Omdat het niet werkt in het puin, kan het ook niet werken in het perfecte gebouw.

4. Waarom is dit belangrijk?

Dit is een grote doorbraak voor twee redenen:

1. Het lost een raadsel op: Een wiskundige (Voisin) had eerder een 3D-voorbeeld gevonden waar dit gebeurde. Alexandrou toont nu aan dat dit ook kan met een 2D-oppervlak. Dit is een belangrijke stap, omdat 2D-oppervlakken vaak makkelijker te begrijpen zijn dan 3D-ruimtes. Het is alsof je een wet ontdekt die geldt voor een platte kaart, terwijl je dacht dat het alleen voor de hele wereldbol gold.
2. De Hodge-gissing: Dit heeft te maken met een beroemd probleem in de wiskunde: de "Hodge-gissing". Deze zegt dat bepaalde vormen in de ruimte altijd gemaakt kunnen worden door echte, fysieke stukken (algebraïsche cycli).
   • Alexandrou toont aan dat er een vorm bestaat (een "Hodge-klass") die eruitziet alsof hij gemaakt kan worden, maar dat hij niet gemaakt kan worden van echte stukken.
   • Het bijzondere: eerdere voorbeelden van dit probleem waren "torsie" (ze verdwenen als je ze een paar keer telde). Het voorbeeld van Alexandrou is niet-torsie. Het is een vorm die echt bestaat en nooit verdwijnt, maar toch niet uit "bouwstenen" bestaat.

Samenvatting in één zin

Alexandrou heeft een wiskundig oppervlak ontworpen dat er perfect uitziet en perfect functioneert, maar waar een specifieke "universele sleutel" onmogelijk te maken is, wat bewijst dat er dieper in de wiskunde verborgen obstakels liggen die we nog niet kenden.

Het is als het vinden van een slot dat perfect werkt, maar waarvoor de sleutel die erbij hoort, wiskundig gezien nooit kan worden gesmeed.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A Surface with Representable CH0-Group but No Universal Zero-Cycle" van Theodosis Alexandrou, geschreven in het Nederlands.

1. Probleemstelling en Context

Het artikel adresseert een fundamenteel vraagstuk binnen de algebraïsche meetkunde, specifiek gerelateerd aan de theorie van Chow-groepen en de Abel-Jacobi-afbeelding op gladde projectieve complexe variëteiten.

• De Universele 0-cyclus: Voor een gladde projectieve variëteit $X$ van dimensie $d$ induceert de Albanese-variëteit $Alb(X)$ een Abel-Jacobi-afbeelding $\alpha_X: CH_0(X)_{hom} \to Alb(X)$. Een variëteit $X$ bezit een universele 0-cyclus als er een cyclus $[\Gamma] \in CH_d(Alb(X) \times X)$ bestaat zodanig dat de geïnduceerde morfisme $\psi(Alb(X), [\Gamma])$ de identiteitsafbeelding op $Alb(X)$ is.
• Representeerbaarheid: De Chow-groep $CH_0(X)$ heet representabel als de Abel-Jacobi-afbeelding $\alpha_X$ een isomorfisme is. Voor krommen is dit altijd het geval en bezitten ze een universele 0-cyclus.
• De Vraag: Colliot-Thélène stelde de vraag of de eigenschap van het bezitten van een universele 0-cyclus behouden blijft voor variëteiten met een representabele $CH_0$-groep. Voisin beantwoordde dit onlangs negatief voor dimensie $d \geq 3$ (een tegenvoorbeeld in dimensie 3).
• Het Open Probleem: Totaro stelde na Voisin's werk de volgende vraag (Vraag 1.2 in het artikel): Bestaat er een gladde projectieve complexe oppervlakte $S$ waarvan de Chow-groep van 0-cycli representabel is, maar die geen universele 0-cyclus toelaat?

Het doel van dit artikel is om Vraag 1.2 bevestigend te beantwoorden door een tweedimensionaal tegenvoorbeeld te construeren.

2. Methodologie en Constructie

De auteur gebruikt een combinatie van degeneratietechnieken, de meetkunde van bi-elliptische oppervlakken en cohomologische obstructies.

A. Bi-elliptische Oppervlakken (Type 2)

De constructie leunt zwaar op de classificatie van bi-elliptische oppervlakken (Kodaira-dimensie 0). Een bi-elliptisch oppervlak $S$ is birationeel equivalent aan een quotiënt $(E \times F)/G$, waarbij $E$ en $F$ elliptische krommen zijn en $G$ een eindige groep die vrij werkt.

• De auteur focust op Type 2 bi-elliptische oppervlakken. Voor deze oppervlakken is de index van de Albanese-fibratie $\phi_S: S \to Alb(S) \cong E$ gelijk aan 2.
• Eerder werk (Voisin) toonde aan dat als deze index 1 is, een universele 0-cyclus bestaat. De auteur toont aan dat index 2 niet voldoende is om het bestaan te garanderen, maar ook niet automatisch een obstructie vormt; de specifieke meetkunde van het oppervlak is doorslaggevend.

B. Degeneratie Strategie

In plaats van de elliptische kromme te degenereren (zoals in eerdere tegenvoorbeelden), degenereren de auteur het oppervlak $S$ zelf.

• Er wordt een familie $S \to \Delta$ geconstrueerd over een disc $\Delta = \text{Spec } k[[t]]$.
• De generieke vezel $S_K$ is een bi-elliptisch oppervlak van Type 2.
• De speciale vezel $S_0$ is een gereduceerde divisor met eenvoudige normale kruisingen (SNC), bestaande uit een keten van twee componenten $R_1$ en $R_2$.
• De doorsnede $C = R_1 \cap R_2$ is een gladde elliptische kromme.
• De componenten $R_i$ zijn minimale geruleerde oppervlakken over etale dubbeloverdekkingen van de basis $E$.

C. De Obstructie (Stelling 3.1)

De kern van de bewijsvoering is een nieuw obstructie-resultaat (Stelling 3.1):

• Als een familie $X \to \Delta$ een universele 0-cyclus op de generieke vezel zou toelaten, dan zou de som van de Albanese-morfismen van de componenten van de speciale vezel, $\sum \text{albi}: \bigoplus Alb(R_i) \to Alb(C)$, een sectie (een rechts-invers) moeten toelaten.
• De auteur bewijst dat voor de specifieke constructie van Type 2 oppervlakken, deze som-morfisme geen sectie toelaat onder bepaalde voorwaarden voor de endomorfe ring van de elliptische kromme $E$.

3. Belangrijkste Resultaten

Stelling 1.3 (Hoofdstelling)

Er bestaat een gladde projectieve complexe oppervlakte $S$ met de volgende eigenschappen:

1. De Chow-groep $CH_0(S)$ is representabel (d.w.z. $\alpha_S$ is een isomorfisme).
2. $S$ bezit geen universele 0-cyclus.
3. De constructie vereist dat de elliptische kromme $E \cong Alb(S)$ voldoet aan:
   • $\text{End}(E) \cong \mathbb{Z}$, OF
   • $E$ heeft complexe vermenigvuldiging door de maximale orde in een Heegner-veld $\mathbb{Q}(\sqrt{-c})$ met $c \in \{1, 2, 3, 11, 19, 43, 67, 163\}$.
   • Opmerking: Het geval $c=-7$ (Heegner getal) werkt niet als tegenvoorbeeld; voor deze specifieke krommen bestaat er wel een universele 0-cyclus (zie Voorbeeld 5.2).

Stelling 1.4 en 4.1 (Constructie)

De auteur geeft een expliciete constructie van de degeneratie $S \to \Delta$ waarbij de speciale vezel bestaat uit twee componenten die een keten vormen. Het bewijs dat de som-morfisme geen sectie toelaat, steunt op de structuur van de endomorfe ring van $E$ en de eigenschappen van de etale dubbeloverdekkingen.

Corollary 1.5 (Integrale Hodge-conjectuur)

Als gevolg van het bestaan van zo'n oppervlak $S$, wordt een tegenvoorbeeld geconstrueerd voor de integrale Hodge-conjectuur in dimensie 3:

• Beschouw de driedimensionale variëteit $X = E \times S$.
• Er bestaat een niet-torsie Hodge-cyclus in $H^4(E \times S, \mathbb{Z})$ die niet algebraïsch is.
• Dit is een significant verschil met eerdere tegenvoorbeelden (Benoist-Ottem), waarbij de obstructie voortkwam uit een torsie-klasse. Hier is de obstructie een niet-torsie klasse.

4. Technische Significatie en Bijdrage

1. Tweedimensionaal Analoga: Het artikel levert het eerste tegenvoorbeeld in dimensie 2 voor de vraag of representeerbaarheid van $CH_0$ impliceert dat er een universele 0-cyclus bestaat. Dit sluit aan bij Voisin's werk in dimensie 3 en bevestigt dat de eigenschap niet algemeen geldt, zelfs niet voor oppervlakken.
2. Nieuwe Obstructie: De auteur introduceert een krachtige nieuwe methode om het bestaan van universele 0-cycli te testen, gebaseerd op het gedrag van de Albanese-variëteiten van de componenten van een degeneratie. Dit is een fundamenteel nieuw instrument in de studie van algebraïsche cycli.
3. Integrale Hodge-conjectuur: De constructie levert een nieuw type tegenvoorbeeld voor de integrale Hodge-conjectuur. Waar eerdere tegenvoorbeelden vaak afhankelijk waren van torsie in de cohomologie, toont dit werk aan dat er ook niet-torsie Hodge-cycli bestaan die niet algebraïsch zijn, zelfs voor variëteiten met Kodaira-dimensie 0 (specifiek $E \times S$).
4. Rol van Heegner-velden: Het artikel maakt een subtiele maar cruciale onderscheiding tussen verschillende elliptische krommen met complexe vermenigvuldiging. Het toont aan dat de eigenschap "geen universele 0-cyclus" afhangt van de specifieke arithmetische eigenschappen van de endomorfe ring (de aanwezigheid van een sectie in de som-morfisme hangt af van of 2 een priemideaal is in de ring van gehele getallen van het veld).

Conclusie

Theodosis Alexandrou bewijst dat de representeerbaarheid van de Chow-groep van 0-cycli niet voldoende is om het bestaan van een universele 0-cyclus te garanderen, zelfs niet voor oppervlakken. Door een zorgvuldig geconstrueerde degeneratie van bi-elliptische oppervlakken van Type 2 te analyseren, wordt een nieuwe obstructie blootgelegd. Dit resultaat heeft verstrekkende gevolgen voor het begrip van de relatie tussen algebraïsche cycli en cohomologie, en levert een scherp tegenvoorbeeld op voor de integrale Hodge-conjectuur in dimensie 3 zonder gebruik te maken van torsie.