Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

My question is regarding Broer's paper "Line bundles on the cotangent bundle of the flag variety" (see http://www.springerlink.com/content/t41418q436524515/). Given the Springer resolution, and its projection to the flag variety, $p: \mathcal{T} = G \times_{B} \mathfrak{u} \rightarrow G/B$; the aim is to prove that for $\lambda \in \Lambda^+$, if $L_{T}(k_{\chi})$ denotes the pull-back of the line-bundle $L_{G/B}(k_{\chi})$ under $p$, then $H^{i}(\mathcal{T}, L_T(k_{\chi})^{*}) = 0$. Specifically, I am asking about the contents on pg $6-7$ of this paper, proving the direction $(3) \rightarrow (1)$ of Theorem $2.4$. My main question is about the hypercohomology spectral sequence techniques that Broer uses; I know the bare basics of spectral sequences, but I wasn't able to find a solid reference for hypercohomology spectral sequences in McLeary, Bott/Tu and some other pdf's I tried looking at. The wiki page on hypercohomology does mention spectral sequences but not in sufficient depth.

Question 1: Broer looks at $X = G \times_B \mathfrak{g}$, and a certain section of the the vector bundle $G \times_B (\mathfrak{g} \times \mathfrak{g}/\mathfrak{u})$ on $X$; apparently there is a Koszul resolution of $O_T$ as an $O_X$-module. How does $O_T$, and the line bundle on $T$, $L_{T}(k_{\chi})^{*}$, acquire the structure of an $O_X$-module? Of course the ideal sheaf corresponding to $T$ is an $O_X$ module, but that doesn't seem to be what he is referring to. Here I refer to the second paragraph of $2.12$. Also, given that $X \cong G/B \times \mathfrak{g} $, how do we conclude that $H^i(X, L_X(\wedge^{i}(\mathfrak{g}/\mathfrak{u}) \times k_{\chi} )^{*}) \cong k[\mathfrak{g}] \otimes H^i(G/B, L_{G/B}(\wedge^{i}(\mathfrak{g}/\mathfrak{u}) \times k_{\chi})^{*})$?

Question 2: In the last paragraph on pg $6$, he says there is a spectral sequence of graded $k[\mathfrak{g}]$-modules, with $E_1^{-j,i} = k[\mathfrak{g}] \otimes H^i(G/B, L_{G/B}(\wedge^{i}(\mathfrak{g}/\mathfrak{u}) \times k_{\chi})^{*})$. How do we construct this spectral sequence? (I am presuming this is a hypercohomology spectral sequence coming from the Koszul resolution above, but I don't understand hypercohomology spectral sequences).

Question 3: At the start of pg $7$: supposing $V_{\nu}^{*}$ occurs in $H^i(G/B, L_{G/B}(\wedge^{i}(\mathfrak{g}/\mathfrak{u}) \times k_{\chi})^{*})$, where $i-j$ is chosen to be maximal for this cohomology to not vanish; then why does a basis correspond to free generators in $E_1^{-j,i}$ of degree $j$? I do not quite understand how Nakayama is being applied here. Why do all elements in $E_1^{-j-1,i}$ have degree larger than $j$?

Question 4: After deducing that $V_{\nu}$ occurs in $H^{i-j}(T, L_T(k_{\chi}))$, he says that any weight of $S^m \mathfrak{u} \otimes k_{\chi}$ is of the form $\chi + \phi$, where $\phi \geq 0$. Why does this imply that $\nu + \rho = w(\chi + \psi + \rho) \geq \chi + \psi + \rho$, for some $\psi \geq 0$ and $l(w) = i-j$?

share|improve this question
3  
I don't know the answers to your questions, but there is a section on this in Brion, Kumar "Frobenius Splitting Methods in Geometry and Representation Theory" (5.2, p.169) where they reprove (some of) Broer's results in all characteristics. –  Piotr Achinger May 31 '11 at 8:10
    
Thanks! That book seems really good and has more details, and it seems to contain the statement I need - I'll have a look. –  Vinoth May 31 '11 at 11:58

2 Answers 2

up vote 2 down vote accepted

For your first question, let $i : T \hookrightarrow X$ be the inclusion; then $\mathcal O_T$ becomes a $\mathcal O_X$-module by identifying $\mathcal O_T$ with $i_* \mathcal O_T$, an $\mathcal O_X$-module. The isomorphism you ask about comes from the following general principle: For any rational $B$-modules $M$ and $N$, let $\pi : G \times^B M \to G/B$ be the projection and consider the $\mathcal O_{G \times^B M}$ module $\mathcal L_M(N) := \pi^* \mathcal L(N)$. Then, by the projection formula, $$\pi_* \pi^* \mathcal L_M(N) \cong \mathcal L(N) \otimes \pi_* \mathcal O_{G \times^B M} \cong \mathcal L(N) \otimes \mathcal L( S^\bullet( M^* ) ) .$$ This implies that $$ H^0( G \times^B M, \mathcal L_M(N) ) \cong H^0( G/B, \mathcal L(N) \otimes \mathcal L( S^\bullet( M^* ) ) .$$ Applying this principle in the particular case where $M = \mathfrak g$ and using the fact that $\mathcal L(S^\bullet(\mathfrak g^*)) \cong \mathcal L(k[ \mathfrak g ])$ is a free $ \mathcal O_{G/B} $-module gives the result.

I don't off the top of my head know the answers to your other questions, but I would second the recommendation to look at Brion-Kumar. Also, if you just want to know the characteristic 0 story, you can look at Broer's later paper, Normality of some Nilpotent Varieties and Cohomology of Line Bundles on the Cotangent Bundle of the Flag Variety. In that paper he gives a much simpler proof (using Grauert-Riemenschneider) of the cohomology vanishing result for dominant weights (Theorem 2.2); however, the full vanishing theorem that you're looking at requires more work, since it involves vanishing for some nondominant weights too. He reproves that theorem in this paper as well. I don't know exactly what results you want, but I would recommend looking at Broer's later paper; it's a lot easier to read and avoids the spectral sequence arguments. It's also worth mentioning that the method of proof used by Brion-Kumar involves Frobenius splitting and is a very different argument than the one Broer gives; their result is stronger, since it's in positive characteristic.

share|improve this answer
    
Thanks! I need specifically to know that cohomology vanishes for the line bundles on the Springer resolution for dominant weights, as I am trying to prove an analogue of this in slightly different setting. Do you know where I can find a copy of the paper of Broer that you mention? I was unable to find a copy on mathscinet. –  Vinoth Jun 1 '11 at 4:01
1  
The paper is in the Birkhauser Progress in Math series, number 123 (Lie Theory and Geometry). It should be available from a university library. Unfortunately I don't think it's available online. Alternatively, you can look at my paper here: arxiv.org/abs/0803.3424 -- in that paper, I give a slightly more general proof than Broer's, but it uses the same proof technique; see section 4.3, in particular theorems 4.14 and 4.15. The case P = B is the one you're interested in. –  Chuck Hague Jun 1 '11 at 17:55
    
Thanks - I've managed to locate Broer's later paper, and it has a very clean argument using Kodaira vanishing theorem when the weight is dominant; that argument also takes care of the variation that I need. –  Vinoth Jul 5 '11 at 3:57

This topic (pushing forward twisted Koszul complexes) is discussed in detail in Chapter 5 of Jerzy Weyman's book Cohomology of Vector Bundles and Syzygies. In particular, you'll probably be interested in Sections 5.1-5.2.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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