Transversal homotopy theory of Whitney stratified manifolds

Smyth, Conor
Transversal homotopy theory of Whitney stratified manifolds. Doctor of Philosophy thesis, University of Liverpool.

[thumbnail of SmythCon_Mar2012_6653.pdf] PDF
SmythCon_Mar2012_6653.pdf - Unspecified
Available under License Creative Commons Attribution No Derivatives.

Download (897kB)


We modify the theory of homotopy groups to obtain invariants of Whitney stratified spaces by considering smooth maps which are transversal to all strata, and smooth homotopies through such maps. Using this idea we obtain transversal homotopy monoids with duals for any Whitney stratified space. Just as in ordinary homotopy theory we may also define higher categorical invariants of spaces. Here instead of groupoids we obtain categories with duals. We concentrate on examples involving the sphere, stratified by a point and its complement, and complex projective space stratified in a natural way. We also suggest a definition for n-category with dual, which we call a Whitney category. This is defined as a presheaf on a certain category of Whitney stratified spaces, that resticts to a sheaf on a certain subcategory. We show in detail that this definition matches the accepted notion of n-category with duals, at least for small n. It also allows us to prove a version of the Tangle Hypothesis, due to Baez and Dolan, which states that ``The n-category of framed codimension k-tangles is equivalent to the free k-tuply monoidal n-category with duals on one object."

Item Type: Thesis (Doctor of Philosophy)
Additional Information: Date: 2012-03-17 (completed)
Divisions: Faculty of Science and Engineering > School of Physical Sciences > Mathematical Sciences
Depositing User: Symplectic Admin
Date Deposited: 09 Aug 2012 10:41
Last Modified: 17 Dec 2022 00:12
DOI: 10.17638/00006653