La construction du nerf d'un recouvrement ouvert U = {U_i} d'un espace topologique X est le complexe simplicial N(U) dont les n-simplexes correspondent aux intersections non vides de n+1 éléments distincts du recouvrement ; il encode le schéma d'intersections du recouvrement en un objet combinatoire.

Principe

On remplace un recouvrement par un complexe simplicial abstrait qui consigne quelles sous-collections finies ont une intersection non vide ; sous des conditions adéquates (recouvrements bons, paracompacité) le nerf a le même type d'homotopie que l'union, fournissant un passage entre modèles continus et combinatoires.

Démonstration

Si U est un bon recouvrement d'une variété (chaque intersection finie non vide est contractile), alors le nerf N(U) est équivalent d'homotopie à X d'après le théorème du nerf. Pour un recouvrement à deux ensembles {U,V} avec U∩V non vide, N(U) est un 1-simplexe codant le recouvrement et son chevauchement.

Mauvaise application

Appliquer le théorème du nerf sans vérifier les hypothèses sur le recouvrement (par exemple intersections non contractiles) peut conduire à des conclusions homotopiques fausses ; utiliser un recouvrement arbitraire sans raffinement peut produire un nerf qui ne reflète pas le type d'homotopie de X.

Conséquence

Lorsque les hypothèses sont satisfaites, la construction du nerf convertit des données d'intersection locales en un modèle simplicial permettant de calculer l'homotopie et l'homologie, d'effectuer des calculs de type Čech et de soutenir des approximations simpliciales.

Inversion

Le problème inverse consiste à réaliser un complexe simplicial donné comme nerf d'un recouvrement d'un espace donné ; tous les complexes ne se réalisent pas comme nerf d'un recouvrement fixe, et les problèmes de réalisation exigent des choix d'implantation et de raffinement.

Limite

Le nerf n'enregistre que la non-viduité des intersections et pas la structure topologique plus fine ; son équivalence d'homotopie avec X requiert des conditions (bon recouvrement, condition de Leray ou raffinement par ensembles contractiles) et peut échouer pour des recouvrements ou espaces pathologiques.

Tension sémantique

La construction du nerf se situe entre les complexes Čech, qui suivent des recouvrements gradués par intersections avec coefficients, et les complexes singuliers/simpliciaux construits à partir de cartes de simples standards ; le nerf est combinatoire et dépend du recouvrement choisi plutôt que des simplexes intrinsèques à X.

Synthèse

Le nerf d'un recouvrement est le complexe simplicial dont les simplexes indexent les intersections finies non vides des éléments du recouvrement ; sous des hypothèses adaptées cet objet combinatoire reflète fidèlement le type d'homotopie de X et relie les recouvrements continus à la topologie combinatoire.