All Questions
2,633 questions
12
votes
4
answers
866
views
Breaking up the free Lie algebra into GL irreps
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\L{\mathfrak{L}}$The free Lie algebra $\L(V)$ generated by an $r$-dimensional vector space $V$ is, in the
language of https://en.wikipedia.org/wiki/...
- 8,336
12
votes
3
answers
2k
views
$A \wedge A \wedge A$ in Chern-Simons
I am confused with the wedging operations of Lie algebra valued differential forms. Especially, for instance, I have some problems with the Chern-Simons 3-form
$$A \wedge dA + \frac{2}{3}A \wedge A \...
- 133
12
votes
4
answers
2k
views
Finite subgroups of $PGL_2(K)$ in characteristic $p$
Let $K$ be a field of characteristic $p$. What are the finite subgroups of $PGL_2(K)$ whose orders are divisible by $p$? And if $G$ and $H$ are two such subgroups that are isomorphic, can one say when ...
- 1,199
12
votes
4
answers
810
views
Type of 26-dimensional representation of different real forms of the complex simple Lie algebra $F_4$
The exceptional complex simple Lie algebra $F_4$ has an irreducible 26-dimensional representation $V$ with Dynkin label [0,0,0,1] in the usual ordering of the simple roots one can find, say, in ...
- 33.3k
12
votes
4
answers
1k
views
Real and quaternionic representations according to weights
According to this question, it is easy to know whether a (complex, finite-dimensional) representation is self-dual or not: just check if the weight distribution in space is symmetric about the origin.
...
- 2,091
12
votes
2
answers
2k
views
calculating Littlewood-Richardson coefficients
It is known that if $\alpha,\beta,\gamma$ are three partitions then the Littlewood-Richardson coefficient $c_{\alpha \beta}^{\gamma}$ is positive when the triple ($\alpha,\beta,\gamma$
) occurs as ...
- 123
12
votes
3
answers
1k
views
Which nilpotent Lie algebras appear as nilradicals of parabolic subalgabras?
I am interested to identify (ideally classify) nilpotent Lie algebras that occur as nilradicals of parabolic subalgebras in (say) reductive Lie algebras.
For example, all Heisenberg Lie algebras ...
- 343
12
votes
3
answers
2k
views
Lie algebras with abelian Cartan subalgebras
The Cartan subalgebras of a reductive Lie algebra are abelian.
Are there non-reductive Lie algebras with abelian Cartan subalgebras?
In fact, the elements of a Cartan subalgebra of a reductive ...
- 47.3k
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 ...
12
votes
1
answer
392
views
Non-conjugate subgroups that are conjugate in complexification
In trying to come up with a counter-example in my line of research, I would like to find an example as follows:
$G$ is a semisimple Lie group with complexification $G^{\mathbb{C}}$. $H_1, H_2 \...
- 471
12
votes
2
answers
2k
views
Summary of Lie-Algebra integration tactics
If this is in the scope of MO, I would like to gather here the known tactics of
Lie algebra integration, since it appear surprisingly hard to find such a
compendium, library or any other kind of ...
- 2,074
12
votes
2
answers
495
views
A specific coset decomposition of $\mathrm{GL}_n(\mathbb{C})$
Disclaimer: I am a theoretical chemist (not a mathematician). I have tried asking this question at Math SE with no luck (https://math.stackexchange.com/questions/4080696/a-specific-coset-decomposition-...
- 121
12
votes
2
answers
883
views
Residues of $\frac{1}{\prod_{i=1}^n (x-P_i)^{e_i}}$
This is a problem occurring in my research about deformations of $\mathbb{Z}/p^n$-covers over a ring of power series. Given an algebraically closed field $k$ of characteristic $p>0$, suppose $1< ...
- 245
12
votes
2
answers
626
views
On the isomorphism problem of enveloping algebras
Let $\mathfrak{g}$ and $\mathfrak{g}'$ be Lie algebras. It is known that if $U(\mathfrak{g})\cong U(\mathfrak{g}')$ as associative algebras, then it is not necessarily true that $\mathfrak{g}\cong \...
- 395
12
votes
2
answers
1k
views
Is there a canonical Hopf structure on the center of a universal enveloping algebra?
Let $\mathfrak g$ be a finite-dimensional Lie algebra over $\mathbb C$. Define $\mathcal Z(\mathfrak g)$ to be the center of the universal enveloping algebra $\mathcal U\mathfrak g$, and define $(\...
- 54.6k
12
votes
2
answers
854
views
Groups associated with infinite dimensional Lie algebras
There is a classical correspondence between Lie algebras (over $\mathbb{R}$ or $\mathbb{C}$) and Lie groups in the finite dimensional case: to every Lie group $G$ there is an associated Lie algebra $\...
- 1,089
12
votes
1
answer
750
views
Vanishing theorems in positive characteristic
In the paper
Deligne, Pierre; Illusie, Luc (1987), "Relèvements modulo $p^{2}$ et décomposition du complexe de De Rham", Inventiones Mathematicae 89 (2): 247–270, doi:10.1007/BF01389078
I found the ...
- 8,998
12
votes
1
answer
2k
views
Replacement for derivations in characteristic p?
Let $k$ be a field.
If $f \in k[x]$ is a polynomial, and $d/dx\ f = 0$, then either
$f$ is constant, or
$char\ k = p$ and $f \in k[x^p]$.
So "annihilated by all derivations" is perhaps not the right ...
- 27.9k
12
votes
1
answer
864
views
Physicists misuse the term "Kac Moody algebra". Does that bring problems?
In physics textbooks one frequently sees the name (affine) Kac Moody algebra used to describe the universal (one dimensional) central extension of the loop algebra of a semisimple algebra. But this is ...
- 379
12
votes
2
answers
587
views
Bounding weight multiplicities by number of certain Coxeter elements
This question concerns lower bounds of certain weight multiplicities in finite dimensional representations of algebraic groups (or Lie groups, Lie algebras).
Let's say $G$ is a simple algebraic group ...
- 313
12
votes
1
answer
1k
views
Smallest dimension of nontrivial representation of a simple Lie algebra over `$\mathbb{C}$`
The question involved here is natural and very classical, but I'm unsure what has been formally stated and proved in the literature. The only approach I know involves assembling facts that apparently ...
- 52.9k
12
votes
1
answer
840
views
Comparing two similar procedures for quantizing a Casimir Lie algebra
My primary reference for this question is the very good book Quantum Groups and Knot Invariants by C. Kassel, M. Rosso, and V. Turaev. I'm also drawing from P. Etingof and O. Schiffmann, Lectures on ...
- 54.6k
12
votes
2
answers
1k
views
What's the most simple proof of Kostant's version of Borel-Weil-Bott for Lie Algebra cohomology?
Besides Kostant's original proof (in http://www.math.tamu.edu/~jml/kostant61.pdf) of the above mentioned theorem (using the Lie Algebra Laplacian), there are a few other approaches:
Casselman-Osborne,...
- 343
12
votes
1
answer
796
views
Lie's third theorem via differential graded algebras?
Dennis Sullivan, "Infinitesimal computations in topology", Publ. IHES: At the end of section 8, he writes, among other things, roughly the following.
Let $\mathfrak{g}$ be a (finite-dimensional, real)...
- 20.9k
12
votes
2
answers
829
views
Matrices into path algebras
I was thinking about quivers recently, and the following idea came to me.
Let ei,j denote the matrix unit in Mn for 1 ≤ i,j ≤ n. Let Γ denote the complete quiver on vertices {1, …,...
- 1,756
12
votes
1
answer
689
views
Comparing a Chevalley basis with the canonical basis of the adjoint module?
First some background: Given a simple Lie algebra $\mathfrak{g}$ over an algebraically closed field of characteristic 0 such as $\mathbb{C}$, fix a Cartan decomposition $\mathfrak{g} = \mathfrak{h} \...
- 52.9k
12
votes
1
answer
2k
views
Relationship between the Witt algebra and vector fields on the circle
I have seen some (apparently contradictory) claims by mathematicians and physicists regarding the existence of an (infinite dimensional) Lie group whose Lie algebra is the Virasoro algebra.
The ...
- 1,329
12
votes
1
answer
653
views
What are the simple Lie superalgebras of type E?
Background
Simple finite dimensional Lie superalgebras over $\Bbb C$ have been classified. There are the Cartan type superalgebras (algebras of purely odd vector fields), two strange families P(n) ...
- 971
12
votes
1
answer
709
views
Cartan involution for finite W-algebras
Does anybody know if there is an analog of the Cartan (anti)involution for W-algebra
associated to a nilpotent element e, which is principal in some Levi subalgebra
of semi-simple Lie algebra g? ...
- 7,037
12
votes
0
answers
729
views
Elkies' supersingularity theorem in higher dimension (in terms of the associated Newton polygon)
Elkies' supersingularity theorem: Given an elliptic curve $E$ over $\mathbb{Q}$, there are infinitely many primes $p$ such that $E$ is supersingular over $\mathbb{F}_p$.
I have seen another post on ...
- 3,539
12
votes
0
answers
216
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 ...
- 52.9k
12
votes
0
answers
519
views
Irreducible representations of Weyl group of F$_4$ on zero weight spaces?
This is a follow-up to a recent question here concerning the natural representation of a Weyl group $W$ on the zero weight space of an irreducible representation $L(\lambda)$ of highest weight $\...
- 52.9k
12
votes
0
answers
716
views
Lifting abelian varieties in (the closed fiber of) a fixed Neron model
Suppose that $R$ is a dvr with field of fractions $K$ and residue field $k$ and that $A_K$ is an abelian variety over $K$ with Neron model $A$ over $R$. Then the closed fiber $A_k$ is a smooth ...
- 1,609
11
votes
6
answers
6k
views
Figure out the roots from the Dynkin diagram
Just a d*mb question on Lie algebras:
Given a Dynkin diagram of a root system (or a Cartan Matrix), how do I know which combination of simple roots are roots?
Eg. Consider the root system of G_2, ...
- 5,052
11
votes
5
answers
2k
views
How do you switch between representations of an algebraic group and its Lie algebra?
I'm interested in the structures of categories like $Rep(GL_n), Rep(SL_n)$, etc. of algebraic representations of an algebraic group. I understand that there should be some relation between these and ...
- 25.6k
11
votes
3
answers
588
views
Is every $A \in \mathrm{SL}_n(\mathbb C)$ a product of four unipotent matrices?
Is every matrix $A \in \mathrm{SL}_n(\mathbb C)$ a product of four unipotent matrices?
I have verified that this is true if $n = 2$, and I believe I have came across this result before. However, I ...
- 485
11
votes
5
answers
2k
views
Applications of Chevalley Restriction Theorem
Let $G$ be a simple linear algebraic group (over $\mathbb{C}$, say) and $\mathfrak{g}$ be its Lie algebra, $\mathfrak{t}\subset \mathfrak{g}$ the Lie algebra of a maximal torus in $G$ and $W$ the ...
- 1,201
11
votes
3
answers
665
views
Quantum groups and deformations of the monoidal category of $U(\frak{g})$-modules
In the first answer for this question is writen, about the braided category of representation of the enveloping algebra $U(\frak{g})$, for $\frak{g}$ a semisimple Lie algebra:
The space of ...
- 219
11
votes
2
answers
1k
views
Class groups of normal domains over finite fields
Let R be a local, normal domain of dimension 2. Suppose that R contains a finite field. I am interested in knowing when the class group of R is torsion. In characteristic 0, this is known to be ...
- 30.6k
11
votes
3
answers
2k
views
HIgher Homotopy Groups and Representation Theory
Let $G$ be a compact Lie group, and $g$ its associated Lie algebra.
In what ways do the higher homotopy groups $\pi_{n}(G)$ with $n>1$ appear in the representation theory of $G$?
As an example, ...
- 2,097
11
votes
2
answers
1k
views
Sums of degrees of irreducible complex characters
The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant to determine the dimension of a maximal torus of the Lie algebra associated to ...
- 581
11
votes
4
answers
3k
views
What does ramification have to do with separability?
Does ramification have anything to do with inseparability? It feels like an extension of Q in which p ramifies should somehow correspond to an extension of F_p(t). Does totally ramified <--> purely ...
- 15.4k
11
votes
4
answers
2k
views
Constructing Affine Kac-Moody Groups
Does anyone know a simple construction for Affine Kac-Moody groups? There is a book by Kumar ("Kac-Moody groups, their flag varieties, and representation theory") that does the construction for the ...
- 5,548
11
votes
1
answer
448
views
Rational homology of $\Omega^2 ( \mathbb CP^n \vee S^d)$
What is the rational homology of $\Omega^2 ( \mathbb CP^n \vee S^d)$? Here $\Omega$ denotes based loop space.
- 965
11
votes
2
answers
938
views
Non-isomorphic complex Lie groups with the same exceptional Lie algebra for $\mathfrak{g_2,f_4,e_6,e_7,e_8}$?
An exceptional complex Lie algebra is a simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five such Lie algebras: $\mathfrak{g}_{2}$, ${\mathfrak {f}}_{4}...
- 2,147
11
votes
4
answers
1k
views
Explicit large finite fields in characteristic $2$
Every finite field of characteristic $2$ ist given by $\mathbb{F}_2[x]/P(x)$ for some irreducible polynomial $P\in \mathbb{F}_2[x]$.
For small degree, a simple algorithm gives a way to find $P$. Is ...
- 7,722
11
votes
2
answers
1k
views
Realizing a subgroup of a Lie group as a stabilizer subgroup
Let $G$ a compact semisimple Lie group, $H$ a subgroup of $G$. Is it always possible to find an irreducible representation $R$ of $G$ such that the stabilizer of an $x\in R$ is "locally isomorphic" to ...
- 679
11
votes
3
answers
1k
views
Does there exist any "quantum Lie algebra" embeded into the quantum enveloping algebra U_q(g)?
We have known that any finite dim Lie algebra can be embeded into it's enveloping algebra $U(\mathfrak{g})$, my question is: is there any "quantum Lie algebra" embeded into the quantum enveloping ...
- 131
11
votes
1
answer
2k
views
Are automorphism groups of hypersurfaces reduced ?
In the following article : "H. Matsumura, P. Monsky, On the automorphisms of hypersurfaces, J. Math. Kyoto Univ. 3 (1964) 347-361", it is shown that in finite characteristic, automorphism groups of ...
- 6,543
11
votes
1
answer
909
views
Universal example of Lie algebra
In the recent IAS talk (available here: https://www.youtube.com/watch?v=LeaiPHAh0X0 - from 45:20) Lurie mentioned an (additive monoidal, with all colimits) category $\mathcal E$ together with a Lie ...
- 113