Enumerative geometry of $K3$ surfaces

Estas notas explican diversos resultados enumerativos sobre superficies K3, que confirman conjeturas de Yau-Zaslow, Göttsche y Katz-Klemm-Vafa, sin requerir conocimientos previos de la teoría de Gromov-Witten.

Lo esencial

¡Hola! Imagina que este texto es como un mapa del tesoro para un grupo de exploradores matemáticos. El tesoro no es oro ni joyas, sino números exactos que nos dicen cuántas "curvas especiales" existen en un mundo geométrico muy peculiar llamado Superficie K3.

Para entenderlo sin dolor de cabeza, vamos a usar una analogía divertida: La Fábrica de Pastelitos Mágicos.

1. ¿Qué es la Superficie K3? (El Mundo Mágico)

Imagina una superficie K3 como un pastelito infinito y perfecto (aunque en realidad es una forma geométrica compleja en 4 dimensiones, pero piénsalo como una hoja de papel mágica).

• Este pastelito tiene una propiedad rara: es "trivial" en su interior (no tiene agujeros ni bordes extraños), pero es muy rígido.
• Los matemáticos quieren saber: ¿Cuántas formas diferentes de dibujar líneas o curvas sobre este pastelito existen?

2. El Problema: ¿Cuántas curvas hay? (La Cuenta de Pastelitos)

En la sección 2, el autor habla de curvas racionales (que son como círculos o bucles cerrados).

• La pregunta: Si tengo un pastelito de cierto tamaño, ¿cuántos círculos perfectos puedo dibujar sobre él?
• La respuesta mágica: No es un número cualquiera. Es una secuencia infinita de números que siguen una fórmula muy elegante (la fórmula de Yau-Zaslow).
• El truco: A veces, las curvas tienen "arrugas" o "nudos" (singularidades). En lugar de contarlas como 1, el matemático les asigna un peso (multiplicidad).
  • Analogía: Imagina que cuentas las manzanas en un árbol. Una manzana perfecta vale 1. Una manzana con una pequeña mancha vale 1.5. Una manzana muy deformada vale 3. La fórmula nos dice exactamente cuánto vale cada "manzana" (curva) según sus arrugas.

3. El Problema de los "Fantasmas" (Teoría de Gromov-Witten)

Aquí es donde se pone interesante. A veces, si intentas contar las curvas directamente, te encuentras con un problema: el pastelito se puede deformar.

• Si el pastelito cambia de forma, las curvas pueden desaparecer o aparecer. ¡El conteo no es estable!
• La solución (Gromov-Witten): Los matemáticos crearon una "cámara de fotos mágica" (llamada clase virtual fundamental). Esta cámara no toma fotos de las curvas reales, sino de todas las posibilidades teóricas de curvas, incluso las que parecen fantasmas.
• Analogía: Es como intentar contar cuántas nubes hay en el cielo. Si esperas a que el viento las mueva, el número cambia. Pero si usas una cámara que congela el tiempo y cuenta todas las formas que podrían ser nubes, obtienes un número fijo y estable.

4. Las Copias y los "Dobles" (Clases No Primitivas)

En la sección 4, el autor habla de curvas que son copias de otras.

• Imagina que tienes una curva pequeña. ¿Qué pasa si la dibujas dos veces encima de la misma línea? ¡Eso cuenta como una curva diferente!
• El problema: A veces, el conteo matemático incluye estas "copias" y las cuenta de forma exagerada.
• La corrección (Estados BPS): Los físicos y matemáticos crearon una fórmula de "corrección" (como un filtro de Instagram) para restar el peso de las copias y quedarnos solo con las curvas "reales" e irrepetibles.
  • Analogía: Si en una fiesta hay 10 personas, pero 3 de ellas son clones exactos que se duplicaron, el conteo real de "personas únicas" es 7. La fórmula BPS es el algoritmo que detecta a los clones y los descuenta.

5. El Puente entre Dimensiones (Superficies vs. Tres Dimensiones)

En la sección 5, el texto conecta las superficies K3 (2D) con variedades Calabi-Yau (3D, como las que se usan en la teoría de cuerdas).

• La idea: Imagina que tu superficie K3 es una rebanada de pan dentro de un sándwich tridimensional.
• Los matemáticos descubrieron que si cuentas las curvas en el sándwich entero, puedes deducir cuántas curvas hay en la rebanada de pan, y viceversa.
• Analogía: Es como si pudieras saber cuántas gotas de agua hay en un río (3D) contando solo las gotas que caen en un charco específico (2D) en la orilla. ¡Es un truco de magia matemática!

6. El Secreto Final: La Música de los Números (Noether-Lefschetz)

