For questions about Lie algebras, an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds.

learn more… | top users | synonyms (1)

12
votes
1answer
569 views

Inscrutable proof in Humphrey's book on Lie algebras and representations

This is a question pertaining to Humphrey's Introduction to Lie Algebras and Representation Theory Is there an explanation of the lemma in §4.3-Cartan's Criterion? I understand the proof given there ...
9
votes
1answer
157 views

Partial derivatives on Manifolds

Let $F : A \times B \to C$ be a map of smooth manifolds. Define the following maps ("partial derivatives"): $E_1 F: TA \times B \to TC$ $E_1 F(a,v,b) = D_a F(-,b) v $ where $v \in T_a A$ $E_2 F: A ...
6
votes
1answer
146 views

Lie algebras of reductive groups

Let $k$ be an algebraically closed field of positive characteristic and let $G$ be a connected split reductive group. We know $G$ is the product of its center $Z(G)$ and derived group $[G, G]$ and ...
4
votes
1answer
68 views

Weights in the Dynkin Basis and Eigenvalues of the Cartan Generators for SU(3)?

The Cartan Generators of $SU(3)$ in the three dimensional rep have eigenvalues $(1,-1,0)$ and $\frac{1}{\sqrt{3}} (1,1,-2)$. Therefore we have the weights: $$ (1,\frac{1}{\sqrt{3}}) \quad ...
4
votes
1answer
83 views

Linear structure on the category of formal groups

Let $R$ be a commutative ring. If $R$ is a $\mathbb{Q}$-algebra, then the category of formal groups over $R$ (or the category of formal group laws) carries the structure of an $R$-linear category; ...
4
votes
1answer
89 views

Perturbation in characteristic p, or Why, really, does Lie's theorem fail?

While recalling some basics of Lie theory, I found a funny proof of the main lemma in Lie's theorem on triangularity of representations of solvable Lie algebras. It turns out that this proof has a ...
4
votes
1answer
179 views

How to write $SO(2n)$ characters in terms of rotation angles?

Say one is working in a representation of $SO(2n)$ such that it has the highest weights $(h_1,...,h_n)$. And let $\{H_i\}_{i=1}^{n}$ be a basis in the Cartan of $so(2n) = Lie(SO(2n))$. Now one says ...
4
votes
1answer
62 views

solvable subalgebra

I want to show that a set $B\subset L$ is a maximal solvable subalgebra. With $L = \mathscr{o}(8,F)$, $F$ and algebraically closed field, and $\operatorname{char}(F)=0$ and $$B= ...
4
votes
1answer
148 views

Lie Algebras : Showing L is nilpotent if every maximal Lie subalgebra of L is an ideal.

Given a finite dimensional Lie algebra $L$, suppose that each maximal lie subalgebra of $L$ is an ideal. Suppose the adjoint map, $ad_y$ is not nilpotent. Then pick a maximal subalgebra $M$ ...
3
votes
1answer
43 views

Tangent space of quotient space

Let $\pi : M \rightarrow M/G$ be the canonical projection, where $M$ is a manifold and $M/G$ is a quotient manifold. Now, what can we say about $d \pi (p) : T_pM \rightarrow T_p(M/G)$? From my ...
3
votes
1answer
27 views

Adjoint representation is Lie algebra homomorphism

Let $T_g:=L_g R_{g^{-1}}: G \rightarrow G$ be the standard automorphism of a Lie algebra, then $Ad_g:=DT_g(e): \mathfrak{g} \rightarrow \mathfrak{g} $is called the adjoint representation. Now, I want ...
3
votes
1answer
50 views

Why can we write the weights of a representation in terms of the simple roots?

I'm currently trying to get my head around the fact that we can write the weights of any representation in terms of the simple roots of the algebra. Is there any, not too-technical, explanation? I ...
3
votes
1answer
63 views

Set of non fixed points of an automorphism

