All Questions
298 questions
3
votes
1
answer
304
views
$\bigwedge^2(\bigwedge^k\mathbb{C}^n)$ and $\operatorname{Sym}^2(\bigwedge^k\mathbb{C}^n)$ as $\operatorname{GL}(n,\mathbb{C})$-modules
Consider the natural representations of $\operatorname{GL}(n,\mathbb{C})$ in the spaces
$\bigwedge^2(\bigwedge^k\mathbb{C}^n)$ and $\operatorname{Sym}^2(\bigwedge^k\mathbb{C}^n)$.
Is it known how to ...
- 21.8k
3
votes
1
answer
111
views
Generalization of a result of Kostant related to Gauss decomposition and Toda lattices
I found myself needing a generalization of a result of Kostant in his famous paper
B. Kostant, The solution to a generalized Toda lattice and representation theory, Adv. in Math, Volume 34, 1979, ...
- 173
4
votes
1
answer
101
views
K-types of a representation of the minimal Gelfand-Kirillov dimension
Let $G$ be a noncompact real simple Lie group not of Hermitian type, and $\mathfrak{g}_0$ its Lie algebra. Fix a maximal compact subgroup $K$ in $G$ with its Lie algebra $\mathfrak{k}_0$. Write $\...
- 951
3
votes
1
answer
160
views
Embedding flag manifolds of real semisimple lie group
I want to know given a connected (maybe we can assume it to be simply connected or linear) real semisimple lie group $G$ and one of its maximal parabolic group $P$, how can we embed the flag variety $...
- 175
3
votes
1
answer
129
views
Questions about the quotient of extended Weyl group and the isomorphism of extended Weyl group
When I am reading a paper An Algebraic Characterization of the Affine Canonical Basis by Beck, Chari, and Pressley, and I have some questions about some notations.
In the paper, we assume that $\...
- 137
3
votes
1
answer
231
views
Does a representation of the universal cover of a Lie group induce a projective representation of the group itself?
Suppose that $G$ is a connected Lie group, $\tilde{G}$ its universal cover, $p:\tilde{G}\to G$ the covering map. Does a representation $\rho$ of $\tilde{G}$ on a finite-dimensional vector space $V$ ...
- 3,115
3
votes
1
answer
162
views
Compact symmetric spaces and sub-root systems
Given two semisimple complex Lie algebras $\frak{g}$ and $\frak{n}$ such that the root system of $\frak{n}$ arises as a sub-root system of the root system of $\frak{g}$, does this then imply that $\...
2
votes
1
answer
144
views
Paper request: Graev's classification of SU(2,2) irreducible unitary representations
I am interested in Graev's paper in "M. L. Graev:Dokl. Akad. Nauk SSSR,98, 517 (1954); Amer. Math. Soc. Transl.,66, 1 (1968)." in which the irreducible unitary representations of SU(2,2) are ...
- 679
1
vote
1
answer
102
views
Multiplicities and double and triple tensor products of simple $\frak{g}$-modules
Given a complex simple Lie algebra $\frak{g}$ and a simple module $V_{\lambda}$ for some dominant weight $\lambda$. Consider the tensor product decomposition
$$
V_{\lambda} \otimes V_{\lambda} \simeq ...
- 415
6
votes
2
answers
794
views
Tensor algebra and universal enveloping algebra
Let $\mathfrak g$ be a Lie algebra which is not reductive. Let $T(\mathfrak g)$ and $U(\mathfrak g)$ be the tensor algebra and universal enveloping algebra of $\mathfrak g$ respectively. We have a ...
- 673
16
votes
0
answers
188
views
Representation theory of Pin groups
I am (still) thinking about branching rules from $\mathfrak{so}(n+m)$ to $\mathfrak{so}(n) \oplus \mathfrak{so}(m)$, using Proctor's paper as the starting point.
Proctor describes this rule for $m = 2$...
- 1,574
1
vote
1
answer
114
views
Source for highest weight vectors for $\text{SL}_n(\mathbb{C})$ representations
I have a list of a lot of irreducible $\text{SL}_n(\mathbb{C})$ representations and need to know what all of their highest weight vectors are. For example, using the notation from Fulton and Harris, I ...
- 181
2
votes
1
answer
244
views
Decomposition of an $\text{SL}_n(\mathbb{C})$ representation
Let $W = V \oplus V^*$, where $V$ is the standard $\text{SL}_n(\mathbb{C})$ rep and $V^*$ is its dual. I'm ultimately trying to decompose the space $(W \otimes \bigwedge^2 W) / {\bigwedge^3 W}$.
This ...
- 181
6
votes
2
answers
237
views
What is the highest weight of the representation of special orthogonal group $SO(n)$ on the space of harmonic polynomials $\mathcal H_m(\mathbb R^n)$?
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\diag{diag}$
Let
$$
\mathcal{H}_m(\mathbb{R}^n)=\left\{P\in \mathbb{C}[x_1,\dotsc ,x_n]\left| \begin{align}
P\text{ is homogeneous of degree }m\text{ ...
- 605
3
votes
0
answers
194
views
A property of an irreducible root system
Let $\Phi$ be an irreducible root system. Let $\alpha_k$ be a simple root. I recently observed that the number of positive roots which are bigger than $\alpha_k$ and of height $m$ is same as the ...
- 673
6
votes
1
answer
317
views
Which Lie groups are covers of matrix groups?
I would like to ask a variation on a question (not yet answered) I previously asked on math.SE, namely:
Which Lie groups are covers of matrix Lie groups? That is, which Lie groups $G$ admit discrete ...
- 3,115
3
votes
0
answers
200
views
Theorem of highest weight of semisimple Lie algebras: what fails precisely for reductive case
Let $\mathfrak{g}$ a complex semisimple Lie algebra. It is well known that by the theorem of the highest weight, all finite-dimensional complex irreps of $\mathfrak{g}$ are (up to iso) classified by ...
- 6,028
6
votes
1
answer
173
views
Does the first fundamental representation of $\frak{sp}_n$ generates all the other fundamental representations
Let $\mathfrak{sp_n}$ be the symplectic Lie algebra, that is, the $C_n$ complex simple Lie algebra. Is it true that the first fundamental, which is to say the vector space, representation $V_1$ of $\...
- 415
2
votes
1
answer
165
views
Trivial representation of a maximal torus
Let G be a connected compact Lie group and $T\subset G$ a maximal torus. For an irreducible representation $V_\lambda$ of $G$, the multiplicity of the trivial representation of $T$ in $V_\lambda$ is ...
- 128
6
votes
1
answer
221
views
Does every Lie algebra appear as centralizer of an element in a semisimple Lie algebra?
Given a finite dimensional, complex, semisimple (fcss) Lie algebra $\mathfrak{g}$ and an element $x\in\mathfrak{g}$, denote by $\mathfrak{g}^x$ the centralizer of $x$ in $\mathfrak{g}$ i.e. the set $\{...
- 188
0
votes
0
answers
255
views
Any "inherent" definition of $\mathrm{SU}(2)$ independent of any matrix representation?
$\DeclareMathOperator\SU{SU}\SU(2)$ is explained in detail here.
However, if I know right, this definition itself is known the "fundamental representation".
I wonder if there is any "...
- 3,477
4
votes
1
answer
160
views
Symmetric tensor of highest weight modules for $\mathrm{SU}(2)$
Let $V_i$ be the $(i+1)$-dimensional representation of the special unitary group $\mathrm{SU}(2)$ with the highest weight $i$. Is there any uniform way to compute the irreducible decomposition for the ...
- 951
0
votes
1
answer
205
views
What's an example of an $n$-step nilpotent Lie algebra whose centre is not $g^{(n)}$?
Let $\mathfrak g$ be a Lie algebra. $\mathfrak g^{(1)}=\mathfrak g$ and $\mathfrak g^{(n+1)}=[\mathfrak g,\mathfrak g^{(n)}]=\mathbb R$-span$\{[X,Y]:X\in\mathfrak g,Y\in\mathfrak g^{(n)}\}$. The ...
- 275
7
votes
1
answer
323
views
Are there natural isomorphisms $S^{(2,1)}(k^{m+1})\cong k^2\otimes W$?
In this popular 2019 MO question, user მამუკა ჯიბლაძე asked:
The spaces $\operatorname{S}^2(k^n)$ and $\Lambda^2(k^{n+1})$ from the title have equal dimensions. Is there a natural isomorphism between ...
- 492
7
votes
0
answers
1k
views
What's the point of geometric representation theory?
Please forgive the provocative title, what I mean is the following:
One can find representations of Lie algebras in geometric settings, the most famous being the Bott–Borel–Weil theory. However, ...
- 157
2
votes
1
answer
107
views
Finite dimensional irreducible representations of $\frak{sl}_m$ with non-trivial zero weight spaces
For the special linear algebra $\frak{sl}_{m}$ which finite dimensional irreducible representations $V_{\mu}$ have non-trivial zero weight spaces?
For $\frak{sl}_2$ this is clear: $V_{2k\pi}$ for $\pi$...
- 157
3
votes
2
answers
977
views
The adjoint representation of a Lie group
Let $G$ be a Lie group and $\text{Ad}(G)$ denote its adjoint representation i.e. the adjoint action of the group $G$ on its Lie algebra $\mathfrak{g}$. The adjoint representation is a real $G$-...
- 131
0
votes
1
answer
210
views
Centers of universal enveloping algebra of complex Lie algebras
Let $\mathfrak{g}$ and $\mathfrak{g'}$ be complex Lie algebras such that $\mathfrak{g}$ is a subalgebra of $\mathfrak{g'}$. Let $Z(\mathfrak{g})$ and $Z(\mathfrak{g'})$ be the centers of the universal ...
- 833
2
votes
1
answer
159
views
Adjoint action on orthogonal complement
Consider a compact Lie algebra $\mathfrak{g} \subset \mathfrak{u}(n)$ and its associated connected, compact Lie group $G$. Let $\mathfrak{g}^{\perp}$ denote $\mathfrak{g}$'s orthogonal complement (as ...
- 179
0
votes
1
answer
243
views
Adjoint action on the universal enveloping algebra and the PBW theorem
Let $\frak{g}$ be a semisimple Lie algebra and $U(\frak{g})$ its universal enveloping algebra. The adjoint action of $\frak{g}$ on itself extends to an action of $\frak{g}$ on $U(\frak{g})$. How does ...
- 157
1
vote
0
answers
70
views
Minimal $K$-orbit on $\mathfrak{g}$
Let $\mathfrak{g}_0$ be a noncompact simple Lie algebra with Cartan decomposition $\mathfrak{g}_0=\mathfrak{k}_0+\mathfrak{p}_0$. Write $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ for the ...
- 951
6
votes
1
answer
393
views
An alternative form of the Kazhdan-Lusztig conjecture
Fix a complex semisimple Lie algebra $\mathfrak{g}$. Denote by $W$ the corresponding Weyl group, with length function $\ell$ and Bruhat order $\leq$. Let $\lambda$ be an integral anti-dominant weight. ...
- 1,391
1
vote
0
answers
105
views
Weyl group action on the Lie algebra [duplicate]
Let $W$ be the Weyl group of a complex semisimple Lie algebra $\frak{g}$. Certainly $W$ acts on the root system $R$ of $\frak{g}$ but can it be made to act on $\frak{g}$ or on the universal enveloping ...
2
votes
0
answers
67
views
A branching law involving 2-power exterior representations
Let $K=SU(n)$.
We take a maximal torus $T$ in $K$ and fixed a simple root system with fundamental weights $\eta_1,\dots,\eta_{n-1}$.
For $\mu$ a dominant weight of $K$, we denote by $(\tau_\mu,V_\mu)$ ...
- 2,446
3
votes
0
answers
139
views
Root space inner products and the partial order on roots
For a root system $R$ and a choice of positive roots $R^+$ it is a standard fact (see, e.g., Bourbaki, "Lie Groups and Lie Algebras," Theorem 1 of Section 1.3 of Chapter VI) that
if $(\...
2
votes
0
answers
180
views
Howe duality vs first fundamental theorem in invariant theory
I'm working on Howe duality, and R. Howe proved that the Howe duality of $\mathrm{GL}_n$ is equivalent to the first fundamental theorem (FFT) in invariant theory. So, Howe duality gives a ...
3
votes
1
answer
140
views
Asymptotics of Haar moments on general Lie groups
I am trying to understand the asymptotics of Haar Moments on general compact Lie groups (in particular, subgroups of $\mathrm{SU}(n)$). I have learned that closed form formulae for these moments are ...
- 179
2
votes
0
answers
159
views
The Cartan is a complex vector space but the root system is real?
Let $\frak{g}$ be a complex semisimple Lie algebra with some choice of Cartan subalgebra $\frak{h}$. The dual space $\frak{h}^* = \mathrm{Hom}_{\mathbb{C}}(\frak{h},\mathbb{C})$ is a complex vector ...
- 1,144
3
votes
2
answers
492
views
Pairing a root with the half-sum of positive roots
Let $\frak{g}$ be a finite-dimensional complex simple Lie algebra together with a choice of Cartan subalgebra and associated root system $(\Delta, (-,-))$. Also we denote the half-sum of positive ...
2
votes
1
answer
337
views
Knapp's proof that the fundamental group of a compact semisimple Lie group is finite
In Knapp's book Representation Theory of Semisimple Groups: An Overview Based on Examples, he proves the following theorem of Weyl: If $G$ is a compact connected semisimple Lie group, then $\pi_1(G)$ ...
- 241
6
votes
0
answers
139
views
Why are all representations of split groups of real type?
(I am using a throwaway account because I plan on possibly pointing to this answer in a referee report I am writing, and using my main account would be a bit too obvious.)
Let $\mathfrak{g}$ be a ...
2
votes
0
answers
81
views
Complex semisimple Lie algebra modules with non-semisimple Cartan action
Let $\frak{g}$ be a complex semisimple Lie algebra. I would like to know about infinite-dimensional representations $M$ of $\frak{g}$ for which the Cartan $\frak{h} \subseteq \frak{g}$ does not act ...
- 257
4
votes
0
answers
120
views
Why are all "non-swinging" representations self-dual?
Let $\mathfrak{g}$ be a semisimple (say complex) Lie algebra, and $V$ an irreducible finite-dimensional representation of $\mathfrak{g}$. Denote by $w_0$ the longest element of the Weyl group, i.e. ...
- 1,574
7
votes
1
answer
739
views
Infinite dimensional representations of $\frak{sl}_2$
The finite-dimensional representations of a complex semisimple Lie algebra $\frak{g}$ are well known to be classifiable by their highest weight vectors, giving a convenient countable indexing set. I ...
- 257
3
votes
1
answer
280
views
Decomposition of tensor powers of the vector representation of $\frak{sl}_n$
Let $V(\pi_1)$ be the usual vector/matrix representation of the Lie algebra $\frak{sl}_n$, for $n > 2$. A basic fact is the tensor product $V(\pi_1) \otimes V(\pi_1)$ decomposes as
$$
V(\pi_1) \...
- 257
1
vote
1
answer
189
views
Tensoring irreducible representations corresponding to root lattice elements
Let $\frak{g}$ be a complex semisimple Lie algebra with root lattice $Q$ and positive weight space $P^+$. Let $\lambda, \mu \in Q \cap P^+$, with corresponding respective fin-dim irreducible ...
- 327
0
votes
1
answer
130
views
Non-trivial weight spaces of finite-dimensional irreducible $\frak{g}$-modules
Let $\lambda \in \mathcal{P}^+$ be a dominant weight for $\frak{sl}(n,\mathbb{C})$. When does it hold that the zero weight space, of the associated finite-dimensional $L(\lambda)$, is non-trivial?
...
- 327
4
votes
1
answer
239
views
Number of representations of a semisimple Lie algebra of any given dimension
For a semisimple complex Lie algebra $\frak{g}$ it is well known that irreducible finite-dimensional representation are not characterised by their dimension.
More formally, let us define an ...
- 327
4
votes
1
answer
278
views
Complexification of a Lie subalgebra of a compact real form
I'm currently reading the paper Lie algebra Cohomology and the Generalized Borel–Weil theorem written by B. Kostant, and I have a question about Remark 3.9 he made.
In this paper, $\mathfrak{g}$ is a ...
- 323
3
votes
1
answer
147
views
Does every nilpotent orbit have an element supported on the simple root spaces?
Let $G$ be a connected reductive algebraic group (over $\mathbb{C}$) and $\mathfrak{g}$ its Lie algebra. Let $O \subset \mathfrak{g}$ be an orbit of a nilpotent element. Let $\Pi = \{\alpha_1, \dots ,\...
- 57