Twisted cohomology on algebraic and analytic varieties

Résumé Technique : Cohomologie Tordue sur les Variétés Algébriques et Analytiques

Énoncé du Problème
L'article aborde le défi de définir et de calculer la « cohomologie tordue » sur les variétés algébriques, s'inspirant de ses équivalents bien établis en géométrie analytique complexe (spécifiquement la cohomologie de Morse-Novikov ou de Lichnerowicz). Alors que la cohomologie tordue sur les variétés différentiables et les variétés complexes est définie via un opérateur différentiel déformé $d_\omega = d + \omega \wedge$ (où $\omega$ est une 1-forme fermée), l'extension de cette notion à la catégorie algébrique présente des obstructions significatives.

La difficulté principale réside dans la rareté des formes différentielles algébriques globales sur les variétés projectives. Contrairement au cas analytique, où des formes holomorphes ou lisses globales peuvent exister, les fonctions régulières globales sur une variété projective sont constantes (selon le théorème de Liouville et la nature des variétés projectives), ce qui implique que les 1-formes algébriques globales dérivées de la dérivée extérieure de fonctions globales sont triviales. Par conséquent, un « paramètre de torsion » global (une 1-forme fermée utilisée pour déformer la différentielle) n'existe pas naturellement sur les variétés projectives générales. L'article cherche à identifier les contraintes structurelles nécessaires sur les variétés algébriques pour permettre l'existence de tels paramètres et à établir une comparaison rigoureuse entre les cohomologies tordues algébriques et analytiques.

Méthodologie
Les auteurs adoptent une approche multifacette combinant géométrie algébrique, analyse complexe et théorie des faisceaux :

1. GAGA et Comparaison Analytique : L'article utilise les théorèmes GAGA (Géométrie Algébrique et Géométrie Analytique) de Serre pour relier les variétés algébriques $X$ à leurs variétés analytiques sous-jacentes $X^h$. Il examine comment les paramètres de torsion dans le cadre analytique (spécifiquement les $(0,1)$-formes $\eta$ pour le complexe de Dolbeault) correspondent aux paramètres algébriques.
2. Identification des Paramètres de Torsion : Deux méthodes pour identifier les paramètres de torsion algébriques avec leurs équivalents analytiques sont proposées :
   • Paramètre Conjugué : Prendre le conjugué complexe d'une 1-forme holomorphe globale (dérivée d'une forme algébrique) pour obtenir une $(0,1)$-forme.
   • Paramètre Contracté : Contracter une $(0,1)$-forme holomorphe à valeurs vectorielles (différentielle de Beltrami) avec une 1-forme holomorphe, sous la condition que le crochet $[\mu, \mu] = 0$ pour assurer la fermeture.
3. Restriction aux Variétés Abéliennes : Les auteurs soutiennent que pour qu'un paramètre de torsion algébrique global existe sur une variété projective, la variété doit posséder une structure de groupe abélien (c'est-à-dire être une variété abélienne). Cela est justifié par l'existence de 1-formes holomorphes globales non triviales sur les variétés abéliennes (et les courbes elliptiques), lesquelles sont absentes sur les variétés projectives générales.
4. Structures Logarithmiques et Théorème de Deligne : Reconnaissant que les formes régulières globales sont insuffisantes, l'article introduit des structures logarithmiques. Il postule que la variété doit être équipée d'un diviseur à croisements normaux (via la compactification de Hironaka) pour définir des 1-formes logarithmiques. Les auteurs invoquent le théorème de Deligne sur les connexions régulières, qui établit un isomorphisme entre la cohomologie de de Rham algébrique à coefficients dans un fibré vectoriel muni d'une connexion régulière et son équivalent analytique, à condition que la connexion possède des pôles logarithmiques.
5. Faisceaux de Poids et Connexions Plates : La cohomologie tordue est réinterprétée comme la cohomologie d'un fibré en droites plat (faisceau de poids) muni d'une connexion $\nabla = d + \omega$. La nilpotence de la dérivée tordue correspond à la platitude de cette connexion.
6. Calculs Explicites : L'article effectue des calculs élémentaires sur des cas affines et projectifs (spécifiquement des courbes elliptiques poinçonnées et des courbes elliptiques avec diviseurs logarithmiques) pour démontrer le comportement du complexe tordu.

