Math. Proc. Camb. Phil. Soc. (1999), 125,83 Printed in the United Kingdom 1999 Cambridge Philosophical Society
|
|
- Allyson Anderson
- 6 years ago
- Views:
Transcription
1 Math. Proc. Camb. Phil. Soc. ( ,83 Printed in the United Kingdom 1999 Cambridge Philosophical Society 83 Irregularity of canonical pencils for a threefold of general type* BY MENG CHEN Department of Applied Mathematics, Tongji University, Shanghai, China AND ZHIJIE J. CHEN Department of Mathematics, East China Normal University, Shanghai, China (Received 13 January 1997; revised 2 April 1997) 1. Introduction Let X be a complex nonsingular projective threefold of general type. Suppose the canonical system of X is composed of a pencil, i.e. dimφ K X (X) 1. It is often important to understand birational invariants of X such as (Xq(Xh (O X ) and χ(o X ) etc. In this paper, we mainly study the irregularity of X. We may suppose that K X is free of base points. There is a natural fibration f: X C onto a nonsingular curve after the Stein factorization of Φ K X. Let F be a general fibre of f, then we know that F is a nonsingular projective surface of general type. Set b g(c) and (F q(f) for the respective invariants of F. The main result is the following theorem. THEOREM 1. Let X be a complex nonsingular projective threefold of general type. Suppose the canonical system is composed of pencils. Then b q(x) b q(f). The upper bound for q(x) is exact. Furthermore one of the following holds: (i) b 0 and (F) 1; (ii) b 1 and (F) 1; (iii) b (F) (X) 2; (iv) 2 b (X) 1 and (F) 1. Under the same assumptions for an algebraic surface S, we know from [7] that q(s) 2. But in higher dimensional cases, a trivial example shows that q(x) can be arbitrarily large. Therefore it is interesting to find the best upper bound of q(x). 2. Proof of main theorem 2 1. Basic facts. Let X be a complex nonsingular projective threefold and f: X C a fibration onto a nonsingular curve. Then f w X/C is a semi-positive vector bundle on C and for each i 0, Rif ω X/C is a semi-positive vector bundle on C [4 6]. From the spectral sequence Ep,q Hp(C,Rqf ω X ) En Hn(X,ω X we get by direct calculation that h (O X ) h (C,f ω X ) h (C,R f ω X ) q(x) h (O X ) b h (C,R f ω X ). * Project partially supported by NNSFC.
2 84 M. CHEN AND Z. J. CHEN Therefore we obtain χ(o X ) χ(o F )χ(o C ), where we set deg f ω X/C and degr f ω X/C. We can also refer to corollary 3 2 of[6] for the above formula. We also see that i 0 for i 1, Proof of Theorem 1. We can suppose that K X is free of base points, i.e. Φ K X : X Φ K X (X) (X) is a morphism. Let X f C s W, where W Φ K X (X is the Stein factorization of the canonical map. Set b g(c). Let F be a general fibre of f. Under the assumption of the theorem, we see that F is a nonsingular projective surface of general type. Therefore q(f) (F). Let K X lin M Z, where M is the moving part and Z the fixed part. We have M num af with a ( (X) 1)degs. From the exact sequence 0 O X (K X F) O X (K X ) O F (K F ) 0, because H (K X F) H (K X ) is an inclusion, we have (F) h (K F ) 1. If b 0 or 1, this is just (i) and (ii). Suppose b 1, we show that (iii) or (iv) holds. Case 1. (F) 1. Here, f ω X is locally free of rank one, i.e. it is invertible. Since f ω X/C is semi-positive, deg f ω X/C 0, i.e. we know that deg f ω X 2b 2. By the Riemann Roch theorem, we have (X) h (f ω X ) h (f ω X ) deg f ω X b 1. Therefore (X) b 1; hence b (X) 1. Case 2. (F) 2. We know that f ω X is a vector bundle of rank (F because C is a nonsingular curve. Let be the saturated subbundle of f ω X generated by global sections in H (C,f ω X ). Since K X is composed of pencils and Φ K X factors through f, must be of rank 1, i.e. it is an invertible sheaf. We have the exact sequence 0 f ω X 0, which implies f ω X/C ω C 0. Since f ω is semi-positive, the quotient sheaf X/C ω C of f ω X/C satisfies deg ω C 0, i.e. deg (p (F) 1) (2b 2). g By the Riemann Roch theorem, we have therefore ) ( (F) 1)(b 1). From the long exact sequence ( (F) 1)(1 b); 0 H ( ) H (f ω X ) H ( ) H ( ), we obtain ) ( (F) 1)(b 1) 0. By Clifford s theorem, we have deg 2 ) 2 and by the Riemann Roch theorem, we have Therefore ) b 1 and b 1. ( (F) 1)(b 1) b 1. (2 1) (2 2) (2 3)
3 Irregularity of canonical pencils for threefolds 85 By assumption, we must have (F) 2 and ) b 1 0. (2 4) Therefore (X 2by(2 2) and (2 3). Furthermore, ) 0 and deg 2b 2by(2 1). Since deg f ω X/C deg deg 2degω C 4 2b 0, we get b 2, which is item (iii). Next, we begin to show the inequality for q(x). (i) If b 0, then R f ω X/C is a locally free sheaf of rank q(f) and so is R f ω X. Note that any vector bundle on is decomposible and we can write R f ω X as O (n ) O (n ) O (n r where r q(f) and n i 2 for i 1,,r. It is obvious that q(x) b h (R f ω X ) q(f). (ii) If b 1, we prove by mathematical induction on the rank r q(f). For r 1, it is obvious that h (R f ω X ) 1. Suppose, for r k, we have q(x) 1 k, then, for r k 1, we want to show the same result. R f ω X. Actually can be an arbitrary vector bundle on C providing that ω is semi-positive. Using C Riemann Roch, we get h ( ) deg h ( ). If h ( ) 0 then h ( ) 0. Choosing a global section s H ( let be a saturated invertible subbundle of generated by s. We obviously have deg 0. Therefore we obtain the following extension of 0 0. We have h ( ) 1. Because ω C O C, is semi-positive. Therefore, as a quotient bundle of, is also semi-positive. Thus we get by our assumption that h ( ) h ( ) h ( ) 1 k. Therefore q(x) 1 q(f). (iii) If b (X) (F) 2, we see q(f) (F) 2. If q(f) 1 then R f ω X is zero or an invertible sheaf and the inequality for q(x) is obvious. In what follows, we always suppose q(f) 2, i.e. is a rank two vector bundle and ω is semipositive. We have deg 4. Using Riemann Roch theorem, we C have h ( ) h ( ) deg 2(1 b) 2. Similarly we can choose a section s H ( ) and let be the saturated invertible subbundle of generated by s. We have deg 0. We have the exact sequence 0 0, which implies another exact sequence ω C ω C 0. We see that ω C is also semi-positive and deg 2. If deg 2, then h ( ) h ( ) h ( ) 2. If deg 1, then deg 3 and then h ( ) 0. We have h ( ) h ( ) by Riemann Roch. If h ( ) 0, then
4 86 M. CHEN AND Z. J. CHEN 1 deg 2h ( ) 2 by Clifford s theorem. Therefore we always have h ( ) h ( ) 1. Hence h ( ) 1. If deg 0, a similar method shows that h ( ) 2 and h ( ) 0; we again have h ( ) 2. In a word, we have q(x) 2 q(f) in item (iii). (iv) In this item with (F) 1, it is obvious to have q(x) b 1, because q(f) Examples. The examples are mainly from [3], therefore only the value of q(x) is given, while detailed explanations are omitted. Example 1. Let S be a nonsingular projective surface of general type with (S) 1 and C a nonsingular curve of genus b 2. X C S. We can see that K X is composed of pencils and Φ K X factors through the projection map p : X C. This is the simplest example. We have (X) b 2 and q(x) b q(f). Example 2. Let S be a minimal nonsingular projective surface of general type with (S) q(s). Suppose S admits a torsion element η Pic S with 2η lin 0. Such that h (K S Set Y S. Let p : Y and p : Y S be two projection maps. Take an effective divisor D on with degd a 3 and take δ (D) (η) and R lin 2δ lin (2D). Thus the pair (δ,r) determines a double covering π: X Y.We can find that the canonical system of X is composed of pencils and Φ K X factors through π and p. Let f p π, then f: X is the derived fibration of the canonical map. It is obvious that X is minimal. We have b 0, (F) (S) 1, q(f) q(s K F 2K S, (X) a 1, q(x) q(f) and K X 3K S (a 1). We know that a surface S of general type with χ(o S ) 1 must satisfy 0 (S) q(s) 4. To realize a specific example, we only have to find a pair (S,η) as above. (a) Take a numerical Godeaux surface with K S 1 and (S) q(s) 0 such that S admits a torsion element of order 2. We can show by [2] that h (K S (b) Take a minimal surface S with K S 2 and (S) q(s) 1. The existence of this surface is well known. For any torsion element η of order 2, we can show according to Horikawa s theorem that h (K S (c) Take a genus 2 curve C, let p and p be two projection maps of product C. Let θ Pic C be a torsion divisor of order two. Take a divisor D in with deg D 3. On the ruled surface C, take δ (D) (θ) and R 2δ (2D then the pair (δ,r) determines a double cover π: S C. S is just a minimal surface with (S) q(s) 2 and K S 8. Denote f i p i π (i 1, 2). We see that the fibration f : S has exactly six multiple fibres with multiplicity 2. Let F 2E and F 2E be two multiple fibres, take η E E, then 2η lin 0 and we can see that h (K S (d) Let C be a nonsingular curve of genus two and E an elliptic curve. Take the product S C E and let q, q be the two projection maps. Take a torsion element θ Pic C of order 2 and P a point on E. Let δ q (θ) q (P) and R 2δ; then (δ,r) determines a double cover π: S S. We can see that S is just a minimal surface with (S) q(s) 3 and K S 8. Take a 2-torsion element τ Pic E and η π*q (τ); we can see that h (K S (e) Let S C C, where C is a nonsingular curve of genus two. It is obvious that (S) q(s) 4 and K S 8. Let q i, i 1,2, be the two projection maps, and take a 2-torsion divisor θ Pic C, η q (θ) q (θ); then we can see that h (K S
5 Irregularity of canonical pencils for threefolds 87 Example 3. Let S be a minimal surface with (S) q(s) 1 and K S 2. We know that the Albanese map of S is just a genus two fibration onto an elliptic curve. It can be constructed from a double cover onto a ruled surface P which is over the elliptic curve with invariant e 1. Furthermore, all the singularities on the branch locus corresponding to this double cover are negligible. Let π : S P be this double cover with covering data (δ ). Note that q(p) 1. Take an elliptic curve E and write T E P. Let p and p be the two projection maps. Take a 2-torsion element η Pic E. Since P is a fibration over an elliptic curve, we can take a 2-torsion element τ Pic P such that π (τ) lin 0 through the double cover π. Let δ (η) (δ ) and R 2δ, then the pair (δ ) determines a double cover Π : Y T. Let φ p Π. Take a divisor A on E with dega a 0. Let δ φ*(a) Π (τ) and R 2δ, then the pair (δ ) determines a smooth double cover Π :X Y. We can see that X is a minimal threefold of general type and the canonical system K X is composed of pencils. Φ K X factors through Π and φ. This example satisfies b 1, (F) 2, q(f) 1, K F 16, (X) a, q(x) b q(f) 2 and K X 12a. REFERENCES [1] BEAUVILLE, A. L application canonique pour les surfaces de type ge ne ral. Invent. Math. 55 ( [2] BOMBIERI, E. Canonical models of surfaces of general type. Publ. Math. Inst. Hautes Etude. Sci. 42 ( [3] CHEN, M. Complex varieties of general type whose canonical systems are composed with pencils. J. Math. Soc. Japan 51 (1999 to appear. [4] KAWAMATA, Y. Kodaira dimension of algebraic fiber spaces over curves. Invent. Math. 66 ( [5] KOLLA R, J. Higher direct images of dualizing sheaves I. Ann. of Math. 123 ( [6] KOLLA R, J. Higher direct images of dualizing sheaves II. Ann. of Math. 124 ( [7] XIAO, G. L irre gularite des surfaces de type ge ne ral dont le syste me canonique est compose d un pinceau. Compositio Math. 56 (
The Noether Inequality for Algebraic Threefolds
.... Meng Chen School of Mathematical Sciences, Fudan University 2018.09.08 P1. Surface geography Back ground Two famous inequalities c 2 1 Miyaoka-Yau inequality Noether inequality O χ(o) P1. Surface
More informationGeography on 3-folds of General Type. September 9, Meng Chen Fudan University, Shanghai
Meng Chen Fudan University, Shanghai September 9, 2010 A Classical Problem Let V be a nonsingular projective variety. Consider the canonical line bundle ω V = O V (K V ). One task of birational geometry
More informationThe geography of irregular surfaces
Università di Pisa Classical Algebraic Geometry today M.S.R.I., 1/26 1/30 2008 Summary Surfaces of general type 1 Surfaces of general type 2 3 and irrational pencils Surface = smooth projective complex
More informationarxiv: v1 [math.ag] 10 Jun 2016
THE EVENTUAL PARACANONICAL MAP OF A VARIETY OF MAXIMAL ALBANESE DIMENSION arxiv:1606.03301v1 [math.ag] 10 Jun 2016 MIGUEL ÁNGEL BARJA, RITA PARDINI AND LIDIA STOPPINO Abstract. Let X be a smooth complex
More informationON VARIETIES OF MAXIMAL ALBANESE DIMENSION
ON VARIETIES OF MAXIMAL ALBANESE DIMENSION ZHI JIANG A smooth projective complex variety X has maximal Albanese dimension if its Albanese map X Alb(X) is generically finite onto its image. These varieties
More informationINVOLUTIONS ON A SURFACE OF GENERAL TYPE WITH p g q 0, K 2 7
Lee, Y. and Shin, Y. Osaka J. Math. 51 (2014), 121 139 INVOLUTIONS ON A SURFACE OF GENERAL TYPE WITH p g q 0, K 2 7 YONGNAM LEE and YONGJOO SHIN (Received April 22, 2011, revised May 15, 2012) Abstract
More informationarxiv: v1 [math.ag] 24 Apr 2015
SURFACES ON THE SEVERI LINE MIGUEL ANGEL BARJA, RITA PARDINI AND LIDIA STOPPINO arxiv:1504.06590v1 [math.ag] 4 Apr 015 Abstract. Let S be a minimal complex surface of general type and of maximal Albanese
More informationarxiv: v2 [math.ag] 22 Apr 2011
ON CANONICALLY FIBRED ALGEBRAIC 3-FOLDS SOME NEW EXAMPLES MENG CHEN AND AOXIANG CUI arxiv:1005.3886v2 [math.ag] 22 Apr 2011 Abstract. An interesting problem on birational classification of algebraic 3-folds
More informationCANONICAL BUNDLE FORMULA AND VANISHING THEOREM
CANONICAL BUNDLE FORMULA AND VANISHING THEOREM OSAMU FUJINO Abstract. In this paper, we treat two different topics. We give sample computations of our canonical bundle formula. They help us understand
More informationREVISITED OSAMU FUJINO. Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible.
C n,n 1 REVISITED OSAMU FUJINO Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible. 1. Introduction In spite of its importance, the proof of
More informationREVISITED OSAMU FUJINO. Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible.
C n,n 1 REVISITED OSAMU FUJINO Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible. 1. Introduction In spite of its importance, the proof of
More informationarxiv:alg-geom/ v1 8 Nov 1994
arxiv:alg-geom/9411002v1 8 Nov 1994 THE MINIMAL NUMBER OF SINGULAR FIBERS OF A SEMISTABLE CURVE OVER P 1 SHENG-LI TAN 1. Introduction The purpose of this paper is to try to answer the following Szpiro
More informationInvolutions on surfaces with p g = q = 1
Collect. Math. 6, (200), 8 06 c 200 Universitat de Barcelona Involutions on surfaces with p g = q = Carlos Rito Departamento de Matemática, Ed. de Ciências Florestais, Quinta de Prados, Apartado 03 500-80
More informationOn a conjecture of Fujita Miguel A. Barja 0. Introduction Let Y be a smooth projective variety. Let M = O Y (D) be an invertible sheaf. There are seve
On a conjecture of Fujita Miguel A. Barja 0. Introduction Let Y be a smooth projective variety. Let M = O Y (D) be an invertible sheaf. There are several notions of positivity for M. M is said to be nef
More informationALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3
ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric
More informationCAUCHER BIRKAR. Abstract. We prove that the Iitaka conjecture C n,m for algebraic fibre spaces holds up to dimension 6, that is, when n 6.
IITAKA CONJECTURE C n,m IN DIMENSION SIX CAUCHER BIRKAR Abstract. We prove that the Iitaka conjecture C n,m for algebraic fibre spaces holds up to dimension 6, that is, when n 6. 1. Introduction We work
More informationON THE MODULI B-DIVISORS OF LC-TRIVIAL FIBRATIONS
ON THE MODULI B-DIVISORS OF LC-TRIVIAL FIBRATIONS OSAMU FUJINO AND YOSHINORI GONGYO Abstract. Roughly speaking, by using the semi-stable minimal model program, we prove that the moduli part of an lc-trivial
More informationSingularities of hypersurfaces and theta divisors
Singularities of hypersurfaces and theta divisors Gregor Bruns 09.06.2015 These notes are completely based on the book [Laz04] and the course notes [Laz09] and contain no original thought whatsoever by
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationProjective Images of Kummer Surfaces
Appeared in: Math. Ann. 299, 155-170 (1994) Projective Images of Kummer Surfaces Th. Bauer April 29, 1993 0. Introduction The aim of this note is to study the linear systems defined by the even resp. odd
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 4
COMPLEX ALGEBRAIC SURFACES CLASS 4 RAVI VAKIL CONTENTS 1. Serre duality and Riemann-Roch; back to curves 2 2. Applications of Riemann-Roch 2 2.1. Classification of genus 2 curves 3 2.2. A numerical criterion
More informationHYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS
HYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS LJUDMILA KAMENOVA Abstract. Every fibration of a projective hyper-kähler fourfold has fibers which are Abelian surfaces. In case the Abelian surface
More informationON DEGENERATIONS OF MODULI OF HITCHIN PAIRS
ELECRONIC RESEARCH ANNOUNCEMENS IN MAHEMAICAL SCIENCES Volume 20, Pages 105 110 S 1935-9179 AIMS (2013) doi:10.3934/era.2013.20.105 ON DEGENERAIONS OF MODULI OF HICHIN PAIRS V. BALAJI, P. BARIK, AND D.S.
More informationON MAXIMAL ALBANESE DIMENSIONAL VARIETIES. Contents 1. Introduction 1 2. Preliminaries 1 3. Main results 3 References 6
ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES OSAMU FUJINO Abstract. We prove that any smooth projective variety with maximal Albanese dimension has a good minimal model. Contents 1. Introduction 1 2. Preliminaries
More informationHolomorphic symmetric differentials and a birational characterization of Abelian Varieties
Holomorphic symmetric differentials and a birational characterization of Abelian Varieties Ernesto C. Mistretta Abstract A generically generated vector bundle on a smooth projective variety yields a rational
More informationVarieties fibred over abelian varieties with fibres of log general type. Caucher Birkar and Jungkai Alfred Chen
Varieties fibred over abelian varieties with fibres of log general type Caucher Birkar and Jungkai Alfred Chen Abstract. Let (X, B) be a complex projective klt pair, and let f : X Z be a surjective morphism
More informationON SURFACES WITH p g q 2, K 2 5 AND ALBANESE MAP OF DEGREE 3
Penegini, M. and Polizzi,. Osaka J. Math. 50 (2013), 643 686 ON SURACES WITH p g q 2, K 2 5 AND ALBANESE MAP O DEGREE 3 To Professors. Catanese and C. Ciliberto on the occasion of their 60th birthday MATTEO
More informationDERIVED EQUIVALENCE AND NON-VANISHING LOCI
DERIVED EQUIVALENCE AND NON-VANISHING LOCI MIHNEA POPA To Joe Harris, with great admiration. 1. THE CONJECTURE AND ITS VARIANTS The purpose of this note is to propose and motivate a conjecture on the behavior
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 6
COMPLEX ALGEBRAIC SURFACES CLASS 6 RAVI VAKIL CONTENTS 1. The intersection form 1.1. The Neron-Severi group 3 1.. Aside: The Hodge diamond of a complex projective surface 3. Riemann-Roch for surfaces 4
More informationPullbacks of hyperplane sections for Lagrangian fibrations are primitive
Pullbacks of hyperplane sections for Lagrangian fibrations are primitive Ljudmila Kamenova, Misha Verbitsky 1 Dedicated to Professor Claire Voisin Abstract. Let p : M B be a Lagrangian fibration on a hyperkähler
More informationMODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS
MODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS MIHNEA POPA 1. Lecture II: Moduli spaces and generalized theta divisors 1.1. The moduli space. Back to the boundedness problem: we want
More informationarxiv:math/ v1 [math.ag] 3 May 2006
arxiv:math/0605108v1 [math.ag] 3 May 2006 SPECIAL SYSTEMS THROUGH DOUBLE POINTS ON AN ALGEBRAIC SURFACE ANTONIO LAFACE Abstract. Let S be a smooth algebraic surface satisfying the following property: H
More informationFAKE PROJECTIVE SPACES AND FAKE TORI
FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.
More informationVanishing theorems and holomorphic forms
Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic one-forms and geometry X compact complex manifold, dim C X = n. Holomorphic one-forms and
More informationTHE VIRTUAL SINGULARITY THEOREM AND THE LOGARITHMIC BIGENUS THEOREM. (Received October 28, 1978, revised October 6, 1979)
Tohoku Math. Journ. 32 (1980), 337-351. THE VIRTUAL SINGULARITY THEOREM AND THE LOGARITHMIC BIGENUS THEOREM SHIGERU IITAKA (Received October 28, 1978, revised October 6, 1979) Introduction. When we study
More informationThis theorem gives us a corollary about the geometric height inequality which is originally due to Vojta [V].
694 KEFENG LIU This theorem gives us a corollary about the geometric height inequality which is originally due to Vojta [V]. Corollary 0.3. Given any ε>0, there exists a constant O ε (1) depending on ε,
More informationSome Remarks on Prill s Problem
AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a non-constant map of smooth curves over C and if there is a degree two map π : X C where C
More information7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical
7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical divisor. Definition 7.1. We say that a smooth projective surface is minimal if K S is nef. Warning:
More informationMinimal Model Theory for Log Surfaces
Publ. RIMS Kyoto Univ. 48 (2012), 339 371 DOI 10.2977/PRIMS/71 Minimal Model Theory for Log Surfaces by Osamu Fujino Abstract We discuss the log minimal model theory for log surfaces. We show that the
More informationSome remarks on symmetric correspondences
Some remarks on symmetric correspondences H. Lange Mathematisches Institut Universitat Erlangen-Nurnberg Bismarckstr. 1 1 2 D-91054 Erlangen (Germany) E. Sernesi Dipartimento di Matematica Università Roma
More informationarxiv:alg-geom/ v1 21 Mar 1996
AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alg-geom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically
More informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationL 2 extension theorem for sections defined on non reduced analytic subvarieties
L 2 extension theorem for sections defined on non reduced analytic subvarieties Jean-Pierre Demailly Institut Fourier, Université de Grenoble Alpes & Académie des Sciences de Paris Conference on Geometry
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationFACTORING 3-FOLD FLIPS AND DIVISORIAL CONTRACTIONS TO CURVES
FACTORING 3-FOLD FLIPS AND DIVISORIAL CONTRACTIONS TO CURVES JUNGKAI A. CHEN AND CHRISTOPHER D. HACON 1. introduction Flips, flops and divisorial contractions are the elementary birational maps of the
More informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationCLASSIFICATION OF COMPLEX ALGEBRAIC SURFACES. from the point of view of MORI THEORY
CLASSIFICATION OF COMPLEX ALGEBRAIC SURFACES from the point of view of MORI THEORY By Chris Peters Mathematisch Instituut der Rijksuniversiteit Leiden and Institut Fourier Grenoble i Preface These notes
More informationCanonical bundle formula and vanishing theorem
RIMS Kôkyûroku Bessatsu Bx (200x), 000 000 Canonical bundle formula and vanishing theorem By Osamu Fujino Abstract In this paper, we treat two different topics. We give sample computations of our canonical
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationFIBRATIONS OF LOW GENUS, I
Ann. Scient. Éc. Norm. Sup., 4 e série, t. 39, 2006, p. 1011 à 1049. FIBRATIONS OF LOW GENUS, I BY FABRIZIO CATANESE AND ROBERTO PIGNATELLI ABSTRACT. In the present paper we consider fibrations f : S B
More informationOn the Stability of Tangent Bundle on Double Coverings
Acta Mathematica Sinica, English Series Aug., 2017, Vol. 33, No. 8, pp. 1039 1047 Published online: March 30, 2017 DOI: 10.1007/s10114-017-6190-7 Http://www.ActaMath.com Acta Mathematica Sinica, English
More informationarxiv:math/ v3 [math.ag] 1 Mar 2006
arxiv:math/0506132v3 [math.ag] 1 Mar 2006 A NOTE ON THE PROJECTIVE VARIETIES OF ALMOST GENERAL TYPE SHIGETAKA FUKUDA Abstract. A Q-Cartier divisor D on a projective variety M is almost nup, if (D, C) >
More informationMaterial for a series of talks at the ICTP, Trieste, 2000
POSITIVITY OF DIRECT IMAGE SHEAVES AND APPLICATIONS TO FAMILIES OF HIGHER DIMENSIONAL MANIFOLDS ECKART VIEHWEG Material for a series of talks at the ICTP, Trieste, 2000 Let Y be a projective algebraic
More informationarxiv: v4 [math.ag] 16 Mar 2019
A NOTE ON A SMOOTH PROJECTIVE SURFACE WITH PICARD NUMBER 2 SICHEN LI Abstract. We characterize the integral Zariski decomposition of a smooth projective surface with Picard number 2 to partially solve
More informationHodge structures from differential equations
Hodge structures from differential equations Andrew Harder January 4, 2017 These are notes on a talk on the paper Hodge structures from differential equations. The goal is to discuss the method of computation
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationStructure theorems for compact Kähler manifolds
Structure theorems for compact Kähler manifolds Jean-Pierre Demailly joint work with Frédéric Campana & Thomas Peternell Institut Fourier, Université de Grenoble I, France & Académie des Sciences de Paris
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics STABLE REFLEXIVE SHEAVES ON SMOOTH PROJECTIVE 3-FOLDS PETER VERMEIRE Volume 219 No. 2 April 2005 PACIFIC JOURNAL OF MATHEMATICS Vol. 219, No. 2, 2005 STABLE REFLEXIVE SHEAVES
More informationNormality of secant varieties
Normality of secant varieties Brooke Ullery Joint Mathematics Meetings January 6, 2016 Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 1 / 11 Introduction Let X
More informationRemarks on algebraic fiber spaces
J. Math. Kyoto Univ. (JMKYAZ) 45-4 (2005), 683 699 Remarks on algebraic fiber spaces By Osamu Fujino Abstract In this paper, we collect basic properties of the Albanese dimension and explain how to generalize
More informationRELATIVE CLIFFORD INEQUALITY FOR VARIETIES FIBERED BY CURVES
RELATIVE CLIFFORD INEQUALITY FOR VARIETIES FIBERED BY CURVES TONG ZHANG Abstract. We prove a relative Clifford inequality for relatively special divisors on varieties fibered by curves. It generalizes
More informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
More informationarxiv:math/ v1 [math.ag] 17 Oct 2006
Remark on a conjecture of Mukai Arnaud BEAUVILLE Introduction arxiv:math/0610516v1 [math.ag] 17 Oct 2006 The conjecture mentioned in the title appears actually as a question in [M] (Problem 4.11): Conjecture.
More informationThe Cone Theorem. Stefano Filipazzi. February 10, 2016
The Cone Theorem Stefano Filipazzi February 10, 2016 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will give an overview
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More informationarxiv:math/ v3 [math.ag] 16 Mar 2007
arxiv:math/0512483v3 [math.ag] 16 Mar 2007 ON THE ALGEBRAIC FUNDAMENTAL GROUP OF SURFACES WITH K 2 3χ MARGARIDA MENDES LOPES AND RITA PARDINI Abstract. Let S be a minimal complex surface of general type
More informationarxiv: v1 [math.ag] 30 Apr 2018
QUASI-LOG CANONICAL PAIRS ARE DU BOIS OSAMU FUJINO AND HAIDONG LIU arxiv:1804.11138v1 [math.ag] 30 Apr 2018 Abstract. We prove that every quasi-log canonical pair has only Du Bois singularities. Note that
More informationarxiv: v1 [math.ag] 28 Dec 2018
arxiv:1812.10905v1 [math.ag] 28 Dec 2018 NORMAL BUNDLES ON THE EXCEPTIONAL SETS OF SIMPLE SMALL RESOLUTIONS RONG DU AND XINYI FANG Abstract. We study the normal bundles of the exceptional sets of isolated
More informationBICANONICAL PENCIL OF A DETERMINANTAL BARLOW SURFACE
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 353, Number 3, Pages 893 905 S 0002-9947(00)02609-X Article electronically published on November 8, 2000 BICANONICAL PENCIL OF A DETERMINANTAL BARLOW
More informationOn Rational Elliptic Surfaces with Multiple Fibers
Publ. RIMS, Kyoto Univ. 26 (10), 1-13 On Rational Elliptic Surfaces with Multiple Fibers By Yoshio FUJIMOTO* 0. Introduction It is well-known that a rational elliptic surface with global sections is a
More informationStable maps and Quot schemes
Stable maps and Quot schemes Mihnea Popa and Mike Roth Contents 1. Introduction........................................ 1 2. Basic Setup........................................ 4 3. Dimension Estimates
More informationModuli of rational fibrations
arxiv:math/0702865v2 [math.ag] 28 Jun 2007 Moduli of rational fibrations Edoardo Sernesi Abstract We prove results implying, under mild restrictions, the upper bound γ 19 for the geometric genus of a nodal
More informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationF. LAYTIMI AND D.S. NAGARAJ
REMARKS ON RAMANUJAM-KAWAMATA-VIEHWEG VANISHING THEOREM arxiv:1702.04476v1 [math.ag] 15 Feb 2017 F. LAYTIMI AND D.S. NAGARAJ Abstract. In this article weproveageneralresult on anef vector bundle E on a
More informationMathematische Annalen
Math. Ann. 312, 133 149 (1998) Mathematische Annalen c pringer-verlag 1998 Very ampleness and higher syzygies for Calabi-Yau threefolds Francisco Javier Gallego 1,, B.P. Purnaprajna 2 1 Dpto. de Álgebra,
More informationh : P 2[n] P 2(n). The morphism h is birational and gives a crepant desingularization of the symmetric product P 2(n).
THE MINIMAL MODEL PROGRAM FOR THE HILBERT SCHEME OF POINTS ON P AND BRIDGELAND STABILITY IZZET COSKUN 1. Introduction This is joint work with Daniele Arcara, Aaron Bertram and Jack Huizenga. I will describe
More informationDerived categories and rationality of conic bundles
Derived categories and rationality of conic bundles joint work with M.Bernardara June 30, 2011 Fano 3-folds with κ(v ) = V smooth irreducible projective 3-fold over C. V is birational (Reid-Mori, Miyaoka)
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationTHE HITCHIN FIBRATION
THE HITCHIN FIBRATION Seminar talk based on part of Ngô Bao Châu s preprint: Le lemme fondamental pour les algèbres de Lie [2]. Here X is a smooth connected projective curve over a field k whose genus
More informationHODGE THEORY AND THE HILBERT SCHEME
J. DIFFERENTIAL GEOMETRY 37(1993) 191-198 HODGE THEORY AND THE HILBERT SCHEME ZIVRAN In Mori's "bend and break" method [6], [7], on which his theory of extremal rays is based, a key technical role is played
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik A quantitative sharpening of Moriwaki s arithmetic Bogomolov inequality Niko Naumann Preprint Nr. 10/2005 A quantitative sharpening of Moriwaki s arithmetic Bogomolov
More informationFiberwise stable bundles on elliptic threefolds with relative Picard number one
Géométrie algébrique/algebraic Geometry Fiberwise stable bundles on elliptic threefolds with relative Picard number one Andrei CĂLDĂRARU Mathematics Department, University of Massachusetts, Amherst, MA
More informationSome Remarks on the Minimal Model Program
J. Math. Sci. Univ. Tokyo 22 (2015), 149 192. Some Remarks on the Minimal Model Program for Log Canonical Pairs By Osamu Fujino In memory of Professor Kunihiko Kodaira Abstract. We prove that the target
More informationIitaka-Severi s Conjecture for Complex Threefolds
Iitaka-Severi s Conjecture for Complex Threefolds arxiv:alg-geom/9505016v1 12 May 1995 Gerd Dethloff Abstract We prove the following generalization of Severi s Theorem: Let X be a fixed complex variety.
More informationDUALITY SPECTRAL SEQUENCES FOR WEIERSTRASS FIBRATIONS AND APPLICATIONS. 1. Introduction
DUALITY SPECTRAL SEQUENCES FOR WEIERSTRASS FIBRATIONS AND APPLICATIONS JASON LO AND ZIYU ZHANG Abstract. We study duality spectral sequences for Weierstraß fibrations. Using these spectral sequences, we
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationSEPARABLE RATIONAL CONNECTEDNESS AND STABILITY
SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability
More informationarxiv: v1 [math.ag] 16 Aug 2017
AN EFFECTIVE DIVISOR IN M g DEFINED BY RAMIFICATION CONDITIONS Gabriel Muñoz Abstract arxiv:1708.05086v1 [math.ag] 16 Aug 2017 We define an effective divisor of the moduli space of stable curves M g, which
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves
More informationNotes on hyperelliptic fibrations of genus 3, I
Notes on hyperelliptic fibrations of genus 3, I Masaaki Murakami arxiv:1209.6278v1 [math.ag] 27 Sep 2012 Abstract We shall study the structure of hyperelliptic fibrations of genus 3, from the view point
More informationarxiv:math/ v1 [math.ag] 3 Mar 2006
arxiv:math/0603094v1 [math.ag] 3 Mar 2006 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. INGRID C. BAUER AND ROBERTO PIGNATELLI Introduction The aim of this paper is to classify regular minimal
More informationENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5
ENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) OSAMU FUJINO Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5 1. Preliminaries Let us recall the basic notion of the complex geometry.
More informationOn conjugacy classes of the Klein simple group in Cremona group
Loughborough University Institutional Repository On conjugacy classes of the Klein simple group in Cremona group This item was submitted to Loughborough University's Institutional Repository by the/an
More informationDISTINGUISHING EMBEDDED CURVES IN RATIONAL COMPLEX SURFACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 16, Number 1, January 1998, Pages 305 310 S 000-9939(98)04001-5 DISTINGUISHING EMBEDDED CURVES IN RATIONAL COMPLEX SURFACES TERRY FULLER (Communicated
More informationLECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS
LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity
More informationThe geography of irregular surfaces
Current Developments in Algebraic Geometry MSRI Publications Volume 59, 2011 The geography of irregular surfaces MARGARIDA MENDES LOPES AND RITA PARDINI We give an overview of irregular complex surfaces
More informationarxiv: v2 [math.dg] 6 Nov 2014
A SHARP CUSP COUNT FOR COMPLEX HYPERBOLIC SURFACES AND RELATED RESULTS GABRIELE DI CERBO AND LUCA F. DI CERBO arxiv:1312.5368v2 [math.dg] 6 Nov 2014 Abstract. We derive a sharp cusp count for finite volume
More information