Comments on: A Lie group which isn’t a matrix group

By: Kevin Lin

Kevin Lin — Sat, 25 Jul 2009 18:03:25 +0000

I have nothing to contribute; I just wanted to say that this is a very nice post, short and sweet.

By: Steven Sam

Steven Sam — Sun, 12 Jul 2009 17:26:54 +0000

Hi Scott:

Thanks for the reference. I will take a look at that.

Your example of 3×3 unipotent upper triangular matrices modulo a copy of the integers in the center looks correct: if a representation is zero on this discrete subgroup, then it is zero on the whole center. Thanks!

By: Scott Carnahan

Scott Carnahan — Sun, 12 Jul 2009 17:04:16 +0000

The existence of nonalgebraic complex tori has been known for quite a long time, and is basically a consequence of a theorem of Lefschetz concerning ampleness of line bundles. You can find a discussion near the beginning of Mumford’s Abelian Varieties, together with an example of a non-compact complex Lie group with two algebraizations, only one of which is linear.

There are some silly non-matrix Lie groups, like permutations of an infinite set. I think a slightly more interesting example (if it is in fact an example) is the quotient of 3×3 unipotent upper triangular matrices by a copy of the integers living in the center.

By: Steven Sam

Steven Sam — Sat, 11 Jul 2009 01:16:29 +0000

Theo: Your first question: by similar example, do you mean does there exist complex Lie groups which aren't matrix groups? The answer is no if the group is semisimple since all such groups are algebraic. It seemed like a hard thing to search for, but there are examples of complex Lie groups which aren't algebraic: certain 2-dimensional tori which are extensions of an elliptic curve by another elliptic curve. I found out about this from this paper: Frans Oort and Yuri Zarhin, Endomorphism algebras of complex tori, Math. Ann. 303 (1995), no. 1, 11--29. I guess this still doesn't give an example of something which isn't linear, oh well. As for your second question: I don't really know anything about Lie groups. Maybe taking all unitary representations is good enough? If that's wrong, I'd guess taking all representations would be enough. I'm still tempted to think this is wrong since Tannaka-Krein duality is stated for compact groups. I'd like to know the answer if you figure it out though.

By: Theo

Theo — Fri, 10 Jul 2009 22:46:07 +0000

I really like this result. I don’t remember, though: is there a similar example over C?

So the interpretation is something like this:

Understanding mappings into matrix groups is precisely the same as understanding the category of finite-dimensional representations of a Lie group. So the subgroups of matrix groups are precisely the ones that can be distinguished by their finite-dimensional representation theory. For example, the algebraic groups can.

What this means, then, is that for understanding real Lie groups, we need to work with a larger category of representations. Do you have a favorite candidate? It shouldn’t be too large: it would be great if the representations have some analytic control.