All Questions
28 questions
4
votes
0
answers
128
views
Real Representation ring of $U(n)$ and the adjoint representation
I have two questions:
It is well known that the complex representation ring $R(U(n))=\mathbb{Z}[\lambda_1,\cdots,\lambda_n,\lambda_n^{-1}]$, where $\lambda_1$ is the natural representation of $U(n)$ ...
user340793
4
votes
0
answers
181
views
Specify the embedding of special unitary group in a Spin group via their representation map
How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations?
By ...
- 10.5k
5
votes
0
answers
135
views
Specify the embedding of Lie groups (via the representation map) precisely as the embedding of two differentiable manifolds
How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations?
By ...
- 10.5k
3
votes
0
answers
547
views
Aut/Inn/Out Automorphism Groups of the unitary group $𝑈(𝑁)$
Given a group $G$, we denote the center Z$(G)$, we like to know the
automorphism group Aut($G$), the outer automorphism Out($G$) and the inner automorphism Inn($G$). They form short exact sequences:
$$...
- 10.5k
20
votes
0
answers
445
views
Which classes in $\mathrm{H}^4(B\mathrm{Exceptional}; \mathbb{Z})$ are classical characteristic classes?
Let $G$ be a compact connected Lie group. Recall that $\mathrm{H}^4(\mathrm{B}G;\mathbb{Z})$ is then a free abelian group of finite rank. Let us say that a class $c \in \mathrm{H}^4(\mathrm{B}G;\...
- 54.6k
12
votes
1
answer
418
views
When does a locally symmetric space have no odd degree Betti numbers?
Let $G$ be a semisimple real lie group, $K$ be a maximal compact subgroup of $G$, $\Gamma$ be a torsion-free cocompact discrete subgroup. The Betti number the locally symmetric space $X_{\Gamma}:=\...
- 6,622
7
votes
1
answer
2k
views
Automorphism group of the special unitary group $SU(N)$
Let us consider the automorphism group of the special unitary group $G=SU(N)$.
We know there is an exact sequence:
$$
0 \to \text{Inn}(G) \to \text{Aut}(G) \to \text{Out}(G) \to 0.
$$
For $G=SU(2)...
- 2,147
10
votes
1
answer
659
views
how to view homology of affine Grassmannian as a subring of symmetric function
Let $G=SL_n$, it is proven that $R:=H_*(Gr_G)\cong \mathbb{C}[\sigma_1,...,\sigma_{n-1}]$ where $\sigma_i$ are of degree $2i$ as a polynomial ring generated by $n-1$ variables and the ring structure ...
- 849
-2
votes
1
answer
516
views
no classification of nilpotent lie groups
there is no classification of (simply connected) nilpotent lie groups, but I am tempted to try to generalize the construction of the Heisenberg group. For an upper triangular matrix:
$$ \left(
\...
- 22.8k
7
votes
1
answer
381
views
Homology of symplectic groups in the unstable range
Let $Sp(2n,{\mathbb R})$ be the symplectic group and $H_3(Sp(2n,{\mathbb R});{\mathbb Z})$ its 3rd group homology (i.e., for the group with the discrete topology).
It is known that $$H_3(Sp(2n,{\...
- 10.4k
12
votes
2
answers
887
views
Representation viewpoint on Chern–Weil (cohomology computations done with rep theory?)
$\DeclareMathOperator\Sym{Sym}$Let $G$ be a compact lie group. Chern–Weil theory tells us that there's a homomorphism:
$$H^{*}(BG;\mathbb{R}) \to (\Sym^{\bullet} \mathfrak{g^*})^G$$
which in our case ...
- 7,789
5
votes
1
answer
419
views
canonical action of symmetric groups on orthogonal groups
There is a canonical faithful orthogonal representation of the symmetric group $S_{n+1}$, for $n\geq 1$:
$$
S_{n+1}\to O(n)
$$
given as follows.
(1). I regard $O(n)$ as the isometry group of the unit ...
- 543
3
votes
1
answer
136
views
symmetric group of regular polyhedrons
Let $\Delta^n$ be the regular $n$-simplex spanned by $(n+1)$ vertices, equipped with an Riemannian metric such that all the edges are of equal length. For example,
$\Delta^2$:
$\Delta^3$:
Let $c:=c(...
- 543
1
vote
1
answer
614
views
cohomology of orthogonal group of integers
Let
$$
O(\mathbb{Z}^{\oplus k})=GL(\mathbb{Z}^{\oplus k})\cap O(k).
$$
What is $$
H^*(BO(\mathbb{Z}^{\oplus k});\mathbb{Z})?
$$
If it cannot be computed out, can we get
$$
H^*(O(\mathbb{Z}^{\oplus ...
- 1,990
3
votes
2
answers
704
views
Closure relations between Bruhat cells on the flag variety
Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$.
How do we prove the closure relations between the cells, which ...
- 1,719
6
votes
0
answers
427
views
Non invertibility of certain integral arising from group action
Edit 1: According to the comment of Andreas Cap I revise the integral formula in the question.
Edit 2: I understand from the following post that some part of the previos version of my question has ...
- 356
6
votes
0
answers
455
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 ...
- 1,719
19
votes
1
answer
747
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 ...
- 118k
3
votes
0
answers
117
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$, ...
12
votes
2
answers
3k
views
Cohomology ring of a flag variety and representation theory
I'm interested in the cohomology ring $H^*(G/B)$ of a flag variety $G/B$, where $G$ is a complex semi-simple Lie group and $B$ the Borel subgroup. Borel (1953) showed that this ring is isomorphic to ...
13
votes
3
answers
1k
views
Why do we need a $G$-universe?
Let $G$ be a compact Lie group. Before defining $G$-prespectra, we have to define a $G$-universe $\mathcal U$.
Question: Why do we need a $G$-universe?
A $G$-universe is defined to be a countably ...
- 811
5
votes
2
answers
758
views
Equivariant Cohomology of a Complex Projective Variety
Suppose that I have a complex projective variety $X$ endowed with an algebraic action of a complex torus $T$. Suppose also that the set $X^T$ of fixed points is finite. I would like to relate the ...
- 4,920
11
votes
3
answers
2k
views
HIgher Homotopy Groups and Representation Theory
Let $G$ be a compact Lie group, and $g$ its associated Lie algebra.
In what ways do the higher homotopy groups $\pi_{n}(G)$ with $n>1$ appear in the representation theory of $G$?
As an example, ...
- 2,097
5
votes
2
answers
849
views
Stabilizers for nilpotent adjoint orbits of semisimple groups
Let $G$ be a connected, simply-connected, complex, semisimple Lie group with Lie algebra $\frak{g}$. Suppose that $X\in\frak{g}$ is a nilpotent element (i.e. that $ad_X:\frak{g}\rightarrow\frak{g}$ is ...
- 4,920
4
votes
1
answer
370
views
Cohomology of Projective Classical Lie Groups
Let $G$ be a compact, connected, simply-connected Lie group with centre $Z(G)$, and consider the Lie group $G/Z(G)$. I believe that for $G$ a classical group, the Lie group $G/Z(G)$ is sometimes ...
- 4,920
4
votes
1
answer
163
views
Representations of Finite Subgroups on Homology
Suppose that $G$ is a connected, simply-connected, complex, semisimple Lie group, and that $H$ is finite subgroup. Consider the left-multiplicative action of $H$ on $G$, and the resulting ...
- 4,920
12
votes
5
answers
4k
views
Weight lattice and the 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 $...
- 1,219
4
votes
1
answer
742
views
Restriction map for Lie algebra/Lie group cohomology associated to a complex semisimple Lie algebra and a semisimple Lie-subalgebra
Let $\mathfrak{g}$ be a finite-dimensional complex semisimple Lie algebra (or the corresponding Lie group). For definiteness, I'll take $\mathfrak{g}$ to be of type $A_n$, that is, $\mathfrak{g} = \...
- 2,160