# Tagged Questions

**13**

votes

**0**answers

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

**12**

votes

**0**answers

380 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

409 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

220 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

520 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

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

**8**

votes

**0**answers

111 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

424 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

285 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

490 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

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

**6**

votes

**0**answers

113 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

284 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

166 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

246 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

290 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

328 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

305 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

565 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

328 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

606 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

77 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

116 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

209 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

173 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

173 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

143 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

127 views

### Does the normal ordered product on differential operators lift to $U\left(\mathfrak{gl}_n\right)$ ?

Let $n\in\mathbb N$. Let $k$ be a commutative ring. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., $x_n$ over $k$. (The multiplication in ...

**5**

votes

**0**answers

561 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

615 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

321 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

460 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

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

**4**

votes

**0**answers

122 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?

**4**

votes

**0**answers

84 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

106 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

88 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

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

**4**

votes

**0**answers

173 views

### Bracket of lyndon words?

Here is a simple question regarding the standard Lyndon basis for the free Lie Algebra. Suppose I take two lyndon words $m$ and $n$ and their standard bracketings $B(m)$ and $B(n)$ as elements in the ...

**4**

votes

**0**answers

141 views

### The Killing form on quantized enveloping algebras and reduction to the classical case

Let $U_q$ be the quantized enveloping algebra associated to a semisimple Lie algebra $\mathfrak g$. It is a result due to Tanisaki (see here; also see Chapter 6 of Jantzen's book Lectures on Quantum ...

**4**

votes

**0**answers

190 views

### Is the “Toeplitz algebra” the representation ring of a Hopf algebra related to SU(2)?

More precisely, does there exist a Hopf algebra $H$ whose category of (finite-dimensional, complex) representations is generated under direct sum and tensor product by two one-dimensional ...

**4**

votes

**0**answers

252 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 ?

**4**

votes

**0**answers

210 views

### $U\left(\mathfrak a\right) \otimes_{U\left(\mathfrak a\cap\mathfrak b\right)} U\left(\mathfrak b\right) \cong U\left(\mathfrak a + \mathfrak b\right)$ over a ring containing $\mathbb{Q}$

While the Poincaré-Birkhoff-Witt theorem is usually proven (and sometimes even formulated) for free modules only, it is known (see also here) that it holds for arbitrary modules if the ground ring is ...

**4**

votes

**0**answers

156 views

### Exotic Chains for Group Cohomology of a Complex Lie Group

Related Question: Exotic Chains for Group Homology of a Complex Lie Group
Let's take the group cohomology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

251 views

### What is the dual bialgebra structure in this special case?

Hi,
I would like to study a special case of Lie bialgebras. Let $(\mathcal{G},<,>)$ a Lie algebra endowed with a scalar product $<,>$ such that
$$\mathcal{G}=S\oplus D(\mathcal{G}),$$
...

**4**

votes

**0**answers

307 views

### about ℓ-adic and Perverse Stuff and ℓ-adic cohomology with compact support

this question is trivial.
We know from this paper link text, Springer constructed rep of the Weyl group $W$
on the cohomology of the Springer fibre. Also, Deligne-Lusztig constructed the linear rep ...

**4**

votes

**0**answers

234 views

### Norm in the fundamental representations of Lie algebras

Let $\mathfrak{g}$ be a complex simple Lie algebra, $\omega_0$ a dominant weight, $\rho$ a fundamental representation with highest weight $\Lambda$.
Fix some weight $w$ in this representation. Let ...

**4**

votes

**0**answers

300 views

### Working with quadratic Lie algebras

A quadratic Lie algebra is a Lie algebra with an invariant inner product and the main examples are semisimple Lie algebras. This definition then makes sense in any linear symmetric monoidal category. ...

**3**

votes

**0**answers

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