Bundle structures and lifting problems (Ex)

Revision as of 20:29, 28 March 2012 (view source) Diarmuid Crowley (Talk | contribs) (Created page with "<wikitex>; Given a (pointed) map $g:Y\to Z$ of pointed topological space, we define the homotopy fiber as\footnote{Here $PZ$ is the space of paths starting at the base-point ...")		Latest revision as of 17:53, 12 April 2012 (view source) Diarmuid Crowley (Talk | contribs)
(17 intermediate revisions by 2 users not shown)
Line 1:		Line 1:
	<wikitex>;		<wikitex>;
−	Given a (pointed) map $g:Y\to Z$ of pointed topological space, we define the homotopy fiber as\footnote{Here	+	== Lifting maps ==
−	$PZ$ is the space of paths starting at the base-point of $Z$.}	+	Given a (pointed) map $g: Y\to Z$ of pointed topological spaces, we define the homotopy fibre of $g$ as
	$$		$$
−	\mathrm{hofib}(g):=\{(y,\gamma)\in Y\times PZ|\,\gamma(1)=g(y),\,\gamma(0)=z_0\}	+	\mathrm{hofib}(g):=\{(y,\gamma)\in Y\times PZ|\,\gamma(1)=g(y),\,\gamma(0)=z_0\},
	$$		$$
−	and we denote by $p$: $\mathrm{hofib}(g)\to Y$ the projection.	+	where $PZ$ is the space of paths starting at the base-point of $Z$. We denote by $p$: $\mathrm{hofib}(g)\to Y$ the projection.
−	Show the following statement:\\	+	{{beginthm|Exercise}}
−	A map $f:X\to Y$ of pointed space has a lift $\bar f:X\to \rm{hofib}(g)$ along $p$	+	Prove the following:
−	if and only if $g\circ f$ is homotopic to the constant map.	+
−	Hint: This is a special case of Proposition 4.72 in [A. Hatcher, Algebraic Topology].	+	A map $f:X \to Y$ of pointed space has a lift $\bar f:X\to \text{hofib}(g)$ along $p$ if and only if $g\circ f$ is homotopic to the constant map.
−		+	{{endthm}}
−	\subsection*{Classification of orientations and spin structures on vector bundles}	+	{{beginrem|Hint}} This is a special case of \cite{Hatcher2002|Proposition 4.72}.
		+	{{endrem}}
		+	== Classification of orientations and spin structures on vector bundles ==
	Recall the Definition of Eilenberg-MacLane-spaces.		Recall the Definition of Eilenberg-MacLane-spaces.
−	We denote the space of pointed loops in a space $X$ by $\Omega X$.	+	We denote the space of pointed loops in a space $X$ by $\Omega X$.
−	\begin{enumerate}	+	{{beginthm|Exercise}}
−	\item Show: There is a homotopy equivalence $\Omega K(n+1,\bbz/2\bbz)\simeq K(n,\bbz/2\bbz)$.\\	+	* Show: There is a homotopy equivalence $\Omega K(n+1,\Zz/2\Zz)\simeq K(n,\Zz/2\Zz)$.
−	Hint: Use the uniqueness of Eilenberg-MacLane-spaces and the long exact sequence in homotopy	+
−	associated to the path-space-fibration	+
−	$$\Omega K(n+1,\bbz/2\bbz)\to P(K(n+1,\bbz/2\bbz))\to K(n+1,\bbz/2\bbz) \;.$$	+
−	Recall that the path-space is contractible.	+
−	\item Show that the set of homotopy classes of pointed maps $[Y,\Omega X]$ has a group structure	+
−	induced by composition of paths.\\	+
−	Hint: This is similar to the group structure of the fundamental group.	+
−	\end{enumerate}	+
		+	'''Hint''': Use the uniqueness of Eilenberg-MacLane-spaces and the long exact sequence in homotopy associated to the path-space-fibration
		+	$$\Omega K(n+1,\Zz/2 \Zz)\to P(K(n+1,\Zz/2 \Zz))\to K(n+1,\Zz/2 \Zz) \;.$$
		+	Recall that the path-space is contractible.
		+	* Show that the set of homotopy classes of pointed maps $[Y,\Omega X]$ has a group structure induced by composition of paths.
