# Tagged Questions

**1**

vote

**0**answers

104 views

### A simple Lie algebra with modules of a particular type

I’m trying to copy the following construction of P. Forster in group theory for Lie algebras. He takes a non-abelian simple group E which has an FpE-module V such that R = Rad(V ) is faithful and ...

**3**

votes

**0**answers

89 views

### Double loop groups and cohomology

Let $G$ be a connected reductive group over $\mathbb{C}$ of Lie algebra $\mathfrak{g}$.
What is the value of $H^{3}(\mathfrak{g}((t))((s)),\mathbb{C})$?

**0**

votes

**1**answer

83 views

### An irreducible Lie algebra module decomposition over a subalgebra

My question in the most simple form:
Let $\mathfrak{g}=\mathfrak{g}_1\oplus \mathfrak{g}_2$ be a direct sum of simple finite-dimensional Lie algebras over $\mathbb{C}$ and let $M$ be a finite-...

**6**

votes

**0**answers

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

**2**

votes

**0**answers

74 views

### The role of the Vandermonde determinant in representations of affine Lie algebras

I am reading a paper 'Yangians and R-matrices' by Chari & Pressley (1990) and to classify representations for particular quantum groups, they define a "quantum Vandermonde determinant". They also ...

**2**

votes

**1**answer

162 views

### Invariant polynomials with respect to group actions on matrices

Let $\mathfrak{gl}_n(\mathbb{R})$ be the Lie algebra of matrices with real entries and $GL_n(\mathbb{R})$ its associated Lie group. Recall that a linear subgroup $G \subseteq GL_n(\mathbb{R})$ acts by ...

**3**

votes

**2**answers

123 views

### Level sets on $SU(4)$

Given $G \in SU(4)$, what are the level sets of the function $F:SU(n)\rightarrow \mathbb{R}$ defined by $F(V) = |tr(G^{\dagger}V)|^2$?
Can they be written only in terms of abstract linear maps, not ...

**2**

votes

**1**answer

208 views

### Simultaneous integral equation on $SU(n)$

Consider a smooth curve $U_s:[0,T] \rightarrow SU(4)$ which solves:
$\frac{d U_s}{ds} = (a + w(s)b)U_s$
for some given $a,b \in \mathfrak{su}(4)$ (which generate $\mathfrak{su}(n)$) and a smooth ...

**4**

votes

**0**answers

140 views

### Lie algebra of holomorphic vector fields

It's well known that the holomorphic vector fields on a complex manifold form a Lie algebra. In simplest situations, this Lie algebra can be described explicitly.
For example, take $X=\mathbb{P}^n$, ...

**1**

vote

**1**answer

131 views

### Curves on $SU(4)$ whose adjoint action on $\mathfrak{su}(4)$ integrates to $0$

Given $\xi \in \mathfrak{su}(4)$ and positive $T \in \mathbb{R}$, is it possible to find all smooth curves $U_s \in SU(4)$ with $U_0 = I$ such that
$$\int_0^T U_s \xi U_s^{\dagger} ds =0\; ?$$

**1**

vote

**2**answers

131 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

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

**7**

votes

**1**answer

511 views

### 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 \mathbb{Q}...

**3**

votes

**1**answer

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

**1**

vote

**1**answer

89 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 coincide,...

**0**

votes

**1**answer

246 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)$.
...

**6**

votes

**1**answer

297 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 &&&\\&1&&\\&&1&\\&&&-1\end{pmatrix}A^T=\begin{...

**16**

votes

**1**answer

412 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

160 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

78 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

189 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 \...

**3**

votes

**0**answers

182 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

81 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

111 views

### Poincaré 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

137 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

178 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

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

**2**

votes

**1**answer

150 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

247 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, i....

**0**

votes

**1**answer

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

**4**

votes

**0**answers

72 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 two-...

**5**

votes

**1**answer

194 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

312 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

120 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
$\overline{B}...

**5**

votes

**1**answer

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

**3**

votes

**0**answers

112 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 $\sigma^...

**4**

votes

**1**answer

244 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

50 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

177 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

213 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 W(G)}\epsilon(w)...

**0**

votes

**2**answers

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

**1**

vote

**0**answers

387 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

65 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

138 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

90 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

100 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 $U(...

**3**

votes

**0**answers

142 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

219 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

297 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:
Casselman-...

**11**

votes

**4**answers

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