DOCSLIB.ORG

Complex Surfaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Complex Surfaces Complex Surfaces Andrew Kobin Spring 2019 Contents Contents Contents 0 Introduction 1 1 Complex Manifolds 2 1.1 Holomorphic Functions . .2 1.2 Complex Manifolds . .3 1.3 Dolbeault Cohomology . .6 1.4 K¨ahlerManifolds . .8 1.5 Analytic Varieties . 13 1.6 Divisors, Line Bundles and Sections . 15 1.7 Cohomology and Chern Classes . 21 1.8 Connections on Vector Bundles . 30 i 0 Introduction 0 Introduction These notes are from a course on 4-manifolds taught by Dr. Tom Mark at the University of Virginia in Spring 2019. I stuck around for the beginning of the course to take notes on complex manifolds, complex surfaces and surface classification since these topics are developed in parallel to the algebro-geometric theory of surfaces. The main reference for this course is Griffiths-Harris, Principles of Algebraic Geometry. 1 1 Complex Manifolds 1 Complex Manifolds 1.1 Holomorphic Functions Recall that a complex function f : C ! C is holomorphic if it satisfies the Cauchy-Riemann equations: @u @v @u @v = and = − @x @y @y @x where f = u + iv. To express this for functions of multiple complex variables, we can reinterpret this definition as follows. Set z = x + iy and define differentials dz = dx + i dy, dz¯ = dx − i dy and @f @f df = dx + dy: @x @y 1 i Then dx = 2 (dz + dz¯), dy = − 2 (dz − dz¯) and 1 @f @f 1 @f @f df = − i dz + + i dz¯ 2 @x @y 2 @x @y which suggests defining the following complex derivatives: @f 1 @f @f @f 1 @f @f = − i and = + i : @z 2 @x @y @z¯ 2 @x @y @f @f Then df = @z dz + @z¯ dz¯. Lemma 1.1.1. A complex function in one variable f = u + iv : C ! C is holomorphic if @f and only if @z¯ = 0. n For a multivariable function f : C ! C, write zj = xj + iyj, 1 ≤ j ≤ n, for the coordinates on Cn. Then n n n n X @f X @f X @f X @f df = dx + dy = dz + dz¯ @x j @y j @z j @z¯ j j=1 j j=1 j j=1 j j=1 j where @f and @f are defined in the same way as their single-variable counterparts above. @zj @z¯j n Definition. Let f : C ! C be a complex function in the variables zj = xj + iyj, 1 ≤ j ≤ n, and define n n X @f X @f @f = dz and @f¯ = dz¯ : @z j @z¯ j j=1 j j=1 j Then f is holomorphic if @f¯ = 0. Lemma 1.1.2. A function f : Cn ! C is holomorphic if and only if it satisfies the Cauchy- Riemann equations in each variable zj. n m Definition. More generally, f = (f1; : : : ; fm): C ! C is holomorphic if f1; : : : ; fm are all holomorphic. 2 1.2 Complex Manifolds 1 Complex Manifolds 1.2 Complex Manifolds Definition. A complex n-manifold is a Hausdorff topological space that is locally homeo- morphic to (an open subset of) Cn and has holomorphic transition functions. Explicitly, M is a complex manifold if it admits a complex atlas: a choice of open covering fUig of X n together with homeomorphisms 'i : Ui ! 'i(Ui) ⊆ C such that for each pair of overlapping charts Ui;Uj, the transition map −1 'ij := 'j ◦ 'i : 'i(Ui \ Uj) −! 'j(Ui \ Uj) and its inverse are holomorphic. A complex structure on M is the choice of such a complex atlas, up to holomorphic equivalence of charts, defined by a similar condition to the above. Let M be a complex n-manifold and fix a point p 2 M. Then in a chart U ⊆ M around p, the complex structure determines local parameters dx1; : : : ; dxn; dy1; : : : ; dyn. As in the previous section, there are also complex parameters dzj = dxj + i dyj and dz¯j = dxj − i dyj for 1 ≤ j ≤ n. Each of the dxj; dyj; dzj; dz¯j are R-linear functionals TpM ! R. Writing dzj = dxj + i dyj extends these to C-linear functionals TpM ! C (and likewise for dz¯j), so ∗ @ 1 @ @ @ 1 @ @ each dzj; dz¯j 2 T M ⊗ . Similarly, each = − i and = + i p R C @zj 2 @xj @yj @z¯j 2 @xj @yj ∗ are elements of the complexified tangent space TpM ⊗R C. Note that TpM ⊗ C and Tp ⊗ C are both 2n-dimensional complex vector spaces (so 4n-dimensional real vector spaces). The above functionals are cotangent vectors and can be evaluated on the above tangent vectors as follows: for 1 ≤ j; k ≤ n, @ 1 @ @ dzj = (dxj + i dyj) − i @zk 2 @xk @yk 1 @ @ @ @ = dxj + dyj + i dyj − dxj 2 @xk @yk @xk @yk 1 = [(δ + δ ) + i(0 − 0)] = δ : 2 ij ij ij @ @ @ n @ @ @ @ o Likewise, dz¯j = δij and dzj = dz¯j = 0. Thus ;:::; ; ;:::; @z¯k @z¯k @zk @z1 @zn @z¯1 @z¯n ∗ and fdz1; : : : ; dzn; dz¯1; : : : ; dz¯ng are dual bases for the vector spaces TpM ⊗ C and Tp M ⊗ C, respectively. As a consequence, there are several different notions of \tangent space" for a complex manifold: Real tangent space: the underlying real vector space of TpM, which has real dimen- sion 2n; C Complex tangent space: the complex vector space Tp M := TpM ⊗ C, which has complex dimension 2n; n on 0 @ C Holomorphic tangent space: the subspace TpM := Span @z of Tp M; C j j=1 n on 00 @ C Antiholomorphic tangent space: the subspace Tp M := Span @z¯ of Tp M. C j j=1 3 1.2 Complex Manifolds 1 Complex Manifolds ∗ C;∗ We also define the real and complex cotangent spaces Tp M and Tp M, as well as their 1;0 0 ∗ 0;1 00 ∗ holomorphic and antiholomorphic counterparts Tp M := (TpM) and Tp M := (Tp M) , respectively. Proposition 1.2.1. Let M be a complex manifold of dimension n and p 2 M. Then C 0 00 (1) Tp M = TpM ⊕ Tp M. C 0 00 (2) Complex conjugation acts C-linearly on Tp M and exchanges TpM and Tp M. C;∗ 1;0 0;1 (3) Tp M = Tp M ⊕ Tp M, and specifically we have 1;0 C;∗ 00 n Tp M = fα 2 Tp M j α ≡ 0 on Tp Mg = SpanCfdzjgj=1 0;1 C;∗ 0 n Tp M = fα 2 Tp M j α ≡ 0 on TpMg = SpanCfdz¯jgj=1: C;∗ 1;0 0;1 (4) Complex conjugation acts C-linearly on Tp M and exchanges Tp M and Tp M. Suppose M m and N n are complex manifolds with open subsets U ⊆ M; V ⊆ N, and f : U ! V is an arbitrary function. For 1 ≤ j ≤ m, write the coordinates on U as zj = xj + iyj and similarly, for 1 ≤ k ≤ n, write the components of f on V as wk = uk + ivk. The real Jacobian of f is an m × n matrix 0 1 @uk @uk B @xj @yj C J f = B C R @ @vk @vk A @xj @yj which defines a linear map JRf : TpM ! Tf(p)N for any p 2 U. Extending scalars allows C C us to define the complex Jacobian JCf : Tp M ! Tf(p)N given by the same matrix JRf with n o n o respect to the real bases @ ; @ ; @ ; @ and @ ; @ ; @ ; @ of these tangent spaces. @xj @x¯j @yj @y¯j @uk @u¯k @vk @v¯k n o n o With respect to the complex bases @ ; @ and @ ; @ , the matrix is @zj @z¯j @wk @w¯k 0 1 @wk @wk B @zj @z¯j C J f = B C : C @ @w¯k @w¯k A @zj @z¯j Proposition 1.2.2. Let U ⊆ M; V ⊆ N and f : U ! V be as above. Then the following are equivalent: (1) f is holomorphic. (2) For all 1 ≤ j ≤ m and 1 ≤ k ≤ n, @wk = @w¯k = 0. @z¯j @zj 1;0 1;0 0;1 0;1 (3) For all p 2 U, JCf takes Tp M to Tf(p)N and Tp M to Tf(p)N. 4 1.2 Complex Manifolds 1 Complex Manifolds Corollary 1.2.3. Suppose M and N are complex manifolds of the same dimension and f : M ! N is holomorphic. Then 2 @wk det(JRf) = det(JCf) = det ≥ 0: @zj Corollary 1.2.4. A holomorphic map f : M ! N between complex manifolds of the same dimension is orientation-preserving. In particular, transition maps are orientation-preserving, so every complex manifold has a naturally defined orientation. Example 1.2.5. Note that the operators @ and @ act as expected on the coordinates @zj @z¯j 2 2 3 fzj; z¯jg. For example, consider the map f : C ! C, f(z; w) = z + w . Then JCf = 2z 3w which is surjective whenever (z; w) 6= (0; 0) so for any constant c 2 C r f0g, the equation z2 + w3 = c defines a smooth submanifold of C2. More generally, there are holomorphic versions of the inverse and implicit function theo- rems from differential geometry: Theorem 1.2.6 (Inverse Function Theorem). If f : M ! N is holomorphic and JCf is an isomorphism at p 2 M, then there is a neighborhood V ⊆ N of f(p) and an inverse f −1 : V ! f −1(V ) to f around p that is holomorphic on V . Theorem 1.2.7 (Implicit Function Theorem). Let f : M1 × M2 ! N be a holomorphic function such that JCf is invertible at (p; q) 2 M1 × M2 and set w = f(p; q). Then there is a unique holomorphic map g : M ! N such that f(p; g(p)) = w.
Load more

