Une hypersurface $S$ (qu'on supposera toujours compacte) d'une variété symplectique $(W,\omega)$ porte un feuilletage naturel appelé feuilletage caractéristique. Une question classique est de savoir si ce feuilletage a au moins une feuille fermée.
Dans $R^{2n}$ par exemple, si $S$ est de type contact, on sait depuis les travaux de C. Viterbo que la conjecture de Weinstein est vraie, c'est à dire qu'il existe toujours au moins une caracéristique fermée sur $S$. Si $S$ n'est pas de type contact, on sait qu'elle peut ne pas avoir de caractéristique fermée, mais un résultat célèbre de Zehnder et Struwe montre qu'il y en a "presque sûrement" dans le sens suivant: une hypersurface $S={ H=c }$ donnée comme niveau d'un Hamiltonien propre $H$ a la propriété d'existence presque sûre de caractéristique fermée si, pour presque tout niveau $c'$ dans un voisinage de $c$, l'hypersurface $S'={ H=c' }$ porte une caractéristique fermée.
La question initiale se décline alors pour l'existence presque sûre:
Q1: Pour une hypersurface donnée $S$ dans $W$, à quelle condition a-t-elle cette propriété d'existence presque sûre?
Q2: A quelle condition sur $W$ est-ce que toutes les hypersurfaces compactes de $W$ ont cette propriété d'existence presque sûre?
Le but de l'exposé est de présenter des réponses à ces deux questions quand $W=T^*Q$ est un cotangent, et d'expliquer comment l'homologie de Floer "à coefficients locaux enrichis" peut-être utilisée pour cela.
comments