Enumerative geometry and modularity in two-modulus K3-fibered Calabi-Yau threefolds

Título: Geometría enumerativa y modularidad en variedades de Calabi-Yau de tres dimensiones con fibración K3 de dos módulos

Planteamiento del problema
El artículo aborda la construcción y la geometría enumerativa de variedades de Calabi-Yau (CY) de tres dimensiones que están fibradas por superficies K3. Si bien se ha logrado un progreso significativo en la clasificación de variedades CY mediante intersecciones completas en productos de espacios proyectivos (CICY) o hipersuperficies en variedades toric, una clasificación completa sigue fuera de alcance, ya que la mayoría de tales geometrías probablemente caen fuera de estas categorías. Específicamente, los autores se centran en la construcción de una familia sistemática de pares espejo de Calabi-Yau de dos parámetros $(X, Y)$, donde $Y$ está fibrada por superficies K3 polarizadas por $M_m$ (rango de Picard 19) y $X$ es su espejo. El objetivo es verificar la conjetura de espejo de Doran-Harder-Thompson (DHT) en casos nuevos y no toric, y calcular las energías libres de cuerdas topológicas e invariantes enumerativos (Gopakumar-Vafa y Donaldson-Thomas) para investigar sus propiedades modulares bajo el grupo de congruencia $\Gamma_0(m)^+$.

Metodología
Los autores emplean un enfoque dual que combina la construcción del modelo B (estructura compleja) y del modelo A (estructura Kähler), vinculados por la simetría espejo y la conjetura DHT.

1. Construcción del Modelo B ($Y$):

   • Los autores construyen una familia de variedades CY $Y^{[i,j]}_{m,s}$ fibradas por superficies K3 polarizadas por $M_m$.
   • La fibración se define mediante un mapa de invariante funcional generalizado $\Lambda: \mathbb{P}^1 \to X_0(m)^+$, donde $X_0(m)^+$ es la curva modular asociada al subgrupo de congruencia $\Gamma_0(m)^+$.
   • El mapa está parametrizado por enteros $(m, i, j, s)$, donde $m \leq 11$ y $s$ controla el perfil de ramificación. Las moduli de la estructura compleja $z_1, z_2$ determinan el espacio total.
   • Los periodos se calculan mediante integrales de contorno de la época fundamental de la superficie K3, lo que conduce a la derivación de los operadores diferenciales de Picard-Fuchs.

2. Construcción del Modelo A ($X$):

   • El espejo $X^{[i,j]}_{m,s}$ se construye como una intersección completa dentro de un fibrado proyectivo sobre una cuatroforma Fano $V^{[i,j]}_m$ de rango de Picard 1.
   • Para $m \leq 4$, estas geometrías se realizan como CICYs o hipersuperficies en variedades toric. Para $m \geq 5$, son intrínsecamente no toricas, realizadas como intersecciones completas en fibrados de Grassmannianos o como doble recubrimientos de tresformas Fano.
   • La construcción utiliza la conjetura DHT: $X$ admite una degeneración de Tyurin en un par de tresformas Fano de grado $m$ que se intersecan sobre una superficie K3 anticanónica. Para $s=0$, $X$ admite por sí misma una fibración K3.

3. Análisis enumerativo y modular:

   • Los autores calculan las energías libres topológicas de género 0 y género 1 ($F^{(0)}$ y $F^{(1)}$) en el límite de base grande ($S \to i\infty$).
   • Utilizan la relación entre los invariantes de Gopakumar-Vafa (GV) e invariantes de Noether-Lefschetz (NL). Se espera que la serie generatriz de los invariantes NL se transforme como una forma modular con valores vectoriales (o una forma de Jacobi sesquiholomorfa) bajo $\Gamma_0(m)^+$.
   • Mediante la extracción de los invariantes GV de las energías libres, verifican las propiedades modulares esperadas.
   • Para grados de base no nulos, construyen series generatrices para los grados de base 1 y 2, comprobando sus propiedades de transformación bajo el grupo de monodromía.

Contribuciones clave

