All Questions
2,633 questions
2
votes
1
answer
138
views
Solvability of derivation Lie algebras of local finite-dimensional commutative algebras
Let $A$ be a finite-dimensional local commutative algebra (with one) over a characteristic zero field $k$. Is it true that the Lie algebra $\operatorname{Der}_k(A)$ of $k$-derivations of $A$ is ...
- 18.4k
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 \...
7
votes
1
answer
323
views
Are there natural isomorphisms $S^{(2,1)}(k^{m+1})\cong k^2\otimes W$?
In this popular 2019 MO question, user მამუკა ჯიბლაძე asked:
The spaces $\operatorname{S}^2(k^n)$ and $\Lambda^2(k^{n+1})$ from the title have equal dimensions. Is there a natural isomorphism between ...
- 492
1
vote
1
answer
340
views
Problem in understanding the coadjoint action of $\mathfrak {g}^{\ast}$ on $\mathfrak {g}$
$\DeclareMathOperator\ad{ad}$Let $\mathfrak {g}$ be a Lie bialgebra. Then $\mathfrak {g}^{\ast}$ is also a Lie bialgebra which is dual to $\mathfrak {g}$. Let the brackets on $\mathfrak {g}$ and $\...
- 199
1
vote
0
answers
67
views
Is the adjoint action of $\mathrm{SU}(2)$ on the Schwartz space proper and free?
$\DeclareMathOperator\SU{SU}$Let $t_1, t_2, t_3$ be generators of the Lie algebra $\mathfrak{su}(2)$.
Let us consider a Schwartz space $\mathcal{S}$ defined as
\begin{equation}
\mathcal{S}:= \Bigl\{ \...
- 3,507
2
votes
1
answer
245
views
Non-example to PBW theorem
I am interested in a (simple) example of an associative algebra $A$ with 1 generated by $x_1, \ldots, x_n$ which is quadratic (i.e. all relations between $x_1, \ldots, x_n$ have degree $\leqslant 2$) ...
- 31
24
votes
2
answers
1k
views
Lie groups generated by finitely many Lie algebra elements
Let $G$ be a connected Lie group with Lie algebra $\mathfrak{g}$. A standard fact is that $G$ is generated by $\exp(\mathfrak{g})$, i.e. every $g \in G$ can be written as $g=\exp(x_1)\cdots\exp(x_n)$ ...
- 443
12
votes
1
answer
980
views
How are Sheffer polynomials related to Lie theory?
Sheffer polynomials $\{P_n(x)\}$ have generating function $P(x,t) = \sum_{n=0}^{\infty}P_n(x)t^n=A(t)e^{xu(t)}$.
This form reminds me of the Lie group–Lie algebra correspondence. Is there any ...
3
votes
1
answer
206
views
Relation between enveloping algebras and algebras of differential operators
I asked this question on math stack exchange about 3 years ago, but received no answer.
Our base field $\mathsf{k}$ will be algebraically closed of zero characteristic. Let $X$ be an smooth affine ...
- 3,318
7
votes
0
answers
1k
views
What's the point of geometric representation theory?
Please forgive the provocative title, what I mean is the following:
One can find representations of Lie algebras in geometric settings, the most famous being the Bott–Borel–Weil theory. However, ...
- 157
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}$ ...
- 285
1
vote
0
answers
242
views
Is the span of all nilpotent ideals also a nilpotent ideal?
Given a non-zero Lie algebra $\mathcal{L}$ over $\mathbb{C}$, we define $\mathcal{L}^2 = \big[\mathcal{L}, \mathcal{L} \big] = \big\{ [x, y]: x, y\in \mathcal{L} \big\}$, and for any $k\in\mathbb{N}$ ...
- 307
8
votes
2
answers
645
views
Is it true $\left\|\log(RS)\right\|≤\left\|\log(R)+\log(S)\right\|$ for all $R,S \in \mathrm{SO}(3)$, where $\|\cdot\|$ is the Frobenius norm?
$\DeclareMathOperator\SO{SO}$I asked this initially in math stack exchange, but thought to ask it here since it is more advanced and related to my research topic. I study optimization on Lie groups ...
- 518
2
votes
0
answers
180
views
Nonlinear Poisson brackets associated with nilpotent (matrix) Lie algebras?
With every finite-dimensional Lie algebra $\mathfrak{g}$ one can associate a linear Poisson bracket on $\mathfrak{g}^\ast$. With some more restrictions on $\mathfrak{g}$ and some extra ingredients, ...
- 832
5
votes
1
answer
346
views
Analogues of Sullivan Theory at a prime for coformality
In rational homotopy theory, one can study the rational homotopy and cohomology categories via an algebraic structure, respectively the rational Lie Algebra model and the Sullivan cdga model.
If I am ...
- 2,152
3
votes
0
answers
223
views
What is a Gelfand-Tsetlin subalgebra?
For context on general Gelfand-Tsetlin theory, see for instance this MO post.
Let's work over $\mathbb{C}$. Fix $n>0$. There is a natural chain of embeddings of the general linear Lie algebras $\...
- 3,318
0
votes
1
answer
137
views
Conjugacy of Cartan subgroups in $\mathrm{GL}(n)$
$\DeclareMathOperator\SL{SL}$I have probably a very basic question on the structure of semisimple Lie groups. Sorry if it is too elementary.
Let either $G=\SL(n,\mathbb{R})$ or $G=\SL(n,\mathbb{C})$. ...
- 21.8k
2
votes
0
answers
78
views
Quantum Schubert cell algebra and quantum odd-dimensional euclidean space
De Concini, Kac, Procesi introduced quantum Schubert cell algebra associated to a complex Lie algebra $\mathfrak{g}$ which is denoted by $\mathcal{U}^{w}_{\epsilon}$ where $w$ is an element of Weyl ...
3
votes
1
answer
311
views
Heat kernel of left-invariant metric on 3-sphere
This post concerns the heat equation on $S^3 (\simeq \mathrm{SU}(2))$ endowed with an arbitrary left-invariant metric. We think of $S^3$ as the space of unit quaternions, and its Lie algebra $\...
- 161
2
votes
0
answers
94
views
Techniques for computing integrals on $G/K$
Edit: I originally tried writing a simpler question, but to make more clear what I want I wrote the general question below
Let $G$ be a compact group with compact subgroup $K\subseteq G$ (everything ...
- 1,077
0
votes
1
answer
210
views
Centers of universal enveloping algebra of complex Lie algebras
Let $\mathfrak{g}$ and $\mathfrak{g'}$ be complex Lie algebras such that $\mathfrak{g}$ is a subalgebra of $\mathfrak{g'}$. Let $Z(\mathfrak{g})$ and $Z(\mathfrak{g'})$ be the centers of the universal ...
- 833
5
votes
1
answer
160
views
Derived subalgebra of a restricted Lie algebra
Let $L$ be a restricted Lie algebra over a field of characteristic $p>0$. It is well known that the commutator subalgebra $[L,L]$ is not necessarily restricted (that is, closed under the $p$-map).
...
- 630
1
vote
0
answers
93
views
Representation theory for symmetries of probability distribution functions
I would like to parameterize all the possible modifications to a probability density function. Is there a representation theory for this? Something along the lines of, these are all the operators $L$ ...
- 119
3
votes
1
answer
300
views
Characterization of reductive Klein geometries
In my struggle to understand Cartan/Klein geometries, I have the intuition that reductive Klein geometries are the link to connect the "classical" differential geometry approach with this &...
2
votes
2
answers
336
views
Orthosymplectic superalgebra
Let $V=V_0 \oplus V_1$ be a $\mathbb Z_2$-graded vector space over $\mathbb C$. Suppose $V$ has an even non-degenerate bilinear form $(-, -)$
which is symmetric on $V_0$, skew symmetric on $V_1$, and ...
- 673
4
votes
0
answers
158
views
Relation between two Harish-Chandra homomorphisms
Let $\mathfrak{g}$ be a Lie algebra admitting a triangular decomposition $\frak g = N^-\oplus h\oplus N^+$ and $\gamma$ the classic Harish-Chandra isomorphism defined on the center $\frak Z$ of the ...
- 141
0
votes
1
answer
243
views
Adjoint action on the universal enveloping algebra and the PBW theorem
Let $\frak{g}$ be a semisimple Lie algebra and $U(\frak{g})$ its universal enveloping algebra. The adjoint action of $\frak{g}$ on itself extends to an action of $\frak{g}$ on $U(\frak{g})$. How does ...
- 157
5
votes
0
answers
373
views
A (possible) Lie algebra extension of the Lie algebra of a foliation
Motivation: The aim of this post is to extend the Lie algebra of a foliation to a bigger Lie algebra. We assume that a manifold $M$ is foliated by compat leaves. The Lie algebra of the foliation is ...
- 366
5
votes
0
answers
188
views
Are there known minimal models for the cohomology of semisimple Lie algebras?
My student and I recently found a cute construction of a minimal model for the cohomology of a Lie algebra $\mathfrak{g}$. This is a "minimal model" in the sense that it is a minimal chain-...
- 1,335
5
votes
0
answers
146
views
On Soergel's results concerning projectives modules in category $\mathcal{O}$
I am looking for a translated proof of two results of Soergel usually referred to as endomorphismensatz and struktursatz.
Both of those results were shown in the paper
Soergel, W. (1990). Kategorie 𝒪...
- 211
6
votes
1
answer
393
views
An alternative form of the Kazhdan-Lusztig conjecture
Fix a complex semisimple Lie algebra $\mathfrak{g}$. Denote by $W$ the corresponding Weyl group, with length function $\ell$ and Bruhat order $\leq$. Let $\lambda$ be an integral anti-dominant weight. ...
- 1,391
10
votes
1
answer
339
views
What is the Lie superalgebra generated by permutations?
Consider the group algebra of the symmetric group $\mathbb{C}S_n$. Then there is a corresponding Lie algebra $\mathfrak{L}(S_n)$ defined by
$$[\sigma, \tau] = \sigma\circ\tau - \tau\circ\sigma,$$
...
- 593
1
vote
0
answers
101
views
Explicit central elements of $\mathcal{U}(\mathfrak{so}(4,1))$
I am interested in finding the central elements of the universal enveloping algebra of the Lie algebra $\mathfrak{so}(4,1)$.
Notation: the 10 generators are $D, J_i, P_i, K_i$ ($i=1,2,3$), satisfying ...
- 163
5
votes
0
answers
250
views
Lie algebras, root systems and qubits
This post is about some concepts I am experimenting with. They are related to the Atiyah problem on configurations. They kind of mix Lie algebras and qubits. Given a compact (say semisimple) Lie group ...
- 5,215
2
votes
1
answer
108
views
Finite dimensional irreducible representations of $\frak{sl}_m$ with non-trivial zero weight spaces
For the special linear algebra $\frak{sl}_{m}$ which finite dimensional irreducible representations $V_{\mu}$ have non-trivial zero weight spaces?
For $\frak{sl}_2$ this is clear: $V_{2k\pi}$ for $\pi$...
- 157
3
votes
2
answers
495
views
Pairing a root with the half-sum of positive roots
Let $\frak{g}$ be a finite-dimensional complex simple Lie algebra together with a choice of Cartan subalgebra and associated root system $(\Delta, (-,-))$. Also we denote the half-sum of positive ...
2
votes
0
answers
127
views
Classification of restricted Lie algebras of reductive groups
$\DeclareMathOperator\Lie{Lie}$Let $G/K$ be a reductive group over a field $K$. In characteristic $0$ the Lie algebra is invariant under base change of fields, so to understand $\Lie(G)$ it is enough ...
- 461
5
votes
1
answer
395
views
Buildings as generalizations of symmetric spaces
In almost every introductory notes on Tits buildings these are motivated
as structures capturing/ sharing several features of symmetric spaces. Could somebody elaborate what are precisely the main ...
- 6,006
2
votes
0
answers
211
views
Is every irreducible representation of $Sp(m)$ a representation of $U(2m)$?
If $Sp(m)$ is the group of linear automorphisms of $\mathbb{C}^{2m}$ which fix a complex symplectic form $\omega$ and a quaternionic structure $j$ on $\mathbb{C}^{2m}$, then it is clear that $Sp(m)$ ...
- 5,215
0
votes
0
answers
246
views
What does the set of all fundamental coweights look like?
Let $\Phi$ be an irreducible root system in a Euclidean vector space $V$. Let $W$ denote its Weyl group. Choose a base $\Delta=\{\alpha_1,...,\alpha_r\}$ for $\Phi$. Then $\Delta$ is a basis for $V$. ...
- 2,751
4
votes
2
answers
412
views
Minimal non-abelian groups -> Lie groups/algebras
A group is called minimal non-abelian if it is non-abelian and all proper subgroups are abelian.
Does this notion also exist with Lie groups or algebras? As an example, consider the Lie algebra ...
- 4,829
2
votes
1
answer
159
views
Adjoint action on orthogonal complement
Consider a compact Lie algebra $\mathfrak{g} \subset \mathfrak{u}(n)$ and its associated connected, compact Lie group $G$. Let $\mathfrak{g}^{\perp}$ denote $\mathfrak{g}$'s orthogonal complement (as ...
- 179
5
votes
1
answer
319
views
Malcev completion of free groups
Let $K$ be a field with $\operatorname{char} K=0$, $\hat{L}_n$ the complete free Lie algebra of $n$ variables $x_1,\dotsc,x_n$ and $\exp(\hat{L}_n)$ its associated group with the product given by BCH ...
- 985
6
votes
2
answers
194
views
Counting adjoints in the symmetric or antisymmetric square of a Lie group representation
EDIT (November 1, 2022): Over the weekend I think I found a technique to determine the exact multiplicities, according to how conjugation acts on the fundamental weights. While I haven't done the ...
- 630
8
votes
1
answer
390
views
What is the ring structure on Lusztig's integral form of quantum $\mathfrak{sl}(2)$?
Consider the quantum group $U_q(\mathfrak{sl}_2)$, with generators $E,F,K$ such that $[E,F]=\frac{K-K^{-1}}{q-q^{-1}}$. Write $[n]=\frac{q^n-q^{-n}}{q-q^{-1}}$, and $[n]!=[n][n-1]\dotsm[1]$.
In ...
- 492
20
votes
0
answers
408
views
Ado's theorem and the reduction to positive characteristic
The synopsis: proofs of Ado theorem in positive characteristic are simple, and in characteristic $0$ are difficult. Can one infer the characteristic $0$ case from the positive characteristic case?
The ...
- 2,934
2
votes
0
answers
120
views
Is there an explicit description of a gauge transformation $F$ such that $U_{\hbar}(\mathfrak{g})$ and $(U(\mathfrak{g})[[\hbar]])_F$ are isomorphic?
Let $\mathfrak{g}$ be a semisimple Lie algebra, let $t$ be its canonical 2-tensor, and let $\Phi_{KZ}$ be a Drinfeld associator.When $R_{KZ}=e^{\hbar t/2}$, $(U(\mathfrak{g})[[\hbar]],\Phi_{KZ},R_{KZ})...
- 255
9
votes
1
answer
247
views
Must a continuous variation through compact simply connected Lie groups preserve topology
Let $V$ be a finite dimensional vector space over $\mathbb{R}$. Let $S$ be the vector space of multilinear maps from $V\times V$ to $V$. Let $L:\mathbb{I}\rightarrow S$ be a continuous map such that ...
- 1,117
4
votes
1
answer
241
views
Structure of projective indecomposable modules for $\mathfrak{sl}_2$
I'm reading "BGG category $\mathcal{O}$" by Humphreys.
In section 3.12 we look into the projective modules over $\mathfrak{sl}(2,\mathbb{C})$. If $\lambda\in\mathbb{Z}$ is a weight and $\mu=-...
- 61
3
votes
1
answer
180
views
A filtration on Drinfeld-Jimbo quantum enveloping algebras
For the universal enveloping algebra $U(\frak{g})$ of a Lie algebra $\frak{g}$, one can define in a natural way an increasing $\mathbb{N}_{0}$-filtration. By the Poincaré-Birkhoff–Witt theorem, the ...
