The solution on the geography-problem of non-formal compact (almost) contact manifolds

Cet article démontre l'existence de variétés de contact (presque) compactes non formelles de dimension $m$ avec un premier nombre de Betti $b_1=b$, pour des entiers naturels $m$ et $b$ spécifiques, incluant le cas simplement connexe lorsque $b=0$ et $m \ge 7$.

L'essentiel

Imaginez que l'univers mathématique est rempli de formes géométriques complexes appelées variétés. Certaines de ces formes sont "simples" et bien rangées, comme une maison avec une structure claire où chaque pièce a un but précis. D'autres sont "tordues", avec des pièces qui s'entremêlent de manière bizarre, créant des structures cachées et imprévisibles.

En mathématiques, on appelle les formes bien rangées formelles et les formes tordues non-formelles.

L'auteur de cet article, Christoph Bock, s'est posé une question fascinante : Peut-on construire des formes "tordues" (non-formelles) qui ont aussi une structure très spécifique appelée "contact" ?

Pour faire simple, une structure "contact" est comme un système de vent ou de courant qui tourne autour d'un objet en 3D (ou plus de dimensions), empêchant tout de glisser trop facilement. C'est une propriété très rigide, comme si la forme était "verrouillée" dans une danse spécifique.

Voici ce que l'article nous dit, expliqué avec des images simples :

1. Le Défi du "Géographe"

Imaginez que vous êtes un architecte qui doit construire des bâtiments (des variétés) dans un monde à dimensions multiples.

• Vous avez deux critères : la taille du bâtiment (le nombre de dimensions, noté m) et le nombre de trous qu'il possède (un nombre mathématique appelé b1, comme le nombre de tunnels dans un fromage suisse).
• Les mathématiciens savaient déjà qu'il était facile de construire des bâtiments "tordus" (non-formels) s'ils étaient grands et avaient beaucoup de trous.
• Mais le vrai défi était de trouver des bâtiments "tordus" qui étaient petits (peu de dimensions) ou sans aucun trou (simplement connectés), tout en ayant cette structure de "contact" spéciale.

2. La Révolution de l'Auteur

Avant cet article, on pensait que pour avoir une forme "tordue" avec une structure de contact, il fallait soit beaucoup de dimensions, soit beaucoup de trous.
Christoph Bock dit : "Non ! On peut faire mieux."

Il prouve deux choses majeures :

• Le cas des 5 dimensions : Il a construit un bâtiment à 5 dimensions (un peu comme un objet dans notre monde 3D, mais avec 2 dimensions de plus) qui est "tordu", n'a qu'un seul petit trou, et possède la structure de contact. C'est comme trouver une petite maison tordue qui tourne sur elle-même sans jamais s'effondrer.
• Le cas des 7 dimensions et plus : Il montre qu'on peut même construire ces formes "tordues" sans aucun trou du tout (simplement connectées). Imaginez une sphère parfaite, sans aucun tunnel, mais qui, à l'intérieur, cache une structure mathématique si complexe et tordue qu'elle ne peut pas être simplifiée.

