Grupos de Brauer de ciertas superficies cúbicas afines

Información Básica

• ID del artículo: 2509.16042
• Título: Brauer groups of certain affine cubic surfaces
• Autor: Abdulmuhsin Alfaraj (University of Bath)
• Clasificación: math.AG (Geometría Algebraica), math.NT (Teoría de Números)
• Fecha de publicación: Octubre de 2025 (arXiv v2)
• Enlace del artículo: https://arxiv.org/abs/2509.16042v2

Resumen

Este artículo estudia el grupo de Brauer de superficies afines que son complementos de secciones hiperplanas singulares en superficies cúbicas suaves sobre campos $k$ de característica 0. El autor determina la estructura del grupo de Brauer sobre la clausura algebraica como módulo de Galois para todos los casos posibles de secciones hiperplanas singulares. Para el caso en que la sección hiperplana es geométricamente la unión de tres rectas, se proporcionan ejemplos explícitos de la existencia de elementos trascendentes de orden 2 y 3 sobre $\mathbb{Q}$. Finalmente, el artículo presenta aplicaciones de la obstrucción de Brauer-Manin íntegra al principio de Hasse íntegro.

Contexto de Investigación y Motivación

Antecedentes del Problema

1. Significado aritmético del grupo de Brauer: El grupo de Brauer es un objeto geométrico que contiene información aritmética abundante y es un invariante birracional para variedades suaves propias. En 1970, Manin utilizó exitosamente el grupo de Brauer para explicar el fracaso del principio de Hasse, inaugurando el estudio de la obstrucción de Brauer-Manin.
2. Desafíos computacionales: Determinar el grupo de Brauer, particularmente su parte trascendente, es típicamente un problema difícil. Para variedades no propias, el problema es más complejo—se espera que el grupo de Brauer sea más grande que el de cualquier compactificación suave.
3. Importancia de superficies log K3: Las superficies log K3 sobre cuerpos numéricos tienen significado aritmético especial. Se conjetura que la positividad de la clase anticanónica logarítmica de una variedad afín controla la abundancia de puntos enteros. Las superficies log K3 (donde la clase anticanónica es trivial) representan el caso límite y son de importancia fundamental.
4. Investigación existente:
   • Colliot-Thélène y Wittenberg estudiaron familias de superficies cúbicas diagonales (complementos de curvas de género 1 suaves)
   • Bright y Lyczak proporcionaron cotas uniformes para el tamaño del grupo de Brauer de complementos de divisores anticanónicos suaves en superficies de del Pezzo
   • La superficie de Markoff (unión de tres rectas racionales) fue estudiada por Colliot-Thélène et al. y por Loughran-Mitankin

Motivación de la Investigación

Este artículo estudia superficies que pueden incrustarse como complementos de divisores anticanónicos singulares en superficies cúbicas suaves, por las siguientes razones:

• Estas superficies son superficies log K3 abundantes, interesantes desde el punto de vista aritmético
• Desde la perspectiva geométrica, pueden poseer grupos de automorfismos infinitos discretos
• En el caso de la superficie de Markoff, el grupo de automorfismos combinado con la obstrucción de Brauer-Manin produce aplicaciones significativas

Contribuciones Principales

1. Teorema de clasificación completa: Se determina la estructura completa del grupo de Brauer $\text{Br}(U)$ como módulo de Galois $\Gamma_k = \text{Gal}(\bar{k}/k)$ para todos los casos posibles de secciones hiperplanas singulares (Teorema 1.1)
2. Existencia de grupo de Brauer trascendente: Para el caso de tres rectas geométricamente distintas, se proporciona una construcción explícita de la existencia de elementos trascendentes de orden 2 y 3 sobre $\mathbb{Q}$ (Teorema 1.2)
3. Aplicación de la obstrucción de Brauer-Manin íntegra: Para la ecuación $9x^3 + y^3 = z^2 + 3$, se prueba la existencia de una obstrucción de Brauer-Manin íntegra proveniente de un elemento de orden 3 (Teorema 1.3), respondiendo a una pregunta planteada por Grechuk en MathOverflow
4. Métodos computacionales: Se desarrolla un método sistemático para calcular el grupo de Brauer utilizando secuencias de Gysin, teoremas de pureza y cohomología de Galois

Explicación Detallada de Métodos

Definición de la Tarea

Dado un campo $k$ de característica 0, una superficie cúbica suave $X \subset \mathbb{P}^3$ y una sección hiperplana singular $H$, se calcula la estructura del grupo de Brauer $\text{Br}(U)$ como módulo de Galois de la superficie afín $U := X \setminus H$.

Marco Teórico

1. Estructura Estratificada del Grupo de Brauer

Para una $k$-variedad $X$, se define:

• $\text{Br}_0(X) = \text{im}[\text{Br}(k) \to \text{Br}(X)]$ (parte constante)
• $\text{Br}_1(X) = \ker[\text{Br}(X) \to \text{Br}(\bar{X})]$ (grupo de Brauer algebraico)
• $\text{Br}_a(X) := \text{Br}_1(X)/\text{Br}_0(X)$
• $\text{Br}(X)/\text{Br}_1(X)$ (grupo de Brauer trascendente)

2. Herramientas Técnicas Clave

Secuencia de Gysin (Lema 3.3): Para una $k$-variedad suave $X$ y un subesquema cerrado suave $Z$ de codimensión $c$, existe una sucesión exacta larga: $0 \to H^{2c-1}(X,\mu_n) \to H^{2c-1}(X \setminus Z, \mu_n) \to H^0(Z,\mathbb{Z}/n(-c)) \to H^{2c}(X,\mu_n) \to \cdots$

Semipu reza (Lema 3.4): Para un subesquema cerrado reducido $Z$ de codimensión 1 en todas partes (con puntos singulares de codimensión $\geq 2$), existe una sucesión análoga.

Dualidad de Poincaré y Teorema de Pureza Absoluta (Gabber): Conectan diferentes grupos de cohomología.

Estrategia de Cálculo

Primer Paso: Grupo de Brauer Algebraico

Se utiliza la sucesión exacta corta (Proposición 2.5): $0 \to \bigoplus_{i=1}^3 \mathbb{Z}[\ell_i] \to \text{Pic}(X) \to \text{Pic}(U) \to 0$

Se calcula $\text{Br}_a(U) \cong H^1(k, \text{Pic}(U))$ (Lema 2.4).

Mediante cálculos con Magma se obtienen todas las acciones de Galois posibles, resultando en finitos casos (Proposición 2.6).

Segundo Paso: Grupo de Brauer Global

De la sucesión de Kummer se obtiene el diagrama conmutativo (3.7):