Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture

Aquí presento un resumen técnico detallado del artículo "Finiteness of Pointed Families of Symplectic Varieties: A Geometric Shafarevich Conjecture" de Lie Fu, Zhiyuan Li, Teppei Takamatsu y Haitao Zou.

1. Planteamiento del Problema

El artículo aborda una versión geométrica y "no polarizada" de la conjetura de Shafarevich para variedades simplécticas primitivas (generalizaciones singulares de las variedades hiper-Kähler).

• Contexto: La conjetura original de Shafarevich (y su análogo geométrico) establece que, para una curva base $(B, 0)$ y una variedad fija $X$, existen solo un número finito de familias de variedades con fibra en 0 isomorfa a $X$, bajo ciertas condiciones de polarización y reducción buena.
• El Desafío (No Polarizado): Los autores investigan el problema sin asumir la existencia de una polarización de grado acotado. Esto introduce dos dificultades principales:
  1. No acotabilidad: El conjunto de tales familias no está parametrizado por un stack de móduli de tipo finito.
  2. No separación: El problema de móduli relevante es altamente no separado. De hecho, los autores demuestran que, si no se exige que las familias sean proyectivas, pueden existir infinitas familias no isomorfas que son isomorfas fuera del punto base y tienen fibras isomorfas en el punto base.

Objetivo: Determinar si el conjunto de clases de isomorfismo de fibras genéricas (y de familias proyectivas) es finito bajo estas condiciones más débiles.

2. Metodología y Herramientas Técnicas

La estrategia de prueba combina teoría de Hodge, geometría biracional y teoría de móduli, adaptando técnicas aritméticas al contexto geométrico.

A. Estructura de las Variedades Simplécticas Primitivas

• Se trabaja con variedades normales $X$ que tienen singularidades racionales y, específicamente, singularidades terminales y $Q$-factoriales.
• Se utiliza el Teorema de Local Torelli y el mapa de periodo para variedades simplécticas primitivas, que es un isomorfismo local entre el espacio de deformaciones locales triviales y el dominio de periodo.
• Se establece la existencia de resoluciones simultáneas de singularidades para familias localmente triviales, lo que permite reducir el estudio de variedades singulares al caso suave en muchos aspectos.

B. Conjetura del Cono de Kawamata-Morrison

• Un pilar central es la aplicación de la conjetura del cono (Kawamata-Morrison) para variedades simplécticas primitivas sobre cuerpos no algebraicamente cerrados.
• Los autores prueban que, para variedades con $b_2 \geq 5$, el cono nef efectivo y el cono movible efectivo admiten dominios fundamentales poliédricos racionales bajo la acción de los grupos de automorfismos y pseudo-automorfismos.
• Esto implica la finitud de modelos biracionales y modificaciones $Q$-factoriales pequeñas.

C. Construcción Uniforme de Kuga-Satake (El "Truco de Zarhin")

• Para superar la falta de polarización global, los autores emplean una construcción de Kuga-Satake uniforme.
• Asocian a cada familia simpléctica una familia de variedades abelianas polarizadas.
• Innovación clave: Demuestran que, aunque las familias simplécticas no están polarizadas uniformemente, las variedades abelianas de Kuga-Satake asociadas a las fibras genéricas pertenecen a un conjunto finito de clases de isomorfismo. Esto se logra mediante la finitud de las incrustaciones de retículos (lattice embeddings) y el uso de un recubrimiento étale finito uniforme que no depende de la familia específica.

D. Teoría de Módulos y Hiperbolicidad Geométrica

• Construyen un stack de móduli $\mathcal{M}_{2n,d}$ para familias localmente triviales polarizadas.
• Demuestran que este stack es de tipo finito, separado y de Deligne-Mumford.
• Utilizan la hiperbolicidad geométrica de estos espacios de móduli (a través de la finitud de aplicaciones al espacio de periodo) para acotar el número de familias polarizadas.

3. Resultados Principales

Teorema 1.1: Finitud de las Fibras Genéricas

Sea $(B, 0)$ una curva suave conectada y $X$ una variedad simpléctica primitiva $Q$-factorial y terminal.