Contributions et Résultats Clés

• Contraintes d'Existence : L'article établit que pour qu'une variété algébrique projective puisse supporter un paramètre de torsion algébrique global compatible avec le cas analytique, elle doit essentiellement être une variété abélienne. Pour les variétés non abéliennes, l'existence de tels paramètres est liée aux structures logarithmiques sur les diviseurs.
• Isomorphisme des Cohomologies :
  • Cas Analytique : L'article prouve (Théorème 1) que si deux paramètres de torsion analytiques $\psi_1$ et $\psi_2$ sont cohomologues (diffèrent par une forme exacte $\partial f/f$), leurs cohomologies de Dolbeault tordues sont isomorphes. Cela est démontré via une application de chaîne impliquant la multiplication par une fonction $f$ (ou $e^{-r}$).
  • Cas Algébrique : Un résultat similaire (Théorème 3) est prouvé pour les 1-formes algébriques logarithmiques. Si deux paramètres de torsion algébriques diffèrent par une forme exacte logarithmique $dg/g$, les cohomologies tordues algébriques résultantes sont localement isomorphes.
• Calcul sur les Courbes :
  • Pour une courbe elliptique poinçonnée (cas affine), les auteurs calculent que la cohomologie tordue de degré zéro s'annule ($H^0_\omega = 0$) car aucune fonction algébrique non nulle ne satisfait la condition de fermeture tordue sans être transcendante. La première cohomologie voit sa dimension réduite par rapport à la cohomologie de de Rham standard.
  • Pour une courbe elliptique projective avec un diviseur logarithmique, la cohomologie de degré zéro s'annule (car les sections globales sont constantes), et la première cohomologie est calculée en utilisant des suites spectrales et les résultats de dégénérescence de Deligne.
• Extension Logarithmique : L'article démontre que la cohomologie tordue algébrique peut être efficacement calculée en utilisant le complexe de de Rham logarithmique sur une compactification de Hironaka. Cela permet d'utiliser des outils de la théorie de la cohomologie logarithmique pour gérer les « singularités » à l'infini requises pour que le paramètre de torsion existe globalement.

Signification et Revendications
L'article prétend fournir une étude fondamentale et élémentaire de la cohomologie tordue spécifiquement dans le contexte des variétés algébriques, la distinguant des travaux antérieurs qui se concentraient sur les aspects logarithmiques ou les variétés complexes.

• Motivation : Le travail est motivé par le désir de déformer le complexe de de Rham algébrique de manière similaire à la déformation du complexe de Dolbeault en géométrie complexe (en référence aux travaux [13, 14, 15]).
• Portée Modeste : Les auteurs déclarent explicitement ne pas inclure d'applications étendues ou de propositions expérimentales. Au lieu de cela, l'article se concentre sur la motivation de la définition de la cohomologie tordue algébrique, la clarification des contraintes sur les variétés sous-jacentes (nécessitant des structures abéliennes ou des diviseurs logarithmiques), et la fourniture de « calculs simples » pour illustrer la théorie.
• Pont Théorique : La signification réside dans le comblement de l'écart entre la cohomologie tordue analytique (sensible à la structure complexe) et la cohomologie algébrique (qui est topologique au sens de de Rham standard). L'article suggère qu'en introduisant des structures logarithmiques et des connexions régulières, on peut retrouver un isomorphisme entre les théories tordues algébrique et analytique, résolvant ainsi l'obstruction causée par l'absence de formes algébriques globales sur les variétés projectives générales.

En résumé, l'article soutient que la cohomologie tordue algébrique est un concept viable uniquement lorsque la variété est une variété abélienne ou est équipée d'une structure logarithmique, et il fournit le cadre théorique et des exemples de calcul de base pour soutenir cette définition.