M ath. Res. Lett. 15 (2008), no. 2, c International Press 2008 SMOOTH HYPERSURFACE SECTIONS CONTAINING A GIVEN SUBSCHEME OVER A FINITE FIELD
|
|
- Gerard McCoy
- 5 years ago
- Views:
Transcription
1 M ath. Res. Lett ), no. 2, c International Press 2008 SMOOTH HYPERSURFACE SECTIONS CONTAINING A GIEN SUBSCHEME OER A FINITE FIELD Bjorn Poonen 1. Introduction Let F q be a finite field of q = p a elements. Let X be a smooth quasi-projective subscheme of P n of dimension m 0 over F q. N. Katz asked for a finite field analogue of the Bertini smoothness theorem, and in particular asked whether one could always find a hypersurface H in P n such that H X is smooth of dimension m 1. A positive answer was proved in [Gab01] and [Poo04] independently. The latter paper proved also that in a precise sense, a positive fraction of hypersurfaces have the required property. The classical Bertini theorem was extended in [Blo70, KA79] to show that the hypersurface can be chosen so as to contain a prescribed closed smooth subscheme Z, provided that the condition dim X > 2 dim Z is satisfied. The condition arises naturally from a dimension-counting argument.) The goal of the current paper is to prove an analogous result over finite fields. In fact, our result is stronger than that of [KA79] in that we do not require Z X, but weaker in that we assume that Z X be smooth. With a little more work and complexity, we could prove a version for a non-smooth intersection as well, but we restrict to the smooth case for simplicity.) One reason for proving our result is that it is used by [SS07]. Let S = F q [x 0,..., x n ] be the homogeneous coordinate ring of P n. Let S d S be the F q -subspace of homogeneous polynomials of degree d. For each f S d, let H f be the subscheme ProjS/f)) P n. For the rest of this paper, we fix a closed subscheme Z P n. For d Z 0, let I d be the F q -subspace of f S d that vanish on Z. Let I homog = d 0 I d. We want to measure the density of subsets of I homog, but under the definition in [Poo04], the set I homog itself has density 0 whenever dim Z > 0; therefore we use a new definition of density, relative to I homog. Namely, we define the density of a subset P I homog by #P I d ) µ Z P) := lim, d #I d For a scheme X of finite type over F q, define the zeta func- if the limit exists. tion [Wei49] ζ X s) = Z X q s ) := closed P X 1 q s deg P ) 1 = exp r=1 ) #XF q r) q rs ; r Received by the editors March 8, Mathematics Subject Classification. Primary 14J70; Secondary 11M38, 11M41, 14G40, 14N05. This research was supported by NSF grant DMS
2 266 BJORN POONEN the product and sum converge when Res) > dim X. Theorem 1.1. Let X be a smooth quasi-projective subscheme of P n of dimension m 0 over F q. Let Z be a closed subscheme of P n. Assume that the scheme-theoretic intersection := Z X is smooth of dimension l. If is empty, take l = 1.) Define P := { f I homog : H f X is smooth of dimension m 1 }. i) If m > 2l, then µ Z P) = ζ m + 1) ζ m l) ζ X m + 1) = 1 ζ m l) ζ X m + 1). In this case, in particular, for d 1, there exists a degree-d hypersurface H containing Z such that H X is smooth of dimension m 1. ii) If m 2l, then µ Z P) = 0. The proof will use the closed point sieve introduced in [Poo04]. In fact, the proof is parallel to the one in that paper, but changes are required in almost every line. 2. Singular points of low degree Let I Z O P n be the ideal sheaf of Z, so I d = H 0 P n, I Z d)). Tensoring the surjection O n+1) O f 0,..., f n ) x 0 f x n f n with I Z, twisting by Od), and taking global sections shows that S 1 I d = I d+1 for d 1. Fix c such that S 1 I d = I d+1 for all d c. Before proving the main result of this section Lemma 2.3), we need two lemmas. Lemma 2.1. Let Y be a finite subscheme of P n. Let φ d : I d = H 0 P n, I Z d)) H 0 Y, I Z O Y d)) be the map induced by the map of sheaves I Z I Z O Y on P n. Then φ d is surjective for d c + dim H 0 Y, O Y ), Proof. The map of sheaves O P n O Y on P n is surjective so I Z I Z O Y is surjective too. Thus φ d is surjective for d 1. Enlarging F q if necessary, we can perform a linear change of variable to assume Y A n := {x 0 0}. Dehomogenization setting x 0 = 1) identifies S d with the space S d of polynomials in F q[x 1,..., x n ] of total degree d. and identifies φ d with a map I d B := H 0 P n, I Z O Y ). By definition of c, we have S 1I d = I d+1 for d c. For d b, let B d be the image of I d in B, so S 1B d = B d+1 for d c. Since 1 S 1, we have I d I d+1, so B c B c+1. But b := dim B <, so B j = B j+1 for some j [c, c + b]. Then B j+2 = S 1B j+1 = S 1B j = B j+1. Similarly B j = B j+1 = B j+2 =..., and these eventually equal B by the previous paragraph. Hence φ d is surjective for d j, and in particular for d c + b.
3 SMOOTH HYPERSURFACE SECTIONS 267 Lemma 2.2. Suppose m O X is the ideal sheaf of a closed point P X. Let Y X be the closed subscheme whose ideal sheaf is m 2 O X. Then for any d Z 0. { #H 0 q m l) deg P, if P, Y, I Z O Y d)) = q ) deg P, if P /. Proof. Since Y is finite, we may now ignore the twisting by Od). The space H 0 Y, O Y ) has a two-step filtration whose quotients have dimensions 1 and m over the residue field κ of P. Thus #H 0 Y, O Y ) = #κ) = q ) deg P. If P or equivalently P Z), then H 0 Y, O Z Y ) has a filtration whose quotients have dimensions 1 and l over κ; if P /, then H 0 Y, O Z Y ) = 0. Taking cohomology of on the 0-dimensional scheme Y yields 0 I Z O Y O Y O Z Y 0 #H 0 Y, I Z O Y ) = #H0 Y, O Y ) #H 0 Y, O Z Y ) { q ) deg P /q l+1) deg P, if P, = q ) deg P, if P /. If U is a scheme of finite type over F q, let U <r be the set of closed points of U of degree < r. Similarly define U >r. Lemma 2.3 Singularities of low degree). Let notation and hypotheses be as in Theorem 1.1, and define P r := { f I homog : H f X is smooth of dimension m 1 at all P X <r }. Then µ Z P r ) = 1 q m l) deg P ) 1 q ) deg P ). P <r P X ) <r Proof. Let X <r = {P 1,..., P s }. Let m i be the ideal sheaf of P i on X. let Y i be the closed subscheme of X with ideal sheaf m 2 i O X, and let Y = Y i. Then H f X is singular at P i more precisely, not smooth of dimension m 1 at P i ) if and only if the restriction of f to a section of O Yi d) is zero. By Lemma 2.1, µ Z P) equals the fraction of elements in H 0 I Z O Y d)) whose restriction to a section of O Yi d) is nonzero for every i. Thus s #H 0 Y i, I Z O Yi ) 1 µ Z P r ) = i=1 = #H 0 Y i, I Z O Yi ) ) 1 q m l) deg P 1 q ) deg P ), P <r P X ) <r by Lemma 2.2.
4 268 BJORN POONEN Corollary 2.4. If m > 2l, then lim µ ζ m + 1) ZP r ) = r ζ X m + 1) ζ m l). Proof. The products in Lemma 2.3 are the partial products in the definition of the zeta functions. For convergence, we need m l > dim = l, which is equivalent to m > 2l. Proof of Theorem 1.1ii). We have P P r. By Lemma 2.3, µ Z P r ) ) 1 q m l) deg P, P <r which tends to 0 as r if m 2l. Thus µ Z P) = 0 in this case. From now on, we assume m > 2l. 3. Singular points of medium degree Lemma 3.1. Let P X is a closed point of degree e, where e d c. Then the fraction of f I d such that H f X is not smooth of dimension m 1 at P equals { q m l)e, if P, q )e, if P /. Proof. This follows by applying Lemma 2.1 to the Y in Lemma 2.2, and then applying Lemma 2.2. Define the upper and lower densities µ Z P), µ Z P) of a subset P I homog as µ Z P) was defined, but using lim sup and lim inf in place of lim. Lemma 3.2 Singularities of medium degree). Define Q medium r := { f I d : there exists P X with r deg P d b m + 1 d 0 such that H f X is not smooth of dimension m 1 at P }. Then lim r µ Z Q medium r ) = 0. Proof. By Lemma 3.1, we have #Q medium r I d ) #I d P Z r deg P d b q m l) deg P + P Z r q m l) deg P + P X Z r deg P d b P X Z) r q ) deg P. ) deg P q Using the trivial bound that an m-dimensional variety has at most Oq em ) closed points of degree e, as in the proof of [Poo04, Lemma 2.4], we show that each of the two sums converges to a value that is Oq r ) as r, under our assumption m > 2l.
5 SMOOTH HYPERSURFACE SECTIONS Singular points of high degree Lemma 4.1. Let P be a closed point of degree e in P n Z. For d c, the fraction of f I d that vanish at P is at most q mind c,e). Proof. Equivalently, we must show that the image of φ d in Lemma 2.1 for Y = P has F q -dimension at least mind c, e). The proof of Lemma 2.1 shows that as d runs through the integers c, c + 1,..., this dimension increases by at least 1 until it reaches its maximum, which is e. Lemma 4.2 Singularities of high degree off ). Define Q high X := d 0{ f I d : P X ) > d c Then µ Z Q high X ) = 0. such that H f X is not smooth of dimension m 1 at P } Proof. It suffices to prove the lemma with X replaced by each of the sets in an open covering of X, so we may assume X is contained in A n = {x 0 0} P n, and that =. Dehomogenize by setting x 0 = 1, to identify I d S d with subspaces of I d S d A := F q[x 1,..., x n ]. Given a closed point x X, choose a system of local parameters t 1,..., t n A at x on A n such that t = t m+2 = = t n = 0 defines X locally at x. Multiplying all the t i by an element of A vanishing on Z but nonvanishing at x, we may assume in addition that all the t i vanish on Z. Now dt 1,..., dt n are a O An,x-basis for the stalk Ω 1 A n /F. Let q,x 1,..., n be the dual basis of the stalk T An /F q,x of the tangent sheaf. Choose s A with sx) 0 to clear denominators so that D i := s i gives a global derivation A A for i = 1,..., n. Then there is a neighborhood N x of x in A n such that N x {t = t m+2 = = t n = 0} = N x X, Ω 1 N x/f q = n i=1 O N x dt i, and s ON u ). We may cover X with finitely many N x, so we may reduce to the case where X N x for a single x. For f I d I d, H f X fails to be smooth of dimension m 1 at a point P U if and only if fp ) = D 1 f)p ) = = D m f)p ) = 0. Let τ = max i deg t i ), γ = d τ)/p, and η = d/p. If f 0 I d, g 1 S γ,..., g m S γ, and h I η are selected uniformly and independently at random, then the distribution of f := f 0 + g p 1 t gmt p m + h p is uniform over I d, because of f 0. We will bound the probability that an f constructed in this way has a point P X > d c where fp ) = D 1 f)p ) = = D m f)p ) = 0. We have D i f = D i f 0 ) + g p i s for i = 1,..., m. We will select f 0, g 1,..., g m, h one at a time. For 0 i m, define W i := X {D 1 f = = D i f = 0}. Claim 1: For 0 i m 1, conditioned on a choice of f 0, g 1,..., g i for which dimw i ) m i, the probability that dimw i+1 ) m i 1 is 1 o1) as d. The function of d represented by the o1) depends on X and the D i.) Proof of Claim 1: This is completely analogous to the corresponding proof in [Poo04].
6 270 BJORN POONEN Claim 2: Conditioned on a choice of f 0, g 1,..., g m for which W m is finite, ProbH f W m X > d c = ) = 1 o1) as d. Proof of Claim 2: By Bézout s theorem as in [Ful84, p. 10], we have #W m = Od m ). For a given point P W m, the set H bad of h I η for which H f passes through P is either or a coset of kerev P : I η κp )), where κp ) is the residue field of P, and ev P is the evaluation-at-p map. If moreover deg P > d c, then Lemma 4.1 implies ) #H bad /#I η q ν where ν = min η, d c. Hence ProbH f W m X > d c ) #W m q ν = Od m q ν ) = o1) as d, since ν eventually grows linearly in d. This proves Claim 2. End of proof: Choose f I d uniformly at random. Claims 1 and 2 show that with probability m 1 i=0 1 o1)) 1 o1)) = 1 o1) as d, dim W i = m i for i = 0, 1,..., m and H f W m X > d c =. But H f W m is the subvariety of X cut out by the equations fp ) = D 1 f)p ) = = D m f)p ) = 0, so H f W m X > d c is exactly the set of points of H f X of degree > d c where H f X is not smooth of dimension m 1. Thus µ Z Q high X ) = 0. Lemma 4.3 Singularities of high degree on ). Define Q high := d 0{ f I d : P > d c Then µ Z Q high ) = 0. such that H f X is not smooth of dimension m 1 at P }. Proof. As before, we may assume X A n and we may dehomogenize. Given a closed point x X, choose a system of local parameters t 1,..., t n A at x on A n such that t = t m+2 = = t n = 0 defines X locally at x, and t 1 = t 2 = = t m l = t = t m+2 = = t n = 0 defines locally at x. If m w is the ideal sheaf of w on P n, then I Z mw m 2 w is surjective, so we may adjust t 1,..., t m l to assume that they vanish not only on but also on Z. Define i and D i as in the proof of Lemma 4.2. Then there is a neighborhood N x of x in A n such that N x {t = t m+2 = = t n = 0} = N x X, Ω 1 N x/f q = n i=1 O N x dt i, and s ON u ). Again we may assume X N x for a single x. For f I d I d, H f X fails to be smooth of dimension m 1 at a point P if and only if fp ) = D 1 f)p ) = = D m f)p ) = 0. Again let τ = max i deg t i ), γ = d τ)/p, and η = d/p. If f 0 I d, g 1 S γ,..., g l+1 S γ, are chosen uniformly at random, then f := f 0 + g p 1 t g p l+1 t l+1 is a random element of I d, since l + 1 m l. For i = 0,..., l + 1, the subscheme W i := {D 1 f = = D i f = 0}
7 SMOOTH HYPERSURFACE SECTIONS 271 depends only on the choices of f 0, g 1,..., g i. The same argument as in the previous proof shows that for i = 0,..., l, we have Probdim W i l i) = 1 o1) as d. In particular, W l is finite with probability 1 o1). To prove that µ Z Q high ) = 0, it remains to prove that conditioned on choices of f 0, g 1,..., g l making dim W l finite, ProbW l+1 > d c = ) = 1 o1). By Bézout s theorem, #W l = Od l ). The set H bad of choices of g l+1 making D l+1 f vanish at a given point P W l is either empty or a coset of kerev P : S γ κp )). Lemma 2.5 of [Poo04] implies that the size of this kernel or its coset) as a fraction of #S γ is at most q ν where ν := min are done. Proof of Theorem 1.1i). We have γ, d c 5. Conclusion P P r P Q medium r ). Since #W l q ν = o1) as d, we Q high X Qhigh, so µ Z P) and µ Z P) each differ from µ Z P r ) by at most µ Z Q medium r )+µ Z Q high µ Z Q high ). Applying Corollary 2.4 and Lemmas 3.2, 4.2, and 4.3, we obtain µ Z P) = lim µ ζ m + 1) ZP r ) = r ζ m l) ζ X m + 1). Acknowledgements X )+ I thank Shuji Saito for asking the question answered by this paper, and for pointing out [KA79]. References [Blo70] S. Bloch, Ph.D. thesis, Columbia University. [Ful84] W. Fulton, Introduction to intersection theory in algebraic geometry, CBMS Regional Conference Series in Mathematics, vol. 54, Published for the Conference Board of the Mathematical Sciences, Washington, DC, 1984.MR j:14008) [Gab01] O. Gabber, On space filling curves and Albanese varieties, Geom. Funct. Anal ), no. 6, MR g:14034) [KA79] S. L. Kleiman and Allen B. Altman, Bertini theorems for hypersurface sections containing a subscheme, Comm. Algebra ), no. 8, MR i:14007) [Poo04] B. Poonen, Bertini theorems over finite fields, Ann. of Math. 2) ), no. 3, MR a:14035) [SS07] S. Saito and Kanetomo Sato, Finiteness theorem on zero-cycles over p-adic fields April 11, 2007). arxiv:math.ag/ [Wei49] A. Weil, Numbers of solutions of equations in finite fields, Bull. Amer. Math. Soc ), MR ,592e) Department of Mathematics, University of California, Berkeley, CA , USA address: poonen@math.berkeley.edu URL:
SMOOTH HYPERSURFACE SECTIONS CONTAINING A GIVEN SUBSCHEME OVER A FINITE FIELD
SMOOTH HYPERSURFACE SECTIONS CONTAINING A GIEN SUBSCHEME OER A FINITE FIELD BJORN POONEN 1. Introduction Let F q be a finite field of q = p a elements. Let X be a smooth quasi-projective subscheme of P
More informationBERTINI THEOREMS OVER FINITE FIELDS
BERTINI THEOREMS OVER FINITE FIELDS BJORN POONEN Abstract. Let X be a smooth quasiprojective subscheme of P n of dimension m 0 over F q. Then there exist homogeneous polynomials f over F q for which the
More informationSIEVE METHODS FOR VARIETIES OVER FINITE FIELDS AND ARITHMETIC SCHEMES
SIEVE METHODS FOR VARIETIES OVER FINITE FIELDS AND ARITHMETIC SCHEMES BJORN POONEN 1. Introduction Classical sieve methods of analytic number theory have recently been adapted to a geometric setting. In
More informationBertini theorems for hypersurface sections containing a subscheme over nite elds
Bertini theorems for hypersurface sections containing a subscheme over nite elds Dissertation zur Erlangung des Doktorgrades der Naturwissenschaften (Dr. rer. nat.) der Fakultät für Mathematik der Universität
More informationMorphisms with Only Mild Singular Fibers and Bertini Theorems over Finite Fields
Morphisms with Only Mild Singular Fibers and Bertini Theorems over Finite Fields Ziquan Yang A Thesis Submitted to the Department of Mathematics for Honors Duke University, NC, 2016 1 Abstract We compute
More informationTHE SET OF NONSQUARES IN A NUMBER FIELD IS DIOPHANTINE
THE SET OF NONSQUARES IN A NUMBER FIELD IS DIOPHANTINE BJORN POONEN Abstract. Fix a number field k. We prove that k k 2 is diophantine over k. This is deduced from a theorem that for a nonconstant separable
More informationSUMS OF VALUES OF A RATIONAL FUNCTION. x k i
SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN
VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN Abstract. For any field k and integer g 3, we exhibit a curve X over k of genus g such that X has no non-trivial automorphisms over k. 1. Statement
More informationk k would be reducible. But the zero locus of f in A n+1
Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasi-projective variety
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle
More informationZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p
ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p BJORN POONEN 1. Statement of results Let K be a field of characteristic p > 0 equipped with a valuation v : K G taking values in an ordered
More informationArithmetic Mirror Symmetry
Arithmetic Mirror Symmetry Daqing Wan April 15, 2005 Institute of Mathematics, Chinese Academy of Sciences, Beijing, P.R. China Department of Mathematics, University of California, Irvine, CA 92697-3875
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 informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationCAYLEY-BACHARACH AND EVALUATION CODES ON COMPLETE INTERSECTIONS
CAYLEY-BACHARACH AND EVALUATION CODES ON COMPLETE INTERSECTIONS LEAH GOLD, JOHN LITTLE, AND HAL SCHENCK Abstract. In [9], J. Hansen uses cohomological methods to find a lower bound for the minimum distance
More informationA MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998
A MORE GENERAL ABC CONJECTURE Paul Vojta University of California, Berkeley 2 December 1998 In this note we formulate a conjecture generalizing both the abc conjecture of Masser-Oesterlé and the author
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 informationLines on Projective Hypersurfaces
Lines on Projective Hypersurfaces Roya Beheshti Abstract We study the Hilbert scheme of lines on hypersurfaces in the projective space. The main result is that for a smooth Fano hypersurface of degree
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 informationON THE INTERSECTION THEORY OF QUOT SCHEMES AND MODULI OF BUNDLES WITH SECTIONS
ON THE INTERSECTION THEORY OF QUOT SCHEMES AND MODULI OF BUNDLES WITH SECTIONS ALINA MARIAN Abstract. We consider a class of tautological top intersection products on the moduli space of stable pairs consisting
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationBoston College, Department of Mathematics, Chestnut Hill, MA , May 25, 2004
NON-VANISHING OF ALTERNANTS by Avner Ash Boston College, Department of Mathematics, Chestnut Hill, MA 02467-3806, ashav@bcedu May 25, 2004 Abstract Let p be prime, K a field of characteristic 0 Let (x
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 informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationFIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES
FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES JORDAN RIZOV Abstract. Let X be a scheme over a field K and let M X be the intersection of all subfields L of K such that X has a L-valued point. In
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 informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationSINGULARITIES OF LOW DEGREE COMPLETE INTERSECTIONS
METHODS AND APPLICATIONS OF ANALYSIS. c 2017 International Press Vol. 24, No. 1, pp. 099 104, March 2017 007 SINGULARITIES OF LOW DEGREE COMPLETE INTERSECTIONS SÁNDOR J. KOVÁCS Dedicated to Henry Laufer
More informationBRILL-NOETHER THEORY, II
This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve" 1 WARMUP ON DEGENERATIONS The classic first problem in Schubert calculus
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 informationarxiv:math/ v3 [math.ag] 27 Jan 2004
arxiv:math/0303382v3 [math.ag] 27 Jan 2004 MORE ÉTALE COVERS OF AFFINE SPACES IN POSITIVE CHARACTERISTIC KIRAN S. KEDLAYA Abstract. We prove that every geometrically reduced projective variety of pure
More informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
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 informationSection Projective Morphisms
Section 2.7 - Projective Morphisms Daniel Murfet October 5, 2006 In this section we gather together several topics concerned with morphisms of a given scheme to projective space. We will show how a morphism
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationThe Grothendieck Ring of Varieties
The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define
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 informationRELATION BETWEEN SMALL FUNCTIONS WITH DIFFERENTIAL POLYNOMIALS GENERATED BY MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL EQUATIONS
Kragujevac Journal of Mathematics Volume 38(1) (2014), Pages 147 161. RELATION BETWEEN SMALL FUNCTIONS WITH DIFFERENTIAL POLYNOMIALS GENERATED BY MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL
More informationLINE BUNDLES ON PROJECTIVE SPACE
LINE BUNDLES ON PROJECTIVE SPACE DANIEL LITT We wish to show that any line bundle over P n k is isomorphic to O(m) for some m; we give two proofs below, one following Hartshorne, and the other assuming
More informationJoshua N. Cooper Department of Mathematics, Courant Institute of Mathematics, New York University, New York, NY 10012, USA.
CONTINUED FRACTIONS WITH PARTIAL QUOTIENTS BOUNDED IN AVERAGE Joshua N. Cooper Department of Mathematics, Courant Institute of Mathematics, New York University, New York, NY 10012, USA cooper@cims.nyu.edu
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationMETRIC HEIGHTS ON AN ABELIAN GROUP
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationIntersection Theory I
Jessica Sidman Mount Holyoke College Partial support from NSF grant DMS-0600471 Clare Boothe Luce Program April 15, 2007 Systems of polynomial equations: varieties A homogeneous system of linear equations:
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 informationAPPLICATIONS OF LOCAL COHOMOLOGY
APPLICATIONS OF LOCAL COHOMOLOGY TAKUMI MURAYAMA Abstract. Local cohomology was discovered in the 960s as a tool to study sheaves and their cohomology in algebraic geometry, but have since seen wide use
More informationLECTURE 1. ZETA FUNCTIONS: AN OVERVIEW
LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW Zeta functions encode the counting of certain objects of geometric, algebraic, or arithmetic behavior. What distinguishes them from other generating series are special
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 informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationSection Blowing Up
Section 2.7.1 - Blowing Up Daniel Murfet October 5, 2006 Now we come to the generalised notion of blowing up. In (I, 4) we defined the blowing up of a variety with respect to a point. Now we will define
More informationJ. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that
On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that
More informationFibers of projections and submodules of deformations
Current Developments in Algebraic Geometry MSRI Publications Volume 59, 2011 Fibers of projections and submodules of deformations ROYA BEHESHTI AND DAVID EISENBUD We bound the complexity of the fibers
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationF -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/21-2010 KARL SCHWEDE 1. F -rationality Definition 1.1. Given (M, φ) as above, the module τ(m, φ) is called the test submodule of (M, φ). With Ψ R : F ω
More informationSHABNAM AKHTARI AND JEFFREY D. VAALER
ON THE HEIGHT OF SOLUTIONS TO NORM FORM EQUATIONS arxiv:1709.02485v2 [math.nt] 18 Feb 2018 SHABNAM AKHTARI AND JEFFREY D. VAALER Abstract. Let k be a number field. We consider norm form equations associated
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More information18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems References: [FvdP, Chapter 4]. Again, Kiehl s original papers (in German) are: Der
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
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 informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationGLOBALIZING LOCALLY COMPACT LOCAL GROUPS
GLOBALIZING LOCALLY COMPACT LOCAL GROUPS LOU VAN DEN DRIES AND ISAAC GOLDBRING Abstract. Every locally compact local group is locally isomorphic to a topological group. 1. Introduction In this paper a
More informationAlgebraic Varieties. Chapter Algebraic Varieties
Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationA NEW BOUND FOR THE EFFECTIVE MATSUSAKA BIG THEOREM
Houston Journal of Mathematics c 2002 University of Houston Volume 28, No 2, 2002 A NEW BOUND FOR THE EFFECTIVE MATSUSAKA BIG THEOREM YUM-TONG SIU Dedicated to Professor Shiing-shen Chern on his 90th Birthday
More informationTHE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC. 1. Introduction
THE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC THOMAS SCANLON Abstract. We describe intersections of finitely generated subgroups of semi-abelian varieties with subvarieties in characteristic
More informationarxiv: v1 [math.ag] 21 Oct 2009
BERTINI TYPE THEOREMS JING ZHANG arxiv:0910.4105v1 [math.ag] 1 Oct 009 Abstract. Let X be a smooth irreducible projective variety of dimension at least over an algebraically closed field of characteristic
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationALGORITHMS FOR ALGEBRAIC CURVES
ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 7 I consider the problem of computing in Pic 0 (X) where X is a curve (absolutely integral, projective, smooth) over a field K. Typically K is a finite
More informationSQUAREFREE VALUES OF MULTIVARIABLE POLYNOMIALS
SQUAREFREE VALUES OF MULTIVARIABLE POLYNOMIALS BJORN POONEN Abstract. Given f Z[x 1,..., x n ], we compute the density of x Z n such that fx) is squarefree, assuming the abc conjecture. Given f, g Z[x
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More informationOn the simplest expression of the perturbed Moore Penrose metric generalized inverse
Annals of the University of Bucharest (mathematical series) 4 (LXII) (2013), 433 446 On the simplest expression of the perturbed Moore Penrose metric generalized inverse Jianbing Cao and Yifeng Xue Communicated
More informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More informationTHE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE
JOURNAL OF COMMUTATIVE ALGEBRA Volume 8, Number 4, Winter 2016 THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE IULIA GHEORGHITA AND STEVEN V SAM ABSTRACT. We describe the cone of
More informationON k-subspaces OF L-VECTOR-SPACES. George M. Bergman
ON k-subspaces OF L-VECTOR-SPACES George M. Bergman Department of Mathematics University of California, Berkeley CA 94720-3840, USA gbergman@math.berkeley.edu ABSTRACT. Let k L be division rings, with
More information. HILBERT POLYNOMIALS
CLASSICAL ALGEBRAIC GEOMETRY Daniel Plaumann Universität Konstan Summer HILBERT POLYNOMIALS T An ane variety V A n with vanishing ideal I(V) K[,, n ] is completely determined by its coordinate ring A(V)
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
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 information