I am trying to prove the following "For an orbifold chart $ (\tilde{U},G,\phi)$ the set of non fixed point of $ g : \tilde{U} \rightarrow \tilde{U} $ where $ 1 \neq g \ \in G$ is dense in $\tilde ...
3
votes
1answer
48 views

How to obtain a Lie algebra homomorphism from a Lie group homomorphism

In class we learn a theorem tells us one can cook up a Lie algebra from a Lie group: If $f: G\to H$ is a homomorphism of a Lie group then $T_I f: T_I G\to T_I H$ is a homomorphism of Lie algebra. ...
3
votes
1answer
67 views

Cartan subalgebra of semisimple Lie algebra

My question is: How can I construct the Cartan subalgebra of a semisimple Lie algebra L which is the direct sum of simple Lie algebras, such as for example su(2)⊕su(2)⊕su(2)?
3
votes
1answer
115 views

With the branching rules of subalgebra, how can I write down explicit matrix elements for a representation?

I'm looking for a way to construct a representation for a simple Lie group such that one particular subgroup is manifest. I learned the branching rules from Cahn, Georgi and Slansky, but I'm still not ...
3
votes
1answer
65 views

How to construct Dynkin diagrams for semisimple Lie algebras?

My question is: How can I construct the Dynkin diagrams of a semisimple Lie algebra $L$ which is the direct sum of simple Lie algebras, such as for example $\text ...
2
votes
1answer
34 views

The deconposition of $\mathfrak{so}(V \oplus V^*)$

