# Tagged Questions

**1**

vote

**0**answers

46 views

### Extra-Lorentzian Kac-Moody algebras

My question is about Kac-Moody (KM) algebras of finite rank with symmetrized Cartan matrices $B = C A$ ($A$ is Cartan matrix) of signatures $(-,-,+,...,+)$, $(-,-,-,+,...,+)$, etc. i.e. with $2$,...

**4**

votes

**1**answer

145 views

### Lie functor preserves “surjections” in synthetic differential geometry?

In classical finite-dimensional differential geometry, the Lie functor preserves surjections, sending a surjective Lie group homomorphism to a surjective Lie algebra homomorphism.
As pointed out ...

**3**

votes

**1**answer

217 views

### Affine analog of the theory of sheets

In the study of adjoint orbits in a complex semi-simple lie algebra, there is a well known object known as a "sheet". These are the irreducible components of the union of orbits of the same dimension. ...

**4**

votes

**1**answer

208 views

### The parity of the full automorphism group order of finite non-abelian groups of prime exponent

Is there a finite non-abelian group $G$ of prime exponent such that the full automorphism group of $G$ is of odd order?

**0**

votes

**1**answer

128 views

### Tensor products of simple modules over algebras [closed]

Let $A$ and $B$ be $\mathbb{C}$-algebras. Suppose that $M$ and $N$ are respectively simple $A$ and $B$ modules.
We can regard $M\otimes_{\mathbb C}N$ as $A\otimes_{\mathbb C} B$-modules in natural ...

**7**

votes

**0**answers

140 views

### del Pezzo surfaces and exceptional algebras

It is well-known that $H^2(dP_n, Z)$ for a del Pezzo surface of degree $9-n$ which is $\mathbb{P}^2$ blown up at $n$ generic points, is encoded by the exceptional Lie algebra $E_n$. However, the Mori ...

**1**

vote

**1**answer

238 views

### Soliton equation and non-killing potential vector field

I am searching for a non-Killing vector field $\zeta \in\frak X\rm (M)$ where $(M,g)$ is a Riemannian manifold such that
$$\frac12 \frak L_\zeta \rm g+Ric=\lambda g$$
$$ \frak L_\zeta \rm Ric=\lambda \...

**5**

votes

**1**answer

164 views

### The action of $GL_{\infty}$ on the infinite wedge space

This is a question from the book "Highest weight representations of infinite dimensional Lie algebras, 2nd ed" by V. G. Kac, A. K. Raina, and N. Rozhkovskaya.
Consider the following objects:
the ...

**16**

votes

**5**answers

558 views

### Is there a formula for the Frobenius-Schur indicator of a rep of a Lie group?

Let $G$ be a simple algebraic group group over $\mathbb C$.
Let $V$ be a self-dual representation of $G$.
Let $\lambda$ be the highest weight of $V$.
Write $\lambda$ as a sum of fundamental weights: $...

**2**

votes

**0**answers

100 views

### Are singular critical points isolated for control systems on compact semisimple Lie groups

Given a control system on $\mathrm{SU}(n)$ (or any other compact, semi-simple Lie group I suspect) of the form:
$\frac{d U_t}{dt} = (A + w(t)B)U_t$
where $A,B \in \mathfrak{su}(n)$ generate the ...

**5**

votes

**1**answer

99 views

### Ideals of $U(\mathrm{gl}(n,\mathbb{C}))$ and their intersection with center

Does every non-null two-sided ideal of $U(\mathrm{gl}(n,\mathbb{C}))$ have nonzero intersection with the center of $U$?

**15**

votes

**2**answers

491 views

### factorization of the regular representation of the symmetric group

Let $\mathbb{C}[S_n]$ be the regular representation of the symmetric group $S_n$, and let $\mathbb{C}^n$ be the vector representation.
Question: Does there exist a representation $V$ (of dimension $(...

**0**

votes

**1**answer

51 views

### Authomorphisms of factoralgebra A_5 over its center in characteristic 2

Let L be classical Lie algebra of type A_5 over field of characteristic 2, M - factoralgebra L/Z(L) where Z(L) - center of L.
What about group of automorphisms of M?
Does anybody know answer or at ...

**3**

votes

**2**answers

155 views

### Commutator 2-forms on Lie groups

Let $G$ be a compact Lie group and $\mathfrak g$ its Lie algebra.
For any $f$ in the dual space $\mathfrak g^*$, we can define a skew-symmetric bi-linear form on $\mathfrak g$ by $(A,B)\mapsto f([A,B])...

**0**

votes

**1**answer

150 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

114 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

124 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

172 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

162 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

83 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

230 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

112 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

80 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

565 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

151 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

433 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

123 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

162 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

87 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

292 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

111 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

123 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

200 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

179 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

340 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

114 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

219 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

172 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

114 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

103 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

388 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

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

**15**

votes

**2**answers

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