DOCSLIB.ORG

On a Class of Algebraic Surfaces with Numerically Effective Cotangent Bundles

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On a Class of Algebraic Surfaces with Numerically Effective Cotangent Bundles ON A CLASS OF ALGEBRAIC SURFACES WITH NUMERICALLY EFFECTIVE COTANGENT BUNDLES A Thesis Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of the Ohio State University By Hongyuan Wang, B.S., M.A., M.A.S. ***** The Ohio State University 2006 Doctoral Examination Committee: Fangyang Zheng, Advisor Approved by Zbigniew Fiedorowicz Andrzej J. Derdzinski Advisor Department of Mathematics ABSTRACT In this dissertation, we will present two new results in complex geometry. The first one is for a borderline class of surfaces with nef cotangent bundle. The statement of the main theorem on this topic is as follows, suppose M is a general type surface, 2 0 such that the two Chern numbers satisfy c1 = c2, and P ic(M)/Pic (M) is generated by KM , then every nontrivial extension of the holomorphic tangent bundle TM by KM will be Hermitian flat. As a corollary, we obtain that every surface with the 1 above described properties and with h (T K∗ ) > 0 will be a generalized theta M ⊗ M divisor. The second result is an extended version of Hard Lefschetz theorem for the cohomology with values in Nakano semipositive vector bundles on a compact K¨ahler manifolds. ii ACKNOWLEDGMENTS I am indebted to my advisor, Prof. Fangyang Zheng, for his patience, expert guidance and constant encouragement which made this work possible. I am grateful for the numerous enlightening discussions and suggestions as well as the intellectual support he has provided. I would like to thank my committee members Prof. Andrzej J. Derdzinski and Prof. Zbigniew Fiedorowicz for their invaluable time and professional insight. Special thanks go to their inspiring classes, Ph.D candidate general test and enlightening discussions. I would like to thank Prof. Herbert Clemens and his students for the group study and invaluable discussions. I am thankful for the Department of Mathematics for their support expressed through special graduate assignments and fellowships that I enjoyed. Finally, I wish to express my deep gratitude to my family, especially my wife, for all their love, understanding and support. Special gratitude goes to my older uncle for his education to me through the years, without him this degree will be impossible. iii VITA October, 1978 ......................... Born - Wuxi, Jiangsu, P.R.China. 1993-1998 ............................. B.S.,Department of Special Class of Gifted Young, University of Science and Tech- nology of China. Hefei Anhui, China. 2002 - present ......................... Graduate Teaching and Research Asso- ciate, Department of Mathematics, The Ohio State University. FIELDS OF STUDY Major field: Mathematics Specialization: Complex Geometry, Compact Complex Surfaces iv TABLE OF CONTENTS Abstract....................................... ii Acknowledgments.................................. iii Vita ......................................... iv ListofFigures ................................... vi CHAPTER PAGE 1 Introduction................................. 1 2 Stabilityofvectorbundles ......................... 11 2.1 Coherentsheaftheory.................... 11 2.2 Semistable and stable sheaves . 18 3 Positivity of Hermitian vector bundles . .. 22 3.1 Curvatureofvectorbundles. 22 3.2 Nakano positivity, Griffiths positivity and Numerically ef- fectiveness .......................... 27 3.3 Amplevectorbundles .................... 32 4 Inequalities for Chern classes . 37 5 MaintheoremspartI............................ 40 6 MaintheoremspartII ........................... 60 Bibliography .................................... 69 v LIST OF FIGURES FIGURE PAGE 1.1 TheGeographyofChernNumbers . 5 vi CHAPTER 1 INTRODUCTION A major goal in complex geometry is to classify compact complex manifolds in a given dimension up to birational equivalence classes. In early 19th century, Castel- nuovo, Enriques and many others had succeeded in creating an impressive geomet- ric theory of birational classification for smooth algebraic surfaces. It was discov- ered that main birational invariants for an algebraic surface M are the first Betti 1 number b1(M) = h (M, C) and the plurigenera Pn(M) of M, which is defined by 0 n Pn(M)= h (M,KM⊗ ). After sheaf theory had been developed, and applied by Hodge, Serre, Hirzebruch, Grothendieck and others to analytic and algebraic geometry, the classification ques- tions got a decisive progress since 1950’s. In 1960’s and 1970’s Kodaira and others carried out the classification project for projective surfaces, and also extended it to 1 cover all compact complex surfaces. It is now referred to in the literature as Enrique- Kodaira classification theory. Given a compact complex surface M, there are four possibilities for its plurigenera: 1), all Pn(M) vanish; 2), not all Pn(M) vanish, but all are either 0 or 1; 3), P (M) n; n ∼ 4), P (M) n2. n ∼ Nowadays this fact is expressed by saying that the Kodaira dimension kod(M) of M is respectively , 0, 1, or 2. The algebraic surfaces in class 1) are formed by all −∞ the birationally ruled surfaces, namely, those M that is birational to P1 C, for any × compact complex curve C. The non-algebraic surfaces in class 1) are so called V II0- class, which are defined as compact complex surfaces with first Betti number b1 =1 and all Pn = 0. For instance, all Hopf surfaces (i.e. compact complex surface with universal cover C2 0 ) belong to this set. There are other examples that belongs to \{ } this set as well. However, an exhaustive list is yet to be established. For case 2), there are four types of K¨ahlerian surfaces distinguished by their first Betti numbers and plurigenera, namely the birational classes of tori, hyperelliptic surfaces, K-3 surfaces and Enriques surfaces. The non-K¨ahler ones in case 2) consists of Kodaira surfaces 2 which are all affine quotients of C2. The case 3) are all elliptic surfaces, i.e. there is a smooth curve B and a surjective morphism p : M B whose generic fibre is an → ellpitic curve. Kodaira had studied all possible types of singular fibres, there are 7 of them, and gave a complete classification of this type of surface. Finally, surfaces in class 4), are simply called surfaces of general type. This is of course means 99.99% of the surfaces, and not much is known about this class except some very basic results. It is known that, for any surfaces with non-negative Kodaira dimension, there is a unique surface in each birational equivalent class that is minimal, i.e. can not be blown down any further. This surface is called the minimal model of the birational class. By Gieseker’s thoerem [Gies], p236, we know that there exists a quasi-projective coarse module scheme for minimal surfaces of general type with fixed Chern numbers 2 c1 and c2. However, little is known about the structure of the Gieseker scheme in 2 general. Even the very basic questions such as, for which pair (c2,c1) is the Gieseker 2 scheme non-empty, are not completely answered. The known restrictions on (c2,c1) are expressed by 1.1. Theorem If M is any minimal surface of general type, then 1), c2(M)+ c (M) 0(12), 1 2 ≡ 3 2 2), c1(M) > 0 and c2(M) > 0, 3), c2(M) 3c (M), 1 ≤ 2 4), 5c2(M) c (M)+36 0 (if c2(M) is even), 5c2(M) c (M)+30 0 (if c2(M) 1 − 2 ≥ 1 1 − 2 ≥ 1 is odd). 2 Let c1 = n and c2 = m. This theorem tells us that no integer pair (m, n) with n> 3m or 5n m + 36 < 0, can be the two Chern numbers of any minimal general − type surface. In light of this, the question now is following: If D Z2 := (m, n) m Z, n Z is given by the inequalities 0 < n 3m, ⊂ { | ∈ ∈ } ≤ m 5n + 36 and 12 (n + m), then for which pair (m, n) D, does there exist a ≤ | ∈ 2 minimal surface of general type M with c1 = n and c2 = m? One can divide D into two parts D := (m, n) D n 2m and D := 1 { ∈ | ≤ } 2 (m, n) D n> 2m . D is the region where τ = 1 p = 1 (c2 2c ) 0. Here τ is { ∈ | } 1 3 1 3 1 − 2 ≤ the signature of M and p1 is the first Pontryagin number. Similarly, D2 is the region for those M with positive signature. The simple examples such as, the complete intersections or the theta divisors, which are the smooth ample divisors of the three dimensional abelian varieties, usually lie in the region D1. In particular, the theta 2 divisors have c1 = c2, so they are on the line n = m. Indeed for a long time only 4 very few examples with Chern pairs in D2 were known. The geography of the Chern numbers is plot as Figure 1.1. 2 n =3m n =2m n = m n = c1 D2 D D1 5n m + 36 0 − ≥ m = c2 Figure 1.1: The Geography of Chern Numbers Although we can easily find lots of pairs in D, but it is difficult to show that all pairs in D can be represented. The combined efforts of Persson ([Pers]) for region D1 and Chen ([Che1] [Che2]) for the regions D1 and D2 gave rise to the following results 5 1.2. Theorem Given any pair (m, n) D, there exists a minimal general type surface ∈ 2 M with c1 = n and c2 = m, except maybe for points on the finitely many lines n 3m +4k = 0 with 0 k 347. In fact, for at most finitely many exceptions − ≤ ≤ on these lines all pairs in D1 occurs as the Chern numbers of minimal general type surfaces. This thoerem does not give surfaces on the borderline n = 3m. By Yau’s deep theorem [Yau1] [Yau2] on K¨ahler-Einstein metrics 1.3. Theorem (Yau) Let M be a compact K¨ahler manifold of dimension n, (a) if c > 0 (resp. c < 0), i.e. the (1, 1) cohomology class c (resp. c ) is 1 1 1 − 1 represented by some positive (1, 1)-form.
Load more

