Conexión de Gauss-Manin disfrazada: Invariantes de Gromov-Witten abiertos

Información Básica

• ID del Artículo: 2205.08302
• Título: Conexión de Gauss-Manin disfrazada: Invariantes de Gromov-Witten abiertos
• Autor: Felipe Espreafico (Instituto de Matemática Pura y Aplicada, Río de Janeiro)
• Clasificación: math.AG (Geometría Algebraica), math-ph (Física Matemática), math.MP (Física Matemática)
• Fecha de Publicación: Presentación inicial mayo 2022, versión más reciente 1 de noviembre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2205.08302v3

Resumen

Este artículo estudia invariantes de Gromov-Witten abiertos en el marco de la teoría de simetría especular. Basándose en el trabajo de J. Walcher, el autor investiga la cantidad de discos holomorfos en subvariedades lagrangianas quinticas reales dentro de variedades quinticas tridimensionales generales, cantidad que se relaciona con períodos de la familia quintica especular en los bordes de dos curvas racionales homológicas (cónicas de Deligne). Siguiendo las ideas de H. Movasati, el autor construye un espacio cuasiafín para parametrizar estos objetos, equipado con un marco de cohomología de de Rham relativa compatible con estructuras de Hodge mixtas. Además, calcula los campos vectoriales modulares asociados con esta parametrización.

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Fenómeno de Simetría Especular: En los años ochenta, los físicos de teoría de cuerdas descubrieron el fenómeno de simetría especular: la misma teoría física puede describirse mediante dos modelos matemáticamente distintos: el modelo A (geometría simpléctica) y el modelo B (geometría algebraica compleja).
2. Resultados Clásicos: El ejemplo más famoso es la variedad quintica tridimensional. CDLOGP y otros (1991) utilizaron técnicas de simetría especular para predecir la cantidad de curvas racionales en una variedad quintica general en P⁴, predicciones que posteriormente fueron demostradas rigurosamente en matemáticas.
3. Caso de Cuerdas Abiertas: La simetría especular clásica trata el caso de cuerdas cerradas (closed string). Este artículo se enfoca en el caso de cuerdas abiertas (open string), es decir, calcular la cantidad de discos cuyo borde se encuentra en una subvariedad lagrangiana quintica real.

Problema Central

El problema central que este artículo resuelve es:

• Cómo estudiar sistemáticamente invariantes de Gromov-Witten abiertos en el lado del modelo B
• Cómo construir espacios de módulos apropiados para parametrizar objetos geométricos relevantes
• Cómo establecer un marco similar a la teoría clásica de formas modulares para comprender estos invariantes

Motivación de la Investigación

1. Programa GMCD: El programa "Gauss-Manin connection in disguise" (GMCD) desarrollado por Movasati proporciona un marco general para construir teoría de formas modulares generalizadas mediante ecuaciones diferenciales en espacios de módulos.
2. Cohomología Relativa: El caso de cuerdas abiertas requiere considerar cohomología de de Rham algebraica relativa H³ₐᵣ(X, C₊ ∪ C₋), donde C± son dos curvas racionales homológicas (cónicas de Deligne).
3. Estructuras de Hodge Mixtas: La cohomología relativa naturalmente lleva estructuras de Hodge mixtas, que son más complejas que las estructuras de Hodge puras del caso clásico.

Limitaciones de Métodos Existentes

• Walcher (2007) y Pandharipande-Solomon-Walcher (2008) calcularon la cantidad de discos, pero carecían de un marco teórico sistemático de espacios de módulos
• El programa GMCD clásico trata principalmente cohomología absoluta y estructuras de Hodge puras
• Se necesitan desarrollar nuevas herramientas para manejar cohomología relativa y estructuras de Hodge mixtas

Contribuciones Principales

Las contribuciones principales de este artículo incluyen:

