Lie algebras are algebraic structures which were introduced to study the concept of infinitesimal transformations. The term "Lie algebra" (after Sophus Lie) was introduced by Hermann Weyl in the 1930s. In older texts, the name "infinitesimal group" is used. Related mathematical concepts include Lie ...

**1**

vote

**0**answers

49 views

### about weight decomposition of U(sl3) [on hold]

the universal enveloping algebra is $\mathbb{Z}^2$-graded algebra. $U(sl_3)= \bigoplus_{(i_1,i_2) \in \mathbb{Z}^2 } U_{i_1\alpha_1+i_2\alpha_2}$ $($the weight decomposition$)$ where $\alpha_1$ and $...

**0**

votes

**0**answers

67 views

### A lie group which is sat in its Lie algebra

Motivated by this question we ask the follwing question:
Assume that a Lie subgroup $G$ of $Gl(n,\mathbb{R})$ is contained in a subvector space $F$ of $M_n(\mathbb{R})$ such that $dim G=...

**7**

votes

**0**answers

88 views

### Universal Enveloping algebra of a L$_\infty$ algebra

In their paper Strongly homotopy Lie algebras, Lada and Markl first show, that there is a symmetrization functor $(-)_L:\mathcal{A}(m)\rightarrow \mathcal{L}(m)$ from the category of $A(m)$-algebras ...

**1**

vote

**0**answers

56 views

### Weyl Group action on the complement of the Tits Cone in a Kac-Moody algebra

Given a Kac-Moody algebra $\mathfrak h$ and its Weyl group $W$, the action of $W$ on the Tits cone $X$ is well understood. Decompose $\mathfrak h$ into $X\cup -X\cup L$. Then the action of $W$ on $-...

**3**

votes

**2**answers

183 views

### Casimir operator of a given Lie algebra and relation with its matrix representation

I'm following Gilmore's recipe to compute the abstract Casimir operator of a given algebra (in this example, I refer to algebra su(2)). This recipe bring up a matrix representation of the algebra and ...

**5**

votes

**2**answers

137 views

### Generalizing Polar Decomposition of Matrices

I am trying to find a certain proof of polar decomposition of complex matrices which I think should exist more generally for a certain class of Lie groups. Recall that the polar decomposition of a ...

**7**

votes

**1**answer

163 views

### Simple Lie algebras: making subspaces 'very transversal'

Let $G$ be a Lie group or group of Lie type whose Lie algebra $\mathfrak{g}$ is simple. Because the Lie algebra is simple, for any proper subspace $V\subset \mathfrak{g}$,
there is a $g\in G$ such ...

**1**

vote

**0**answers

41 views

### A convergence condition on tempered representation

Assume $\pi$ is a tempered representation of $GL_n(\mathbb{Q}_p)$. $N_n$ is a maximal unipotent subgroup of $GL_n$, and $\xi$ is a non-degenerate character of $N_n(\mathbb{Q}_p)$. Let $\Pi$ be the ...

**0**

votes

**0**answers

68 views

### A (familly) of Lie brackets associated to a Lie algebra

Let $L$ be a Lie algebra whose Lie bracket is denoted by $[.,.]$.
For a given vector $V\in L$,does the following 2- linear map always define a new Lie bracket on $L$?
$$[X,Y]_V=(adXadY -adYadX)(V)$$...

**2**

votes

**0**answers

108 views

### Prime ideals being finitely-generated implies coherence?

Let $R$ be a non-noetherian local domain. Suppose that the following two conditions hold for $R$$\colon$
$(*)$$~\quad$An arbitrary prime ideal ${\frak P}$ of $R$ such that ${\mathrm{ht}}({\frak P}) &...

**4**

votes

**1**answer

145 views

### The embedding of $\mathfrak{g}_2$ into $\mathfrak{b}_3$ ($\mathfrak{so}_7$) on Chevalley generators

Let $\mathfrak{g}_2$ / $\mathfrak{b}_3$ be the simple complex Lie algebra of type $\mathsf{G}_2$ / $\mathsf{B}_3$ (the latter is also known as $\mathfrak{so}_7$).
How is the embedding $\mathfrak{g}...

**1**

vote