Recommended publications
  • 1 Real-Time Algebraic Surface Visualization
    1 Real-Time Algebraic Surface Visualization Johan Simon Seland1 and Tor Dokken2 1 Center of Mathematics for Applications, University of Oslo [email protected] 2 SINTEF ICT [email protected] Summary. We demonstrate a ray tracing type technique for rendering algebraic surfaces us- ing programmable graphics hardware (GPUs). Our approach allows for real-time exploration and manipulation of arbitrary real algebraic surfaces, with no pre-processing step, except that of a possible change of polynomial basis. The algorithm is based on the blossoming principle of trivariate Bernstein-Bezier´ func- tions over a tetrahedron. By computing the blossom of the function describing the surface with respect to each ray, we obtain the coefficients of a univariate Bernstein polynomial, de- scribing the surface’s value along each ray. We then use Bezier´ subdivision to find the first root of the curve along each ray to display the surface. These computations are performed in parallel for all rays and executed on a GPU. Key words: GPU, algebraic surface, ray tracing, root finding, blossoming 1.1 Introduction Visualization of 3D shapes is a computationally intensive task and modern GPUs have been designed with lots of computational horsepower to improve performance and quality of 3D shape visualization. However, GPUs were designed to only pro- cess shapes represented as collections of discrete polygons. Consequently all other representations have to be converted to polygons, a process known as tessellation, in order to be processed by GPUs. Conversion of shapes represented in formats other than polygons will often give satisfactory visualization quality. However, the tessel- lation process can easily miss details and consequently provide false information.
    [Show full text]
  • On the Euler Number of an Orbifold 257 Where X ~ Is Embedded in .W(X, G) As the Set of Constant Paths
    Math. Ann. 286, 255-260 (1990) Imam Springer-Verlag 1990 On the Euler number of an orbifoid Friedrich Hirzebruch and Thomas HSfer Max-Planck-Institut ffir Mathematik, Gottfried-Claren-Strasse 26, D-5300 Bonn 3, Federal Republic of Germany Dedicated to Hans Grauert on his sixtieth birthday This short note illustrates connections between Lothar G6ttsche's results from the preceding paper and invariants for finite group actions on manifolds that have been introduced in string theory. A lecture on this was given at the MPI workshop on "Links between Geometry and Physics" at Schlol3 Ringberg, April 1989. Invariants of quotient spaces. Let G be a finite group acting on a compact differentiable manifold X. Topological invariants like Betti numbers of the quotient space X/G are well-known: i a 1 b,~X/G) = dlmH (X, R) = ~ g~)~ tr(g* I H'(X, R)). The topological Euler characteristic is determined by the Euler characteristic of the fixed point sets Xa: 1 Physicists" formula. Viewed as an orbifold, X/G still carries someinformation on the group action. In I-DHVW1, 2; V] one finds the following string-theoretic definition of the "orbifold Euler characteristic": e X, 1 e(X<~.h>) Here summation runs over all pairs of commuting elements in G x G, and X <g'h> denotes the common fixed point set ofg and h. The physicists are mainly interested in the case where X is a complex threefold with trivial canonical bundle and G is a finite subgroup of $U(3). They point out that in some situations where X/G has a resolution of singularities X-~Z,X/G with trivial canonical bundle e(X, G) is just the Euler characteristic of this resolution [DHVW2; St-W].
    [Show full text]
  • Algebraic Curves and Surfaces
    Notes for Curves and Surfaces Instructor: Robert Freidman Henry Liu April 25, 2017 Abstract These are my live-texed notes for the Spring 2017 offering of MATH GR8293 Algebraic Curves & Surfaces . Let me know when you find errors or typos. I'm sure there are plenty. 1 Curves on a surface 1 1.1 Topological invariants . 1 1.2 Holomorphic invariants . 2 1.3 Divisors . 3 1.4 Algebraic intersection theory . 4 1.5 Arithmetic genus . 6 1.6 Riemann{Roch formula . 7 1.7 Hodge index theorem . 7 1.8 Ample and nef divisors . 8 1.9 Ample cone and its closure . 11 1.10 Closure of the ample cone . 13 1.11 Div and Num as functors . 15 2 Birational geometry 17 2.1 Blowing up and down . 17 2.2 Numerical invariants of X~ ...................................... 18 2.3 Embedded resolutions for curves on a surface . 19 2.4 Minimal models of surfaces . 23 2.5 More general contractions . 24 2.6 Rational singularities . 26 2.7 Fundamental cycles . 28 2.8 Surface singularities . 31 2.9 Gorenstein condition for normal surface singularities . 33 3 Examples of surfaces 36 3.1 Rational ruled surfaces . 36 3.2 More general ruled surfaces . 39 3.3 Numerical invariants . 41 3.4 The invariant e(V ).......................................... 42 3.5 Ample and nef cones . 44 3.6 del Pezzo surfaces . 44 3.7 Lines on a cubic and del Pezzos . 47 3.8 Characterization of del Pezzo surfaces . 50 3.9 K3 surfaces . 51 3.10 Period map . 54 a 3.11 Elliptic surfaces .
    [Show full text]
  • Algebraic Families on an Algebraic Surface Author(S): John Fogarty Source: American Journal of Mathematics , Apr., 1968, Vol
    Algebraic Families on an Algebraic Surface Author(s): John Fogarty Source: American Journal of Mathematics , Apr., 1968, Vol. 90, No. 2 (Apr., 1968), pp. 511-521 Published by: The Johns Hopkins University Press Stable URL: https://www.jstor.org/stable/2373541 JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at https://about.jstor.org/terms The Johns Hopkins University Press is collaborating with JSTOR to digitize, preserve and extend access to American Journal of Mathematics This content downloaded from 132.174.252.179 on Fri, 09 Oct 2020 00:03:59 UTC All use subject to https://about.jstor.org/terms ALGEBRAIC FAMILIES ON AN ALGEBRAIC SURFACE. By JOHN FOGARTY.* 0. Introduction. The purpose of this paper is to compute the co- cohomology of the structure sheaf of the Hilbert scheme of the projective plane. In fact, we achieve complete success only in characteristic zero, where it is shown that all higher cohomology groups vanish, and that the only global sections are constants. The work falls naturally into two parts. In the first we are concerned with an arbitrary scheme, X, smooth and projective over a noetherian scheme, S. We show that each component of the Hilbert scheme parametrizing closed subschemes of relative codimension 1 on X, over S, splits in a natural way into a product of a scheme parametrizing Cartier divisors, and a scheme parametrizing subschemes of lower dimension.
    [Show full text]
  • Embedded Surfaces in Four-Manifolds, Branched Covers, and SO(3)-Invariants by D
    Math. Proc. Camb. Phil. Soc. (1995), 117, 275 275 Printed in Great Britain Embedded surfaces in four-manifolds, branched covers, and SO(3)-invariants BY D. KOTSCHICK Mathematisches Institut, Universitdt Basel, Rheinsprung 21, 4051 Basel, Switzerland AND G. MATIC* Department of Mathematics, The University of Georgia, Athens, GA 30602, U.S.A. (Received 23 December 1993) 1. Introduction One of the outstanding problems in four-dimensional topology is to find the minimal genus of an oriented smoothly embedded surface representing a given homology class in a smooth four-manifold. For an arbitrary homology class in an arbitrary smooth manifold not even a conjectural lower bound is known. However, for the classes represented by smooth algebraic curves in (simply connected) algebraic surfaces, it is possible that the genus of the algebraic curve, given by the adjunction formula g(C) = 1+\(C* + CK), (1) is the minimal genus. This is usually called the (generalized) Thorn conjecture. It is mentioned in Kirby's problem list [11] as Problem 4-36. There are a number of results on this question in the literature. They can be divided into two classes, those proved by classical topological methods, which apply to topologically locally flat embeddings, including the G-signature theorem, and those proved by methods of gauge theory, which apply to smooth embeddings only. On the classical side, there is the result of Kervaire and Milnor[10], based on Rokhlin's theorem, which shows that certain homology classes are not represented by spheres. A major step forward was made by Rokhlin[20] and Hsiang and Szczarba[8] who introduced branched covers to study this problem for divisible homology classes.
    [Show full text]
  • Embedded Surfaces and Gauge Theory in Three and Four Dimensions
    Embedded surfaces and gauge theory in three and four dimensions P. B. Kronheimer Harvard University, Cambrdge MA 02138 Contents Introduction 1 1 Surfaces in 3-manifolds 3 The Thurston norm . ............................. 3 Foliations................................... 4 2 Gauge theory on 3-manifolds 7 The monopole equations . ........................ 7 An application of the Weitzenbock formula .................. 8 Scalar curvature and the Thurston norm . ................... 10 3 The monopole invariants 11 Obtaining invariants from the monopole equations . ............. 11 Basicclasses.................................. 13 Monopole invariants and the Alexander invariant . ............. 14 Monopole classes . ............................. 15 4 Detecting monopole classes 18 The4-dimensionalequations......................... 18 Stretching4-manifolds............................. 21 Floerhomology................................ 22 Perturbingthegradientflow.......................... 24 5 Monopoles and contact structures 26 Using the theorem of Eliashberg and Thurston ................. 26 Four-manifolds with contact boundary . ................... 28 Symplecticfilling................................ 31 Invariantsofcontactstructures......................... 32 6 Potential applications 34 Surgeryandproperty‘P’............................ 34 ThePidstrigatch-Tyurinprogram........................ 36 7 Surfaces in 4-manifolds 36 Wherethetheorysucceeds.......................... 36 Wherethetheoryhesitates.......................... 40 Wherethetheoryfails............................
    [Show full text]
  • Non-Complete Algebraic Surfaces with Logarithmic Kodaira Dimension -Oo and with Non-Connected Boundaries at Infinity
    Japan. J. Math. Vol. 10, No. 2, 1984 Non-complete algebraic surfaces with logarithmic Kodaira dimension -oo and with non-connected boundaries at infinity By Masayoshi MIYANISHI and Shuichiro TSUNODA (Communicated by Prof. M. Nagata, October 7, 1983) Introduction. 1. Let k be an algebraically closed field of characteristic p•†0. Let X be an algebraic variety defined over k, we say that X is affine n-ruled if X contians a Zariski open set isomorphic to UX Ak, where U is an algebraic variety defined over k and Ak denotes the ane n-space over k. If X is affine 1-ruled, we simply say that X is affine-ruled. On the other hand, we say that X is affine-uniruled if there exists a dominant quasi-finite morphism: YX such that Y is affine-ruled, when X is complete and affine-ruled then X is ruled,; if X is a nonsingular projective ruled surface then X is affine-ruled. However, if X is not complete, the mine-ruledness implies a more refined structure of X involving, indeed, the data on the boundary at infinity of X. To be more precise, we assume hereafter that X is nonsingular, we call a triple (V, D, X) a smooth completion of X if V is a nonsingular complete variety over k, D is a reduced effective divisor on V whose irreducible com ponents are nonsingular and whose singularities are at worst normal crossing type and X=V-D. We then call D a reduced effective divisor with simple normal crossings. We say that X is resoluble if there exists a smooth completion of X.
    [Show full text]
  • Introduction to Hodge Theory and K3 Surfaces Contents
    Introduction to Hodge Theory and K3 surfaces Contents I Hodge Theory (Pierre Py) 2 1 Kähler manifold and Hodge decomposition 2 1.1 Introduction . 2 1.2 Hermitian and Kähler metric on Complex Manifolds . 4 1.3 Characterisations of Kähler metrics . 5 1.4 The Hodge decomposition . 5 2 Ricci Curvature and Yau's Theorem 7 3 Hodge Structure 9 II Introduction to Complex Surfaces and K3 Surfaces (Gianluca Pacienza) 10 4 Introduction to Surfaces 10 4.1 Surfaces . 10 4.2 Forms on Surfaces . 10 4.3 Divisors . 11 4.4 The canonical class . 12 4.5 Numerical Invariants . 13 4.6 Intersection Number . 13 4.7 Classical (and useful) results . 13 5 Introduction to K3 surfaces 14 1 Part I Hodge Theory (Pierre Py) Reference: Claire Voisin: Hodge Theory and Complex Algebraic Geometry 1 Kähler manifold and Hodge decomposition 1.1 Introduction Denition 1.1. Let V be a complex vector space of nite dimension, h is a hermitian form on V . If h : V × V ! C such that 1. It is bilinear over R 2. C-linear with respect to the rst argument 3. Anti-C-linear with respect to the second argument i.e., h(λu, v) = λh(u; v) and h(u; λv) = λh(u; v) 4. h(u; v) = h(v; u) 5. h(u; u) > 0 if u 6= 0 Decompose h into real and imaginary parts, h(u; v) = hu; vi − i!(u; v) (where hu; vi is the real part and ! is the imaginary part) Lemma 1.2. h ; i is a scalar product on V , and ! is a simpletic form, i.e., skew-symmetric.
    [Show full text]
  • Visualizing Cubic Algebraic Surfaces
    Visualizing Cubic Algebraic Surfaces A Thesis Presented to The Faculty of the Mathematics Program California State University Channel Islands In Partial Fulfillment of the Requirements for the Degree Masters of Science by Jennifer Bonsangue July 2011 © 2011 Jennifer Bonsangue ALL RIGHTS RESERVED ii ACKNOWLEDGEMENTS Thank you to my advisor, Dr. Ivona Grzegorczyk, who has spent more than two years and countless hours working on this project with me. Her constant encouragement and guidance was the driving force behind this research. Thank you to Dr. Cindy Wyels and Dr. Brian Sittinger, for being a part of my thesis committee. Thank you to the math department as a whole; they have been incredibly supportive throughout this process. CSU Channel Islands has given me the best education I could ask for, throughout both my undergraduate and master’s degrees; and the mathematics faculty is the cornerstone of this experience. Most of all, thank you to my family. Thank you to Mom and Dad, for their support and advice throughout my academic journey. Thank you to Drew, for his love and reassurance. Thank you to my sister, my grandmas, my friends…thank you to everyone who had faith in me. We did it! iv ABSTRACT A cubic surface is defined as the set of zeroes of a homogeneous polynomial f of degree three in three-dimensional real projective space given by S = {(x : y : z : w) ∈ P3(R) | f (x, y, z, w) = 0}. The geometric classification of these objects remains an unsolved problem. Ideally, such a classification would incorporate information about the notable geometric properties of each surface, yet be general enough to encompass all cubic surfaces succinctly.
    [Show full text]
  • Annales Scientifiques De L'é.Ns
    ANNALES SCIENTIFIQUES DE L’É.N.S. J.-B. BOST Potential theory and Lefschetz theorems for arithmetic surfaces Annales scientifiques de l’É.N.S. 4e série, tome 32, no 2 (1999), p. 241-312 <http://www.numdam.org/item?id=ASENS_1999_4_32_2_241_0> © Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1999, tous droits réservés. L’accès aux archives de la revue « Annales scientifiques de l’É.N.S. » (http://www. elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systé- matique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. sclent. EC. Norm. Sup., 4° serie, t. 32, 1999, p. 241 a 312. POTENTIAL THEORY AND LEFSCHETZ THEOREMS FOR ARITHMETIC SURFACES BY J.-B. BOST ABSTRACT. - We prove an arithmetic analogue of the so-called Lefschetz theorem which asserts that, if D is an effective divisor in a projective normal surface X which is nef and big, then the inclusion map from the support 1-D) of -D in X induces a surjection from the (algebraic) fondamental group of \D\ onto the one of X. In the arithmetic setting, X is a normal arithmetic surface, quasi-projective over Spec Z, D is an effective divisor in X, proper over Spec Z, and furthermore one is given an open neighbourhood ^ of |-D|(C) on the Riemann surface X(C) such that the inclusion map |D|(C) ^ f^ is a homotopy equivalence.
    [Show full text]
  • Arxiv:Math/0611396V1 [Math.AG] 13 Nov 2006 Exposition
    COMPLEX ORIENTATIONS OF REAL ALGEBRAIC SURFACES Oleg Viro Contents 0. Introduction 1. Generalization of type of a curve 1.1 Homological reformulation of definition of type 1.2 Relation to the form of the complex conjugation invo- lution 1.3 No more relations among homology classes of real com- ponents 2. Complex orientation of a real surface bounding in complex- ification 2.1 Digression: Arnold’s principle 2.2 Complexification of the notion of boundary does work, suggesting definition of complex orientation of surface 2.3 Kharlamov’s congruence 2.4 Complex orientations and classes lifted from the orbit space of complex conjugation 3. Relative complex orientations of a real surface 3.1 Types of real algebraic surfaces revised 3.2 Complex orientations of a real surface modulo a curve 3.3 Semi-orientations 3.4 Internal definition of complex orientations (without 4- fold covering) 3.5 Orientations modulo changing curve 3.6 Orientations of the associated covering surface 4. Survey of subsequent results 4.1 Complex orientations of high-dimensional varieties 4.2 Spin-structure of a real algebraic surface bounding in complexification arXiv:math/0611396v1 [math.AG] 13 Nov 2006 − 4.3 Pin -structure of a real algebraic surface of type Irel Introduction In this paper we will deal with real algebraic surfaces. However let me start with some well known facts on real algebraic curves, to motivate the forthcoming exposition. Typeset by AMS-TEX 1 2 OLEG VIRO The set RA of real points of a non-singular real algebraic curve A lies in the set CA of its complex points.
    [Show full text]
  • Hilbert Modular Varieties of Low Dimension
    [Page 1] Hilbert modular varieties of low dimension Fabrizio Andreatta and Eyal Z. Goren Abstract. We study in detail properties of Hilbert modular varieties of low dimension in positive characteristic p; in particular, the local and global properties of certain strat- ifications. To carry out this investigation we develop some new tools in the theory of displays, intersection theory on a singular surface and Hecke correspondences at p. 2000 Mathematics Subject Classification: 11F41, 11G18, 11G35 Contents 1 Introduction 2 2 Definitions and notations 3 3 Stratification of Hilbert modular varieties 4 3.1 p unramified . 5 3.2 p maximally ramified . 6 4 Background on the singularities of Hilbert modular varieties 9 4.1 Cusps . 9 4.2 Local models . 10 4.3 Examples . 12 4.4 Singular points . 15 5 The display of an abelian variety with RM 18 5.1 Recall . 20 5.2 Factorizing according to primes . 21 5.3 The setting in which the theorems are proved . 22 5.4 Further decomposition of the local model . 23 5.5 The display over the special fiber and its trivial extension . 24 5.6 The main results on displays . 25 6 Some general results concerning strata in the maximally ramified case 27 6.1 Foliations of Newton polygon strata . 27 6.2 Connectedness of T0, T1 and T2 ........................ 35 2 Fabrizio Andreatta and Eyal Z. Goren 6.3 Irreducibility results . 36 7 Intersection theory on a singular surface 40 7.1 Definition of the intersection number . 41 7.2 Pull-back and intersection . 42 7.3 Adjunction . 43 8 Hilbert modular surfaces 45 8.1 The inert case .
    [Show full text]