Motivic height zeta function rationality and Kudla-Millson modularity for elliptic surfaces

Aquí presento un resumen técnico detallado del artículo "Motivic Height Zeta Function Rationality and Kudla–Millson Modularity for Elliptic Surfaces" de Jun-Yong Park, estructurado según los puntos solicitados.

1. Problema y Contexto

El artículo aborda la comprensión de la distribución aritmética de las curvas elípticas sobre el cuerpo de funciones $K = k(t)$, donde $k$ es un cuerpo perfecto de característica distinta de 2 y 3. Específicamente, se centra en la relación entre la altura de Faltings de una curva elíptica y la geometría de la superficie elíptica asociada $S \to \mathbb{P}^1_k$.

El problema central se divide en dos aspectos contrastantes derivados de la fórmula de Shioda–Tate:
$$\rho(S) = T(S) + \text{rk}(E/K)$$
donde $\rho(S)$ es el rango del grupo de Neron-Severi, $T(S)$ es el rango del retículo trivial (generado por la sección cero, la clase de la fibra y las componentes de las fibras reducibles) y $\text{rk}(E/K)$ es el rango de Mordell-Weil.

El objetivo es estudiar la función zeta de altura motivica trivariada:
$$Z(u, v; t) := \sum_{n \ge 0} \left( \sum_{[E] \in W^{\min}_n} u^{T(S)} v^{\text{rk}(E/K)} \right) t^n$$
donde $W^{\min}_n$ es el stack de moduli de curvas elípticas mínimas de altura $n$.

El autor investiga si esta serie es racional (o aproximadamente racional) en el anillo de Grothendieck motivico, diferenciando entre el comportamiento del retículo trivial (local) y el rango de Mordell-Weil (global).

2. Metodología

El autor emplea una combinación sofisticada de técnicas de geometría algebraica, teoría de stacks, teoría de números y teoría de formas modulares:

• Descomposición de Estratos de Kodaira: Utiliza la clasificación de fibras singulares (Kodaira-Néron) para estratificar el stack de moduli $W^{\min}_n$. En cada estrato, la configuración de fibras es constante, lo que implica que el rango del retículo trivial $T(S)$ es constante.
• Factorización Local-Global Motívica: Para el caso del retículo trivial, adapta el enfoque de factorización de Euler (estilo Kapranov) a stacks de altura. Separamos las contribuciones de las fibras aditivas y multiplicativas.
• Estabilización del Discriminante (Vakil-Wood): Dado que el discriminante $\Delta = 4a_4^3 + 27a_6^2$ es una función no lineal de los coeficientes de Weierstrass, la independencia de las condiciones locales falla en general. El autor adapta el método de estabilización motivica de Vakil y Wood, utilizando una inclusión-exclusión truncada en la completación dimensional del anillo de Grothendieck para manejar las raíces múltiples del discriminante.
• Correspondencia Theta de Kudla-Millson: Para el rango de Mordell-Weil, el autor utiliza la correspondencia theta de Kudla-Millson y el marco de superconexiones de Garcia. Esto permite relacionar los ciclos de Heegner (lugares donde aparecen nuevas clases algebraicas) con formas modulares.
• Teoría de Hodge Mixta: Se utilizan cotas de peso en la teoría de Hodge mixta para traducir las estimaciones de dimensión motivica en estabilización de números de Hodge sobre $\mathbb{C}$.

3. Contribuciones Clave

1. Racionalidad Aproximada del Retículo Trivial: Se demuestra que la especialización $Z_{\text{Triv}}(u; t) = Z(u, 1; t)$ es "aproximadamente racional" en el anillo de Grothendieck completado dimensionalmente. Esto significa que, para cada rango fijo $m$, el coeficiente de $u^m$ puede ser aproximado arbitrariamente bien por funciones racionales en $s = t^{1/12}$.
2. Transcendencia del Rango de Mordell-Weil: Se establece que la distribución de las nuevas secciones de Mordell-Weil (y por tanto, los saltos de rango) está gobernada por formas modulares que son transcendentes sobre $\mathbb{C}(q)$. Esto contrasta fuertemente con la naturaleza local y racional del retículo trivial.
3. Conexión con Ciclos de Heegner: Se identifica que los saltos en el rango de Mordell-Weil corresponden a la aparición de clases de Noether-Lefschetz en el dominio de periodos asociado a la superficie elíptica, las cuales forman series generadoras modulares.

