41
$\begingroup$

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 find a faithful representation g → End(V) by Ado's theorem. Then you can take the group generated by the exponentiation of the image to get a Lie group G⊆GL(V) whose Lie algebra is g. I think this is correct, but please do tell me if there's a mistake.

This argument relies on the exponential map, which we don't have an the algebraic setting. Is there some other argument to show that any finite-dimensional Lie algebra g is the Lie algebra of some algebraic group (a closed subgroup of GL(V) cut out by polynomials)?

$\endgroup$
1
  • 4
    $\begingroup$ A very nice fact over fields $k$ of char. 0: for any linear algebraic $k$-group G and Lie $k$-subalgebra h in g = Lie(G), [h,h] = Lie(G') for a (unique) connected closed $k$-subgroup $G'$ in $G$. In particular, if h is a semisimple Lie $k$-subalgebra of g (so h = [h,h]) then it is the Lie algebra of a connected closed $k$-subgroup of $G$. See 7.9 in Borel's book on linear algebraic groups (and 7.7 for a nec/sufficient condition in general, in char. 0). So as always, it's the commutative/solvable stuff that creates all the headaches. $\endgroup$
    – BCnrd
    May 5, 2010 at 16:47

9 Answers 9

26
$\begingroup$

A Lie subalgebra of $\mathfrak{gl}(n,k)$ which is the Lie algebra of an algebraic subgroup of $GL(n,k)$ is called an algebraic subalgebra. Apparently there are Lie subalgebras which are not algebraic, even in characteristic zero. If $\mathfrak{g}$ is the Lie algebra of an affine algebraic group then it must be ad-algebraic, ie. its image in $\operatorname{End}(\mathfrak{g})$ under the adjoint representation must be an algebraic subalgebra. An example of a non-ad-algebraic Lie algebra is given on pg. 385 of Lie Algebras and Algebraic Groups, by Tauvel and Yu.

$\endgroup$
3
  • 6
    $\begingroup$ This does not answer the question as a non-algebraic subalgebra of the Lie algebra of G might very well be the Lie algebra of a group – even if there is no subgroup of G whose Lie algebra is the initial one! $\endgroup$ Oct 19, 2016 at 16:35
  • $\begingroup$ @MichaelGrünewald I think this argument does work, and answers the question. It is found in e.g. Hochschild (1981, bottom of p. 249). (Next page shows that conversely, algebraicity of $\mathrm{ad}(\mathfrak g)$ in $\mathrm{End}(\mathfrak g)$ is also sufficient for $\mathfrak g$ to be the Lie algebra of some algebraic $G$.) $\endgroup$ Feb 21, 2017 at 2:26
  • $\begingroup$ @FrancoisZiegler That's right, reading the argument today, I don't understand the comment any more. :) BTW The smallest example of a non-algebraic subalgebra is a line in a torus, if the line avoids the kernel of the exponential. In michipili.github.io/assets/math/1005.0748v1.pdf I also give more properties of the set of a algebraic subalgebras. $\endgroup$ Feb 21, 2017 at 6:33
40
$\begingroup$

If a Lie subalgebra of $\mathfrak{gl}(V)$ is the Lie algebra of an algebraic group, then it contains the semisimple and nilpotent factors of any element.

There is a five-dimensional Lie algebra for which this fails, which you can find in Bourbaki Lie groups and algebras, I, 5, Exercise 6, or in 1.25 and 3.42 of my notes Lie algebras, algebraic groups and Lie groups.

$\endgroup$
15
$\begingroup$

Sorry to tune in so late to this conversation, but I think it's worth pointing out some of the paper trail on the question (supplementing BCnrd's comment). This goes back to Chevalley's initial work in the 1950s, especially in volume II (in French) of his projected six volume work Theorie des groupes de Lie. The first volume (in English) was published by Princeton Press, then II and III followed but no more; his 1956-58 Paris seminar changed the whole approach to linear algebraic groups and largely ignored the Lie algebras. In Section 14 of II, working over an arbitrary field of characteristic 0, Chevalley asks which Lie subalgebras $\mathfrak{g} \subset \mathfrak{gl}(V)$ (with $\dim V < \infty$) can be Lie algebras of closed subgroups of the general linear group. He worked out a number of nice features of the unique smallest algebraic subalgebra containing $\mathfrak{g}$: it has the same derived algebra as $\mathfrak{g}$, for instance. In fact, the derived algebra of any $\mathfrak{g}$ is algebraic.

Some of these ideas were written down by Borel (Section 7) and by me (Chap. V) in our Springer graduate texts, working over an algebraically closed field of characteristic 0 (my treatment came from the earlier Bass/Borel notes). These sources include further references to papers by Hochschild and others along with the more scheme-theoretic treatment in the 1970 book by Demazure and Gabriel: II, Section 6, no. 2. They assume $k$ is a field and $\mathfrak{G}$ is a " $k$-groupe localement algebrique" with an appropriate Lie algebra attached, then study possible algebraic subalgebras.

