**0**

votes

**0**answers

18 views

### Largest subgroup of $SU(n)$ for which the adjoint action preserves specific inner product on $\mathfrak{su}(N)$

Given $A,B \in \mathfrak{su}(n)$ such that $K(A, B)=0$, I am looking for the largest subgroup $H$ of $SU(n)$ for which:
$K \left(A, Ad_{U}(B) \right) = 0, \ \ \forall U \in H$ where $K$ is the ...

**0**

votes

**1**answer

122 views

### Existence of a Lie algebra element orthogonal to the adjoint orbit of another element

Consider a compact, semi-simple, connected Lie group $G$ and its Lie algebra $\mathfrak{g}$. Denote the Killing form by $K$.
Given a single $A \in \mathfrak{g}$ when (i.e. which groups and which $A$) ...

**2**

votes

**0**answers

24 views

### How to show the compatibility between Duflo isomorphism and Harish-Chandra isomorphism for semi-simples 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 ...

**1**

vote

**1**answer

82 views

### Generating function for $t$-residues of partitions using Heisenberg + $\hat{sl_t}$ representation theory

Recall that for $t\geq2$, a partition is a $t$-core if none of its hooklengths is divisible by $t$. It is known that the $t$-cores are parametrized by ${\mathbb Z}^{t-1}$. More precisely, let ...

**0**

votes

**0**answers

47 views

### Dimension of a trajectory in $\mathfrak{su}(n)$

Consider $a,b \in \mathfrak{su}(n)$, a fixed positive real number $t$ and the equation:
$\frac{d U(s,t)}{ds} = \left(a + \omega(s)b \right) U(s, t)$ (where $U(t,t)=I$)
and the definition:
$B(s) = ...

**3**

votes

**1**answer

112 views

### Interpreting Frobenius pullback as an invariant differential in the case of an elliptic curve

Let $S$ be an affine scheme of characteristic $p > 0$, let $E \rightarrow S$ be an elliptic curve over $S$, and let $F$ denote the absolute Frobenius. Since $E$ is its own $\mathrm{Pic}^0$ there is ...

**20**

votes

**1**answer

939 views

### Why is there a connection between enumerative geometry and nonlinear waves?

I'm not 100% sure that this question is appropriate for this site. If it's not, please tell me and I'll delete it.
Recently I encountered in a class the fact that there is a generating function of ...

**2**

votes

**1**answer

102 views

### Understanding representations of affine Lie algebras

Please reference this paper for notation in this question.
I'm trying to understand two claims made in the above paper (they may be related). First, in the construction of $\mathcal{H}_\lambda$ on ...

**1**

vote

**0**answers

37 views

### Reference for using an algebra of meromorphic functions to extend a Lie algebra

For example, let $\mathfrak{g}=\mathfrak{sl}_{2}\left(\mathbb{C}\right)$, let $s_{0}=1$, $s_{1}=-1$, $s_{2}$=0, $s_{3}=\infty$ in $\mathbb{P}_{1}\left(\mathbb{C}\right)$ and $\mathcal{R}$ is the ...

**1**

vote

**1**answer

118 views

### A subalgebra of the Virasoro algebra

Let $L_n$ ($n\in\mathbb{Z}$) and $c$ be the standard generators of the Virasoro algebra ${\rm Vit}$. In the literature one usually considers the involutive authomorphism given by $\tau(L_n)=-L_{-n}$, ...

**0**

votes

**1**answer

190 views

### A problem about a matrix norm on $\mathfrak{su}(4)$

Given a fixed $B \in \mathfrak{su}(4)$ is it possible to solve for $F$:
$\sigma^{\text{max}}\left(\frac{A}{F(A)} + B \right) = 1$, $\forall A \in \mathfrak{su}(4)$. A theorem in ...

**3**

votes

**2**answers

118 views

### Solvable Lie algebras: embedded in upper triangular matrices?

