On the images of higher signature maps

Titolo: Sullo spazio immagine delle applicazioni di ciclo quadratico reale

Autore: Samuel Lerbet (DMA, École normale supérieure, Université PSL, CNRS)
Data: 25 marzo 2026

---

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria algebrica reale, affrontando il problema di definire e caratterizzare un analogo reale della mappa di classe di ciclo complessa.

• Contesto Complesso: Per una varietà complessa liscia $X$, la mappa di classe di ciclo $\gamma^c_{\mathbb{C}}: CH^c(X) \to H^{2c}(X(\mathbb{C}), \mathbb{Z})$ collega i gruppi di Chow alle coomologie singolari. L'immagine di questa mappa è soggetta alla Congettura di Hodge.
• Contesto Reale: Per una varietà liscia $X$ definita su $\mathbb{R}$, la costruzione diretta fallisce perché la varietà reale $X(\mathbb{R})$ non ammette necessariamente un'orientazione a valori in $\mathbb{Z}$, rendendo impossibile definire una mappa di ciclo con valori in $H^c(X(\mathbb{R}), \mathbb{Z})$ tramite spinta in avanti (pushforward) standard.
• Mappature Esistenti:
  1. Mappa di Borel-Haefliger ($\gamma^c_{BH}$): Definita a valori in coomologia mod 2, $H^c(X(\mathbb{R}), \mathbb{Z}/2)$. È ben studiata ma fornisce informazioni troppo "grossolane" (coarse).
  2. Mappa di Ciclo Equivariante ($\gamma^c_G$): Definita da Krasnov e sviluppata da Benoist-Wittenberg, utilizza la coomologia equivariante di Borel su $X(\mathbb{C})$ con l'azione di Galois.
  3. Mappa di Ciclo Quadratico Reale ($\tilde{\gamma}^c_{\mathbb{R}}$): L'oggetto centrale di questo studio. È una mappa che solleva (lifts) la mappa di Borel-Haefliger a valori in coomologia intera, utilizzando i gruppi di Chow-Witt ($\tilde{CH}^c$) come dominio e la coomologia con coefficienti in un sistema locale $\mathbb{Z}(L)$ come codominio.

Il Problema Principale: Determinare l'immagine esatta della mappa di ciclo quadratico reale $\tilde{\gamma}^c_{\mathbb{R}}(X, L): \tilde{CH}^c(X, L) \to H^c(X(\mathbb{R}), \mathbb{Z}(L))$. L'ipotesi ingenua che tale mappa sia suriettiva è falsa (esistono ostacoli anche per curve connesse). L'obiettivo è formulare una congettura precisa sulla struttura dell'immagine, specificamente in termini dell'esponente del suo conucleo (cokernel).

---

2. Metodologia

L'autore utilizza un approccio ibrido che combina la teoria dell'omotopia $\mathbb{A}^1$, la teoria dei campi di Witt e la coomologia di etale.

1. Strumenti di Teoria dell'Omoria $\mathbb{A}^1$:

   • Utilizzo dei gruppi di Chow-Witt $\tilde{CH}^c(X, L)$, definiti come gruppi di coomologia $H^c(X, KMW_c(L))$ dove $KMW$ è la K-teoria di Milnor-Witt.
   • Sfruttamento dei complessi di Rost-Schmid per calcolare la coomologia dei fasci strettamente $\mathbb{A}^1$-invarianti.
   • Uso della teoria dei moduli di omotopia (Morel) per analizzare la struttura dei fasci coinvolti.

2. Teoria dei Campi di Witt e Segnatura:

   • Definizione della mappa di segno quadratico (signature map) $\text{sign}_\infty: I_\infty(L) \to \iota_*\mathbb{Z}(L)$, dove $I$ è l'ideale fondamentale dell'anello di Witt.
   • Il teorema di Jacobson stabilisce che per $n \geq d+1$ (dove $d$ è la dimensione di $X$), la mappa di segno è un isomorfismo. Questo permette di ridurre lo studio della mappa di ciclo a problemi puramente algebrici riguardanti le inclusioni tra le potenze dell'ideale fondamentale $I_n$.

3. Analisi degli Esponenti:

   • Invece di cercare la suriettività esatta, l'autore studia gli esponenti del conucleo. Si cerca l'intero $e$ tale che $e \cdot H^c(X(\mathbb{R}), \mathbb{Z}(L)) \subseteq \text{Im}(\tilde{\gamma}^c_{\mathbb{R}})$.
   • Vengono utilizzate successioni esatte di fasci e diagrammi commutativi per legare le mappe a diversi livelli di filtrazione ($I_n$ vs $I_{n+1}$) e dedurre vincoli sugli esponenti.

4. Riduzione a Casi Specifici:

   • La strategia si concentra su codimensioni critiche: $c \in \{0, d-2, d-1, d\}$.
   • Si utilizzano risultati noti sulla coomologia di etale e sulla geometria delle varietà reali (es. varietà affini, proiettive, curve, superfici) per verificare la congettura.

