Cubic surfaces failing the integral Hasse principle

Resumen Técnico: Superficies Cúbicas que Fallan el Principio de Hasse Integral

Planteamiento del Problema
Este artículo investiga la aritmética de las superficies cúbicas diagonales afines definidas sobre $\mathbb{Q}$ mediante la ecuación:
$$U : a_1 u_1^3 + a_2 u_2^3 + a_3 u_3^3 = a_0$$
donde $a_i \in \mathbb{Z} \setminus \{0\}$ y $\gcd(a_1, a_2, a_3) = 1$. El problema central es la validez del principio de Hasse integral para estas superficies. Si bien la solubilidad local (existencia de puntos en $\mathbb{R}$ y $\mathbb{Z}_p$ para todas las primitivas $p$) es una condición necesaria para la existencia de puntos integrales globales ($U(\mathbb{Z}) \neq \emptyset$), no siempre es suficiente. Los autores abordan específicamente el vacío en la literatura sobre si los principios locales-globales se cumplen para puntos integrales en superficies cúbicas diagonales, un escenario donde el problema de la "suma de tres cubos" ($a_1=a_2=a_3=1$) es un caso especial famoso. Antes de este trabajo, no se conocían contraejemplos al principio de Hasse integral para superficies cúbicas afines diagonales, debido principalmente a que los grupos de Brauer de estas superficies no se comprendían plenamente en tal generalidad.

Metodología
Los autores emplean la obstrucción de Brauer–Manin integral, una herramienta desarrollada por Colliot-Thélène y Xu, para estudiar el fallo de los principios locales-globales. La metodología procede en tres etapas:

1. Cálculo del Grupo de Brauer: Los autores determinan primero las partes algebraica y trascendental del grupo de Brauer $\text{Br}(U)$ para la superficie cúbica afín diagonal general. Relacionan $\text{Br}(U)$ con el grupo de Brauer de su compactificación suave $X$. Un logro técnico clave es el cálculo completo de $\text{Br}(U)$ módulo constantes, identificando las condiciones bajo las cuales el grupo contiene un factor $\mathbb{Z}/2\mathbb{Z}$ (parte trascendental) además de la parte algebraica.
2. Análisis de Invariantes Locales: Utilizando símbolos de Hilbert y generadores explícitos para el grupo de Brauer (derivados de álgebras cíclicas), los autores computan los mapas de invariantes locales $\text{inv}_v: U(\mathbb{Z}_v) \to \mathbb{Q}/\mathbb{Z}$. Establecen condiciones suficientes (Proposiciones 4.2 y 4.3) bajo las cuales estos mapas son sobreyectivos, lo que implica la ausencia de una obstrucción de Brauer–Manin para configuraciones aritméticas específicas.
3. Conteo y Construcción: El artículo utiliza la teoría analítica de números (específicamente el método de Landau-Selberg-Delange y cotas sobre sumas de divisores) para contar la frecuencia de las superficies que fallan el principio de Hasse integral. Construyen dos familias distintas de contraejemplos infinitos:
   • Sección 6: Una familia donde se utilizan elementos de Brauer explícitos para demostrar obstrucciones.
   • Sección 8: Una familia donde las obstrucciones se prueban sin requerir representantes explícitos de elementos de Brauer, basándose en cambio en las propiedades de los mapas de invariantes y la existencia de puntos racionales en la compactificación.

Contribuciones Clave y Resultados

• Primeros Contraejemplos: El artículo proporciona los primeros ejemplos conocidos de superficies cúbicas afines diagonales donde el principio de Hasse integral falla. Específicamente, construyen superficies donde $U(\mathbb{A}_{\mathbb{Z}}) \neq \emptyset$ (solubilidad local en todas partes) pero $U(\mathbb{Z}) = \emptyset$, y este fallo es explicado por la obstrucción de Brauer–Manin integral ($U(\mathbb{A}_{\mathbb{Z}})_{\text{Br}} = \emptyset$).
• Teorema 1.1 (Estructura del Grupo de Brauer): Los autores prueban que la parte algebraica de $\text{Br}(U)$ es isomórfica a $\text{Br}(X)$. Además, muestran que $\text{Br}(U)$ contiene un factor adicional de $\mathbb{Z}/2\mathbb{Z}$ si y solo si $a_1 a_2 a_3 \equiv 2 \pmod{\mathbb{Q}^{*3}}$. Esto generaliza resultados previos conocidos solo para subfamilias específicas.
• Cotas Cuantitativas (Teoremas 1.2–1.4): El artículo cuantifica la rareza de estos fallos a través de tres familias de conteo naturales:
  • Coeficientes fijos ($a_1, a_2, a_3$), variando $a_0$: Los fallos son extremadamente raros, acotados por $O(B^{1/3})$. Para casos específicos como $(1,1,1)$ y $(1,1,2)$, el conteo es cero.
  • $a_0$ fijo, variando coeficientes: Los fallos están acotados por $O(B^{3/2})$.
  • Variando todos los coeficientes: El número de superficies que fallan el principio de Hasse integral, $N(B)$, satisface $B^2 / \log B \ll N(B) \ll B^2 (\log B)^6$.
• Aproximación Fuerte Integral: Los autores también cuentan superficies que satisfacen la aproximación fuerte integral fuera de $\infty$. Muestran que, mientras los fallos de Hasse son raros en familias de coeficientes fijos, el conjunto de superficies que satisfacen la aproximación fuerte también está constreñido, proporcionándose límites superiores para el número de tales superficies.
• Distinción de Puntos Racionales: Los contraejemplos construidos son no triviales; las superficies poseen puntos racionales ($U(\mathbb{Q}) \neq \emptyset$), lo que significa que el fallo del principio de Hasse integral no es una consecuencia del fallo del principio de Hasse para puntos racionales.

Significancia
El artículo reclama significancia principalmente por romper una barrera de larga data en la aritmética de las superficies cúbicas. Antes de este trabajo, la falta de una comprensión general de los grupos de Brauer para las superficies cúbicas afines diagonales impedía la construcción de fallos de Hasse integral en este entorno. Al computar estos grupos y proporcionar familias infinitas explícitas de contraejemplos, los autores demuestran que el principio de Hasse integral no se cumple universalmente para superficies cúbicas diagonales.

Además, el trabajo contribuye al estudio cuantitativo de las propiedades aritméticas en familias. Establece que, si bien los fallos de Hasse integral existen, son escasos en familias donde los coeficientes son fijos, pero se vuelven más prevalentes (aunque siguen siendo un subconjunto de densidad menor) cuando se permite variar todos los coeficientes. El artículo también destaca la utilidad de la obstrucción de Brauer–Manin integral para explicar fallos de la aproximación fuerte fuera de $\infty$, un fenómeno distinto del fallo del principio de Hasse en sí mismo.

Los autores señalan que su enfoque en la Sección 8, que evita la necesidad de representantes de Brauer explícitos, ofrece un método robusto para identificar obstrucciones en casos donde dichos representantes son difíciles de computar, siendo potencialmente aplicable a otras superficies K3 logarítmicas y superficies del Pezzo afines.