4. Resultados Principales

A. Racionalidad del Retículo Trivial (Teorema 1.5 y Teorema 2.12)

• Resultado: Para cada $m \ge 2$, el coeficiente $[u^m]Z_{\text{Triv}}(u; t)$ pertenece al cierre de las funciones racionales en el anillo de Grothendieck completado $\hat{\mathcal{M}}_L(s)$.
• Mecanismo: La serie se descompone en tres partes:
  1. Loci Isotriviales ($j=0, 1728$): Donde el discriminante es una potencia pura de un coeficiente. Aquí, la serie es estrictamente racional (producto de Euler exacto).
  2. Complemento ($j \neq 0, 1728$): Las fibras aditivas se manejan mediante independencia lineal de condiciones de anulación.
  3. Sector Multiplicativo: Las raíces del discriminante se manejan mediante estabilización motivica. El error de la aproximación racional tiende a cero en la filtración dimensional a medida que aumenta la profundidad de truncamiento.
• Corolario (Sobre $\mathbb{C}$): Los números de Hodge virtuales $e^{p,q}_c$ de los estratos de rango trivial estabilizan para $n$ suficientemente grande, y su función generadora es racional.

B. Modularidad y Transcendencia del Rango de Mordell-Weil (Teorema 1.7 y Teorema 3.5)

• Resultado: La serie generadora de clases de Noether-Lefschetz (que parametrizan superficies donde un vector $\gamma$ con $\gamma^2 = -2d$ se vuelve algebraico) es una forma modular holomorfa de peso $6n-2$ para $SL_2(\mathbb{Z})$.
• Transcendencia: Para cualquier clase de prueba $\alpha$ que detecte estos ciclos, la serie escalar resultante $\phi_{n,\alpha}(q)$ es transcendente sobre $\mathbb{C}(q)$.
• Implicación: A diferencia del retículo trivial, cuyo comportamiento es local y factorizable, el rango de Mordell-Weil es un objeto global. Su distribución no puede ser capturada por un producto de Euler finito ni por datos algebraicos locales; sigue patrones modulares complejos.

C. Estructura de la Fórmula de Shioda-Tate

El trabajo clarifica la distinción estructural:

• $T(S)$ depende solo de la configuración local de fibras (datos locales en puntos de $\mathbb{P}^1$), lo que permite la racionalidad aproximada.
• $\text{rk}(E/K)$ depende de la aparición global de nuevas clases algebraicas en el dominio de periodos, gobernada por la correspondencia theta.

5. Significancia

Este artículo es fundamental por varias razones:

1. Resolución de la Naturaleza de la Altura: Proporciona una comprensión profunda de por qué la altura de Faltings y los rangos asociados se comportan de manera diferente. Establece que la "racionalidad" en geometría aritmica a menudo es una propiedad de objetos locales (como el retículo trivial), mientras que los objetos globales (como el rango de Mordell-Weil) exhiben complejidad modular.
2. Avance en la Teoría de Moduli: Extiende los resultados de racionalidad de stacks de altura (previamente conocidos para el caso no ponderado) a casos ponderados por invariantes geométricos finos como el rango del retículo.
3. Conexión entre Geometría y Teoría de Números: Vincula directamente la geometría de superficies elípticas sobre cuerpos de funciones con la teoría de formas modulares de peso alto y la teoría de ciclos especiales (ciclos de Heegner) en dominios de periodos no simétricos (dominios de Griffiths).
4. Nuevas Herramientas: La adaptación de la estabilización motivica de Vakil-Wood al discriminante no lineal de curvas elípticas ofrece una nueva herramienta técnica para estudiar problemas de conteo motivico en contextos no lineales.
5. Contraste con K3: Para $n=2$ (superficies K3 elípticas), el resultado se alinea con cálculos previos (Maulik-Pandharipande) donde la forma modular es puramente de Eisenstein, pero generaliza esto a $n \ge 2$ y demuestra la transcendencia general para $n \ge 2$.

En resumen, el paper demuestra que mientras la geometría "trivial" de las superficies elípticas es predecible y racional, la aparición de nuevas secciones (rango de Mordell-Weil) es un fenómeno global, transcendente y gobernado por la profunda simetría de las formas modulares.