Some Results on the Cohomology of Line Bundles on the Three Dimensional Flag Variety

Abstract

Let k be an algebraically closed field of prime characteristic and let G be a semisimple, simply connected, linear algebraic group. It is an open problem to find the cohomology of line bundles on the flag variety $G/B$, where B is a Borel subgroup of G. In this paper we consider this problem in the case of $G=S{L}_3\left(k\right)$ and compute the cohomology for the case when $⟨\lambda ,{\alpha }^{\vee }⟩=-p^{n}a-1$, $(1\le a\le p,n>0)$ or $⟨\lambda ,{\alpha }^{\vee }⟩=-p^n-r$, $(r\ge 2,n\ge 0)$. We also give the corresponding results for the two dimensional modules $N_{\alpha }\left(\lambda \right)$. These results will help us understand the representations of $S{L}_3\left(k\right)$ in the given cases.

1. Introduction

Let k denote an algebraically closed field and let G denote a semisimple, simply connected, linear algebraic group over k. Let B denote a Borel subgroup of G. It is an open problem to compute the cohomology group $H^i(G/B,k_{\lambda })$, where $k_{\lambda }$ denotes the line bundle with highest weight $\lambda$ on $G/B$. For a field of characteristic zero the result is completely known by the famous Borel–Weil–Bott theorem [1]. Moreover, the character of these cohomology groups is given by the Weyl character formula [2]. If k is a field of prime characteristic then the problem is trivially known for $G={\mathrm{SL}}_2\left(k\right)$ (the group of invertible $2\times 2$ matrices with determinant 1). For $G=S{L}_3\left(k\right)$ (the group of invertible $3\times 3$ matrices with determinant 1), Donkin proved some formulas for characters of G [3]. These formulas recursively describe the characters of G. Moreover, these formulas also involve recursion on characters of certain two dimensional modules $N_{\alpha }\left(\lambda \right)$. A considerable amount of labour is required to compute characters using these formulas (example computations are given in [4]). It is an extremely important problem to find simpler (non-recursive) results for G. Several attempts have been made to find a general result [2,4,5,6,7]. A non-recursive description for the characters may also lead to a general description for the cohomology.

In this paper we present some general results for $H^i(S{L}_3/B,k_{\lambda })$. These results, along with the results presented in [5], can significantly simplify the recursion given [3]. We also given some general results for $H^i(S{L}_3/B,N_{\alpha }\left(\lambda \right))$. We first present the general setup of the problem and some known results from literature.

We choose a maximal torus T of G and for an algebraic group H we denote by $\mathrm{mod}\left(H\right)$ the category of finite dimensional (rational) H-modules over k. The group of characters (multiplicative) of T is denoted by $X\left(T\right)$. Let V be a T-module and $\lambda \in X\left(T\right)$ then we write $V^{\lambda }$ for the corresponding weight space of V. If $V^{\lambda }$ is non-zero then $\lambda$ is called a weight of V. We denote the Weyl group of G as W and we take the usual action of W on T and $X\left(T\right)$. Suppose $\mathsf{\Phi }$ is the set of non-zero weights for T, then we denote by $(\mathbb{R}{\otimes }_{\mathbb{Z}}X\left(T\right),\mathsf{\Phi })$ a root system. Let ${\mathsf{\Phi }}^{+}$ denote the set of positive roots. We denote by S the set of simple roots. For $\alpha \in \mathsf{\Phi }$ the corresponding coroot ${\alpha }^{\vee }$ is defined by $\frac{2\alpha }{(\alpha ,\alpha )}$. We denote by $X^{+}\left(T\right)$ the set of dominant weights. The element $\rho$ is defined as the half sum of the positive roots. The action of Weyl group W on $X\left(T\right)$ is defined as $w·\lambda =w(\lambda +\rho )-\rho$. For $\alpha \in S$, we denote by $P_{\alpha }$ the parabolic subgroup containing B which has $\alpha$ as its only positive root. For an algebraic group K and a closed subgroup J we have the induction functor ${\mathrm{Ind}}_J^K:\mathrm{mod}\left(J\right)\to \mathrm{mod}\left(K\right)$. If $J\le K\le H$ and V is a J-module there is a spectral sequence given by $R^{*}{\mathrm{Ind}}_J^{H}V$, with its $E_2$ page $R^i{\mathrm{Ind}}_K^H{R}^j{\mathrm{Ind}}_J^{K}V$. This is called the Grothendieck Spectral sequence. We will also be using its special case when $B\le P_{\alpha }\le G$ given by $R^i{\mathrm{Ind}}_{P_{\alpha }}^G{R}^j{\mathrm{Ind}}_B^{P_{\alpha }}V$ and V a B-module. The dual of V will be denoted by $V^{*}$. For further details see e.g., [2,8,9,10].