• Construcción uniforme de 39 pares espejo: El artículo introduce una familia de 39 pares espejo de CY etiquetados por cuádruples de enteros $(m, i, j, s)$. Esto incluye 26 modelos con $s=0$ donde la geometría del modelo A, $X$, posee por sí misma una fibración K3.
• Realizaciones no toricas: Los autores proporcionan construcciones geométricas explícitas para los modelos con $m \geq 5$, que no pueden realizarse como intersecciones completas en espacios ambientales toricos. Estos se construyen como intersecciones completas en fibrados proyectivos sobre cuatroformas Fano o mediante transiciones de conifold desde modelos toricos.
• Verificación de la conjetura DHT: El trabajo proporciona numerosos ejemplos nuevos que apoyan la conjetura de espejo DHT, vinculando explícitamente la degeneración de Tyurin del modelo A con la fibración K3 del modelo B.
• Identificación de formas modulares: Los autores derivan fórmulas uniformes para las energías libres topológicas cerca de la degeneración de Tyurin. Demuestran que las funciones generatrices para los invariantes GV y NL exhiben propiedades modulares bajo el grupo de Fricke extendido $\Gamma_0(m)^+$.
• Invariantes de grado de base superior: El artículo calcula series generatrices para los invariantes GV con un grado de base no nulo fijo (específicamente grados 1 y 2) y exhibe sus propiedades modulares, extendiendo resultados previos limitados a los invariantes verticales.

Resultos

• Invariantes topológicos: Los autores proporcionan fórmulas explícitas para los números de Hodge, números de intersección y clases de Chern de segundo orden para las familias construidas.
• Energías libres: Se obtienen expresiones uniformes para las energías libres de género 0 y 1 en el límite de la base grande. Se muestra que la energía libre de género 0 está relacionada con una integral de Eichler holomorfa de peso $-4$, mientras que la energía libre de género 1 involucra términos logarítmicos de formas modulares y productos eta.
• Modularidad: Se confirma que la serie generatriz de los invariantes GV verticales corresponde a formas de Jacobi sesquihomorfas de índice $m$. Se muestra que la quinta derivada de la energía libre de género 0 es una forma modular meromorfa de peso 6 bajo $\Gamma_0(m)^+$.
• Transiciones de conifold: El artículo detalla las transiciones de conifold que conectan los modelos de dos parámetros con los modelos hipergeométricos de un parámetro (y sus análogos no toricos), verificando que los invariantes topológicos se comportan consistentemente bajo estas transiciones.
• Casos específicos: La construcción cubre $m \in \{1, \dots, 9, 11\}$. Notablemente, el caso $m=11$ involucra una cuatroforma Fano de índice 2 construida como un cono sobre una tresforma Fano específica, lo que conduce a un doble recubrimiento de una tresforma Fano $A_{22}$.

Significado
Los autores afirman que el trabajo es significativo en varias áreas:

1. Expansión del paisaje: Construyen sistemáticamente una gran clase de variedades de Calabi-Yau de tres dimensiones con fibración K3 de dos parámetros, incluyendo ejemplos intrínsecamente no toricos, ampliando así el paisaje conocido de geometrías de Calabi-Yau más allá de los CICYs y las hipersuperficies toricas.
2. Prueba de la simetría espejo: Proporcionan un banco de pruebas riguroso para la conjetura de espejo DHT, confirmando sus predicciones para los números de Hodge y las degeneraciones geométricas en entornos complejos y no toricos.
3. Modularidad y dualidad: Los resultados apoyan la expectativa física de que los invariantes enumerativos de las variedades de Calabi-Yau con fibración K3 están gobernados por formas modulares. Esto está vinculado a la dualidad heterótica/tipo II, donde la serie generatriz de los invariantes corresponde al "nuevo índice supersimétrico" en el lado heterótico. La verificación de la modularidad de $\Gamma_0(m)^+$ tanto para los invariantes verticales como para los no verticales (en bajos grados de base) ofrece evidencia matemática para estas predicciones de dualidad.
4. Marco computacional: Los autores proporcionan fórmulas explícitas y cuadernos de Mathematica para reproducir los resultados, facilitando el estudio posterior de la geometría enumerativa y las formas modulares en la teoría de cuerdas.

Los autores señalan modestamente que, si bien han determinado las series generatrices modulares para los grados de base 1 y 2, las propiedades para grados de base superiores e invariantes de género superior son más complejas y se dejan para investigaciones futuras. También reconocen que su construcción no abarca todas las variedades de Calabi-Yau de rango de Picard 2 con fibración K3 conocidas, particularmente aquellas cuyo espejo no tiene fibración K3.