10 1. THE CLASSICAL THEORY: PART I In general, given a homogeneous space Y = A/B where A is a Lie group and B A is a closed subgroup, and a linear representation r : B Aut E where E is a complex vector space, there is an associated homogeneous vector bundle E := A ×B E Y = A/B where A×B E is the trivial vector bundle A×E factored by the equivalence relation (a, e) (ab, r(b−1)e) where a A, e E, b B. The group A acts on E by a·(a , e) = (aa , e) and there is an A-equivariant action on E Y . There is an evident notion of a morphism of homogeneous vector bundles then E Y is trivial as a homogeneous vector bundle if, and only if, r : B Aut(E) is the restriction to B of a representation of A. Example. Let τ0 H P1 be the reference point. For the standard linear representation of SL2(C) on VC, the Borel subgroup B is the stability group of the flag (0) Vτ1,0 0 VC. It follows that there is over P1 an exact sequence of SL2(C)-homogeneous vector bundles 0 OP1(−1) V OP1(1) 0 where V = P1 × VC with g SL2(C) acting on V by g · ([z],v) = ([gz],gv). The restriction to H of this sequence is an exact sequence of SL2(R)-homogeneous bun- dles 0 V1,0 V V0,1 0. The bundle V1,0 is given by the representation cos θ sin θ sin θ cos θ eiθ of SO(2). Using the form Q the quotient bundle V/V1,0 := V0,1 is identified with the dual bundle V1,0∗. The canonical line bundle is ωP1 OP1(−2). Thus ωH (V1,0)⊗2. Proof. For the Grassmannian Y = Gr(n, E) of n-planes P in a vector space E there is the standard GL(E)-equivariant isomorphism TP Y Hom(P, E/P ). In the case above where E = C2 and z = [ z0 z1 ] P1 we have TzP1 Vz1,0∗ VC/Vz1,0
Previous Page Next Page