Effective homology and periods of complex projective hypersurfaces

Résumé technique : Homologie effective et périodes d'hypersurfaces projectives complexes

Énoncé du problème
L'article traite du défi computationnel que représente la détermination des matrices de périodes des hypersurfaces projectives lisses $X \subset \mathbb{P}^n(\mathbb{C})$. Une matrice de périodes représente le couplage entre l'homologie singulière $H_k(X)$ et la cohomologie de De Rham algébrique $H^k_{DR}(X)$ via l'intégration. Bien que le calcul numérique des périodes soit un outil puissant pour récupérer des invariants algébriques (tels que le groupe de Néron–Severi, le rang de Picard et les anneaux d'endomorphismes) par la détection de relations entières, les algorithmes existants se heurtent à des obstacles importants. Spécifiquement, il existe un manque de méthodes efficaces pour calculer une base explicite de l'homologie singulière des variétés de dimension supérieure. Les approches précédentes, telles que celles de Sertöz (2019) pour les hypersurfaces lisses, reposent sur des déformations globales vers des hypersurfaces de Fermat, ce qui aboutit à des équations différentielles de Picard–Fuchs dont la taille et la complexité sont souvent prohibitives. De plus, l'intégration numérique directe sur des cycles de haute dimension souffre d'une complexité exponentielle par rapport à la précision.

Méthodologie
Les auteurs proposent un nouvel algorithme qui entremêle le calcul d'une base d'homologie explicite avec l'évaluation numérique des périodes. La méthode est fondée sur la théorie de Picard–Lefschetz et procède par induction sur la dimension de l'hypersurface.

