The Brauer group of a Stein algebra

Aquí presento un resumen técnico detallado del artículo "The Brauer Group of a Stein Algebra" (El Grupo de Brauer de un Álgebra de Stein) de Olivier Benoist y James Hotchkiss, estructurado según los puntos solicitados.

1. El Problema y el Contexto

El artículo aborda la relación entre la geometría algebraica y la geometría analítica compleja, específicamente centrado en las variedades de Stein (análogos complejos de las variedades afines algebraicas) y sus álgebras de Stein ($O(S)$, el anillo de funciones holomorfas sobre un espacio de Stein $S$).

El problema central es comprender las propiedades algebraicas del anillo $O(S)$, que a menudo son complejas (no son noetherianas), a través de la topología y la geometría del espacio subyacente $S$. El foco específico es el Grupo de Brauer $Br(O(S))$, definido mediante clases de equivalencia de Morita de álgebras de Azumaya sobre el anillo.

Las preguntas clave que motivan la investigación son:

• ¿Cómo se relaciona el grupo de Brauer algebraico $Br(O(S))$ con los grupos de Brauer topológico y analítico asociados a $S$?
• ¿Existe una comparación isomórfica entre la cohomología étale de $Spec(O(S))$ y la cohomología singular de $S$ en grados bajos?
• ¿Se cumple una "pureza" para el grupo de Brauer en el contexto de Stein (análogo a la conjetura de pureza de Grothendieck)?
• ¿Coinciden el periodo y el índice de las clases en el grupo de Brauer de Stein, o existen contraejemplos?

2. Metodología

Los autores emplean una estrategia híbrida que combina herramientas de:

• Geometría Analítica Compleja: Uso del principio de Oka de Grauert para relacionar haces holomorfos y topológicos.
• Geometría Algebraica y Cohomología Étale: Utilización de secuencias exactas de Kummer, cohomología de haces y teoría de gerbes.
• Topología Algebraica: Cálculo de grupos de cohomología singular y uso de complejos CW.
• Teoría de Haces Torcidos (Twisted Sheaves): Aplicación de la teoría desarrollada por de Jong y Lieblich para estudiar clases de cohomología no torsión.
• K-teoría Topológica Torcida: Uso de la teoría de K-teoría desarrollada por Donovan, Karoubi, Atiyah y Segal para calcular índices.

La metodología principal consiste en construir puentes entre tres mundos:

1. El mundo algebraico ($O(S)$ y $Spec(O(S))$).
2. El mundo analítico ($S$ con su haz de funciones holomorfas $O_S$).
3. El mundo topológico ($S$ con su haz de funciones continuas $C_S$).

3. Contribuciones Clave y Resultados Principales

A. Isomorfismo Topológico del Grupo de Brauer (Teoremas 1.1, 1.2, 1.3)

El resultado fundamental es que el grupo de Brauer de un álgebra de Stein es puramente topológico.

• Teorema 1.1: Para cualquier espacio de Stein de dimensión finita $S$, el morfismo natural $Br(O(S)) \to Br_{top}(S)$ es un isomorfismo.
• Teorema 1.2: Se extiende el cálculo clásico de Serre, demostrando que para un complejo CW de dimensión finita $T$, $Br_{top}(T) \cong H^3(T, \mathbb{Z})_{tors}$.
• Teorema 1.3: Combinando los anteriores, se obtiene un isomorfismo puramente topológico:
  $$Br(O(S)) \cong H^3(S, \mathbb{Z})_{tors}$$
  Esto permite calcular invariantes algebraicos complejos usando únicamente la topología de $S$.

B. Comparación de Cohomología en Grado 2 (Teoremas 1.4, 1.5)

Los autores estudian los morfismos de comparación entre la cohomología étale de $Spec(O(S))$ y la cohomología singular de $S$.

• Teorema 1.4: Para cualquier $n \ge 1$, el morfismo $H^2_{ét}(Spec(O(S)), \mathbb{Z}/n) \to H^2(S, \mathbb{Z}/n)$ es un isomorfismo.
• Teorema 1.5: El morfismo con coeficientes invertibles $H^2_{ét}(Spec(O(S)), \mathbb{G}_m) \to H^2(S, O_S^\times)$ es inyectivo, pero no es sobreyectivo en general.
  • Significado: La inyectividad se prueba utilizando álgebras centrales separables (más generales que las de Azumaya). La falta de sobreyectividad se debe a que el lado izquierdo es un grupo de torsión (si $S$ es una variedad), mientras que el lado derecho puede contener clases no torsión (ej. $H^3(S, \mathbb{Z})$).

