Conjecture de Haken virtuelle
From Wikipedia, the free encyclopedia
En topologie, une branche des mathématiques, la conjecture de Haken virtuelle est l'énoncé disant que toute variété compacte, orientable et irréductible de dimension 3 à groupe fondamental infini, est virtuellement de Haken. Autrement dit, elle possède un revêtement fini (un espace de revêtement muni d'une application de revêtement d'images inverses finie) qui est une variété de Haken.
Après la démonstration de la conjecture de géométrisation par Grigori Perelman, la conjecture n'était plus ouverte que pour les 3-variétés hyperboliques.
Énoncé
La conjecture est généralement attribuée à Friedhelm Waldhausen et figure dans un article de 1968[1] même s'il ne l'a pas énoncée formellement. La conjecture est énoncée formellement comme le problème 3.2 dans la liste des problèmes de Robion Kirby.
Démonstrations
Une démonstration de la conjecture a été annoncée le 12 mars 2012 par Ian Agol lors d'un séminaire à l'Institut Henri Poincaré. Cette démonstration a paru peu après sous forme d'une prépublication, puis elle a été publiée dans Documenta Mathematica[2]. La preuve repose sur une stratégie issue de travaux antérieurs de Daniel Wise et ses collaborateurs, utilisant les actions du groupe fondamental sur certains espaces auxiliaires (des complexes cubiques CAT(0), également appelés graphes médians)[3]. Elle utilise comme élément essentiel la solution de la conjecture sur les sous-groupes de surface obtenue peu auparavant par Jeremy Kahn et Vladimir Marković[4],[5]. Parmi les autres résultats directement utilisés dans la démonstration d'Agol figurent le théorème du quotient spécial malnormal de Wise et un critère de Nicolas Bergeron et Wise pour la cubulation des groupes[6].
En 2018, des résultats connexes ont été obtenus par Piotr Przytycki et Daniel Wise, prouvant que les 3-variétés mixtes sont également virtuellement spéciales, c'est-à-dire qu'elles peuvent être cubulées dans un complexe cubique avec un revêtement fini où tous les hyperplans sont plongés, ce qui, d'après les travaux mentionnés précédemment, peut être rendu virtuellement Haken[7],[8].
Une autre démonstration, par Charitos Charalampos est annoncée en 2025[9].
