Arithmetic Cycles with Modulus

Technische Samenvatting van "Arithmetic Cycles with Modulus"

Probleemstelling
Het artikel adresseert de kloof tussen twee gevestigde theorieën in de arithmetische meetkunde: de theorie van Chow-groepen met modulus (die geometrische informatie vastlegt relatief aan een randdivisor $D$) en de theorie van arithmetische Chow-groepen ontwikkeld door Gillet en Soulé (die analytische data via Green-stromen incorporeert om snijtheorie op arithmetische variëteiten te definiëren).

Hoewel Chow-groepen met modulus, $CH^p(X|D)$, de klassieke snijtheorie succesvol uitbreiden naar gladde quasi-projectieve variëteiten $X$ relatief aan een effectieve divisor $D$ (waarbij eigenschappen zoals de graad-afbeelding en de Albanese-variëteit in geschikte settings worden hersteld), missen zij een analytisch component. Omgekeerd bieden arithmetische Chow-groepen, $\widehat{CH}^p(X)$, een verfijnde snijtheorie voor arithmetische variëteiten door algebraïsche cycli te paren met Green-stromen, maar houden zij niet inherent rekening met de modulus-condities langs een randdivisor. De auteurs stellen de vraag: Hoe kan men een arithmetische Chow-groep met modulus, $\widehat{CH}^p(X|D)$, definiëren die de verdwijningscondities langs $D$ respecteert terwijl de analytische structuur van de theorie van Gillet en Soulé behouden blijft?

Methodologie
De auteurs construeren $\widehat{CH}^p(X|D)$ door de definitie van arithmetische Chow-groepen aan te passen aan de relatieve setting. De kernmethodologie omvat:

1. Analytische Setup: Laat $X$ een gladde quasi-projectieve variëteit zijn over een getallenveld $k$, en laat $D$ een effectieve divisor zijn zodanig dat de gereduceerde ondersteuning $D_{red}$ een eenvoudige normale kruisende divisor (sncd) is. De auteurs maken gebruik van de complex van gladde differentiaalvormen op de geassocieerde analytische ruimte $X(\mathbb{C})$ die verdwijnen op $D_{red}$, aangeduid als $\Sigma_{D_{red}}A^*(X)$.
2. Extensielemma: Een cruciaal technisch hulpmiddel is Lemma 2.5, dat vaststelt dat de inclusie van vormen die verdwijnen op een sncd in de complex van alle vormen een quasi-isomorfisme is in de relatieve cohomologiecontext. Dit stelt de auteurs in staat om relatieve cohomologieklassen te representeren met behulp van gladde vormen die verdwijnen op de rand.
3. Green-stromen met Modulus: Voor een algebraïsche cyclus $Z \in Z^p(X|D)$ (een cyclus die disjunct is van $D$), bewijzen de auteurs het bestaan van een Green-stroom $g_Z$ die voldoet aan de differentiële vergelijking $\partial\bar{\partial}g_Z + \delta_Z = [\omega_Z]$, waarbij de geassocieerde gladde vorm $\omega_Z$ behoort tot de deelruimte van vormen die verdwijnen op $D_{red}$. Dit zorgt ervoor dat de "modulus"-conditie op analytisch niveau wordt voldaan.
4. Definitie van de Groep: De arithmetische Chow-groep met modulus wordt gedefinieerd als de quotient van paren $(Z, g_Z)$ door een subgroep gegenereerd door arithmetische rationale equivalenties met modulus. Deze equivalenties worden gegenereerd door divisoren van rationale functies $f$ die eenheden zijn langs $D$ (voldoen aan de modulus-conditie $f \equiv 1 \mod \mathcal{I}_D$) en hun bijbehorende stromen $-\log|f|^2$, evenals stromen van de vorm $\partial u + \bar{\partial} v$ waarbij $u, v$ specifieke verdwijningscondities voldoen.

Belangrijkste Bijdragen en Resultaten
Het artikel vestigt de volgende hoofdresultaten:

• Theorem A (Bestaan van Green-stromen): Voor elke cyclus met modulus bestaat er een Green-stroom $g_Z$ zodanig dat de geassocieerde vorm $\omega_Z$ verdwijnt op $D_{red}$. Dit valideert de definitie van de groep.
• Definitie van $\widehat{CH}^p(X|D)$: De groep wordt formeel gedefinieerd als $\widehat{Z}^p(X|D) / \widehat{R}^p(X|D)$, waarbij $\widehat{Z}^p$ bestaat uit paren $(Z, g_Z)$ met de verdwijningsconditie, en $\widehat{R}^p$ de subgroep is van arithmetische rationale equivalenties met modulus.
• Functorialiteit en Exacte Sequenties: De groep $\widehat{CH}^p(X|D)$ voldoet aan natuurlijke functoriale eigenschappen (terugtrekking voor gladde morfismen, pushforward voor propere morfismen) en past in een natuurlijke exacte sequentie analoog aan de klassieke arithmetische Chow-groepen:
  $$CH^{p,p-1}(X|D) \to \widehat{A}^{p-1,p-1}(X_{\mathbb{R}}, \text{vanishing}) \to \widehat{CH}^p(X|D) \to CH^p(X|D) \to 0$$
• Module-structuur (Theorem B): De klassieke arithmetische Chow-ring $\widehat{CH}^*(X)$ werkt op de arithmetische Chow-groepen met modulus $\widehat{CH}^*(X|D)$ via een cap-product, wat de projectieformule bevredigt. Dit tilt de bekende module-structuur van de algebraïsche Chow-groepen met modulus naar een hoger niveau.
• Isomorfisme met de Relatieve Hermitische Picard-groep (Theorem C): De auteurs definiëren een relatieve Hermitische Picard-groep, $\widehat{\text{Pic}}(X, D)$, bestaande uit Hermitische lijnbundels $(L, \|\cdot\|)$ uitgerust met een trivialisering langs $D zodanig dat de Chern-vorm $c_1(L, \|\cdot\|)$ verdwijnt op $D_{red}$. Zij bewijzen een isomorfisme:
  $$\widehat{\text{Pic}}(X, D) \cong \widehat{CH}^1(X|D)$$
  Dit isomorfisme commuteert met de bekende isomorfismen tussen de klassieke Picard-groep en de eerste Chow-groep.

Betekenis
De auteurs beschrijven dit werk als een "zeer natuurlijke amalgamatie" van de arithmetische snijtheorie van Gillet en Soulé met de theorie van Chow-groepen met modulus. De constructie biedt een concrete realisatie van arithmetische motivische cohomologie met modulus.

De auteurs positioneren deze resultaten als een fundamentele stap naar:

1. Het definiëren van een arithmetisch analoog van de relatieve Grothendieck-groep $K_0(X, D)$.
2. Het ontwikkelen van een arithmetisch analoog van hogere-dimensie globale klassieke veldentheorie.

De auteurs geven expliciet aan dat het definiëren van het arithmetische analoog van $K_0(X, D)$ en het bestuderen van de verbinding met $\widehat{CH}^p(X|D)$ het onderwerp is van hun volgende paper, waarbij zij een bescheiden reikwijdte behouden met betrekking tot de directe toepassingen van het huidige werk.