3. Comment a-t-il fait ? (L'Analogie des Lego et des Tapis)

Pour construire ces formes, l'auteur utilise des outils mathématiques puissants :

• Les Solvmanifolds (Des Lego géants) : Il commence par des groupes de symétrie abstraits (des règles de construction) et y "colle" des grilles (des réseaux) pour créer des formes finies. C'est comme prendre une pâte infinie et la couper en tranches pour faire un gâteau fini.
• Les Produits de Massey (Les Tapis Tordus) : C'est l'outil secret pour prouver que la forme est "tordue". Imaginez trois tapis posés les uns sur les autres. Si vous essayez de les lisser, vous trouvez un nœud impossible à défaire. En mathématiques, si vous trouvez ce genre de "nœud" (appelé produit de Massey), cela prouve que la forme est intrinsèquement complexe et ne peut pas être simplifiée (elle est non-formelle).

L'auteur montre que dans ses constructions, ces "nœuds" existent bel et bien.

4. Pourquoi est-ce important ?

C'est une découverte surprenante car, jusqu'à présent, on pensait que les structures "contact" (comme celles qu'on trouve en physique des fluides ou en mécanique) étaient trop rigides pour permettre ce genre de complexité mathématique.

C'est comme si quelqu'un vous disait : "Les voitures ne peuvent pas rouler sur la lune." Et soudain, vous construisez une voiture qui y roule parfaitement. Cela change notre compréhension de ce qui est possible dans l'univers des formes géométriques.

En résumé :
Christoph Bock a réussi à dessiner les plans de nouvelles formes géométriques étranges et tordues, qui existent dans des dimensions que nous ne pouvons pas voir, et qui possèdent une structure de rotation très stricte. Il a prouvé que même les formes les plus "pures" (sans trous) peuvent cacher des secrets mathématiques très complexes. C'est une victoire pour la géographie des formes !

Résumé technique

Voici un résumé technique détaillé du papier arXiv:2104.03031v8 de Christoph Bock, intitulé « The solution on the geography-problem of non-formal compact (almost) contact manifolds ».

1. Problématique et Contexte

Le papier s'inscrit dans le domaine de la topologie différentielle et de la géométrie symplectique/contacte, plus précisément dans l'étude de la géographie des variétés non-formelles.

• Définitions clés : Une variété $M$ est dite formelle si son modèle minimal (algèbre différentielle graduée minimale associée à son complexe de de Rham) est quasi-isomorphe à sa cohomologie munie de la différentielle nulle. La non-formalité est souvent détectée par la présence de produits de Massey non triviaux.
• Contexte antérieur :
  • Fernández et Muñóz ([9]) ont résolu le problème de géographie pour les variétés compactes orientées : une variété non-formelle de dimension $m$ avec un premier nombre de Betti $b_1=b$ existe si et seulement si $(m \ge 3, b \ge 2)$, $(m \ge 5, b=1)$ ou $(m \ge 7, b=0)$.
  • Pour les variétés symplectiques (dimension paire), des résultats similaires ont été établis.
  • Pour les variétés de contact (dimension impaire $m=2n+1$), il était connu qu'il existe des variétés non-formelles pour $m$ impair et $b \ge 2$ ([2]), ainsi que pour $m \ge 7$ et $b=0$ (simplement connexes, [1]).
• Le problème ouvert : Le papier vise à combler les lacunes restantes dans la classification des variétés de contact compactes non-formelles, spécifiquement pour les cas :
  1. Dimension $m=5$ avec $b_1=1$.
  2. Dimension $m \ge 7$ (impair) avec $b_1=1$.

2. Méthodologie

L'auteur utilise une approche combinant la théorie des groupes de Lie, la géométrie des solvvariétés et la topologie algébrique (produits de Massey).

A. Réduction aux solvvariétés

L'approche repose sur la construction de variétés de contact comme des quotients de groupes de Lie par des réseaux (solvvariétés).

• Théorème 1.6 (Proposition 1.6) : Toute variété presque contacte admet une structure de contact. Cela réduit le problème à l'étude des variétés presque contactes.
• Proposition 2.1 : Si un groupe de Lie connexe $H$ possède une structure de variété presque complexe, alors tout quotient de $R \ltimes H$ par un réseau admet une structure de contact.
• L'auteur analyse les groupes de Lie résolubles de dimension 5 ($G_{i.j}$ selon la classification de [3]) pour identifier ceux qui admettent des réseaux et des structures presque complexes/symplectiques.

B. Outils de non-formalité : Produits de Massey

Pour prouver la non-formalité, l'auteur utilise les produits de Massey (triples) et les $a$-produits de Massey.

• Lemme 3.1 & 3.2 : Si une algèbre différentielle graduée minimale est formelle, tous les produits de Massey (et $a$-produits) s'annulent.
• Corollaire 3.3 : La présence d'un produit de Massey non nul dans le complexe de de Rham implique que la variété n'est pas formelle.

C. Construction par Fibration de Boothby-Wang

Pour passer de la dimension $2n$(symplectique) à$2n+1$ (contacte) :

• On part d'une variété symplectique compacte $(M, \omega)$ dont la classe de cohomologie $[\omega]$ est entière.
• On construit la fibration principale de Boothby-Wang : $S^1 \to E \xrightarrow{\pi} M$, où $E$ est une variété de contact compacte.
• La suite exacte de Gysin est utilisée pour calculer la cohomologie de $E$ et vérifier la non-formalité via les produits de Massey sur $E$.

3. Résultats Principaux

Le papier établit les théorèmes suivants, complétant ainsi la géographie des variétés de contact non-formelles :

Théorème 1.4 (Dimension 5)

Il existe une variété de contact compacte de dimension 5, non-formelle, avec un premier nombre de Betti $b_1 = 1$.

• Preuve : Construction d'une solvvariété comme quotient du groupe de Lie presque abélien $G^{-1}_{5.15}$ par un réseau. Cette variété est non-formelle (démontré dans [3]) et, par le Théorème 2.2, admet une structure de contact.

Théorème 1.5 (Dimensions impaires $m \ge 7$)

Pour tout entier impair $m \ge 7$, il existe une variété de contact compacte de dimension $m$ avec $b_1 = 1$ qui est non-formelle.

• Preuve (Cas $m=7$) :
  1. Utilisation du groupe de Lie résoluble complètement $G := G^{-1}_{6.15}$ et d'un réseau $\Gamma$.
  2. Calcul explicite de la cohomologie de la solvvariété $M = \Gamma \backslash G$ en utilisant le théorème de Hattori.
  3. Identification d'une forme symplectique $\tilde{\omega}$ sur $M$ dont la classe est entière.
  4. Construction de la variété de contact $E$ (dimension 7) via la fibration de Boothby-Wang sur $M$.
  5. Démonstration de la non-formalité : L'auteur calcule un produit de Massey triple $\langle [x_6], [x_6], [\tilde{\omega}] \rangle$ sur $M$ qui est non nul (égal à $[x_{456}]$). En utilisant la suite de Gysin, il montre que le produit de Massey correspondant sur $E$, $\langle \pi^*[x_6], \pi^*[x_6], \pi^*[\tilde{\omega}] \rangle$, est également non nul.
• Généralisation ($m > 7$) : Pour $m = 2n+1$ avec $n \ge 4$, on considère le produit $M \times (S^2)^{n-3}$. Ces produits sont symplectiques et, par le Lemme 3.4 (le produit de variétés formelles est formelle, donc l'inverse), ils restent non-formels. La construction de Boothby-Wang s'applique ensuite.

Théorème 1.3 (Cas simplement connexe, $m \ge 7$)

Bien que mentionné comme déjà connu ([1]), l'auteur propose une preuve alternative plus courte pour $m \ge 13$ en utilisant un exemple de Cavalcanti ([6]) d'une variété symplectique simplement connexe non-formelle de dimension 12, puis en appliquant la construction de Boothby-Wang.

4. Signification et Contributions

1. Résolution complète du problème de géographie : Ce papier complète la classification des variétés de contact compactes non-formelles. Il démontre que les seules contraintes pour l'existence de telles variétés sont celles énoncées dans le Théorème 1.1 (adaptées à la dimension impaire) :
   • $m \ge 5, b_1 \ge 2$ (déjà connu).
   • $m \ge 5, b_1 = 1$ (résolu ici pour $m=5$ et $m \ge 7$).
   • $m \ge 7, b_1 = 0$ (déjà connu).
2. Distinction entre structures de contact et structures de Sasakian :
   • L'auteur note que la formalité n'est pas un obstacle à l'existence de structures de Sasakian (qui sont un sous-ensemble des structures de contact).
   • Puisque des variétés de contact non-formelles existent (comme celles construites ici), cela signifie que l'on ne peut pas distinguer les variétés admettant une structure de Sasakian de celles qui n'en admettent pas simplement en vérifiant la formalité.
3. Méthodologie constructive : L'article fournit des constructions explicites basées sur des groupes de Lie résolubles et des fibrations, offrant des exemples concrets et calculables de variétés non-formelles, ce qui est crucial pour tester des conjectures en topologie symplectique et de contact.

En résumé, Christoph Bock démontre que la non-formalité est une propriété accessible pour les variétés de contact compactes dans presque toutes les dimensions impaires et configurations de nombres de Betti permises par la topologie, en utilisant des solvvariétés et des fibrations de Boothby-Wang.