All Questions
2,633 questions
5
votes
1
answer
229
views
Step in the Bruhat decomposition for reductive Lie groups
Err, not research but if anyone has read this part of Knapp's book recently, I'd be obliged if they could help me out. Also posted on MSE.
I'm stuck on a line in the proof of Theorem 7.40 in Knapp's '...
7
votes
1
answer
264
views
Non(skew)commutative Lie algebras?
The Lie operad $\text{Lie}$ is generated by a binary operator $[\ ,\ ]$, modulo a degree two relation (skew commutativity $[x,y]=-[y,x]$) and a degree three relation (Jacobi $[x,[y,z]]+[y,[z,x]]+[z,[x,...
3
votes
0
answers
105
views
Points with residue fields having big inseparability degree cannot be contained in smooth hypersurfaces
Let $X$ be a $k$-scheme over imperfect field $k$ and $x \in X $ some (reduced) point with residue field $\kappa(x) = \mathcal{O}_{X,x}/ \mathfrak{m}_x$. How to check that if $\kappa(x)$ has "big ...
6
votes
0
answers
306
views
Tits construction of algebraic groups of type D₆ and E₇ via C₃
As shown in the Freudenthal magic square, the Tits construction of $D_6$ takes as input
an quaternion algebra and the Jordan algebra of a quaternion algebra (see The Book of Involutions § 41). In ...
2
votes
0
answers
81
views
Complex semisimple Lie algebra modules with non-semisimple Cartan action
Let $\frak{g}$ be a complex semisimple Lie algebra. I would like to know about infinite-dimensional representations $M$ of $\frak{g}$ for which the Cartan $\frak{h} \subseteq \frak{g}$ does not act ...
1
vote
0
answers
146
views
Fiberwise exponential map for vector bundle automorphisms
Let $p:E \to B$ be a smooth vector bundle of rank $n$ over a manifold $B$ and we identify $B$ with the image of the corresponding zero section.
For $b\in B$ denote by $E_b = p^{-1}(b)$ the fiber over $...
4
votes
0
answers
120
views
Why are all "non-swinging" representations self-dual?
Let $\mathfrak{g}$ be a semisimple (say complex) Lie algebra, and $V$ an irreducible finite-dimensional representation of $\mathfrak{g}$. Denote by $w_0$ the longest element of the Weyl group, i.e. ...
9
votes
1
answer
437
views
$U\left(\mathfrak a\right) \otimes_{U\left(\mathfrak a\cap\mathfrak b\right)} U\left(\mathfrak b\right) \cong U\left(\mathfrak a + \mathfrak b\right)$ over a ring containing $\mathbb{Q}$
While the Poincaré-Birkhoff-Witt theorem is usually proven (and sometimes even formulated) for free modules only, it is known (see also here) that it holds for arbitrary modules if the ground ring is ...
1
vote
1
answer
105
views
Problem in understanding a fact about Belavin-Drinfeld triple
A Belavin-Drinfeld triple associated to a simple Lie algebra $L$ is a triple $(\Gamma_1, \Gamma_2, \tau)$ where $\Gamma_1, \Gamma_2 \subseteq \Gamma$ ($\Gamma$ is a set of simple roots or fundamental ...
7
votes
1
answer
742
views
Infinite dimensional representations of $\frak{sl}_2$
The finite-dimensional representations of a complex semisimple Lie algebra $\frak{g}$ are well known to be classifiable by their highest weight vectors, giving a convenient countable indexing set. I ...
1
vote
1
answer
139
views
About certain elements in the zero weight space of an irreducible representation of the complex simple Lie algebra of type G$_2$
$\newcommand{\fg}{\mathfrak g}\newcommand{\ee}{\varepsilon}$Let $\fg$ be the complex simple Lie algebra of type G$_2$.
We consider its root system as follows (though it is probably not necessary to ...
0
votes
0
answers
97
views
Methods for calculating (one-parameter subgroup) actions
For $G$ a Lie group and $\mathfrak{g}$ its Lie algebra, I am interested in one-parameter subgroup actions on “functions” $f$ of the form
\begin{equation}
\mathrm{e}^{t L(z)} f(z)
\end{equation}
...
1
vote
1
answer
88
views
Generic finite subgroups, associated to small finite fields, of reductive algebraic groups
Theorem 1 of [LS] Liebeck and Seitz - On the subgroup structure of exceptional groups says:
Let $X = X(q)$ be a quasisimple group of Lie type in characteristic $p$, and suppose that $X < G$, where ...
3
votes
1
answer
222
views
Cartan subspace of graded Lie algebras
Suppose $\mathfrak{g}$ is a complex reductive Lie algebra and $\theta$ is an automorphism of order $2$. Let $\mathfrak{g} = \mathfrak{g_0} \oplus \mathfrak{g}_1$ be the corresponding $\mathbb Z_2$-...
6
votes
0
answers
340
views
Asymptotically nilpotent Lie sets of matrices
A matrix $A\in\textbf{Mat}_n(\mathbb{R})$ is called asymptotically nilpotent if for each vector $v$, ${\lim}_{k\to\infty}A^k(v) = 0$.
Question 1. Assume that $\mathcal{A}$ is the subset of $\textbf{...
3
votes
0
answers
151
views
Is there a classical version of Yetter-Drinfeld modules?
One motivation for the notion of the Drinfeld double $D(H)$ of an Hopf algebra $H$ is that it is defined exactly so that modules over $D(H)$ correspond to Yetter-Drinfeld modules over $H$.
If we think ...
7
votes
0
answers
187
views
Combinatorial bases of simple Lie algebras
The Lie algebra $\mathfrak{so}_3$ has a basis $x_1,x_2,x_3$ with the multiplication table $[x_1,x_2]=x_3$, $[x_2,x_3]=x_1$, $[x_3,x_1]=x_2$. Moreover there is an isomorphism $\mathfrak{so}_3(\mathbb C)...
4
votes
2
answers
1k
views
Sum of all root lengths in simple Lie algebra
Part of one of my calculations involves (the innocent looking) expression
$\sum_{\alpha\in\Sigma} (\alpha,\alpha)$
for simple Lie algebras.
I have two methods of calculating it -- which don't agree. ...
0
votes
1
answer
135
views
Sub-coroot lattices
[This is a sequel to the previous question sub-coroot systems, that has been answered! :-) ]
Let $T$ be a maximal torus of a compact Lie group $K$,
and let $\Lambda \subset {\mathfrak t}$ be the ...
3
votes
1
answer
162
views
Sub-coroot systems
Let $T$ be a maximal torus of a compact Lie group $K$,
and let $\Psi \subset {\mathfrak t}$ be the (finite) set of coroots for $(K,T)$, where $\mathfrak t$ is the Lie algebra of $T$.
Assume now that $...
6
votes
4
answers
486
views
The dimension of the Grassmannian cohomology ring $H^*(\mathrm{Gr}_{n,d})$ and the fundamental $\frak{sl}_n$-representation $V_{\pi_d}$
The vector space dimension of the cohomology group of the $2$-plane Grassmannian $\mathrm{Gr}_{2,n}$ is given by the number of tuples $(\lambda_1,\lambda_2)$ satisfying
$$
n - 2 \geq \lambda_1 \geq \...
19
votes
2
answers
2k
views
Dual versions of "folding" symmetric ADE Dynkin diagrams?
Start with the Dynkin diagram of an irreducible root system, typically associated with a simple
Lie algebra over $\mathbb{C}$ or a simple algebraic group. Most of the simply-laced ADE
diagrams ...
1
vote
0
answers
801
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 every ...
3
votes
1
answer
280
views
Decomposition of tensor powers of the vector representation of $\frak{sl}_n$
Let $V(\pi_1)$ be the usual vector/matrix representation of the Lie algebra $\frak{sl}_n$, for $n > 2$. A basic fact is the tensor product $V(\pi_1) \otimes V(\pi_1)$ decomposes as
$$
V(\pi_1) \...
1
vote
1
answer
212
views
Lie algebras and pulled back group schemes
Suppose I have an extension of fields $L/K$, a group scheme $G_K$ over $\operatorname {Spec} K$. Let $G_L$ denote the pullback of $G_K$ to $\operatorname{Spec} L$. Then, under what conditions on the ...
1
vote
1
answer
189
views
Tensoring irreducible representations corresponding to root lattice elements
Let $\frak{g}$ be a complex semisimple Lie algebra with root lattice $Q$ and positive weight space $P^+$. Let $\lambda, \mu \in Q \cap P^+$, with corresponding respective fin-dim irreducible ...
2
votes
0
answers
119
views
Resolution of singularities of the resultant locus
We consider projective space of dimension $n$ as the parameter space of degree $n$ polynomials in one variable. Then, I am interested in resolving the singularities of the "resultant locus" $...
0
votes
1
answer
130
views
Non-trivial weight spaces of finite-dimensional irreducible $\frak{g}$-modules
Let $\lambda \in \mathcal{P}^+$ be a dominant weight for $\frak{sl}(n,\mathbb{C})$. When does it hold that the zero weight space, of the associated finite-dimensional $L(\lambda)$, is non-trivial?
...
4
votes
1
answer
240
views
Number of representations of a semisimple Lie algebra of any given dimension
For a semisimple complex Lie algebra $\frak{g}$ it is well known that irreducible finite-dimensional representation are not characterised by their dimension.
More formally, let us define an ...
3
votes
0
answers
86
views
Identifying the adjoint representation of an affine Kac-Moody algebra
We work over $\mathbb{C}$. Let $\mathfrak{g}$ be an affine Kac-Moody Lie algebra (the question is still relevant for the non-affine case, but I'm specifically interested in the affine case). Suppose ...
11
votes
2
answers
7k
views
How to find Casimir operators?
Given a general Lie algebra, is there a general procedure to find all its Casimir operator?
2
votes
1
answer
150
views
Casimir operators for Jacobi Lie algebra
I am looking for a complete description (if possible with proof) of the
Casimir operators (i.e., generators and relations for the center of the universal enveloping algebra) for the Jacobi Lie algebra ...
5
votes
1
answer
1k
views
The Casimir invariant of an irreducible representation of a compact Lie group
Let $G$ be a compact Lie group (not necessarily connected) and $\rho:G\to \mathrm{End}(V)$ an irreducible (hence finite-dimensional) unitary representation of $G$. Let $\mathfrak{g}$ be the Lie ...
2
votes
1
answer
371
views
What do the Pauli matrices say about the Threefold Way?
The Pauli matrices
$$\sigma_1=\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix},
\sigma_2=\begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix},
\sigma_3=\begin{pmatrix} 1 & 0 \\ 0 & -1 \...
1
vote
0
answers
137
views
A question about Araki's 1962 paper on classification of irreducible symmetric spaces
I am looking at Sôhô Araki's 1962 paper for the classification of real semisimple lie algebras. Here's the link to the paper: On root systems and an infinitesimal classification of irreducible ...
3
votes
0
answers
142
views
Solvability of a matrix exponential equation - generalized matrix logarithm
For a given invertible real matrix $G\in \mathrm{GL}_d$ with $\det G>0$, we ask for a solution $B$ of the matrix exponential equation
$$
G = \exp(B) \exp\bigl(\tfrac{1}{2}(B^T-B)\bigr) .
$$
Basic ...
3
votes
0
answers
170
views
Explicit formula for the inverse of Harish-Chandra map in case $\mathfrak{g}=\mathfrak{gl}_n$
Let $\mathfrak{g}$ be a complex reductive Lie algebra (however, we are mainly interested in the case $\mathfrak{g}=\mathfrak{gl}_n$) and let $\mathfrak{h}$ be a Cartan subalgebra of $\mathfrak{g}$.
It ...
2
votes
1
answer
107
views
Proof of restrictableness of Lie algebra without basis
$\DeclareMathOperator\ad{ad}$According to the Strade and Farnsteiners' textbook, a Lie algebra $L$ is restrictable if and only if $\ad(L)$ is $p$-subalgebra of $\operatorname{Der}(L)$. Also, the ...
0
votes
1
answer
1k
views
The generalized Kronecker delta and three sets of 16 tetrahedra defined by 192 of the 240 roots of E8 (vertices of Gosset's 8-polytope 4_21)
Original question (without additional information from Wendy):
Using 192 of the 240 roots of E8 (vertices of 4_21), Wendy Krieger has defined 48 disjoint tetrahedra this way:
Taking the E8 as {128,...
2
votes
1
answer
71
views
How to define inverse of a non-degenerate triangular structure?
Let $\mathfrak {g}$ be a non-degenerate triangular Lie bialgebra with the non-degenerate triangular structure $r \in \bigwedge^2 \mathfrak {g}.$ Then how does it induce $r^{-1} \in \bigwedge^2 \...
17
votes
2
answers
890
views
Counting degrees of freedom in Lie algebra structure constants (aka why are there any nontrivial Lie algebras of dim >5?)
This is a question about the true number of constraints imposed by the Jacobi identity on the structure constants of a Lie algebra.
For an $n$-dimensional Lie algebra, there are $\frac{n^2(n-1)}{2}$ ...
0
votes
0
answers
70
views
Why is $\Pi_r^L$ a non-degenerate Poisson structure on $G\ $?
Let $r \in \bigwedge^2 \mathfrak {g}$ be a skew-symmetric solution of the CYBE (classical Yang-Baxter equation) so that it gives rise to a non-degenrate triangular structure on $\mathfrak {g}$ i.e. $r$...
9
votes
1
answer
230
views
Yang-Mills algebra and lower central series of surface groups
Here is a connection that I recently noticed, but I haven't quite been able to make sense of. It might follow from well-known facts; apologies, if so. This is quite far from my area.
First, in "...
0
votes
0
answers
52
views
Left translations respect the Schouten bracket
Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$ and $r \in \bigwedge^2 \mathfrak{g}$. For $x \in G$ let $\lambda_x$ denote the left multiplication by $x$. Let $[\cdot, \cdot]$ ...
18
votes
0
answers
987
views
"Special" meanders
One of the open problems in combinatorics is enumeration of meanders.
Here on MO I only could find them under the heading not-especially-famous-long-open-problems-which-anyone-can-understand.
Since my ...
4
votes
1
answer
278
views
Complexification of a Lie subalgebra of a compact real form
I'm currently reading the paper Lie algebra Cohomology and the Generalized Borel–Weil theorem written by B. Kostant, and I have a question about Remark 3.9 he made.
In this paper, $\mathfrak{g}$ is a ...
3
votes
1
answer
147
views
Does every nilpotent orbit have an element supported on the simple root spaces?
Let $G$ be a connected reductive algebraic group (over $\mathbb{C}$) and $\mathfrak{g}$ its Lie algebra. Let $O \subset \mathfrak{g}$ be an orbit of a nilpotent element. Let $\Pi = \{\alpha_1, \dots ,\...
2
votes
0
answers
152
views
Line bundles on toric varieties associated to Weyl chamber
I am interested in studying toric varieties associated to the fan of Weyl chambers. General information would be best but I am also interested in the specific case of the Weyl chamber of $\mathfrak{sl}...
16
votes
3
answers
4k
views
How does one write the "gothic" letters ($\mathfrak{g}$) in handwriting?
Most mathematical notation is designed with handwriting in mind in the first place, and typography must then try to follow, not always very successfully. However there is a particular type of notation ...
4
votes
0
answers
77
views
Conjugacy of cocharacters from conjugacy of labelled diagrams
Everything to follow is over some fixed algebraically closed field $k$. Although all the definitions make sense regardless of characteristic, the meat of the question is about small positive ...