# Tagged Questions

15 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 ...
41 views

### Prove the Weyl's complete reducibility Theorem on finite-dimensional $\mathfrak{g}-modules$ by Kostant's $\mathfrak{n}$-cohomology result

I've met an exercise in Kumar's book ("Kac-Moody Groups, their Flag Varieties and Representation Theory", Chapter III, page 89, Ex. 3.2. E, (1) & (2)). But I have no idea about its proof. Any ...
27 views

### Isomorphic Dual and Conjugate Representations of a Lie Algebra

Let $\frak{g}$ be a complex Lie algebra $\frak{g}$, and $R:\frak{g} \to$End$(V)$, a representation for some finite dimensional complex vector space $V$. As is well-known, we can construct from $R$ ...
172 views

### Applications of Algebra in Physics

Often I have heard about the link between Algebra (in particular Representations of Groups and Algebras) and some "indefinite" field of Physics. I have a good preparation in Algebra and ...
24 views

### Dimension of a weight space which is of weight $0$.

Let $V$ be a module of a Lie algebra $\mathfrak{g}$ and $V_{0}$ be the weight space of $V$ of weight $0$. $$V_0 = \{ v\in V: h.v = 0, h \in \mathfrak{h} \},$$ $\mathfrak{h}$ is a Cartan subalgebra ...
21 views

### How to compute $\lambda(h_i)$?

Let $\lambda$ be a weight and $h_i = h_{\alpha_i} \in \mathfrak{h}$, $\alpha_i$ is a simple root. $\mathfrak{h}$ is a Cartan subalgebra of a Lie algebra $\mathfrak{g}$. How to compute $\lambda(h_i)$? ...
39 views

### Question on unitary representation of non-compact simple Lie groups

The following is an exercise appearing page 148 in Knapp's book, representation theory of semisimple groups. Let $G$ be a connected linear non-compact Lie group with simple Lie algebra $\mathfrak g$. ...
25 views

34 views

### Adjoint Lie algebra homomorphism

I have a problem deriving the adjoint action $ad_X(Y)=XY-YX$ from the adjoint transformation of the group on the Lie algebra. Background: The adjoint action of the Lie algebra on itself is given by ...
31 views

### Formal proof of Clebsch Gordon sum

physicist here. When looking at the irreducible representations of $so(3)$, i.e. the set of all real valued anti-symmetric matrices, one can parametrize those irreps with an index $j$ which can be ...
30 views

### Angles between adjacent roots in a reduced root system.

Let $R$ be a reduced root system. ($R$ is a finite set spanning $V$, $\alpha \in R \rightarrow -k\alpha \in R$ iff $k=1$, $s_{\alpha}(R)=R$, $s_{\alpha}(\beta)-\beta=k\alpha$ whit $k$ integer). ...
18 views

### Finding a basis and weight space for $L = so_6(\mathbb{C})= \{x \in End(\mathbb{C}^6)|^txS + Sx = 0 \}$

The question: Let $S = \left(\begin{array}{cc} 0 & I_3 \\ I_3 & 0 \end{array}\right)$ and let $$L = so_6(\mathbb{C})= \{x \in End(\mathbb{C}^6)|^txS + Sx = 0 \}$$ 1) Find a basis for $L$ ...
34 views

### Confusion regarding PBW theorem

I was reading up Humphrey's Introduction to Lie Algebras and Representation Theory and have a confusion regarding a consequence of PBW. First some notations: Let $L$ be a Lie algebra over ...
17 views

48 views

### What is the explicit formula for classical r-matrices?

It is said that classical r-matrices are those satisfy the classical Yang-Baxter equation $[r_{12}, r_{13}] + [r_{12}, r_{23}] + [r_{13}, r_{23}] = 0$, where $r \in \mathfrak{g} \otimes \mathfrak{g}$. ...
44 views

### How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$?

Let $U$ be the positive unipotent radical of $SL_n$ and $\mathfrak{n}$ the Lie algebra of $U$. How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$? Here $\mathcal{O}_q[U]$ is the ...
51 views

### Differentiating a representation

I'm reading the paper Presenting Schur algebras as quotients of the universal enveloping algebra of $\mathfrak{gl_2}$. It describes a representation of the group algebra ...
29 views

31 views

### Obtaining representations of $G$ from $\mathrm{Lie}(G)$.

Suppose $\mathfrak{g}$ is a semisimple Lie algebra over $\mathbb{C}$, and $\tilde{G}$ is the unique connected, simply connected Lie group whose Lie algebra is $\mathfrak{g}$. Let $C$ be any discrete ...
41 views

### A construction of $\mathfrak{e}_8$ in Fulton and Harris

In section $22.4$ of "Representation Theory: A First Course" by Fulton and Harris, the exceptional Lie algebra $\mathfrak{e}_8$ is constructed using a method of Freudenthal. For background, I will ...
24 views

### Lie Algebra of Reduced Heisenberg Group Identities

I am having problems trying to understand a statement by Howe in his paper "On the role of the Heisenberg group in harmonic analysis". Here is the setting: Howe defined the (reduced) Heisenber group ...
76 views

### Representation theory and particle physics

Are there good books which explain clearly explain the connections between modern particle physics and representation theory of groups and lie algebras?
23 views

### Uniqueness of decomposition of $\mathfrak{sl}(2,\mathbb{C})$-modules

By Weyl's Theorem, I know that every $\mathfrak{sl}(2,\mathbb{C})$-module is completely reducible. I'm under the impression that, up to isomorphism, this decomposition is unique, and I would go about ...
37 views

### Exponents of a semisimple Lie algebra

I'd like to compute the exponents of a semisimple complex Lie algebra $\mathfrak{g}$. According to http://math.berkeley.edu/~theojf/LieQuantumGroups.pdf proposition 8.1.2.18, this amounts to ...
51 views

### What is the Lie algebra of $G=\mathbb{R}$

The question is updated as following. 1. Let $(\Phi,L^2(R))$ be left regular representation of $\mathbb R$ given by $$\Phi(g)f(x)=f(x-g).$$ It is unitary representation of $\mathbb R$. 2. For ...
16 views

### Combining infinitesimal generators of diferent dimensions

I am reading a paper about ways in which you can get $SU(2)\times{}U(1)\times{}U(1)$ as a subgroup of $SU(3)\times{}SU(2)\times{}U(1)$. At a certain point, it starts considering ways of getting ...
53 views

### Showing that an $\mathfrak{sl}(2,\mathbb{C})$-module is determined by eigenvalues of $h$

This question is essentially exercise 8.4 from the book "Introduction to Lie Algebras" by Erdmann and Wildon: "Suppose that $V$ is a finite-dimensional $\mathfrak{sl}(2,\mathbb{C})$-module. Show that ...
13 views