Invariants spectraux de contact – cospin

La conjecture d'Arnold a amené à la découverte de certaines des techniques les plus puissantes en topologie symplectique, telles les fonctions génératrices et l'homologie de Floer. La méthode des fonctions génératrices (basée sur la théorie de Morse classique) est relativement simple mais ne s'applique qu'à une classe restreinte de variétés. En revanche, l'homologie de Floer est une théorie de Morse sophistiquée en dimension infinie qui utilise des méthodes de courbes holomorphes introduites par Gromov. Techniquement cette théorie est plus difficile, mais fournit un cadre qui s'applique dans une grande généralité. Les deux théories ont été utilisées pour définir des «invariants spectraux« associés aux difféomorphismes hamiltoniens, un outil fondamental pour l'étude (en particulier) des problèmes de non-tassement, de la métrique de Hofer et de la dynamique hamiltonienne. La construction des invariants spectraux basée sur les fonctions génératrices (et introduite par Viterbo) a été généralisée au cas de contact par Sandon en 2009 et utilisée pour redémontrer le théorème de non-tassement de contact. Cette nouvelle preuve a inspiré la construction d'une métrique bi-invariante sur le groupe des contactomorphismes et la découverte de la notion de points translatés, qui a permis de formuler un analogue de contact de la conjecture d'Arnold. En plus de continuer à développer la théorie des fonctions génératrices et ses applications aux phénomènes de rigidité, nous voulons construire des invariants spectraux de contact en utilisant les courbes holomorphes, pour obtenir un cadre plus général où étudier la rigidité de contact. Finalement, un troisième ingrédient important du projet est de continuer la recherche sur les invariants spectraux en topologie symplectique et dynamique hamiltonienne. En plus de son intérêt intrinsèque, tout progrès dans cette direction conduit à un analogue de contact et donc à des implications intéressantes pour le thématique discutée ci-dessus.

Le preuve du théorème de non-tassement de contact via les fonctions génératrices a montré le rôle crucial joué dans ce phénomène par les points translatés des contactomorphismes. Tandis que les fonctions génératrices ne s'appliquent qu'à une classe restreinte de variétés, la notion de points translatés est toujours définie et permet de formuler un analogue de contact de la conjecture d'Arnold. Motivée par cette conjecture, Sandon est en train de développer une homologie de Floer des points translatés. Cette théorie est sur le point d'être terminée dans un cas relativement simple (le cas dit «hypertendu«) et nous espérons que cela pourra servir de point de départ pour définir des invariants spectraux de contact et étudier les phénomènes de rigidité dans un cadre plus général que celui où s'appliquent les fonctions génératrices. Entre-temps Leclercq et Mazzucchelli ont indépendamment continué l'étude des invariants spectraux et de leurs applications en topologie symplectique et dynamique hamiltonienne, et Ferrand a travaillé avec Limouzineau sur la question consistant à déterminer, par une approche constructive, quels plongements legendriens peuvent être réalisés (ou pas) par des techniques de type «fonctions génératrices standard à l'infini«. Finalement, en collaboration avec Ghiggini, Golovko et Rizell, Chantraine a développé une théorie de Floer pour les cobordismes lagrangiens permettant de relier l'homologie singulière d'un cobordisme lagrangien à un invariant de contact (l'homologie de contact legendrienne) de ses extrémités. En collaboration avec Colin il a utilisé cette théorie pour donner des obstructions à l'existence de certains lacets positifs contractiles de sous-variétés legendriennes dans les variétés hypertendues ce qui a pour corollaire de prouver que celles-ci sont ordonnables.

Nous espérons que l'homologie de Floer des points translatés fournira un outil permettant de généraliser au cas de contact (certains aspects de) la théorie des invariants spectraux, dans un cadre plus général que le cadre délimité par les fonctions génératrices. Nous nous attendons aussi à des interactions intéressantes à explorer entre cette théorie et d'autres théories de type Floer en topologie de contact (homologie de contact, homologie de contact legendrienne, SFT) et avec la théorie de Floer pour les cobordismes lagrangiens actuellement développée par Chantraine et ses collaborateurs. Concernant également les relations entre sous-variétés legendriennes et transformations de contact, Leclercq a commencé (en collaboration avec Seyfaddini) l'étude de la rigidité des legendriennes sous l'action des homéomorphismes de contact. Ce projet fait intervenir une nouvelle capacité dont nous voulons étudier les relations avec les invariants spectraux. Les résultats obtenus par Chantraine en collaboration avec Colin devraient s'appliquer à un cadre plus général que celui des variétés hypertendues, maintenant que la théorie de l'homologie de contact est définie dans un cadre plus large grâce aux travaux récents de Pardon. Tandis que les projets mentionnés jusqu'ici utilisent surtout des techniques de courbes holomorphes, nous voulons aussi continuer à développer la théorie des fonctions génératrices. En effet nous espérons que la simplicité relative et le point de vue différent apportés par cette théorie (lorsqu'elle est applicable) pourraient permettre (comme cela a déjà été le cas par le passé) de découvrir de nouveaux phénomènes, qui s'avéreraient plus difficiles à déceler parmi les technicités de théories plus sophistiquées.

Les travaux mentionnés ci-dessus ont donné lieu à:
- 4 publications dans des revues (à comité de lecture) internationales,
- 1 publication dans une revue (à comité de lecture) française,
- 5 pré-publications disponibles sur l'arXiv.
Ils ont également été discutés lors de:
- 12 conférences mathématiques internationales,
- 2 conférences mathématiques françaises,
- nombre d'exposés donnés dans les départements de nombreuses universités tant françaises qu'étrangères.

Notre projet concerne la topologie de contact et la topologie symplectique.

Le premier but principal de cette collaboration est d'essayer de généraliser à la géométrie de contact, en partant des invariants spectraux de contact introduits récemment par Sandon, ce qui est connu concernant les invariants spectraux en topologie symplectique et en dynamique hamiltonienne (en particulier, ce qui a été étudié par Leclercq et Mazzucchelli) et utiliser ces propriétés pour en déduire des applications concernant les phénomènes de rigidité de type contact tels que le non-écrasement, et l'ordonnabilité, les points translatés, les métriques bi-invariantes et les quasimorphismes du groupe des contactomorphismes.

Notre second but principal est de trouver de nouvelles interactions entre les phénomènes de rigidité évoqués ci-dessus (qui peuvent être vus comme des phénomènes de rigidité globale des contactomorphismes) et les phénomènes de rigidité des sous-variétés legendriennes tels qu'étudiés récemment (entre autres) par Chantraine. Dans le but de réaliser ce programme, nous comptons utiliser le cadre fourni par les fonctions génératrices et/ou les techniques de courbes holomorphes, tout en essayant de profiter également des interactions entre ces deux méthodes.

Dans une autre partie importante de ce projet, nous désirons également continuer l'étude des invariants spectraux symplectiques et leurs applications aux propriétés géométriques et dynamiques des difféomorphismes hamiltoniens ainsi qu'à l'étude de la géométrie des ensembles de sous-variétés lagrangiennes des variétés symplectiques. Au-delà de son intérêt intrinsèque, nous considérons cette partie aussi comme un environnement commun et une source d'inspiration pour les deux buts principaux décrits ci-dessus.