Hasse principle for intersections of two quadrics via Kummer surfaces

Resumen Técnico: El Principio de Hasse para Intersecciones de Dos Cuádricas mediante Superficies de Kummer

Planteamiento del Problema
El artículo aborda el principio de Hasse para intersecciones completas suaves de dos cuádricas en el espacio proyectivo $\mathbb{P}^n_k$ (donde $n \ge 5$) y, más específicamente, para superficies de del Pezzo de grado 4 (intersecciones suaves de dos cuádricas en $\mathbb{P}^4_k$). Si bien el principio de Hasse es conocido para fibraciones de cónicas y superficies de del Pezzo de grado $>4$, el caso de las superficies de del Pezzo de grado 4 que carecen de una fibración de cónicas sigue siendo un problema abierto significativo. Los resultados condicionales previos dependían de la finitud del grupo de Tate–Shafarevich de las curvas elípticas combinada con la Hipótesis de Schinzel (H). Este trabajo busca establecer el principio de Hasse para estas superficies bajo el supuesto de la finitud de la torsión 2-primaria de los grupos de Tate–Shafarevich de los jacobianos de curvas de género 2, sin invocar la Hipótesis de Schinzel.

Metodología
Los autores emplean una estrategia de reducción geométrica que conecta las superficies de del Pezzo de grado 4 con superficies de Kummer asociadas a 2-recubrimientos de jacobianos de curvas de género 2.

1. Construcción Geométrica: La innovación central es una nueva construcción geométrica que establece una equivalencia biracional estable entre una superficie de del Pezzo de grado 4 $X$ y un tríptico $Z$ fibrado sobre $\mathbb{P}^1_k$. Los haces de la fibración son superficies de Kummer. Específicamente, se muestra que el haz tangente proyectivizado de $X$ es biracionalmente equivalente a una familia de superficies de Kummer. Esta familia surge del jacobiano relativo de una curva de género 2 definida por $y^2 = (x-t)P(x)$, donde $P(t)$ es el polinomio característico del haz de cuádricas que define a $X$.
2. Teorema de Fibración para Ciclos de Dimensión Cero: Los autores aplican el teorema de fibración para ciclos de dimensión cero de Harpaz y Wittenberg [HW16]. Esto les permite deducir la existencia de un punto racional en $X$ (sobre un cuerpo numérico $k$) a partir de la existencia de puntos racionales en los haces de la fibración de Kummer, siempre que se cumplan ciertas condiciones locales.
3. Condiciones Locales y Descenso: La prueba se basa en la construcción de "condiciones locales admisibles" para el parámetro $b$ de la curva de género 2. Estas condiciones aseguran que la superficie de Kummer correspondiente tenga puntos sobre cuerpos locales. Los autores utilizan la teoría de grupos de Selmer 2 en familias de giros cuadráticos de jacobianos. Al analizar la variación de la dimensión del grupo de Selmer 2 y el apareamiento de Cassels–Tate bajo giros cuadráticos, demuestran que es posible encontrar un giro donde la obstrucción al principio de Hasse desaparece.
4. Análisis del Grupo de Galois: La prueba distingue casos basados en el grupo de Galois del polinomio característico $P(t)$ (específicamente $S_5, A_5, F_{20}, D_{10},$ y $\mathbb{Z}/5$). Para cada caso, los autores construyen extensiones cuadráticas específicas y condiciones locales para controlar la paridad de la dimensión del grupo de Selmer, asegurando que el 2-recubrimiento relevante tenga un punto racional.

Contribuciones Clave y Resultados

• Teorema A (Resultado Principal): Sea $k$ un cuerpo numérico. Suponiendo que para toda curva de género 2 sobre todo cuerpo de extensión finita de $k$, el subgrupo de torsión 2-primaria del grupo de Tate–Shafarevich de su jacobiano es finito, entonces las superficies de del Pezzo de grado 4 $X$ sobre $k$ satisfacen el principio de Hasse si:
  • El polinomio característico $P(t)$ es irreducible; O
  • $P(t)$ es completamente descompuesto y el mapa natural $Br(k) \to Br(X)$ es sobreyectivo (es decir, $X$ tiene un grupo de Brauer trivial).
• Teorema B (Corolario): Bajo el mismo supuesto de finitud, las intersecciones completas suaves de dos cuádricas en $\mathbb{P}^n_k$ para $n \ge 5$ satisfacen el principio de Hasse.
• Reducción a Superficies de Kummer: El artículo demuestra que el principio de Hasse con obstrucción de Brauer–Manin para $X$ se deduce del principio de Hasse con obstrucción algebraica de Brauer–Manin para superficies de Kummer específicas definidas sobre extensiones finitas de $k$ de grado impar.
• Manejo del Caso Irreducible: Para el caso en que $P(t)$ es irreducible, los autores extienden técnicas de trabajos previos (HS16, Har19, Mor25) para probar el principio de Hasse para las superficies de Kummer relevantes. Esto implica un análisis detallado del grupo de Selmer 2 en familias de giros cuadráticos y el apareamiento de Cassels–Tate, particularmente para los grupos de Galois $S_5, A_5, F_{20}$ y $D_{10}$.
• Manejo del Caso Descompuesto: Para el caso completamente descompuesto, los autores se apoyan en el resultado de Harpaz [Har19] que establece que la obstrucción de Brauer–Manin algebraica es la única obstrucción para las superficies de Kummer relevantes bajo las condiciones locales dadas.

Significancia y Reivindicaciones
El artículo afirma proporcionar nuevos casos condicionales para el principio de Hasse para superficies de del Pezzo de grado 4 e intersecciones de dos cuádricas de mayor dimensión. Su significancia principal radica en:

• Eliminación de la Hipótesis de Schinzel: A diferencia de los resultados condicionales anteriores de Wittenberg [Wit07], este trabajo no requiere la Hipótesis de Schinzel (H). En su lugar, depende únicamente de la finitud de los grupos de Tate–Shafarevich de los jacobianos de curvas de género 2, una conjetura considerada más accesible en el contexto de las variedades abelianas que los valores primos de los polinomios.
• Innovación Geométrica: La construcción de la fibración de Kummer sobre el haz tangente proyectivizado de la superficie de del Pezzo se presenta como una nueva idea geométrica que facilita la reducción del problema a superficies de Kummer.
• Alcance: Aunque el teorema principal se establece para superficies con grupos de Brauer triviales, los autores señalan que su método es aplicable a arbitrarias superficies de del Pezzo de grado 4, quedando los casos con grupos de Brauer no triviales para ser abordados en trabajos futuros.

Los autores declaran explícitamente que sus resultados son condicionales a la finitud de los grupos de Tate–Shafarevich relevantes, en consonancia con el estado actual del arte para tales problemas que involucran variedades abelianas. No pretenden presentar resultados incondicionales, sino que avanzan la teoría condicional desplazando la dependencia de las curvas elípticas y la Hipótesis de Schinzel hacia los jacobianos de género 2.