If $\lambda \in X\left(T\right)$ then $k_{\lambda }$ denotes the one dimensional B-module on which T acts via $\lambda$. For the rest of this paper we will also denote $k_{\lambda }$ simply by $\lambda$. For a dominant weight, we denote by ${\nabla }_{\alpha }\left(\lambda \right)$ the induced module ${\mathrm{Ind}}_B^{P_{\alpha }}\lambda$. We will denote by $\nabla \left(\lambda \right)$, the induced module ${\mathrm{Ind}}_B^G\lambda$ and define $\Delta \left(\lambda \right)=\nabla {(-w_0\lambda )}^{*}$. We will also use $H^i\left(M\right)$ for $R^i{\mathrm{Ind}}_B^{G}M$. The $P_{\alpha }$-module on which the unipotent radical $R_u\left(P_{\alpha }\right)$ acts trivially will be denoted by $P_{\alpha }/R_u\left(P_{\alpha }\right)$.

We will denote by $F:G\to G$ the Frobenius morphism of G. We know that there exists a unique two dimensional B-module (indecomposable) with character $e\left(0\right)+e(-\alpha )$ [2]. We denote this module by $N\left(\alpha \right)$. We will write $N_{\alpha }\left(\lambda \right)$ for the B-module $\lambda \otimes N\left(\alpha \right)$, $\lambda \in X\left(T\right)$. It is clear that $N_{\alpha }\left(\lambda \right)={\nabla }_{\alpha }\left(\rho \right)\otimes (\lambda -\rho )$.

For $G={\mathrm{SL}}_3\left(k\right)$ we have $\lambda =(a,b),a,b\in \mathbb{Z}$. Also it has two simple roots $\alpha =(2,-1)$ and $\beta =(-1,2)$. If k is a field of prime characteristic then the following results hold.

Theorem 1.

For $\lambda \in X^{+}\left(T\right)$ we have $H^i\left(\lambda \right)=0$ for all $i>0$ [2].

The above theorem is known as the Kempf’s vanishing theorem.

Theorem 2.

Let $n=\dim (G/B)$ then $H^i(G/B,{\mathcal{L}}_M)=0$, for all $i>n$ [2].

Theorem 3.

If $n=\dim (G/B)$ [2], then

$$H^i{(G/B,{\mathcal{L}}_M)}^{*}\simeq H^{n-i}(G/B,{\mathcal{L}}_{(M^{*}\otimes k_{-2\rho })}).$$

The following result is due to H. H. Andersen and it describes the complete vanishing behaviour of the first cohomology modules. Moreover, in the case of non-vanishing cohomology modules it is their highest weight (see e.g., [2]).

Proposition 1.

Suppose k is a field of characteristic p, $\alpha \in S$ and $\lambda \in X\left(T\right)$ with $\langle \lambda ,{\alpha }^{\vee }\rangle \ge 0$.

1. 

Let $\langle \lambda ,{\alpha }^{\vee }\rangle =b{p}^n-1$ for some $b,n\in {\mathbb{Z}}^{+}$ with $0<b<p$. Then

$$H^1(s_{\alpha }·\lambda )\ne 0⟺\lambda \in X^{+}\left(T\right).$$

2. 

Let ${\displaystyle \langle \lambda ,{\alpha }^{\vee }\rangle =\sum _{j=0}^n{a}_j{p}^j}$ with $0\le a_j<p$ and $a_j\ne 0$. Suppose there is some $j<n$ with $a_j<p-1$. Then

$$H^1(s_{\alpha }.\lambda )\ne 0⟺s_{\alpha }.\lambda +a_n{p}^n\alpha \in X^{+}\left(T\right).$$

If λ is dominant then λ is the highest weight of $H^1(s_{\alpha }.\lambda )$. Suppose λ is not dominant and t be smallest integer such that $a_t<p-1$. Let $t^{{}^{\prime }}\ge t$ be minimal for ${\displaystyle \mu =s_{\alpha }.\lambda +\sum _{j=t^{{}^{\prime }}}^n{a}_j{p}^j\alpha \in X^{+}\left(T\right)}$. Then μ is the highest weight, with multiplicity 1, of $H^1(s_{\alpha }.\lambda )$.

The following result describes the vanishing of $R^i{\mathrm{Ind}}_B^{P_{\alpha }}\lambda$ [2].

Proposition 2.