Let $K$ be an arbitrary field and $\mathfrak{g}$ a finite-dimensional Lie $K$-algebra.
Let $\mathfrak{nil}_n\leq\mathfrak{sol}_n\leq\mathfrak{gl}_n$ be the Lie algebras of all ((strictly) ...

**3**

votes

**1**answer

177 views

### Maurer-Cartan elements of the extension of an $L_{\infty}$-algebra

Let $g$ be a nilpotent $L_{\infty}$-algebra. For every commutative differential graded algebra $A$, one can form the extension $g\otimes A$ and endow it with a nilpotent $L_{\infty}$-algebra ...

**2**

votes

**0**answers

106 views

### $l$-weights and $l$-character of finite-dimensional highest $l$-weight representation of $L\mathfrak{g}$

I am trying to solve the following problem, which is related to relatively recent results, but I am not sure how to do it.
Problem
In this problem, $\mathfrak{g}=\mathfrak{sl}_{2}$. We study ...

**1**

vote

**3**answers

260 views

### Root in positive Weyl chamber

Let $\mathfrak{g}$ be a complex simple Lie algebra. We fix a Cartan subalgebra $\mathfrak{t}\subset \mathfrak{g} $. Let $R\subset \mathfrak{t}^*$ the set of roots. We fix $\Pi\subset R$ the set of ...

**25**

votes

**4**answers

2k views

### A mysterious Heisenberg algebra identity from Sylvester, 1867

I am trying to understand two papers by James Joseph Sylvester:
P92: "Note on the properties of the test operators which occur in the calculus of invariants, their derivatives, analogues, and laws of ...

**0**

votes

**0**answers

87 views

### A solvable Lie algebra

Consider the Lie algebra $\mathfrak{g}$ span by $x_1,\ldots,x_n,y_1,\ldots,y_n$ with the commutator
$\left[y_i,x_i\right]=y_i, \left[x_i,x_{i+1}\right]=y_i, \left[y_i,x_{i+1}\right]=-y_i,\quad 1\leq ...

**0**

votes

**1**answer

106 views

### generalization of highest weight theorem for semisimple lie algebras

Let $\mathfrak g$ be a real semisimple Lie algebra (without compact factors) with Iwasawa decomposition
$\mathfrak g=\mathfrak k\oplus \mathfrak a\oplus \mathfrak u$.
Let $\mathfrak p$ be a
...

**5**

votes

**0**answers

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

**0**

votes

**1**answer

115 views

### Equivalence of Lie subalgebras, within a (irreducible) representation

Lie subalgebras inside simple Lie algebras (of type ABCDEFG) have been classified up to equivalence, and linear equivalence (by Dynkin et al). How does one classify embeddings of a Lie algebra h ...

**0**

votes

**1**answer

103 views

### Minimal dimension of a Lie algebra of matrices, with a restrictive property

Let $\mathfrak{g}$ be a sub-Lie-algebra of $\mathfrak{gl}_n(\mathbb{C})$, the Lie algebra of complex $n\times n$ square matrices.
Let us call $(H)$ the hypothesis: for all $x, y\in\mathbb{C}^n$, ...

**6**

votes

**2**answers

205 views

### Is an $\mathfrak{sl}_2$-triple determined up to Lie algebra automorphism by the adjoint representation?

Let $\mathfrak{g}$ be a finite-dimensional complex semisimple Lie algebra, and let $\phi_1:\mathfrak{sl}_2(\mathbb{C})\rightarrow\mathfrak{g}$ and ...

**6**

votes

**3**answers

358 views

### Generators of invariant polynomials of semisimple Lie algebra

Suppose $\mathfrak{g}$ is a complex semi-simple Lie algebra. By a theorem of Chevalley, we know that $S(\mathfrak{g})^\mathfrak{g}$, i.e. the $\mathfrak{g}$ invariant polynomials, is generated by $l$ ...

**-2**

votes

**0**answers

41 views

### Automorphisms of B_n [migrated]

I'm working on a proof for graph isomorphism involving a Poset diagram. If all automorphisms for B_n are inner automorphisms, then my proof will be complete. Is this the case? Or are some of the ...

**3**

votes

**1**answer

97 views

### Prescribed spherical representations, symplectic group $Sp(n)$

An irreducible representation $(\pi,V_\pi)$ of a compact group $G$ is called spherical with respect to the pair $(G,K)$, $K$ is closed subgroup of $G$, if $V_\pi$ has a non-zero vector invariant by ...

**4**

votes

**1**answer

186 views

### When do two non-degenerate quadratic forms give rise to isomorphic Lie algebras?

Let $V$ be a vector space over some number field $k$. (I'm fine with $\mathbb{Q}$.)
Let $\phi \colon V \to k$ be a non-degenerate quadratic form. Associated with $\phi$ is the orthogonal group ...

**17**

votes

**1**answer

255 views

### On a drawing in Dixmier's Enveloping Algebras

This image
comes from Dixmier's book, 'Enveloping Algebras' ('Algèbres enveloppantes').
Dixmier writes that
The curves shown on p. XIV have their origin in the study of U(sl(3)).
They are ...

**-1**

votes

**0**answers

51 views

### Clarification on notation of “left invariant fields” (Lie groups) [migrated]

In these notes in Definition 1.4 we learn that
A vector field $X$ on a Lie group $G$ is called left invariant if $d(L_g)_h(X(h))=X(g(h))$ for all $g,h \in G$, or for short $(L_g)_*(X)=X$.
where ...

**3**

votes

**1**answer

357 views

### Is $M=E_{7(7)}/SU(7)\times\mathbb{R}^{+}$ a (pseudo)Kähler-Hodge manifold? Open problem

I have been told that the following is an open problem in mathematics, but I am pretty sure that experts in the topic surely know the answer.
Is the manifold
$$M=\frac{E_{7(7)}}{SU(7)}\times ...

**1**

vote

**0**answers

128 views

### representation of $SO(p)\times SO(q)$ with $p,q$ odd

Assume $p,q$ odd. We denote by $\sigma_p$ the standard representation of $SO(p)$, that is the representation of $SO(p)$ acting on $\mathbf{R}^p$ as matrix. So is $\sigma_q$.
Take $K=SO(p)\times ...

**-1**

votes

**0**answers

26 views

### Generalization of Schur's Lemma: finite dim. representations of real Lie algebras [migrated]

Let $V$ be an irreducible finite dimensional real representation of a real finite dimensional Lie algebra $\mathfrak{g}$. From Schur's Lemma, what is $Hom_\mathfrak{g}(V,V)$ or ...

**1**

vote

**0**answers

138 views

### How the exceptional simple Lie groups/ algebras were first discovered and by whom?

I am wondering whether exceptional simple Lie groups/ algebras were first discovered in order to obtain a complete list of such objects, or they appeared as answers to completely different questions.
...

**2**

votes

**3**answers

382 views

### First Explicit Irreducible Representations

Although the classification of simple Lie Algebras and their representations is fully understood, I wonder whether there is some book with exhaustive tables describing explicit irreducible ...

**1**

vote

**0**answers

80 views

### Irreducible decomposition of $\Lambda^i(\mathfrak{p})$

Let $G$ be a connected semisimple real Lie group with finite center with Lie algebra $\mathfrak{g}$. Take $K$ its maximal compact subgroup of $G$, and $\mathfrak{k}$ its Lie algebra. We denote by
...

**2**

votes

**0**answers

123 views

### Kernel of the Weil homomorphism for compact symmetric spaces

Let $X = G/K$ be a Riemannian symmetric space of compact type and consider the "Weil homomorphism" $$w^\bullet: H^\bullet(BK; \mathbb R) \to H^\bullet(X; \mathbb R),$$ i.e. the map in cohomology ...

**0**

votes

**0**answers

88 views

### Reference about a formula of coroot in an affine root system

Let $\delta$ be the null of an affine root system and let $\alpha + p\delta$ be a real affine root, $p$ is an integer. It is said that
$$
(\alpha + p\delta)^{\vee} = \alpha^{\vee} + ...

**2**

votes

**0**answers

103 views

### Exploiting a finite presentation of a Lie algebra

In "my youth" I computed a finite presenation of the Poisson algebra on $S^2$ (finite presentation as a Lie algebra).
In what ways might this be useful? Does this allow you to extract information ...

**0**

votes

**0**answers

60 views

### Cayley graphs for finitely presented Lie algebras

I have seen that an important tool of finitely presented groups consists in writing down its Cayley graph with respect to a given set of generators, and then try to extract data like the coarse ...

**29**

votes

**11**answers

3k views

### What is significant about the half-sum of positive roots?

I apologize for the somewhat vague question: there may be multiple answers but I think this is phrased in such a way that precise answers are possible.
Let $\mathfrak{g}$ be a semisimple Lie algebra ...

**6**

votes

**0**answers

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

**2**

votes

**1**answer

71 views

### Bounds on Hilbert-Schmidt norm of difference of products of matrices

I suspect the following is well-known, but don't know of a reference (and it is not close to the area I normally work in).
I have two sequences of matrices $Q_{1},\ldots,Q_{k}$ and ...

**3**

votes

**1**answer

155 views

### The Jordan Plane and Enveloping Algebras

Let $k$ denote a field of characteristic $0$ (assume algebraically closed for convenience). Define $J=k\langle x,y|[x,y]=y^{2}\rangle$. This noncommutative algebra (which can be viewed as a derivation ...

**3**

votes

**1**answer

485 views

### Why are 1 and -1 eigenvalues of this matrix?

This is a subject I've been working on for a very long time now, but still did not manage to fully understand the interesting properties of this matrix $\mathbf{A}$.
First, let's define two matrices:
...

**1**

vote

**0**answers

48 views

### How to define the determinant of a morphism between graded Lie algebras?

I have the following question. Suppose $g_1$ and $g_2$ are two finite dimensional, nilpotent, stratified Lie algebras and $A:g_1\to g_2$ is a morphism of the graded Lie algebra. I wonder whether there ...

**6**

votes

**5**answers

589 views

### Applications of Chevalley Restriction Theorem

Let $G$ be a simple linear algebraic group (over $\mathbb{C}$, say) and $\mathfrak{g}$ be its Lie algebra, $\mathfrak{t}\subset \mathfrak{g}$ the Lie algebra of a maximal torus in $G$ and $W$ the ...

**-1**

votes

**1**answer

161 views

### Reductive space & Reductive Lie algebra

If $M=G/H$ is a reductive space and $\mathfrak{g}=\mathfrak{h}+\mathfrak{m}$ be the canonical decomposition, then are $\mathfrak{g}$ or $\mathfrak{h}$ or both reductive lie algebras? (in this case, ...

**5**

votes

**0**answers

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

**2**

votes

**0**answers

133 views

### How to write BRST-BV for dg-Lie?

The usual BRST-BV implements a Lie algebra and its module in terms of ghosts, etc.
Where is there written a corresponding formula incorporating the differential of
a dg Lie algebra and module?

**17**

votes

**1**answer

1k views

### Isometry group of a homogeneous space

Background
Let $(M,g)$ be a finite-dimensional riemannian (or more generally pseudoriemannian) manifold. Suppose that I know that a certain Lie group $G$ acts transitively and isometrically on $M$ ...

**1**

vote

**1**answer

118 views

### Explicit generators of $Z(U(\mathfrak{g}))$

Let $\mathfrak{g}$ be a semisimple Lie algebra over an algebraically closed field. By Harish-Chandra, the center of its universal enveloping algebra $Z(U(\mathfrak{g}))$ is a polynomial ring and the ...