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

14
votes
0answers
568 views

“Special” meanders

One of the open problems in combinatorics is enumeration of meanders. Here on MO I only could find them under the heading not-especially-famous-long-open-problems-which-anyone-can-understand. Since ...
13
votes
0answers
408 views

Lie algebras vs. graph complexes

A ribbon graph is a graph in which every vertex has valence at least three and is equipped with a cyclic ordering of its adjacent half edges. The ribbon graph complex $\mathcal{G}_*$ is the chain ...
12
votes
0answers
194 views

Is $F_{f, c, \ell}$ a $G$-harmonic polynomial?

Let $G \subset \text{GL}_n(\mathbb{C})$ be a finite subgroup. The group $G$ acts naturally on $\mathbb{C}^1[\mathbb{C}^n]$ the space of degree $1$ homogeneous polynomials in $x_1, \dots, x_n$, i..e, ...
11
votes
0answers
497 views

Source of a formula for tensor product multiplicities?

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other ...
11
votes
0answers
578 views

Combinatorial identity involving the Coxeter numbers of root systems

The setup is: $R$ = irreducible (reduced) root system; $D$ = connected Dynkin diagram of $R$, with nodes numbered $1,2,...,r$; $\hat D$ = extended Dynkin diagram, nodes numbered $0,1,2,...,r$; ...
10
votes
0answers
213 views

Irreducible representations of Weyl group of F$_4$ on zero weight spaces?

This is a follow-up to a recent question here concerning the natural representation of a Weyl group $W$ on the zero weight space of an irreducible representation $L(\lambda)$ of highest weight ...
10
votes
0answers
242 views

differentiating positive energy LG reps

Background:Let $G$ be a cscsc¹ Lie group, and let $\widetilde{LG}$ be the universal central extension (center = $S^1$) of $LG:=Map_{C^\infty}(S^1,G)$, with the topology inherited from the $C^\infty$ ...
9
votes
0answers
428 views

Local proof of Grothendieck-Riemann-Roch theorem

There is a theorem by Feigin and Tsygan(Theorem 1.3.3 here) which they call "Riemann-Roch" theorem. Given a smooth morphism $f:S\to N$ of relative dimension $n$ and a vector bundle $E/S$ of rank $k$ ...
9
votes
0answers
118 views

Failure of surjectivity in Hotta-Springer specialization: examples for special unipotents?

Last weekend's workshop on Springer theory and its generalizations at UMass demonstrated how far the subject has expanded over four decades, but the original set-up for the Springer correspondence ...
9
votes
0answers
479 views

Dual versions of “folding” symmetric ADE Dynkin diagrams?

Start with the Dynkin diagram of an irreducible root system, typically associated with a simple Lie algebra over $\mathbb{C}$ or a simple algebraic group. Most of the simply-laced ADE diagrams ...
8
votes
0answers
306 views

Explicit change of basis for the Schur-Weyl basis

The Schur-Weyl duality states that $\bigotimes_{m=1}^n \mathbb{C}^k$ can be decomposed as a direct sum over the tensor product of irreductible representations of $SU(k)$ and of the symmetric group ...
7
votes
0answers
166 views

How to show the compatibility between Duflo isomorphism and Harish-Chandra isomorphism for semi-simple Lie algebras?

I was told that the Duflo isomorphism is compatible with the Harish-Chandra isomorphism when the Lie algebra $\mathfrak{g}$ is semi-simple. However I cannot see why this is true. All I can show is ...
7
votes
0answers
151 views

Deformation of Noether's first theorem

Noether's first variational theorem establishes a correspondence between symmetries and invariants. I would like to know what has been written on the following question: How do the invariants deform ...
7
votes
0answers
494 views

Small sum of group elements acting as rank 1 matrix.

I am interested in constructing small (as possible) group $G$ with large dimensional irreducible representation $\rho,V$ such that exist three elements of $g_1,g_2,g_3\in G$ such that for some ...
6
votes
0answers
86 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 ...
6
votes
0answers
135 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 ...
6
votes
0answers
142 views

Finding $U,V$ in Thompson's Formula

Thompson's formula says, given $A,B \in \mathfrak{su}(n)$, there exists $U,V \in SU(n)$ such that: $e^{A}e^{B}=e^{UAU^{\dagger} + VBV^{\dagger}}$ Given $a,b \in \mathfrak{su}(4)$ defined by: $a=J_x ...
6
votes
0answers
134 views

Root-theoretic formulation of characteristic polynomial

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra of rank $n$ over $\mathbb{C}$. Let $G$ denote the corresponding simple simply connected algebraic group. By Chevalley's Theorem, ...
6
votes
0answers
155 views

