Arithmetic Cycles with Modulus

Sintesi Tecnica di "Arithmetic Cycles with Modulus"

Enunciato del Problema
Il saggio affronta il divario tra due teorie consolidate della geometria aritmetica: la teoria dei gruppi di Chow con modulo (che cattura l'informazione geometrica rispetto a un divisore di bordo $D$) e la teoria dei gruppi di Chow aritmetici sviluppata da Gillet e Soulé (che incorpora dati analitici tramite correnti di Green per definire la teoria dell'intersezione su varietà aritmetiche).

Mentre i gruppi di Chow con modulo, $CH^p(X|D)$, estendono con successo la classica teoria dell'intersezione a varietà quasi proiettive lisce $X$ rispetto a un divisore efficace $D$ (ripristinando proprietà come la mappa di grado e la varietà di Albanese in contesti appropriati), essi mancano di una componente analitica. Al contrario, i gruppi di Chow aritmetici, $\widehat{CH}^p(X)$, forniscono una teoria dell'intersezione raffinata per varietà aritmetiche accoppiando cicli algebrici con correnti di Green, ma non tengono conto intrinsecamente delle condizioni di modulo lungo un divisore di bordo. Gli autori pongono la domanda: come si può definire un gruppo di Chow aritmetico con modulo, $\widehat{CH}^p(X|D)$, che rispetti le condizioni di annullamento lungo $D$ pur mantenendo la struttura analitica della teoria di Gillet e Soulé?

Metodologia
Gli autori costruiscono $\widehat{CH}^p(X|D)$ adattando la definizione di gruppi di Chow aritmetici all'impostazione relativa. La metodologia centrale prevede:

1. Setup Analitico: Sia $X$ una varietà quasi proiettiva liscia su un campo numerico $k$, e sia $D$ un divisore efficace tale che il suo supporto ridotto $D_{red}$ sia un divisore di incrocio semplice normale (sncd). Gli autori utilizzano il complesso delle forme differenziali lisce sullo spazio analitico associato $X(\mathbb{C})$ che si annullano su $D_{red}$, indicato con $\Sigma_{D_{red}}A^*(X)$.
2. Lemma di Estensione: Uno strumento tecnico cruciale è il Lemma 2.5, che stabilisce che l'inclusione delle forme che si annullano su un sncd nel complesso di tutte le forme è un quasi-isomorfismo nel contesto della coomologia relativa. Ciò permette agli autori di rappresentare le classi di coomologia relativa utilizzando forme lisce che si annullano sul bordo.
3. Correnti di Green con Modulo: Per un ciclo algebrico $Z \in Z^p(X|D)$ (un ciclo disgiunto da $D$), gli autori provano l'esistenza di una corrente di Green $g_Z$ soddisfacente l'equazione differenziale $\partial\bar{\partial}g_Z + \delta_Z = [\omega_Z]$, dove la forma liscia associata $\omega_Z$ appartiene al sottospazio delle forme che si annullano su $D_{red}$. Ciò assicura che la "condizione di modulo" sia soddisfatta a livello analitico.
4. Definizione del Gruppo: Il gruppo di Chow aritmetico con modulo è definito come il quoziente di coppie $(Z, g_Z)$ per un sottogruppo generato da equivalenze razionali aritmetiche con modulo. Tali equivalenze sono generate dai divisori di funzioni razionali $f$ che sono unità lungo $D$ (soddisfacendo la condizione di modulo $f \equiv 1 \mod \mathcal{I}_D$) e dalle loro correnti associate $-\log|f|^2$, nonché da correnti della forma $\partial u + \bar{\partial} v$ dove $u, v$ soddisfano specifiche condizioni di annullamento.

Contributi Chiave e Risultati
Il saggio stabilisce i seguenti risultati principali:

• Teorema A (Esistenza di Correnti di Green): Per ogni ciclo con modulo, esiste una corrente di Green $g_Z$ tale che la forma associata $\omega_Z$ si annulla su $D_{red}$. Ciò valida la definizione del gruppo.
• Definizione del Gruppo $\widehat{CH}^p(X|D)$: Il gruppo è formalmente definito come $\widehat{Z}^p(X|D) / \widehat{R}^p(X|D)$, dove $\widehat{Z}^p$ consiste di coppie $(Z, g_Z)$ con la condizione di annullamento, e $\widehat{R}^p$ è il sottogruppo delle equivalenze razionali aritmetiche con modulo.
• Funzionalità e Sequenze Esatte: Il gruppo $\widehat{CH}^p(X|D)$ soddisfa naturali proprietà funzionali (pullback per morfismi lisci, pushforward per morfismi propri) e si inserisce in una naturale sequenza esatta analoga ai classici gruppi di Chow aritmetici:
  $$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$$
• Struttura di Modulo (Teorema B): L'anello di Chow aritmetico classico $\widehat{CH}^*(X)$ agisce sui gruppi di Chow aritmetici con modulo $\widehat{CH}^*(X|D)$ tramite un prodotto cap, soddisfacendo la formula di proiezione. Questo eleva la nota struttura di modulo dei gruppi di Chow algebrici con modulo.
• Isomorfismo con il Gruppo di Picard Ermitiano Relativo (Teorema C): Gli autori definiscono un gruppo di Picard ermitiano relativo, $\widehat{\text{Pic}}(X, D)$, costituito da fasci lineari ermitiani $(L, \|\cdot\|)$ dotati di una trivializzazione lungo $D$ tale che la forma di Chern $c_1(L, \|\cdot\|)$ si annulli su $D_{red}$. Essi provano un isomorfismo:
  $$\widehat{\text{Pic}}(X, D) \cong \widehat{CH}^1(X|D)$$
  Questo isomorfismo commuta con i noti isomorfismi tra il gruppo di Picard e il primo gruppo di Chow.

Significato
Gli autori descrivono questo lavoro come una "amalgama molto naturale" della teoria dell'intersezione aritmetica di Gillet e Soulé con la teoria dei gruppi di Chow con modulo. La costruzione fornisce una realizzazione concreta della coomologia motivica aritmetica con modulo.

Il saggio posiziona questi risultati come un passo fondamentale verso:

1. La definizione di un analogo aritmetico del gruppo di Grothendieck relativo $K_0(X, D)$.
2. Lo sviluppo di un analogo aritmetico della teoria del campo globale di dimensione superiore.

Gli autori dichiarano esplicitamente che la definizione dell'analogo aritmetico di $K_0(X, D)$ e lo studio della sua connessione con $\widehat{CH}^p(X|D)$ è l'oggetto del loro prossimo articolo, mantenendo un ambito modesto riguardo alle applicazioni immediate del presente lavoro.