On the cohomological classification of vector bundles on smooth real affine surfaces and threefolds

Sintesi Tecnica: Sulla classificazione coomologica dei fibrati vettoriali su superfici e varietà affini reali lisce

Enunciato del Problema
Il lavoro indaga la classificazione coomologica dei fibrati vettoriali su varietà affini reali lisce, focalizzandosi specificamente su superfici e varietà di dimensione tre. L'indagine centrale riguarda la mappa $\phi_r(X)$, che associa a un fibrato vettoriale $E$ di rango $r$ su una varietà $X$ la terna delle sue classi di Chern $(c_1(E), \dots, c_r(E))$ nel prodotto dei gruppi di Chow $\prod CH^i(X)$. Vengono affrontate due domande fondamentali:

1. Sovraiettività: Qual è l'immagine di $\phi_r(X)$? Quali terne di cicli algebrici possono essere realizzate come classi di Chern?
2. Iniettività: Quali sono le fibre di $\phi_r(X)$? In quali condizioni i fibrati vettoriali sono determinati, a meno di isomorfismo, dalle loro classi di Chern?

Mentre queste domande hanno risposte soddisfacenti sui campi algebricamente chiusi (dove $\phi_r$ è spesso una biiezione), la situazione sui numeri reali $\mathbb{R}$ è più delicata a causa di ostacoli topologici che sorgono dal luogo reale $X(\mathbb{R})$. Il lavoro affronta specificamente questioni aperte poste da Kucharz riguardanti l'iniettività di $\phi_3(X)$ e la caratterizzazione dell'immagine di $\phi_2(X)$ per varietà affini reali lisce di dimensione tre.

Metodologia
L'autore impiega una sintesi della teoria dell'omotopia motivica, della K-teoria algebrica e della topologia algebrica classica.

• Teoria degli Ostacoli Motivica: Il lavoro utilizza il formalismo delle torri di Moore–Postnikov per lo spazio motivico $BGL_n$. Analizzando i fasci di omotopia e le $k$-invarianti della mappa da $BGL_n$ ai prodotti di spazi di Eilenberg–Mac Lane che rappresentano i gruppi di Chow, l'autore identifica specifici ostacoli al sollevamento delle classi di coomologia a fibrati vettoriali.
• Operazioni di Steenrod: Uno strumento cruciale è l'uso dei quadrati di Steenrod ($Sq$) definiti sui gruppi di Chow modulo 2 (seguendo Voevodsky e Brosnan) e la loro compatibilità con le classi topologiche di Stiefel–Whitney tramite la mappa della classe di ciclo $\gamma$.
• K-teoria e Filtrazioni: Lo studio coinvolge la filtrazione del gruppo di Grothendieck $K_0(X)$ per codimensione del supporto. La relazione tra i pezzi graduati $Gr^p K_0(X)$ e i gruppi di Chow è utilizzata per costruire fibrati con classi di Chern prescritte.
• Topologia del Luogo Reale: L'analisi si basa pesantemente sulla topologia del luogo reale $X(\mathbb{R})$, in particolare sulla presenza o assenza di componenti connesse compatte e sulla vanishing di specifici gruppi di coomologia come $H^3(X(\mathbb{R}), \mathbb{Z}/2)$.
• Costruzioni Esplicite: Controesempi sono costruiti utilizzando configurazioni geometriche specifiche che coinvolgono ipersuperfici in $\mathbb{P}^3_{\mathbb{R}}$ e i loro complementi affini, sfruttando risultati di lavori precedenti (ad es. [AFL25]) e calcoli espliciti in K-teoria.

Contributi e Risultati Chiave

1. Fibrati di Rango 2 su Superfici e Varietà di Dimensione Tre

