Symmetric Differentials on K3 Surfaces

Resumen Técnico: Diferenciales Simétricas en Superficies K3

Planteamiento del Problema
El artículo aborda la clasificación de las diferenciales simétricas globales en superficies K3 sobre un cuerpo algebraicamente cerrado $k$ de característica arbitraria $p \ge 0$. Específicamente, busca determinar la dimensión de los espacios vectoriales $H^0(X, \text{Sym}^n \Omega^1_X)$ para $n \ge 1$. Si bien la desaparición de estos espacios es un teorema conocido para superficies K3 en característica cero (debido a Kobayashi, derivado de métodos trascendentales, y recientemente probado algebraicamente por Ciliberto–Gounelas), el comportamiento de estos en característica positiva $p > 0$ permanecía abierto. Los autores pretenden calcular estos espacios para todas las características y relacionar la existencia de estas diferenciales con la geometría biracional del haz de cotangentes proyectivizado $P(\Omega^1_X)$.

Metodología
La demostración se divide en dos fases primarias: establecer la necesidad de la uniruledad para la existencia de diferenciales simétricas y, posteriormente, analizar los casos específicos de superficies K3 supersingulares mediante modelos proyectivos explícitos y teoría de redes (lattice theory).

1. De las Diferenciales Simétricas a la Uniruledad:

   • Divisores Espectrales: Una sección no nula $s \in H^0(X, \text{Sym}^n \Omega^1_X)$ define un divisor espectral $\Sigma_s$ en el haz de cotangentes proyectivizado $P(\Omega^1_X)$.
   • Semiestabilidad y Reducción: Asumiendo que $X$ no es uniruled, los autores utilizan la semiestabilidad de pendiente de los retro pullbacks de Frobenius de $\Omega^1_X$ (un resultado de Langer) para mostrar que un divisor espectral mínimo debe ser reducido, irreducible y horizontal.
   • Separabilidad y Extracción de Raíces: En característica $p > 0$, la forma binaria genérica que define el divisor espectral puede ser inseparable. Los autores construyen un proceso global de extracción de raíces $p$-ésimas (usando homomorfismos monomiales de Frobenius) para factorizar el grado $n = p^e \cdot m$ y producir una nueva sección $t$ con una forma binaria genérica separable e irreducible.
   • Recubrimientos Étale: Si $m \ge 2$, el recubrimiento espectral separable produce un recubrimiento étale, finito y conexo de $X$. Dado que las superficies K3 tienen un grupo fundamental étale trivial, tal recubrimiento no puede existir, lo que conduce a una contradicción a menos que $m=1$.
   • Campos Vectoriales Retorcidos por Frobenius: Si $m=1$, la sección $t$ corresponde a una sección global no nula de un pullback de Frobenius $(F^e_X)^* \Omega^1_X$. Los autores descartan esto utilizando la conexión de Cartier y un argumento de descenso, mostrando que tales secciones no pueden existir en superficies K3 no uniruled.
   • Conclusión: Por lo tanto, cualquier superficie K3 que admita una diferencial simétrica no nula debe ser uniruled y, en consecuencia, supersingular (Shioda-supersingular).

2. Análisis de Superficies K3 Supersingulares:

   • Modelos Cuárticos: Los autores extienden un teorema de Jang para mostrar que una superficie K3 supersingular es isomórfica a una superficie cuártica suave en $\mathbb{P}^3$ si y solo si $p \neq 2$ o ($p=2$ y el invariante de Artin $\sigma_0 \ge 3$).
   • Desaparición para Cuárticas: Demuestran que ninguna hipersuperficie suave de dimensión $\ge 2$ en espacio proyectivo admite diferenciales simétricas no nulas en ninguna característica. Esto establece la desaparición para todas las superficies K3 supersingulares excepto aquellas con $p=2$ y $\sigma_0 \le 2$.
   • Característica Dos, $\sigma_0 = 2$: Para este caso, los autores utilizan una fibración cuasi-elíptica con fibras reducibles específicas (una $I^*_0$ y dieciséis de tipo III). Construyen una secuencia exacta corta $0 \to L \to \Omega^1_X \to L^{-1} \to 0$ donde $L^2 = -24$. Al analizar la clase de extensión bajo pullbacks de Frobenius iterados en una curva racional dentro de la fibración, prueban que la extensión no es partida (non-split) y que ningún potencia simétrica de $\Omega^1_X$ posee secciones globales.
   • Característica Dos, $\sigma_0 = 1$: Esta superficie única se realiza como una intersección completa suave de bidegrados $(1,2)$ y $(2,1)$ en $\mathbb{P}^2 \times \mathbb{P}^2$ (Dolgachev–Kondô). Aquí, el haz cotangente se descompone como $\Omega^1_X \cong L \oplus L^{-1}$. Los autores computan las potencias simétricas explícitamente, hallando que $\dim_k H^0(X, \text{Sym}^n \Omega^1_X)$ es uno para $n$ par y cero para $n$ impar.

Contribuciones Clave y Resultados

• Teorema 1.1: Una superficie K3 $X$ sobre un cuerpo algebraicamente cerrado admite una diferencial simétrica global no nula de grado positivo si y solo si la característica es $p=2$ y $X$ es supersingular con invariante de Artin $\sigma_0 = 1$. En este caso excepcional, $\dim_k H^0(X, \text{Sym}^n \Omega^1_X) = 1$ para $n$ par y $0$ para $n$ impar.
• Teorema 1.3: Un fortalecimiento del teorema de Jang que caracteriza cuándo una superficie K3 supersingular es isomórfica a una cuártica suave en $\mathbb{P}^3$: esto ocurre si y solo si $p \ge 3$ o ($p=2$ y $\sigma_0 \ge 3$).
• Pseudoefectividad: El artículo establece que la clase tautológica de $P(\Omega^1_X)$ es pseudoefectiva si y solo si $p=2$ y $\sigma_0 = 1$.
• Superficies Enriques: Los resultados implican que para las superficies Enriques, las diferenciales simétricas desaparecen a menos que $p=2$ y la superficie sea "excepcional" (no ordinaria), en cuyo caso son no nulas.

Significado y Reivindicaciones
Los autores afirman que su trabajo proporciona una clasificación completa de las diferenciales simétricas en superficies K3 en todas las características, resolviendo el caso de la característica positiva que era previamente desconocido. El artículo ofrece una nueva prueba algebraica para el caso de característica cero (desaparición) que evita los métodos trascendentales.

La significancia radica en la sensibilidad de las diferenciales simétricas como un invariante: distinguen entre diferentes tipos de superficies de dimensión de Kodaira cero (separando superficies abelianas/bielípticas de K3/Enriques) y, dentro de la familia K3, distinguen entre el caso supersingular genérico y el caso único de $\sigma_0=1$ en característica dos. Los autores señalan que sus hallazgos sugieren que la construcción de Church de superficies supersingulares no uniracionales usando diferenciales simétricas no puede aplicarse a superficies K3, ya que las únicas superficies K3 con tales diferenciales son uniracionales (siendo $\sigma_0=1$ en char 2).

La metodología se describe como "a mano" para los casos excepcionales, apoyándose en modelos proyectivos explícitos, criterios de teoría de redes y la interacción entre fibraciones cuasi-elípticas y pullbacks de Frobenius, en lugar de una teoría de módulos general. El artículo también destaca la utilidad del discriminante universal de formas binarias (definido sobre $\mathbb{Z}$) para controlar la étalidad de los recubrimientos espectrales en una característica arbitraria.