**14**

votes

**0**answers

518 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

**0**answers

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

**11**

votes

**0**answers

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

**10**

votes

**0**answers

197 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

**0**answers

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

**10**

votes

**0**answers

566 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$;
...

**9**

votes

**0**answers

114 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

**0**answers

463 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

**0**answers

147 views

### Comparing a Chevalley basis with the canonical basis of the adjoint module?

First some background: Given a simple Lie algebra $\mathfrak{g}$ over an algebraically closed field of characteristic 0 such as $\mathbb{C}$, fix a Cartan decomposition $\mathfrak{g} = \mathfrak{h} ...

**8**

votes

**0**answers

299 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

**0**answers

154 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

**0**answers

150 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

**0**answers

493 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

**0**answers

71 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

**0**answers

129 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

**0**answers

138 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

**0**answers

132 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

**0**answers

334 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

**0**answers

176 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

**0**answers

254 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

**0**answers

313 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

**0**answers

345 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

**0**answers

311 views

### Kazhdan-Lusztig graph for the Springer fiber of the minimal special unipotent class?

This graph was determined in the case of simply-laced root systems by Igor Dolgachev and Norman Goldstein: "On the Springer resolution of the minimal unipotent conjugacy class" (J. Pure Appl. Algebra ...

**6**

votes

**0**answers

573 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

**0**answers

340 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

**0**answers

635 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

**0**answers

218 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

**0**answers

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

**5**

votes

**0**answers

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

**5**

votes

**0**answers

96 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

**0**answers

124 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

**0**answers

288 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

**0**answers

149 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

**0**answers

232 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

**0**answers

247 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

**0**answers

196 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

**0**answers

146 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

**0**answers

281 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

**0**answers

618 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

**0**answers

657 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

**0**answers

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

**5**

votes

**0**answers

328 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

**0**answers

514 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

**0**answers

69 views

### Homological dimension of Joseph quotients

Let $\mathfrak g$ be a simple Lie algebra over $\mathbb C$ not isomorphic to $sl(n)$.
Let $\mathcal O$ be the minimal nilpotent orbit in $\mathfrak g^*$. Joseph proved that there exists unique ...

**4**

votes

**0**answers

88 views

### Polynomials invariant with respect to a nilpotent Lie algebra

Let $\mathfrak{u}$ be a nilpotent Lie algebra and let $\mathbb{C}[\mathfrak{u}]$ be the space of polynomials with the natural coadjoint action of $\mathfrak{u}$.
Can one describe ...

**4**

votes

**0**answers

190 views

### Bruhat decomposition of $G/Q$

Let $G$ be a semisimple algebraic group over $\mathbb C$, $T$ be a maximal torus and $B$ be a Borel subgroup of $G$ containing $T$. Let $R^+$ be the set of positive roots with respect to $B$. Let $Q$ ...

**4**

votes

**0**answers

96 views

### Explicit description of graded (counital) cofree cocommutative coalgebras

Let $k$ be a field of characteristic $p \neq 2$, and $V = \oplus V_{n}$ be a graded vector space over $k$.
Then, can one compute the graded (counital) cofree cocommutative coalgebra $C(V)$ ...

**4**

votes

**0**answers

112 views

### When does finite presentability of the associated graded Lie algebra of a group imply the group is finitely presented?

Let $G$ be a finitely generated group; let $L(G)$ denote the graded Lie algebra (over $\mathbb{Q}$) associated to the lower central series of $G$. I would like to know conditions for when the finite ...

**4**

votes

**0**answers

97 views

### Adjoint orbit of two vectors

Let $G$ be a simple compact real Lie group and let $\mathfrak g$ be its Lie algebra. Let $u,v\in \mathfrak g$ be two distinct unit vectors and $H\subset \mathfrak g$ be a hyperplane with normal vector ...

**4**

votes

**0**answers

370 views

### How to find the unitary matrices in this exponential matrix representation

In the following post
Representing a product of matrix exponentials as the exponential of a sum
there is a statement regarding the result of the multiplication of two matrix exponentials:
if $A$ and ...