−	Maybe you've heard that the group $H^1(X,\bbz/2\bbz)$ acts free and transitively on the set	+	'''Hint''': This is similar to the group structure of the fundamental group.
		+	{{endthm}}
		+
		+	Maybe you've heard that the group $H^1(X,\Zz/2\Zz)$ acts free and transitively on the set
	of spin structures of an oriented vector bundle $\xi\to X$ (X a compact pointed space).		of spin structures of an oriented vector bundle $\xi\to X$ (X a compact pointed space).
−	Now recall that\footnote{The group structure on $H^1(X,\bbz/2\bbz)$ is due to the Exercise 3.2.}	+	Now recall that \ref{The group structure on $H^1(X,\Zz/2\Zz)$ is due to the Exercise 3.2.}
−	$H^1(X,\bbz/2\bbz)\cong [X,K(1,\bbz/2\bbz)]$,	+	$H^1(X,\Zz/2\Zz)\cong [X,K(1,\Zz/2\Zz)]$, where $K(1,\Zz/2\Zz)$ denotes an Eilenberg-MacLane-space.
−	where $K(1,\bbz/2\bbz)$ denotes an Eilenberg-MacLane-space.	+
−		+
−	This looks similar to the statement of Theorem 3.45 in our talk.	+
	So we first prove the statement about classification of spin structures.		So we first prove the statement about classification of spin structures.
	The warm-up is the classification of orientations:		The warm-up is the classification of orientations:
−	\begin{itemize}	+	# The first Stiefel-Whitney class is a map $w_1:BO\to K(1,\Zz/2\Zz)$.
−	\item The first Stiefel-Whitney class is a map $w_1:BO\to K(1,\bbz/2\bbz)$.	+	# The homotopy fiber hofib($w_1$) is $BSO$.
−	\item The homotopy fiber hofib($w_1$) is $BSO$.	+	# The projection $p:BSO\to BO$ is the map induced by $SO\hookrightarrow O$.
−	\item The projection $p:BSO\to BO$ is the map induced by $SO\hookrightarrow O$.	+
−	\end{itemize}	+
−	Assume that the homotopy groups of $O$ are known.	+
−	\begin{enumerate}	+
−	\item Calculate the homotopy groups of $BO$ using the fibration $0\to EO\to BO$.	+
−	\item Calculate the homotopy groups of $BSO$ using the fibration $$BSO\to BO\to K(1,\bbz/2\bbz)\;.$$	+
−	\item Calculate the homotopy fibre of $p:BSO\to BO$.	+
−	\end{enumerate}	+
−	Now we can classify the orientations on a vector bundle $\xi\to X$.	+	{{beginthm|Exercise}}
		+	Assume that the homotopy groups of $O$ are known.
		+	# Calculate the homotopy groups of $BO$ using the fibration $O\to EO\to BO$.
		+	# Calculate the homotopy groups of $BSO$ using the fibration $$BSO\to BO\stackrel{w_1}{\to} K(1,\Zz/2\Zz)\;.$$
		+	# Calculate the homotopy fibre of $p:BSO\to BO$.
		+	{{endthm}}
		+
		+	Now we can classify the orientations on a vector bundle $\xi: E\to X$.
	For this we need to know that the sequence		For this we need to know that the sequence
−	$$\rm{hofib}(p)\to BSO \to BO$$	+	$$\text{hofib}(p)\to BSO \to BO$$
	fits into the following diagram\footnote{It's non-trivial		fits into the following diagram\footnote{It's non-trivial
	to see that the functor $B$ can be applied to each of those spaces.}:		to see that the functor $B$ can be applied to each of those spaces.}:
−	\begin{center}	+	$$
−	\begin{tikzpicture}[description/.style={fill=white,inner sep=2pt}]	+	\xymatrix{
−	\matrix (m) [matrix of math nodes, row sep=3em,	+	\mathrm{hofib}(p) \ar[r]^q \ar[d]^{\simeq} & BSO \ar[r]^p \ar[d]^{\simeq} & BO \ar[d]^{\simeq} \\
−	column sep=2.5em, text height=1.5ex, text depth=0.25ex]	+	\Omega B\mathrm{hofib}(p) \ar[r]^{\Omega Bq} & \Omega BBSO \ar[r]^{\Omega Bp} & \Omega BBO }
−	{ \text{hofib}(p) & & BSO & & BO \\	+	$$
−	\Omega B\rm{hofib}(p) & & \Omega BBSO & & \Omega BBO \\ };	+
−	\path[->,font=\scriptsize]	+	Hence there are group structures on $[X,\text{hofib}(p)]$ and $[X,BSO]$ (the latter one is the Whitney-sum of vector bundles). Furthermore there is an action of $[X,\text{hofib}(p)]$ on $[X,BSO]$ induced by $q$.
−	(m-1-1) edge node[auto] {$q$} (m-1-3)	+
−	(m-1-3) edge node[auto] {$p$} (m-1-5)	+
−	(m-2-1) edge node[auto] {$\Omega B q$} (m-2-3)	+
−	(m-2-3) edge node[auto] {$\Omega B p$} (m-2-5)	+
−	(m-1-1) edge node[auto] {$\simeq$} (m-2-1)	+
−	(m-1-3) edge node[auto] {$\simeq$} (m-2-3)	+
−	(m-1-5) edge node[auto] {$\simeq$} (m-2-5);	+
−	\end{tikzpicture}	+
−	\end{center}	+
−	Hence there are group structures on $[X,\rm{hofib}(p)]$ and $[X,BSO]$ (the latter one is the Whitney-sum	+
−	of vector bundles). Furthermore there is an action of $[X,\rm{hofib}(p)]$ on $[X,BSO]$ induced	+
−	by $q$.	+
	{{beginthm|Definition}}		{{beginthm|Definition}}
−	A vector bundle is called \underline{orientable} if its classifying map $X\to BO$ lifts along $p:BSO\to BO$. An ''orientation'' is the choice of such a lift.	+	A vector bundle is called ''orientable'' if its classifying map $f: X \to BO$ lifts along $p:BSO \to BO$. An ''orientation'' is the choice of such a lift.
		+	The first Stiefel-Whitney class of $\xi$ is defined as the composition $w_1\circ f$, where $w_1$ is defined as above.
	{{endthm}}		{{endthm}}
−	Let $X$ denote a compact pointed space and $\xi\to X$ a vector bundle on $X$.	+	{{beginthm|Exercise}}
−	#Use Exercise 3.1 to show that $\xi$ is orientable if and only if its first Stiefel-Whitney class	+	Let $X$ denote a compact pointed space and $\xi: E\to X$ a vector bundle on $X$.
−	vanishes.	+	#Use Exercise 3.1 to show that $\xi$ is orientable if and only if its first Stiefel-Whitney class vanishes.
−	#Show that the group $[X,\rm{hofib}(p)]$ acts free and transitively on the set of	+	#Show that the group $[X,\text{hofib}(p)]$ acts free and transitively on the set of homotopy classes of lifts.
−	homotopy classes of lifts.	+
	'''Hint:''' Use the homotopy-lifting property and Exercise 3.1		'''Hint:''' Use the homotopy-lifting property and Exercise 3.1
−	#Given an interpretation of the group $[X,\rm{hofib}(p)]$.	+	#Give an interpretation of the group $[X,\text{hofib}(p)]$.
	Now there are similar results for spin structures (on oriented vector bundles).		Now there are similar results for spin structures (on oriented vector bundles).
−
	{{beginthm|Exercise}}		{{beginthm|Exercise}}
−	Repeat Exercises 3.3 and 3.4 using the second Stiefel-Whitney class $w_2:BSO\to K(2,\Zz/2\Zz)$. The homotopy fibre of $w_2$ is BSpin, where Spin is the colimit over $Spin(n)$, the universal covers of $SO(n)$.	+	Repeat Exercises 3.3 and 3.4 using the second Stiefel-Whitney class $w_2:BSO\to K(2,\Zz/2\Zz)$. The homotopy fibre of $w_2$ is BSpin, where Spin is the colimit over $Spin(n)$, the universal cover of $SO(n)$.
	{{endthm}}		{{endthm}}
	</wikitex>		</wikitex>
Line 98:		Line 82:
	{{#RefList:}}		{{#RefList:}}
	[[Category:Exercises]]		[[Category:Exercises]]
		+	[[Category:Exercises with solution]]

---

Latest revision as of 17:53, 12 April 2012

[edit] 1 Lifting maps

Given a (pointed) map $<wikitex>; Given a (pointed) map $g:Y\to Z$ of pointed topological space, we define the homotopy fiber as\footnote{Here $PZ$ is the space of paths starting at the base-point of $Z$.} $$ \mathrm{hofib}(g):=\{(y,\gamma)\in Y\times PZ|\,\gamma(1)=g(y),\,\gamma(0)=z_0\} $$ and we denote by $p$: $\mathrm{hofib}(g)\to Y$ the projection. Show the following statement:\ A map $f:X\to Y$ of pointed space has a lift $\bar f:X\to \rm{hofib}(g)$ along $p$ if and only if $g\circ f$ is homotopic to the constant map. Hint: This is a special case of Proposition 4.72 in [A. Hatcher, Algebraic Topology]. \subsection*{Classification of orientations and spin structures on vector bundles} Recall the Definition of Eilenberg-MacLane-spaces. We denote the space of pointed loops in a space $X$ by $\Omega X$. \begin{enumerate} \item Show: There is a homotopy equivalence $\Omega K(n+1,\bbz/2\bbz)\simeq K(n,\bbz/2\bbz)$.\ Hint: Use the uniqueness of Eilenberg-MacLane-spaces and the long exact sequence in homotopy associated to the path-space-fibration $$\Omega K(n+1,\bbz/2\bbz)\to P(K(n+1,\bbz/2\bbz))\to K(n+1,\bbz/2\bbz) \;.$$ Recall that the path-space is contractible. \item Show that the set of homotopy classes of pointed maps $[Y,\Omega X]$ has a group structure induced by composition of paths.\ Hint: This is similar to the group structure of the fundamental group. \end{enumerate} Maybe you've heard that the group $H^1(X,\bbz/2\bbz)$ acts free and transitively on the set of spin structures of an oriented vector bundle $\xi\to X$ (X a compact pointed space). Now recall that\footnote{The group structure on $H^1(X,\bbz/2\bbz)$ is due to the Exercise 3.2.} $H^1(X,\bbz/2\bbz)\cong [X,K(1,\bbz/2\bbz)]$, where $K(1,\bbz/2\bbz)$ denotes an Eilenberg-MacLane-space. This looks similar to the statement of Theorem 3.45 in our talk. So we first prove the statement about classification of spin structures. The warm-up is the classification of orientations: \begin{itemize} \item The first Stiefel-Whitney class is a map $w_1:BO\to K(1,\bbz/2\bbz)$. \item The homotopy fiber hofib($w_1$) is $BSO$. \item The projection $p:BSO\to BO$ is the map induced by $SO\hookrightarrow O$. \end{itemize} Assume that the homotopy groups of $O$ are known. \begin{enumerate} \item Calculate the homotopy groups of $BO$ using the fibration <script type="math/tex">g: Y\to Z$ of pointed topological spaces, we define the homotopy fibre of $g$ as

where $PZ$ is the space of paths starting at the base-point of $Z$. We denote by $p$: $\mathrm{hofib}(g)\to Y$ the projection.

[edit] 2 Classification of orientations and spin structures on vector bundles

Recall the Definition of Eilenberg-MacLane-spaces. We denote the space of pointed loops in a space $X$ by $\Omega X$.

Maybe you've heard that the group $H^1(X,\Zz/2\Zz)$ acts free and transitively on the set of spin structures of an oriented vector bundle $\xi\to X$ (X a compact pointed space). Now recall that \ref{The group structure on $H^1(X,\Zz/2\Zz)$ is due to the Exercise 3.2.} $H^1(X,\Zz/2\Zz)\cong [X,K(1,\Zz/2\Zz)]$, where $K(1,\Zz/2\Zz)$ denotes an Eilenberg-MacLane-space.

So we first prove the statement about classification of spin structures. The warm-up is the classification of orientations:

1. The first Stiefel-Whitney class is a map $w_1:BO\to K(1,\Zz/2\Zz)$.
2. The homotopy fiber hofib($w_1$) is $BSO$.
3. The projection $p:BSO\to BO$ is the map induced by $SO\hookrightarrow O$.

Now we can classify the orientations on a vector bundle $\xi: E\to X$. For this we need to know that the sequence

fits into the following diagram\footnote{It's non-trivial to see that the functor $B$ can be applied to each of those spaces.}:

Hence there are group structures on $[X,\text{hofib}(p)]$ and $[X,BSO]$ (the latter one is the Whitney-sum of vector bundles). Furthermore there is an action of $[X,\text{hofib}(p)]$ on $[X,BSO]$ induced by $q$.

[edit] References

• [Hatcher2002] A. Hatcher, Algebraic topology, Cambridge University Press, 2002. MR1867354 (2002k:55001) Zbl 1044.55001

\to EO\to BO$. \item Calculate the homotopy groups of $BSO$ using the fibration $$BSO\to BO\to K(1,\bbz/2\bbz)\;.$$ \item Calculate the homotopy fibre of $p:BSO\to BO$. \end{enumerate} Now we can classify the orientations on a vector bundle $\xi\to X$. For this we need to know that the sequence $$\rm{hofib}(p)\to BSO \to BO$$ fits into the following diagram\footnote{It's non-trivial to see that the functor $B$ can be applied to each of those spaces.}: \begin{center} \begin{tikzpicture}[description/.style={fill=white,inner sep=2pt}] \matrix (m) [matrix of math nodes, row sep=3em, column sep=2.5em, text height=1.5ex, text depth=0.25ex] { \text{hofib}(p) & & BSO & & BO \ \Omega B\rm{hofib}(p) & & \Omega BBSO & & \Omega BBO \ }; \path[->,font=\scriptsize] (m-1-1) edge node[auto] {$q$} (m-1-3) (m-1-3) edge node[auto] {$p$} (m-1-5) (m-2-1) edge node[auto] {$\Omega B q$} (m-2-3) (m-2-3) edge node[auto] {$\Omega B p$} (m-2-5) (m-1-1) edge node[auto] {$\simeq$} (m-2-1) (m-1-3) edge node[auto] {$\simeq$} (m-2-3) (m-1-5) edge node[auto] {$\simeq$} (m-2-5); \end{tikzpicture} \end{center} Hence there are group structures on $[X,\rm{hofib}(p)]$ and $[X,BSO]$ (the latter one is the Whitney-sum of vector bundles). Furthermore there is an action of $[X,\rm{hofib}(p)]$ on $[X,BSO]$ induced by $q$. {{beginthm|Definition}} A vector bundle is called \underline{orientable} if its classifying map $X\to BO$ lifts along $p:BSO\to BO$. An ''orientation'' is the choice of such a lift. {{endthm}} Let $X$ denote a compact pointed space and $\xi\to X$ a vector bundle on $X$. #Use Exercise 3.1 to show that $\xi$ is orientable if and only if its first Stiefel-Whitney class vanishes. #Show that the group $[X,\rm{hofib}(p)]$ acts free and transitively on the set of homotopy classes of lifts. '''Hint:''' Use the homotopy-lifting property and Exercise 3.1 #Given an interpretation of the group $[X,\rm{hofib}(p)]$. Now there are similar results for spin structures (on oriented vector bundles). {{beginthm|Exercise}} Repeat Exercises 3.3 and 3.4 using the second Stiefel-Whitney class $w_2:BSO\to K(2,\Zz/2\Zz)$. The homotopy fibre of $w_2$ is BSpin, where Spin is the colimit over $Spin(n)$, the universal covers of $SO(n)$. {{endthm}} == References == {{#RefList:}} [[Category:Exercises]]g: Y\to Z of pointed topological spaces, we define the homotopy fibre of $g$ as

where $PZ$ is the space of paths starting at the base-point of $Z$. We denote by $p$: $\mathrm{hofib}(g)\to Y$ the projection.

[edit] 2 Classification of orientations and spin structures on vector bundles

Recall the Definition of Eilenberg-MacLane-spaces. We denote the space of pointed loops in a space $X$ by $\Omega X$.

Maybe you've heard that the group $H^1(X,\Zz/2\Zz)$ acts free and transitively on the set of spin structures of an oriented vector bundle $\xi\to X$ (X a compact pointed space). Now recall that \ref{The group structure on $H^1(X,\Zz/2\Zz)$ is due to the Exercise 3.2.} $H^1(X,\Zz/2\Zz)\cong [X,K(1,\Zz/2\Zz)]$, where $K(1,\Zz/2\Zz)$ denotes an Eilenberg-MacLane-space.

So we first prove the statement about classification of spin structures. The warm-up is the classification of orientations:

1. The first Stiefel-Whitney class is a map $w_1:BO\to K(1,\Zz/2\Zz)$.
2. The homotopy fiber hofib($w_1$) is $BSO$.
3. The projection $p:BSO\to BO$ is the map induced by $SO\hookrightarrow O$.

Now we can classify the orientations on a vector bundle $\xi: E\to X$. For this we need to know that the sequence

fits into the following diagram\footnote{It's non-trivial to see that the functor $B$ can be applied to each of those spaces.}:

Hence there are group structures on $[X,\text{hofib}(p)]$ and $[X,BSO]$ (the latter one is the Whitney-sum of vector bundles). Furthermore there is an action of $[X,\text{hofib}(p)]$ on $[X,BSO]$ induced by $q$.

[edit] References

• [Hatcher2002] A. Hatcher, Algebraic topology, Cambridge University Press, 2002. MR1867354 (2002k:55001) Zbl 1044.55001