In mathematics, the surgery structure set S ( X ) {\displaystyle {\mathcal {S}}(X)} is the basic object in the study of manifolds which are homotopy equivalent to a closed manifold X. It is a concept which helps to answer the question whether two homotopy equivalent manifolds are diffeomorphic (or PL-homeomorphic or homeomorphic). There are different versions of the structure set depending on the category (DIFF, PL or TOP) and whether Whitehead torsion is taken into account or not.
Definition Let X be a closed smooth (or PL- or topological) manifold of dimension n. We call two homotopy equivalences f i : M i → X {\displaystyle f_{i}:M_{i}\to X} from closed manifolds M i {\displaystyle M_{i}} of dimension n {\displaystyle n} to X {\displaystyle X} ( i = 0 , 1 {\displaystyle i=0,1} ) equivalent if there exists a cobordism
( W ; M 0 , M 1 ) {\displaystyle {\mathcal {}}(W;M_{0},M_{1})} together with a map ( F ; f 0 , f 1 ) : ( W ; M 0 , M 1 ) → ( X × [ 0 , 1 ] ; X × { 0 } , X × { 1 } ) {\displaystyle (F;f_{0},f_{1}):(W;M_{0},M_{1})\to (X\times [0,1];X\times \{0\},X\times \{1\})} such that F {\displaystyle F} , f 0 {\displaystyle f_{0}} and f 1 {\displaystyle f_{1}} are homotopy equivalences. The structure set S h ( X ) {\displaystyle {\mathcal {S}}^{h}(X)} is the set of equivalence classes of homotopy equivalences f : M → X {\displaystyle f:M\to X} from closed manifolds of dimension n to X. This set has a preferred base point: i d : X → X {\displaystyle id:X\to X} . There is also a version which takes Whitehead torsion into account. If we require in the definition above the homotopy equivalences F, f 0 {\displaystyle f_{0}} and f 1 {\displaystyle f_{1}} to be simple homotopy equivalences then we obtain the simple structure set S s ( X ) {\displaystyle {\mathcal {S}}^{s}(X)} .
… excerpt ends here. Continue reading the full article.
