5
votes
0answers
181 views

Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course. Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
8
votes
2answers
271 views

Sums of degrees of irreducible complex characters

The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant to determine the dimension of a maximal torus of the Lie algebra associated to ...
2
votes
1answer
123 views

Weight multiplicities for some particular representations of SO(2m).

I am looking for explicit formulas for the weight multiplicities of some particular irreducible representations of $SO(2m)$. It is possible that they have been already computed; in this case I will ...
-1
votes
0answers
54 views

Complex conjugation of positive roots [migrated]

I have a simple question about root systems. Suppose that $G$ is a connected reductive group over the reals $\mathbb{R}$, and $T\subset G$ is a maximal torus (by this I mean that $T_{\mathbb{C}}$ is a ...
4
votes
2answers
116 views

Invariant planes of a nilpotent matrix with two Jordan blocks of size two

Describe all the invariant 2-dimensional subspaces of $\mathbb{C}^4$ (or $\mathbb{R}^4$) of the nilpotent map $$ N = \begin{pmatrix} 0 & 1 & & \\ 0 & 0 & & \\ & & 0 ...
0
votes
0answers
174 views

PBW proof proposal

One version of the PBW theorem states: $\omega $:$\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras. I am curious if this is a possible proof for the PBW theorem, part is taken ...
5
votes
3answers
373 views

Characterising the adjoint representation of SU(N)

One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an ...
0
votes
0answers
98 views

Non-semisimple Lie algebra tensors

Let $\mathfrak{L}$ be a non-semisimple Lie algebra. Let $T_i$ be its generators. As usual, define the structure constants $C_{ij}^k$ by $[T_i,T_j]=C_{ij}^kT_k$ and the metric tensor $g_{jm}$ by ...
5
votes
1answer
174 views

Quadratic Casimir of fundamental irreps of simply-laced Lie algebras

I have the following question, motivated by the expression for the character of level 1 highest weight integrable representations of simply-laced affine algebras (in terms of the string function). It ...
5
votes
0answers
116 views

Generators for invariant tensors of lie algebras

EDITED FOR (hopeful) CLARITY: For a simple Lie algebra $\mathfrak{g}$ (over $\mathbb{C}$) and its adjoint group G, the $G$-invariant polynomials on $\mathfrak{g}$ are linear combinations of products ...
3
votes
1answer
167 views

Lie group GL(4) representation decomposition

Let $V$ be the defining representation of $GL(4,\mathbb C)\to GL(V)$ with $V=\mathbb{C}^4$. Let $Ext\;V$ be the exterior square of $V$ which is a 6-dim repsentation. My question: How does $$V\otimes ...
2
votes
1answer
173 views

R-linear representations of sl(2,C)

Is there some good reference for the classification of finite-dimensional ${\mathbb R}$-linear (as opposed to ${\mathbb C}$-linear) representations of $\mathfrak{sl}_2{\mathbb C}$? Equivalently, what ...
2
votes
1answer
150 views

“Quantum Littlewood-Richardson” Rule?

Let $\frak{g}$ be a complex semi-simple Lie algebra, and $\lambda,\mu \in P^+$ two positive dominant weights with corresponding irreducible representations $V(\lambda)$ and $V(\mu)$. The tensor ...
1
vote
0answers
85 views

Decomposition of a representation of SU(N) into representations of SU(N-1)

Let $\omega_k$ be the highest weight of the $k$-th antisymmetric representation of $\mathfrak{su}(N)$. Consider an irreducible representation of $\mathfrak{su}(N)$, characterized by its highest ...
1
vote
0answers
44 views

A canonical map Aut$_{\mathsf{Lie}_R}(\mathfrak{n} \rtimes_\pi \mathfrak{g}) \to$ Aut$_{\mathsf{Lie}_R}(\mathfrak{n})$

Let $\mathfrak{n}$, $\mathfrak{g} \in \mathsf{Lie}_R$ be two Lie algebras over a commutative ring $R$, s.t. $\mathfrak{g}$ acts on $\mathfrak{n}$ as a derivation: $\pi:\mathfrak{g} \to ...
2
votes
0answers
97 views

(Graded) Lie algebras with “nice” irreps

"(The only Lie algebras for which) all finite-dimensional representations are completely reducible (are the semisimple Lie algebras)" (Chapman, here on MO). Evidently this can't no longer hold when ...
2
votes
0answers
100 views

On Eigenvalues of the symmetric linear transformation related to a lie algebra's representation?

Let $\mathfrak{g}$ be a quadratic (finite dimensional) lie algebra and $\rho:\mathfrak{g}\rightarrow \mathfrak{gl}(W)$ be an anti-symmetric representation of $\mathfrak{g}$ on a finite dimensional ...
1
vote
0answers
142 views

Replacing the Lie commutator with something else [closed]

Take a vector space $V={A,B,C,...}$ (of matrices), and the commutator $[A,B]=AB-BA$, then a Lie algebra of $V$ is characterized by $[V,V]$ staying in $V$. (Loosely speaking.) What happens ...
1
vote
1answer
209 views

labeling state vectors in representation space of a simple lie algebra

Given a simple lie algebra (over ${\mathbb C}$ or ${\mathbb R}$). What is the number of operators such that their eigenvalues sufficiently label all state vectors in the algebra's representation ...
1
vote
0answers
41 views

Analytic vectors of elliptic elements of the enveloping algebra in a strongly continuous representation of a Lie group

Let $G$ be a semi-simple real Lie group, and $\rho$ a strongly continuous unitary representation of $G$ in a Hilbert space $H$. Let $\mathfrak{g}$ be its Lie algebra and $d\rho$ be the infinitesimal ...
5
votes
2answers
206 views

Heisenberg subalgebras of affine Lie algebras

It seems to be "well-known" that (infinite-dimensional) Heisenberg subalgebras of an affine Lie algebra $\hat{\mathfrak{g}}$ corresponding to a finite-dimensional simple Lie algebra $\mathfrak{g}$ of ...
0
votes
0answers
53 views

“Unicolor” irreps (R is in RxR)

If $R$ occurs in the Clebsch-Gordan series $R\bigotimes{R}$, I call an irrep $R$ of a Lie algebra "unicolor" - for the obvious reason that you can color any cubic graph with $R$ only and get (at least ...
2
votes
2answers
230 views

Generalizations of Lie algebras

I often stumble over the term "Lie superalgebra" (= "Lie algebra with a $\mathbb{Z}_2$ grading"). Obvious question: What about $\mathbb{Z}_3$ grading (and so on)? Is a Lie algebra with $\mathbb{Z}_n$ ...
1
vote
1answer
133 views

adjoint action of a Levi subalgebra

We work over an algebraically closed field of characteristic 0. Let $\mathfrak{g}$ be a reductive Lie algebra and let $\mathfrak{p}\supset\mathfrak{m}$ be a parabolic subalgebra, respectively a Levi ...
6
votes
1answer
334 views

Origin of symbols used for half-sum of positive roots in Lie theory?

The Weyl character formula is a central result in the finite dimensional representation theory of semisimple Lie groups, algebraic groups, Lie algebras. Related questions on MO include these here ...
5
votes
0answers
140 views

A question on the resolution of parabolic Verma module $M_I(\lambda)$ in BGG category O

I am reading Humphrey's book "Representations of semisimple Lie algebras in the BGG Category O" on Page 189, Proposition 9.6, where he remarked that "Note that if we had developed the full BGG ...
4
votes
1answer
217 views

The existence of a finite dimensional Lie algebra with a given symmetric invariant metric

The question is motivated by a more broad perspective in another MO post and here, but here we would like to understand a specific case (our question potentially connects to / is motivated b Quantum ...
4
votes
1answer
222 views

Finite dimensional Lie algebra with non-degenerate invariant bilinear forms $\Omega_{ab}$

Firstly, my apology to MO experts that I am in a more science/physics background (a PhD). So please feel free refine/modify/comment my language if I have different math accents than yours. From ...
3
votes
2answers
333 views

Complete classification of six dimensional non-semi simple Lie algebra

I would aim to know the complete classification of 6 dimensional non-semi simple Lie algebra (here the dimension stands for the generators; or the dimension $\leq 6$). In this paper, in page 7, it ...
0
votes
1answer
142 views

Highest weights of irreducible components of tensor product of irreducible sl(3)-module [closed]

I am study the representation theory of $sl(3)$ and I have a question about the tensor representation of irreducible $sl(3)$-modules as follows: For each weight $\mu$, let $L(\mu)$ be the irreducible ...
4
votes
3answers
584 views

Reg the motivation behind Lusztig-Vogan bijection

Let $G$ be an algebraic group. Choose a Borel subgroup $B$ and a maximal Torus $T \subset B$. Let $\Lambda$ be the set of weights wrt $T$ and let $\mathfrak{g}$ be the lie algebra of $G$. Now, ...
3
votes
1answer
265 views

Maximal Submodule of a Verma Module

Let $\mathfrak{h}$ be a Cartan subalgebra of a $\mathbb{C}$-semi simple Lie algebra $\mathfrak{g}$. Given $\lambda \in \mathfrak{h}^*$, $M(\lambda)$ the Verma module of highest weight $\lambda$ and ...
7
votes
2answers
262 views

Realizing a subgroup of a Lie group as a stabilizer subgroup

Let $G$ a compact semisimple Lie group, $H$ a subgroup of $G$. Is it always possible to find an irreducible representation $R$ of $G$ such that the stabilizer of an $x\in R$ is "locally isomorphic" to ...
1
vote
0answers
109 views

Are Generalized Verma modules natural w.r.t isometries?

Let $H$ be a subgroup of $G$ with Lie algebras $\mathfrak{h}$ and $\mathfrak{g}$ respectively. If I have 2 representations $V, W$ of $\mathfrak{h}$ equipped with a $\mathfrak{h}$ invariant inner ...
2
votes
1answer
150 views

Branching rule for classical Lie algebras in positive characteristic

The restriction of an irreducible $\mathfrak{sl}_n(\mathbb{C})$-module to $\mathfrak{sl}_{n-1}(\mathbb{C})$ is described by a branching rule which says that if $L(\lambda)$ is the simple ...
-1
votes
1answer
165 views

irreducible Classical Lie algebras [closed]

which submodule of FG-module of a lie algebra $L$ will be determined I want to check that how we can find out a classical lie algebra like $D_4$ and $E_6$ are irreducible?
3
votes
2answers
175 views

Moving Between Weight Spaces in Highest-Weight Representations

Let $G$ be a connected, simply-connected complex semisimple linear algebraic group with Lie algebra $\frak{g}$. Fix a maximal torus $T\subseteq G$ and let $\Delta\subseteq Hom(T,\mathbb{C}^*)$ be the ...
2
votes
0answers
151 views

The fundamental in the tensor square of a complex representation of $SO(N)$

I would like to figure out whether there is an irreducible complex (in the sense non-self-conjugate) representation of a group $SO(N)$, $N>2$, whose tensor square contains the fundamental ...
1
vote
1answer
424 views

Para-Complexification of Lie Groups

Let $G$ be a real Lie group. Then the complexification $G_\mathbb{C}$ of $G$ is the unique complex Lie group equipped with a map $φ:G\to G_\mathbb{C}$ such that any map $G\to H$ where $H$ is a ...
11
votes
1answer
825 views

Is this error in this paper of Langlands fixable?

The FQS criterion for the Virasoro algebra was discovered by Friedan, Qiu and Shenker (1), but the mathematicians found their proof insufficient, so that, FQS (2) and Langlands (3), published in the ...
8
votes
3answers
449 views

What is the categorical significance of the trivial $\mathfrak{g}$-module in the category of $\mathfrak{g}$-mod?

This question may be trivial for experts. Let $\mathfrak{g}$ be a Lie algebra over a field $k$ and consider the category $\mathfrak{g}$-mod of $\mathfrak{g}$ modules. We can add suitable conditions, ...
3
votes
1answer
242 views

Could we define the semi-direct product of two universal enveloping algebras?

If we have two Lie algebras $\mathfrak{g}$ and $\mathfrak{h}$ over a field $k$, and if we have a Lie algebra homomorphism $\mathfrak{g}\rightarrow \text{Der}_k(\mathfrak{h})$, then we can define the ...
2
votes
2answers
255 views

Truncated induction for exceptional cases

In Carter's book (Finite groups of Lie type), he reviews the truncated induction procedure (called j-operation in the text) of Macdonald-Lusztig-Spaltenstein in great detail for the classical Weyl ...
4
votes
1answer
292 views

Does $\text{Mat}_n(k)$ have some universal properties similar to its universal enveloping algebra?

Let $k$ be a field and $\text{Mat}_n(k)$ be $n \times n$ matrices over $k$. Let's consider $\text{Mat}_n(k)$ as an associative algebra and denote $gl_n(k)$ be the same $k$-linear space as ...
2
votes
1answer
533 views

Kirillov-Kostant-Souriau Theorem on $\mathfrak{g}\oplus \mathfrak{g^*} $

My question is about the extention of kirillov's symplectic structure on coadjoint orbits. The most remarkable feature of the coadjoint representation is the fact that all coadjoint orbits possess a ...
1
vote
2answers
332 views

Representation theory, classical Lie algebra, D_{n}

I want to know the fundamental representation of classical Lie algebra of type $D_{n}$ over complex numbers with the following informations. For example, $L(\omega_i)$ be a fundamental rep of ...
12
votes
2answers
428 views

calculating Littlewood-Richardson coefficients

It is known that if $\alpha,\beta,\gamma$ are three partitions then the Littlewood-Richardson coefficient $c_{\alpha \beta}^{\gamma}$ is positive when the triple ($\alpha,\beta,\gamma$ ) occurs as ...
0
votes
1answer
169 views

when $g^*$ is invariant under $Ad(G)$?

Let $G$ be a Lie Group and $\mathfrak{g}$ be its lie algebra. Let $\mathfrak{g}$ is semisimple or reductive lie algebra, then prove that $\mathfrak{g}^*$ (dual of $\mathfrak{g}$)is invariant under ...
2
votes
1answer
291 views

Kac Moody algebra defintion

Why is the dimension of the cartan subalgebra $2n-\text{rank}(A)$ in the defintion from Kumar's book. From a few examples I can see why the defintion is the way it is, but, I would like a better ...
2
votes
0answers
85 views

The condition of maximality in branching rules of $SO$ group representations

Let the highest weight of a $SO(2n+1)$ representation be given as $(m_1,m_2,...,m_n)$ ($m_1\geq m_2 \geq .. \geq m_n \geq 0$) and the highest weight of a $SO(2n)$ representation be $(s_1,s_2,...,s_n)$ ...