Questions tagged [lie-algebras]

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 groups and differentiable manifolds.

Filter by
Sorted by
Tagged with
2 votes
0 answers
164 views

Howe duality vs first fundamental theorem in invariant theory

I'm working on Howe duality, and R. Howe proved that the Howe duality of $\mathrm{GL}_n$ is equivalent to the first fundamental theorem (FFT) in invariant theory. So, Howe duality gives a ...
zhichengzhang's user avatar
0 votes
0 answers
149 views

Heisenberg group

Let $X_{j}=\frac{\partial}{\partial x_{j}}-\frac{1}{2}y_{j}\frac{\partial}{\partial t}$, $j=1,2,\dots,n$ $Y_{j}=\frac{\partial}{\partial y_{j}}+\frac{1}{2}x_{j}\frac{\partial}{\partial t},j=1,2,\dots,...
zoran  Vicovic's user avatar
7 votes
1 answer
338 views

What is the ring structure on Lusztig's integral form of quantum $\mathfrak{sl}(2)$?

Consider the quantum group $U_q(\mathfrak{sl}_2)$, with generators $E,F,K$ such that $[E,F]=\frac{K-K^{-1}}{q-q^{-1}}$. Write $[n]=\frac{q^n-q^{-n}}{q-q^{-1}}$, and $[n]!=[n][n-1]\dotsm[1]$. In ...
Alvaro Martinez's user avatar
5 votes
0 answers
126 views

Is every linear Lie group of bounded geometry?