Let $V$ be an n dimensional real vector space and $V^*$ be the dual vector space. We have a non degenerate inner product $(\centerdot,\centerdot)$ in $V\oplus V^*$ such that $(v+\xi , ...
2
votes
1answer
44 views

High Dimensional Rotation Matrices As Product of In-Plane Rotations

Lately I've been thinking a lot about how to find high-dimensional rotation matrices. In particular, can any rotation in $n$-dimensional space be represented as the product of $2$D plane rotations? ...
2
votes
1answer
57 views

The maximality of Cartan subalgebras of lie algebras

In some lecture notes of mine we define a Cartan subalgebra $\mathfrak h$ for semisimple $\mathfrak g$ as an abelian subalgebra of $\mathfrak g$ containing ad-diagonizable elements which are maximal. ...
2
votes
1answer
100 views

Different definitions of Casimir element

I read about the Casimir element just recently and I found it a bit difficult to wrap my mind around the definition(s). In fact, I have seen two different definitions. For concreteness, let ...
2
votes
1answer
58 views

Complete reducibility of a field extension of an lie algebra representation

Let $\mathfrak{g}$ be a lie algebra over a field $k$ with characterstic $0$ and $k\subset k'$ a finite field extension. Suppose $\mathfrak{g}\otimes k'$ has the property, that all finite dimensional ...
2
votes
1answer
93 views

Reducing size of ODE system by using symmetries: examples, references help request.

We know: A high order differential equation can be expressed as an ODE system. Knowledge of a symmetry allow one to reduce the order of a differential equation. So if we do $n$-order ODE ...
2
votes
1answer
105 views

Equation On Root Systems (Humphreys Exercise 9.10)

I am stuck in the following problem from Humphreys. Let $\alpha, \beta$ be roots in a root system $\Phi$. Let the $\alpha$-string through $\beta$ be $\beta - r\alpha, \ldots, \beta + q\alpha$ and let ...
2
votes
1answer
264 views

Lie Algebras: How to compute the Killing Form on $\mathfrak{sl}_n(\mathbb{C})$ and Jordan Decomposition Theorem question.

I'm reading the Fulton and Harris Representation Theory book, trying to learn about Lie Algebras. On pg. 213, they compute the killing form on $\mathfrak{h}^*$ for $\mathfrak{sl}_n(\mathbb{C})$. I ...
2
votes
1answer
97 views

Irreducible representation and reductive Lie algebra

If we have complex reductive Lie algebra L and her finite dimensional representation $\phi$. How can we show that $\phi$ is irreducible iff restriction $\phi|_{[L,L]}$ is irreducible?
0
votes
0answers
29 views

$\mathfrak so(V,B)$ as subalgebra and trace if subsets of it.

I'm studying lie algebras, and got stuck on this one: Let $B$ be a bilinear form on a finite-dimensional vector space $V$ over $\mathbb F$. I've seen many books that say that $\mathfrak so(V,B)$ ...
0
votes
0answers
48 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 ...
0
votes
0answers
21 views

what is the image of an automorphism of lie algebra

Let suppose L be a simple lie algebra over GF(2) , if α be an automorphism of L then for any element of L we must have α[a,b]=[α(a),α(b)]. Now I want to have a clear understanding of image of α. Since ...
0
votes
0answers
31 views

For a nilpotent Lie subalgebra, $\mathfrak{h}$, is $ad(\mathfrak{h})$ simultaneously diagonalizable if each $ad(H)$ is diagonalizable?

Let $\mathfrak{g}$ be a Lie algebra and $\mathfrak{h}\subseteq \mathfrak{g}$ be a nilpotent subalgebra such that for every $H \in \mathfrak{h}$, the adjoint map $ad(H): \mathfrak{g} \rightarrow ...
0
votes
0answers
18 views

How to prove that $U(\mathfrak{h})$ is isomorphic to $\mathcal{O}(\mathfrak{h}^*)$.

Let $\mathfrak{h}$ be a Cartan subalgebra of a Lie group $G$. It is said that $U(\mathfrak{h})$ is isomorphic to $\mathcal{O}(\mathfrak{h}^*)$. Here $\mathcal{O}(\mathfrak{h}^*)$ is the ring of ...
0
votes
0answers
37 views

Root space of a Semi simple group an LVS?

A semi-simple Lie group has a Cartan Subalgebra ($H$) (CSA) -an LVS, Dual to this CSA LVS is root space($H^*$), which is set funtionals that map elements of CSA to real numbers and hence useful in ...
0
votes
0answers
18 views

For a matrix group $G$ of dimension $d$, I am trying to prove that the function $Ad : G \rightarrow GL_d(\mathbb{R})$ is smooth.

For a matrix group $G$ of dimension $d$, I am trying to prove that the function $Ad : G \rightarrow GL_d(\mathbb{R})$ is smooth. So where I am starting is by extending $Ad : G \rightarrow ...
0
votes
0answers
78 views

Proof of Horn theorem with moment map

Please look at this problem: Let $\mathcal{H}$ be the space of $(n,n)$ hermitian matrix. $\phi:\begin{align*} &\mathcal{H} \to \mathfrak{u}(n):=Lie(U(n)) \\&A \mapsto iA \end{align*}$ ...
0
votes
0answers
36 views

Weyl Character Formula to find $M_\lambda(\mu)$

In Lie algebra book by Humphreys, he has used Weyl Character Formula to find the dimension of $V(\lambda)$ in the examples followed by the proof of this formula. But how to find the dimensions of the ...
0
votes
0answers
37 views

irreducible representations of lie algebras

We have the following criterion for the irreducibility of a Lie algebra representation (we work with $L$-modules here). Let $L$ be a Lie algebra, $V$ a finite dimensional vector space, and let $L ...
0
votes
0answers
12 views

Is the matrix of every set of base vectors of $\Bbb{C}^n$ symmetric?

The book "Theory of Lie Groups" by Chevalley says A linear endomorphism $\alpha$ of $C^n$ is determined when the elements $\alpha e_i=\sum\limits_{j=1}^n a_{ji}e_j$ are given. There corresponds ...
0
votes
0answers
55 views

definition of derived algebra $[L,L]$ of a Lie algebra $L$

Definition of derived algebra of a Lie algebra $L$ is given by linear span of commutators $[x,y]$ for $x,y \in L$. but here why do we take linear span and why cant we just consider collection of all ...
0
votes
0answers
185 views

Schur's lemma and Invariant subspaces of direct sums of irreducible representations

There is a corollary to Schur's lemma which says that : If $V$ is a finite dimensional irreducible complex representation of a group G or Lie algebra and $\phi :V \rightarrow V$ is an intertwining ...
0
votes
0answers
103 views

Kernel of the Lie bracket $[,]\colon\wedge^2\mathfrak g\to\mathfrak g$

I believe the following is probably well-known, but so far I couldn't find the answer by myself: Let $\mathfrak g$ be a real (finite-dimensional) Lie algebra, and $\wedge^2\mathfrak g$ its second ...
0
votes
0answers
37 views

Can I find a finite increasing filtration for every $V\in\mathfrak{O}$?

Let $V\in{O}$, I want to proof there exists a finite increasing filtration by submodules $0=V_0\subset V_1\subset\cdots\subset V_n=V$ such that $V_{i+1}/V_i$ is a highest weight module. Since $V\in ...
0
votes
0answers
70 views

Calculating an expression for the trace of generators of two Lie algebra.

Suppose we have $$[Q^a,Q^b]=if^c_{ab}Q^c$$ where Q's are generators of a Lie algebra associated a SU(N) group. So Q's are traceless. Also we have $$[P^a,P^b]=0$$ where P's are generators of a Lie ...
0
votes
0answers
100 views

Which Lie group / algebra is generated by these three matrices?

This is a beginner question (and not any homework). I want to get a feeling for Lie group/algebra generators. Do the three matrices $$A=\begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0& ...
0
votes
0answers
26 views

Closed formula for the coefficients of a series obtained from an expansion.

The Heisenberg algebra is generated by $h_i, i\in \mathbb{Z}\backslash\{0\}$ and the central element $c$. We expand the function $$\exp (\sum_{n=1}^{\infty}h_{-n}\frac{z^n}{n}) = 1 + ...
0
votes
0answers
93 views

Definitions of Semisimple Lie Algebra

We usually define semisimplicity of a Lie algebra $\mathfrak{g}\subset M_n ({\bf R})$ from two ways. I want to know the relation between them. One of the definitions of semisimple Lie algebra is ...
0
votes
0answers
41 views

The simplicity of $\bigwedge^i \mathbb{C}^{n+1}$ as a representation of $\mathfrak{sl_{n+1}}$ and its weight vectors

I want to show that $\bigwedge^i \mathbb{C}^{n+1}$ is a simple representation for $\mathfrak{sl}(n+1,\mathbb{C})$ for each $1\le i \le n+1$ but I'm already stuck at determining the weight vectors. So ...
0
votes
0answers
50 views

Map algebras between scheme and Lie algebra

Kindly asking for any hints about the following questions: Suppose, $X$ be an arbitrary scheme over an algebraically closed field $k$. 1- In general, what is the structure of $A= ...
0
votes
0answers
59 views

Lie algebra homomorphism as an scheme morphism

Kindly asking for any hints about the following questions: Assume $g$ is a finite-dimensional Lie algebra. We denote the group of Lie algebra automorphisms of $g$ by $\rm Aut_k g$. Any Lie algebra ...
0
votes
0answers
79 views

a question on weyl group and its action on $\mathfrak{t}$

$\mathfrak{g}$ is a complex semisimple lie algebra which is a subalgebra of some $\mathfrak{g}l(n,\mathbb{C})$, we have chosen a compact real form $\mathfrak{l}$ of $\mathfrak{g}$ and let $K$ be the ...
0
votes
0answers
59 views

Understanding quotients $\mu^{-1}(0)/G$

This question is related to this link: Geometric difference between two actions of $GL_n(\mathbb{C})$ on $G\times \mathfrak{g}^*$ Further analyzing Scenerio 1: Let $G=GL_n(\mathbb{C})$ act on $G$ by ...