# Tagged Questions

34 views

### Quotient of Unit Quaternions by Subgoup (Lie Groups)

Let $G \leq Sp(1)\cong S^3$ (unit quaternions) be a discrete subgroup of order 120 (the Binary Icosahedral Group, not the other one), with presentation $G=<s,t| s^2=t^3=(st)^5>$. $\hspace{2mm}G$ ...
80 views

### Cohomology group $H^n(G, \mathbb{R}/\mathbb{Z})$ as a continuous group or a Lie group?

Is there any example of Borel cohomology group $H^n(G, \mathbb{R}/\mathbb{Z})$ for any $G$ such that $H^n(G, \mathbb{R}/\mathbb{Z})$ is a continuous group? Such as a Lie group? Most of the examples ...
61 views

### What is the maximal torus in the Lorentz group $O(m,n)$?

I'm close to certain it's just the product of the maximal tori of $O(m)$ and $O(n)$, but I can't quite prove it. I've tried the following: ...
78 views

### How often is a torus in a compact Lie group nullhomologous?

Minor nomenclature question: What is the standard name for the ring structure induced on the homology of an H-space by its multiplication? I've seen "homology ring" and "Pontrjagin ring." Hopefully ...
60 views

### $\pi_n(SU(2)/Z_N)\simeq?$, $\pi_n(SO(3)/Z_N)\simeq?$, $\pi_n(U(1)/Z_N)\simeq?$

So based on the tool, I have attempted to compute the following threes homotopy groups. $\pi_n(SU(2)/Z_N)\simeq?$ $\pi_n(SO(3)/Z_N)\simeq?$ $\pi_n(U(1)/Z_N)\simeq?$ With a fixed positive integer ...
142 views

### Computing characteristic numbers of homogeneous spaces

I apologize in advance if this is a bad question. I would like to prove or refute a conjecture about the vanishing of characteristic numbers of homogeneous spaces, and to this end am looking (and ...
95 views

### What is the induced map on fundamental group of the inclusion of unitary group in the orthogonal group?

What is the induced map on fundamental group of the inclusion of unitary group $U(n)$ in the orthogonal group $SO(2n)$?(Note that the unitary group $U(n)$ can only embedded in the group $SO(2n)$, not ...
111 views

### Good book for studying $S_\infty$.

I'm looking for any books with some good information involving $S_\infty$ and other Polish groups. Specifically interested in $S_\infty$. This is an extremely amazing topological group, now having ...
36 views

### Group of continuous automorphisms of cylindrical plane is a lie group

How do I prove this theorem? Theorem: The group of continuous automorphisms of a cylindrical plane is a lie group. In this context, cylindrical means the Laguerre plane. I found a paper it ...
85 views

### $\pi_2(G)$ for $G$ a Lie group. [duplicate]

It is well known that $\pi_2(G)$ is trivial for any Lie-group $G$. Is there an elementary proof of this, say, that can be understood with minimal homotopy theory? Also, who gave the first proof of ...
102 views

### Cohomology ring of $U(n)$

As you know $$H^\ast (U(n);{\bf Z})=\bigwedge_{\bf Z}[x_1,x_3,...,x_{2n-1}]$$ where $|x_i|=i$ To prove this we use Leray-Hirsch Theorem for $$\tag{*}\ U(n-1)\rightarrow U(n)\rightarrow S^{2n-1}$$ ...
55 views

### A question about double cover of Lie group

If the fundamental group of a symplrctic Lie group be infinite cyclic, why it should has a unique connected double cover?
69 views

### Contractibility vs. G-contractibility

Let $X$ be a space equipped with an action of a compact Lie group $G$. Recall that such a space is said to be $G$-contractible if the identity map of $X$ is $G$-homotopic (i.e., homotopic through ...
62 views

### Equivariant homotopy equivalence of based loop group

Consider a compact, connected, simply connected Lie group $G$ and consider $S^1$ as an additive group. Let $\Omega G = \{ \gamma: S^1 \to G: \gamma(0) = e_G\}$ be the corresponding based loop group of ...
73 views

### Connection between spaces of cosets and homotopy cofibers

Suppose we have an inclusion of a closed sub-Lie group $H\to G$ and take the space of left cosets of $H$, $G/H$. How is this related to the homotopy cofiber of the inclusion of topological spaces ...
191 views

### Connectedness of the orthogonal subgroup $O^+_+(k,l)$

Let $O(k,l)$ be the orthogonal group associated to the quadratic form $q$ on $\mathbb{R}^{k+l}$ with signature $(k,l)$. Let $O^+_+(k,l)$ be the connected component of the identity, i.e. the connected ...
Consider the Gram-Schmidt process $r : GL(n) \rightarrow O(n)$ that sends invertible matrices to orthogonal matrices. I need to show this is a deformation retraction and, by restrictions of $r$, ...