**0**

votes

**2**answers

100 views

### Does an analytic tensorial Lie structure on $S^2$ gives a fiberwise Abelian Lie algebra structure?

Motivated by the answer to this question we ask:
Is it true to say that for every real analytic tensorial Lie algebra structure $\alpha$ on $\chi^{\infty}(S^2)$, all fibers are necessarily ...

**1**

vote

**1**answer

108 views

### Manifold_Lie algebra compatibility

In this question we try to improve some parts of this post as follows:
What is an example of a manifold $M$ and a Lie algebra $L$ (with the same dimension) such that $M$ does not admit ...

**6**

votes

**1**answer

243 views

+50

### Some questions about the Malcev completion

Let $G$ be an abstract group. The Malcev completion $\widehat{G}$ of $G$ (over $\mathbb{Q}$) is the set of group-like elements in the complete Hopf algebra $\widehat{\mathbb{Q}[G]} = \lim_n ...

**-3**

votes

**0**answers

36 views

### Lie groups and Lie algebras 2 [closed]

Why there is an isomorphism between Lie algebra of affine fields L_1 + L_0 on Rn with gl(R^n)+ R^n, where + denote the direct sum ? Thank you.

**3**

votes

**1**answer

116 views

### Faithful linear representation of a nilpotent Lie algebra

Let
\begin{align}
\mathfrak{g} = Span_{\mathbb{C}}\{ e_1, e_2, e_3, e_4, e_5: \text{ non-zero brackets are } [e_1, e_i]=e_{i+1}, i=2,3,4, [e_2, e_3]=e_5 \}
\end{align}
be a $5$-dimensional Lie ...

**0**

votes

**0**answers

52 views

### Outer automorphisms of semi-simple Lie algebras [migrated]

It is known that outer automorphisms of semi-simple Lie algebras are automorphisms of their corresponding Dynkin diagrams. But would it be correct to say that for a semi-simple Lie algebra all outer ...

**1**

vote

**1**answer

72 views

### Normalized invariant form on a Kac-Moody Algebra

For a symmetrizable Kac-Moody Algebra, we can define a normalized invariant form that performs the same role as the Killing form in the finite dimensional case. My question is, do these forms ...

**0**

votes

**1**answer

160 views

### Meaning of $[A,B]$ when $A$, $B$ are self-adjoint

This is just a question about notation, but it got no useful answers on math.stackexchange.
Let $L$ be the Lie algebra of $n\times n$ Hermitian matrices, with Lie bracket $(A,B)\mapsto i(AB-BA)$.
...

**3**

votes

**1**answer

230 views

### A question about $O(3,1)$

Recall that $O(3,1)$ is the collection of matrices $A\in M_4(\mathbb R)$ such that
$$A\begin{pmatrix}1 ...

**15**

votes

**1**answer

327 views

### What is the homomorphism between the third exterior and third symmetric power of the adjoint representation of a simple Lie algebra?

Let $\mathfrak{g}$ be the adjoint representation of a simple Lie algebra (which is not of type $A$). Then the space of intertwiners between the third exterior power of $\mathfrak{g}$ and the third ...

**4**

votes

**1**answer

140 views

### Matrix from a homomorphism of simply connected groups

Let $H$ be a simple algebraic group of type $\mathbf{G}_2$ over $\mathbb{C}$.
Let $\rho$ be the standard 7-dimensional complex representation
$$ \rho\colon H=\mathbf{G}_2\to \mathrm{SO}_7.$$
We ...

**2**

votes

**1**answer

68 views

### Do the values of the differential of a function on a Lie group with a single maximum span the Lie algebra?

Consider: a vector field $X=\nabla \phi$ on a compact, semi-simple, connected matrix Lie group $G$ where $\phi$ as a smooth scalar field on $G$ possessing only a single maxima which topologically is a ...

**4**

votes

**1**answer

172 views

### Check symplectomorphism property on infinitesimal generators

I stumbled over the following question:
First, let me give the basic definition of a symplectic group action:
Let $(M, \omega)$ be a symplectic manifold and $G$ a Lie group. A smooth action $\Phi:G ...

**0**

votes

**0**answers

16 views

### Tangent vectors to coadjoint orbits [migrated]

Let $O_x:=\{Ad^*_g (x); g \in G\}$ be the orbit of $x \in \mathfrak{g}^*$ and $Ad$ the adjoint map.
Now take $\xi \in \mathfrak{g}$ then $g(t):=Ad^*_{e^{t \xi}}(x)$ defines a map $g: I \rightarrow ...

**3**

votes

**0**answers

116 views

### What does “control of a deformation problem” mean?

Is the expression "control of a deformation problem' ever defined? There are of course many examples relating a dg-Lie or L-infty algebra to a deformation problem, and the phrase is evocative. Is it ...

**1**

vote

**1**answer

67 views

