$E_6$-local systems from cubic threefolds

Resumen Técnico: Sistemas Locales $E_6$ a partir de Tresfolds Cúbicos

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la teoría de motivos y la geometría algebraica: ¿Es posible realizar cada grupo excepcional simple como el grupo de monodromía algebraica de un sistema local de origen geométrico sobre una variedad compleja suave?

• Contexto: Serre planteó originalmente la existencia de motivos sobre cuerpos de números con grupos de Galois excepcionales ($G_2, E_8$, etc.). Se sabía que todos los grupos excepcionales simples aparecían como grupos de Galois de motivos (interpretados como grupos de monodromía $\ell$-ádica o grupos de Mumford-Tate).
• La Brecha: Constructions previas habían logrado sistemas locales de origen geométrico para $G_2, E_7, E_8$ y $F_4$. Sin embargo, el caso de $E_6$ permanecía abierto en el contexto de sistemas locales de origen geométrico (no provenientes de variedades de Shimura de manera directa).
• Objetivo: Construir infinitos sistemas locales de origen geométrico cuyo grupo de monodromía algebraica sea exactamente el grupo excepcional $E_6$.

2. Metodología y Estrategia de Prueba

Los autores utilizan una combinación de geometría algebraica avanzada, teoría de Hodge y teoría de representaciones. La estrategia se divide en dos pasos principales:

A. La Construcción Geométrica:

1. Familia de Tresfolds Cúbicos: Consideran una familia versal $Y \to S$ de tresfolds cúbicos suaves ($Y \subset \mathbb{P}^4$).
2. Superficies de Fano: A cada tresfold cúbico $Y_s$ le asociamos su superficie de Fano $F_s$, que parametriza las líneas contenidas en $Y_s$. Esto define una familia de superficies $\pi: \mathcal{F} \to S$.
3. Cohomología Media: Construyen el sistema local $V$ en $S$ como la imagen directa superior de la cohomología de grado 2 de las superficies de Fano, torcida por un sistema local de rango uno $L$ (de orden finito $n$):
   $$V := R^2\pi_* L$$
4. Coberturas Étale: Utilizan recubrimientos étale abelianos de la familia de superficies de Fano para generar estos sistemas locales.

B. El Método de Reconstrucción (Técnica Clave):
Para determinar el grupo de monodromía, los autores desarrollan una técnica de reconstrucción functorial basada en la derivada del mapa de periodo.

• Idea Central: Demuestran que, bajo ciertas condiciones de generación global, el sistema local de rango uno $L$ (y por tanto la estructura de Hodge subyacente) puede recuperarse functorialmente a partir de la segunda derivada del mapa de periodo asociado a $V$.
• Divisor de Líneas de Segundo Tipo: Identifican un divisor $B \subset F$ (las líneas de "segundo tipo", donde el fibrado normal se descompone como $\mathcal{O}(1) \oplus \mathcal{O}(-1)$). Demuestran que la restricción de $L$ a este divisor $B$ puede reconstruirse a partir de la estructura de Higgs infinitesimal asociada a $V$.
• Consecuencia: Esta reconstrucción permite probar que el sistema local $V$ no es autodual y tiene una descomposición específica de sus componentes de Hodge, lo cual restringe fuertemente los posibles grupos de monodromía.

3. Resultados Principales

Teorema Principal:
Existe un entero $n_0 > 2$ tal que para cualquier familia versal de tresfolds cúbicos suaves $Y \to S$, y para cualquier sistema local $L$ de orden finito $n \geq n_0$ en la superficie de Fano:

1. El grupo de monodromía algebraica conexa $M^\circ_s$ de $V = R^2\pi_* L$ es isomorfo al grupo excepcional $E_6$.
2. La representación en el espacio vectorial $V_s$ (de dimensión 27) es una de las dos representaciones irreducibles de dimensión 27 de $E_6$.
3. El campo de traza invariante del sistema es el cuerpo ciclotómico $\mathbb{Q}(\zeta_n)$.

Resultados Técnicos Intermedios:

• Teorema de Reconstrucción (Sección 2): Establecen que si un sistema local de rango uno $L$ satisface condiciones de generación global en un divisor amplio $B$, entonces el sistema local $L|_B$ (y por extensión $L|_F$) queda determinado únicamente por la estructura de Higgs asociada a la cohomología relativa.
• Análisis de la Superficie de Fano (Sección 3):
  • Demuestran que para $L$ genérico en $\text{Pic}^0(F)$, el fibrado $L \otimes \omega_F$ es globalmente generado (Teorema 3.1).
  • Calculan el rango de la aplicación inducida por el producto cup en la cohomología de la superficie de Fano, demostrando que es 50 (Teorema 3.2). Esto implica que el divisor de líneas de segundo tipo es el lugar base de un sistema lineal específico.
• Exclusión de Subgrupos (Sección 4):
  • Sabiendo que $M^\circ \subseteq E_6$ (por resultados previos de Lawrence-Sawin y Krämer), el reto es probar que no es un subgrupo estricto.
  • Utilizan un análisis caso por caso de los subgrupos semisimples maximales de $E_6$ (tabla 1).
  • Demuestran que $V$ no es autodual (lo que descarta subgrupos donde la representación sería autodual).
  • Demuestran que $V$ contiene un subsistema simple de rango $\geq 13$. Combinando esto con las reglas de ramificación de las representaciones de $E_6$, descartan todos los subgrupos maximales posibles ($D_5, C_4, F_4, A_2 \times G_2$, etc.) porque ninguno admite una representación irreducible de rango $\geq 13$ que no fuerce al grupo de monodromía a ser trivial o incompatible con la estructura de $V$.

4. Contribuciones Clave

1. Resolución del Caso $E_6$: Cierran la brecha en la clasificación de grupos excepcionales como grupos de monodromía de sistemas locales de origen geométrico, proporcionando la primera construcción explícita para $E_6$ fuera del contexto de variedades de Shimura.
2. Técnica de Reconstrucción: Introducen una generalización de la teoría de sistemas locales para curvas (desarrollada en trabajos previos de Litt, Lawrence y Sawin) a familias de variedades de dimensión superior (superficies de Fano), permitiendo reconstruir fibrados de línea a partir de datos de cohomología media.
3. Geometría de Tresfolds Cúbicos: Revelan una conexión profunda entre la geometría de las líneas en un tresfold cúbico (específicamente las líneas de segundo tipo y la superficie de Fano) y la estructura del grupo excepcional $E_6$.

5. Significado e Impacto

• Teoría de Motivos: Al especializar estos sistemas locales, se obtienen infinitos motivos con grupo de Galois $E_6$, respondiendo positivamente a la pregunta de Serre en el contexto motivico.
• Geometría Algebraica: El trabajo demuestra que la geometría "exótica" de los tresfolds cúbicos (una variedad clásica estudiada desde Fano y Clemens-Griffiths) codifica naturalmente la simetría del grupo excepcional más grande después de $E_8$.
• Nuevas Direcciones: Sugiere que existen construcciones geométricas explícitas para otros grupos excepcionales que aún no se han descubierto, más allá de las variedades de Shimura.

En resumen, el artículo logra un hito al conectar la geometría clásica de las curvas cúbicas con la teoría de grupos de Lie excepcionales mediante una técnica innovadora de reconstrucción de sistemas locales, demostrando que $E_6$ emerge naturalmente como el grupo de monodromía de la cohomología media de recubrimientos de superficies de Fano.