---

3. Contributi Chiave e Risultati

Il paper fornisce risultati quantitativi precisi e formula una congettura generale.

Risultati Principali:

1. Suriettività in Codimensione Massima ($c=d$):

   • Teorema 3.5: La mappa $\gamma^d(X, L)$ è suriettiva. È iniettiva se $X$ non è propria o se $X(\mathbb{R}) \neq \emptyset$.
   • Questo implica che il conucleo ha esponente $2^{d-d} = 1$ (cioè è nullo).

2. Codimensione $c = d-1$:

   • Proposizione 4.4: L'immagine di $\gamma^{d-1}(X, L)$ è l'insieme delle classi la cui riduzione mod 2 è algebrica (immagine della mappa di Borel-Haefliger).
   • Il conucleo ha esponente $2^{d-(d-1)} = 2$.

3. Codimensione $c = d-2$:

   • Corollario 4.8: Sotto l'ipotesi che $H^{2d-1}_{\text{ét}}(X \times_{\mathbb{R}} \mathbb{C}, \mathbb{Z}/2) = 0$, il conucleo di $\gamma^{d-2}(X, L)$ ha esponente $2^{d-(d-2)} = 4$.

4. Codimensione $c = 0$ (Componenti Connesse):

   • Proposizione 5.3: Il conucleo di $\gamma^0(X, L)$ ha esponente $2^d$.
   • Per curve ($d=1$), l'immagine è caratterizzata esattamente da un sottogruppo specifico $\Gamma(L)$ legato alla parità delle componenti connesse.

5. Risultati Quantitativi Generali:

   • Corollario 6.3: Dopo aver invertito 2 (localizzazione in $\mathbb{Z}[1/2]$), la mappa diventa un isomorfismo. Questo conferma che gli ostacoli sono puramente di torsione 2-potenza.
   • Proposizione 6.2: Stime superiori per gli esponenti del nucleo e del conucleo basate sulla teoria di Jacobson.

La Congettura Raffinata (Congettura 6.5):

L'autore formula la seguente congettura centrale:

Per ogni varietà liscia $X$ di dimensione $d$ su $\mathbb{R}$ e ogni fascio lineare $L$, il conucleo della mappa di ciclo quadratico reale $\gamma^c(X, L)$ ha esponente $2^{d-c}$.
Inoltre, questo esponente è ottimale: non può essere migliorato in generale (esistono esempi dove l'esponente è esattamente $2^{d-c}$ e non $2^{d-c-1}$).

Verifica della Congettura:

Il teorema 6.6 conferma la congettura per:

• Curve ($d=1$) per tutte le codimensioni.
• Superfici ($d=2$) per tutte le codimensioni.
• Varietà di dimensione 3 per $c \in \{3, 2, 0\}$ e per $c=1$ sotto condizioni di vanishing della coomologia di etale.
• Casi specifici di varietà affini o proiettive con $X(\mathbb{C})$ semplicemente connessa.

---

4. Significato e Implicazioni

1. Sostituzione della Congettura di Hodge Intera Reale:
   Mentre la congettura di Hodge integrale reale (di Benoist-Wittenberg) riguarda la suriettività su un sottogruppo definito da vincoli di Hodge e topologici, questo lavoro offre una caratterizzazione alternativa basata sulla torsione 2-potenza. La congettura di Lerbet suggerisce che l'ostacolo alla suriettività è puramente misurato dalla potenza di 2 data dalla differenza tra dimensione e codimensione.

2. Precisione Quantitativa:
   Il lavoro sposta il focus dalla domanda "è suriettiva?" a "quanto manca alla suriettività?". Fornisce stime quantitative precise (esponenti) che sono state verificate in casi non banali, offrendo una guida per futuri controesempi o dimostrazioni generali.

3. Connessione tra Algebra e Topologia:
   Il paper dimostra come la teoria dei campi di Witt (algebraica) e la topologia della varietà reale $X(\mathbb{R})$ siano strettamente intrecciate attraverso la mappa di segno. La struttura dell'immagine della mappa di ciclo riflette la struttura delle componenti connesse e la torsione della coomologia reale.

4. Ottimalità:
   L'autore dimostra che i limiti trovati sono ottimali fornendo esempi espliciti (es. curve con componenti connesse multiple, superfici razionali) dove l'esponente del conucleo raggiunge esattamente il valore previsto $2^{d-c}$, confermando che la congettura non può essere ulteriormente raffinata senza ipotesi aggiuntive sulla varietà.

In sintesi, il paper stabilisce un quadro teorico robusto per comprendere l'immagine delle mappe di ciclo quadratico reale, proponendo una congettura precisa sull'esponente del conucleo che unifica risultati dispersi e fornisce nuovi strumenti per l'analisi della geometria algebrica reale.