All Questions
2,633 questions
145
votes
14
answers
50k
views
Why study Lie algebras?
I don't mean to be rude asking this question, I know that the theory of Lie groups and Lie algebras is a very deep one, very aesthetic and that has broad applications in various areas of mathematics ...
- 2,751
106
votes
3
answers
10k
views
Has the Lie group E8 really been detected experimentally?
A few months ago there were several math talks about how the Lie group E8 had been detected in some physics experiment. I recently looked up the original paper where this was announced,
"Quantum ...
- 20.7k
81
votes
26
answers
7k
views
What would you want on a Lie theory cheat poster?
For some long time now I've thought about making a poster-sized "cheat sheet" with all the data about Lie groups and their representations that I occasionally need to reference. It's a moving target, ...
79
votes
12
answers
13k
views
Is there a high-concept explanation for why characteristic 2 is special?
The structure of the multiplicative groups of $\mathbb{Z}/p\mathbb{Z}$ or of $\mathbb{Z}_p$ is the same for odd primes, but not for $2.$ Quadratic reciprocity has a uniform statement for odd primes, ...
- 118k
77
votes
7
answers
21k
views
What is the symbol of a differential operator?
I find Wikipedia's discussion of symbols of differential operators a bit impenetrable, and Google doesn't seem to turn up useful links, so I'm hoping someone can point me to a more pedantic discussion....
- 54.6k
73
votes
6
answers
7k
views
Surprisingly short or elegant proofs using Lie theory
Today, I was listening to someone give an exhausting proof of the fundamental theorem of algebra when I recalled that there was a short proof using Lie theory:
A finite extension $K$ of $\mathbb{C}$...
70
votes
11
answers
13k
views
What is significant about the half-sum of positive roots?
I apologize for the somewhat vague question: there may be multiple answers but I think this is phrased in such a way that precise answers are possible.
Let $\mathfrak{g}$ be a semisimple Lie algebra (...
- 3,605
60
votes
8
answers
13k
views
Why the Killing form?
I'm teaching a short summer course on algebraic groups and it's time to talk about the Killing form on the Lie algebra. The students are all undergrads of varying levels of inexperience, and I try to ...
- 7,273
58
votes
3
answers
4k
views
Is "semisimple" a dense condition among Lie algebras?
The "Motivation" section is a cute story, and may be skipped; the "Definitions" section establishes notation and background results; my question is in "My Question", and in brief in the title. Some ...
- 54.6k
54
votes
5
answers
10k
views
Motivating the Casimir element
Weyl's theorem states that any finite-dimensional representation of a finite-dimensional semisimple Lie algebra is completely reducible. In my mind, the "natural" way to prove this result is by way ...
- 82.7k
54
votes
9
answers
9k
views
Nice proofs of the Poincaré–Birkhoff–Witt theorem
Let $\mathfrak{g}$ be a finite-dimensional Lie algebra over a field $k$, with an ordered basis $x_1 < x_2 < ... < x_n$.
We define the universal enveloping algebra $U(\mathfrak{g})$ of $\...
- 3,918
53
votes
5
answers
8k
views
Beautiful descriptions of exceptional groups
I'm curious about the beautiful descriptions of exceptional simple complex Lie groups and algebras (and maybe their compact forms). By beautiful I mean: simple (not complicated - it means that we need ...
- 1,422
50
votes
5
answers
9k
views
What role does the "dual Coxeter number" play in Lie theory (and should it be called the "Kac number")?
While trying to get some perspective on the extensive literature about highest weight modules for affine Lie algebras relative to "level" (work by Feigin, E. Frenkel, Gaitsgory, Kac, ....), I run into ...
- 52.9k
48
votes
5
answers
15k
views
Algebraically closed fields of positive characteristic
I'm taking introductory algebraic geometry this term, so a lot of the theorems we see in class start with "Let k be an algebraically closed field." One of the things that's annoyed me is that as far ...
- 12.6k
47
votes
2
answers
9k
views
current status of crystalline cohomology?
The great references given on Ilya's question make me wonder about the current status of the many conjectures and open questions in Illusie's survey from 1994 on crystalline cohomology. Obviously (...
47
votes
1
answer
1k
views
Summing infinitely many infinitesimally small variables makes sense in algebra
There is an identity $e^x=\lim_{n\to \infty} (1+x/n)^n$, and I always thought it is a purely analytic statement. But then I discovered its curious interpretation in pure algebra:
Consider the ring of ...
- 3,772
45
votes
16
answers
8k
views
What does the generating function $x/(1 - e^{-x})$ count?
Let $x$ be a formal (or small, since the function is analytic) variable, and consider the power series
$$ A(x) = \frac{x}{1 - e^{-x}} = \sum_{m=0}^\infty \left( -\sum_{n=1}^\infty \frac{(-x)^n}{(n+1)!}...
- 54.6k
44
votes
2
answers
3k
views
What algebraic group does Tannaka-Krein reconstruct when fed the category of modules of a non-algebraic Lie algebra?
Let $\mathfrak g$ be a finite-dimensional Lie algebra over $\mathbb C$, and let $\mathfrak g \text{-rep}$ be its category of finite-dimensional modules. Then $\mathfrak g\text{-rep}$ comes equipped ...
- 54.6k
42
votes
9
answers
6k
views
Is every finite-dimensional Lie algebra the Lie algebra of an algebraic group?
Harold Williams, Pablo Solis, and I were chatting and the following question came up.
In Lie group land (where you're doing differential geometry), given a finite-dimensional Lie algebra g, you can ...
- 24.1k
41
votes
2
answers
2k
views
Implications of non-negativity of coefficients of arbitrary Kazhdan-Lusztig polynomials?
In their seminal 1979 paper Representations of Coxeter groups and Hecke algebras (Invent. Math. 53, doi:10.1007/BF01390031),
Kazhdan and Lusztig studied an arbitrary Coxeter group $(W,S)$ and the ...
- 52.9k
40
votes
1
answer
4k
views
Roadmap to Geometric Representation Theory (leading to Langlands)?
I believe there has been at least one question similar to this one and yet I still think this particular question deserves to have a thread of its own.
I'm becoming increasingly fascinated by stuff ...
- 7,799
39
votes
2
answers
5k
views
Why is there a connection between enumerative geometry and nonlinear waves?
Recently I encountered in a class the fact that there is a generating function of Gromov–Witten invariants that satisfies the Korteweg–de Vries hierarchy. Let me state the fact more precisely. ...
- 1,589
38
votes
18
answers
24k
views
Learning about Lie groups
Can someone suggest a good book for teaching myself about Lie groups? I study algebraic geometry and commutative algebra, and I like lots of examples. Thanks.
37
votes
4
answers
12k
views
Finite extension of fields with no primitive element
What is an example of a finite field extension which is not generated by a single element?
Background: A finite field extension E of F is generated by a primitive element if and only if there are a ...
- 24.1k
37
votes
3
answers
5k
views
Is there a nice proof of the fact that there are (p-1)/24 supersingular elliptic curves in characteristic p?
If $k$ is a characteristic $p$ field containing a subfield with $p^2$ elements (e.g., an algebraic closure of $\mathbb{F}_p$), then the number of isomorphism classes of supersingular elliptic curves ...
- 45.7k
37
votes
3
answers
3k
views
Why should affine lie algebras and quantum groups have equivalent representation theories?
Let $\mathfrak{g}$ be a simple lie algebra over $\mathbb{C}$ and let $\hat{\mathfrak{g}}$ be the Kac-Moody algebra obtained as the canonical central extension of the algebraic loop algebra $\mathfrak{...
- 9,491
36
votes
2
answers
4k
views
Why do Lie algebras pop up, from a categorical point of view?
Groups pop up as automorphism groups in any category.
Rings pop up as endomorphism rings in any additive category.
Is there a similar way to attach a Lie algebra to an object in a category of a ...
- 1,407
34
votes
2
answers
3k
views
The work of E. Artin and F. K. Schmidt on (what are now called) the Weil conjectures.
I was reading Dieudonne's "On the history of the Weil conjectures" and found two things that surprised me. Dieudonne makes some assertions about the work of Artin and Schmidt which are no doubt ...
- 41.4k
34
votes
1
answer
1k
views
Is there a geometric construction of hyperbolic Kac-Moody groups?
Just as the theory of finite-dimensional simple Lie algebras is connected to differential geometry and physics via the theory of simple Lie groups, the theory of affine Lie algebras was connected to ...
- 22.3k
33
votes
8
answers
9k
views
"Modern" proof for the Baker-Campbell-Hausdorff formula
Does someone has a reference to a modern proof of the Baker-Campbell-Hausdorff formula?
All proofs I have ever seen are related only to matrix Lie groups / Lie algebras and
are not at all geometric (...
- 2,074
33
votes
1
answer
4k
views
Isometry group of a homogeneous space
Background
Let $(M,g)$ be a finite-dimensional riemannian (or more generally pseudoriemannian) manifold. Suppose that I know that a certain Lie group $G$ acts transitively and isometrically on $M$ ...
- 33.3k
33
votes
3
answers
6k
views
When is a finite dimensional real or complex Lie Group not a matrix group
I have a smattering of knowledge and disconnected facts about this question, so I would like to clarify the following discussion, and I also seek references and citations supporting this knowledge. ...
- 1,161
32
votes
10
answers
3k
views
Which 'well-known' algebraic geometric results do not hold in characteristic 2?
A smooth curve $X$ in $\mathbb{P}^n$ is strange if there is a point $p$ which lies on all the tangent lines of $X$.
Examples are $\mathbb{P}^1$ is strange and so is $y=x^2$ in characteristic $2$. ...
- 2,215
32
votes
2
answers
1k
views
A question about subspace in ${\bigwedge}^2({\mathbb R}^n)$
Let $E$ be a linear subspace of ${\bigwedge}^2({\mathbb R}^n)$. What is the minimal dimension of $E$ that guarantees $E$ contains a nonzero element of the form $X\wedge Y$, with $X, Y\in{\mathbb R}^n$?...
- 637
31
votes
3
answers
7k
views
Why the BGG category O?
Given a finite-dimensional semisimple complex Lie algebra $\mathfrak{g}$, the Bernstein-Gelfand-Gelfand category $\mathcal O$ is the full subcategory of $\mathfrak g$-modules satisfying some ...
- 507
31
votes
4
answers
3k
views
What was Casimir's precise role in describing the center of the universal enveloping algebra of a semisimple Lie algebra?
This question is prompted by a recent MO question on explicit computations of Weyl group invariants for certain exceptional simple Lie algebras:
37602. Like some others who started graduate study in ...
- 52.9k
31
votes
4
answers
5k
views
The Frobenius morphism
I found the following list on the "Frobenius Page" by David Ben-Zvi, described by the author as "an outdated collection of intuitive ways to think about raising to the p-th power".
Generates a ...
30
votes
7
answers
7k
views
Why is Lie's Third Theorem difficult?
Recall the following classical theorem of Cartan (!):
Theorem (Lie III): Any finite-dimensional Lie algebra over $\mathbb R$ is the Lie algebra of some analytic Lie group.
Similarly, one can propose ...
- 54.6k
30
votes
4
answers
11k
views
Outer automorphisms of simple Lie Algebras
There is, of course, a complete classification for simple complex Lie algebras. Is there a good reference which lists the group of outer automorphisms for each?
- 1,233
30
votes
4
answers
3k
views
A mysterious Heisenberg algebra identity from Sylvester, 1867
I am trying to understand two papers by James Joseph Sylvester:
P92: "Note on the properties of the test operators which occur in the calculus of invariants, their derivatives, analogues, and laws of ...
- 33.8k
30
votes
1
answer
2k
views
Is there an accessible exposition of Gelfand-Tsetlin theory?
I'm hoping to start an undergraduate on a project that involves understanding a bit of Gelfand-Tsetlin theory, and have been tearing my hair out looking for a good reference for them to look at. ...
- 44.7k
30
votes
0
answers
1k
views
Follow-up to Steinberg's problem (12) in his 1966 ICM talk?
Steinberg's lecture at the 1966 ICM in Moscow here surveyed his work on regular elements of semisimple algebraic groups, while also formulating a number of then-open questions as "problems" (...
- 52.9k
28
votes
3
answers
2k
views
Intuitive pictures in characteristic p
This is a tough one, but does anyone know of any images that recall characteristic p geometry (over algebraically closed fields) in some sense? It is not enough if it is some picture that can be also ...
- 2,215
28
votes
3
answers
6k
views
Motivation of Virasoro algebra
I have a question on definition/motivation of Virasoro algebra. Recall that Virasoro algebra is an infinite Lie algebra generated by elements $L_n$ $(n\in \mathbb{Z})$ and $c$ over $\mathbb{C}$ with ...
- 1,663
28
votes
1
answer
1k
views
What's the status of the following relationship between Ramanujan's $\tau$ function and the simple Lie algebras?
Qiaochu asked this in the comments to this question. Since this is really his question, not mine, I will make this one Community Wiki. In MR0522147, Dyson mentions the generating function $\tau(n)$ ...
27
votes
7
answers
6k
views
Etale covers of the affine line
In characteristic p there are nontrivial etale covers of the affine line, such as those obtained by adjoining solutions to x^2 + x + f(t) = 0 for f(t) in k[t]. Using an etale cohomology computation ...
- 52.7k
27
votes
2
answers
3k
views
Reference for de Rham cohomology in positive characteristic
It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas ...
- 28.8k
27
votes
4
answers
3k
views
Have people successfully worked with the full ring of differential operators in characteristic p?
This question is inspired by an earlier one about the possibility of using the full ring of differential operators on a flag variety to develop a theory of localization in characteristic $p$. (Here ...
- 57.6k
27
votes
1
answer
891
views
Why do the adjoint representations of three exceptional groups have the same first eight moments?
For a representation of a compact Lie group, the $n$th moment of the trace of that representation against the Haar measure is the dimension of the invariant subspace of the $n$th tensor power. The ...
- 149k
26
votes
3
answers
4k
views
How are these two ways of thinking about the cross product related?
I was always bothered by the definition of the cross product given in e.g. a calculus course because it's never made clear how one would go about defining the cross product in a coordinate-free manner....
- 118k