Skip to main content
1 of 3
Torsten Ekedahl
  • 22.6k
  • 2
  • 81
  • 98

After some thought my pessimism (as expressed in my concurrence with the answer of Milne) has abated somewhat. If I were bold enough I would conjecture the following (assuming that the characteristic zero base field is algebraically closed): Let $\mathfrak g$ be a finite dimensional Lie algebra over $k$ and let $G$ be the pro-algebraic group whose representation tensor category is equivalent to the tensor category of finite dimensional $\mathfrak g$-modules. Then if $S$ is the (pro-)radical of $G$ and $U$ the (pro-)unipotent radical $U$ and $G/S$ are algebraic groups (unipotent and semi-simple respectively). Furthmore, the pro-torus $T:=S/U$ has as character group $\mathfrak{u}/[\mathfrak{g},\mathfrak{u}]$ considered as an additive group. Hence the only infinite-dimensional part is $T$ but its character group, \emph{à priori} only an abstract group, is reasonably well controlled. This is analogous to the case of irreducible infinite-dimensional representations of a semi-simple Lie group where the center of the enveloping algebra acts by a character and the set of characters as a set is very large. However it is the set of $k$-points of an algebraic variety which means that it is under control. The analogy goes further as the category of $G$-representations (assuming $U$ is finite dimensional) splits up into a direct product of categories parametrised by cosets of the character group of $T$ with respect to the subgroup generated by the characters occurring in the action of $T$ on the Lie algebra of $U$.

Here are some comments on the conjecture (I do not vouch for the complete veracity of my claims).

We can get a picture of $G/U$ by looking at the irreducible $\mathfrak g$-representations (as they correspond exactly to the irreducible $G/U$-representations). All such representations factor through $\mathfrak g/[\mathfrak{g},\mathfrak{u}]$ which is the product of $\mathfrak{u}/[\mathfrak{g},\mathfrak{u}]$ and $\mathfrak g/\mathfrak{u}$. Hence, the irreducible representations are parametrised by pairs of a $1$-dimensional representation of $\mathfrak{u}/[\mathfrak{g},\mathfrak{u}]$ and an irreducible representation of the semi-simple algebra $\mathfrak g/\mathfrak{u}$. This gives the prediction that $G/U$ should be the product of a torus with character group $\mathfrak{u}/[\mathfrak{g},\mathfrak{u}]$ and the simply-connected semi-simple group with Lie algebra $\mathfrak g/\mathfrak{u}$.

As for $U$, the idea is that the category of unipotent representations (i.e., successive extensions of the trivial representation) of $\mathfrak g$ is equivalent to the category of representations of the unipotent group with Lie algebra $\mathfrak g'$, the maximal unipotent quotient of $\mathfrak g$. Something similar ought to be true for successive extension of the same irreducible representation and there shouldn't be too much "intermixing" between different irreducibles.

Torsten Ekedahl
  • 22.6k
  • 2
  • 81
  • 98