Nori motives (and mixed Hodge modules) with integral coefficients

Technische Samenvatting: Nori-motieven en Gemengde Hodge-modules met Integrale Coëfficiënten

1. Het Probleem (De Context)

In de moderne algebraïsche meetkunde is het doel om een universele cohomologietheorie te vinden die alle bekende theorieën (zoals Betti-cohomologie, $\ell$-adische cohomologie en de de Rham-cohomologie) verenigt. Dit wordt meestal geformuleerd in de taal van motieven.

Tot voor kort was de constructie van "relatieve" Nori-motieven (motieven over een basisvariëteit $X$) grotendeels beperkt tot rationale coëfficiënten ($\mathbb{Q}$). Het werken met integrale coëfficiënten ($\mathbb{Z}$) is aanzienlijk moeilijker vanwege de complexiteit van torsie-objecten en het feit dat klassieke methoden (zoals de constructie van Ivorra en Morel) steunen op eigenschappen die alleen voor $\mathbb{Q}$ gelden, zoals de t-exactheid van de Verdier-dualiteit voor perverse schoven. Het ontbreken van een volledige "zes-operatoren-formalisme" (six functors formalism) voor integrale Nori-motieven vormde een grote barrière.

2. Methodologie

De auteurs gebruiken een geavanceerde $\infty$-categorische benadering om de kloof tussen de afgeleide categorieën van étale motieven en de abelse categorieën van Nori-motieven te overbruggen. De kern van hun methode is:

• De Nori-algebra: In plaats van te proberen de abelse categorie direct te construeren via diagrammen van paren (de klassieke Nori-methode), definiëren ze een commutatieve algebra-object $N_k$ in de $\infty$-categorie van étale motieven $\text{DM}_{\text{ét}}(k, \mathbb{Z})$.
• Module-constructie: Ze definiëren de categorie van integrale Nori-motieven als de categorie van modules over deze algebra $N_k$. Dit stelt hen in staat om de structuren van de étale motieven (zoals de zes operatoren) direct over te dragen naar de Nori-motieven.
• Hasse-fractuur-vierkant: Om de integratie te waarborgen, gebruiken ze een Hasse-fractuur-vierkant om de algebra $N_k$ te relateren aan de rationele algebra $N_{k, \mathbb{Q}}$ en de mod-$n$ algebra's.
• Gluing-technieken: Voor de constructie van t-structuren (zowel de gewone als de perverse) maken ze gebruik van de gluing-methoden van Vaish en de eigenschappen van de $\ell$-adische realisatie.

3. Belangrijkste Bijdragen en Resultaten

A. Integrale Nori-motieven:

• Constructie van de categorie: Ze construeren een presentabele stabiele $\infty$-categorie van integrale Nori-motieven over een schema in karakteristiek nul.
• Zes-operatoren-formalisme: Ze bewijzen dat deze categorie beschikt over een volledig zes-operatoren-formalisme ($f^*, f_*, f_!, f^!, \otimes, \underline{\text{Hom}}$), wat een enorme verbetering is ten opzichte van eerdere integrale constructies.
• Twee t-structuren: Ze definiëren en bewijzen de aanwezigheid van:
  1. De gewone t-structuur, waarvan de hart (heart) de abelse categorie van "gewone" Nori-motieven $\text{Mord}(X, \mathbb{Z})$ is.
  2. De perverse t-structuur, waarvan de hart de abelse categorie van perverse Nori-motieven $\text{M}_{\text{perv}}(X, \mathbb{Z})$ is.
• Arc-descent: Ze tonen aan dat de categorie van Nori-motieven voldoet aan arc-descent, een sterke vorm van descent die cruciaal is in de moderne geometrie.

B. Integrale Gemengde Hodge-modules (MHM):

• Uitbreiding naar $\mathbb{R}$-schema's: Ze breiden de theorie van Saito uit naar integrale gemengde Hodge-modules over schema's over de reële getallen ($\mathbb{R}$), gebruikmakend van Galois-invariante elementen.
• Hodge-oorsprong: Ze definiëren een categorie van Hodge-modules met "Hodge-oorsprong" en tonen aan dat de realisatie-functor een volledige afbeelding is.
• Variaties van Hodge-structuren: Ze bewijzen dat de categorie van lisse integrale Hodge-modules equivalent is aan de categorie van admissible variaties van integrale gemengde Hodge-structuren ($\text{VMHS}_{\text{ad}}(X, \mathbb{Z})$).

4. Betekenis (Significance)

Dit werk is van fundamenteel belang voor de motivische meetkunde om de volgende redenen:

1. Unificatie: Het biedt een rigoureus kader om de overgang van rationele naar integrale motieven te begrijpen, waarbij de structurele integriteit (zoals de zes operatoren) behouden blijft.
2. Computationele kracht: De aanwezigheid van het zes-operatoren-formalisme en de t-structuren maakt het mogelijk om complexe geometrische operaties (zoals de Leray-spectrale sequentie) direct in de context van integrale motieven te bestuderen.
3. Verbinding met de klassieke theorie: Door de resultaten over Hodge-modules en de $\ell$-adische realisatie te koppelen, sluit het werk de cirkel tussen de abstracte motivische wereld en de concrete analytische en aritmetische realisaties.
4. Nieuwe vermoedens: Het artikel biedt een basis voor nieuwe vermoedens over de relatie tussen étale motieven en Nori-motieven, met name over de vraag wanneer de afgeleide categorie van de hart van een t-structuur de gehele categorie reproduceert.