**2**answers

134 views

### About block $\mathcal{O}_\lambda$ of Category $\mathcal{O}$

The blocks of $\mathcal{O}$ are precisely the subcategories consisting of modules whose composition factors all have highest weights linked by $W_{[\lambda]}$ to an
antidominant weight $\lambda$.
I ...

**3**

votes

**0**answers

69 views

### Induced $(\mathfrak{g},K)$-modules

Let $G$ be a noncompact simple Lie group, and $G'$ a noncompact reductive subgroup of $G$. Fix a maximal compact subgroup $K$ of $G$ such that the intersection $K'=K\cap G'$ is a maximal compact ...

**1**

vote

**1**answer

98 views

### About subcategory of parabolic Category $\mathcal{O}^\mathfrak{p}$

It follows from Exercise 1.13 in Humphreys' Category $\mathcal{O}$ book that $M\in\mathcal{O}^\mathfrak{p}_{\chi_\lambda}$ has a direct sum decomposition $M=\oplus M_i$ such that all weights of each $...

**0**

votes

**0**answers

40 views

### About weight of $M\in\mathcal{O}_{\chi_\lambda}$ in the Category $\mathcal{O}$

Given $M\in\mathcal{O}_{\chi_\lambda}$, how does the weights of $M$ relate to $\lambda$? Is it something about $W\cdot\lambda$?

**2**

votes

**2**answers

204 views

### About block of category $\mathcal{O}$

In the book "Representation of Semisimple Lie Algebra in the BGG Category $\mathcal{O}$".
Exercise 1.13. Suppose $\lambda\not\in\Lambda$, so the linkage class $W\cdot\lambda$ is the disjoint union of ...

**4**

votes

**1**answer

152 views

### higher Casimirs for $\mathfrak{sl}$

The Wikipedia universal enveloping algebra suggest a way to obtain higher Casimir operators (e.g. generators of the center of $\mathfrak{U(g)}$ for $\mathfrak{g}$ semisimple) by evaluating certain ...

**2**

votes

**0**answers

350 views

### The generalized Kronecker delta and three sets of 16 tetrahedra defined by 192 of the 240 roots of E8 (vertices of Gosset's 8-polytope 4_21)

Edited as per Jim Humphreys 9/16/2018 to make it clearer that the 192 are 192 of the 240 total roots of E8, and also to add this link for information on Gosset's polytope 4_21: https://en.wikipedia....

**3**

votes

**0**answers

47 views

### Relationship bewteen Kazhdan-Lusztig Vogan polynomial and Kazhdan-Lusztig polynomial

Let $W^I=\{w\in W: w^{-1}\Phi_I^+\subseteq \Phi^+\}$, $W_I$ be the Weyl group generated by $I$ and $w_I$ be the longest element in $W_I$
Let $M(\lambda)$ be the Verma module with highest weight $\...

**0**

votes

**0**answers

128 views

### Equality between two weights

Let $\mathfrak{g}$ be a semisimple Lie algebra with a Cartan subalgebra $\mathfrak{h}^*$ and Weyl group $W$. For $\mu \in \mathfrak{h}^*$ denote by {$\mu$} the unique dominant weight which is $W$-...

**4**

votes

**0**answers

46 views

### How do I calculate the modular fusion category from a given Lie algebra and level in Chern-Simons theory?

In Chern-Simons theory, one has modular fusion categories that are labelled by a Lie algebra and a "level", e.g. $SU(2)_2$ ("$SU(2)$ level $2$").
Physically this modular fusion category describes the ...

**1**

vote

**0**answers

97 views

### Question about Jantzen-Zuckerman's translation princinple

In the paper Representation type of the blocks of category $\mathcal{O}_S$ in types $F_4$
and $G_2$:
Section 2.3, I quote "
Assume from now on that $\mu$ is an integral weight and $\mu+\rho$ is ...

**3**

votes

**0**answers

95 views

### Lie algebra of a compact Lie group

Let $\mathcal{G}$ be a compact (real) Lie group. We know that the Lie algebra $\mathfrak{g}$ of $\mathcal{G}$ is, by definition, the space of all left-invariant (smooth) vector fields over $\mathcal{G}...

