Skip to main content
9 of 9
added 2 characters in body
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

An identity for sheaf cohomology of flag varieties

Let $G$ be a connected complex semisimple Lie-group, $T$ a maximal torus and $B$ a Borel subgroup containing it. Let $\phi:G\rightarrow G/B$ denote the projection. Given a representation ($\theta,V$) of $B$, we can define a $G$-equivariant holomorphic vector bundle over the flag variety $X:=G/B$ by $$ G\times_B V :=(G\times V)/\{(g,v)\sim(gb^{-1},\theta(b)v),\forall b\in B\}.$$ Its sheaf of sections $\mathcal{I}(\theta)$ may be described as the holomorphic functions $$\mathcal{I}(\theta)(U)=\{f:\phi^{-1}(U)\rightarrow V \mid f(gb^{-1}) = \theta(b)f(g)\}. $$ $G$ acts on a section by $(gf)(x)=f(g^{-1}x)$.

An integral weight $\lambda$ of $T$ gives a character $\chi_\lambda$ of $B$. Let $\theta\otimes\chi_\lambda$ denote the tensor product of the representations $\theta$ and $\chi_\lambda$. Suppose ($\theta,V$) is the restriction of a representation ($\pi,V$) of $G$, then the associated ($G$-equivariant) vector bundle is trivial (i.e. isomorphic to $ X\times V$ with $(g,(x,v))\mapsto (gx,\pi(g)v)$). Is the identity $$ \mathrm{H}^i(X,\mathcal{I}(\theta\otimes\chi_\lambda))\simeq \mathrm{H}^i(X,\mathcal{I}(\chi_\lambda)) \otimes V $$ as $G$ or $\mathfrak{g}$-modules correct?

Background/Motivation

I have been reading about the Borel-Weil theorem lately, and

Edit: This question arose from an attempt to fix a mistake in a book. The identity is indeed correct and I believe I have found the error elsewhere. Thanks Chuck and Jim!

user6311