Stable classification of manifolds

Revision as of 15:32, 26 November 2010 (view source) Diarmuid Crowley (Talk | contribs) m ← Older edit		Revision as of 15:56, 26 November 2010 (view source) Diarmuid Crowley (Talk | contribs) m (→The normal k-type) Newer edit →
Line 14:		Line 14:
	For example the normal $0$-type of an oriented manifold is the universal covering		For example the normal $0$-type of an oriented manifold is the universal covering
	$$BSO \to BO,$$ whereas the normal $0$-type of a non-orientable manifold is the identity map		$$BSO \to BO,$$ whereas the normal $0$-type of a non-orientable manifold is the identity map
−	$$BO \to BO.$$ The normal $1$-type of a simply connected manifold $M$ is the fibration	+	$$BO \to BO.$$ The normal $1$-type of a simply connected manifold $M$ is determined by its second Stiefel-Whitney class $w_2(M)$ which in turn determines whether it is spinable or not: if $M$ admits a $Spin$-structure its normal $1$-type is the fibration
−	$$BSpin \to BSO$$,if $M$ admits a $Spin$-structure (if and only if the Stiefel-Whintey class $w_2(M)$ vanishes) and the fibration	+	$$BSpin \to BSO$$,
−	$$BSO \to BO,$$ if $M$ does not admit a $Spin$ structure. More generally, the normal $1$-type of a Spin-manifold $M$ is $$p: K(\pi_1(M),1) \times BSpin \to BO,$$ where $p$ is the composition of the projection to $BSpin$ and the projection $BSpin \to BO$. The normal $1$-type of a manifold $M$ such that the universal covering $\tilde M$ does not admit a $Spin$-structure, is $$p: K(\pi_1(M),1) \times BS= \to BO,$$ where $p$ is the composition of the projection to $BSO$ and the projection $BSO \to BO$. The case where $\tilde M $ admits a $Spin$-structure but $M$ doesn't, is treated in [[Stable classification of 4-manifolds]].	+	if $M$ does not admit a $Spin$-structure then it's normal $1$-type is the fibration
		+	$$BSO \to BO.$$ More generally, the normal $1$-type of a Spin-manifold $M$ is $$p: K(\pi_1(M),1) \times BSpin \to BO,$$ where $p$ is the composition of the projection to $BSpin$ and the projection $BSpin \to BO$. The normal $1$-type of a manifold $M$ such that the universal covering $\tilde M$ does not admit a $Spin$-structure, is $$p: K(\pi_1(M),1) \times BS= \to BO,$$ where $p$ is the composition of the projection to $BSO$ and the projection $BSO \to BO$. The case where $\tilde M $ admits a $Spin$-structure but $M$ doesn't, is treated in [[Stable classification of 4-manifolds]].
	If $B^k \to BO$		If $B^k \to BO$
−
−
−
−
−

---

Revision as of 15:56, 26 November 2010

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

1 Introduction

Two closed smooth manifolds

Tex syntax error

