Algebraicity of Hodge classes on some generalized Prym Varieties

Technische Samenvatting: Algebraïciteit van Hodge-klassen op bepaalde gegeneraliseerde Prym-variëteiten

Probleemstelling
Het artikel behandelt de algebraïciteit van specifieke Hodge-klassen op gegeneraliseerde Prym-variëteiten. Meer specifiek onderzoekt het of bepaalde Hodge-klassen, die via de "Weil-type" methode worden geconstrueerd op abelse variëteiten die geassocieerd zijn met niet-triviale representaties van een eindige abelse groep $G$, worden voorgesteld door algebraïsche cycli. Dit werk generaliseert eerdere resultaten van Chad Schoen, die de algebraïciteit van dergelijke klassen voor cyclische overdekkingen (specifiek voor primitieve karakters) had vastgesteld, naar de bredere context van abelse overdekkingen.

Methodologie
De auteurs hanteren een geometrische aanpak die geworteld is in de onvertakte geometrische class field-theorie voor krommen. De kernmethodologie omvat de volgende stappen:

1. Geometrische Opstelling: De auteurs beschouwen een étale $G$-overdekking van gladde projectieve krommen $C \to C^1$, waarbij $G$ een eindige abelse groep is. Zij maken gebruik van de standaard Abel-Jacobi-afbeelding $AJ_d: \text{Sym}^d(C^1) \to J(C^1)$ en het gedrag daarvan voor specifieke graden, met name $h = 2g(C^1) - 2$.
2. Cartesiaanse Diagrammen en Class Field-theorie: Een centraal hulpmiddel is de constructie van een cartesiaans diagram dat de kromme $C$, haar symmetrische product en de Jacobiaanse variëteit met elkaar verbindt. De auteurs tonen aan dat elke abelse overdekking van krommen voortkomt uit de basisverandering van eindige overdekkingen van Jacobiaanse variëteiten. Deze opstelling stelt hen in staat de cohomologie van het symmetrische product van de overdekking te relateren aan de cohomologie van de Prym-variëteit.
3. Cohomologische Decompositie: De auteurs analyseren de cohomologie van de abelse overdekking $W$ van het symmetrische product $\text{Sym}^h(C^1)$. Zij ontleden de cohomologie $H^*(W, \mathbb{Q})$ in isotypische componenten die corresponderen met de karakters van $G$.
4. Factorisatie van Afbeeldingen: Zij vestigen een factorisatie van de Abel-Jacobi-afbeelding voor de kromme $C$ via de overdekking $W$. Dit houdt het bestuderen in van de werking van de groep $G$ en de symmetrische groep $S_h$ op het product $C^h$ en zijn quotiënten.
5. Macdonald's Formule en Lefschetz-operatoren: Met behulp van Macdonald's formule voor de cohomologie van symmetrische producten en de eigenschappen van de Lefschetz-operator op abelse variëteiten, volgen de auteurs de algebraïsche cycli van het symmetrische product naar de Prym-variëteit. Zij vertrouwen op de standaardveronderstelling voor abelse variëteiten (specifiek, dat de inverse Lefschetz-operator algebraïsch is) om de algebraïciteit van de doelklassen te concluderen.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 (Cohomologie van de Overdekking): De auteurs bewijzen een natuurlijke isomorfisme van Hodge-structuren voor de cohomologie van de abelse overdekking $W$ van $\text{Sym}^h(C^1)$. Specifiek, voor $n=h$, splitst de cohomologie zich in de cohomologie van het basissymmetrische product en een somterm $U(-h/2)$. De somterm $U$ wordt gegenereerd door algebraïsche klassen, heeft dimensie $|G|-1$, en zijn complexificatie ontbindt zich in een som van $\chi$-isotypische componenten voor alle niet-triviale karakters $\chi$ van $G$.
• Stelling 1.2 (Algebraïciteit van Weil Hodge-klassen): Het primaire resultaat stelt vast dat de "Weil Hodge-klassen" $U_{\text{Weil}}$ op de Prym-variëteit $B$ (de samenhangende component van de kern van de Norm-afbeelding $J(C) \to J(C^1)$) worden voorgesteld door algebraïsche cycli. Deze klassen worden gedefinieerd als het top-exterieure product van het niet-triviale deel van de eerste cohomologie van $B$ over de ring $\mathbb{Q}[G]_{\text{nt}}$.
• Generalisatie van Schoen's Werk: Waar Schoen's oorspronkelijke werk zich richtte op cyclische overdekkingen en primitieve karakters, breidt dit artikel de constructie uit tot alle niet-triviale karakters van elke eindige abelse groep. De auteurs tonen aan dat de vereiste algebraïsche cycli op natuurlijke wijze voortkomen uit de geometrie van de Abel-Jacobi-afbeelding en de geometrische class field-theorie, waardoor een verenigd perspectief wordt geboden dat Schoen's methode vereenvoudigt en generaliseert.

Betekenis en Beweringen
Het artikel beweert een alternatief perspectief te bieden dat de constructie van algebraïsche cycli voor Hodge-klassen op Prym-variëteiten generaliseert en vereenvoudigt. Door het probleem te kaderen via onvertakte geometrische class field-theorie, tonen de auteurs aan dat de algebraïciteit van deze Hodge-klassen een direct gevolg is van de geometrie van de Abel-Jacobi-afbeelding en de structuur van abelse overdekkingen.

De auteurs stellen expliciet dat hun aanpak:

• Schoen's resultaten generaliseert van cyclische overdekkingen naar abelse overdekkingen.
• Alle niet-triviale karakters behandelt, terwijl Schoen zich beperkte tot primitieve karakters in het cyclische geval.
• Een perspectief biedt dat potentieel kan worden aangepast aan vertakte situaties (met inbegrip van Jacobiaanse variëteiten met modulus) en gevallen in hogere dimensies (oppervlakken), hoewel deze niet in het huidige artikel worden behandeld.
• Verlaat zich op de standaardveronderstelling voor abelse variëteiten met betrekking tot de algebraïciteit van de inverse Lefschetz-operator, een bekend resultaat voor abelse variëteiten.

Het artikel beweert niet de Hodge-vermoeden in volledige algemeenheid te bewijzen, maar bevestigt het wel voor een specifieke, belangrijke klasse van Hodge-klassen (Weil-type) op gegeneraliseerde Prym-variëteiten, waardoor de bekende gevallen waarin het vermoeden geldt, worden uitgebreid.