L'espace quotient obtenu à partir de X × [0,1] en identifiant (x,1) avec (f(x),0) pour une self-map f : X → X ; c'est un espace fibré au-dessus du cercle S1 de fibre X et de monodromie f.

Principe

Représenter une application de X vers lui-même comme un fibré au-dessus de S1 afin que la topologie de l'espace total encode la dynamique et l'effet algébrique de l'application.

Démonstration

Pour une homéomorphie f d'une surface fermée Σ, le tore de recollement M_f = (Σ × [0,1])/(x,1)~(f(x),0) est une 3-variété fermée fibrée sur S1 de fibre Σ et de monodromie f (par exemple, un twist de Dehn donne une 3-variété non triviale).

Mauvaise application

Considérer comme tore de recollement tout quotient de X × [0,1] par une identification quelconque sans vérifier que l'identification provient d'une seule application définie globalement ; ou confondre le tore de recollement avec le cylindre d'application ou la suspension.

Conséquence

Construit correctement, le tore de recollement compile la monodromie dans la topologie : le groupe fondamental devient une extension HNN de π1(X) déterminée par f, la cohomologie reflète la fibration circulaire, et les structures géométriques renvoient à la dynamique de f.

Inversion

Remplacer la monodromie par l'identité donne le fibré trivial X × S1 ; inverser f produit le tore de recollement de f−1, qui inverse l'orientation de la monodromie mais conserve le type de fibre.

Limite

Nécessite une application continue f : X → X et le produit avec un intervalle ; exclut les quotients identifiant des points de façon non représentable par une seule self-map, et suppose une structure topologique (ou lisse) sur X pour interpréter f et la fibration.

Tension sémantique

Peut être confondu avec le cylindre d'application (espace avec une extrémité attachée), la suspension (qui joint deux cônes) ou des fibrés circulaires quelconques : le tore de recollement est un quotient précis codant une application choisie, pas n'importe quel fibré sur S1.

Synthèse

Le tore de recollement est la construction qui transforme une self-map en fibré sur le cercle de sorte que la topologie globale de l'espace résultant enregistre l'effet algébrique et dynamique de l'application via la monodromie, l'extension du groupe fondamental et la structure de fibre.