Effective homology and periods of complex projective hypersurfaces

Resumen Técnico: Homología Efectiva y Períodos de Hipersuperficies Proyectivas Complejas

Planteamiento del Problema
El artículo aborda el desafío computacional de determinar las matrices de períodos de hipersuperficies proyectivas suaves $X \subset \mathbb{P}^n(\mathbb{C})$. Una matriz de períodos representa el emparejamiento entre la homología singular $H_k(X)$ y la cohomología de De Rham algebraica $H^k_{DR}(X)$ mediante la integración. Si bien la computación numérica de los períodos es una herramienta poderosa para recuperar invariantes algebraicos (como el grupo de Néron–Severi, el rango de Picard y los anillos de endomorfismos) mediante la detección de relaciones enteras, los algoritmos existentes enfrentan obstáculos significativos. Específicamente, existe una falta de métodos eficientes para computar una base explícita para la homología singular de variedades de mayor dimensión. Los enfoques previos, como los de Sertöz (2019) para hipersuperficies suaves, dependen de deformaciones globales hacia hipersuperficies de Fermat, lo que resulta en ecuaciones diferenciales de Picard–Fuchs que son, a menudo, prohibitivas en tamaño y complejidad. Además, la integración numérica directa sobre ciclos de alta dimensión sufre de una complejidad exponencial con respecto a la precisión.

Metodología
Los autores proponen un nuevo algoritmo que entrelaza la computación de una base de homología explícita con la evaluación numérica de los períodos. El método se fundamenta en la teoría de Picard–Lefschetz y procede por inducción sobre la dimensión de la hipersuperficie.

1. Configuración de la Fibración de Lefschetz: El algoritmo considera un haz genérico de hiperplanos $\{H_t\}_{t \in \mathbb{P}^1}$ que intersectan la hipersuperficie $X$. Esto induce una fibración de Lefschetz $f: Y \to \mathbb{P}^1$, donde $Y$ es el blowup de $X$ a lo largo del lóbulo base. Las fibras $X_t = X \cap H_t$ son hipersuperficies de dimensión $n-1$.
2. Acción de Monodromía: El núcleo de la reconstrucción de la homología reside en computar la acción de monodromía del grupo fundamental $\pi_1(\mathbb{P}^1 \setminus \Sigma)$ (donde $\Sigma$ es el conjunto de valores críticos) sobre la homología de una fibra genérica $H_{n-1}(X_b)$. Esta acción se computa utilizando la fórmula de Picard–Lefschetz, que relaciona la monodromía con los ciclos evanescentes.
3. Dualidad y Sistemas Diferenciales: En lugar de computar la monodromía directamente sobre la homología, el algoritmo la computa mediante dualidad con la cohomología de De Rham. Utiliza la conexión de Gauss–Manin para derivar un sistema de ecuaciones diferenciales lineales (ecuaciones de Picard–Fuchs) satisfechas por los períodos de la fibra $X_b$.
4. Continuación Analítica Numérica: El algoritmo emplea la continuación analítica numérica de funciones diferencialmente finitas (usando el paquete ore_algebra en SageMath) para computar las matrices de monodromía con límites de error rigurosos. Este paso permite la reconstrucción de la base de la homología de $X$ a partir de los thimbles (thimbles de Lefschetz) asociados a los puntos críticos de la fibración.
5. Integración de Períodos: Para computar los períodos de $X$, el algoritmo integra los períodos variables de las fibras $X_t$ a lo largo de caminos en la base $\mathbb{P}^1$. Al expresar el integrando como un múltiplo racional de las soluciones de la conexión de Gauss–Manin, la integración se realiza utilizando algoritmos para funciones diferencialmente finitas. Este enfoque logra una complejidad cuasilineal con respecto al número de dígitos de precisión, una mejora significativa sobre la complejidad polinómica de los métodos de cuadratura estándar.
6. Reconstrucción de la Red: Para superficies ($n=2$), el método se extiende para computar el producto de intersección en $H_2(X)$ e identificar los divisores excepcionales que surgen del blowup, permitiendo la computación rigurosa de la red de Néron–Severi.

