1. Complex Vector Bundles and Complex Manifolds Definition 1.1. A

1. Complex Vector Bundles and Complex Manifolds Definition 1.1. A

1. Complex Vector bundles and complex manifolds n Definition 1.1. A complex vector bundle is a fiber bundle with fiber C and structure group GL(n; C). Equivalently, it is a real vector bundle E together with a bundle automor- phism J : E −! E satisfying J 2 = −id. (this is because any vector space with a linear map 2 n J satisfying J = −id has an real basis identifying it with C and J with multiplication by i). The map J is called a complex structure on E. An almost complex structure on a manifold M is a complex structure on E. An almost complex manifold is a manifold together with an almost complex structure. n Definition 1.2. A complex manifold is a manifold with charts τi : Ui −! C which are n −1 homeomorphisms onto open subsets of C and chart changing maps τi ◦ τj : τj(Ui \ Uj) −! τi(Ui \ Uj) equal to biholomorphisms. Holomorphic maps between complex manifolds are defined so that their restriction to each chart is holomorphic. Note that a complex manifold is an almost complex manifold. We have a partial converse to this theorem: Theorem 1.3. (Newlander-Nirenberg)(we wont prove this). An almost complex manifold (M; J) is a complex manifold if: [J(v);J(w)] = J([v; Jw]) + J[J(v); w] + [v; w] for all smooth vector fields v; w. Definition 1.4. A holomorphic vector bundle π : E −! B is a complex manifold E together with a complex base B so that the transition data: Φij : Ui \ Uj −! GL(n; C) are holomorphic maps (here GL(n; C) is a complex vector space). n n Example 1.5. We define CP to be the set of complex lines through the origin in C . We n define the transition maps in the same way as in RP : n+1 Coordinates are given equivalence classes of non-trivial vectors [z0; ··· ; zn] in C where two such vectors are equivalent if they are a scalar multiple of each other. We define Ui = fzi 6= 0g and define: n τi : Ui −! C ; τi([z0; ··· ; zn]) ≡ (z0=zi; ··· ; zi−1=zi; zi+1=zi; ··· ; zn=zi): This has a canonical complex line bundle O(−1) whose fiber over a point [z0; ··· ; zn] is the n+1 line through this point in C . In other words it is the natural map n+1 n πCPn : C − 0 −! CP ; πCPn (z0; ··· ; zn) = [z0; ··· ; zn]: These are holomorphic vector bundles with trivializations over Ui given by τ : π−1 (U ) −! U × ; τ (z ; ··· ; z ) ≡ ([z ; ··· ; z ]; z =z ) i CPn i i C i 0 n 0 n k i for some choice of k 6= i. ) More generally we can define Grk(C to be the set of k-dimensional vector spaces in exactly n the same way as we did for Grk(R ). This is a complex manifold with a canonical complex k bundle γn(C). Exercise: show that the above manifolds and bundles are holomorphic. Example 1.6. If π : E −! B is a real vector bundle then E ⊗ C is a complex vector bundle. Lemma 1.7. If π : E −! B is a complex vector bundle then ER (the underlying real vector bundle) is oriented. 1 2 Proof. The choice of orientation comes from the fact that GL(n; C) are orientation preserving n maps and C has a canonical orientation sending (xj +iyj)j2f1;··· ;ng to x1^y1^· · ·^xn^yn. As a result, all complex vector bundles have Euler classes. 1 n We define Grk(C ) as the direct limit of Grk(C ) as n goes to infinity. This is a complex vector bundle (it is no longer holomorphic). The following theorem has exactly the same proof as the corresponding theorem over R: n Theorem 1.8. Grk(C ) is the classifying space for complex vector bundles. 1 More precisely: Let [B; Grn(C )] be the set of continuous maps B −! K up to homotopy for some CW complex B. Let V ectn (B) be the set of isomorphism classes of complex vector C bundles over B of rank k. In other words the map: 1 n ∗ l 1 i :[B; Grn(C )] −! V ectC(B); i(f) ≡ f γn(C); 8 f : B −! Grn(C ) is a bijection. 1 n 1 Theorem 1.9. Let hn :(CP ) −! Grn(C ) be the classifying map for the bundle n ∗ 1 1 n 1 ⊕i=1pi γ1(C) where pi :(CP ) −! CP is the projection map to the ith factor. ∗ 1 ∗ 1 n Then H (CP ; Z) = Z[u] as a ring where u has degree 2 and hence H ((CP ) ; Z) = Z[u1; ··· ; un] as a ring where u1; ··· ; un has degree 2. ∗ ∗ 1 ∗ 1 n Also the natural map hn : H (Grn(C ); Z) −! H ((CP ) ; Z) = Z[u1; ··· ; un] is injective with image equal to Z[σ1; ··· ; σn] where σj is the jth symmetric polynomial in u1; ··· ; uk. Definition 1.10. The k-th Chern class ck(E) of a complex vector bundle π : E −! B is ∗ k 1 defined to be f σk 2 H (B; Z) where f : B −! Grk(C ) is the classifying map for E. ∗ We define c(E) ≡ c1(E) + c2(E) + · · · 2 Hb (B; Z) to be the total Chern class of E. 2k Proposition 1.11. The Chern classes ck(E) 2 H (B) satisfy the following axioms and are uniquely characterized by them: • Dimension: c0(E) = 1 and ck(E) = 0 for all k > 2n where n is the rank of our bundle. • Naturality: Any two isomorphic complex bundles have the same chern classes. Also 0 ∗ ∗ if f : B −! B is continuous then ck(f (E)) = f (ck(E)). • Whitney Sum: For two complex vector bundles π1 : E1 −! B and π2 : E2 −! B we have that k X ck(E1 ⊕ E2) = cj(E1) [ ck−j(E2): j=0 ∗ 1 2 • Normalization: c1(OCP1 (−1)) = −u where H (CP ; Z) = Z[u]=u , where u has degree 2.. The proof is very similar to the analogous proof for Stiefel Whitney classes. (Exercise). 1 We will now classify all complex vector bundles over CP . We need some preliminary lemmas. Lemma 1.12. Let G be a lie group and let H be a closed lie subgroup. Then the coset space G=H is a manifold and the quotient map G −! G=H is a fiber bundle with fiber diffeomorphic to H. We won't prove this, we will just use it in the next lemma. ∗ Lemma 1.13. The determinant map det : Gl(k; C) −! C is an isomorphism on π1 and hence π1(Gl(k; C)) = Z. 3 Proof. By induction it is sufficient for us to show that Gl(k − 1; C) −! Gl(k; C) is an 1 k isomorphism on π for k > 1. Now Gl(k; C) acts transitively on C − 0 and has stabilizer subgroup is isomorphic to the subgroup G ⊂ GL(k; C) consisting of invertible matrices of the form: 0 1 ? ··· ? 1 B 0 ? ··· ? C B C B . C : @ . A 0 ? ··· ? k This means that the quotient Gl(k; C)=G is diffeomorphic to C − 0 and hence Gl(k; C) is a k fiber bundle over C − 0 with fiber diffeomorphic to G. We have that G deformation retracts on to GL(k − 1; C) and this deformation retraction ht : G −! G; t 2 [0; 1] is given by 0 1 0 1 1 x1 ··· xk 1 tx1 ··· txk B 0 ? ··· ? C B 0 ? ··· ? C B C B C ht B . C = B . C : @ . A @ . A 0 ? ··· ? 0 ? ··· ? 0 1 0 ··· 0 1 B 0 ? ··· ? C B C Here GL(n; k) is identified with invertible matrices of the form: B . C : @ . A 0 ? ··· ? k Since Gl(k; C) is a fiber bundle over C − 0 with fiber homotopic to GL(k − 1; C) we get a long exact sequence: k k π2(C − 0) −! π1(Gl(k − 1; C)) −! π1(Gl(k; C)) −! π1(C − 0): k k Since C − 0 is homotopic to a sphere of dimension 2k − 1, we get that πj(C − 0) = 0 for j = 1; 2 as k > 1. Therefore the map π1(Gl(k − 1; C)) −! π1(Gl(k; C)) is an isomorphism and we are done by induction. 1 Lemma 1.14. Complex vector bundles of rank n over CP are classified by their first Chern class. There is exactly one such bundle with Chern class mu for each m 2 Z and this is n−1 ⊗−m isomorphic to OCP1 (m) ⊕ C where OCP1 (m) ≡ OCP1 (−1) . 1 2 1 Proof. All such bundles are classified by homotopy classes of maps from CP = S to Grn(C ) 1 1 n and hence by π2(Grn(C )). Let Vn −! Grn(C ) be the frame bundle of γ1(C) (i.e. the bundle whose fiber at a point is the set of bases of that fiber). This is a principal GL(n; C) 1 bundle and since Grn(C ) is a classifying space, we have that Vn is contractible. Hence we have a homotopy long exact sequence: 1 π2(Vn) −! π2(Grn(C )) −! π1(GL(n; C)) −! π1(Vn): 1 Since πi(Vn) = 0 for i = 1; 2, we get that π2(Grn(C )) = π1(Gl(n; C)) = Z by the previous lemma. 1 1 Since π2(Grn(C )) = Z we have that complex vector bundles of rank n over CP are classified by Z. A bundle representing m 2 Z is built using the clutching construction: 4 1 Let [z; w] be homogeneous coordinates for CP and let U1 = fz 6= 0g and U2 = fw 6= 0g.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    5 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us