**5**

votes

**3**answers

363 views

### Simple Subalgebras of Simple Lie Algebras

Given a complex simple Lie algebra $\mathfrak{g}$ of rank $n\in\mathbb{N}$ with $n$ sufficiently large (say $n\ge10$), is there a way to determine whether $\mathfrak{g}$ contains a simple subalgebra ...

**3**

votes

**1**answer

120 views

### Coinduced modules in the BGG category $\mathcal O$ over complex semisimple Lie algebras

For a given finite-dimensional complex semisimple Lie algebera $\mathfrak g$, we fix Cartan $\mathfrak h$ and Borel subalgebras $\mathfrak b$, then we have the BGG category $\mathcal O$. As usual, we ...

**2**

votes

**1**answer

140 views

### Multiplication of section of pushforward structure sheaf via finite flat morphism

Let $f: X \rightarrow Y$ be a finite, flat morphism of curves of degree $n$. The direct image of the structure sheaf $f_* O_X$ is a locally free $O_Y$-module.
Given a local section $s$ of $f_* O_X$ ...

**3**

votes

**0**answers

49 views

### How to understand extremal vector?

Extremal vectors are defined in Kashiwara's paper. The definition is as follows.
Simple reflections in the Weyl group of $\mathfrak{g}$ acts on the crystal basis of integrable $U_q(\mathfrak{g})$-...

**5**

votes

**0**answers

41 views

### Injectivity of exponential chart in a homogeneous space

Let $G$ be a finite-dimensional connected real Lie group and $\mathfrak{g}$ its Lie algebra. Let $\exp : \mathfrak{g} \to G$ denote the exponential map. Among the results proved independently by ...

**10**

votes

**0**answers

274 views

### How to define (and compute) the Cartan-Killing form of the group of volume-preserving diffeomorphisms?

This question was raised a while ago in a blog post by Terry Tao on the Euler-Arnold equation and he called it "quite tricky".
Has anyone in the meantime tried to formulate this question precisely, ...

**7**

votes

**1**answer

185 views

### Del Pezzo surfaces and Picard-Lefschetz theory

