Thickenings
m |
m (→Classification) |
||
Line 43: | Line 43: | ||
An extremely useful classification theorem in manifold theory is the classification of ''stable thickenings'' where $n \geq 2k+1$ originally due to Wall in the smooth catagory. | An extremely useful classification theorem in manifold theory is the classification of ''stable thickenings'' where $n \geq 2k+1$ originally due to Wall in the smooth catagory. | ||
− | {{beginthm|Theorem|\cite{} \cite{}}} | + | {{beginthm|Theorem|\cite{Wall1966a|Proposition 5.1} \cite{Chazin1971|Theorem 1}}} |
For all $n \geq k$, the stable classifying map gives rise to a set bijection | For all $n \geq k$, the stable classifying map gives rise to a set bijection | ||
− | $$ \mathcal{T}^n(K) \equiv [K, B\Cat], \quad [M, \phi] \mapsto T(M, \phi) = [\phi \circ f_{TM}].$$ | + | $$ \tau_K : \mathcal{T}^n(K) \equiv [K, B\Cat], \quad [M, \phi] \mapsto T(M, \phi) = [\phi \circ f_{TM}].$$ |
{{endthm}} | {{endthm}} | ||
</wikitex> | </wikitex> | ||
+ | |||
== References == | == References == | ||
{{#RefList:}} | {{#RefList:}} | ||
[[Category:Manifolds]] | [[Category:Manifolds]] |
Revision as of 15:49, 27 November 2010
This page has not been refereed. The information given here might be incomplete or provisional. |
Contents |
1 Introduction
Let be a finite connected CW-complex of dimension . For a given we would like to know if there is a compact manifold with boundary such that:
- the map is an isomorphism,
- is homotopy equivalent to .
In this case we say that thickens . If there is such a manifold , we would like to know how many up to homeomorphism or diffeomorphism if 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 or denotes respectively the topological, piecewise linear or smooth categories.
Definition 0.1 [Wall1966a, Section 1]. Let be a finite connected CW complex. An -dimensional -thickening of consists of
- a compact -dimensional -manifold with connected boundary such that
- a basepoint and an orientation of ,
- a simple homotopy equivalence .
Two thickenings and are isomorphic if there is a -isomorphism preserving and the orientation of and such that is simple homotopic to . In particular there is a simple homotopy commutative diagram:
The set of isomorphism classes of -dimensional -thickenings over is denoted
2 Constructions and examples
The simplest examples of thickenings come from $q$-disc bundles with sections over manifolds, $q > 2$. Let $X$ be a closed $\Cat$-manifold of dimension $k$, let $M \to W$ be a bundle with fibre $D^q$ and with section $s \colon M \to X$.
- the pair $(M, s)$ is an $n$-thickening of $X$.
- the pair $(D^, pt)$ is an $n$-thickening of a point.
3 Invariants
An important invariant of a thickening is the induced stable -bundle over :
where is the stable -tangent bundle of . Given that stable bundles over the space are classified by maps to the classifying space one equivalently thinks of
where is the classifying map.
4 Classification
An extremely useful classification theorem in manifold theory is the classification of stable thickenings where originally due to Wall in the smooth catagory.
Theorem 3.1 [Wall1966a, Proposition 5.1] [Chazin1971, Theorem 1]. For all , the stable classifying map gives rise to a set bijection
5 References
- [Chazin1971] R. L. Chazin, Stable thickenings in the topological category, Proc. Amer. Math. Soc. 29 (1971), 175–178. MR0296950 (45 #6009) Zbl 0214.22302
- [Wall1966a] C. T. C. Wall, Classification problems in differential topology. IV. Thickenings, Topology 5 (1966), 73–94. MR0192509 (33 #734) Zbl 0149.20501