Énoncé reliant le type d'homotopie d'un espace topologique recouvert par une famille d'ensembles au nerf simplicial de ce recouvrement : si un recouvrement est « bon » (chaque intersection finie non vide d'ensembles du recouvrement est contractile), alors le complexe simplicial du nerf est équivalent en homotopie à l'union (l'espace original).

Principe

Sous des hypothèses garantissant la contractilité locale des intersections finies, le nerf combinatoire encode suffisamment de données d'intersection pour retrouver le type d'homotopie global ; des modèles simpliciaux combinatoires peuvent donc remplacer l'espace continu pour des questions d'homotopie.

Démonstration

Pour un bon recouvrement ouvert d'une variété par cartes contractiles (par exemple des patchs convexes en coordonnées sur une variété lisse), on construit le nerf dont les sommets correspondent aux patches et les simplexes aux intersections non vides. Le lemme affirme que ce complexe simplicial a le même type d'homotopie que la variété, permettant de calculer homotopie ou homologie par des moyens combinatoires.

Mauvaise application

Appliquer le lemme alors que les intersections des ensembles ne sont pas contractiles (ou même pas connexe par arcs). Par exemple, utiliser le nerf d'un recouvrement avec recouvrements non contractiles peut donner un mauvais type d'homotopie et induire des erreurs sur la connexité ou les groupes d'homotopie supérieurs.

Conséquence

Fait le lien entre topologie continue et topologie algébrique combinatoire, justifiant l'usage de complexes de Čech, d'approximations de Vietoris–Rips (avec prudence) et des techniques d'homologie persistante lorsque les recouvrements ou les échelles satisfont des conditions de type contractilité.

Inversion

Le type d'homotopie du nerf peut différer de celui de l'espace si les conditions de bon recouvrement échouent ; inversement, il arrive que le nerf soit équivalent en homotopie même si les intersections ne sont pas strictement contractiles (par ex. sous des conditions d'acyclicité affaiblies), mais cela demande une vérification séparée.

Limite

Exige des recouvrements dont les intersections finies sont contractiles (bons recouvrements) ou des hypothèses d'acyclicité appropriées ; ne s'applique pas littéralement à des recouvrements arbitraires, à des recouvrements par ensembles non ouverts sans précaution, ni aux approximations métriques sans contrôle de la topologie des intersections.

Tension sémantique

Tension entre approximation combinatoire et fidélité géométrique/analytique : on recherche des proxies simpliciaux simples (nerfs) mais il faut concilier cela avec la fragilité parfois des conditions topologiques sur les intersections ; tension également entre différentes constructions simpliciales (nerf vs Vietoris–Rips) et leurs régimes de validité.

Synthèse

Le Lemme du nerf formalise quand un objet simplicial discret (le nerf d'un recouvrement) modélise fidèlement le type d'homotopie d'un espace continu : si toutes les intersections finies du recouvrement sont contractiles (ou satisfont des conditions d'acyclicité), alors le nerf et l'espace sont équivalents en homotopie, permettant le calcul combinatoire d'invariants topologiques.