What is the importance of the number $k+h^{∨}$ (level+dual Coxeter number)?

The number $k+h^{∨}$ appears at many places in the representation theory of affine Lie algebras (and probably elsewhere). Here $h^{∨}$ is the dual Coxeter number of the root system, and $k$ is the ...
6
votes
0answers
135 views

vanishing of Lie algebra cohomology with coefficients in an infinite-dimensional module

Let $G$ be a real semisimple Lie group, $K$ its maximal compact subgroup, $\mathfrak g, \mathfrak k$ the corresponding Lie algebras. Let $V$ be a locally convex, Hausdorff vector space, which is a ...
6
votes
0answers
356 views

Injectivity of Lie group exponential function

If $G$ is a (finite-dimensional) Lie group, then the exponential function $\exp\colon\mathfrak{g}\to G$ is injective on some identity neighbourhood. If, moreover, $\mathfrak{g}$ is semi-simple and ...
6
votes
0answers
180 views

The meaning of a “subcomplex” of the Cartan-Eilenberg of a Lie algebra

Let $\mathfrak{g}$ be a finite dimensional real Lie algebra, and $\mathfrak{g}^* $ be the dual vector space. We have the standard Cartan-Eilenberg complex $(\wedge^{\cdot} \mathfrak{g}^* ...
6
votes
0answers
257 views

Idempotent non-associative algebras

This is inspired by that question by Andreas Thom. Let $L$ be a finitely generated Lie ring (or Lie algebra over a field) such that $L=[L,L]$, that is the Abelianization of $L$ is 0. Is it true ...
6
votes
0answers
234 views

How to decide if two surfaces occurring in Springer theory are isomorphic?

In the study of a simple algebraic group (say over $\mathbb{C}$) and related geometry of its flag variety associated with the Springer correspondence, one encounters pairs of surfaces which have some ...
6
votes
0answers
318 views

Reference for the Thick Affine Grassmanian

Let $G$ be a reductive group and $LG$ be the algebraic loop group of $G$; i.e. $LG(k) = G( k((t)) )$. There is a fair amount of literature on the affine Grassmanian $LG(k)/G(k[[t]])$ and its Picard ...
6
votes
0answers
356 views

The Hochschild-Serre spectral sequence relative to an ideal containing the derived subalgebra

Is the Hochschild-Serre spectral sequence $$H_\bullet(\mathfrak g/\mathfrak h,H_\bullet(\mathfrak h,k))\Rightarrow H_\bullet(\mathfrak g,k)$$ for an extension of Lie algebras $$0\to\mathfrak ...
6
votes
0answers
577 views

Baker-Campbell-Hausdorff formula: prime divisors of denominators

Consider the Baker-Campbell-Hausdorff formula (Wikipedia page): $$Z(X,Y) := X + Y + \frac{1}{2}[X,Y] + \frac{1}{12}[X,[X,Y]] - \frac{1}{12}[Y,[X,Y]] + \dots$$ Many sources, including the Wikipedia ...
6
votes
0answers
344 views

Approximating the radical of a Lie algebra by Killing radicals

The following question might be filed under "idle curiosity", but I'm hoping some expert on Lie algebras can answer it. Background One of the fundamental structural results about Lie algebras is the ...
6
votes
0answers
654 views

Category O of Kac-Moody algebra

Category $\mathcal{O}$ of semisimple Lie algebra has been understood very well. One can decompose the category into different blocks by central characters, and evey block is Noetherian and Aritian, ...
5
votes
0answers
48 views

Multiplication in universal enveloping algebra in terms of PBW isomorphism

Let $\mathfrak g$ be a Lie algebra. Consider the multiplication map $m:\mathfrak g\otimes U(\mathfrak g)\to U(\mathfrak g)$ and $i:S(\mathfrak g)\to U(\mathfrak g)$ -- Poincare-Birkhoff-Witt ...
5
votes
0answers
123 views

Is there an explicit construction of Tate-Beilinson residue?

Background: Tate's construction of abstract residues is generalized in Beilinson's constructon as follows: Let $E$ be a unital, cubically decomposed $k$-algebra, i.e., (a) there are two sided ideals ...
5
votes
0answers
57 views

Harmonicity on semisimple groups

I asked this on Math.SE and got no answer, so I'll try my luck here. Let $G$ be a semisimple real Lie group, $U(\mathfrak{g})$ its universal enveloping algebra, let $\Omega$ be the Casimir element in ...
5
votes
0answers
81 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 ...
5
votes
0answers
223 views

Recurrence Formula for Zernike polynomials

I'm not sure if this is research level, so if this result is known, please excuse the intrusion. I am trying to find a relation between solutions of the Laplacian equation in $4$ dimensions and those ...
5
votes
0answers
105 views

How to characterize the class of $(\mathfrak{g},K)$-modules with a fixed lowest K-type in the framework of D-modules?

Let $G$ be a real semisimple Lie group, $K$ be a maximal compact subgroup. Let $\mathfrak{g}_0$ and $\mathfrak{k}_0$ be their real Lie algebras respectively. Let $\mathfrak{g}$ and $\mathfrak{k}$ be ...
5
votes
0answers
127 views

LS paths construction

Let $W$ be the Weyl group of a simple Lie algebra $\mathfrak L$, and for a dominant weight $\lambda$ denote by $W_{\lambda}$ the stabilizer of $\lambda$ in $W$. Let $\leq$ be the Bruhat order on ...
5
votes
0answers
290 views

A vector space associated with a vector field on a symplectic manifold

Let $(M,\omega)$ be a $2n$ dimensional symplectic manifold and $X$ is a smooth vector field on $M$. Consider the following subvector space of $\chi^{\infty}(M)$: $$S(X)=\{Y\in ...
5
votes
0answers
152 views

Finite-codimension subalgebras of generalized Kac-Moody lie algebras

Do generalized Kac-Moody lie algebras of infinite dimension contain subalgebras of finite codimension? If so, is there a classification?
5
votes
0answers
237 views

Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course. Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
5
votes
0answers
282 views

Generators for invariant tensors of lie algebras

EDITED FOR (hopeful) CLARITY: For a simple Lie algebra $\mathfrak{g}$ (over $\mathbb{C}$) and its adjoint group G, the $G$-invariant polynomials on $\mathfrak{g}$ are linear combinations of products ...
5
votes
0answers
213 views

A question on the resolution of parabolic Verma module $M_I(\lambda)$ in BGG category O

I am reading Humphrey's book "Representations of semisimple Lie algebras in the BGG Category O" on Page 189, Proposition 9.6, where he remarked that "Note that if we had developed the full BGG ...
5
votes
0answers
148 views

On an interesting subalgebra of the functions on the cotangent bundle of the flag variety

Setup Let $G$ be a semisimple algebraic group over a field $k$ of characteristic $p$ where $p = 0$ or $p > 0$ is a good prime for $G$. Fix a Borel subgroup $B \subseteq G$ corresponding to the ...
5
votes
0answers
288 views

Lie-infinity structure in Lagrangian Floer theory ?

Is there (besides the A-infinity structure) also a L-infinity structure in Lagrangian Floer theory (forming together a G-infinity structure) - like in Hochschild cohomology ?
5
votes
0answers
634 views

Commutator Baker-Campbell-Hausdorff formula

Consider the Baker-Campbell-Hausdorff formula $\Phi(X,Y)\in\mathbb{Q}\langle\!\langle X,Y\rangle\!\rangle$ in non-commutative variables. Define $X*Y:=\Phi(X,Y)$ and $[X,Y]=(-X)*(-Y)*X*Y$, and then (as ...
5
votes
0answers
675 views

Hodge theory for Lie algebra (co)homology

Let $G$ be a simple Lie group and $P$ its parabolic subgroup such that on the level of Lie algebras we have $\mathfrak{p} = \mathfrak{g}_0 \oplus \mathfrak{n}$. The dual $\mathfrak{n}^{\*}$ is ...
5
votes
0answers
334 views

Lie locally nilpotent associative algebras

Let $A$ be an associative algebra over a field. Then $A$ can be regarded as a Lie algebra via the Lie bracket defined by $[a,b]=ab-ba$ for every $a,b\in A$. The algebra $A$ is called Lie locally ...
5
votes
0answers
521 views

Applications (and source) of Bourbaki exercise on root systems with two root lengths?

In Chapters 4-6 of Bourbaki's Groupes et algebres de Lie, Exercise 20 for Section VI.1 concerns irreducible (reduced) root systems with roots of two lengths: in other words, systems of types $B_\ell, ...
4
votes
0answers
174 views

A soft question on Gauge Equivalence in Integrable Systems

I have a question about two well-known spectral problems in Integrable Systems. These are the Dirac and the ZS-AKNS spectral problems. They are are known to be gauge equivalent (please see equations ...
4
votes
0answers
106 views

Lie algebras whose derivation algebra is nilpotent

Let $L$ be a Lie algebra and denote by $\mathrm{Der}(L)$ the derivation algebra of $L$. If $L$ is finite-dimensional, then a theorem of Leger and Togo (Duke Math. J. $\bf{26}$ (1959), 623 – 628, DOI: ...
4
votes
0answers
140 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$ ...