Contribuciones Clave

• Base de Homología Explícita: El artículo introduce el primer algoritmo capaz de computar una base explícita para la homología singular de hipersuperficies proyectivas suaves en dimensiones arbitrarias, un prerrequisito para el cálculo de períodos que anteriormente era un obstáculo mayor.
• Algoritmo Eficiente: El método propuesto es más eficiente que el enfoque de deformación global (Sertöz, 2019) porque las ecuaciones de Picard–Fuchs asociadas a un haz de secciones hiperplanas son generalmente mucho más pequeñas que aquellas asociadas a una deformación global hacia una hipersuperficie de Fermat.
• Límites de Error Rigurosos: El uso de la continuación analítica numérica proporciona límites de error rigurosos para los períodos computados, asegurando que la precisión sea suficiente para recuperar relaciones enteras exactas.
• Implementación en SageMath: Los autores proporcionan una implementación completa en SageMath (paquete lefschetz-family), haciendo que estos cálculos sean accesibles.

Resultados y Experimentos
Los autores validan su algoritmo mediante extensos experimentos:

• Rendimiento: En una computadora portátil estándar, el algoritmo computa los períodos de una superficie cuártica suave (una superficie K3) con 300 dígitos decimales de precisión en aproximadamente una hora. Esto contrasta fuertemente con métodos anteriores, que a menudo no lograban completar las tareas en tiempos o límites de memoria razonables (por ejemplo, excediendo 500 GB de RAM) para tareas similares.
• Escalado de Precisión: La complejidad es cuasilineal con respecto a la precisión; duplicar el número de dígitos aproximadamente duplica el tiempo de computación.
• Aplicaciones a Invariantes:
  • Rango de Picard: El algoritmo computó con éxito los rangos de Picard genéricos de varias familias de superficies cuárticas, verificando resultados teóricos de Bouyer (2018) y conjeturando nuevos rangos genéricos para familias de polinomios simétricos.
  • Verificación de Isomorfismo: El método se utilizó para verificar numéricamente que dos superficies cuárticas suaves específicas, conocidas por ser isomórficas como variedades abstractas pero no equivalentes de Cremona, poseen una isometría de Hodge entre sus redes de homología.
  • Nuevos Ejemplos: Los autores proporcionaron ecuaciones definitorias explícitas para superficies K3 cuárticas suaves con rangos de Picard 2, 3 y 5, llenando vacíos en la literatura existente.
  • Aplicación en Física: La metodología se adaptó para computar períodos para una familia de superficies cuárticas singulares que surgen del grafo de Feynman "Tardigrade", demostrando el potencial para manejar variedades no suaves y fibraciones elípticas.

Significancia y Reivindicaciones
El artículo sostiene que su contribución principal es la computación efectiva de períodos para hipersuperficies proyectivas suaves mediante la resolución del problema de la "homología explícita". Los autores enfatizan que su método es intrínseco, dependiendo de la geometría de la propia hipersuperficie en lugar de una deformación específica a un caso conocido. Esta naturaleza intrínseca sugiere que la metodología tiene el potencial de extenderse más allá de las hipersuperficies proyectivas suaves hacia otras variedades, como el ejemplo de la superficie K3 singular proporcionado.

Los autores mantienen un tono modesto respecto al alcance, señalando que, si bien la implementación actual se enfoca en hipersuperficies suaves, los principios subyacentes (teoría de Picard–Lefschetz y reconstrucción de homología efectiva) son lo suficientemente robustos como para manejar casos más complejos, como superficies nodales, con ajustes ad hoc. El trabajo cierra la brecha entre la geometría algebraica teórica y la matemática experimental, permitiendo la investigación numérica de alta precisión de invariantes algebraicos que anteriormente eran inaccesibles.