### Classification of finite dimensional Lie subalgebras of $\mathbb R[q^1,\dots,q^n,p_1,\dots,p_n]$

Do there exist results towards answering the following question?
Consider the Poisson algebra of regular functions $A=\mathbb R[V]$ on the symplectic vector space $V:=T^* \mathbb R^n$. Using ...

**0**

votes

**0**answers

44 views

### Stabilizer subgroup in adjoint action [migrated]

Given $b \in \mathfrak{su}(n)$, how can I find the stabilizer $\text{stab}(b)$ for the adjoint action of $SU(n)$ on $\mathfrak{su}(n)$ given by $Ad_U(b) = UbU^{\dagger}$ without using coordinates? The ...

**0**

votes

**0**answers

78 views

### Poincare inequality for connected Lie groups

Let $G$ be a compactly generated second countable locally compact group, and let $\mu$ be a probability measure which is:
symmetric,
adapted (in the sense that there is no proper subgroup $H$ such ...

**5**

votes

**2**answers

124 views

### Lie Algebras over DVRs and basechange to the completion

Let $R$ be a discrete valuation ring containing an algebraically closed field $K$ of characteristic zero and let $L$ be a Lie algebra over $R$ whose underlying $R$-module is finitely generated and ...

**5**

votes

**2**answers

167 views

### Permutable (Lie) subgroups

Let's recall that, a group $G$ being given,
two subgroups $A,B\subset G$ are called
permutable iff $AB=BA$ for the Minkowski
law. It is straightforward to see that $(A,B)$
are permutable iff $AB$ ...

**0**

votes

**1**answer

70 views

### Solving $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$ [closed]

Given an $A \in \mathfrak{su}(n)$, is it always possible to solve for $U,V \in SU(n)$ and $\lambda \in \mathbb{C}$ such that $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$?
Cross posted from ...

**1**

vote

**1**answer

117 views

### A proof of the Ibragimov et al. commutation relation

Let $u_a(x),\,a=1,2,\ldots n$ be a $n$-component field in Minkowski spacetime
$x^\mu,\,\mu=0,1,2,3$ and let $u_{a,\,\mu}=\frac{du_a}{dx^\mu}$. Let us introduce two operators (we use Einstein ...

**4**

votes

**2**answers

175 views

### What are the “tensor-closed” object of the BGG category $\mathcal{O}$ of a semisimple Lie algebra $\mathfrak{g}$?

Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra and we can consider its BGG category $\mathcal{O}$. It is well-known that $\mathcal{O}$ is not closed under tensor product, ...

**0**

votes

**1**answer

97 views

### Gradient on $SU(n)$

I'm trying to calculate the gradient (wrt to the bi-invariant metric) of the following functions $F_1, F_2 : SU(n) \rightarrow \mathbb{R}$ defined by $F_1(U) = | Tr (G^{\dagger} U) |^2$, $F_2(U) = \Re ...

**3**

votes

**0**answers

61 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

**1**answer

131 views

### Infinite-dimensional admissible representations of SL(2,C)

I'm working in my research with the infinite dimensional (admissible) irreducible representations of $\mathrm{SL}(2,\mathbb{C})$ introduced by Harish-Chandra in his paper "Infinite Irreducible ...

**3**

votes

**3**answers

243 views

### Jacobson-Morozov theorem

Jacobson-Morozov theorem for a semisimple algebraic group $G$ (presumably I am working over algebraically closed field) states that: given a unipotent u, there exists a homomorphism $\phi$ from $SL_2$ ...

**4**

votes

**1**answer

112 views

### Restricted Burnside Problem: Lower bound nilpotency class

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$.
Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)=F/F^p$
of exponent $p$ has a maximal finite quotient
...

**5**

votes

**1**answer

168 views

### What is Jantzen's formula for the determinant of the Shapovalov form in the case of generalized Verma modules?

The best reference I found is
[Kac, Kazhdan '79]
which extends the results of Shapovalov and Jantzen to the case of infinite dimensional Lie algebras.
Theorem 1 of this paper gives the Shapovalov ...

**2**

votes

**0**answers

87 views

### Is there an E8 symmetry in the zero-field Ising model?

In the paper On classification of modular tensor categories by Rowell, Stong and Wang, they list the Ising modular category $I$ as having 3 objects $1$, $\sigma$ and $\psi$, with fusion rules ...

**3**

votes

**1**answer

163 views

### Is every weight of an integrable highest weight module in the Tits cone?

Let $\mathfrak{g}$ be a Kac-Moody algebra with Cartan subalgebra $\mathfrak{h}$, Weyl group $W$, and simple roots and coroots $\alpha_i, \check{\alpha_i}, i \in I$, respectively. Let $L$ be an ...

**0**

votes

**0**answers

44 views

### Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action

I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...

**3**

votes

**0**answers

164 views

### Can the product of a simple and a non-simple indecomposable representation be semisimple?

Consider two (possibly infinite-dimensional) representations $\rho$, $\pi$ of a semisimple Lie algebra $\mathfrak{g}$, with $\rho$ irreducible and $\pi$ indecomposable but not irreducible (i.e., not ...

**2**

votes

**1**answer

168 views

### Understanding the Weyl Character Formula

Let $G$ be a compact (connected) Lie group with a maximal torus $T$. For each (analytically) integral weight $\lambda$ the Weyl character formula
$$\Theta_{\lambda}(H)=\frac{\sum_{w\in ...

**0**

votes

**2**answers

235 views

### Representation Theory of $U(N)$

(1) Is it true that the category of representations of $U(n)$ is equivalent to the category of representations of $SU(N) \times U(1)$? If so, how is it proved, or what is a good reference. (I guess ...

**2**

votes

**0**answers

353 views

### Differential and pre-differential of Jacobi identity

Let M be a manifold.
To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied?
That is a Lie algebra structure for which $[X,fY]=f[X,Y]$.
(For ...

**2**

votes

**0**answers

59 views

### Vanishing of finite difference operators by composition under a cyclic condition

Consider $n$ finite difference operators $D_1, \ldots, D_n$
acting on real-valued functions $f_1 (y), \ldots , f_n (y)$
of a variable $y$, with the following properties:
(i) $D_i f_i (y) = 0$ for ...

**5**

votes

**1**answer

126 views

### How to embed $U(1)$ into a bigger group, using Dynkin diagrams

I am trying to find the embedding and the branching rules for some group decompositions. For example, I consider $E_7$ and its maximally compact subgroup $SU(8)$ and I want to "see" how the Dynkin ...

**0**

votes

**0**answers

61 views

### Equivalent definitions of positive root system

$\bullet$ I begin with a definition of positive root systems of a root system over Euclidean space.
A subset $\Delta$ of root system $\Phi$ is called a simple root system (or base) in $\Phi$ if
(1) ...

**0**

votes

**1**answer

74 views

### Non-graded representations over Lie superalgebra $\mathfrak{gl}(m,n)$

I have the following questions:
Let $m,n$ be positive integers. Consider representations over the general linear Lie super-algebra $\mathfrak{gl}(m,n)$. Namely, modules over the associative algebra ...

**3**

votes

**0**answers

133 views

### The special embedding $\mathfrak{so}(7)\subset\mathfrak{so}(8)$

It is commonly known that we have a chain of embeddings
$$SU(4)\subset Spin(7)\subset SO(8)$$
(there is more than one possible $Spin(7)$, just take one).
Which is the explicit analog for the Lie ...

**0**

votes

**1**answer

208 views

### Lie Algebra, counterexample [closed]

I am trying to find an example of an algebra over a field of characteristic p (prime) which satisfies anti-symmetry and Jacobi identity but is not a lie algebra. i.e., [x,x] is not zero.
Can one ...

**9**

votes

**2**answers

191 views

### What's the most simple proof of Kostant's version of Borel-Weil-Bott for Lie Algebra cohomology?

Besides Kostant's original proof (in http://www.math.tamu.edu/~jml/kostant61.pdf) of the above mentioned theorem (using the Lie Algebra Laplacian), there are a few other approaches:
...

**9**

votes

**3**answers

291 views

### Real and Quaternionic Representations according to Weights

According to this question, it is easy to know whether a representation is self dual or not: just check if the weight distribution in space is symmetric about the origin.
Now, for self dual ...

**5**

votes

**0**answers

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

**4**

votes

**0**answers

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

**2**

votes

**0**answers

72 views

### When the Lie algebra of matrices with zero last rows is Frobenius?

Let $\mathcal{A}_{n,k}$ be the Lie algebra of $n \times n$ matrices over $\mathbb{C}$ for which the last $k$ rows are equal to zero. Suppose that $k$ does not divide $n$. How to prove that ...

**1**

vote

**0**answers

46 views

### General quantum highest-weights dimension formulas

The formulas hold modulo typos :-)
It is well known (tl;dr fun fact: not well enough for me, I forgot where I saw it so I guess-computed it from the data in the Hayashi paper; promptly I found it in ...

**1**

vote

**0**answers

28 views

### artinian quotients of U(g)

Suppose that $G$ is a connected Lie Group with Lie algebra $\mathfrak{g}$ and $\Gamma$ is a cocompact lattice, and you choose a left-invariant metric on $G/\Gamma$ and let $\Delta$ be the Laplacian. ...

**0**

votes

**2**answers

163 views

### A question on an set of 8 matrices related to the SU(3) generators

SU(2) and SU(3) differ quite a bit.
The Lie algebra of SU(2) formed by the three generators $g_n$ is the same as the algebra formed by the SU(2) matrices/elements $F_n=e^{\pi \cdot i \cdot g_n / 2}$. ...