Méthode en topologie des variétés de haute dimension qui modifie des plongements par l'élargissement de voisinages choisis afin qu'un sous-variété soit absorbé dans un collier ou une région épaissie ; employée pour construire des isotopies, annuler des anses ou éliminer des obstructions locales à la simplification des plongements.

Principe

Élargissement local : créer un agrandissement de voisinage contrôlé autour d'un sous-variété de sorte que des isotopies ambiantes puissent s'étendre et que des caractéristiques locales soient englouties, en s'appuyant sur des hypothèses de codimension élevée ou de stabilité empêchant nœuds et enchevêtrements.

Démonstration

Pour un plongement d'une sphère de dimension k dans une n-variété avec n suffisamment grand par rapport à k, on construit un tube voisin plus large autour de la sphère et on pousse la structure voisine dans ce tube afin d'obtenir une isotopie annulant une anse adjacente ou simplifiant le plongement.

Mauvaise application

Appliquer le même élargissement de voisinage en faible codimension ou dans des dimensions où existent des obstructions d'enchevêtrement peut échouer et produire des intersections interdites ou du nouage non trivial ; utiliser la technique sans vérifier les conditions de dimension et de transversalité est un usage abusif crédible.

Conséquence

Lorsqu'elle est applicable, la technique produit des isotopies ambiantes qui simplifient la topologie des plongements, permet l'annulation d'anses complémentaires et réduit souvent les problèmes de classification à des cas plus simples en absorbant la géométrie locale compliquée dans des voisinages contrôlables.

Inversion

Réduire le voisinage plutôt que l'agrandir : contracter les colliers ou tenter d'exciser directement des parties du plongement réintroduit généralement des obstructions et ne produit pas les isotopies que l'élargissement contrôlé permet.

Limite

Nécessite des hypothèses telles qu'une codimension suffisamment élevée ou une plage de stabilité (souvent codimension au moins deux ou plus selon la catégorie), et sa validité dépend de la catégorie (topologique, PL, différentiable) et de la disponibilité de colliers et de transversalité contrôlés ; exclut les situations dominées par le nouage en basse dimension.

Tension sémantique

Entre en tension avec des techniques qui éliminent la complexité par chirurgie ou annulation algébrique ; contrairement à l'annulation algébrique, l'englobement est géométrique et dépend du contrôle du voisinage ambiant plutôt que de seuls invariants algébriques.

Synthèse

La Technique d'Englobement est un outil géométrique en topologie de haute dimension qui produit des isotopies et des annulations en élargissant systématiquement des voisinages pour absorber des sous-variétés, efficace seulement lorsque des hypothèses dimensionnelles et de catégorie empêchent les obstructions d'enchevêtrement.