Utilisateur:Ɯ/Homologie de Khovanov

L'Homologie de Khovanov, en mathématiques, est un outil qui permet de distinguer des nœuds et entrelacs orientés. Il s'agit d'un invariant topologique qui ne dépend pas de la configuration du nœud.

Elle s'appuye sur la construction d'objets algébriques qui correspondent aux résolutions des croisements.


Introduction

modifier

L'invariant de Khovanov se calcule à partir d'un diagramme du nœud en question (c'est-à-dire une projection générique où les croisements - par-dessus ou par-dessous - sont connus). Chaque croisement peut être "résolu" en remplaçant sa vicinité comme indiqué sur la figure suivante:


On obtient alors   résolutions (  étant le nombre de croisements), correspondant aux choix des résolutions. Or, une résolution complète n'est autre qu'une somme disjointe de   plongements d'1-sphères dans le plan. Les résolutions complètes voisines (égales à un croisement près) sont reliées par une surface, qui joue un rôle dans la compréhension intuitive aussi bien que dans la construction formelle qui suit.

Synopse

modifier
Tableau
Élément Polynôme "Crochet" de Kauffman[1] Homologie de Khovanov
nœud trivial  
somme  
croisement     =       


Détection du noeud trivial

modifier

Une preuve, faisant appel à l'homologie de Floer, a été publiée en 2010 que l'Homologie de Khovanov réduite distingue le nœud trivial.

Notes et références

modifier
  1. modifié, d'après Khovanov (2000) et Bar-Natan (2002)