En la última parte, el autor usa una herramienta llamada Teoría Noether-Lefschetz.

• Imagina que cada familia de superficies K3 es una sinfonía.
• Los "números de Noether-Lefschetz" son las notas musicales que suenan cuando la superficie cambia de forma.
• Los matemáticos descubrieron que estas notas siguen un patrón musical muy específico llamado Forma Modular.
• Conclusión: Al escuchar la "música" de cómo cambian las superficies, pueden predecir exactamente cuántas curvas existen, sin tener que dibujarlas una por una. Es como si la naturaleza misma cantara la respuesta.

Resumen para llevar a casa:

Este texto es una guía para entender cómo los matemáticos cuentan cosas invisibles en mundos geométricos complejos.

1. Definen reglas para contar curvas con "arrugas".
2. Usan cámaras mágicas (Gromov-Witten) para evitar que el conteo se desestabilice.
3. Corrigen los duplicados (Estados BPS) para contar solo lo único.
4. Conectan mundos (2D y 3D) como si fueran rebanadas de un mismo pastel.
5. Escuchan la música (Formas Modulares) para encontrar la respuesta final.

Al final, el autor nos dice que, aunque el mundo de las superficies K3 parece caótico y lleno de curvas imposibles, en realidad sigue un orden matemático perfecto y hermoso, como una partitura de música escrita por el universo.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Enumerative geometry of K3 surfaces" (Geometría enumerativa de superficies K3) de Thomas Dedieu.

1. Problema Central

El objetivo principal del texto es explicar y demostrar diversos resultados enumerativos sobre las curvas en superficies K3, específicamente el número de curvas racionales y de género $g$ en clases lineales primitivas y no primitivas.

El problema fundamental abordado es la dificultad de definir invariantes de conteo estables para superficies K3. A diferencia de otras variedades, las superficies K3 tienen un fibrado canónico trivial ($K_S = 0$) y no contienen curvas en deformaciones no algebraicas. Esto provoca que los invariantes de Gromov-Witten (GW) estándar sean triviales (cero) debido a que la dimensión virtual de los espacios de módulos no coincide con la dimensión real de las familias de curvas que se mueven en la superficie.

El texto busca:

