Mock modularity of log Gromov--Witten Invariants: the mirror to $\mathbb{P}^2$

Este artículo demuestra que las series generatrices de ciertos invariantes de Gromov-Witten logarítmicos de la superficie elíptica racional espejo a $\mathbb{P}^2$ son formas modulares falsas (*mock modular forms*), utilizando una correspondencia con los invariantes de Vafa-Witten.

Lo esencial

El Espejo Mágico de las Curvas: Una explicación sencilla

Imagina que la matemática es como un enorme océano de patrones. Algunos patrones son muy predecibles, como las olas que regresan siempre a la orilla (esto es lo que los matemáticos llaman "formas modulares"). Otros patrones son un poco más rebeldes y "desordenados", pero si los miras con mucha atención y les añades una pieza que falta, vuelven a ser perfectos (esto es lo que llamamos "formas mock modulares" o "falsamente modulares").

Este artículo trata sobre cómo encontrar ese orden oculto en un tipo de "desorden" muy específico.

1. Los dos mundos: El Pintor y el Espejo

Para entender este trabajo, imagina que existen dos mundos distintos que, de alguna manera, están conectados por un espejo mágico:

• El Mundo de la Física (Vafa-Witten): Imagina a un físico intentando describir cómo se mueven las partículas en un espacio muy complejo. Para hacerlo, usa un lenguaje de "campos" y "energía". Es como intentar describir el movimiento de un fluido en una habitación llena de obstáculos.
• El Mundo de la Geometría (Gromov-Witten): Imagina a un artista que intenta dibujar curvas perfectas dentro de una superficie con formas extrañas. El artista cuenta cuántas formas distintas hay de trazar una línea que pase por ciertos puntos sin salirse de los bordes.

Durante mucho tiempo, los científicos sospechaban que lo que el físico veía en su mundo de energía era exactamente lo mismo que el artista veía en su mundo de curvas. Pero no podían demostrarlo.

2. El problema de las "curvas rotas"

El artículo se enfoca en un escenario especial: una superficie que tiene "grietas" o "bordes" (llamados divisores). En lugar de dibujar curvas en un papel liso, el artista tiene que dibujar curvas que "toquen" o "se peguen" a esas grietas de una manera muy precisa.

Aquí es donde surge el misterio: cuando intentas organizar todos esos dibujos en una lista (una "serie generadora"), la lista parece no tener sentido, parece un caos. No sigue las reglas de simetría que esperábamos.

3. El gran descubrimiento: La pieza que faltaba

La autora, Hülya Argüz, utiliza un "puente" (una correspondencia matemática) para conectar estos dos mundos.

Su lógica es esta:

1. Sabemos que en el Mundo de la Física, los patrones son "falsamente modulares" (tienen un desorden que se puede arreglar con una pieza extra).
2. Gracias al puente que ella utiliza, puede demostrar que el Mundo de la Geometría (el de las curvas y las grietas) debe tener exactamente ese mismo tipo de desorden.

La analogía del rompecabezas:
Imagina que tienes un rompecabezas al que le faltan piezas. Miras la imagen y parece incompleta y extraña. El trabajo de la autora es demostrar que ese rompecabezas no es un error, sino que es un tipo especial de imagen que está diseñada para ser completada. Ella demuestra que, si le añades la "pieza de corrección" adecuada, el patrón de las curvas se vuelve tan perfecto y simétrico como las leyes de la física predicen.

En resumen:

El artículo demuestra que el caos aparente en el conteo de ciertas curvas geométricas en superficies especiales no es caos real, sino una forma de belleza muy sofisticada llamada "mock modularidad". Ha logrado conectar la geometría de las curvas con la física de las partículas, confirmando que ambos mundos hablan el mismo lenguaje secreto.

Resumen técnico

Resumen Técnico: Mock Modularity of Log Gromov–Witten Invariants: The Mirror to $\mathbb{P}^2$