• Si $b_2(X) \neq 4$, hay solo un número finito de clases de isomorfismo para las fibras genéricas de todas las familias localmente triviales con fibra en 0 isomorfa a $X$.
• Si $b_2(X) = 4$, la finitud se mantiene para familias no isotriviales.
• Nota: El caso $b_2=4$ es especial porque las deformaciones pueden ser triviales o tener un comportamiento diferente en el grupo de Picard.

Teorema 1.2: Finitud de Modelos Proyectivos

Bajo las mismas hipótesis, si se asume que todo divisor nef en una fibra muy general es semi-ampl (una condición conocida como conjetura SYZ para variedades hiper-Kähler), entonces el conjunto de familias proyectivas (hasta isomorfismo) es finito.

• Esta condición de semi-ampleza se sabe que se cumple para todos los tipos de deformación conocidos de variedades hiper-Kähler suaves.

Corolario 1.3: Aplicación a Tipos Conocidos

Si $X$ es suave y pertenece a uno de los tipos de deformación conocidos ($K3^{[n]}$, $Kum_n$, $OG6$, $OG10$), entonces el conjunto de familias proyectivas apuntadas es finito.

Contraejemplo (Proposición 6.2)

Los autores construyen un contraejemplo que demuestra la optimalidad de sus resultados:

• Existen infinitas familias de variedades hiper-Kähler suaves sobre una curva apuntada $(B, 0)$ que son todas isomorfas sobre $B \setminus \{0\}$ y tienen fibras isomorfas en 0, pero no son isomorfas como familias.
• Esto ocurre porque las familias no son proyectivas. Esto subraya que la hipótesis de proyectividad (o semi-ampleza) en el Teorema 1.2 es esencial.

4. Contribuciones Clave

1. Generalización a Singularidades: Extienden los resultados de finitud de la conjetura de Shafarevich (anteriormente probada para variedades suaves) al caso de variedades simplécticas primitivas con singularidades terminales y $Q$-factoriales.
2. Resolución de la No-Polarización: Desarrollan una técnica robusta (Kuga-Satake uniforme) para manejar familias que no poseen una polarización global de grado acotado, reduciendo el problema a la finitud de familias polarizadas en un stack de móduli.
3. Conjetura del Cono en Contexto Relativo: Establecen y utilizan la conjetura del cono de Kawamata-Morrison sobre cuerpos no algebraicamente cerrados para variedades singulares, lo cual es crucial para controlar las clases de isomorfismo biracional y las modificaciones pequeñas.
4. Teorema de Matsusaka-Mumford para Singularidades: Demuestran una versión del teorema de Matsusaka-Mumford para familias localmente triviales de variedades simplécticas singulares, asegurando que las isomorfismos genéricos se extienden a isomorfismos globales bajo compatibilidad de polarización.

5. Significado e Impacto

Este trabajo representa un avance significativo en la geometría aritmética y la teoría de variedades hiper-Kähler:

• Validación de la Conjetura de Lang-Vojta: Proporciona evidencia fuerte para la conjetura de Lang-Vojta en el contexto de variedades no polarizadas y singulares, conectando la hiperbolicidad aritmética con la geométrica.
• Límites de la Finitud: Clarifica las condiciones bajo las cuales la finitud de familias se mantiene. La distinción entre familias proyectivas (finitas) y no proyectivas (potencialmente infinitas) es fundamental para entender la estructura de los espacios de móduli de variedades de Calabi-Yau y hiper-Kähler.
• Herramientas para Futuras Investigaciones: Las técnicas desarrolladas, especialmente la construcción uniforme de Kuga-Satake para familias singulares y el manejo de la conjetura del cono en contextos relativos, son herramientas poderosas que probablemente se aplicarán a otros problemas de finitud en geometría algebraica.

En resumen, el artículo demuestra que, a pesar de la falta de polarización y la presencia de singularidades, la rigidez de las variedades simplécticas primitivas es suficiente para garantizar la finitud de sus familias proyectivas y de sus fibras genéricas, siempre que se cumplan ciertas condiciones técnicas sobre la estructura de sus divisores nef.