Let $\alpha \in S$ and $\lambda \in X\left(T\right)$.

1. 

If $\langle \lambda ,{\alpha }^{\vee }\rangle =-1$ then $R^i{\mathrm{Ind}}_B^{P_{\alpha }}\lambda =0$ for all i.

2. 

If $\langle \lambda ,{\alpha }^{\vee }\rangle \ge 0$ then $R^i{\mathrm{Ind}}_B^{P_{\alpha }}\lambda =0$ for all $i\ne 0$.

3. 

If $\langle \lambda ,{\alpha }^{\vee }\rangle \le -2$ then $R^i{\mathrm{Ind}}_B^{P_{\alpha }}\lambda =0$ for all $i\ne 1$.

We define ${\mathrm{Ind}}_B^{P_{\alpha }}\lambda {\nabla }_{\alpha }\left(\lambda \right)$.

2. Results

In this section we present our main results. We first say a few words about the case $G=S{L}_2\left(k\right)$. In this case the dimension n of $S{L}_2\left(k\right)/B$ is 1. Therefore by using Theorem 2 we have that $H^i(S{L}_2\left(k\right)/B,\lambda )=0$ whenever $i>1$. We can now use the Serre duality to find $H^1(S{L}_2\left(k\right)/B,\lambda )$. This argument along with the Weyl character formula gives the complete result for $S{L}_2\left(k\right)$.

For $G=S{L}_3\left(k\right)$ we let $a,b\in \mathbb{Z}$ and the collection of dominant weights for ${\mathrm{SL}}_3$ is then given by $X^{+}\left(T\right)=\left\{(a,b)\right|a,b\ge 0\}.$ In case of dominant weights the cohomology is known to be zero by Theorem 2. Without loss of generality we can take $b<0$ (For $a<0$ the result follows from duality). In [3], Donkin also proved that $H^1\left(k_{-p^m\beta }\right)=k$, for $m\ge 0$ and a non-isolated simple root $\beta$. We present some more general results in the following propositions. The following result describes the cohomology for the case when $b=-p^n(r+1)-1$.

Proposition 3.

If $n>0$ then for $0\le r\le p-1$ we have

