**32**

votes

**7**answers

3k views

### Why the Killing form?

I'm teaching a short summer course on algebraic groups and it's time to talk about the Killing form on the Lie algebra. The students are all undergrads of varying levels of inexperience, and I try to ...

**42**

votes

**3**answers

2k views

### Is “semisimple” a dense condition among Lie algebras?

The "Motivation" section is a cute story, and may be skipped; the "Definitions" section establishes notation and background results; my question is in "My Question", and in brief in the title. Some ...

**26**

votes

**9**answers

3k views

### What is significant about the half-sum of positive roots?

I apologize for the somewhat vague question: there may be multiple answers but I think this is phrased in such a way that precise answers are possible.
Let $\mathfrak{g}$ be a semisimple Lie algebra ...

**4**

votes

**1**answer

225 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

**1**answer

251 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

**2**answers

349 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 ...

**4**

votes

**2**answers

457 views

### Chevalley Groups over an arbitrary ring.

My question is simply about the Chevalley groups over rings. In many books, including Carter's book on "Simple groups of Lie types", the groups are considered over fields. I have checked the ...

**1**

vote

**2**answers

203 views

### A question on involutions on the Lie algebra of vector fields

Edite According to the essential comment of Ian Agol I revise the question as follows
For a smooth manifold $M$, is there a non identity involution $\theta$ on the lie algebra $\chi^{\infty}(M)$ ...

**0**

votes

**1**answer

250 views

### Heisenberg Lie algebras

Dear forum,
I would like to ask if $H(m)$ is the Heisenberg Lie algebra of dimension $2m+1$ and $M$ is an ideal of $H(m)$. Can we say that $M$ has a complement in $H(m)$?

**52**

votes

**10**answers

12k views

### why study Lie algebras?

I don't mean to be rude asking this question, I know that the theory of Lie groups and Lie algebras is a very deep one, very aesthetic and that has broad applications in various areas of mathematics ...

**17**

votes

**17**answers

8k views

### Learning about Lie groups

Can someone suggest a good book for teaching myself about Lie groups? I study algebraic geometry and commutative algebra, and I like lots of examples. Thanks.

**29**

votes

**7**answers

5k views

### What is the symbol of a differential operator?

I find Wikipedia's discussion of symbols of differential operators a bit impenetrable, and Google doesn't seem to turn up useful links, so I'm hoping someone can point me to a more pedantic ...

**9**

votes

**3**answers

1k 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 ...

**19**

votes

**1**answer

847 views

### What's the status of the following relationship between Ramanujan's $\tau$ function and the simple Lie algebras?

Qiaochu asked this in the comments to this question. Since this is really his question, not mine, I will make this one Community Wiki. In MR0522147, Dyson mentions the generating function $\tau(n)$ ...

**19**

votes

**2**answers

2k views

### Cohomology of Lie groups and Lie algebras

The length of this question has got a little bit out of hand. I apologize.
Basically, this is a question about the relationship between the cohomology of Lie groups and Lie algebras, and maybe ...

**24**

votes

**1**answer

1k views

### Does the quantum subgroup of quantum su_2 called E_8 have anything at all to do with the Lie algebra E_8?

The ordinary McKay correspondence relates the subgroups of SU(2) to the affine ADE Dynkin diagrams. The correspondence is that the vertices correspond to irreducible representations of the subgroup, ...

**10**

votes

**6**answers

2k views

### Polynomial invariants of the exceptional Weyl groups

Let $\mathfrak{g}$ be a simple complex Lie algebra, and let $\mathfrak{h} \subset \mathfrak{g}$ be a fixed Cartan subalgebra. Let $W$ be the Weyl group associated to $\mathfrak{g}$. Let ...

**9**

votes

**2**answers

479 views

### What is a Homotopy between $L_\infty$-algebra morphisms

A $L_\infty$-algebra can be defined in many different ways. One common way, that
gives the 'right' kind of morphisms, is that a $L_\infty$-algebra is a graded cocommutative and coassociative ...

**9**

votes

**3**answers

2k views

### When is a finite dimensional real or complex Lie Group not a matrix group

I have a smattering of knowledge and disconnected facts about this question, so I would like to clarify the following discussion, and I also seek references and citations supporting this knowledge. ...

**18**

votes

**1**answer

778 views

### Why is there a connection between enumerative geometry and nonlinear waves?

I'm not 100% sure that this question is appropriate for this site. If it's not, please tell me and I'll delete it.
Recently I encountered in a class the fact that there is a generating function of ...

**17**

votes

**8**answers

2k views

### Is every finite-dimensional Lie algebra the Lie algebra of an algebraic group?

Harold Williams, Pablo Solis, and I were chatting and the following question came up.
In Lie group land (where you're doing differential geometry), given a finite-dimensional Lie algebra g, you can ...

**8**

votes

**4**answers

2k views

### Basis-free definition of Casimir element?

Let $V$ be a finite-dimensional vector space and let $\mathfrak g \subset \mathfrak{gl}(V)$ be a representation of a semisimple Lie algebra on $V$. Let $e_1, \dots, e_n$ be a basis for $V$. Let $e_1', ...

**7**

votes

**2**answers

1k views

### How to interpret the Sugawara construction from a physical or mathematical viewpoint?

In theoretical physics, the Sugawara theory is a set of formulae and theorems that allow one to construct a stress-energy tensor of a specific type of conformal field theory from a bilinear expression ...

**14**

votes

**3**answers

775 views

### What is the Zariski closure of the space of semisimple Lie algebras?

Given Leonid Positselski's excellent answer and comments to this question, I expect that the present one is a hard question. Recall that the Lie algebra structures on a (finite-dimensional over ...

**5**

votes

**2**answers

202 views

### Generators of invariant polynomials of semisimple Lie algebra

Suppose $\mathfrak{g}$ is a complex semi-simple Lie algebra. By a theorem of Chevalley, we know that $S(\mathfrak{g})^\mathfrak{g}$, i.e. the $\mathfrak{g}$ invariant polynomials, is generated by $l$ ...

**10**

votes

**2**answers

340 views

### Which nilpotent Lie algebras appear as nilradicals of parabolic subalgabras?

I am interested to identify (ideally classify) nilpotent Lie algebras that occur as nilradicals of parabolic subalgebras in (say) reductive Lie algebras.
For example, all Heisenberg Lie algebras ...

**7**

votes

**2**answers

307 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 ...

**7**

votes

**1**answer

462 views

### Uniform proof of dimension formula for minimal special nilpotent orbit?

Given a simple Lie algebra over an algebraically closed field of good characteristic such
as $\mathbb{C}$, its subvariety $\mathcal{N}$ of nilpotent elements has dimension $2N$ (where $N$ is the ...

**2**

votes

**1**answer

163 views

### A class of Lie groups with $f^{abc} \neq -f^{acb}$ (not fully anti-symmetrized) or $f^{abc} \neq f^{bca}$ (not-cyclic)

With the motivation to understand the Lie group structure constraint on a non-Abelian Chern-Simons theory, could some experts give a class of Lie groups with structure constants cannot fully ...

**14**

votes

**2**answers

736 views

### Is homology finitely generated as an algebra?

If a differential graded algebra is finitely generated as an algebra, is its homology finitely generated as an algebra?
Is it easier if we impose any of the three conditions: characteristic zero; ...

**12**

votes

**4**answers

399 views

### Ternary “Lie structure”

One of the motivation of the theory of Lie Algebras is that every associative algebra $A$ is a LA when the bracket is defined by $[a,b]=ab-ba$ : this is skew-symmetric and satisfies the Jacobi ...

**6**

votes

**5**answers

473 views

### Applications of Chevalley Restriction Theorem

Let $G$ be a simple linear algebraic group (over $\mathbb{C}$, say) and $\mathfrak{g}$ be its Lie algebra, $\mathfrak{t}\subset \mathfrak{g}$ the Lie algebra of a maximal torus in $G$ and $W$ the ...

**6**

votes

**4**answers

1k views

### Quotient space of $\mathbb{C}^5$ under the action of $SL(2,\mathbb{C})$

One sees that given the $SL(2,\mathbb{C})$ action on $\mathbb{C}^5$, thought of as the space of polynomials of the form,
$$a_0 x^4 + 4a_1 x^3 y + 6a_2x^2y^2 + 4a_3xy^3 + a_4 y^4$$
the ring of ...

**5**

votes

**2**answers

241 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 ...

**5**

votes

**3**answers

801 views

### Simple question in the representation of SL(2,C)

Let $V$ the standard two dimensional representation of SL(2,C). The Fulton's book in representation theory say in pag 156 that $Sym^3(Sym^2V)=Sym^6(V) \oplus Sym^2(V)$.
In the excercises 11.23, the ...

**4**

votes

**1**answer

859 views

**3**

votes

**3**answers

527 views

### Finite Order Automorphisms on Complex Simple Lie Algebras

Let $L$ be a finite dimensional complex simple Lie algebra, and
let $F(L)$ be the set of all finite order automorphisms on $L$.
Suppose that we declare $f,h \in F(L)$ to be equivalent if there exists
...

**3**

votes

**3**answers

1k views

### On the Weyl character formula

So let $G$ be a compact real Lie group. Let $\rho:G\rightarrow GL_n(\mathbb{C})$ be an
irreducible representation of $G$ and let $\chi_{\rho}$ be the character associated to
$\rho$. Let ...

**3**

votes

**1**answer

277 views

### Why are relations of degree 3 or less enough in a presentation of the polynomial current Lie algebra g[t]?

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over $\mathbb{C}$.
The polynomial current Lie algebra $\mathfrak{g}[t] = \mathfrak{g} \otimes \mathbb{C} [t]$
has the bracket
$$[xt^r, ...

**2**

votes

**1**answer

223 views

### Characterization of the weight orbit in the projective space via second order Casimir.

This is the spin-off of the question I previously asked.
First, let me remind you some notation from that question:
$G_0$ - compact, simply connected Lie group giving rise (by complexification) ...

**2**

votes

**3**answers

505 views

### Computing the index of a Lie algebra: what is known beyond the reductive case?

Recall that an index of a Lie algebra $\mathfrak{g}$ is $\mathrm{ind}\ \mathfrak{g} := \min\limits_{\xi \in \mathfrak{g}^*} \dim \mathrm{Ann}_{\xi}$ where $\mathrm{Ann}_{\xi}=\{h\in\mathfrak{g}| ...

**14**

votes

**3**answers

587 views

### Can one show the equivalence of the abstract and classical Jordan decompositions for simple Lie algebras without complete reducibility?

The following fact is basic in the theory of complex Lie algebras:
Theorem. Let ${\mathfrak g} \subset {\mathfrak gl}_n({\bf C})$ be a simple Lie algebra, and let $x \in {\mathfrak g}$. Let $x = ...

**8**

votes

**1**answer

190 views

### Variety of nilpotent Lie algebras or $p$-groups

Here's a couple of analogous questions, one in terms of finite-dimensional complex Lie algebras and one in terms of finite $p$-groups; I'd be interested in an answer to either:
1) Let $\mathcal{L}$ ...

**7**

votes

**1**answer

284 views

### Examples of Richardson orbit closures not having a symplectic resolution?

This is a follow-up to a recent question asked by Peter Crooks here. The answer by Ben Webster includes a helpful link to the corrected arXiv version of Baohua Fu's 2003 Invent. Math. paper ...

**4**

votes

**1**answer

349 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 ...

**1**

vote

**1**answer

208 views

### homogeneous algebras

Let $A$ be a finite dimensional algebra over finite field (not necessarily associative). Then $A$ is said to be homogeneous if $Aut(A)$ acts transitively on the one-dimensional subspace of A. If A is ...

**10**

votes

**3**answers

604 views

### For $\mathfrak g$ A Lie algebra of type $ E_7 $, $\mathfrak h $ a Cartan subalgebra and $\Delta$ the resulting root system, does $ Aut(\mathfrak g,\mathfrak h)\rightarrow Aut(\Delta) $ split over the Weyl group?

Given a complex simple Lie algebra $ \mathfrak g $ of type $E_7$, Cartan subalgebra $ \mathfrak h $ and simple roots $\alpha_1,…\alpha_n $, suppose $\pi $ is an involution of the extended Dynkin ...

**5**

votes

**2**answers

497 views

### Failure of Jacobson Morozov in positive characteristics

The Jacobson-Morozov theorem that any nilpotent $e$ in the lie algebra of a simple algebraic group $G$ can be embedded in an $sl_2$-triple, has a restriction (in terms of the coxeter number) on the ...

**4**

votes

**2**answers

292 views

### Is the condition ``adjoint action does not have eigenvalue $-1$" dense in a Lie group?

I need to answer (affirmatively, I hope) the following question:
In a Lie group $G$ whose Lie algebra $\mathfrak{g}$ is equipped with an $\mathrm{Ad}$-invariant scalar product, is the open subset
...

**4**

votes

**1**answer

511 views

### Explicit convergence of Baker-Campbell-Hausdorff

Let g be a finite dimensional simple Lie algebra over C. The Baker-Campbell-Hausdorff series defines a (multivariable) analytic function from a neighborhood of 0 in g \times g \to g. What is the ...