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

learn more… | top users | synonyms

3
votes
0answers
76 views

Poincaré-Birkhoff-Witt theorem for Leibniz algebras

Leibniz algebras can be seen as a non-skew-symmetric generalization of Lie algebras. I have already taken a look at some papers related to Leibniz algebras and extending main results of Lie algebras ...
3
votes
0answers
80 views

How to write down solutions of Yang-Baxter equations for $sl_3$ explicitly?

In the paper, Stolin classifies all quasi-Frobenius subalgebras of $sl_3$. How to write down solutions of Yang-Baxter equations for $sl_3$ explicitly using these quasi-Frobenius subalgebras? Thank you ...
2
votes
0answers
83 views

Lie algebra (co)homology of the Lie algebra of differential operators

Let $X$ be an algebraic variety (or a complex manifold) over $\mathbb C$. Let $D(X)$ be its algebra of differential operators. Mostly I am interested in algebraic differential operators, but the case ...
5
votes
0answers
82 views

Analytic continuation of $\mathfrak{so}(n)$ algebras to real $n$?

In a 1988 paper "The Lie algebras $\mathfrak{gl}(\lambda)$ and cohomologies of Lie algebras of differential operators", Feigin defined the analytic continuation of $\mathfrak{sl}(n)$ algebras (over $\...
4
votes
0answers
144 views

Affine Steinberg groups vs Steinberg groups over Laurent polynomials

Let $R$ be a commutative ring and $\Phi$ be a finite (also called spherical) reduced irreducible root system of rank $\geq 2$. I will denote by $\mathrm{St}(\Phi,R)$ the Steinberg group of type $\Phi$ ...
3
votes
0answers
86 views

Is there a name for a noncommutative generalization of Poisson algebra?

Is there a name for an associative algebra which is further endowed with a Lie algebra structure such that the Leibniz rule holds, i.e., $$[a, b \circ c]=[a,b]\circ c+b\circ [a,c], \hspace{15mm}(*)$$ ...
2
votes
0answers
89 views

Irreducible representations in BGG category $\mathcal{O}$ over (finitely) direct sum of general linear Lie superalgebra

Let $\mathfrak{g} = \oplus_i^k\mathfrak{gl}(m_i|n_i)$ be a direct sum of general linear Lie superalgebras $\mathfrak{gl}(m_i|n_i)$'s with the Cartan subalgebra $\mathfrak{h} = \oplus_i^k \mathfrak{h}...
2
votes
0answers
61 views

Diagonal invariants of $SO(n)$

Consider a Lie algebra $\mathfrak g$ (I am mostly interested in the case $\mathfrak g=so(n)$), its universal enveloping algebra $U$ and its center $C$. There is an adjoint action of $\mathfrak g$ on $...
2
votes
1answer
118 views

Characterization of restricted weights of representations of real semisimple Lie groups

I need to use the following theorem: Let $\mathfrak{g}$ be a semisimple real Lie algebra, $\Sigma$ a set of restricted roots for $\mathfrak{g}$. Let $\rho$ be any finite-dimensional representation of ...
30
votes
1answer
565 views

Is there a geometric construction of hyperbolic Kac-Moody groups?

Just as the theory of finite-dimensional simple Lie algebras is connected to differential geometry and physics via the theory of simple Lie groups, the theory of affine Lie algebras was connected to ...
0
votes
0answers
63 views

Curves in $\mathfrak{su}(n)$ with specific property

Consider a curve $\gamma_s= U_s^{\dagger} b U_s$ in $\mathfrak{su}(n)$ where $U_s$ is a smooth curve on $SU(n)$ (starting at $U_0 = \mathbb{I}$) and nonzero $b\in \mathfrak{su}(n)$ and $s \in[0,T]$ ...
6
votes
2answers
143 views

Can we count the number of simple modules for a reduced enveloping algebra?

Let $G$ be a reductive algebraic group over a field of positive characteristic $p$, which I'll assume to be very good for $G$. Then the Lie algebra $\mathfrak{g}$ is restricted and each simple $\...
5
votes
1answer
320 views

A Hom-Tensor identity - $\text{Hom}_{R}(P,B)\otimes _SC \cong \text{Hom}_{R}(P,B \otimes_S C) $

let $R,S$ be associative algebras over $\mathbb{C}$. Let $\mathcal{C} \subseteq$ $R$-Mod be a full abelain subcategory of $R$-Mod which is the category of $R$-modules. Let $B$ and $C$ be, a $(R,S)$-...
1
vote
2answers
218 views

Nilpotency of Lie Algebra from Structure Constants

Suppose we have a Lie algebra with structure constants $$\mathrm{d}e^i=\sum_{j<k}a_{ijk}e^j\wedge e^k$$ for some coefficients $a_{ijk}$. In this setting, how may be checked (perhaps ...
26
votes
1answer
525 views

Why do the adjoint representations of three exceptional groups have the same first eight moments?

For a representation of a compact Lie group, the $n$th moment of the trace of that representation against the Haar measure is the dimension of the invariant subspace of the $n$th tensor power. The ...
3
votes
2answers
160 views

Replacement for Lie-algebra complements

All groups are linear algebraic over some fixed field $k$. I believe that it is true that, in characteristic $0$, if $G'$ is a reductive subgroup of $G$, then there is a $G'$-invariant complement to $...
6
votes
3answers
303 views

Simple lie algebras, (almost-)simple groups of Lie type

Take an algebraic group $G$ defined over a finite field $K$. Suppose its Lie algebra $\mathfrak{g}$ is simple. It should follow that $G$ is almost-simple. (By this I mean not that $G(K)$ is simple -- ...
0
votes
1answer
95 views

Whitehead's lemma (Lie algebras) for reductive Lie algebras [closed]

Whitehead's lemma (Lie algebras) is: Let $\mathfrak{g}$ be a semisimple Lie algebra over a field of characteristic zero, $V$ a finite-dimensional module over it and $f$: $\mathfrak{g} \to V$ a linear ...
3
votes
1answer
93 views

Are all the Lie bialgebra structure on $sl_n$ coboundary?

In the case of $sl_2$, there are three Lie bialgebra structures. We have three cobrackets $\delta: sl_2 \to \Lambda^2 sl_2$. Each $\delta$ can be written as $\delta=d r$ for some matrix $r$. Therefore ...
0
votes
0answers
77 views

Picard scheme analogy with Lie algebra

I'm far from an expert, but its classic to study for a smooth, proper scheme over a field Pic(X) its Picard scheme and to note from deformation theory that the tangent space at the identity of Pic(X) ...
1
vote
0answers
56 views

Low-dimensional classical r-matrices

Let $g= gl_2$. Suppose that $r \in g \otimes g$ satisfies the following properties: (1) $r_{12} + r_{21} \in g \otimes g$ is $g$-invariant, $r_{12} = r$, $r_{21} = \tau \ r_{12}$. (2) $[r_{12}, r_{...
2
votes
0answers
136 views

Lie Algebra of Aut(GL(n,R))

What is the Lie Algebra of $Aut(Gl(n,F))$ when $F$ is either $\mathbb{R}$ or $\mathbb{C}$? Is it enough to consider the injection via Hochschild: $Aut(GL(n)) \to Aut(\mathfrak{gl}(n))$? Edit: The ...
2
votes
2answers
169 views

Recover Poisson bracket on $C[G]$ using the Lie cobracket $\delta: g \to \Lambda^2 g$

By a theorem of Drinfeld, there is a one to one correspondence between Lie bialgebras and Poisson Lie groups. Therefore given a Lie cobracket $\delta: g \to \Lambda^2 g$, there is a Poisson bracket on ...
2
votes
1answer
151 views

Classifications of Lie bialgebras

What is the current status of the classifications of Lie bialgebras? In particular, has the following problem been solved? Let $gl_n$ be the general linear Lie algebra. Classify all Lie cobrackets $\...
1
vote
0answers
169 views

Solvable Lie algebra whose nilradical is not characteristic

It is well known that the nilradical of a finite-dimensional Lie algebra over a field of characteristic p > 0 need not be characteristic (that is, invariant under all derivations of the algebra), but ...
2
votes
0answers
149 views

Exponential analogue of formal connections

Let $F=\mathbb{C}((t))$. Let $G=GL_n$. Then $G(F)$ acts on $\mathfrak{g}(F)$ by gauge transformation: $$ g.x:=gxg^{-1} + \dot{g}g^{-1},\quad \quad g\in G(F), \quad x\in \mathfrak{g}(F). $$ Here, $\...
2
votes
0answers
143 views

Deligne-Simpson problem for classical groups

Additive Deligne-Simpson problem was partially prooved by Kostov. Also there is Crawley-Boevey's approach to the question. The problem is about existence of a solution of the equation $$ A_1 +...+A_n =...
3
votes
0answers
98 views

Systematic treatment of folding and valued graphs

I'm going to say beforehand that this question has something of a "am I missing something?" flavor. I'm in that odd position mathematicians often find themselves, where a topic has been addressed ...
2
votes
0answers
88 views

Set of Special Unitary Matrices that are dense in SU(4) and obey certain relations

I'm trying to find a finite set of 4x4 Unitary matricies $\{U_1,U_2,\ldots U_N\}$ such that the matrices are dense in SU(4), and obey the relations: $[U_i, U_j] = 0$ for $|i-j|>1$ $U_iU_{i+1}U_i=...
6
votes
0answers
89 views

Subquotients of Jantzen Filtration for Kac-Moody algebras

Let $\mathfrak{g}$ be a complex symmetrizable Kac-Moody algebra, with triangular decomposition $\mathfrak{n}^- \oplus \mathfrak{h} \oplus \mathfrak{n}^+$. Let $\lambda \in \mathfrak{h}^*$, and $M(\...
0
votes
0answers
47 views

Generalized Gaussian Decomposition

Let $G$ be a connected complex semisimple Lie group. Let $H$ be a maximal torus of $G$, let $W$ be the Weyl group of $G$, and let $N_\pm$ be a pair of opposite maximal unipotent subgroups. For each ...
8
votes
1answer
331 views

Intuition for the Cartan connection and “rolling without slipping” in Cartan geometry

Consider a Cartan geometry $\pi: \mathcal{G} \to M$ with Cartan connection $\omega$ modelled on the Klein geometry $(G, H)$. The Cartan connection is supposed to formalize what it means to "roll ...
1
vote
0answers
45 views

Extra-Lorentzian Kac-Moody algebras

My question is about Kac-Moody (KM) algebras of finite rank with symmetrized Cartan matrices $B = C A$ ($A$ is Cartan matrix) of signatures $(-,-,+,...,+)$, $(-,-,-,+,...,+)$, etc. i.e. with $2$,...
4
votes
1answer
145 views

Lie functor preserves “surjections” in synthetic differential geometry?

In classical finite-dimensional differential geometry, the Lie functor preserves surjections, sending a surjective Lie group homomorphism to a surjective Lie algebra homomorphism. As pointed out ...
3
votes
1answer
215 views

Affine analog of the theory of sheets

In the study of adjoint orbits in a complex semi-simple lie algebra, there is a well known object known as a "sheet". These are the irreducible components of the union of orbits of the same dimension. ...
4
votes
1answer
204 views

The parity of the full automorphism group order of finite non-abelian groups of prime exponent

Is there a finite non-abelian group $G$ of prime exponent such that the full automorphism group of $G$ is of odd order?
0
votes
1answer
126 views

Tensor products of simple modules over algebras [closed]

Let $A$ and $B$ be $\mathbb{C}$-algebras. Suppose that $M$ and $N$ are respectively simple $A$ and $B$ modules. We can regard $M\otimes_{\mathbb C}N$ as $A\otimes_{\mathbb C} B$-modules in natural ...
7
votes
0answers
137 views

del Pezzo surfaces and exceptional algebras

It is well-known that $H^2(dP_n, Z)$ for a del Pezzo surface of degree $9-n$ which is $\mathbb{P}^2$ blown up at $n$ generic points, is encoded by the exceptional Lie algebra $E_n$. However, the Mori ...
1
vote
1answer
235 views

Soliton equation and non-killing potential vector field

I am searching for a non-Killing vector field $\zeta \in\frak X\rm (M)$ where $(M,g)$ is a Riemannian manifold such that $$\frac12 \frak L_\zeta \rm g+Ric=\lambda g$$ $$ \frak L_\zeta \rm Ric=\lambda \...
5
votes
1answer
163 views

The action of $GL_{\infty}$ on the infinite wedge space

This is a question from the book "Highest weight representations of infinite dimensional Lie algebras, 2nd ed" by V. G. Kac, A. K. Raina, and N. Rozhkovskaya. Consider the following objects: the ...
16
votes
5answers
555 views

Is there a formula for the Frobenius-Schur indicator of a rep of a Lie group?

Let $G$ be a simple algebraic group group over $\mathbb C$. Let $V$ be a self-dual representation of $G$. Let $\lambda$ be the highest weight of $V$. Write $\lambda$ as a sum of fundamental weights: $...
2
votes
0answers
100 views

Are singular critical points isolated for control systems on compact semisimple Lie groups

Given a control system on $\mathrm{SU}(n)$ (or any other compact, semi-simple Lie group I suspect) of the form: $\frac{d U_t}{dt} = (A + w(t)B)U_t$ where $A,B \in \mathfrak{su}(n)$ generate the ...
5
votes
1answer
98 views

Ideals of $U(\mathrm{gl}(n,\mathbb{C}))$ and their intersection with center

Does every non-null two-sided ideal of $U(\mathrm{gl}(n,\mathbb{C}))$ have nonzero intersection with the center of $U$?
14
votes
2answers
487 views

factorization of the regular representation of the symmetric group

Let $\mathbb{C}[S_n]$ be the regular representation of the symmetric group $S_n$, and let $\mathbb{C}^n$ be the vector representation. Question: Does there exist a representation $V$ (of dimension $(...
0
votes
1answer
51 views

Authomorphisms of factoralgebra A_5 over its center in characteristic 2

Let L be classical Lie algebra of type A_5 over field of characteristic 2, M - factoralgebra L/Z(L) where Z(L) - center of L. What about group of automorphisms of M? Does anybody know answer or at ...
3
votes
2answers
155 views

Commutator 2-forms on Lie groups

Let $G$ be a compact Lie group and $\mathfrak g$ its Lie algebra. For any $f$ in the dual space $\mathfrak g^*$, we can define a skew-symmetric bi-linear form on $\mathfrak g$ by $(A,B)\mapsto f([A,B])...
0
votes
1answer
124 views

A particular Lie algebra $L_{n}$ and (various) lie groups whose Lie algebra is isomorphic to $L_{n}$

We define $$L_{n}=\{A=(a_{ij})\in M_{n}(\mathbb{R})\mid \sum_{i=1}^{n} a_{ij}=0 \;\;\;\text{for every fixed j}\}$$ This is a Lie subalgebra of $M_{n}(\mathbb{R})$. A dynamic-geometric proof for ...
1
vote
0answers
92 views

A question about the associative classes of parabolic subgroups

Let $\mathbb{A}$ denote the adele group of $\mathbb{Q}$. Suppose that $P_1$ and $P_2$ are parabolic subgroups of a reductive algebraic group $G$, and consider their Langlands decomposition $$ P(\...
2
votes
0answers
111 views

The existence of zero-divisors in the universal enveloping algebra of an infinite-dimensional Lie algebra

The intuition for this problem comes from $\S$17 Exercise 1 Humphreys' Introduction to Lie Algebras and Representation Theory which essentially asks us to use PBW in order to prove that if a Lie ...
2
votes
0answers
123 views

Differential of the adjoint quotient map

My question is regarding a paper by R.W Richardson titled "Derivatives of invariant polynomials on a semisimple Lie Algebra" ** . In this paper, he reports on computations of the rank of the ...