Problema y Contexto
El artículo aborda la relación entre la teoría de la simetría de espejo (mirror symmetry) y las propiedades de modularidad de las series generatrices de invariantes enumerativos. Tradicionalmente, se sabe que los invariantes de Gromov–Witten (GW) de curvas elípticas son formas cuasimodulares. Sin embargo, el estudio de la modularidad falsa (mock modularity) en el contexto de la teoría de GW ha sido limitado.

El problema central es entender el comportamiento de los invariantes de Gromov–Witten logarítmicos de fibraciones elípticas relativas a un divisor singular $D$. El autor investiga si las series generatrices de estos invariantes, que cuentan curvas con tangencias prescritas a un divisor singular (como un ciclo de curvas racionales), se comportan como formas modulares falsas vectoriales (vector-valued mock modular forms).

Metodología
La investigación emplea un enfoque de simetría de espejo para transferir un problema de geometría enumerativa (GW logarítmicos) a un problema de teoría de campos y teoría de módulos (invariantes de Vafa–Witten). La metodología se divide en tres pilares:

1. Construcción del Espejo: Se utiliza la superficie elíptica racional $(Y, D)$ como el espejo de la superficie proyectiva $\mathbb{P}^2$. En este modelo, el divisor $D$ es una fibra singular que consiste en un ciclo de nueve curvas $\mathbb{P}^1$.
2. Correspondencia Log GW / Vafa–Witten: El núcleo técnico es la aplicación de un teorema de correspondencia (establecido previamente en colaboración con Bousseau) que vincula los invariantes de Vafa–Witten de $\mathbb{P}^2$ (que cuentan haces coherentes semiestables) con los invariantes de GW logarítmicos de $(Y, D)$ (que cuentan curvas con tangencias específicas).
3. Análisis de Modularidad: Se utilizan los resultados conocidos sobre la modularidad falsa de los invariantes de Vafa–Witten en $\mathbb{P}^2$ (derivados de la dualidad S en la teoría de super Yang–Mills) para deducir las propiedades de la serie generatriz en el lado de Gromov–Witten.

Contribuciones Clave y Resultados

• Conjetura General (Conjetura 1.1): El artículo propone que, para una fibración elíptica $\phi: Y \to B$ con un divisor $D$ cuya fibra genérica sea un ciclo de $\mathbb{P}^1$ o una curva elíptica nodal, las series generatrices de los invariantes de GW logarítmicos son componentes de una forma modular falsa vectorial de profundidad superior.
• Demostración para el espejo de $\mathbb{P}^2$: El autor demuestra formalmente que para el caso específico de la superficie elíptica racional espejo a $\mathbb{P}^2$, la serie generatriz de GW logarítmicos es equivalente a la serie de Vafa–Witten de $\mathbb{P}^2$ (Teorema 5.7).
• Prueba de Mock Modularity (Corolario 5.8 y Conjetura 5.9): Como consecuencia directa, se prueba que para rangos $1 \leq r \leq 3$, estas series son formas modulares falsas vectoriales de peso $-3/2$ y profundidad $r$. Se extiende esto como una conjetura para cualquier rango $r > 0$.

Significancia
Este trabajo es significativo por varias razones:

1. Puente entre Geometría y Física: Proporciona una base matemática para las predicciones de la física teórica (dualidad S) dentro del marco de la simetría de espejo y la teoría de Gromov–Witten.
2. Extensión de la Teoría de GW: Eleva el estudio de la modularidad en la teoría de GW de formas cuasimodulares (casos suaves) a formas modulares falsas (casos con singularidades/logarítmicos), abriendo un nuevo campo de estudio en la enumeración de curvas.
3. Validación del Programa Gross–Siebert: Refuerza la importancia de los invariantes de GW logarítmicos en la construcción de espejos para variedades de Calabi–Yau, demostrando que poseen estructuras aritméticas profundas y altamente organizadas.