C. El Caso de Espacios Factoriales y Pureza (Teoremas 1.6, 1.7, 1.8)

• Teorema 1.6: Si $S$ es localmente factorial (e.g., una variedad suave), el grupo de Brauer $Br(O(S))$ coincide con todo el grupo de cohomología $H^2_{ét}(Spec(O(S)), \mathbb{G}_m)$.
• Teorema 1.7 (Inyectividad): Se prueba la inyectividad del morfismo $H^2_{ét}(Spec(O(S)), \mathbb{G}_m) \to H^2_{ét}(Spec(M(S)), \mathbb{G}_m)$, donde $M(S)$ es el cuerpo de funciones meromorfas. Esto es análogo a un resultado de Grothendieck para anillos noetherianos.
• Teorema 1.8 (Pureza): Se establece una secuencia exacta de pureza para variedades de Stein:
  $$0 \to Br(O(S)) \to Br(M(S)) \xrightarrow{\text{res}_D} \prod_{D} H^1_{ét}(Spec(M(D)), \mathbb{Q}/\mathbb{Z})$$
  donde $D$ recorre los subconjuntos analíticos irreducibles de codimensión 1. Esto recupera el grupo de Brauer de las funciones holomorfas dentro del grupo de las meromorfas mediante condiciones de residuos.

D. Periodo e Índice (Teoremas 1.9, 1.10, 1.11)

El artículo investiga la relación entre el periodo (orden en el grupo de torsión) y el índice (máximo común divisor de los grados de las álgebras de Azumaya que representan la clase).

• Teorema 1.9 y 1.10: El índice de una clase $\alpha \in Br(O(S))$ coincide con su índice topológico y con su índice en el cuerpo de funciones meromorfas $M(S)$.
• Teorema 1.11 (Contraejemplo): A diferencia de la conjetura de periodo-índice en ciertas dimensiones algebraicas, los autores demuestran que existen variedades de Stein $S$ y clases $\alpha$ en la imagen de $Br(O(S)) \to Br(M(S))$ tales que $\text{ind}(\alpha) \neq \text{per}(\alpha)$.
  • Método: Utilizan la obstrucción topológica del problema periodo-índice (estudiado por Antieau y Williams) y la correspondencia topológica del grupo de Brauer para construir un ejemplo donde el índice es estrictamente mayor que el periodo.

4. Significado e Impacto

1. Unificación de Campos: El trabajo establece un puente sólido entre la teoría de anillos noetherianos (álgebra conmutativa), la geometría analítica compleja y la topología algebraica. Demuestra que, para álgebras de Stein, la estructura algebraica del grupo de Brauer está completamente determinada por la topología del espacio.
2. Resolución de Problemas Abiertos: Responde afirmativamente a la pregunta sobre la isomorfía de la cohomología en grado 2 con coeficientes finitos (Teorema 1.4), un problema abierto previamente mencionado en la literatura.
3. Refinamiento de la Teoría de Brauer: Al utilizar álgebras centrales separables (no necesariamente unital o de Azumaya estrictas), los autores logran resultados de inyectividad que fallarían si se restringieran solo a álgebras de Azumaya, revelando la estructura de torsión y no torsión de la cohomología étale en este contexto.
4. Contraejemplos a Conjeturas: El Teorema 1.11 es significativo porque muestra que, incluso en el contexto "bueno" de las variedades de Stein (que son análogos a variedades afines), la relación entre periodo e índice puede ser más compleja que en el caso de curvas o superficies, y que las técnicas de valuación algebraica clásicas no son suficientes para controlar el índice en este ámbito.
5. Herramientas Nuevas: La aplicación de haces torcidos y K-teoría torcida en el contexto de Stein proporciona nuevas herramientas metodológicas para estudiar invariantes algebraicos en espacios analíticos.

En resumen, el artículo transforma el estudio del grupo de Brauer de álgebras de Stein de un problema puramente algebraico (difícil debido a la falta de noetherianidad) en un problema topológico computable, mientras que al mismo tiempo revela sutilezas profundas sobre la relación entre funciones holomorfas y meromorfas que no tienen análogo directo en la geometría algebraica clásica.