• Superfici: Il lavoro rivisita e generalizza i risultati di Barge e Ojanguren [BO87]. Si stabilisce che per una superficie affine reale liscia $X$, i fibrati di rango 2 con un determinante fisso $L$ sono classificati dalla loro classe di Euler nel gruppo di Chow–Witt $\widetilde{CH}^2(X, L)$. Il lavoro chiarisce che se $X(\mathbb{R})$ non ha componenti connesse compatte, la mappa $\phi_2(X)$ è una biiezione.
• Varietà di Dimensione Tre (Domanda B): Il lavoro risponde affermativamente alla Domanda (B): l'immagine di $\phi_2(X)$ per una varietà affine reale liscia di dimensione tre $X$ è esattamente l'insieme delle coppie $(c_1, c_2)$ che soddisfano la relazione $Sq_{a_1}(a_2) = 0$ in $H^3(X(\mathbb{R}), \mathbb{Z}/2)$, dove $a_i$ sono le riduzioni modulo 2 delle classi di Chern. Ciò è dimostrato utilizzando la teoria degli ostacoli motivica, identificando l'ostacolo al sollevamento come una classe in $H^3(X, I^3(L))$ che si annulla precisamente sotto questa condizione.
• Classificazione sotto Luogo Reale Piccolo: Se $H^3(X(\mathbb{R}), \mathbb{Z}/2) = 0$ e $H^2(X(\mathbb{R}), \mathbb{Z}(L(\mathbb{R}))) = 0$ per tutti i fibrati di linea $L$, allora $\phi_2(X)$ è una biiezione. Questo riflette il comportamento sui campi algebricamente chiusi.

2. Fibrati di Rango 3 e Teorema di Kucharz

• Generalizzazione del Teorema di Kucharz: Utilizzando un argomento comunicato da Jean Fasel, il lavoro fornisce una dimostrazione efficiente del teorema di Kucharz che caratterizza l'immagine di $\phi_3(X)$. Dimostra che una terna $(c_1, c_2, c_3)$ è realizzabile se e solo se $c_3 - Sq_{c_1}(c_2) = 0$ nel gruppo di Chow modulo 2, $Ch^3(X)$. Questa condizione è equivalente alla relazione topologica $a_3 - a_1 \cup a_2 - Sq(a_2) = 0$ in $H^3(X(\mathbb{R}), \mathbb{Z}/2)$ quando $X$ è una varietà affine reale liscia di dimensione tre.
• Risposta Negativa alla Domanda (A): Il lavoro dimostra che $\phi_3(X)$ non è iniettivo in generale. Utilizzando esempi da [AFL25], l'autore costruisce una varietà affine reale liscia di dimensione tre $U$ e un fibrato vettoriale $E$ di rango 3 con classi di Chern banali che non è liberamente stabile. Questo fornisce il primo esempio noto di un modulo proiettivo su un'algebra $\mathbb{R}$-affine liscia di dimensione 3 con classi di Chern banali che non è liberamente stabile.
• Iniettività sotto Vincoli Topologici: Il lavoro dimostra che se $H^3(X(\mathbb{R}), \mathbb{Z}/2) = 0$, allora $\phi_3(X)$ è biiettivo. Questo risultato rimuove la condizione di razionalità precedentemente richiesta nelle osservazioni di Kucharz, mostrando che l'iniettività di $\phi_3$ è intimamente legata alla topologia del luogo reale (in particolare, l'assenza di componenti connesse compatte).

Significato
Il lavoro stabilisce che la classificazione coomologica dei fibrati vettoriali su varietà affini reali lisce con luoghi reali "piccoli" (in senso coomologico) riflette la classificazione sui campi algebricamente chiusi. Risolve questioni aperte riguardanti la caratterizzazione delle classi di Chern per fibrati di rango 2 e 3. Crucialmente, confuta l'iniettività generale della mappa delle classi di Chern per fibrati di rango 3 su $\mathbb{R}$ fornendo un controesempio concreto, evidenziando così la sottile interazione tra geometria algebrica e topologia dei luoghi reali. Il lavoro offre inoltre una dimostrazione snella del teorema di Kucharz tramite metodi motivici e chiarisce il ruolo delle operazioni di Steenrod nel contesto reale.