**4**

votes

**1**answer

45 views

### Constructing symmetric invariants of the exceptional simple Lie algebra as restrictions

Let $\mathfrak{g}$ be a complex simple Lie algebra with maximal torus $\mathfrak{h}$, Weyl group $W$. The adjoint representation $\operatorname{ad} : \mathfrak{g} \rightarrow \mathfrak{gl(g)}$ extends ...

**0**

votes

**0**answers

26 views

### The non-singular controls always in neighbourhood of singular controls?

Consider the case of a right invariant affine distribution: $D_{U} = \{ aU + \lambda bU | a,b \in \mathfrak{su}(n), \lambda \in \mathbb{R} \}$ on $SU(4)$.
Consider the equations:
...

**1**

vote

**0**answers

31 views

### Iwasawa decomposition and Non-Abelian Centraliser of A

I'm studying Knapp's book "Representation Theory of Semisimple Groups" and am trying to understand the structure theory of non-compact groups. Namely, let $G=KAN$ be the Iwasawa decomposition, ...

**5**

votes

**0**answers

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

**3**

votes

**2**answers

101 views

### Covering derivations of a quotient algebra

Let $(\mathcal{A},+,·)$ an algebra and $\mathcal{I}$ an ideal of $\mathcal{A}$.
Is easy to check that if $D\in Der(\mathcal{A})$ with $D(\mathcal{I})\subseteq I$ then $D$ induces a derivation $D_I$ ...

**2**

votes

**1**answer

75 views

### Seeking for abelian subalgebra of fixed dimension in finite Lie algebra

The problem is: I want to know if there is abelian subalgebra of dimension $k$ in Lie algebra of dimension $n$. My Lie algebra is given by its structure constant table. There are some algorithms ...

**9**

votes

**1**answer

418 views

### What happened to the fourth paper in the series “On the classification of primitive ideals for complex classical Lie algebras” by Garfinkle?

In a series of papers in Compositio Math. entitled On the classification of primitive ideals for complex classical Lie algebras I, II and III, Garfinkle describes an algorithm that allows one to ...

**4**

votes

**1**answer

82 views

### Relationship between the Lie functor applied to a Lie group action, and the fundamental vector field mapping?

Let $M$ be a smooth manifold, and $G$ a Lie group with Lie algebra $\mathfrak{g}$. The Lie algebra of the diffeomorphism group of $M$ is the Lie algebra of vector fields on $M$; that is ...

**3**

votes

**2**answers

200 views

### Why is the trace of the Casimir on the irrep of a semisimple algebra nonzero?

A crucial step in the "purely algebraic" proof of Weyl's semisimplicity theorem is that the Casimir element $C\in U\mathfrak{g}$ acts by nonzero scalars on a nontrivial irrep $V$. However, at least ...

**3**

votes

**1**answer

108 views

### Singular curves of affine distributions on a Lie group

Are there any results about the rigidity of singular curves of rank 1 affine distributions on a connected compact Lie group?
Specifically the case of a right invariant affine distribution: $D_{U} = ...

**2**

votes

**1**answer

134 views

### Length of Weyl group element mapping highest root to a simple root

Let $\Phi$ be an irreducible root system and $\Delta$ a simple system (base). Let $W$ be the Weyl group of $\Phi$. Let $\theta$ be the highest root and $h^\vee$ be the dual Coxeter number. Choose the ...

**0**

votes

**0**answers

61 views

### Conjugacy classes of involutions in Kac-Moody groups

