The Brauer group of a Stein algebra

Resumo Técnico: O Grupo de Brauer de uma Álgebra de Stein

1. Problema e Contexto

O artigo investiga o Grupo de Brauer $Br(O(S))$ de uma álgebra de Stein $O(S)$, que é o anel das funções holomorfas sobre um espaço de Stein $S$ de dimensão finita.

• Contexto Algébrico vs. Analítico: Na geometria algébrica, existe uma equivalência de categorias entre variedades afins e álgebras finitamente geradas, permitindo traduzir propriedades geométricas em algébricas. Na geometria complexa analítica, uma equivalência similar existe entre espaços de Stein e álgebras de Stein. No entanto, as álgebras de Stein são frequentemente não noetherianas, tornando difícil relacionar suas propriedades algébricas puras às propriedades analíticas ou topológicas do espaço subjacente $S$.
• Questão Central: Como calcular o grupo de Brauer de $O(S)$? Existe uma relação direta entre este grupo algébrico e a topologia de $S$? Além disso, como as cohomologias étale de $Spec(O(S))$ se comparam às cohomologias singulares de $S$?

2. Metodologia

Os autores utilizam uma abordagem híbrida que combina:

• Princípio de Oka de Grauert: Para identificar classes de fibrados vetoriais holomorfos e topológicos, permitindo transitar entre a categoria analítica e a topológica.
• Teoria de Esquemas e Geometria Analítica: Uso de funtores de analitificação (Bingener) para relacionar esquemas sobre $O(S)$ com espaços complexos sobre $S$.
• Cohomologia Étale e Singular: Comparação direta entre a cohomologia étale do espectro da álgebra e a cohomologia singular do espaço topológico.
• Álgebras de Azumaya e Álgebras Separáveis Centrais: Uso de álgebras de Azumaya (para classes de torção) e álgebras separáveis centrais (para classes não-torção) para estudar o grupo de Brauer e sua imagem em cohomologia.
• K-teoria Torcida e Obstruções Topológicas: Aplicação de K-teoria torcida topológica e teoria de obstrução para analisar o índice de classes no grupo de Brauer.

3. Principais Contribuições e Resultados

A. Cálculo Topológico do Grupo de Brauer (Teoremas 1.1, 1.2, 1.3)
O resultado central é que o grupo de Brauer de uma álgebra de Stein é puramente topológico.

• Isomorfismo: Para qualquer espaço de Stein de dimensão finita $S$, o morfismo natural $Br(O(S)) \to Br_{top}(S)$ é um isomorfismo.
• Cálculo via Cohomologia: O grupo de Brauer topológico $Br_{top}(S)$ é isomorfo ao subgrupo de torção da terceira cohomologia singular: $H^3(S, \mathbb{Z})_{tors}$.
• Conclusão: $Br(O(S)) \cong H^3(S, \mathbb{Z})_{tors}$.
• Nota: A hipótese de dimensão finita é essencial; para dimensões infinitas, o morfismo pode falhar tanto na injetividade quanto na sobrejetividade.

B. Comparação de Cohomologia em Grau 2 (Teoremas 1.4, 1.5)
Os autores estudam os morfismos de comparação entre a cohomologia étale de $Spec(O(S))$ e a cohomologia singular de $S$.

• Coeficientes Finitos ($\mathbb{Z}/n$): O morfismo $H^2_{ét}(Spec(O(S)), \mathbb{Z}/n) \to H^2(S, \mathbb{Z}/n)$ é um isomorfismo para todo $n \geq 1$. Isso é deduzido da identificação do grupo de Brauer com classes de torção.
• Coeficientes Invertíveis ($\mathbb{G}_m$): O morfismo $H^2_{ét}(Spec(O(S)), \mathbb{G}_m) \to H^2(S, \mathcal{O}_S^\times)$ é injetivo, mas não é sobrejetivo em geral.
  • A falha da sobrejetividade ocorre porque o lado direito pode conter classes não-torção (se $S$ for uma variedade conexa), enquanto o lado esquerdo (para variedades de Stein) é um grupo de torção (devido ao Teorema 1.6 e 1.7).

C. Purity e O Corpo de Funções Meromorfas (Teoremas 1.6, 1.7, 1.8)

• Localmente Fatorial: Se $S$ é localmente fatorial (e.g., uma variedade não singular), o grupo de Brauer $Br(O(S))$ coincide com todo o grupo de cohomologia $H^2_{ét}(Spec(O(S)), \mathbb{G}_m)$.
• Sequência de Pureza: Estabelecem uma sequência exata análoga à conjectura de pureza de Grothendieck para variedades de Stein:
  $$0 \to Br(O(S)) \to Br(M(S)) \xrightarrow{res_D} \bigoplus_D H^1_{ét}(Spec(M(D)), \mathbb{Q}/\mathbb{Z})$$
  onde $M(S)$ é o anel de funções meromorfas e $D$ percorre os subconjuntos analíticos irredutíveis de codimensão 1.

D. Índice e Período (Teoremas 1.9, 1.10, 1.11)

• Cálculo Topológico do Índice: O índice de uma classe $\alpha \in Br(O(S))$ (o máximo divisor comum dos graus das álgebras de Azumaya que a representam) é igual ao índice de sua imagem topológica.
• Índice sobre $O(S)$ vs. $M(S)$: Para uma variedade de Stein conexa $S$, o índice de uma classe $\alpha$ é igual ao índice de sua imagem no grupo de Brauer do corpo de funções meromorfas $Br(M(S))$.
• Não Coincidência Período-Índice: O artigo constrói um exemplo de uma variedade de Stein $S$ e uma classe $\alpha$ na imagem de $Br(O(S)) \to Br(M(S))$ tal que o índice não é igual ao período ($ind(\alpha) \neq per(\alpha)$). Isso demonstra que, mesmo em geometria de Stein, a conjectura período-índice (que prevê divisibilidade) pode falhar na igualdade estrita, utilizando obstruções topológicas.

4. Significado e Impacto

• Ponte entre Áreas: O trabalho estabelece uma ponte robusta entre a álgebra comutativa de anéis de funções holomorfas (que são difíceis de tratar algebricamente devido à falta de noetherianidade) e a topologia algébrica.
• Resolução de Questões Abertas: Responde positivamente à questão de se a cohomologia étale em grau 2 com coeficientes finitos coincide com a cohomologia singular para espaços de Stein, algo que era conhecido apenas para graus 0 e 1.
• Limitações da Geometria Analítica: Demonstra que, diferentemente do caso algébrico onde a pureza e a sobrejetividade de certos morfismos de cohomologia podem ser esperadas sob certas condições, a geometria de Stein apresenta fenômenos específicos (como a presença de classes não-torção em $H^2(S, \mathcal{O}_S^\times)$) que impedem isomorfismos completos com a cohomologia étale.
• Novos Exemplos: Fornece os primeiros exemplos explícitos de classes no grupo de Brauer de álgebras de Stein onde o período e o índice diferem, desafiando intuições baseadas em variedades projetivas suaves de baixa dimensão.

Em suma, o artigo prova que, para álgebras de Stein de dimensão finita, a estrutura algébrica do grupo de Brauer é totalmente governada pela topologia do espaço subjacente, permitindo o uso de ferramentas topológicas poderosas para resolver problemas algébricos complexos.