$\newcommand\norm[1]{\lVert#1\rVert}$Given any point $p$ of a smooth Riemannian manifold $M$ there exists $r\in (0,\infty]$ such that the Riemannian exponential is a diffeomorphism in the geodesic ...
Marco's user avatar
  • 263
5 votes
1 answer
268 views

Malcev completion of free groups

Let $K$ be a field with $\operatorname{char} K=0$, $\hat{L}_n$ the complete free Lie algebra of $n$ variables $x_1,\dotsc,x_n$ and $\exp(\hat{L}_n)$ its associated group with the product given by BCH ...
Qwert Otto's user avatar
4 votes
0 answers
99 views

Examples of non-equivariant momentum maps

What are examples of non-equivariant momentum maps? Off the top of my hat, I know about the following examples: the action of translations of a symplectic vector space (yielding the Heisenberg group ...
Tobias Diez's user avatar
  • 5,442
3 votes
0 answers
79 views

Complete Lie algebras and its nilradical

For complete Lie algebras I found that the research in this branch is based on the nilradical, even more in french thesis called "Algèbres de Lie complètes" of Michel Favre, available here: ...
Mary Maths's user avatar
3 votes
1 answer
124 views

Asymptotics of Haar moments on general Lie groups

I am trying to understand the asymptotics of Haar Moments on general compact Lie groups (in particular, subgroups of $\mathrm{SU}(n)$). I have learned that closed form formulae for these moments are ...
dylan7's user avatar
  • 179
7 votes
0 answers
678 views

Is this construction related to the geometric Langlands program perhaps?

Given a complex Lie algebra $\mathfrak{g}$, a choice of Cartan subalgebra $\mathfrak{h}$ of $\mathfrak{g}$ and a dominant integral weight $\lambda$ of $\mathfrak{g}$, there is a natural construction ...
Malkoun's user avatar
  • 4,991
8 votes
2 answers
570 views

Is it true $\left\|\log(RS)\right\|≤\left\|\log(R)+\log(S)\right\|$ for all $R,S \in \mathrm{SO}(3)$, where $\|\cdot\|$ is the Frobenius norm?

$\DeclareMathOperator\SO{SO}$I asked this initially in math stack exchange, but thought to ask it here since it is more advanced and related to my research topic. I study optimization on Lie groups ...
Spencer Kraisler's user avatar
2 votes
0 answers
134 views

The Cartan is a complex vector space but the root system is real?

Let $\frak{g}$ be a complex semisimple Lie algebra with some choice of Cartan subalgebra $\frak{h}$. The dual space $\frak{h}^* = \mathrm{Hom}_{\mathbb{C}}(\frak{h},\mathbb{C})$ is a complex vector ...
Jake Wetlock's user avatar
  • 1,114
2 votes
0 answers
73 views

The dual of elements $E$, $F$, and $H$ of $U_h(\mathfrak{sl}_2)$ corresponds to which element of $F_h(\mathrm{SL}_2)$ by isomorphism?

$\newcommand{\sl}{\mathfrak{sl}}\DeclareMathOperator\SL{SL}$Let $U_h(\sl_2)$ be the quantized universal enveloping algebra of $\sl_2(\mathbb{C})$ and $F_h(\SL_2)$ be the quantized function algebra of $...
yohei ohta's user avatar
3 votes
0 answers
143 views

Semi-direct products and associated graded Lie algebras

Let $G$ and $H$ be groups and $G\ltimes H$ their semi-direct product given by $f\colon G\to \operatorname{Aut}(H)$ satisfying $f(g)=\operatorname{id}_H$ in $H/[H,H]\,$ for all $g\in G$. In this ...
Qwert Otto's user avatar
4 votes
1 answer
196 views

Structure of projective indecomposable modules for $\mathfrak{sl}_2$

I'm reading "BGG category $\mathcal{O}$" by Humphreys. In section 3.12 we look into the projective modules over $\mathfrak{sl}(2,\mathbb{C})$. If $\lambda\in\mathbb{Z}$ is a weight and $\mu=-...
re'em waxman's user avatar
1 vote
0 answers
80 views

Completions of infinite rank Kac-Moody algebras

I am reading Kac's Infinite dimensional Lie algebras, third edition. In section 7.12, Kac discusses completions of Kac-Moody algebras of infinite rank, and define $\bar{\mathfrak{g}}(A)$, for any ...
Antoine Labelle's user avatar
3 votes
2 answers
354 views

Pairing a root with the half-sum of positive roots

Let $\frak{g}$ be a finite-dimensional complex simple Lie algebra together with a choice of Cartan subalgebra and associated root system $(\Delta, (-,-))$. Also we denote the half-sum of positive ...
Didier de Montblazon's user avatar
9 votes
1 answer
236 views

Must a continuous variation through compact simply connected Lie groups preserve topology

Let $V$ be a finite dimensional vector space over $\mathbb{R}$. Let $S$ be the vector space of multilinear maps from $V\times V$ to $V$. Let $L:\mathbb{I}\rightarrow S$ be a continuous map such that ...
Amr's user avatar
  • 1,025
0 votes
1 answer
163 views

Behaviour of the Cartan Maurer form

Let there be a Lie-group $G$ and its Lie-algebra $g$. Then the Cartan Maurer form is an 1-form $\omega: T_gG \rightarrow T_eG$ for which holds: $$ (L^\ast_g)\omega = \omega$$ In Shlomo Sternberg's ...
Frederic Thomas's user avatar
1 vote
0 answers
114 views

symmetrization and invariants

Let $V$ be a supervector space over $\mathbb C$ and let $T^n(V):=V \otimes V \otimes \cdots \otimes V$ and let $S^n(V)$ be the super vectorspace of symmetric tensors. Then we have a cannonical ...
jack's user avatar
  • 569
2 votes
1 answer
266 views

Knapp's proof that the fundamental group of a compact semisimple Lie group is finite

In Knapp's book Representation Theory of Semisimple Groups: An Overview Based on Examples, he proves the following theorem of Weyl: If $G$ is a compact connected semisimple Lie group, then $\pi_1(G)$ ...
babu_babu's user avatar
  • 229
5 votes
0 answers
122 views

Why are all representations of split groups of real type?

(I am using a throwaway account because I plan on possibly pointing to this answer in a referee report I am writing, and using my main account would be a bit too obvious.) Let $\mathfrak{g}$ be a ...
temporarily_anonymous's user avatar
1 vote
0 answers
131 views

Lie algebra cohomology: Künneth formula for semidirect product?

In trying to understand an example of Lie algebra for which every one-dimensional extension splits (see this question), but not every extension splits, I found it necessary to use the following ...
Nikhil Sahoo's user avatar
  • 1,175
4 votes
2 answers
388 views

Minimal non-abelian groups -> Lie groups/algebras

A group is called minimal non-abelian if it is non-abelian and all proper subgroups are abelian. Does this notion also exist with Lie groups or algebras? As an example, consider the Lie algebra ...
Hauke Reddmann's user avatar
3 votes
2 answers
110 views

When do there exist $ n $ commuting, derivations which locally generate $ T_{A/k} $ as an $ A $-module?

Let $ \operatorname{Spec}(A) $ be a non-singular, $ n $-dimensional, affine variety over a field $ k $ of arbitrary characteristic. For the definition of "variety" I use Hartshorne's ...
Schemer1's user avatar
  • 789
2 votes
1 answer
137 views

Difference between two definitions of affine Lie algebras

Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$, we have the notion of affinization of $\mathfrak{g}$, which is the central extension of the corresponding loop algebra. ...
Estwald's user avatar
  • 1,187
3 votes
0 answers
101 views

Modules over the unipotent subalgebra as direct summands of modules over a semisimple Lie algebra

Let $\mathfrak g$ be a semisimple finite-dimensional Lie algebra over the field of complex numbers $\mathbb C$. Let $\mathfrak n\subset\mathfrak g$ be the maximal unipotent subalgebra of $\mathfrak g$...
Leonid Positselski's user avatar
2 votes
1 answer
160 views

Lie algebras for which all one-dimensional extensions split

I was recently trying to prove the following "well-known" theorem for myself, given that I could not find a proof in the literature that I could understand. In what that follows, I will ...
Nikhil Sahoo's user avatar
  • 1,175
1 vote
0 answers
68 views

Carleman approximation for functions from $\mathbb R$ to (closed convex subset of) a Lie algebra

I am looking for an approximation result dealing with continuous functions of a real parameter with values in (some subset of) the unitary algebra. However, I wouldn't be surprised if the following ...
Frederik vom Ende's user avatar
7 votes
1 answer
261 views

Non(skew)commutative Lie algebras?

The Lie operad $\text{Lie}$ is generated by a binary operator $[\ ,\ ]$, modulo a degree two relation (skew commutativity $[x,y]=-[y,x]$) and a degree three relation (Jacobi $[x,[y,z]]+[y,[z,x]]+[z,[x,...
Pulcinella's user avatar
  • 5,506
6 votes
0 answers
246 views

Tits construction of algebraic groups of type D₆ and E₇ via C₃

As shown in the Freudenthal magic square, the Tits construction of $D_6$ takes as input an quaternion algebra and the Jordan algebra of a quaternion algebra (see The Book of Involutions § 41). In ...
nxir's user avatar
  • 1,409
8 votes
1 answer
278 views

What are twisted Verma modules? Basic properties?

Let $\mathfrak{g}$ be a simple Lie algebra over $\mathbf{C}$, $\lambda$ be a weight in the nonnegative Weyl chamber and $w_1,w_2\in W$. Then the twisted Verma modules are defined e.g. in Andersen and ...
Pulcinella's user avatar
  • 5,506
5 votes
1 answer
196 views

Step in the Bruhat decomposition for reductive Lie groups

Err, not research but if anyone has read this part of Knapp's book recently, I'd be obliged if they could help me out. Also posted on MSE. I'm stuck on a line in the proof of Theorem 7.40 in Knapp's '...
Chertopkhanov on Malek Adel's user avatar
2 votes
0 answers
79 views

Complex semisimple Lie algebra modules with non-semisimple Cartan action

Let $\frak{g}$ be a complex semisimple Lie algebra. I would like to know about infinite-dimensional representations $M$ of $\frak{g}$ for which the Cartan $\frak{h} \subseteq \frak{g}$ does not act ...
László Szabados's user avatar
4 votes
0 answers
109 views

Why are all "non-swinging" representations self-dual?

Let $\mathfrak{g}$ be a semisimple (say complex) Lie algebra, and $V$ an irreducible finite-dimensional representation of $\mathfrak{g}$. Denote by $w_0$ the longest element of the Weyl group, i.e. ...
Ilia Smilga's user avatar
  • 1,364
1 vote
0 answers
106 views

Fiberwise exponential map for vector bundle automorphisms

Let $p:E \to B$ be a smooth vector bundle of rank $n$ over a manifold $B$ and we identify $B$ with the image of the corresponding zero section. For $b\in B$ denote by $E_b = p^{-1}(b)$ the fiber over $...
Sergiy Maksymenko's user avatar
1 vote
1 answer
126 views

About certain elements in the zero weight space of an irreducible representation of the complex simple Lie algebra of type G$_2$

$\newcommand{\fg}{\mathfrak g}\newcommand{\ee}{\varepsilon}$Let $\fg$ be the complex simple Lie algebra of type G$_2$. We consider its root system as follows (though it is probably not necessary to ...
emiliocba's user avatar
  • 2,321
1 vote
1 answer
97 views

Problem in understanding a fact about Belavin-Drinfeld triple

A Belavin-Drinfeld triple associated to a simple Lie algebra $L$ is a triple $(\Gamma_1, \Gamma_2, \tau)$ where $\Gamma_1, \Gamma_2 \subseteq \Gamma$ ($\Gamma$ is a set of simple roots or fundamental ...
Anil Bagchi.'s user avatar
7 votes
1 answer
520 views

Infinite dimensional representations of $\frak{sl}_2$

The finite-dimensional representations of a complex semisimple Lie algebra $\frak{g}$ are well known to be classifiable by their highest weight vectors, giving a convenient countable indexing set. I ...
László Szabados's user avatar
0 votes
0 answers
76 views

Methods for calculating (one-parameter subgroup) actions

For $G$ a Lie group and $\mathfrak{g}$ its Lie algebra, I am interested in one-parameter subgroup actions on “functions” $f$ of the form \begin{equation} \mathrm{e}^{t L(z)} f(z) \end{equation} ...
horropie's user avatar
  • 649
3 votes
0 answers
130 views

Is there a classical version of Yetter-Drinfeld modules?

One motivation for the notion of the Drinfeld double $D(H)$ of an Hopf algebra $H$ is that it is defined exactly so that modules over $D(H)$ correspond to Yetter-Drinfeld modules over $H$. If we think ...
Antoine Labelle's user avatar
7 votes
0 answers
181 views

Combinatorial bases of simple Lie algebras

The Lie algebra $\mathfrak{so}_3$ has a basis $x_1,x_2,x_3$ with the multiplication table $[x_1,x_2]=x_3$, $[x_2,x_3]=x_1$, $[x_3,x_1]=x_2$. Moreover there is an isomorphism $\mathfrak{so}_3(\mathbb C)...
მამუკა ჯიბლაძე's user avatar
0 votes
1 answer
117 views

Sub-coroot lattices

[This is a sequel to the previous question sub-coroot systems, that has been answered! :-) ] Let $T$ be a maximal torus of a compact Lie group $K$, and let $\Lambda \subset {\mathfrak t}$ be the ...
bernardorim's user avatar
3 votes
1 answer
150 views

Sub-coroot systems

Let $T$ be a maximal torus of a compact Lie group $K$, and let $\Psi \subset {\mathfrak t}$ be the (finite) set of coroots for $(K,T)$, where $\mathfrak t$ is the Lie algebra of $T$. Assume now that $...
bernardorim's user avatar
3 votes
1 answer
250 views

Decomposition of tensor powers of the vector representation of $\frak{sl}_n$

Let $V(\pi_1)$ be the usual vector/matrix representation of the Lie algebra $\frak{sl}_n$, for $n > 2$. A basic fact is the tensor product $V(\pi_1) \otimes V(\pi_1)$ decomposes as $$ V(\pi_1) \...
László Szabados's user avatar
6 votes
4 answers
422 views

The dimension of the Grassmannian cohomology ring $H^*(\mathrm{Gr}_{n,d})$ and the fundamental $\frak{sl}_n$-representation $V_{\pi_d}$

The vector space dimension of the cohomology group of the $2$-plane Grassmannian $\mathrm{Gr}_{2,n}$ is given by the number of tuples $(\lambda_1,\lambda_2)$ satisfying $$ n - 2 \geq \lambda_1 \geq \...
Didier de Montblazon's user avatar
1 vote
1 answer
197 views

Lie algebras and pulled back group schemes

Suppose I have an extension of fields $L/K$, a group scheme $G_K$ over $\operatorname {Spec} K$. Let $G_L$ denote the pullback of $G_K$ to $\operatorname{Spec} L$. Then, under what conditions on the ...
user499148's user avatar
1 vote
1 answer
187 views

Tensoring irreducible representations corresponding to root lattice elements

Let $\frak{g}$ be a complex semisimple Lie algebra with root lattice $Q$ and positive weight space $P^+$. Let $\lambda, \mu \in Q \cap P^+$, with corresponding respective fin-dim irreducible ...
Martim Pereir's user avatar
0 votes
1 answer
109 views

Non-trivial weight spaces of finite-dimensional irreducible $\frak{g}$-modules

Let $\lambda \in \mathcal{P}^+$ be a dominant weight for $\frak{sl}(n,\mathbb{C})$. When does it hold that the zero weight space, of the associated finite-dimensional $L(\lambda)$, is non-trivial? ...
Martim Pereir's user avatar
4 votes
1 answer
232 views

Number of representations of a semisimple Lie algebra of any given dimension

For a semisimple complex Lie algebra $\frak{g}$ it is well known that irreducible finite-dimensional representation are not characterised by their dimension. More formally, let us define an ...
Martim Pereir's user avatar
2 votes
0 answers
66 views

Identifying the adjoint representation of an affine Kac-Moody algebra

We work over $\mathbb{C}$. Let $\mathfrak{g}$ be an affine Kac-Moody Lie algebra (the question is still relevant for the non-affine case, but I'm specifically interested in the affine case). Suppose ...
freeRmodule's user avatar
  • 1,025

1 2
3
4 5
44