In prime characteristic the notion of algebraic Lie algebra becomes much more problematic. See Seligman's 1965 book Modular Lie Algebras, VI.2, for some discussion. For example, the Lie algebra $\mathfrak{sl}(p,k)$ is usually simple modulo its one-dimensional center, but the quotient algebra can't be algebraic since then it would be the Lie algebra of a known simple algebraic group. Even more extreme are the extra simple Lie algebras of "Cartan type" (and others for small primes), for which there are no corresponding groups. `

$\endgroup$
8
$\begingroup$

Let ${\mathbb R}$ act on ${\mathbb R}^2$ by rotation at unit speed, and on a second ${\mathbb R}^2$ by rotation at some irrational speed. Let $G$ be the (solvable) semidirect product ${\mathbb R} \ltimes {\mathbb R}^4$. Then the coadjoint orbits of $G$ may not be locally closed. I don't think that should happen in the algebraic case.

$\endgroup$
2
  • 1
    $\begingroup$ Hmmmm.......why not? $\endgroup$
    – Dr Shello
    Jun 30, 2011 at 3:06
  • $\begingroup$ The orbit through $x\in X$ is the image of the composite map $G \to G \times \{x\} \to G \times X \to X$. Images of algebraic maps are constructible sets. Constructible sets (are nasty but) have an open set on which they are locally closed. So $G\cdot x$ has an open dense set on which it's locally closed. And $G\cdot x$ is homogeneous, so it's locally closed everywhere. $\endgroup$ Jul 4, 2011 at 15:12
3
$\begingroup$

I recommend http://eom.springer.de/l/l058380.htm .

$\endgroup$
1
3
$\begingroup$

Here are many 3-dimensional examples:

Consider the Lie algebra $\mathfrak{g}_D=\mathfrak{a}_1\ltimes_D\mathfrak{a}_2$, where $\mathfrak{a}_i$ is an $i$-dimensional Lie algebra (with a basis) and the action is given by some derivation $D$.

(1) If $D$ is diagonal with $D_{11}=1$, then this Lie algebra $\mathfrak{g}_D$ is the Lie algebra of an algebraic group if and only of $D_{22}$ is rational.

(2) If $D=\begin{pmatrix}1 & 1\\ 0 & 1\end{pmatrix}$ then $\mathfrak{g}_D$ is not algebraic either (this one, unlike the previous one, does not have the property that the image of the adjoint representation is stable under taking Jordan decomposition).

From (1) one sees a funny phenomenon: while there are uncountably many real (or complex, or $p$-adic) non-isomorphic 3-dimensional Lie algebras, only countably many are Lie algebras of some algebraic group. (If I'm correct, the latter holds up to dimension $6$.)

$\endgroup$
1
$\begingroup$

My suspicion is yes, at least over C, and that the thing to do is take the Zariski closure in GL(V) of the exponentials of the Lie algebra elements. Of course, over random fields, one doesn't have this trick.

Might a trick like looking at the subgroup of GL(V) fixing all invariant polynomials for the Lie algebra work?

$\endgroup$
1
  • $\begingroup$ I'll have to think about it more, but I really like the trick you're proposing. $\endgroup$ Oct 10, 2009 at 20:12
0
$\begingroup$

Over a field that's not C --- well, at least in non-zero characteristic --- , the problem is deeper than Ben suggests: the proof of Ado's theorem that I know requires characteristic zero. I think if the theorem were true in non-zero characteristic Mark Haiman would have said so --- he seemed to suggest in his class that it was not.

Incidentally, you don't really need Ado's theorem, which includes data about the action of the nilpotency ideal, just to find a faithful action. Levi's theorem splits any lie algebra as semisimple semi-direct solvable, and this is enough to find a faithful finite-dimensional representation.

Also, even with Ado's theorem, there's a warning. The Zariski closure, and indeed even the analytic closure, of the image of the exponential might have higher dimension. E.g. the irrational line in the torus.

$\endgroup$
4
  • 2
    $\begingroup$ <a href="en.wikipedia.org/wiki/Ado's_theorem">Wikipedia</…> says Ado is true in all characteristics. $\endgroup$
    – Ben Webster
    Oct 7, 2009 at 21:32
  • 1
    $\begingroup$ same link as Ben posted: en.wikipedia.org/wiki/Ado%27s_theorem $\endgroup$ Oct 8, 2009 at 5:14
  • $\begingroup$ Ah, great. Except it wasn't Ado who proved it, but Iwasawa (1948) and Harish-Chandra (1949), according to Wikipedia. We skipped these theorems in Mark's class, which is why I don't know them. I wonder why Mark didn't mention them... $\endgroup$ Oct 8, 2009 at 6:07
  • $\begingroup$ Well, so, a glance at the paper shows that Harish-Chandra considers only the case when the characteristic is 0, but emphasizes that his proof is entirely algebraic. Iwasawa's paper isn't available online via MathSciNet. $\endgroup$ Oct 8, 2009 at 6:24
0
$\begingroup$

There is a very interesting way in which this statement can fail. If K is a number field and G is an algebraic group over K having good reduction away from N, then a Lie subalgebra h of Lie(G) is going to be algebraic if and only if the reduction mod P for primes P not dividing N is closed under p-th powers.

For example, take G = G_m x G_m over a number field K. and consider the subalgebra of Lie(G) defined by the graph of the map multiplication by a in K. Then this is going to be algebraic if and only if a is in Q.

The above result is proven in Bost's paper "Algebraic Leaves of Algebraic Foliations over Number Fields".

N

$\endgroup$
3
  • 3
    $\begingroup$ This isn't right: any abelian Lie algebra is surely algebraic! $\endgroup$ May 5, 2010 at 7:47
  • $\begingroup$ Yes, but it won't be of the form Lie(H) for a K-algebraic subgroup H of G unless it satisfies the criterion. $\endgroup$
    – Nicolás
    May 5, 2010 at 8:35
  • 2
    $\begingroup$ The word some (algebraic group) in the formulation is crucial $\endgroup$ May 6, 2010 at 0:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.