A non-linear differential equation for the periods of elliptic surfaces

Resumen Técnico: Una Ecuación Diferencial No Lineal para la Cohomología de de Rham de Superficies Elípticas

Planteamiento del Problema
El artículo aborda la estructura del espacio de módulos de las superficies elípticas jacobianas $f: X \to C$ sobre $\mathbb{C}$, centrándose específicamente en la relación entre la geometría de la superficie, la ramificación de su morfismo clasificador y la variación de su estructura de Hodge. El problema central es caracterizar el mapa de periodo para la cohomología primitiva $(1,1)$, $H^{1,1}_{\text{prim}}(X)$, y derivar una ecuación diferencial gobernante para este mapa. Mientras que la conexión de Gauss–Manin proporciona un marco lineal para la variación de las estructuras de Hodge, el autor busca un sistema de ecuaciones diferenciales parciales (EDP) no lineales que restrinja explícitamente la matriz de periodo de las clases $(1,1)$ en términos de las coordenadas locales del stack de módulos.

Metodología
El enfoque combina la geometría de los stacks de módulos, la teoría de las superficies elípticas y el análisis de la conexión de Gauss–Manin.

1. Módulos y Coordenadas: El autor considera el stack $\mathcal{J}\mathcal{E}$ de superficies elípticas jacobianas con fibras singulares nodales irreducibles. Se demuestra que este stack es suave de dimensión $N = 10h + 8(1-q)$, donde $h$ es el género geométrico y $q$ la irregularidad. Se construye un sistema de coordenadas locales en el stack de módulos a través del lugar de ramificación del morfismo clasificador $\phi: C \to \mathcal{E}\ell\ell$ (donde $\mathcal{E}\ell\ell \cong \mathbb{P}(4,6)$ es el stack de curvas elípticas generalizadas). Específicamente, si $Z = \text{Ram}(\phi)$ es el divisor de ramificación, el divisor de rama $B = \phi^*Z$ proporciona coordenadas étale locales $(t_i)_{i \in [1,N]}$.
2. Base Cohomológica: Para cada punto de ramificación $P_i \in Z$, se construye una forma 2 meromorfa específica $\tilde{\eta}_i$ del segundo tipo en $H^0(X, \Omega^2_X(2E_i))$, donde $E_i = f^{-1}(P_i)$. Estas formas están normalizadas para anularse en una subred isométrica específica $L \subset H^2(X, \mathbb{Z})_{\text{prim}}$. Sus proyecciones $\eta_i$ en $H^{1,1}_{\text{prim}}(X)$ forman una base ortogonal.
3. La Matriz de Periodo: La matriz $H = [\eta_1, \dots, \eta_N]$ se trata como un elemento del grupo ortogonal complejo $O_N$, representando un mapa de periodo multivaluado desde el stack de módulos hacia el torsor de marcos ortonormales.
4. Derivación de la EDP: Al analizar la derivada del mapa de periodo a lo largo de las curvas de coordenadas definidas por la variación de un único punto de rama, el autor relaciona la variación de las formas de la base $\eta_i$ con la conexión de Gauss–Manin. El paso clave consiste en "truncar" el sistema lineal de la conexión de Gauss–Manin para aislar las restricciones no lineales sobre las clases $(1,1)$.

Contribuciones Clave y Resultados

• La Ecuación "Eclíptica": El resultado principal es la derivación de un sistema de EDP no lineales satisfechas por la matriz de periodo $H$. El sistema está dado por:
  $$\{ \partial_i H = (\partial_i \eta_i \wedge \eta_i) H \}_{i \in [1,N]}$$
  donde $\partial_i = \partial/\partial t_i$. El término $\partial_i \eta_i \wedge \eta_i$ se interpreta geométricamente como la "eclíptica" de la partícula $\eta_i$ (el 2-plano definido por su posición y velocidad). Esta ecuación se cumple de manera general, incluso cuando el sistema canónico lineal $|K_X|$ tiene puntos base, extendiendo resultados previos que requerían la ausencia de puntos base.
• Ortogonalidad y Construcción de la Base: El artículo proporciona una construcción rigurosa de una base ortonormal para $H^{1,1}_{\text{prim}}(X)$ utilizando formas 2 meromorfas del segundo tipo. Demuestra que estas clases son mutuamente ortogonales, una propiedad establecida previamente solo bajo supuestos restrictivos (ausencia de puntos base).
• Teorema de Torelli Infinitesimal: Se prueba un teorema de Torelli infinitesimal genérico para el mapa $H$. Se muestra que la derivada del mapa de periodo es genéricamente inmersiva. El autor analiza el caso en que existen puntos base (específicamente cuando $h=q$ y el punto base $Q$ yace en el divisor de ramificación $Z$), mostrando que en este escenario específico, la derivada del mapa de periodo tiene corango 1, y el Torelli infinitesimal falla.
• Cálculos Explícitos para Superficies Racionales: Para las superficies elípticas racionales ($q=0, h=1$), el artículo describe un algoritmo explícito para calcular la matriz de periodo. Esto implica:
  • Construir la superficie como un blow-up de $\mathbb{P}^2$ en nueve puntos.
  • Utilizar el modelo anticanónico y ecuaciones séxticas en el espacio proyectivo ponderado.
  • Calcular los números de intersección $[\eta_i] \cup_{dR} [D]$ con curvas específicas $D$ (secciones de la fibración) usando fórmulas de residuo derivadas de las expansiones locales de las formas.
  • Determá los escalares requeridos para normalizar la base para que sea ortonormal.

Significación
El artículo afirma su importancia al proporcionar una ecuación diferencial no lineal concreta que gobierna la variación de la cohomología $(1,1)$ de las superficies elípticas, un sector de la cohomología que suele ser más difícil de acceder que las partes $(2,0)$ o $(0,2)$. Al interpretar el mapa de periodo como una solución a esta ecuación "eclíptica", el trabajo conecta directamente la geometría del espacio de módulos (vía el divisor de rama) con la estructura de Hodge. El cálculo explícito para superficies racionales demuestra que estas construcciones abstractas son computables, ofreciendo una vía potencial para cálculos de periodos explícitos en geometría aritmética. El trabajo también refina la comprensión del teorema de Torelli infinitesimal en presencia de puntos base, aclarando las condiciones geométricas precisas bajo las cuales el mapa de periodo degenera.