**0**

votes

**1**answer

124 views

### A particular Lie algebra $L_{n}$ and (various) lie groups whose Lie algebra is isomorphic to $L_{n}$

We define $$L_{n}=\{A=(a_{ij})\in M_{n}(\mathbb{R})\mid \sum_{i=1}^{n} a_{ij}=0 \;\;\;\text{for every fixed j}\}$$
This is a Lie subalgebra of $M_{n}(\mathbb{R})$.
A dynamic-geometric proof for ...

**1**

vote

**0**answers

92 views

### A question about the associative classes of parabolic subgroups

Let $\mathbb{A}$ denote the adele group of $\mathbb{Q}$. Suppose that $P_1$ and $P_2$ are parabolic subgroups of a reductive algebraic group $G$, and consider their Langlands decomposition
$$
P(\...

**2**

votes

**0**answers

112 views

### The existence of zero-divisors in the universal enveloping algebra of an infinite-dimensional Lie algebra

The intuition for this problem comes from $\S$17 Exercise 1 Humphreys' Introduction to Lie Algebras and Representation Theory which essentially asks us to use PBW in order to prove that if a Lie ...

**2**

votes

**0**answers

123 views

### Differential of the adjoint quotient map

My question is regarding a paper by R.W Richardson titled "Derivatives of invariant polynomials on a semisimple Lie Algebra" ** . In this paper, he reports on computations of the rank of the ...

**4**

votes

**2**answers

168 views

### References about Hasse diagrams of root systems

This is to ask about references of Hasse diagrams of irreducible root systems. I found here and there nice pictures of root systems of type $E$. I would like to ask for Hasse diagrams of classical ...

**4**

votes

**0**answers

161 views

### Hochschild cohomology of SU(2)

I have a question about the computation of an Hochschild Cohomology. Or at least about a space which really looks like a cohomology space. All the functions i consider are assumed to be smooth.
Let's ...

**6**

votes

**1**answer

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

**1**

vote

**0**answers

34 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

224 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

110 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

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

**11**

votes

**2**answers

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

**5**

votes

**2**answers

147 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 $\text{Lie}(\...

**6**

votes

**2**answers

427 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

122 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

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

**2**

votes

**0**answers

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

**3**

votes

**1**answer

133 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}$ ...

**7**

votes

**1**answer

291 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

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

**3**

votes

**1**answer

121 views

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

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

**12**

votes

**0**answers

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

**2**

votes

**0**answers

49 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

177 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

172 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

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

**3**

votes

**0**answers

132 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

337 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

113 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

216 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 $\mathfrak{sl}_3(\mathbb{C})$-...

**2**

votes

**1**answer

171 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

111 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

102 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

387 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

53 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)}$
...

**14**

votes

**2**answers

316 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

148 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 $\mathfrak{su}(N)=...

**1**

vote

**0**answers

103 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

87 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

82 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

144 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

73 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

155 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

207 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

130 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

498 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}...