1. Construcción del Espacio de Módulos (Teorema 1): Se construye un espacio cuasiafín de 9 dimensiones T_op que parametriza "quinticas especulares relativamente mejoradas" (relatively enhanced mirror quintics), es decir, triples (X, C±, α₀,...,α₄), donde:
   • X es una quintica especular
   • C± es un par de curvas racionales homológicas
   • α₀,...,α₄ es una base de H³ₐᵣ(X, C₊∪C₋) compatible con la estructura de Hodge mixta
2. Cálculo del Campo Vectorial Modular (Teorema 2): Se calcula el único campo vectorial R cuya matriz de conexión de Gauss-Manin tiene forma específica, y además:
   • La expansión en q de la función Y proporciona conteos virtuales de curvas racionales en variedades quinticas tridimensionales
   • La expansión en q de la función F proporciona conteos virtuales de discos cuyo borde se encuentra en la subvariedad lagrangiana
3. Interpretación de Períodos: Mediante matrices de períodos y dominios de períodos generalizados, se explica por qué los conteos de discos aparecen en el Teorema 2, estableciendo conexiones con formas modulares.
4. Generalización a Género Superior: Se discute la generalización de la teoría BCOV al caso de cuerdas abiertas, involucrando invariantes de Gromov-Witten reales de género superior.

Explicación Detallada de Métodos

Definición de Tareas

Entrada: Variedad quintica especular tridimensional X_ψ y dos curvas racionales homológicas C± (cónicas de Deligne) en ella

Salida:

1. Espacio de módulos T_op que parametriza objetos mejorados
2. Campo vectorial modular R y su representación en coordenadas
3. Funciones Y y F relacionadas con invariantes de Gromov-Witten abiertos

Condiciones de Restricción:

• La base α₀,...,α₄ debe satisfacer condiciones de filtración de Hodge y filtración de peso
• La matriz de productos de intersección debe tener forma fija Φ
• La integral de α₀ en cierta clase homológica se normaliza a 1

Construcción del Espacio de Módulos

1. Familia Quintica Especular

La quintica especular se define como la resolución de singularidades del espacio cociente: $X_ψ = \{x_0^5 + x_1^5 + x_2^5 + x_3^5 + x_4^5 - 5ψx_0x_1x_2x_3x_4 = 0\}/G$

donde G es un grupo cociente Z₅⁵ específico. Se utiliza el cambio de coordenadas ψ⁻⁵ = t₄/t₀⁵ = s₄¹⁰/s₀¹⁰.

2. Cónicas de Deligne

Dos curvas racionales homológicas C± se definen mediante las ecuaciones: $C_± = \{s_4^2x_0 + x_1 = 0, x_2 + x_3 = 0, s_4x_4^2 ± \sqrt{5}s_0x_1x_3 = 0\}$

3. Cohomología de de Rham Relativa

Se define la cohomología relativa H³ₐᵣ(X, C₊∪C₋), cuya dimensión es 5 (la dimensión de la cohomología absoluta es 4, más 1 dimensión proveniente de H²ₐᵣ(C₊∪C₋)).

4. Estructura de Hodge Mixta

Filtración de Hodge: F⁰ ⊃ F¹ ⊃ F² ⊃ F³ ⊃ F⁴ = 0

• dimF⁰ = 5, dimF¹ = 4, dimF² = 2, dimF³ = 1

Filtración de Peso: 0 = W₀ ⊂ W₁ ⊂ W₂ ⊂ W₃

• dimW₂ = 1, dimW₃ = 5
• El generador de W₂ proviene de la imagen de H²ₐᵣ(C₊∪C₋) en H³ₐᵣ(X, C±)

Caracterización de Coordenadas del Espacio de Módulos

Estrategia de Prueba del Teorema 1:

1. Selección de Base: Se levanta la base {ω₁, ω₂, ω₃, ω₄} de la cohomología absoluta a la cohomología relativa, añadiendo ω₀ (generador de la imagen de H²ₐᵣ(C₊∪C₋)→H³ₐᵣ(X,C±))
2. Matriz de Transformación: Se construye la matriz S (ecuación 17):