The Brauer group of a Stein algebra

1. Il Problema e il Contesto

Il lavoro si colloca all'intersezione tra geometria algebrica e geometria analitica complessa. L'obiettivo principale è studiare le proprietà algebriche dell'algebra di Stein $O(S)$, ovvero l'anello delle funzioni olomorfe su uno spazio di Stein $S$ di dimensione finita.
Mentre esiste una corrispondenza ben nota tra varietà algebriche affini e algebre finitamente generate (geometria algebrica), la situazione per gli spazi di Stein è più complessa: le algebre di Stein non sono generalmente noetheriane, rendendo difficile collegare le loro proprietà algebriche alla topologia o alla geometria analitica dello spazio sottostante $S$.
Il problema centrale è la comprensione del Gruppo di Brauer $Br(O(S))$ di tale anello. In particolare, gli autori vogliono determinare se questo gruppo può essere calcolato puramente in termini topologici e come si relaziona con la coomologia étale dello spettro $\text{Spec}(O(S))$ e la coomologia singolare di $S$.

2. Metodologia

Gli autori adottano un approccio ibrido che combina:

• Principio di Oka di Grauert: Per identificare i fasci vettoriali e le algebre di Azumaya olomorfe con le loro controparti topologiche.
• Teoria dei fasci twisted e gerbi: Utilizzando il lavoro di de Jong, Lieblich e Căldăraru per gestire classi di coomologia non torsionali e fasci twistati.
• Analisi algebrica e limiti: Sfruttando la teoria dei limiti per passare da proprietà locali a globali su $\text{Spec}(O(S))$.
• K-teoria topologica twistata: Per calcolare l'indice delle classi di Brauer, estendendo argomenti noti per varietà proiettive lisce al contesto di Stein.
• Coomologia singolare e cellulare: Per estendere i risultati di Serre sui complessi CW finiti a complessi CW di dimensione finita.

3. Contributi Chiave e Risultati Principali

A. Calcolo Topologico del Gruppo di Brauer

Il risultato fondamentale è l'isomorfismo tra il gruppo di Brauer algebrico di $O(S)$ e il gruppo di Brauer topologico di $S$.

• Teorema 1.1: Per ogni spazio di Stein $S$ di dimensione finita, il morfismo naturale $Br(O(S)) \to Br_{top}(S)$ è un isomorfismo.
• Teorema 1.3: Combinando il risultato precedente con la descrizione di $Br_{top}(S)$ tramite coomologia, si ottiene un isomorfismo:
  $$Br(O(S)) \cong H^3(S, \mathbb{Z})_{tors}$$
  Questo dimostra che il gruppo di Brauer di un'algebra di Stein è un invariante puramente topologico.
• Nota: L'ipotesi di dimensione finita è essenziale; senza di essa, il morfismo non è né iniettivo né suriettivo (esempi costruiti negli Esempi 3.8 e 3.10).

B. Confronto tra Cohomologia Étale e Singolare (Coefficienti Finiti)

Gli autori risolvono una questione aperta riguardante il confronto tra la coomologia étale di $\text{Spec}(O(S))$ e la coomologia singolare di $S$.

• Teorema 1.4: Per ogni $n \geq 1$, il morfismo di confronto è un isomorfismo in grado 2:
  $$H^2_{\text{ét}}(\text{Spec}(O(S)), \mathbb{Z}/n) \xrightarrow{\sim} H^2(S, \mathbb{Z}/n)$$
  La prova si basa sull'identificazione delle classi di torsione nel gruppo di Brauer con la coomologia a coefficienti finiti.

C. Coefficienti Invertibili e Fallimento della Suriettività

Analizzando il morfismo con coefficienti invertibili $H^2_{\text{ét}}(\text{Spec}(O(S)), \mathbb{G}_m) \to H^2(S, \mathcal{O}_S^\times)$:

