Thickenings

Revision as of 13:41, 27 November 2010 (view source) Diarmuid Crowley (Talk | contribs) m ← Older edit		Revision as of 14:01, 27 November 2010 (view source) Diarmuid Crowley (Talk | contribs) m Newer edit →
Line 15:		Line 15:
	# a basepoint $m \in \partial M \subset M$ and an orientation of $TM_m$,		# a basepoint $m \in \partial M \subset M$ and an orientation of $TM_m$,
	# a simple homotopy equivalence $\phi : K \to 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$. In particular there is a simple homotopy commutative diagram	+	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$. In particular there is a simple homotopy commutative diagram:
	$$		$$
	\xymatrix{		\xymatrix{
−	M_0 \ar[f]^{f} \ar[dr] & M_1 \ar[dl]\\	+	M_0 \ar[dr]^{\phi_0} \ar[0,2]^{f} & & M_1 \ar[dl]_{\phi_1} \\
−	K.}	+	& K}
	$$		$$
	{{endthm}}		{{endthm}}
−
−
−
−
	</wikitex>		</wikitex>

---

Revision as of 14:01, 27 November 2010

This page has not been refereed. The information given here might be incomplete or provisional.

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$. In particular there is a simple homotopy commutative diagram $$ \xymatrix{ M_0 \ar[f]^{f} \ar[dr] & M_1 \ar[dl]\ K.} $$ {{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

Tex syntax error

$M$ with boundary $\partial M$ such that:

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

2. Tex syntax error

   $M$ is homotopy equivalent to $K$.

In this case we say that

Tex syntax error

$M$ thickens $K$. If there is such a manifold

Tex syntax error

$M$, we would like to know how many up to homeomorphism or diffeomorphism if

Tex syntax error

$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.

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