Recommended publications
  • The Chiral De Rham Complex of Tori and Orbifolds
    The Chiral de Rham Complex of Tori and Orbifolds Dissertation zur Erlangung des Doktorgrades der Fakult¨atf¨urMathematik und Physik der Albert-Ludwigs-Universit¨at Freiburg im Breisgau vorgelegt von Felix Fritz Grimm Juni 2016 Betreuerin: Prof. Dr. Katrin Wendland ii Dekan: Prof. Dr. Gregor Herten Erstgutachterin: Prof. Dr. Katrin Wendland Zweitgutachter: Prof. Dr. Werner Nahm Datum der mundlichen¨ Prufung¨ : 19. Oktober 2016 Contents Introduction 1 1 Conformal Field Theory 4 1.1 Definition . .4 1.2 Toroidal CFT . .8 1.2.1 The free boson compatified on the circle . .8 1.2.2 Toroidal CFT in arbitrary dimension . 12 1.3 Vertex operator algebra . 13 1.3.1 Complex multiplication . 15 2 Superconformal field theory 17 2.1 Definition . 17 2.2 Ising model . 21 2.3 Dirac fermion and bosonization . 23 2.4 Toroidal SCFT . 25 2.5 Elliptic genus . 26 3 Orbifold construction 29 3.1 CFT orbifold construction . 29 3.1.1 Z2-orbifold of toroidal CFT . 32 3.2 SCFT orbifold . 34 3.2.1 Z2-orbifold of toroidal SCFT . 36 3.3 Intersection point of Z2-orbifold and torus models . 38 3.3.1 c = 1...................................... 38 3.3.2 c = 3...................................... 40 4 Chiral de Rham complex 41 4.1 Local chiral de Rham complex on CD ...................... 41 4.2 Chiral de Rham complex sheaf . 44 4.3 Cechˇ cohomology vertex algebra . 49 4.4 Identification with SCFT . 49 4.5 Toric geometry . 50 5 Chiral de Rham complex of tori and orbifold 53 5.1 Dolbeault type resolution . 53 5.2 Torus .
    [Show full text]
  • On Hodge Theory and Derham Cohomology of Variétiés
    On Hodge Theory and DeRham Cohomology of Vari´eti´es Pete L. Clark October 21, 2003 Chapter 1 Some geometry of sheaves 1.1 The exponential sequence on a C-manifold Let X be a complex manifold. An amazing amount of geometry of X is encoded in the long exact cohomology sequence of the exponential sequence of sheaves on X: exp £ 0 ! Z !OX !OX ! 0; where exp takes a holomorphic function f on an open subset U to the invertible holomorphic function exp(f) := e(2¼i)f on U; notice that the kernel is the constant sheaf on Z, and that the exponential map is surjective as a morphism of sheaves because every holomorphic function on a polydisk has a logarithm. Taking sheaf cohomology we get exp £ 1 1 1 £ 2 0 ! Z ! H(X) ! H(X) ! H (X; Z) ! H (X; OX ) ! H (X; OX ) ! H (X; Z); where we have written H(X) for the ring of global holomorphic functions on X. Now let us reap the benefits: I. Because of the exactness at H(X)£, we see that any nowhere vanishing holo- morphic function on any simply connected C-manifold has a logarithm – even in the complex plane, this is a nontrivial result. From now on, assume that X is compact – in particular it homeomorphic to a i finite CW complex, so its Betti numbers bi(X) = dimQ H (X; Q) are finite. This i i also implies [Cartan-Serre] that h (X; F ) = dimC H (X; F ) is finite for all co- herent analytic sheaves on X, i.e.
    [Show full text]
  • AN EXPLORATION of COMPLEX JACOBIAN VARIETIES Contents 1
    AN EXPLORATION OF COMPLEX JACOBIAN VARIETIES MATTHEW WOOLF Abstract. In this paper, I will describe my thought process as I read in [1] about Abelian varieties in general, and the Jacobian variety associated to any compact Riemann surface in particular. I will also describe the way I currently think about the material, and any additional questions I have. I will not include material I personally knew before the beginning of the summer, which included the basics of algebraic and differential topology, real analysis, one complex variable, and some elementary material about complex algebraic curves. Contents 1. Abelian Sums (I) 1 2. Complex Manifolds 2 3. Hodge Theory and the Hodge Decomposition 3 4. Abelian Sums (II) 6 5. Jacobian Varieties 6 6. Line Bundles 8 7. Abelian Varieties 11 8. Intermediate Jacobians 15 9. Curves and their Jacobians 16 References 17 1. Abelian Sums (I) The first thing I read about were Abelian sums, which are sums of the form 3 X Z pi (1.1) (L) = !; i=1 p0 where ! is the meromorphic one-form dx=y, L is a line in P2 (the complex projective 2 3 2 plane), p0 is a fixed point of the cubic curve C = (y = x + ax + bx + c), and p1, p2, and p3 are the three intersections of the line L with C. The fact that C and L intersect in three points counting multiplicity is just Bezout's theorem. Since C is not simply connected, the integrals in the Abelian sum depend on the path, but there's no natural choice of path from p0 to pi, so this function depends on an arbitrary choice of path, and will not necessarily be holomorphic, or even Date: August 22, 2008.
    [Show full text]
  • Abelian Varieties
    Abelian Varieties J.S. Milne Version 2.0 March 16, 2008 These notes are an introduction to the theory of abelian varieties, including the arithmetic of abelian varieties and Faltings’s proof of certain finiteness theorems. The orginal version of the notes was distributed during the teaching of an advanced graduate course. Alas, the notes are still in very rough form. BibTeX information @misc{milneAV, author={Milne, James S.}, title={Abelian Varieties (v2.00)}, year={2008}, note={Available at www.jmilne.org/math/}, pages={166+vi} } v1.10 (July 27, 1998). First version on the web, 110 pages. v2.00 (March 17, 2008). Corrected, revised, and expanded; 172 pages. Available at www.jmilne.org/math/ Please send comments and corrections to me at the address on my web page. The photograph shows the Tasman Glacier, New Zealand. Copyright c 1998, 2008 J.S. Milne. Single paper copies for noncommercial personal use may be made without explicit permis- sion from the copyright holder. Contents Introduction 1 I Abelian Varieties: Geometry 7 1 Definitions; Basic Properties. 7 2 Abelian Varieties over the Complex Numbers. 10 3 Rational Maps Into Abelian Varieties . 15 4 Review of cohomology . 20 5 The Theorem of the Cube. 21 6 Abelian Varieties are Projective . 27 7 Isogenies . 32 8 The Dual Abelian Variety. 34 9 The Dual Exact Sequence. 41 10 Endomorphisms . 42 11 Polarizations and Invertible Sheaves . 53 12 The Etale Cohomology of an Abelian Variety . 54 13 Weil Pairings . 57 14 The Rosati Involution . 61 15 Geometric Finiteness Theorems . 63 16 Families of Abelian Varieties .
    [Show full text]
  • 1 Complex Theory of Abelian Varieties
    1 Complex Theory of Abelian Varieties Definition 1.1. Let k be a field. A k-variety is a geometrically integral k-scheme of finite type. An abelian variety X is a proper k-variety endowed with a structure of a k-group scheme. For any point x X(k) we can defined a translation map Tx : X X by 2 ! Tx(y) = x + y. Likewise, if K=k is an extension of fields and x X(K), then 2 we have a translation map Tx : XK XK defined over K. ! Fact 1.2. Any k-group variety G is smooth. Proof. We may assume that k = k. There must be a smooth point g0 G(k), and so there must be a smooth non-empty open subset U G. Since2 G is covered by the G(k)-translations of U, G is smooth. ⊆ We now turn our attention to the analytic theory of abelian varieties by taking k = C. We can view X(C) as a compact, connected Lie group. Therefore, we start off with some basic properties of complex Lie groups. Let X be a Lie group over C, i.e., a complex manifold with a group structure whose multiplication and inversion maps are holomorphic. Let T0(X) denote the tangent space of X at the identity. By adapting the arguments from the C1-case, or combining the C1-case with the Cauchy-Riemann equations we get: Fact 1.3. For each v T0(X), there exists a unique holomorphic map of Lie 2 δ groups φv : C X such that (dφv)0 : C T0(X) satisfies (dφv)0( 0) = v.
    [Show full text]
  • Intermediate Jacobians and Abel-Jacobi Maps
    Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Intermediate Jacobians are complex tori defined in terms of the Hodge structure of X . Abel-Jacobi Maps are maps from the groups of cycles of X to its Intermediate Jacobians. The result is that questions about cycles can be translated into questions about complex tori . Introduction Let X be a smooth projective complex variety. The result is that questions about cycles can be translated into questions about complex tori . Introduction Let X be a smooth projective complex variety. Intermediate Jacobians are complex tori defined in terms of the Hodge structure of X . Abel-Jacobi Maps are maps from the groups of cycles of X to its Intermediate Jacobians. Introduction Let X be a smooth projective complex variety. Intermediate Jacobians are complex tori defined in terms of the Hodge structure of X . Abel-Jacobi Maps are maps from the groups of cycles of X to its Intermediate Jacobians. The result is that questions about cycles can be translated into questions about complex tori . The subspaces Hp;q(X ) consist of classes [α] of differential forms that are representable by a closed form α of type (p; q) meaning that locally X α = fI ;J dzI ^ dzJ I ; J ⊆ f1;:::; ng jI j = p ; jJj = q for some choice of local holomorphic coordinates z1;:::; zn. Hodge Decomposition Let X be a smooth projective complex variety of dimension n. The Hodge decomposition is a direct sum decomposition of the complex cohomology groups k M p;q H (X ; C) = H (X ) ; 0 ≤ k ≤ 2n : p+q=k Hodge Decomposition Let X be a smooth projective complex variety of dimension n.
    [Show full text]
  • Abelian Varieties and Theta Functions
    Abelian Varieties and Theta Functions YU, Hok Pun A Thesis Submitted to In Partial Fulfillment of the Requirements for the Degree of • Master of Philosophy in Mathematics ©The Chinese University of Hong Kong October 2008 The Chinese University of Hong Kong holds the copyright of this thesis. Any person(s) intending to use a part or whole of the materials in the thesis in a proposed publication must seek copyright release from the Dean of the Graduate School. Thesis Committee Prof. WANG, Xiaowei (Supervisor) Prof. LEUNG, Nai Chung (Chairman) Prof. WANG, Jiaping (Committee Member) Prof. WU，Siye (External Examiner) Abelian Varieties and Theta Functions 4 Abstract In this paper we want to find an explicit balanced embedding of principally polarized abelian varieties into projective spaces, and we will give an elementary proof, that for principally polarized abelian varieties, this balanced embedding induces a metric which converges to the flat metric, and that this result was originally proved in [1). The main idea, is to use the theory of finite dimensional Heisenberg groups to find a good basis of holomorphic sections, which the holo- morphic sections induce an embedding into the projective space as a subvariety. This thesis will be organized in the following way: In order to find a basis of holomorphic sections of a line bundle, we will start with line bundles on complex tori, and study the characterization of line bundles with Appell-Humbert theorem. We will make use of the fact that a positive line bundle will have enough sections for an embedding. If a complex torus can be embedded into the projective space this way, it is called an abelian variety, and the holomorphic sections of an abelian variety are called theta functions.
    [Show full text]
  • Complex Structures on Product of Circle Bundles Over Compact Complex Manifolds
    COMPLEX STRUCTURES ON PRODUCT OF CIRCLE BUNDLES OVER COMPACT COMPLEX MANIFOLDS By Ajay Singh Thakur THE INSTITUTE OF MATHEMATICAL SCIENCES, CHENNAI. A Thesis submitted to the Board of Studies in Mathematics Sciences In partial fulfillment of requirements for the degree of DOCTOR OF PHILOSOPHY of HOMI BHABHA NATIONAL INSTITUTE Homi Bhabha National Institute Recommendations of the Viva Voce Board As members of the Viva Voce Board, we recommend that the dissertation prepared by Ajay Singh Thakur titled \Complex Structures on Product of Circle Bundles over Compact Complex Manifolds" may be accepted as fulfilling the dissertation requirement for the Degree of Doctor of Philosophy. Date : R. V. Gurjar (External Examiner) Date : D. S. Nagaraj Date : K. N. Raghavan Date : Parameswaran Sankaran (Guide) Date : V. S. Sunder (Chair) Final approval and acceptance of this dissertation is contingent upon the candidate's submission of the final copies of the dissertation to HBNI. i DECLARATION I hereby certify that I have read this dissertation prepared under my direction and recommend that it be accepted as fulfilling the dissertation requirement. Date : Guide: Prof. Parameswaran Sankaran ii DECLARATION I, hereby declare that the results presented in the thesis have been car- ried out by me under the guidance of my supervisor Prof. Parameswaran Sankaran. My collaboration with him in our paper was necessitated by the difficulty and depth of the problem considered. The work is original and has not been submitted earlier as a whole or in part for a degree/diploma at this or any other Institute/University. Ajay Singh Thakur iii Abstract ¯ Let Li −! Xi be a holomorphic line bundle over a compact complex manifold for i = 1; 2.
    [Show full text]
  • Classical Theta Functions and Their Generalization
    Workshop on Curves and Jacobians, pp. 1{25 Classical theta functions and their generalization Arnaud Beauville Abstract. We first recall the modern theory of classical theta functions, viewed as sections of line bundles on complex tori. We emphasize the case of theta functions associated to an algebraic curve C : they are sections of a natural line bundle (and of its tensor powers) on the Jacobian of C , a complex torus which parametrizes topologically trivial line bundles on C . Then we ex- plain how replacing the Jacobian by the moduli space of higher rank vector bundles leads to a natural generalization (\non-abelian theta functions"). We present some of the main results and open problems about these new theta functions. Introduction Theta functions are holomorphic functions on Cg , quasi-periodic with respect to a lattice. For g = 1 they have been introduced by Jacobi; in the general case they have been thoroughly studied by Riemann and his followers. From a modern point of view they are sections of line bundles on certain complex tori; in particular, the theta functions associated to an algebraic curve C are viewed as sections of a natural line bundle (and of its tensor powers) on a complex torus associated to C , the Jacobian, which parametrizes topologically trivial line bundles on C . Around 1980, under the impulsion of mathematical physics, the idea emerged gradually that one could replace in this definition line bundles by higher rank vector bundles. The resulting sections are called generalized (or non-abelian) theta functions; they turn out to share some (but not all) of the beautiful properties of classical theta functions.
    [Show full text]
  • Complex Torus Manifolds
    Introduction Structure near a fixed point Toric structure . Complex torus manifolds . .. Hiroaki Ishida Osaka City University Advanced Mathematical Institute November 28, 2011 Introduction Structure near a fixed point Toric structure . Torus manifold Let us consider M : connected smooth manifold, (S1)n y M : effective, 1 n M(S ) , ;. ) ≤ 1 n 2 dim M (see the tangential rep. of (S1)n at a fixed point). 1 We consider the extreme case (n = 2 dim M). Introduction Structure near a fixed point Toric structure . Torus manifold . Definition (Hattori-Masuda) . .. M : torus manifold of dim 2n () def: M : closed connected oriented manifold of dim 2n, (S1)n y M : effective, 1 n . M(S ) , ;. .. Introduction Structure near a fixed point Toric structure . Complex torus manifold We consider the case when M is a complex mfd. ..Definition A complex torus manifold M of dimC n is M : closed conn. complex manifold of dimC n, (S1)n y M : effective, as biholomorphisms, 1 n . M(S ) , ;. .. Introduction Structure near a fixed point Toric structure . Simple examples of torus manifolds . Example . .. S2n : 2n-dimensional sphere X 2n n 2 2 S = f(y; z1;:::; zn) 2 R × C j y + jzij = 1g (S1)n y S2n given by ;:::; · ; ;:::; ; ;:::; . (g1 gn) (y z1 zn) := (y g1 gnzn) .. Example (Complex) . .. (S1)n y CPn given by ;:::; · ;:::; ; ;:::; . (g1 gn) [z0 zn] := [z0 g1z1 gnzn] .. Introduction Structure near a fixed point Toric structure . In Khabarovsk Combining BIG RESULTS +", Donaldson Kodaira Masuda-Panov Orlik-Raymond . Theorem (I.-Masuda) . .. M : closed connected complex mfd of dimC n, (S1)n y M : effectively, as biholomorphisms, Hodd(M) = 0.
    [Show full text]
  • Geometry of Algebraic Curves
    Geometry of Algebraic Curves Lectures delivered by Joe Harris Notes by Akhil Mathew Fall 2011, Harvard Contents Lecture 1 9/2 x1 Introduction 5 x2 Topics 5 x3 Basics 6 x4 Homework 11 Lecture 2 9/7 x1 Riemann surfaces associated to a polynomial 11 x2 IOUs from last time: the degree of KX , the Riemann-Hurwitz relation 13 x3 Maps to projective space 15 x4 Trefoils 16 Lecture 3 9/9 x1 The criterion for very ampleness 17 x2 Hyperelliptic curves 18 x3 Properties of projective varieties 19 x4 The adjunction formula 20 x5 Starting the course proper 21 Lecture 4 9/12 x1 Motivation 23 x2 A really horrible answer 24 x3 Plane curves birational to a given curve 25 x4 Statement of the result 26 Lecture 5 9/16 x1 Homework 27 x2 Abel's theorem 27 x3 Consequences of Abel's theorem 29 x4 Curves of genus one 31 x5 Genus two, beginnings 32 Lecture 6 9/21 x1 Differentials on smooth plane curves 34 x2 The more general problem 36 x3 Differentials on general curves 37 x4 Finding L(D) on a general curve 39 Lecture 7 9/23 x1 More on L(D) 40 x2 Riemann-Roch 41 x3 Sheaf cohomology 43 Lecture 8 9/28 x1 Divisors for g = 3; hyperelliptic curves 46 x2 g = 4 48 x3 g = 5 50 1 Lecture 9 9/30 x1 Low genus examples 51 x2 The Hurwitz bound 52 2.1 Step 1 . 53 2.2 Step 10 ................................. 54 2.3 Step 100 ................................ 54 2.4 Step 2 .
    [Show full text]
  • Complex Algebraic Varieties and Their Cohomology
    Complex Algebraic Varieties and their Cohomology Donu Arapura July 16, 2003 Introduction In these notes, which originated from various “second courses” in algebraic geometry given at Purdue, I study complex algebraic varieties using a mixture of algebraic, analytic and topological methods. I assumed an understanding of basic algebraic geometry (around the level of [Hs]), but little else beyond stan- dard graduate courses in algebra, analysis and elementary topology. I haven’t attempted to prove everything, often I have been content to give a sketch along with a reference to the relevent section of Hartshorne [H] or Griffiths and Harris [GH]. These weighty tomes are, at least for algebraic geometers who came of age when I did, the canonical texts. They are a bit daunting however, and I hope these notes makes some of this material more accessible. These notes are pretty rough and somewhat incomplete at the moment. Hopefully, that will change with time. For updates check http://www.math.purdue.edu/∼dvb 1 Contents 1 Manifolds and Varieties via Sheaves 5 1.1 Sheaves of functions ......................... 5 1.2 Manifolds ............................... 6 1.3 Algebraic varieties .......................... 9 1.4 Stalks and tangent spaces ...................... 11 1.5 Nonsingular Varieties ......................... 13 1.6 Vector fields .............................. 14 2 Generalities about Sheaves 16 2.1 The Category of Sheaves ...................... 16 2.2 Exact Sequences ........................... 17 2.3 The notion of a scheme ....................... 19 2.4 Toric Varieties ............................ 20 2.5 Sheaves of Modules .......................... 22 2.6 Direct and Inverse images ...................... 24 3 Sheaf Cohomology 26 3.1 Flabby Sheaves ............................ 26 3.2 Cohomology .............................. 27 3.3 Soft sheaves .............................
    [Show full text]