$$H^i(a,-p^n(r+1)-1)=\left\{\begin{array}{cc}{H}^0(a-p^n(r+1),p^n(r+1)-1),\hfill & a\ge p^n(r+1)\hfill \\ 0,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$$

Proof. 

We use the second page of the spectral sequence to get

$$\begin{array}{cc}\hfill H^i(a,-p^n(r+1)-1)& =R^i{\mathrm{Ind}}_B^G(a,-p^n(r+1)-1)\hfill \end{array}$$

(1)

$$\begin{array}{c}={\mathrm{Ind}}_{P_{\beta }}^G{R}^i{\mathrm{Ind}}_B^{P_{\beta }}(a,-p^n(r+1)-1)\hfill \end{array}$$

(2)

Since $R^i{\mathrm{Ind}}_B^{P_{\beta }}(a,-p^n(r+1)-1)=0$ for each $i\ne 1$. We use Equation (4) to get

$$H^i(a,-p^n(r+1)-1)={\mathrm{Ind}}_{P_{\beta }}^{G}R{\mathrm{Ind}}_B^{P_{\beta }}(a,-p^n(r+1)-1)$$

(3)

We use the Serre duality to get

$$R{\mathrm{Ind}}_B^{P_{\beta }}(a,-p^n(r+1)-1)={\nabla }_{\beta }{(-a+1,p^n(r+1)-1)}^{*}$$

and ${\nabla }_{\beta }{(-a+1,p^n(m+1)-1)}^{*}={\nabla }_{\beta }(a-p^n(r+1),p^n(r+1)-1)$ (From the ${\mathrm{SL}}_2$ case). We plug these values back in Equation (6) to have

$$\begin{array}{cc}\hfill H^i(a,-p^n(r+1)-1)& ={\mathrm{Ind}}_{P_{\beta }}^G{\nabla }_{\beta }(a-p^n(r+1),p^n(r+1)-1)\hfill \\ & ={\mathrm{Ind}}_B^G(a-p^n(r+1),p^n(r+1)-1)\hfill \end{array}$$

Finally ${\mathrm{Ind}}_B^G(a-p^n(r+1),p^n(r+1)-1)\ne 0$ if and only if $a\ge p^n(m+1)$. This completes the proof. □

The following result describes the cohomology when $a,b$ are powers of p.

Proposition 4.

For each positive integer n we have

$$H^i(p^n,-p^n)=H^0(1,p^n-2).$$

Proof. 

As in the proof of the above proposition we have

$$\begin{array}{cc}\hfill H^i(p^n,-p^n)& =R^i{\mathrm{Ind}}_B^G(p^n,-p^n)\hfill \end{array}$$

(4)

$$\begin{array}{c}={\mathrm{Ind}}_{P_{\beta }}^G{R}^i{\mathrm{Ind}}_B^{P_{\beta }}(p^n,-p^n)\hfill \end{array}$$

(5)

Since $R^i{\mathrm{Ind}}_B^{P_{\beta }}(p^n,-p^n)=0$ for each $i\ne 1$. We use Equation (4) to get

$$H^i(p^n,-p^n)={\mathrm{Ind}}_{P_{\beta }}^{G}R{\mathrm{Ind}}_B^{P_{\beta }}(p^n,-p^n)$$

(6)

We use the Serre duality to get

$$R{\mathrm{Ind}}_B^{P_{\beta }}(p^n,-p^n)={\nabla }_{\beta }{(-p^n+1,p^n-2)}^{*}$$

and ${\nabla }_{\beta }{(-p^n+1,p^n-2)}^{*}={\nabla }_{\beta }(1,p^n-2)$ (From the ${\mathrm{SL}}_2$ case). We plug these values back in Equation (6) to have

$$H^i(p^n,-p^n)={\mathrm{Ind}}_B^G(1,p^n-2).$$

This completes the proof. □

The following results describe the vanishing of first cohomology group for the given weights.

Proposition 5.

Let $n\ge 0$ and $m\ge 2$. Then

$$H^1(p^n-1,-p^n-r)=0.$$

Proof. 

By assuming $\lambda =s_{\beta }.(p^n-1,-p^n-m)=(-m,p^n+m-2)$ we have $\langle \lambda ,{\beta }^{\vee }\rangle =p^n+m-2$. If $m=1$ then the above result is true by Proposition 3. If $m>1$ we write (base p-expansion) ${\displaystyle p^n+m-2=\sum _{j=0}^r{a}_j{p}^j}$. So by Proposition 1 case 2, we have

$$H^1(p^n-1,-p^n-m)\ne 0⟺(p^n-1,-p^n-m)+a_r{p}^r(-1,2)\in X^{+}\left(T\right),$$

which is true if and only if $p^n\ge a_r{p}^r+1$ and $2a_r{p}^r\ge p^n+m$. The first inequality gives us $n>r$ but from $n>r$ we have $2a_r{p}^r\ge p^n+m$ is never true. Hence the result. □

The following two results describe the cohomology for the module $N_{\beta }\left(\lambda \right)$, where $\beta =(-1,2)\in S$

Proposition 6.

Let n be a non-negative integer and $m\ge 2$. Then

$$H^1\left(N_{\beta }(p^n-1,-p^n-m)\right)=H^1(p^n,-p^n-m-2).$$

Proof. 

The module $N_{\beta }\left(\lambda \right)$ gives the following short exact sequence

$$0\to (p^n,-p^n-m-2)\to N_{\beta }(p^n-1,-p^n-m)\to (p^n-1,-p^n-m)\to 0.$$

Moreover $H^0(p^n-1,-p^n-m)=0$ and $H^1(p^n-1,-p^n-m)=0$ from Proposition 5. Using the long exact sequence of induction we get

$$0\to H^1(p^n,-p^n-m-2)\to H^1\left(N_{\beta }(p^n-1,-p^n-m)\right)\to 0.$$

and hence the result. □

Proposition 7.

Let n be a non-negative integer and m be a positive integer. We have

$$H^i\left(N_{\beta }(p^n-m,-p^n-1)\right)=H^i(p^n-m+1,-p^n-3).$$

Proof. 

The short exact sequence for $N_{\beta }\left(\lambda \right)$ gives

$$0\to (p^n-m+1,-p^n-3)\to N_{\beta }(p^n-m,-p^n-1)\to (p^n-m,-p^n-1)\to 0.$$

Moreover $H^i(p^n-m,-p^n-1)=0$ for each i (using proposition 3). Therefore from the long exact sequence of induction we get

$$0\to H^i(p^n-m+1,-p^n-3)\to H^i\left(N_{\beta }(p^n-m,-p^n-1)\right)\to 0.$$

and hence the result. □

3. Conclusions

In this paper we computed the cohomology of line bundles on the flag variety $G/B$ for $G=S{L}_3\left(k\right)$ for certain weights. The problem of computing the computing this cohomology for the weights not mentioned here is still open. The problem is also open for every linear algebraic group except $S{L}_2\left(k\right)$.