1. Configuration de la fibration de Lefschetz : L'algorithme considère un faisceau générique d'hyperplans $\{H_t\}_{t \in \mathbb{P}^1}$ intersectant l'hypersurface $X$. Cela induit une fibration de Lefschetz $f: Y \to \mathbb{P}^1$, où $Y$ est le soufflage de $X$ le long du lieu de base. Les fibres $X_t = X \cap H_t$ sont des hypersurfaces de dimension $n-1$.
2. Action de monodromie : Le cœur de la reconstruction de l'homologie repose sur le calcul de l'action de monodromie du groupe fondamental $\pi_1(\mathbb{P}^1 \setminus \Sigma)$ (où $\Sigma$ est l'ensemble des valeurs critiques) sur l'homologie d'une fibre générique $H_{n-1}(X_b)$. Cette action est calculée en utilisant la formule de Picard–Lefschetz, qui relie la monodromie aux cycles évanescents.
3. Dualité et systèmes différentiels : Au lieu de calculer la monodromie directement sur l'homologie, l'algorithme la calcule via la dualité avec la cohomologie de De Rham. Il utilise la connexion de Gauss–Manin pour dériver un système d'équations différentielles linéaires (équations de Picard–Fuchs) satisfaites par les périodes de la fibre $X_b$.
4. Continuité analytique numérique : L'algorithme emploie la continuité analytique numérique de fonctions différentiellement finies (en utilisant le package ore_algebra dans SageMath) pour calculer les matrices de monodromie avec des bornes d'erreur rigoureuses. Cette étape permet la reconstruction de la base d'homologie de $X$ à partir des thimbles (thimbles de Lefschetz) associés aux points critiques de la fibration.
5. Intégration des périodes : Pour calculer les périodes de $X$, l'algorithme intègre les périodes variables des fibres $X_t$ le long de chemins dans la base $\mathbb{P}^1$. En exprimant l'intégrande comme un multiple rationnel de solutions de la connexion de Gauss–Manin, l'intégration est effectuée à l'aide d'algorithmes pour fonctions différentiellement finies. Cette approche atteint une complexité quasi linéaire par rapport au nombre de chiffres de précision, une amélioration significative par rapport à la complexité polynomiale des méthodes de quadrature standard.
6. Reconstruction de réseau : Pour les surfaces ($n=2$), la méthode étend le calcul du produit d'intersection sur $H_2(X)$ et identifie les diviseurs exceptionnels issus du soufflage, permettant le calcul rigoureux du réseau de Néron–Severi.

Contributions clés

• Base d'homologie explicite : L'article introduit le premier algorithme capable de calculer une base explicite pour l'homologie singulière des hypersurfaces projectives lisses dans des dimensions arbitraires, un prérequis pour le calcul des périodes qui constituait auparavant un obstacle majeur.
• Algorithme efficace : La méthode proposée est plus efficace que l'approche de déformation globale (Sertöz, 2019) car les équations de Picard–Fuchs associées à un faisceau de sections hyperplanes sont généralement beaucoup plus petites que celles associées à une déformation globale vers une hypersurface de Fermat.
• Bornes d'erreur rigoureuses : L'utilisation de la continuité analytique numérique fournit des bornes d'erreur rigoureuses pour les périodes calculées, garantissant que la précision est suffisante pour récupérer des relations entières exactes.
• Implémentation SageMath : Les auteurs fournissent une implémentation complète dans SageMath (package lefschetz-family), rendant ces calculs accessibles.

Résultats et expériences
Les auteurs valident leur algorithme par des expériences approfondies :

• Performance : Sur un ordinateur portable standard, l'algorithme calcule les périodes d'une surface quartique lisse (une surface K3) avec 300 chiffres décimaux de précision en environ une heure. Cela contraste nettement avec les méthodes précédentes, qui échouaient souvent à se terminer dans des délais raisonnables ou avec des limites de mémoire acceptables (dépassant par exemple 500 Go de RAM) pour des tâches similaires.
• Échelle de précision : La complexité est quasi linéaire par rapport à la précision ; doubler le nombre de chiffres double approximativement le temps de calcul.
• Applications aux invariants :
  • Rang de Picard : L'algorithme a calculé avec succès les rangs de Picard génériques de diverses familles de surfaces quartiques, vérifiant les résultats théoriques de Bouyer (2018) et conjecturant de nouveaux rangs génériques pour des familles de polynômes symétriques.
  • Vérification d'isomorphisme : La méthode a été utilisée pour vérifier numériquement que deux surfaces quartiques lisses spécifiques, connues pour être isomorphes en tant que variétés abstraites mais non équivalentes au sens de Cremona, possèdent une isométrie de Hodge entre leurs réseaux d'homologie.
  • Nouveaux exemples : Les auteurs ont fourni des équations définissantes explicites pour des surfaces K3 quartiques lisses avec des rangs de Picard 2, 3 et 5, comblant ainsi les lacunes de la littérature existante.
  • Application en physique : La méthodologie a été adaptée pour calculer les périodes d'une famille de surfaces quartiques singulières issues du graphe de Feynman "Tardigrade", démontrant le potentiel de traitement des variétés non lisses et des fibrations elliptiques.

Signification et revendications
L'article affirme que sa contribution principale est le calcul effectif des périodes pour les hypersurfaces projectives lisses en résolvant le problème de l'« homologie explicite ». Les auteurs soulignent que leur méthode est intrinsèque, s'appuyant sur la géométrie de l'hypersurface elle-même plutôt que sur une déformation spécifique vers un cas connu. Cette nature intrinsèque suggère que la méthodologie a le potentiel d'être étendue au-delà des hypersurfaces projectives lisses vers d'autres variétés, comme l'exemple de la surface K3 singulière fourni.

Les auteurs maintiennent un ton modeste concernant la portée du travail, notant que bien que l'implémentation actuelle cible les hypersurfaces lisses, les principes sous-jacents (théorie de Picard–Lefschetz et reconstruction d'homologie effective) sont suffisamment robustes pour gérer des cas plus complexes, tels que les surfaces nodales, avec des ajustements ad hoc. Ce travail comble le fossé entre la géométrie algébrique théorique et les mathématiques expérimentales, permettant l'investigation numérique de haute précision des invariants algébriques qui étaient auparavant inaccessibles.