Incidence equivalence, a survey

Technische Samenvatting: Incidentie-equivalentie, een Survey

Probleemstelling
Deze survey behandelt een fundamentele vraag in de theorie van algebraïsche cycli op gladde complexe projectieve variëteiten, oorspronkelijk geformuleerd door P. Griffiths in de vroege jaren 1970. De kern van het probleem betreft de relatie tussen twee equivalentierelaties gedefinieerd op cycli van codimensie $i$ die algebraïsch equivalent zijn aan nul:

1. Incidentie-equivalentie ($\sim_{inc}$): Een puur geometrische relatie gedefinieerd via correspondenties. Een cyclus $\alpha$ is incidentie-equivalent aan nul als zijn "incidentie-divisoren" op elke gladde projectieve variëteit $Y$ (geïnduceerd door integrale correspondenties van graad $1-i$) rationeel equivalent zijn aan nul.
2. Abel-Jacobi-equivalentie ($\sim_{AJ}$): Een transcendente relatie gedefinieerd via de kern van de Abel-Jacobi-afbeelding $\psi^i_{AJ}$, die homologisch triviale cycli afbeeldt op Griffiths' intermediaire Jacobiaan $J^i(X)$.

De centrale vraag, aangeduid als $GC(X, i)$, luidt of deze twee relaties samenvallen voor cycli die algebraïsch equivalent zijn aan nul, ten minste na tensoren met $\mathbb{Q}$. Een positief antwoord zou de Abel-stelling voor divisoren uitbreiden naar hogere codimesies.

Methodologie en Raamwerk
De paper synthetiseert klassieke resultaten uit de jaren 1970 met recentere ontwikkelingen in de Hodge-theorie en de theorie van biextensies. De methodologie steunt op de volgende structurele componenten:

• Correspondenties: De survey maakt gebruik van de werking van integrale correspondenties op Chow-groepen en cohomologie om de incidentie-equivalentie te definiëren en om de functorialiteit van de bijbehorende variëteiten te bestuderen.
• Intermediaire Jacobians en Picard-variëteiten: De auteur maakt een onderscheid tussen de Griffiths intermediaire Jacobians $J^i(X)$ (die over het algemeen complexe tori zijn, niet noodzakelijkerwijs abeliaanse variëteiten) en de "gegeneraliseerde Picard-variëteiten" $Pic^i(X)$, gedefinieerd als de quoët van algebraïsch triviale cycli door incidentie-equivalentie. Het probleem $GC(X, i)$ wordt geherformuleerd als de vraag of de afbeelding van de Abel-Jacobi-afbeelding, $J^i_{alg}(X)$, isoisogeen is aan $Pic^i(X)$.
• Standaardveronderstellingen: De analyse is diep verweven met de standaardveronderstellingen van Grothendieck, specifiek:
  • Veronderstelling $B(X)$: De Lefschetz-operator $\Lambda$ wordt geïnduceerd door een algebraïsche correspondentie.
  • Veronderstelling $D(X)$: Homologische equivalentie valt samen met numerieke equivalentie.
  • De Gegeneraliseerde Hodge-veronderstelling ($GHC$): De relatie tussen de coniveau-filtratie op cohomologie en Hodge-substructuren.
• Biextensies: De survey incorporeert het werk van S. Müller-Stach dat gebruikmaakt van de biextensies van Bloch. Deze benadering verbindt de splitsing van bepaalde $\mathbb{C}^\times$-torsors (Bloch-biextensies) met incidentie-equivalentie, wat een brug slaat tussen geometrische en transcendente eigenschappen.
• Lefschetz-decompositie: Een aanzienlijk deel van het technische argument behelst de analyse van de primitieve componenten van de Lefschetz-decompositie van cohomologieklassen binnen de coniveau-filtratie.

Belangrijke Bijdragen en Resultaten
De paper biedt een uitgebreid overzicht van bekende resultaten en stelt verschillende implicaties vast met betrekking tot $GC(X, i)$:

1. Herformulering van Equivalentie: Het stelt vast dat $GC(X, i)$ geldt dan en slechts als $J^i_{alg}(X)$ isoisogeen is aan de gegeneraliseerde Picard-variëteit $Pic^i(X)$.
2. Implicaties van Standaardveronderstellingen:
   • Als de Gegeneraliseerde Hodge-veronderstelling $GHC(X, 2i-1, i)$ geldt, dan is $GC(X, i)$ waar.
   • Als Veronderstelling $B(X)$ geldt, dan zijn alle primitieve componenten van de Lefschetz-decompositie van algebraïsche klassen zelf algebraïsch. Deze conditie, aangeduid als $(\Lambda, X, i)$, impliceert $GC(X, i)$.
   • Bijgevolg is $GC(X, i)$ bekend te houden voor abeliaanse variëteiten, aangezien $B(X)$ voor hen bekend is.
3. Specifieke Geval:
   • Codimensie 1 en $d$: $GC(X, 1)$ en $GC(X, d)$ gelden (waarbij de klassieke resultaten voor divisoren en 0-cycli via de Picard- en Albanese-variëteiten worden herwonnen).
   • Codimensie 2: De paper beoordeelt het bewijs van J. Murre voor $i=2$. De auteur merkt op dat Murre's oorspronkelijke geometrische argument betreffende de niet-degeneratie van de cup-product koppeling op $H^3_{alg}(X)$ incompleet leek. De auteur levert een gecorrigeerd en algemener bewijs met behulp van de Hodge $*$-operator en de resultaten van Weil over de Lefschetz-decompositie, waarmee $GC(X, 2)$ wordt bevestigd.
   • Oneven Dimensies en Volledige Doorsneden: Voor een variëteit $X$ van dimensie $d=2m+1$ waar de oneven Betti-getallen $b_{2k+1}(X)$ verdwijnen voor $k \neq m$ (bijv. gladde volledige doorsneden in de projectieve ruimte), geldt $GC(X, m)$.
4. Dualiteit: De survey verheldert de dualiteit tussen $J^i_{alg}(X)$ en $J^j_{alg}(X)$ (waarbij $i+j=d+1$) en toont aan dat als $GC(X, i)$ geldt, dan $GC(X, j)$ ook geldt onder specifieke dualiteitscondities.

Betekenis en Motivatie
De auteur stelt dat de motivatie voor deze survey voortkomt uit een recente observatie door Z. Chen die de vraag van Griffiths koppelt aan het asymptotische gedrag van de archimedeaanse hoogte-koppeling in een geometrische setting. Met name het recente werk van Hain en Brosnan–Pearlstein over het asymptotische gedrag van hoogte-koppelingen voor admissible variaties van gemengde Hodge-structuren suggereert dat, indien $GC(X, i)$ een positief antwoord heeft, een specifieke coëfficiënt in de asymptotische expansie overeenkomt met een lokale geometrische hoogte-koppeling.

De paper beoogt oudere literatuur die moeilijk te lokaliseren is geworden te consolideren en argumenten te verhelderen die steunen op kennis die gangbaar was in de jaren 1970 maar mogelijk vergeten is door nieuwere generaties. Het dient als een referentie die de klassieke theorie van incidentie-equivalentie verbindt met moderne Hodge-theoretische ontwikkelingen, in het bijzonder met betrekking tot het gedrag van klassen van Hodge-niveau $\leq 1$ in oneven-rang cohomologie. De survey claimt niet het algemene geval van $GC(X, i)$ voor willekeurige variëteiten op te lossen, maar schetst de precieze condities (zoals $B(X)$ of $GHC$) waaronder de equivalentie bekend is om te gelden.