2 added 627 characters in body

This may be too naive an answer, but from my experience this kind of question fits comfortably into the foundational material for reductive algebraic groups over an algebraically closed field of arbitrary characteristic. This is for example treated in Part I of J.C. Jantzen's 2003 AMS second edition of Representations of Algebraic Groups. There the starting point is the "tensor identity", followed by "generalized tensor identity" for higher derived functors of induction, which translates for the flag variety into the language of vector bundles and sheaf cohomology. This originates basically in classical Frobenius reciprocity for finite groups but becomes quite flexible in situations involving a reductive group, a Borel (or other parabolic) subgroup, and various finite dimensional rational representations. I'm assuming your V is finite dimensional. As Chuck Hague points out, no dualization should occur in your formula.

Most of what goes into the classical Borel-Weil theory has a natural formulation in any characteristic, though Bott's theorem can't be imitated so precisely for nondominant line bundles.

P.S. There are quite a few literature sources (papers by H.H. Andersen, Cline-Parshall-Scott, Donkin, etc.), but Chapter II.5 in Jantzen's book gives a fairly comprehensive treatment in algebraic language of the theorems of Borel-Weil and Bott, along with a derivation of Weyl's character formula. To get back to the classical theory over $\mathbb{C}$ does require some translation of the language. The elegant papers of Demazure using algebraic geometry in characteristic 0 are the underlying inspiration for much of this approach to ideas first developed in the setting of complex geometry or compact Lie groups.

1

This may be too naive an answer, but from my experience this kind of question fits comfortably into the foundational material for reductive algebraic groups over an algebraically closed field of arbitrary characteristic. This is for example treated in Part I of J.C. Jantzen's 2003 AMS second edition of Representations of Algebraic Groups. There the starting point is the "tensor identity", followed by "generalized tensor identity" for higher derived functors of induction, which translates for the flag variety into the language of vector bundles and sheaf cohomology. This originates basically in classical Frobenius reciprocity for finite groups but becomes quite flexible in situations involving a reductive group, a Borel (or other parabolic) subgroup, and various finite dimensional rational representations. I'm assuming your V is finite dimensional. As Chuck Hague points out, no dualization should occur in your formula.

Most of what goes into the classical Borel-Weil theory has a natural formulation in any characteristic, though Bott's theorem can't be imitated so precisely for nondominant line bundles.