# Tagged Questions

1answer
787 views

### $H^4(BG,\mathbb Z)$ torsion free for $G$ a connected Lie group

Recently, prompted by considerations in conformal field theory, I was let to guess that for every compact connected Lie group $G$, the fourth cohomology group of it classifying space is torsion free. ...
0answers
333 views

### Homology of Lie groups

Let $G$ be a Lie group and $G^{\delta}$ the underlying group (with discrete topology). Obviously, we have a continuous map of groups $i:G^{\delta}\rightarrow G$ which induces a map between classifying ...
0answers
131 views

### Cohomology of Bott-Samelson varieties?

How is the cohomology of Bott-Samelson varieties (desingularizations of Schubert Varieties ) usually calculated? Let's fix the Lie group to be $GL_n(\mathbb{C})$ or $SL_n(\mathbb{C})$ here. Is there ...
1answer
158 views

### Compact Lie groups with only 3 dimensional cohomology generators

Let $M$ be a compact connected semi-simple Lie group. Then by Hopf's Theorem $H^*(M;\mathbb Q)=\Lambda[\omega_1,...,\omega_s]$ where $\omega_i\in H^i(M;\mathbb Q)$ , $i\ge 3$ is odd. For which $M$, ...
0answers
153 views

### Generator of $\pi_3(SU(4))$ in Mimura-Toda

In this paper of Mimura and Toda, tables are given for low-dimensional homotopy groups of $SU(3)$, $SU(4)$ and $Sp(2)$. As far as I understand it, Theorem 6.1 gives the generator of $\pi_3(SU(4))$ as ...
2answers
555 views

### What's the relationship between these two isomorphisms involving G and T?

Let $G$ be a compact connected Lie group with maximal torus $T$ and Weyl group $W$. Recall the following two isomorphisms. Isomorphism 1: $R(G) \cong R(T)^W$, where $R(-)$ denotes the representation ...
0answers
124 views

### $v_1$-periodic homotopy and principal bundle classification

This question came back to my mind while pondering this MO question. The classification of principal bundles is seriously difficult because of our lack of understanding of homotopy groups of compact ...
0answers
281 views

### A Generalized De Rham cohomology

Edit According to the comment of Alex Degtyarev, I deleted the last part of the previous version. Let $E$ be a real vector space. The complex valued $k$- tensors on $E$ is denoted by ...
0answers
100 views

### Why “non-linear similarity” is the same as equivalence of representations for connected Lie groups?

Let $G$ be a compact Lie group and $V$ a finite-dimensional orthogonal $G$-representation. Write $S^V$ for the quotient $D(V)/S(V)$, where $D(V)$ and $S(V)$ are the unit disk and sphere in $V$, ...
1answer
247 views

### Computing the fundamental group of a flag variety

Let $G$ be a compact and connected and simply connected Lie group and $\mathfrak{g}$ be its Lie algebra and $x\in\mathfrak{g}^*$. How can we compute the fundamental group of $G/G_x$ where $G_x$ is ...
1answer
191 views

### Finding the 2nd homotopy group $\pi_2(G^\mathbb{C}/P)$

Let $G$ be a compact connected and simply connected Lie group and $G^\mathbb{C}$ be the complexification of Lie group (with is diffeomorphic with $G^\mathbb{C}\cong T^*G$) then I am looking for ...
0answers
90 views

### Equivariant Poincare Series of Based Loop Group of SU(2)

Let $\Omega SU(2)$ denote the based loop group of $SU(2)$, and consider the action of $S^1$ on $\Omega SU(2)$ as a maximal torus of $SU(2)$. (This is not the "loop rotation" action.) Is there an ...
0answers
96 views

### The transfer map $H_*(BSO(3))\rightarrow H_*(BO(2))$: reference request

All cohomology and homology will be $Z/2$ coefficient. The restriction map $H^*(BSO(3))\rightarrow H^*(BO(2))$ is well-known to be the inclusion of the Dickson invariant $Z/2[w_2,w_3]$ into the ...
2answers
253 views

5answers
1k views

### Weight lattice and the first fundamental group

Let $G$ be a compact connected Lie group and let $T$ be a maximal torus of $G$, with Lie algebras $\frak{g}$ and $\frak{t}$ respectively. Then, $\frak{t}$ can be considered as a Cartan subalgebra of ...
0answers
238 views

### Is $GL_{S^1}(H)$ (for $H$ Hilbert space ) path-connected?

Due to the negative answer to my last question I want to know if at least the following is true: Let H be an infinite dimensional separable complex Hilbert space with $S^1$-action. Let ...
1answer
324 views

### Theorem of Kuiper for Hilbert spaces with group action

Let $H$ be an infinite dimensional separable complex Hilbert space with Lie group action (I am mostly interested in the case $S^1$). Let $\text{Gl}_{G}(H)$ be the space of invertible, bounded and ...
3answers
1k views

### Group cohomology of compact Lie group with integer coeffient

It is known that group cohomology class $H^d[U(1),Z]$ is Z for even d and 0 for odd d. Do we know $H^d[G,Z]$ for $G=SO(3)$, $SU(2)$ and other compact Lie group? Also is the Borel-group-cohomology ...
2answers
744 views

### Calculate the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$

I would like to know what are the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$, and/or how to calculate them. It can be shown that $H^d[U(1), Z]$ is $Z$ for ...
1answer
271 views

### Sg: How to Show this Sequence is Exact?

Hi,All: I am seeing a result in which the following sequence, in the context of the genus-g surface Sg, is described as being exact: 1-->Tg-->$M^{(2)}g$-->$Sp^{(2)}(2g,\mathbb Z)$-->1 Where : i)Tg ...
1answer
217 views

### Branch cuts of $GL_n^+(\mathbb{R})$

Branch cuts Let $GL_n^+(\mathbb{R})$ denote the group of $n\times n$ real matrices with positive determinant. Topologically, $GL_n^+(\mathbb{R})$ is connected, and  \pi_1(GL_2^+(\mathbb{R})) = ...
2answers
387 views

### Cohomology of finite quotients of Lie groups

Let $G$ denote the $Spin(n)$ group with $n>4$ and let $\Gamma$ be a cyclic subgroup $G$ of a prime order $p >2$. When does the projection $G \to G/\Gamma$ induce a surjection between ...
2answers
727 views

### Torsion for Lie algebras and Lie groups

This question is about the relationship (rather, whether there is or ought to be a relationship) between torsion for the cohomology of certain Lie algebras over the integers, and torsion for ...