Thickenings

Revision as of 13:41, 27 November 2010

1 Introduction

Let ${{Stub}}== Introduction == <wikitex>; Let $K$ be a finite connected CW-complex of dimension $K$. For a given $n > k$ we would like to know if there is a compact manifold $M$ with boundary $\partial M$ such that: # the map $\pi_1(\partial M) \to \pi_1(M)$ is an isomorphism, # $M$ is homotopy equivalent to $K$. In this case we say that $M$ ''thickens'' $K$. If there is such a manifold $M$, we would like to know how many up to homeomorphism or diffeomorphism if $M$ is smooth. In \cite{Wall1966a} Wall introduced the notion of a ''thickening'', defined below, to investigate the questions raised above. This page summarizes the basis results concerning thickenings. Recall that $\Cat = \Top, \PL$ or $\Diff$ denotes respectively the topological, piecewise linear or smooth categories. {{beginthm|Definition|\cite{Wall1966a|Section 1}}} Let $K$ be a finite connected CW complex. An $n$-dimensional ''$\Cat$-thickening'' of $K$ consists of # a compact $n$-dimensional $\Cat$-manifold $M$ with connected boundary such that $\pi_1(\partial M) \cong \pi_1(M)$ # a basepoint $m \in \partial M \subset M$ and an orientation of $TM_m$, # a simple homotopy equivalence $\phi : K \to M$. Two thickenings $(M_0, \phi_0)$ and $(M_1, \phi_1)$ are ''isomorphic'' if there is a $\Cat$-isomorphism $f \colon M_0 \cong M_1$ preserving $m$ and the orientation of $TM_m$ and such that $f_0$ is simple homotopic to $\phi_1 \circ f$. {{endthm}} </wikitex> == References == {{#RefList:}} [[Category:Theory]]K$ be a finite connected CW-complex of dimension $K$. For a given $n > k$ we would like to know if there is a compact manifold $M$ with boundary $\partial M$ such that:

1. the map $\pi_1(\partial M) \to \pi_1(M)$ is an isomorphism,
2. $M$ is homotopy equivalent to $K$.

In this case we say that $M$ thickens $K$. If there is such a manifold $M$, we would like to know how many up to homeomorphism or diffeomorphism if $M$ is smooth.

In [Wall1966a] Wall introduced the notion of a thickening, defined below, to investigate the questions raised above. This page summarizes the basis results concerning thickenings.

Recall that $\Cat = \Top, \PL$ or $\Diff$ denotes respectively the topological, piecewise linear or smooth categories.

Tex syntax error

2 References

• [Wall1966a] C. T. C. Wall, Classification problems in differential topology. IV. Thickenings, Topology 5 (1966), 73–94. MR0192509 (33 #734) Zbl 0149.20501