Let $X$ be a smooth compact del Pezzo surface. For instance, one can consider the most classical case of a cubic surface. It is well known that the Picard lattice of $X$ is related to a root system (...

**6**

votes

**1**answer

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

**7**

votes

**1**answer

206 views

### Realisation of Kac-Moody Lie algebras

I am reading Infinite dimensional lie algebras by Kac. He starts with a $n \times n$ GCM (Generalized Cartan Matrix) $A$ of rank $l$, then he defines the realization associated with the matrix $A$ ...

**22**

votes

**6**answers

1k views

### About the definition of E8, and Rosenfeld's “Geometry of Lie groups”

I've been searching the literature for a direct definition of the group $E_8$ (over a general field, but even a definition of just one incarnation would be great). I knew (from talking to people) that ...

**4**

votes

**2**answers

133 views

### Generating Irreducible representations of a simple lie algebra with Schur functors

Let $\mathfrak{g}$ be a simple lie algebra over $\mathbb{C}$. Let $Rep(\mathfrak{g})$ denote the category of finite dimensional $\mathfrak{g}$-modules. For every $V \in Rep(\mathfrak{g})$ define $...

**6**

votes

**1**answer

184 views

### Symmetric tensor of Lie algebra of $su(N)$

I am interested in knowing the exact form of the anti-commutation of two generators of $su(N)$ lie algebra.
Let us denote $T^a$ to be the generator of $su(N)$ lie algebra in the defining ...

**0**

votes

**1**answer

204 views

### Book on algebraic structures

What is the most complete book on algebraic structures that deals with the complete taxonomy from magmas to Lie algebras and inner product spaces?

**4**

votes

**1**answer

67 views

### A question about centralizer of a vectors in the positive Weyl chamber

Given a compact Lie group $K$ and a maximal torus $T\leq K$, and choose a positive Weyl chamber $\mathfrak t^*_+\subset\mathfrak k^*$, where we used a $K$-invariant inner product on $\mathfrak k$. ...

**4**

votes

**1**answer

166 views

### The Ungraded Milnor-Moore Theorem

Let $k$ be a field of characteristic $0$.
There is a functor $U$ from Lie-algebras over $k$ to Hopf algebras over $k$ sending a $k$-Lie algebra $\mathfrak{g}$ to its universal enveloping algebra $U(\...

**5**

votes

**1**answer

134 views

### Can I bring the Kirillov 2-form on coadjoint orbits to adjoint orbits?

I tried asking this question on stackexchange and received no response.
Given a semisimple Lie group, there is a symplectic structure on the coadjoint orbits arising from the Kirillov 2-form. Can I ...

**1**

vote

**0**answers

80 views

### Pairing half the sum of the roots with a simple coroot

I was calculating something with the root system $A_n$ and I think there might be a more general principle at work.
Here is the example: let $G = \operatorname{GL}_5$, with maximal torus $T$ and ...

**3**

votes

**1**answer

187 views

### Framing dependence of HOMFLY polynomial

I want to understand the framing dependence of the Khovanov-Rozansky homology, and as its first step, I am trying to understand the framing dependence of the HOMFLY polynomial (i.e. quantum $sl(n)$ ...

**7**

votes

**0**answers

54 views

### Criterion for existence of a homogeneous space associated to a Lie pair

Recall that every finite-dimensional real Lie algebra $\mathfrak{g}$ is the Lie algebra of a simply-connected Lie group, which is unique up to isomorphism.
This statement generalises somewhat to ...

**0**

votes

**0**answers

68 views

### How the roots and weights changed under a folding?

Let $e_1,e_2,e_3,f_1,f_2,f_3$ be the generators of the Chevalley basis of the Lie algebra $sl_4$. Let $e_1' = e_1+e_3$, $e_2'=e_2$, $f_1'=f_1+f_3$, $f_2'=f_2$. Then the subalgebra generated by $e_1', ...

**2**

votes

**0**answers

74 views

### Why Lie algebra (Chevalley–Eilenberg) cohomology are graded Lie algebras but not G-algebras?

I was reading a paper related to Gerstenhaber algebra structure and came across to this- "Lie algebra (Chevalley–Eilenberg)
cohomology are graded Lie algebras but not G-algebras(Gerstenhaber algebra)"....

**0**

votes

**0**answers

48 views

### Comments/references on an obscure category of “rudimentary representations”

Consider a finite toset (cool word) $A=\{a_1<\ldots<a_N\}$. Let an ordered monomial be a finite formal product $b_1\ldots b_M$ with $b_i\in A$ and $b_i\le b_{i+1}$.
Consider the following ...

**2**

votes

**0**answers

60 views

### Lie algebra bundle associated to a Lie group bundle

I was reading something(page 24) and came across notion of Lie algebra bundles associated to a Lie group bundle.
I am not comfortable with these notions and google gave http://www.pphmj.com/Images/...

**3**

votes

**1**answer

195 views

### When is this map of Hopf algebras Surjective?

I'm reading Akhil Mathew's blog post on Formal Lie Theory in Characteristic Zero.
Let $H$ be cocommutative Hopf algebra over a field $k$. We can form $\mathfrak{g}$, the Lie algebra over $k$ ...

**0**

votes

**0**answers

44 views

### Dual space of polynomial one-form

Recently I read a paper "Quasi-particles models for the representations of Lie algebras and geometry of flag manifold". In section 2, author gives a fact without proof. Now I rephrase this fact as ...

**7**

votes

**1**answer

282 views

### Exponential map of a Formal Group Scheme

Let $k$ be a field of characteristic $0$ and let $\mathfrak{g}$ be a finite dimensional Lie algebra over $k$. $\mathfrak{g}$ corresponds to a formal group scheme $\mathcal{G} = \text{Spf} (U(\mathfrak{...

**10**

votes

**2**answers

219 views

### Why is every deformation of the universal enveloping algebra of a complex semisimple Lie algebra trivial?

I have read in these lecture notes that every deformation $U_h(\mathfrak{g})$ of $U(\mathfrak{g})$ is trivial, i.e. isomorphic to $U(\mathfrak{g})[[h]]$ as associative $\mathbb{C}[[h]]$-algebras. Why ...