Let $A=(a_{s,s'})_{s,s'\in S}$ be a generalized Cartan matrix.
Let $G=G(A)$ be the corresponding simply connected complex Kac-Moody group with Cartan subgroup $H$ and Weyl group $W$ acting on $H$.
...

**1**

vote

**1**answer

65 views

### A converse to Whitehead's Second Lemma (and more)

Let $k$ be an algebraically closed field of characteristic $0$ and let $\mathfrak{h}$ be a finite dimensional $k$-Lie algebra. I'm interested in knowing which (Lie algebraic) properties $\mathfrak{h}$ ...

**-2**

votes

**0**answers

33 views

### Intersection of a family of closed Lie subgroups [migrated]

If I have a Lie group $G$, and $\{H_{\alpha}\}_{\alpha\in A}$ is a family of closed Lie subgroups with Lie algebra $\{\mathfrak{h}_{\alpha}\}_{\alpha\in A}$, it's easy to see that $\bigcap_{\alpha} ...

**0**

votes

**0**answers

49 views

### Definitions of length function on a Weyl group [migrated]

Let $\Phi$ be an irreducible root system and $W$ the Weyl group of $\Phi$. Denote by $\Delta=\{\alpha_1, \alpha_2,\ldots,\alpha_l\}$ the corresponding base.
Can anyone give me the standard definition ...

**7**

votes

**1**answer

270 views

### A technical question about root systems

I'm studying root systems and coming up with an observation:
Let $\Phi$ be an irreducible root system and $\Phi^+$ be a positive root system. Denote by $\Delta=\{\alpha_1, \alpha_2,\ldots,\alpha_n\}$ ...

**2**

votes

**0**answers

78 views

### Prove that a Verma module is projective only if its highest weight is dominant?

Let $\mathfrak{g}$ be a finite-dimensional semisimple Lie algebra over $\mathbb{C}$ with a fixed Cartan subalgebra $\mathfrak{h}$ and a fixed system of simple roots. It is stated in Exercise 3.11 of ...

**2**

votes

**0**answers

72 views

### Maximal possible dimension of abelian Lie subalgebra of Heisenberg Lie algebra of dimension $2n+1$?

Fix $n \in \mathbb{N}$, and let $\mathfrak{h}_n$ denote the Heisenberg Lie algebra of dimension $2n+1$ (over any given field $k$). Namely, $\mathfrak{h}_n$ is the Lie algebra with basis $x_1, \dots, ...

**7**

votes

**0**answers

107 views

### Is $F_{f, c, \ell}$ a $G$-harmonic polynomial?

Let $G \subset \text{GL}_n(\mathbb{C})$ be a finite subgroup. The group $G$ acts naturally on $\mathbb{C}^1[\mathbb{C}^n]$ the space of degree $1$ homogeneous polynomials in $x_1, \dots, x_n$, i..e, ...

**1**

vote

**0**answers

40 views

### Attainability of Global Optima In Optimal Control

Given a manifold $M$ and a set of smooth functions of one real variable $\mathcal{A}$ and a 'control system' type first order differential equation:
$\frac{d x(t)}{dt} = F(x,u)$
one can consider the ...

**0**

votes

**2**answers

133 views

### Classifying compact homogeneous Kähler manifolds

In this comprehensive answer to an old question, it is stated that
Flag manifolds exhaust all compact homogeneous Kähler manifolds corresponding to a compact connected semi-simple Lie group.
...

**5**

votes

**1**answer

154 views

### Regular functions on nilpotent orbits and their covers

Let $G$ be a complex semisimple algebraic group with Lie algebra $\mathfrak{g}$.
In 1989 McGovern described the structure (as $G$-module) of the ring of regular functions on a finite cover of the ...

**9**

votes

**0**answers

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

**2**

votes

**0**answers

120 views

### What's the story with the Hopf fibration and the Jacobi identity?

I like the Hopf fibration of the 3-sphere $S^3$ enough that I found a nice way to make a physical model of it. All you need is to combine a bunch of key rings in such a way that (ii) every pair of ...

**5**

votes

**1**answer

283 views

### Lie algebra and base change

I am very confused by the following and would appreciate any help.
Let $\mu_p \subset \mathbb{G}_m$ be the $p$-torsion subgroup scheme of the multiplicative group over $\mathbb{Z}_p$. I would like to ...

**3**

votes

**1**answer

93 views

### Orbits in the adjoint representation of $SU(2,1)$

How can one describe the orbits of the Lie group $G=\mathrm{SU}(2,1)$ in its Lie algebra $\mathfrak{g}=\mathfrak{su}(2,1)$ with respect to the adjoint representation?

**5**

votes

**1**answer

189 views

### Plethysm of $S^3(S^2V)$ as $\mathfrak{sl}_3(\mathbb{C})$-module

I have asked this question in MSE before, but have not got any answer. So here I am asking it again with some more detail.
I believe that the following sequence of ...

**2**

votes

**1**answer

162 views

### Where does the algebraic closure enter into Block's Theorem?

When applying Block's Theorem on the structure of differentiably simple rings to Lie algebras most authors require an algebraically closed field, but I can see no reference to algebraic closure in ...

**2**

votes

**1**answer

91 views

### When is the image of the adjoint representation of a real algebraic group Zariski closed?

Let $\operatorname{Ad}:\operatorname{SL}_n(\mathbb{R}) \to \operatorname{GL}(\mathfrak{sl}_n(\mathbb{R}))$ be the adjoint representation (i.e. $\operatorname{Ad}(g)X=gXg^{-1}$) of $SL_n(\mathbb{R})$. ...

**4**

votes

**1**answer

80 views

### Homogeneous Quaternionic-Kähler Structure of the Grassmannians?

Paraphrasing from Cortes' notes:
The quaternionic Kähler condition for a manifold $M$, means that $\operatorname{End}(T(M))$ admits a
parallel subbundle $Q$ which is locally spanned by $3$
...

**8**

votes

**2**answers

329 views

### Confusion about Subcategories of Category $\mathcal{O}$

So, in learning about category $\mathcal{O}$ representations of a semisimple Lie algebra $\mathfrak{g}$, I've come across two natural kinds of subcategories, and I think I'm confused about their ...

**2**

votes

**0**answers

47 views

### Singularities of the Quantum propagator (baby version)

Given $a,b \in \mathfrak{su}(4)$ which are taken to generate the whole algebra, consider the following map $V:\mathbb{R}^{2} \rightarrow SU(4)$:
$V : (w_1, w_{2}) \mapsto e^{(a+w_2 b)} e^{(a+w_1 b)}$
...

**10**

votes

**1**answer

218 views

### $(L, \nabla)$ comes from a $G$-bundle with connection for some abelian algebraic subgroup $G \subset GL(n)$?

Let $A$ be an abelian variety over a field $k$ of characteristic $0$. How do I prove, without using transcendental methods, that if $\nabla$ is an integrable connection on a vector bundle $L$ on $A$ ...

**4**

votes

**1**answer

128 views

### Centralizer of hermitian matrices with zero trace

In Quantum Physics one often has to deal with commutators.
Here I want to denote by $H_0$ the set of all hermitian matrices with trace equal to zero!
One can easily relate it to ...

**1**

vote

**0**answers

100 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

73 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

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

**6**

votes

**0**answers

131 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

65 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

109 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

114 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

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

**2**

votes

**0**answers

108 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

128 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\; ?$$

**0**

votes

**2**answers

121 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

125 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

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

**3**

votes

**1**answer

136 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

84 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

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