• Teorema 1.5: Il morfismo è iniettivo per spazi di Stein di dimensione finita, ma non è suriettivo in generale.
• La non suriettività è dovuta al fatto che il lato sinistro (coomologia étale) è un gruppo di torsione (se $S$ è una varietà), mentre il lato destro può contenere classi non di torsione.
• Proposizione 4.9: Viene costruito un esempio di spazio di Stein normale di dimensione 3 dove $H^2_{\text{ét}}(\text{Spec}(O(S)), \mathbb{G}_m)$ non è un gruppo di torsione, dimostrando che l'uso di sole algebre di Azumaya (che catturano solo la torsione) sarebbe stato insufficiente per la prova.

D. Teorema di Purezza e Campo delle Funzioni Meromorfe

• Teorema 1.6: Se $S$ è localmente fattoriale (es. una varietà liscia), il morfismo $Br(O(S)) \to H^2_{\text{ét}}(\text{Spec}(O(S)), \mathbb{G}_m)$ è un isomorfismo.
• Teorema 1.7: Per spazi di Stein localmente fattoriali, il morfismo verso il campo delle funzioni meromorfe $M(S)$ è iniettivo:
  $$H^2_{\text{ét}}(\text{Spec}(O(S)), \mathbb{G}_m) \hookrightarrow H^2_{\text{ét}}(\text{Spec}(M(S)), \mathbb{G}_m)$$
• Teorema 1.8 (Purezza): Viene stabilita una sequenza esatta analoga alla congettura di purezza di Grothendieck per varietà algebriche:
  $$0 \to Br(O(S)) \to Br(M(S)) \xrightarrow{\text{res}_D} \prod_{D} H^1_{\text{ét}}(\text{Spec}(M(D)), \mathbb{Q}/\mathbb{Z})$$
  dove $D$ percorre i sottoinsiemi analitici irriducibili di codimensione 1.

E. Periodo e Indice

Gli autori studiano l'indice $ind(\alpha)$ (il MCD dei gradi delle algebre di Azumaya che rappresentano una classe) rispetto al periodo $per(\alpha)$ (l'ordine nel gruppo di torsione).

• Teorema 1.9: L'indice può essere calcolato topologicamente: $ind(\alpha) = ind(\alpha_{top})$.
• Teorema 1.10: Per una varietà di Stein connessa $S$, l'indice di una classe in $Br(O(S))$ coincide con l'indice della sua immagine in $Br(M(S))$.
• Teorema 1.11 (Risultato Finale): Esistono una varietà di Stein connessa $S$ e una classe $\alpha$ nell'immagine di $Br(O(S)) \to Br(M(S))$ tale che $ind(\alpha) \neq per(\alpha)$.
  Questo dimostra che, anche nel contesto analitico, il periodo e l'indice possono differire, risolvendo una questione aperta per $d \geq 3$ in analogia con il caso algebrico. La prova sfrutta la K-teoria topologica twistata e problemi di periodo-indice topologici studiati da Antieau e Williams.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Ponte tra Algebra e Topologia: Fornisce un calcolo esplicito e puramente topologico del gruppo di Brauer di un oggetto analitico complesso, risolvendo un problema che era ostacolato dalla natura non-noetheriana delle algebre di Stein.
2. Generalizzazione di Risultati Classici: Estende risultati noti per varietà proiettive lisce (come la relazione tra periodo e indice e i teoremi di purezza) al contesto degli spazi di Stein, un ambiente più "flessibile" ma tecnicamente più difficile.
3. Nuovi Strumenti: Introduce e applica tecniche sofisticate (fasci twistati, K-teoria twistata, gerbi) in geometria analitica complessa, offrendo nuovi strumenti per lo studio delle classi di coomologia non torsionali.
4. Controesempi Costruttivi: Dimostra che le aspettative basate sul caso algebrico (es. suriettività del confronto con coefficienti invertibili) non valgono automaticamente in analisi complessa, fornendo controesempi specifici e costruzioni esplicite.

In sintesi, il paper stabilisce una teoria coerente del Gruppo di Brauer per le algebre di Stein, collegando profondamente la struttura algebrica dell'anello delle funzioni olomorfe alla topologia dello spazio sottostante, e risolvendo questioni aperte riguardanti l'indice e la purezza in questo contesto.