A. Algebraic Varieties and Complex Analytic Spaces
Total Page:16
File Type:pdf, Size:1020Kb
A. Algebraic Varieties and Complex Analytic Spaces In this Appendix we compile some results about algebraic varieties over C, complex analytic spaces and their interrelations, which are frequently used in this book. To any algebraic variety X over the complex numbers one can associate a complex analytic space Xhol in a natural way (see Serre [1]). This construction is functorial: for any morphism f : Z → X of algebraic varieties over C there is a natural morphism of complex analytic spaces fhol : Zhol → Xhol. Moreover, many of the important notions in both categories are preserved under X → Xhol. For example: an algebraic variety X is complete if and only if Xhol is compact, and X is smooth if and only if Xhol is a complex manifold. Conversely, a complex analytic space X is called algebraic, if there is an algebraic variety X over C such that X Xhol. In both, the algebraic and the complex analytic category one has the notion of a vector bundle and its associated locally free sheaf. For our purposes it is convenient not to distinguish between these objects: we always speak of vector bundles, even if we mean the associated locally free sheaf. In particular, for a line bundle L on a complex analytic space (respectively algebraic variety) X we denote by H i(X, L), or H i(L) if there is no ambiguity about the base space X, the i-th cohomology group of X with values in the locally free sheaf associated to L. With a similar construction as above one can associate to an algebraic vector bundle (or more generally an algebraic coherent sheaf) F on the algebraic variety X over C a holomorphic vector bundle (respectively a holomorphic coherent sheaf) Fhol over the complex analytic space Xhol. Again this process is functorial: given algebraic vector bundles (respectively coherent sheaves) F and G on X, one can associate to any algebraic homomorphism f : F → G a holomorphic homomorphism fhol : Fhol → Ghol. Not every holomorphic vector bundle on an arbitrary algebraic complex analytic space comes from an algebraic one. However in the case of complete algebraic varieties we have the following comparison theorems due to Serre [1]. Theorem A.1. Let X be a complete algebraic variety over C. a) For any holomorphic vector bundle (respectively holomorphic coherent sheaf) F on Xhol there exists a unique algebraic vector bundle (respectively algebraic coherent sheaf) F such that Fhol F. 568 A. Algebraic Varieties and Complex Analytic Spaces b) For every homomorphism f: F → G of holomorphic coherent sheaves F and G on Xhol there exists a unique homomorphism f : F → G of algebraic coherent sheaves on X such that fhol = f. Theorem A.2. Let X be a complete algebraic variety over C. For any coherent sheaf i i F on X the natural maps H (X, F ) → H (Xhol,Fhol), i ∈ Z, are isomorphisms of C-vector spaces. Thus in the case of a complete algebraic variety X we need not distinguish between algebraic vector bundles on X and holomorphic vector bundles on Xhol. Recall the following theorem due to (see Griffiths-Harris [1]). Theorem A.3. Suppose X is a complete algebraic variety over C and Z a closed analytic subset of Xhol, then there is an algebraic subvariety Z of X, such that Zhol Z. A consequence of Chow’s theorem is Corollary A.4. Suppose X and Z are complete algebraic varieties over C and f : Zhol → Xhol is a holomorphic map. Then there is an algebraic map f : Z → X with fhol = f. Moreover we need the following theorem due to Grauert-Remmert [1]. Theorem A.5. Suppose X is a normal algebraic variety over C and Z is a normal complex analytic space. If f: Z → Xhol is a finite morphism, then there exists a unique normal algebraic variety Z over C and a finite morphism f : Z → X such that Zhol = Z and fhol = f. Next let us recall a result about quotients of complex analytic spaces (see Cartan [1]). For this let G be a group acting as a group of isomorphisms on the complex analytic space X. The quotient X/G, endowed with the quotient topology, admits the structure of a ringed space in a natural way: denote by π : X → X/Gthe canonical projection. Then by definition OX/G(U), for U ⊆ X/Gopen, is the set of functions f : U → C, − for which fπ is an element of OX(π 1U). Moreover recall that the group G acts properly and discontinuously on the complex analytic space X, if for any pair of compact subsets K1,K2 of X the set {g ∈ G|gK1 ∩ K2 =∅}is finite. Then Theorem A.6. Suppose X is a complex analytic space and G is a group, acting properly and discontinuously on X. The quotient X/G is also a complex analytic space. Moreover, if X is normal, so is X/G. In the special case that X is a complex manifold there is a criterion for the quotient X/G to be also a complex manifold. Note that the action of G on X is said to be free, if gx = x for some x ∈ X and g ∈ G implies g = id. Corollary A.7. Let X be a complex manifold and suppose G is a group acting freely and properly discontinuously on X. Then X/G is also a complex manifold. Finally we give a proof of the so-called Seesaw Theorem, which we need in the following version. The same proof works also in the algebraic category. A. Algebraic Varieties and Complex Analytic Spaces 569 Seesaw Theorem A.8. Let X be a connected compact complex manifold, Z are- duced analytic space, and L a holomorphic line bundle on X × Z. a) The set Z0 ={z ∈ Z| L|X ×{z} is trivial} is Zariski-closed in Z. b) If q : X × Z0 → Z0 denotes the projection map, then there is a holomorphic line bundle M on Z0 such that ∗ L X × Z0 q M. Proof. a) Note first that a holomorphic line bundle N on a connected compact com- plex manifold is trivial if and only if h0(N )>0 and h0(N −1)>0. Consequently % & 0 0 −1 Z0 = z ∈ Z | h (L|X × {z})>0 and h (L |X × {z})>0 and the assertion follows from the Semicontinuity Theorem (see Grauert-Remmert [2] Theorem 10.5.4). b) According to the Base Change Theorem (see Grauert [1] p.2 (2)) the sheaf M := q∗(L|X × Z0) is invertible on Z0 and the canonical base change homomorphism ϕ(z) : M(z) → H 0 LX × {z} =∼ C is an isomorphism for every z ∈ Z0. We have to show that the canonical map ∗ ∗ q M = q q∗ L X × Z0 → L X × Z0 is an isomorphism. For this it suffices to show that the induced map ∗ H 0 q MX × {z} → H 0 LX × {z} is surjective for every z ∈ Z0, since L|X ×{z} is trivial. But this is a consequence of the surjectivity of ϕ(z). The following statement is an immediate consequence of the Seesaw Theorem. It is often called the Seesaw Principle. Corollary A.9. Let X and Z be compact complex manifolds and L a holomorphic line bundle on X × Z.IfL|X ×{z} is trivial for all z out of an open dense subset of Z and L|{x0}×Z is trivial for some x0 ∈ X, then L is trivial. B. Line Bundles and Factors of Automorphy In this section we outline how to describe certain line bundles by factors of automor- phy. Though the results are valid in greater generality, we restrict ourselves to the cases needed in this book. Suppose X is a complex manifold (for us X will be a complex torus or the universal abelian variety over the Siegel upper half space), and let π : X → X be the universal covering. The topological space X inherits the structure of a complex manifold in a natural way. We denote by π1(X) the fundamental group of X → X.Inthe notation we omit the base point of the fundamental group. Our aim is to describe those holomorphic line bundles L on X, whose pullback π ∗L is trivial, in terms of the cohomology of the fundamental group π1(X) acting from the left on X. Let us recall the definition of the cohomology group H 1(π (X), H 0(O∗ )) of π (X) 1 X 1 with values in the multiplicative group H 0(O∗ ) of nonvanishing holomorphic func- X tions on X: the action of the fundamental group π1(X) on X induces a π1(X)-module structure on H 0(O∗ ). A holomorphic map f : π (X) × X → C∗ satisfying the co- X 1 cycle relation f (λμ, x)˜ = f(λ,μx)f(μ,˜ x)˜ (1) for all λ, μ ∈ π (X) and x˜ ∈ X is called 1-cocycle of π (X) with values in H 0(O∗ ). 1 1 X Under multiplication these 1-cocycles form an abelian group Z1(π (X), H 0(O∗ )). 1 X For historical reasons we call the elements of the group Z1(π (X), H 0(O∗ )) fac- 1 X tors of automorphy or simply factors. The factors of the form (λ, x)˜ → h(λx)h(˜ x)˜ −1 for some h ∈ H 0(O∗ ) are called boundaries. They form the subgroup X B1(π (X), H 0(O∗ )) of Z1(π (X), H 0(O∗ )). The group H 1(π (X), H 0(O∗ )) is 1 X 1 X 1 X defined to be the quotient H 1(π (X), H 0(O∗ )) = Z1(π (X), H 0(O∗ ))/B1(π (X), H 0(O∗ )) .