Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
3answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
6answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
2answers
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 ...