The relative homotopy sets $\pi_1(U_n,U_n/O_n)$ and $\pi_1(U_{2n},U_{2n}/USp_{2n})$

Question

During my research I have recently stumbled upon the problem of finding the relative homotopy sets $\pi_1(U_n,U_n/O_n)$ and $\pi_1(U_{2n},U_{2n}/USp_{2n})$ for $n$ large enough to be in the stable regime where Bott periodicity applies.

The subgroup $U_n/O_n\subset U_n$ contains all elements $g\in U_n$ with $g=g^T$ and the Cartan embedding is \begin{align} U_n/O_n&\hookrightarrow U_n\\\ g\cdot O_n&\mapsto gg^T \end{align} Similarly, the subgroup $U_{2n}/USp_{2n}\subset U_{2n}$ contains all elements $g\in U_{2n}$ with $g=Jg^TJ^{-1}$ and the Cartan embedding is \begin{align} U_{2n}/USp_{2n}&\hookrightarrow U_{2n}\\\ g\cdot USp_{2n}&\mapsto gJg^TJ^{-1}, \end{align} with $J:=\begin{pmatrix}0&1_n\newline-1_n&0\end{pmatrix}$.

In order for my other results to be consistent, I expect the result to be \begin{align} X:=\pi_1(U_n,U_n/O_n)&=0\\\ Y:=\pi_1(U_{2n},U_{2n}/USp_{2n})&=\mathbb{Z}_2 \end{align} However, with the following argument I find that both are trivial: Using the exact sequence of homotopy groups/sets, \begin{align} \pi_1(U_n/O_n)&\stackrel{i_1}{\to}\pi_1(U_n)\to X\to\pi_0(U_n/O_n)\\\ \pi_1(U_{2n}/USp_{2n})&\stackrel{i_2}{\to}\pi_1(U_{2n})\to Y\to\pi_0(U_{2n}/USp_{2n}), \end{align} where $i_{1}$ and $i_2$ are induced by the Cartan embeddings above, there is the bijection \begin{align} X=\pi_1(U_n)/\text{img}(i_1)=\mathbb{Z}/\text{img}(i_1)\\\ Y=\pi_1(U_{2n})/\text{img}(i_2)=\mathbb{Z}/\text{img}(i_2) \end{align} since $\pi_0(U_n/O_n)=\pi_0(U_{2n}/USp_{2n})=0$.

The determinant induces a bijection $\pi_1(U_n)\to\pi_1(U_1)=\mathbb{Z}$ with inverse induced by $U_1\hookrightarrow U_n$ (adding ones to the diagonal), so a representative loop of the class $m\in\pi_1(U_n)=\mathbb{Z}$ is $$\phi:t\mapsto\text{diag}(e^{i2\pi m t},1,\dots,1).$$ This has a preimage under $i_1$, namely the loop $$\phi_1:t\mapsto\text{diag}(e^{i\pi m t},1,\dots,1)\cdot O_n.$$ This is indeed a loop since $\phi_1(0)=(1,1,\dots,1)\cdot O_n$ and $\phi_1(1)=(-1,1,\dots,1)\cdot O_n=(1,1,\dots,1)\cdot O_n$.

Similarly, there is a preimage under $i_2$, namely the loop $$\phi_2:t\mapsto\text{diag}(e^{i\pi m t},1,\dots,1)\cdot USp_{2n}.$$ Again, this is a loop since $\phi_2(0)=(1,1,\dots,1)\cdot USp_{2n}$ and $\phi_2(1)=(-1,1,\dots,1)\cdot USp_{2n}=(1,1,\dots,1)\cdot USp_{2n}$. Thus, both $i_1$ and $i_2$ are surjective and $X=Y=0$.

However, for the expected result to hold, $i_1$ should be surjective in the sequence with $X$ and $\text{img}(i_2)=2\mathbb{Z}$ (even integers only) in the sequence with $Y$. This does not seem to be the case - is my argument flawed or is it true that both relative homotopy sets are in fact trivial?

Thank you!

Answer 1

There's a "famous" 24 term sequence of fibrations, involving the spaces of the real and complex K-theory spectra, coming from Bott periodicity. (But apparantly, not famous enough for google to cough up a good reference.) Part of this sequence are homotopy fibration sequences of the form $$ Sp/U \to U/O \xrightarrow{f} U $$ and $$ O/U\to U/Sp\xrightarrow{g} U.$$ ($O$, $U$, and $Sp$ are the infinite versions of the orthogonal, unitary, and unitary-symplectic groups

Assuming that $f$ and $g$ correspond to your Cartan embeddings, you should be able to identify your relative $\pi_1$s with the $\pi_0$s of the homotopy fibers of these fiber sequences. If so, then $$\pi_1(U_n,U_n/O_n) = \pi_1(U,U/O) = \pi_0(Sp/U)=0$$ and $$\pi_1(U_{2n},U_{2n}/USp_{2n}) = \pi_1(U,U/Sp) = \pi_0(O/U) = Z/2,$$ which is the result you were expecting.

If this is all true, then $i_2: \pi_1(U_{2n}/USp_{2n})\to \pi_1(U_{2n})$ isn't really surjective. Maybe $\phi_2$ isn't really a loop: is $diag(-1,1,...,1) \in USp$?