2
$\begingroup$

Indeed,I'm reading the book《representation theory and complex geometry》,there is a proof of the fact that Pic(G)is trivial when G is a simple-connected semisimple algebraic group over C,but the proof is not self-contained,it use some results from representation theory in BGG's article《schubert cells and cohomology of the space G/P. So I'm wondering whether there are other ways to show this fact. And whether the assertion still holds ture when we change the base field C. thanks for all the comments

$\endgroup$
10
  • $\begingroup$ Note that the question and header need more editing, but aside from that the tag "algebraic" is not at all useful (and not useful for the few other questions which have that tag). $\endgroup$ May 15, 2012 at 13:45
  • 1
    $\begingroup$ I think this fact is "morally" related to the fact that Lie algebra cohomology H^2(g) = 0 for semisimple g, which is rather simple. The relations between the two are standard ideas: topological line bundles are classified by H^2(M,Z) - probably representatives can be chosen invariant so we come to H^2(G) which is the same as H^2(g). These arguments are full of gaps... Probably the main gap that algebraic line bundle may have trivial degree, but be non-trivial, so vanishing of its represenative in H^2(M,Z) does mean that it is trivial. Is there a way to fill them ? $\endgroup$ May 15, 2012 at 14:27
  • $\begingroup$ Note that it is easy to see that $\mathrm{Pic}(G)$ is torsion free. Torsion elements in $\mathrm{Pic}(G)$ give rise to étale covers, which must necessarily be trivial as the group is simply connected. In particular see this question: mathoverflow.net/questions/32766/… $\endgroup$ May 16, 2012 at 7:25
  • $\begingroup$ @Daniel: I think "torsion free" applies just when you have a projective variety, not an affine algebraic group where Pic can be finite but nontrivial. $\endgroup$ May 16, 2012 at 21:33
  • 1
    $\begingroup$ @Jim: I think there may be some confusion, I never claimed that $Pic(G)$ is torsion free for arbitrary $G$ (indeed it can be non-zero and finite as your point out), only that it is torsion free when $G$ is simply connected. I think my small comment earlier has received more attention than I intended. Hopefully everything is now clarified. $\endgroup$ May 25, 2012 at 20:27

2 Answers 2

7
$\begingroup$

The question needs a little more detail, including precise references (for instance to the book by Chriss and Ginzburg). Aside from that, there is a fairly long history of related study in a wider context, for example an old article by V.L. Popov (in a journal translated into English): "Picard groups of homogeneous spaces of linear algebraic groups and one-dimensional homogeneous vector fiberings" (Russian), Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974), 294–322.

Popov works over an arbitrary algebraically closed field, where among other things he can show that the Picard group is trivial for a connected simply connected algebraic group.

ADDED: I should add a 1976 reference which is probably more helpful and which also has numerous references back to the original literature. This is a paper by Birger Iversen, "The geometry of algebraic groups", Adv. in Math. 20 (1976), 57-85. An important source for example is the work of Chevalley in the 1950s.

In any case, what proof of triviality you like best will depend a lot on what you already know about algebraic groups and algebraic geometry. Different approaches are possible.

Concerning the use of representation theory by BGG (and others), it should be emphasized that only the most elementary characteristic-free ideas are actually involved (as in Chevalley's seminars). To study line bundles for a connected semisimple group in any characteristic, it's natural to associate them with characters of a maximal torus and related geometrically constructed finite dimensional representations. In turn, being "simply connected" in Chevalley's general sense just involves the position of the root lattice inside the full weight lattice. While the fine details of representation theory in prime characteristic involve questions still not fully answered, none of this is needed for the study of Picard groups.

$\endgroup$
2
  • $\begingroup$ what if field is not alg. closed ? Is the result is true ? Or the question is not well posed in this situation ? $\endgroup$ May 15, 2012 at 18:15
  • $\begingroup$ @Alexander: I've never gone into the details, but from what I understand the vanishing result holds for any connected, simply connected semisimple group defined over an arbitrary field. Of course, one is dealing with the algebraic group itself and not its group of rational points (possibly finite, etc.). It's not clear to me how explicitly this is treated in the literature, and I'm certainly not an expert. $\endgroup$ May 16, 2012 at 21:31
4
$\begingroup$

You can find a proof of the fact that $\mathrm{Pic}(G)$ is trivial when $G$ is a simply-connected semisimple algebraic group over $\mathbb{C}$ in Section 4 (Proposition 4.6) of Local properties of algebraic group actions by F. Knop, H. Kraft, D. Luna and T. Vust [in: "Algebraische Transformationsgruppen und Invariantentheorie" (H. Kraft, P. Slodowy, T. Springer eds.) DMV-Seminar 13, Birkhäuser Verlag (Basel-Boston) (1989), pp. 63-76].

$\endgroup$
1
  • $\begingroup$ @Bart: This is a useful reference, but note that the authors confine their treatment to characteristic 0 (where the notion of "simply connected" is for instance more straightforward). They do however remark that their main results seem to be true for any characteristic, leaving it to the reader to sort that out. $\endgroup$ May 15, 2012 at 17:32

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.