${{Stub}}== Introduction == <wikitex>; Two closed smooth manifolds $M$ and $N$ of dimension n$ are called '''stably diffeomorphic''' if there is an integer $r$ such that $M \sharp_r S^n \times S^n$ is diffeomorphic to $N \sharp_r S^n \times S^n$. By $\sharp_r S^n \times S^n$ we mean the connected sum with $r$ copies of $S^n \times S^n$. Note that since $S^n \times S^n$ has an orientation reversing diffeomorphism the connect sum with it is well defined (see [[Parametric connected sum]]). We present a method which reduces the stable classification to a bordism problem. </wikitex> == The normal k-type == <wikitex>; Consider the [[B-Bordism#B-structures and bordisms|stable normal Gauss map]] $\nu: M \to BO$. We consider an $r$-factorization $$M \stackrel{\nu_r}{\to}B_r \stackrel{p_r}{\to}BO $$ of $\nu$ \cite{Spanier1981}, page 440. This means that $p_r: B_r \to BO$ is a fibration, where $B_r$ is a $CW$-complex, the map $p_r$ is $r$-connected, i.e. the homotopy groups of the fibre vanish in degree $\ge r$, and the map $\bar \nu_r$ is an $r$-equivalence. {{beginthm|Definition}} The fibre homotopy type of the fibration $p_{k+1}: B_{k+1} \to BO$ is an invariant of the map $\nu$ and is called the '''normal $k$-type''' of $M$ denoted $p^k(M):B^{k}(M)\to BO$ \cite{Kreck1999}. {{endthm}} For example the normal <script type="math/tex">M$ and $N$ of dimension $2n$ are called stably diffeomorphic if there is an integer

Tex syntax error

$r$ such that $M \sharp_r S^n \times S^n$ is diffeomorphic to $N \sharp_r S^n \times S^n$. By $\sharp_r S^n \times S^n$ we mean the connected sum with

Tex syntax error

$r$ copies of $S^n \times S^n$. Note that since $S^n \times S^n$ has an orientation reversing diffeomorphism the connect sum with it is well defined (see Parametric connected sum). We present a method which reduces the stable classification to a bordism problem.

2 The normal k-type

Consider the stable normal Gauss map $\nu: M \to BO$. We consider an

Tex syntax error

$r$-factorization of $\nu$ [Spanier1981], page 440. This means that $p_r: B_r \to BO$ is a fibration, where $B_r$ is a $CW$-complex, the map $p_r$ is

Tex syntax error

$r$-connected, i.e. the homotopy groups of the fibre vanish in degree $\ge r$, and the map $\bar \nu_r$ is an

Tex syntax error

$r$-equivalence.

For example the normal $0$-type of an oriented manifold is the universal covering

whereas the normal $0$-type of a non-orientable manifold is the identity map The normal $1$-type of a simply connected manifold

Tex syntax error

$M$ is determined by its second Stiefel-Whitney class $w_2(M)$ which in turn determines whether it is spinable or not: if

Tex syntax error

$M$ admits a $Spin$-structure its normal $1$-type is the fibration , if

Tex syntax error

$M$ does not admit a $Spin$-structure then it's normal $1$-type is the fibration More generally, the normal $1$-type of a Spin-manifold

Tex syntax error

$M$ is where $p$ is the composition of the projection to $BSpin$ and the projection $BSpin \to BO$. The normal $1$-type of a manifold

Tex syntax error

$M$ such that the universal covering $\tilde M$ does not admit a $Spin$-structure, is where $p$ is the composition of the projection to $BSO$ and the projection $BSO \to BO$. The case where $\tilde M$ admits a $Spin$-structure but

Tex syntax error

$M$ doesn't, is treated in Stable classification of 4-manifolds.

If $B^k \to BO$

References

• [Kreck1999] M. Kreck, Surgery and duality, Ann. of Math. (2) 149 (1999), no.3, 707–754. MR1709301 (2001a:57051) Zbl 0935.57039
• [Spanier1981] E. H. Spanier, Algebraic topology, Springer-Verlag, 1981. MR666554 (83i:55001) Zbl 0810.55001

$-type of an oriented manifold is the universal covering $$BSO \to BO,$$ whereas the normal $M$ and $N$ of dimension $2n$ are called stably diffeomorphic if there is an integer

Tex syntax error

$r$ such that $M \sharp_r S^n \times S^n$ is diffeomorphic to $N \sharp_r S^n \times S^n$. By $\sharp_r S^n \times S^n$ we mean the connected sum with

Tex syntax error

$r$ copies of $S^n \times S^n$. Note that since $S^n \times S^n$ has an orientation reversing diffeomorphism the connect sum with it is well defined (see Parametric connected sum). We present a method which reduces the stable classification to a bordism problem.

2 The normal k-type

Consider the stable normal Gauss map $\nu: M \to BO$. We consider an

Tex syntax error

$r$-factorization of $\nu$ [Spanier1981], page 440. This means that $p_r: B_r \to BO$ is a fibration, where $B_r$ is a $CW$-complex, the map $p_r$ is

Tex syntax error

$r$-connected, i.e. the homotopy groups of the fibre vanish in degree $\ge r$, and the map $\bar \nu_r$ is an

Tex syntax error

$r$-equivalence.

For example the normal $0$-type of an oriented manifold is the universal covering

whereas the normal $0$-type of a non-orientable manifold is the identity map The normal $1$-type of a simply connected manifold

Tex syntax error

$M$ is determined by its second Stiefel-Whitney class $w_2(M)$ which in turn determines whether it is spinable or not: if

Tex syntax error

$M$ admits a $Spin$-structure its normal $1$-type is the fibration , if

Tex syntax error

$M$ does not admit a $Spin$-structure then it's normal $1$-type is the fibration More generally, the normal $1$-type of a Spin-manifold

Tex syntax error

$M$ is where $p$ is the composition of the projection to $BSpin$ and the projection $BSpin \to BO$. The normal $1$-type of a manifold

Tex syntax error

$M$ such that the universal covering $\tilde M$ does not admit a $Spin$-structure, is where $p$ is the composition of the projection to $BSO$ and the projection $BSO \to BO$. The case where $\tilde M$ admits a $Spin$-structure but

Tex syntax error

$M$ doesn't, is treated in Stable classification of 4-manifolds.

If $B^k \to BO$

References

• [Kreck1999] M. Kreck, Surgery and duality, Ann. of Math. (2) 149 (1999), no.3, 707–754. MR1709301 (2001a:57051) Zbl 0935.57039
• [Spanier1981] E. H. Spanier, Algebraic topology, Springer-Verlag, 1981. MR666554 (83i:55001) Zbl 0810.55001

$-type of a non-orientable manifold is the identity map $$BO \to BO.$$ The normal M and $N$ of dimension $2n$ are called stably diffeomorphic if there is an integer

Tex syntax error

$r$ such that $M \sharp_r S^n \times S^n$ is diffeomorphic to $N \sharp_r S^n \times S^n$. By $\sharp_r S^n \times S^n$ we mean the connected sum with

Tex syntax error

$r$ copies of $S^n \times S^n$. Note that since $S^n \times S^n$ has an orientation reversing diffeomorphism the connect sum with it is well defined (see Parametric connected sum). We present a method which reduces the stable classification to a bordism problem.

2 The normal k-type

Consider the stable normal Gauss map $\nu: M \to BO$. We consider an

Tex syntax error

$r$-factorization of $\nu$ [Spanier1981], page 440. This means that $p_r: B_r \to BO$ is a fibration, where $B_r$ is a $CW$-complex, the map $p_r$ is

Tex syntax error

$r$-connected, i.e. the homotopy groups of the fibre vanish in degree $\ge r$, and the map $\bar \nu_r$ is an

Tex syntax error

$r$-equivalence.

For example the normal $0$-type of an oriented manifold is the universal covering

whereas the normal $0$-type of a non-orientable manifold is the identity map The normal $1$-type of a simply connected manifold

Tex syntax error

$M$ is determined by its second Stiefel-Whitney class $w_2(M)$ which in turn determines whether it is spinable or not: if

Tex syntax error

$M$ admits a $Spin$-structure its normal $1$-type is the fibration , if

Tex syntax error

$M$ does not admit a $Spin$-structure then it's normal $1$-type is the fibration More generally, the normal $1$-type of a Spin-manifold

Tex syntax error

$M$ is where $p$ is the composition of the projection to $BSpin$ and the projection $BSpin \to BO$. The normal $1$-type of a manifold

Tex syntax error

$M$ such that the universal covering $\tilde M$ does not admit a $Spin$-structure, is where $p$ is the composition of the projection to $BSO$ and the projection $BSO \to BO$. The case where $\tilde M$ admits a $Spin$-structure but

Tex syntax error

$M$ doesn't, is treated in Stable classification of 4-manifolds.

If $B^k \to BO$

References

• [Kreck1999] M. Kreck, Surgery and duality, Ann. of Math. (2) 149 (1999), no.3, 707–754. MR1709301 (2001a:57051) Zbl 0935.57039
• [Spanier1981] E. H. Spanier, Algebraic topology, Springer-Verlag, 1981. MR666554 (83i:55001) Zbl 0810.55001

$-type of a simply connected manifold $M$ is the fibration $$BSpin \to BSO$$,if $M$ admits a $Spin$-structure (if and only if the Stiefel-Whintey class $w_2(M)$ vanishes) and the fibration $$BSO \to BO,$$ if $M$ does not admit a $Spin$ structure. More generally, the normal M and $N$ of dimension $2n$ are called stably diffeomorphic if there is an integer

Tex syntax error

$r$ such that $M \sharp_r S^n \times S^n$ is diffeomorphic to $N \sharp_r S^n \times S^n$. By $\sharp_r S^n \times S^n$ we mean the connected sum with

Tex syntax error

$r$ copies of $S^n \times S^n$. Note that since $S^n \times S^n$ has an orientation reversing diffeomorphism the connect sum with it is well defined (see Parametric connected sum). We present a method which reduces the stable classification to a bordism problem.

2 The normal k-type

Consider the stable normal Gauss map $\nu: M \to BO$. We consider an

Tex syntax error

$r$-factorization of $\nu$ [Spanier1981], page 440. This means that $p_r: B_r \to BO$ is a fibration, where $B_r$ is a $CW$-complex, the map $p_r$ is

Tex syntax error

$r$-connected, i.e. the homotopy groups of the fibre vanish in degree $\ge r$, and the map $\bar \nu_r$ is an

Tex syntax error

$r$-equivalence.

For example the normal $0$-type of an oriented manifold is the universal covering

whereas the normal $0$-type of a non-orientable manifold is the identity map The normal $1$-type of a simply connected manifold

Tex syntax error

$M$ is determined by its second Stiefel-Whitney class $w_2(M)$ which in turn determines whether it is spinable or not: if

Tex syntax error

$M$ admits a $Spin$-structure its normal $1$-type is the fibration , if

Tex syntax error

$M$ does not admit a $Spin$-structure then it's normal $1$-type is the fibration More generally, the normal $1$-type of a Spin-manifold

Tex syntax error

$M$ is where $p$ is the composition of the projection to $BSpin$ and the projection $BSpin \to BO$. The normal $1$-type of a manifold

Tex syntax error

$M$ such that the universal covering $\tilde M$ does not admit a $Spin$-structure, is where $p$ is the composition of the projection to $BSO$ and the projection $BSO \to BO$. The case where $\tilde M$ admits a $Spin$-structure but

Tex syntax error

$M$ doesn't, is treated in Stable classification of 4-manifolds.

If $B^k \to BO$

References

• [Kreck1999] M. Kreck, Surgery and duality, Ann. of Math. (2) 149 (1999), no.3, 707–754. MR1709301 (2001a:57051) Zbl 0935.57039
• [Spanier1981] E. H. Spanier, Algebraic topology, Springer-Verlag, 1981. MR666554 (83i:55001) Zbl 0810.55001

$-type of a Spin-manifold $M$ is $$p: K(\pi_1(M),1) \times BSpin \to BO,$$ where $p$ is the composition of the projection to $BSpin$ and the projection $BSpin \to BO$. The normal M and $N$ of dimension $2n$ are called stably diffeomorphic if there is an integer

Tex syntax error

$r$ such that $M \sharp_r S^n \times S^n$ is diffeomorphic to $N \sharp_r S^n \times S^n$. By $\sharp_r S^n \times S^n$ we mean the connected sum with

Tex syntax error

$r$ copies of $S^n \times S^n$. Note that since $S^n \times S^n$ has an orientation reversing diffeomorphism the connect sum with it is well defined (see Parametric connected sum). We present a method which reduces the stable classification to a bordism problem.

2 The normal k-type

Consider the stable normal Gauss map $\nu: M \to BO$. We consider an

Tex syntax error

$r$-factorization of $\nu$ [Spanier1981], page 440. This means that $p_r: B_r \to BO$ is a fibration, where $B_r$ is a $CW$-complex, the map $p_r$ is

Tex syntax error

$r$-connected, i.e. the homotopy groups of the fibre vanish in degree $\ge r$, and the map $\bar \nu_r$ is an

Tex syntax error

$r$-equivalence.

For example the normal $0$-type of an oriented manifold is the universal covering

whereas the normal $0$-type of a non-orientable manifold is the identity map The normal $1$-type of a simply connected manifold

Tex syntax error

$M$ is determined by its second Stiefel-Whitney class $w_2(M)$ which in turn determines whether it is spinable or not: if

Tex syntax error

$M$ admits a $Spin$-structure its normal $1$-type is the fibration , if

Tex syntax error

$M$ does not admit a $Spin$-structure then it's normal $1$-type is the fibration More generally, the normal $1$-type of a Spin-manifold

Tex syntax error

$M$ is where $p$ is the composition of the projection to $BSpin$ and the projection $BSpin \to BO$. The normal $1$-type of a manifold

Tex syntax error

$M$ such that the universal covering $\tilde M$ does not admit a $Spin$-structure, is where $p$ is the composition of the projection to $BSO$ and the projection $BSO \to BO$. The case where $\tilde M$ admits a $Spin$-structure but

Tex syntax error

$M$ doesn't, is treated in Stable classification of 4-manifolds.

If $B^k \to BO$

References

• [Kreck1999] M. Kreck, Surgery and duality, Ann. of Math. (2) 149 (1999), no.3, 707–754. MR1709301 (2001a:57051) Zbl 0935.57039
• [Spanier1981] E. H. Spanier, Algebraic topology, Springer-Verlag, 1981. MR666554 (83i:55001) Zbl 0810.55001

$-type of a manifold $M$ such that the universal covering $\tilde M$ does not admit a $Spin$-structure, is $$p: K(\pi_1(M),1) \times BS= \to BO,$$ where $p$ is the composition of the projection to $BSO$ and the projection $BSO \to BO$. The case where $\tilde M $ admits a $Spin$-structure but $M$ doesn't, is treated in [[Stable classification of 4-manifolds]]. If $B^k \to BO$ == References == {{#RefList:}} [[Category:Theory]]M and $N$ of dimension $2n$ are called stably diffeomorphic if there is an integer

Tex syntax error

$r$ such that $M \sharp_r S^n \times S^n$ is diffeomorphic to $N \sharp_r S^n \times S^n$. By $\sharp_r S^n \times S^n$ we mean the connected sum with

Tex syntax error

$r$ copies of $S^n \times S^n$. Note that since $S^n \times S^n$ has an orientation reversing diffeomorphism the connect sum with it is well defined (see Parametric connected sum). We present a method which reduces the stable classification to a bordism problem.

2 The normal k-type

Consider the stable normal Gauss map $\nu: M \to BO$. We consider an

Tex syntax error

$r$-factorization of $\nu$ [Spanier1981], page 440. This means that $p_r: B_r \to BO$ is a fibration, where $B_r$ is a $CW$-complex, the map $p_r$ is

Tex syntax error

$r$-connected, i.e. the homotopy groups of the fibre vanish in degree $\ge r$, and the map $\bar \nu_r$ is an

Tex syntax error

$r$-equivalence.

For example the normal $0$-type of an oriented manifold is the universal covering

whereas the normal $0$-type of a non-orientable manifold is the identity map The normal $1$-type of a simply connected manifold

Tex syntax error

$M$ is determined by its second Stiefel-Whitney class $w_2(M)$ which in turn determines whether it is spinable or not: if

Tex syntax error

$M$ admits a $Spin$-structure its normal $1$-type is the fibration , if

Tex syntax error

$M$ does not admit a $Spin$-structure then it's normal $1$-type is the fibration More generally, the normal $1$-type of a Spin-manifold

Tex syntax error

$M$ is where $p$ is the composition of the projection to $BSpin$ and the projection $BSpin \to BO$. The normal $1$-type of a manifold

Tex syntax error

$M$ such that the universal covering $\tilde M$ does not admit a $Spin$-structure, is where $p$ is the composition of the projection to $BSO$ and the projection $BSO \to BO$. The case where $\tilde M$ admits a $Spin$-structure but

Tex syntax error

$M$ doesn't, is treated in Stable classification of 4-manifolds.

If $B^k \to BO$

References

• [Kreck1999] M. Kreck, Surgery and duality, Ann. of Math. (2) 149 (1999), no.3, 707–754. MR1709301 (2001a:57051) Zbl 0935.57039
• [Spanier1981] E. H. Spanier, Algebraic topology, Springer-Verlag, 1981. MR666554 (83i:55001) Zbl 0810.55001