5
$\begingroup$

In the theory of reductive algebraic groups, there is the following map (notation: $G$ reductive over an algebraically closed field, $T$ a maximal torus, $B$ a Borel, $X(T)$ the characters of $T$, $Pic^G$ denotes the group of isomorphism classes of $G$-equivariant line bundles):

$$X(T) \to Pic^G(G/B), \lambda \mapsto \mathcal O(-\lambda) := G \times^B {k_\lambda}$$

My questions:

  1. Is (analogously to $Pic(S) = H^1(S, \mathcal O^\times)$) $Pic^G$ expressible as some cohomology group?
  2. Is the above map some kind of connection homomorphism or does it have another cohomological interpretation?

Thank you!

Improve this question
$\endgroup$
5
  • 1
    $\begingroup$ Could you include a reference to where in Jantzen's book this appears? $\endgroup$
    – Tobias Kildetoft
    Commented Nov 2, 2016 at 12:38
  • 3
    $\begingroup$ $Pic^G(X)$ is the same cohomology group of the quotient stack $[X/G]$ in the smooth or fppf topology: $H^1_{fppf}([X/G],\mathcal O^\times)$. $\endgroup$
    – Marc Hoyois
    Commented Nov 2, 2016 at 13:29
  • $\begingroup$ @TobiasKildetoft: the functor $\lambda \mapsto \mathcal O(-\lambda)$ is ubiquitous in Jantzen, I.2.7, for example. I currently don't find the fact that it yields a morphism as stated in my question; I seem to have read this somewhere else. $\endgroup$
    – Jakob
    Commented Nov 2, 2016 at 14:52
  • $\begingroup$ You might mean II.2.7, though I don't see how it appears there either. I asked because he for example does not as far as I can remember use the notation $\operatorname{Pic}^G(G/B)$ anywhere. $\endgroup$
    – Tobias Kildetoft
    Commented Nov 2, 2016 at 18:48
  • $\begingroup$ I have removed the reference to Jantzen to avoid confusion. $\endgroup$
    – Jakob
    Commented Nov 3, 2016 at 19:48

1 Answer 1

Reset to default
6
$\begingroup$

See Theorem 4.2.2 in https://www-fourier.ujf-grenoble.fr/~mbrion/lin.pdf

In particular, in your example properness of $X=G/B$ simplifies the left part of the sequence, turning it into $$0\to \hat{G}\xrightarrow{\gamma} Pic_G(X)\to Pic(X)\to Pic(G\times X)$$ where $\hat{G}$ is the group of characters of $G$ and $\gamma$ maps $\chi$ to $X\times_G \chi$. The map $Pic_G(X)\to Pic(X)$ is just the forgetting map, for the definition of the last one, see the text.

Also, if $G$ is affine, as in your case, $Pic(G\times X)=Pic(X)\times Pic(G)$(I write $=$ instead of $\cong$ to emphasise that the isomorphism is given by projection maps) so, applying Proposition 4.2.3, we get $$0\to \hat{G}\to Pic_G(X)\to Pic(X)\to Pic(G)$$

Edit: As Marc Hoyois mentions, if $X$ is a $G$-bundle over $Y$, then $Pic_G(X)=Pic(Y)$, see lemma 3.3.1

Improve this answer
$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .