All Questions
82 questions
30
votes
1
answer
2k
views
Is there an accessible exposition of Gelfand-Tsetlin theory?
I'm hoping to start an undergraduate on a project that involves understanding a bit of Gelfand-Tsetlin theory, and have been tearing my hair out looking for a good reference for them to look at. ...
- 44.7k
19
votes
2
answers
2k
views
Dual versions of "folding" symmetric ADE Dynkin diagrams?
Start with the Dynkin diagram of an irreducible root system, typically associated with a simple
Lie algebra over $\mathbb{C}$ or a simple algebraic group. Most of the simply-laced ADE
diagrams ...
- 52.9k
18
votes
3
answers
1k
views
What happened to the fourth paper in the series "On the classification of primitive ideals for complex classical Lie algebras" by Garfinkle?
In a series of papers in Compositio Math. entitled On the classification of primitive ideals for complex classical Lie algebras I, II and III, Garfinkle describes an algorithm that allows one to ...
- 2,508
16
votes
4
answers
3k
views
Decompose tensor product of type $G_2$ Lie algebras.
Let $G$ be a semisimple Lie algebra over $\mathbb{C}$. Let $V(\lambda)$ be the irreducible highest weight module for $G$ with highest weight $\lambda$. If $G$ is of type A, we can decompose $V(\lambda)...
- 6,201
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
15
votes
2
answers
762
views
Gelfand-Tsetlin algebras and "Jucys-Murphy elements" for $\mathfrak{gl}_n$
I'm trying to figure out/find in literature the details concerning Gelfand-Tsetlin algebras for $\mathfrak{gl}_n(\mathbb C)$ (Okounkov-Vershik style, if you wish).
Consider the chain $$\mathcal U(\...
- 3,513
14
votes
1
answer
544
views
Are there nice isomorphisms $\operatorname{S}^2(k^n)\cong\Lambda^2(k^{n+1})$?
This might be forced to migrate to math.SE but let me still risk it.
The spaces $\operatorname{S}^2(k^n)$ and $\Lambda^2(k^{n+1})$ from the title have equal dimensions. Is there a natural isomorphism ...
- 18.4k
13
votes
3
answers
3k
views
How to Compute the coordinate ring of flag variety?
Let $G$ be algebraic group over $\mathbb(C)$(semisimple), $B$ be Borel subgroup. consider flag variety $G/B$. It is known that $G/B$ is projective variety. So one consider the homogeneous coordinate ...
- 5,515
13
votes
1
answer
753
views
Tilting Objects in BGG Categories $\mathcal{O}$
Let $\mathcal{O}$ be the BGG category $\mathcal{O}$ with respect to a finite dimensional semisimple Lie algebra $\mathfrak{g}$ and its Borel subalgebra $\mathfrak{b}$ (as define in this book by ...
- 295
13
votes
0
answers
1k
views
Source of a formula for tensor product multiplicities?
This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other ...
- 52.9k
12
votes
5
answers
2k
views
How does the group algebra look as a Lie algebra
It's probably a well known question, so it is just a reference question.
Let $G$ be a finite group and let $C[G]$ be a group algebra. Then we can define a bracket on $C[G]$ by $[f,h]=f*h-h*f$. What ...
- 2,179
12
votes
1
answer
1k
views
Smallest dimension of nontrivial representation of a simple Lie algebra over `$\mathbb{C}$`
The question involved here is natural and very classical, but I'm unsure what has been formally stated and proved in the literature. The only approach I know involves assembling facts that apparently ...
- 52.9k
11
votes
1
answer
480
views
Uncle of Witt algebra
A Witt algebra W is an infinite-dimensional Lie-algebra defined by the generator relations:
W: $[L_{j},L_{k}]:=(j-k)\cdot L_{j+k}$
And my first thought was: What about the analogous algebra defined by
...
- 4,829
11
votes
1
answer
617
views
Is there a unique "natural" action of $\mathsf{SL}_{n+1}$ on $\mathbb{R}^n$?
Context
By acting naturally via $\mathsf{SL}_3$ on $\mathbb{RP}^2=\{[x:y:z]\}$ and by taking the induced action on the affine hyperplane $z=1$ (which we identify with $\mathbb{R}^2$), one can realize ...
- 2,527
10
votes
1
answer
399
views
Basic algebra of $\mathcal{O}_0(\mathfrak{sl}_n(\mathbb{C}))$ — Reference request
It is well known that the principal block $\mathcal{O}_0$ of the BGG category $\mathcal{O}$ of a semisimple Lie algebra is equivalent to the category of finitely generated modules over a certain ...
- 103
9
votes
3
answers
576
views
Reference Request: Structure constants for G2
Let $G$ be a split semisimple real Lie group in characteristic zero, and let $B=TU$ be a Borel subgroup with unipotent radical $U$ and Levi $T$. Fix an ordering on the roots $\Phi^+$ of $T$ in $U$, ...
- 6,180
9
votes
1
answer
497
views
Highest weight representations of Kac—Moody algebras: what is inside the weight spaces?
Let $V(\lambda)$ be the unique irreducible representation of a Kac—Moody algebra $\mathfrak{g}$ with the highest weight $\lambda$. If $\mathfrak{g}$ is not of finite type, then even for $\lambda$ one ...
- 3,186
9
votes
1
answer
355
views
Reference request for indecomposable representations of $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$
Is there a good reference on the classification of indecomposable representations of the Lie algebra $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$ (of course, in ...
- 239
9
votes
0
answers
470
views
Branching rules for compact Lie groups
Let $G$ be a compact connected Lie group, and let $H\subset G$ be a closed subgroup. For an irreducible representation $\pi:G\to\mathrm{End}_\mathbb{C}(V)$ of $G$ ($\dim\pi<\infty$) I want to know ...
- 1,959
8
votes
3
answers
3k
views
How to compute irreducible representation of Lie algebra in the framework of BBD
We know Beilinson-Bernstein established the following famous equivalence:
$D-mod_{G/B}\rightarrow U(g)-mod_{\lambda}$,where $G$ is algebraic group and $B$ is Borel subgroup, $G/B$ is flag variety of ...
- 5,515
8
votes
3
answers
784
views
Characterisation of parabolic subalgebras: reference sought
Let $\mathfrak{g}$ be a complex semisimple Lie algebra and $\mathfrak{p}$ a subalgebra. As we all know, $\mathfrak{p}$ is parabolic if it contains a Borel (thus maximal solvable) subalgebra. In this ...
- 1,051
8
votes
1
answer
591
views
History of the study of Verma modules in terms of Kazhdan Lusztig Theory
Let $\mathfrak{g}$ be a complex finite dimensional semisimple Lie algbera, $W$ be the Weyl group, $\rho$ be the half sum of positive roots, $M(\eta)$ be the Verma module of weight $\eta$ and $L(\eta)$ ...
- 1,875
8
votes
0
answers
411
views
Which representations of the Lie algebra of a Lie group come from representations of the group itself?
I think this is very classic mathematics, but I can't find a complete answer in the literature.
Let $G$ be a Lie group, $\mathfrak{g}$ the Lie algebra of $\mathfrak{g}$. Suppose $\rho : \mathfrak{g} \...
- 1,586
7
votes
3
answers
599
views
Root system of fixed point Lie sub-algebra
It is known that a non-simply laced simple root system can be constructed from the simply-laced root system by folding the Dynkin diagram and hence the corresponding non-simply-laced Lie algebra can ...
- 103
7
votes
1
answer
824
views
Infinite-dimensional admissible representations of SL(2,C)
I'm working in my research with the infinite dimensional (admissible) irreducible representations of $\mathrm{SL}(2,\mathbb{C})$ introduced by Harish-Chandra in his paper "Infinite Irreducible ...
7
votes
0
answers
171
views
$\mathfrak{sl}_2(\mathbb{Z})$'s properties as a Lie algebra over a ring
I was wondering what was known about $\mathfrak{sl}_2(\mathbb{Z})$ as a Lie algebra; in particular, what is known about its representation theory? I know of some texts which treat Lie algebras ...
- 71
6
votes
3
answers
1k
views
Reference request: representation of type G2 Lie algebras.
Let $\mathfrak{g}$ be an Lie algebra of type G2. Are there some combinatorial ways to describe a basis of a $\mathfrak{g}$-module? For classical types, there is a method used tableaux. Thank you very ...
- 6,201
6
votes
3
answers
772
views
Existence of a weight of a representation in the fundamental Weyl chamber
Let $\mathfrak g$ be a complex simple Lie algebra.
Fix a Cartan subalgebra $\mathfrak h$ of $\mathfrak g$, let $\Delta$ denote the corresponding root system.
Pick a partial order on $\mathfrak h$, ...
- 2,446
6
votes
2
answers
331
views
Lie powers of a graded vector space and Klyachko's theorem
Let $V$ be a $\mathbb{Z}_2$-graded vector space (aka super vector space) and $L(V)$ be the free $\mathbb{Z}_2$-graded Lie algebra (aka super Lie algebra). The free super Lie algebra is also graded by ...
- 21.5k
6
votes
1
answer
255
views
Questions about the $\mathbf{i}$-trails of Berenstein and Zelevinsky
The $\mathbf{i}$-trails of Berenstein and Zelevinsky was introduced on page 5 (Definition 2.1) in this paper. It is defined as follows. Let $\gamma, \delta \in \mathfrak{h}^*$. Let ${\bf i}=(i_1, \...
- 6,201
6
votes
1
answer
428
views
Reference on Highest Weight Module of Kac-Moody Algebra
I am trying to understand this paper. The construction requires the understanding of the following concepts in the representation theory of simple and affine Lie algebras:
The construction of Verma ...
- 989
6
votes
3
answers
873
views
twisted affine algebras
Let $g$ a finite-dimensional complex simple Lie algebra and $\sigma$ a finite order Dynikin diagram automorphism of $g$.
Consider $\tilde g$ as the loop algebra associated to $g$, and $\tilde g^\...
- 829
6
votes
1
answer
2k
views
How to calculate partition function of a QFT by summing over irreducible representations of the symmetry group?
By definition computing the partition function of a QFT amounts to doing a Feynman Path Integral exactly. At a schematic level I can see why this can become a question of summing/integrating over ...
- 3,541
6
votes
1
answer
169
views
Existence of a real eigenvalue is a necessary condition for the density of all the orbits of a Lie subgroup of $GL(\mathbb{R},d)$
Good morning,
I would like to pose the following (maybe naive) question. Let $\mathfrak{a}\subset \mathfrak{gl}(\mathbb{R},d)$ be any lie subalgebra, and $A$ be the connected, simply connected ...
user17697
6
votes
0
answers
179
views
Tensoring Harish-Chandra bimodules with Verma modules
The question is about the functor $T_\lambda$ defined by Bernstein and Gelfand in the paper Tensor Products of Finite and Infinite Dimensional
Representations of Semisimple Lie Algebras.
Setup: Let $\...
- 335
6
votes
0
answers
236
views
Subquotients of Jantzen Filtration for Kac-Moody algebras
Let $\mathfrak{g}$ be a complex symmetrizable Kac-Moody algebra, with triangular decomposition $\mathfrak{n}^- \oplus \mathfrak{h} \oplus \mathfrak{n}^+$. Let $\lambda \in \mathfrak{h}^*$, and $M(\...
- 329
5
votes
4
answers
623
views
Structure of $[S(\mathfrak{g})\otimes S(\mathfrak{g})]^G$ for semisimple $\mathfrak{g}$
Let $\mathfrak{g}$ be a semisimple Lie algebra over $\mathbb{C}$. $S(\mathfrak{g})^G$ is a polynomial algebra with rank $\mathfrak{g}$ generators. Call them $c_i(x)$, where $x\in \mathfrak{g}$ and $i=...
- 6,123
5
votes
3
answers
849
views
Weyl's Branching Rule for $SU(N)$-Setting
On the Wikipedia page for restricted representations
https://en.wikipedia.org/wiki/Restricted_representation
there is presented a number of explicit "branching rules". In particular, there is the ...
- 835
5
votes
2
answers
439
views
Difference of adjacent dominant weights is a root?
The basic set-up here makes sense in the theory of abstract root systems if one brings (integral) weights into the picture, but it may be more natural to think about the classical characteristic 0 ...
- 52.9k
5
votes
2
answers
964
views
Weight spaces of representations of finite dimensional simple Lie algebras
This question has probably been asked before on this website, but I could not find any solution and neither can I solve this question. So again I am asking the following question:
Let $\mathfrak{g}$ ...
- 153
5
votes
2
answers
584
views
BGG-like resolutions and translations
This question originated from my confusion after I read the following paragraph (page 31, section 4.8) in Resolutions and Hilbert series of the unitary highest weight modules of the exceptional ...
- 8,597
5
votes
1
answer
792
views
Constructing a Kac-Moody group as a quotient of the free product of its root subgroups
The paper "Regular Functions on Certain Infinite-dimensional Groups" by Kac and Peterson describes the construction of a group associated to the datum of a Kac-Moody algebra in a way I haven'...
- 53
5
votes
1
answer
346
views
Restricting representations to a principal $\mathfrak{sl}(2)$
Let $\mathfrak{g}$ be a semi-simple Lie algebra over $\mathbb{C}$ with simply connected group $G$ and suppose that
$$\mathfrak{g} = \bigoplus_i\mathfrak{g}_i$$ is a $\mathbb{Z}$- or $\mathbb{Z}/n\...
- 2,516
5
votes
1
answer
1k
views
The Casimir invariant of an irreducible representation of a compact Lie group
Let $G$ be a compact Lie group (not necessarily connected) and $\rho:G\to \mathrm{End}(V)$ an irreducible (hence finite-dimensional) unitary representation of $G$. Let $\mathfrak{g}$ be the Lie ...
- 1,942
5
votes
1
answer
283
views
Finite order automorpisms of affine Kac-Moody Lie algebras
It is known that for a finite order automorphism $\phi$ of a complex semisimple Lie algebra $L$, the fixed point subalgebra $L^{\phi}$ is a reductive Lie algebra and the centralizer of a Cartan ...
- 59
5
votes
0
answers
147
views
Tensor product of a Verma module of the highest weight and a Verma module of the lowest weight, $\mathfrak{g}=\mathfrak{sl}_2(\mathbb{C})$
$\DeclareMathOperator\sl{\mathfrak{sl}}\newcommand\hw{\mathrm{hw}}\newcommand\lw{\mathrm{lw}}$Consider $\mathfrak{g}=\sl_2(\mathbb{C})$. Fix $\lambda,\mu\in\mathbb{C}\setminus \frac{1}{2}\mathbb{Z}_{\...
- 51
5
votes
0
answers
146
views
On Soergel's results concerning projectives modules in category $\mathcal{O}$
I am looking for a translated proof of two results of Soergel usually referred to as endomorphismensatz and struktursatz.
Both of those results were shown in the paper
Soergel, W. (1990). Kategorie 𝒪...
- 211
5
votes
0
answers
218
views
Lusztig's completion for universal enveloping algebra
In Arkhipov, Bezrukavnikov and Ginzburg's paper "Quantum Groups, the loop Grassmannian and the Springer resolution", they mentioned that Lusztig introduced a certain completion for universal ...
- 677
4
votes
3
answers
2k
views
Decomposition into irreducibles of symmetric powers of irreps.
Suppose I have an irreducible representation of a simple Lie algebra, say $\mathfrak{sl}(n)$ or $\mathfrak{so}(n)$ i.e., $A$ and $D$ type. Given such a representation, $\Gamma_\lambda$, indexed by its ...
- 247
4
votes
1
answer
713
views
Criterion for nilradical of a maximal parabolic subalgebra to be abelian?
This question has some overlap with previous ones but doesn't seem to have a well-documented answer. I recall some literature (mostly involving Lie groups and hermitian symmetric pairs, etc.) which ...
- 52.9k