1. Formular fórmulas que cuenten curvas racionales (género 0) y de género superior.
2. Extender la fórmula de Yau-Zaslow (originalmente para clases primitivas) a clases no primitivas (múltiples de una clase primitiva).
3. Conectar estos conteos con la teoría de estados BPS (Bogomol'nyi-Prasad-Sommerfield) y la teoría de cuerdas (estados instantónicos).
4. Proporcionar demostraciones que, en muchos casos, evitan el uso directo de la teoría de GW compleja, utilizando en su lugar herramientas clásicas como Jacobianas compactificadas, teoría de Noether-Lefschetz y simetría especular.

2. Metodología

El autor emplea una combinación de técnicas geométricas algebraicas, teoría de deformaciones y teoría de formas modulares:

• Jacobianas Compactificadas y Euler Topológicas: Para el caso de curvas racionales en clases primitivas, se utiliza la familia universal de Jacobianas compactificadas sobre el sistema lineal. La clave es que la característica de Euler topológica de la fibra (la Jacobiana compactificada de una curva singular) actúa como la multiplicidad correcta para contar la curva.
• Teoría de Gromov-Witten Reducida: Para superar la trivialidad de los invariantes GW estándar en K3, se utiliza la teoría "reducida" introducida por Maulik y Pandharipande. Esta teoría modifica la clase fundamental virtual para tener en cuenta la obstrucción semiregular, permitiendo definir invariantes no triviales que cuentan curvas reales.
• Degeneración a Superficies K3 Elípticas: Para probar fórmulas generales (como la de Göttsche-Bryan-Leung), se degenera la superficie K3 a una superficie elíptica. Esto permite descomponer el espacio de módulos en componentes más simples (cubrimientos múltiples de fibras elípticas y curvas racionales) que se pueden contar combinatoriamente.
• Teoría de Noether-Lefschetz y Formas Modulares: Para las clases no primitivas, se estudian familias de superficies K3 polarizadas por retículos. Los números de Noether-Lefschetz (que cuentan fibras con clases de Picard adicionales) se relacionan con los invariantes GW de una variedad tridimensional fibrada (el modelo STU). La modularidad de estos números (teoremas de Borcherds y Kudla-Millson) permite calcularlos explícitamente.
• Simetría Especular y el Modelo STU: Se utiliza un modelo físico (modelo STU, una sección anticanónica de una variedad torica) para calcular invariantes GW mediante simetría especular, conectándolos luego con los conteos en las fibras K3.

3. Contribuciones Clave y Resultados

A. Fórmula de Yau-Zaslow (Clases Primitivas)

• Resultado: Se demuestra que el número $N_p$ de curvas racionales en un sistema lineal primitivo $|L|$ de género $p$ en una superficie K3 está dado por la expansión de Fourier de:
  $$1 + \sum_{p=1}^\infty N_p q^p = \prod_{n=1}^\infty \frac{1}{(1-q^n)^{24}}$$
• Interpretación: Cada curva racional integral se cuenta con una multiplicidad igual a la característica de Euler topológica de su Jacobiana compactificada ($e(\bar{J}_C)$). Si la curva es nodal (inmersa), la multiplicidad es 1.
• Demostración: Se basa en el trabajo de Beauville, mostrando que la característica de Euler del espacio total de la Jacobiana compactificada universal coincide con la suma de las características de Euler de las fibras racionales.

B. Curvas de Género Arbitrario (Fórmula de Göttsche-Bryan-Leung)

• Resultado: Se generaliza el conteo a curvas de género $g$ que pasan por $g$ puntos generales. El número $N^p_g$ es el coeficiente de $q^p$ en una serie generadora que involucra formas modulares cuasi-modulares:
  $$F_g(q) = \left( \sum_{n=1}^\infty n \sigma_1(n) q^n \right)^g \prod_{m=1}^\infty \frac{1}{(1-q^m)^{24}}$$
• Método: La demostración utiliza la degeneración a una superficie K3 elíptica y cuenta cubrimientos múltiples de fibras elípticas y curvas racionales, utilizando la teoría de GW reducida.

C. Estados BPS y Clases No Primitivas

• Problema: En clases no primitivas ($mL$), aparecen contribuciones de cubrimientos múltiples y curvas reducibles que distorsionan el conteo directo.
• Solución: Se definen números de estados BPS ($n^p_{0,m}$) mediante una transformación de las invariantes GW reducidas ($N^p_{0,m}$) usando la fórmula de corrección de Aspinwall-Morrison (análogo a la fórmula de conteo de instantones en variedades Calabi-Yau).
• Teorema Principal (Klemm-Maulik-Pandharipande-Scheidegger): Los números BPS $n^p_{0,m}$ no dependen de la divisibilidad $m$. Es decir, el número de estados BPS en la clase $mL$ es igual al número de curvas racionales en una clase primitiva de un género ajustado ($p' = m^2p - m^2 + 1$).
  $$n^p_{0,m} = N^{m^2p - m^2 + 1}_0$$
  Esto confirma la conjetura de Yau-Zaslow para clases no primitivas.

D. Relación con Invariantes de Variedades Tridimensionales

• Se establece una conexión profunda entre los invariantes de superficies K3 y los de variedades Calabi-Yau tridimensionales fibradas en K3.
• Se presenta la fórmula de Katz-Klemm-Vafa, que relaciona los invariantes de GW reducidos de K3 con los estados BPS de la variedad tridimensional.
• Se demuestra que los números de Noether-Lefschetz de una familia de K3 (modelo STU) están gobernados por formas modulares, lo que permite calcular explícitamente los invariantes necesarios para probar la independencia de la divisibilidad.

4. Significado e Impacto

1. Puente entre Geometría Clásica y Física: El artículo logra traducir resultados profundos de la teoría de cuerdas (estados BPS, simetría especular) en términos de geometría algebraica clásica (Jacobianas, deformaciones de singularidades, teoría de retículos).
2. Resolución de Conjeturas: Proporciona una demostración rigurosa y completa de la conjetura de Yau-Zaslow, no solo para clases primitivas, sino para todas las clases lineales, resolviendo el problema de las contribuciones de cubrimientos múltiples.
3. Nuevas Herramientas de Cálculo: Introduce y sistematiza el uso de la teoría de Noether-Lefschetz y la modularidad como herramientas poderosas para calcular invariantes enumerativos en geometría algebraica, evitando a veces la complejidad técnica directa de la teoría de GW.
4. Comprensión de la Multiplicidad: Clarifica el significado geométrico de las multiplicidades en el conteo de curvas, vinculándolas a la topología de las Jacobianas compactificadas y a la estructura de las deformaciones equigenericas de las singularidades.

En resumen, el texto es una referencia fundamental que unifica la geometría enumerativa de superficies K3, la teoría de formas modulares y la física matemática, demostrando que los conteos de curvas en estas superficies poseen una estructura modular profunda y son independientes de la divisibilidad de la clase de homología una vez que se aplican las correcciones adecuadas (estados BPS).