Let $\mathfrak{g}$ be a semi-simple Lie algebra (eg. $\mathfrak{g} = \mathfrak{sl}_n$), defined over an algebraically closed field $\textbf{k}$ with characteristic $p >> 0$. The center $Z(U\mathfrak{g})$ of the universal enveloping algebra is generated by the Frobenius center $Z_{\text{Fr}}$, and the Harish-Chandra center $Z_{\text{HC}}$. Let $\mathcal{C}_{\lambda, e} = \text{Mod}_{\lambda, e}(\text{U} \mathfrak{g})$ be the category of modules where $Z_{\text{Fr}}$ acts via $e \in \mathfrak{g}^*$, and $Z_{\text{HC}}$ acts via $\mu \in \mathfrak{h}^*//W$. I would be happy with an answer for the following question when $e=0$ (this case is closely related to representations of the first Frobenius kernel $G^{(1)}$).

My question is about how one can compute the projective covers of the irreducible objects in $\mathcal{C}_{\lambda, e}$. A parametrization of the irreducibles is well-known (as quotients of baby Verma modules). In category $\mathcal{O}$, the projective covers can be computed by applying translation functors to Verma modules, and taking summands. I'm looking for something roughly along these lines, and I would like to understand the cases $\mathfrak{g}=\mathfrak{sl}_2, \mathfrak{sl}_3$ very explicitly (including the cases where $\mu$ is a singular weight).

EDIT: Since the general version of the question seems to be out of reach, I'd be happy with an answer in the case of $\mathfrak{g}=\mathfrak{sl}_3$, $e=0$, and a possibly singular Harish-Chandra character.

  • 2
    $\begingroup$ The case $e=0$ and $\mathfrak{g} = \mathfrak{sl}_2$ was worked out in the 1967 PhD thesis of Richard Pollack, titled "Restricted Lie algebras of bounded type." I think a summary of his results was published in the Bulletin of the AMS. But in general, I think relatively little is known about the projective indecomposable modules, even in the case $e=0$. Some good references to start with could be "Representations of Algebraic Groups" by Jens Janztzen, or James Humphreys' "Modular Representations of Finite Groups of Lie Type." (I fully expect Jim to post a detailed answer to your quetion.) $\endgroup$ – Christopher Drupieski Jul 14 '16 at 11:58
  • $\begingroup$ Thanks for the reference! I found the paper here, and it seems helpful: projecteuclid.org/euclid.bams/1183529540 $\endgroup$ – Vinoth Jul 16 '16 at 14:28

It's fairly easy to answer your basic question in the second paragraph: at present there is no guaranteed method for computing these projectives, though quite a bit of work has been done in recent decades. But your first paragraph introduces too broad a setting for the case you call $e=0$ (usually written as $\chi =0$ where $\chi$ is a "nilpotent" linear functional on $\mathfrak{g}$). Studying all simple modules (= irreducible representations) of the universal enveloping algebra is a far more complicated problem, for which you can consult my 1998 AMS Bulletin survey and its references. (Note too that "semisimple" has various connotations in prime characteristic. Instead what you really want is the Lie algebra of a connected simple algebraic group such as $\mathrm{SL}_n$.)

As Drupieski indicates in his comment, there is an extensive treatment of representations of these algebraic groups and related schemes involving the Frobenius kernels in Jantzen's 1987 Academic Press book Representations of Algebraic Groups, later republished with many additions and corrections by AMS in 2003. See especially his Chapter II.11, keeping in mind that projective = injective in the finite dimensional algebras attached to Frobenius kernels (e.g., the restricted enveloping algebra of the Lie algebra itself).

The history goes back many decades, with some small rank examples of the sort you indicate treated rather explicitly in papers by me and others. A basic theme is the parallel between the finite dimensional algebras just mentioned and the more complicated group algebras of Chevalley groups or twisted analogues. For example, these share the same simple modules for corresponding powers of $p$. The hope (realized so far for $p \geq 2h-2$ with $h$ the Coxeter number of the Weyl group, thanks to Ballard and Jantzen) has been to lift indecomposable projectives for the Frobenius kernels to the algebraic group and then restrict to finite subgroups followed by further decomposition when needed. My correspondence with Verma in the early 1970s made me overconfident of doing this lifting easily, so our "theorem" became a problem (not quite a conjecture, since it may turn out to be false for small $p$).

One flawed early source is the informal 1976 Springer lecture note volume I wrote, in which useful details are mixed with some errors and oversimplified arguments. A more reliable source is the 2006 LMS lecture notes I wrote to complement Jantzen's book, which has a large number of references; see especially Chapters 9-10 there (and online corrections). Some papers by me and others in the 1970s and 1980s worked out more details for small rank groups and Lie algebras. For all of this see my publication list here. By now there is a lot of related literature, partly because the fundamental questions about simple modules, projective covers, etc., remain unsolved. But examples in low ranks can be useful to study. Everywhere a basic role is played by tensoring with Steinberg modules (for powers of $p$), in the spirit of Jantzen's translation functors. But decomposing such tensor products is typically difficult even after the block decomposition is known (via what I called "linkage").

  • 1
    $\begingroup$ Keep in mind that these first examples are misleading because the composition factor multiplicities involved are all 1; this changes when you get to $G_2$ where the more subtle ideas of Jantzen and Lusztig are needed. The first nine sections of my 1976 Springer lecture notes 528 (aside from the over-simplified "Theorem" 8.2) survey what was known then, though notation later evolved a lot. My 1971 J. Algebra paper (now available online) gave more details, but Jantzen's book (Part II) has much-improved foundations for representations of algebraic groups and Frobenius kernels. $\endgroup$ – Jim Humphreys Jul 16 '16 at 18:15
  • 1
    $\begingroup$ @Vinoth: Representation theory of the first Frobenius kernel is equivalent to that of the restricted Lie algebra, whereas higher Frobenius kernels have no direct Lie algebra analogue. The small rank examples are somewhat misleading due to multiplicity 1. You might find my old lecture notes (and Jantzen's) in the 1980 conference volume from a Durham summer school useful: Finite Simple Groups II, ed. M.J. Collins, Academic Press. For instance I included a picture of $B_2$ alcoves and weights for $p=5$. Jantzen's student Mertens gave more details on $G_2$ (unpublished Diplom). $\endgroup$ – Jim Humphreys Jul 18 '16 at 22:44
  • 1
    $\begingroup$ P.S. Projective covers for the Lie algebras and finite groups in these small rank cases are also worked out in the references I gave. Only $G_2$ shows the growing complexity, however. $\endgroup$ – Jim Humphreys Jul 18 '16 at 22:46
  • 1
    $\begingroup$ The development was tangled, but the summary in Sections 5-6 of my Springer Lecture Notes 528 (1976) may help. The basic idea is to work with standard intermediate modules ("baby Verma modules") and a reciprocity rule relating them to projectives and simple modules [a prototype of BGG reciprocity in category $\mathcal{O}$]. For type $A_2$ the basics are easy, but $G_2$ (or higher ranks) gets intricate; only two alcoves for an affine Weyl group are needed here, and lifting a PIM to the algebraic group is easy. What I call $Q_\lambda$ becomes Jantzen's $Q_1(\lambda)$. $\endgroup$ – Jim Humphreys Jul 20 '16 at 15:36
  • 1
    $\begingroup$ @Vinoth: Let's continue the conversation by email, since this thread is getting too long. Anyway, Jantzen's mixed schemes $G_r T$ provide the right framework here. Lie algebra theory alone loses track of weights in prime characteristic. $\endgroup$ – Jim Humphreys Jul 27 '16 at 18:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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