Some general results on plane curves with total inflection points
|
|
- Maud O’Connor’
- 5 years ago
- Views:
Transcription
1 Some general results on plane curves with total inflection points Filip Cools and Marc Coppens October 19, 006 Abstract. In this paper we study plane curves of degree d with e total inflection points, for nonzero natural numbers d and e. MSC. 14H10, 14H50, 14N0. 0 Introduction Let e and d be nonzero natural numbers and denote by V d,e the set of elements ((L 1, P 1,..., (L e, P e with L 1,..., L e lines in the complex projective plane P, P i a point on the line L i for each i, P i L j for each i j and such that there exists a plane curve C of degree d with contact order d with L i at P i for each i. So P 1,..., P e are total inflection points of C. In [5], the case d 4 (i.e. quartic curves has been studied intensively. The main tool used in that thesis is the so-called λ-invariant, which is nothing else than a cross ratio of four points. In [3], the cases e 1, have been handled and also the cases e 3, 4 for some special configurations of the lines L i and the points P i. In Section 1 of this paper, we will first prove a general result (Proposition 1.3. Note that part (a of this Proposition is already known (see [5, Chapter II, Lemma.15] or [3, Theorem A]. In Section, we prove a generalization of the main result of a paper of E. Ballico (see []. In Section 3, we introduce the notion of expected dimension for a component of V d,e. In a following paper of the authors, the established techniques of this paper will be used to describe all the components of V d,e in case e is equal to 3 or K.U.Leuven, Department of Mathematics, Celestijnenlaan 00B, B-3001 Leuven, Belgium, Filip.Cools@wis.kuleuven.be. Katholieke Hogeschool Kempen, Departement Industrieel Ingenieur en Biotechniek, Kleinhoefstraat 4, B-440 Geel, Belgium, Marc.Coppens@khk.be; the author is affiliated with K.U.Leuven as Research Fellow. 1
2 4, together with their images in the moduli spaces. Both authors are partially supported by the Fund of Scientific Research - Flanders (G Definition and a general result Definition 1.1. Let P be the complex projective plane and P be the incidence relation in (P P, thus P (L, P P L}. If d and e are nonzero natural numbers, we denote by V d,e (P e the set of elements (L, P ((L 1, P 1,..., (L e, P e with P i L j for all i j (hence also L i L j for i j and such that there exists a plane curve Γ of degree d, not containing any of the lines L i, with i(l i.γ, P i d. We write V d,e to denote the closure of V d,e in (P e. Assume (L, P V d,e. On L i we have the divisor dp i, so we can consider the subscheme dp i P. Denote by dp the subscheme dp 1 + +dp e P of length ed. Denote by V (L, P Γ(P, O P (d the set s dp Z(s}, hence P(V (L, P is the associated linear system of plane curves. Remark 1.. We can easily see that V d,1 P and that dim(v (L, P ( d+ d for all (L, P P. This follows from the fact that for each line L (P the restriction map Γ(P, O P (d Γ(L, O L (d is surjective and dp L corresponds to a unique element of P(Γ(L, O L (d. Proposition 1.3. Let (L, P V d,e. (a dim(v (L, P ( ( d e+ + 1, where n is defined to be 0 if n <. (b Let L be a line in P with P i L for 1 i e. Let V L (L, P be the image of the restriction map V (L, P Γ(L, O L (d. Let P i0 L i L for 1 i e. If d e, dim(v L (L, P d e+ and P(V L (L, P is a linear system g d e+1 d on L containing P P e0 + g d e d e. If d < e, dim(v L(L, P 1. (c Under the assumptions of (b, for P L with P P i0 for all 1 i e one has ((L, P, (L, P V d,e+1 if and only if dp P(V L (L, P. Proof: Note that (a is true in case e 1 by Remark 1.. Consider (L 1, P 1 P and let L (P be a line different from L 1. Let l (resp. l 1 be an equation of L (resp. L 1 and let f Ker[V (L 1, P 1 Γ(L, O L (d], hence l divides f. The divisor dp 1 + P 10 L 1 belongs to Z(f, hence l 1 divides f. This proves ll 1 Γ(P, O P (d if d, Ker[V (L 1, P 1 Γ(L, O L (d] 0 if d 1,
3 hence the dimension of Ker[V (L 1, P 1 Γ(L, O L (d] is equal to ( d and ( d dim(v L (L 1, P 1 dim(v (L 1, P 1 d + 1. This proves V L (L 1, P 1 Γ(L, O L (d, which is (b in case e 1. For P L with P P 10 the divisor dp L corresponds to a unique element of P(V L (L 1, P 1, hence ((L 1, P 1, (L, P V d, proving (c in case e 1, and we find dim(v ((L 1, P 1, (L, P dim(v L (L 1, P 1 d ( d ((a in case e. Take e and assume that (a is true for e. Let l i (resp. l be an equation for L i (resp. L. As before we find ll 1... l e Γ(P, O P (d e 1 if d e, Ker[V (L, P Γ(L, O L (d] 0 if d < e, hence the dimension of Ker[V (L, P Γ(L, O L (d] is equal to ( d e+1 and ( d e + 1 dim(v L (L, P dim(v (L, P ( ( d e + d e + 1 d e + if d e, if d < e. If d e, l 1... l e Γ(P, O P (d e V (L, P and we obtain that P P e0 + g d e d e P(V L(L, P. This finishes the proof of (b for e. Moreover, claim (c holds because of the construction of P(V L (L, P. In particular, if (L, P : ((L, P, (L, P V d,e+1, then dp corresponds to a unique divisor of P(V L (L, P. This implies dim(v (L, P dim(v (L, P dim(p(v L (L, P ( d e + d e + 1 if d e if d < e ( d (e , hence (a holds for e + 1. Remark 1.4. From the proof of Proposition 1.3 in case e we also obtain V d, ((L 1, P 1, (L, P P i L j for i j}, hence V d, (P. 3
4 A generalization of a result of Ballico In this section, we will prove the following generalization of a result of E. Ballico (see [], where the case e has been handled. The main reason why E. Ballico restricted himself to the case e, is that the analogous statement of Remark 1.4 does not hold for e 3. Due to the geometrical clear statements of Proposition 1.3, we are able to make the natural generalization in case e 3. Proposition.1. Assume that (L, P V d,e with d e and that z is an integer satisfying 3z < ( ( d e+ and z d e 1. Let O O1,..., O z } be general points in P and let V (L, P, O s V (L, P Z(s is singular at O 1,..., O z }. (a dim(v (L, P, O dim(v (L, P 3z and a general element of V (L, P, O does not contain some line L i for 1 i e. (b If (d e, z (6, 9, then a general element of V (L, P, O is smooth outside O 1,..., O z and has ordinary nodes at O 1,..., O z. To prove Proposition.1, we use the following classical result of E. Arbarello and M. Cornalba (see [1]. Proposition.. Let V f (O s Γ(P, O P (f Z(s singular at O 1,..., O z }. 1. If 3z < ( ( f+ and z f 1, then dim(vf (O ( f+ 3z.. In case (f, z (6, 9, a general element of V f (O corresponds to an irreducible curve Γ smooth outside O 1,..., O z and having an ordinary node at O 1,..., O z. Proof of Proposition.1: Let (L x, P x ((L 1, P 1,..., (L x, P x for all 1 x e, V (L 0, P 0 Γ(P, O P (d and V (L 0, P 0, O V d (O. Claim i : For 0 x e we have dim(v (L x, P x, O dim(v (L x, P x 3z and a general element of P(V (L x, P x, O does not contain any of the lines L i (for 1 i x. Proof of Claim i : Since 3z < ( ( d e+ d+ ( and z d e 1 ( d 1, this claim holds in case x 0 (classical case. Assume x 1 and that the claim holds for x 1. Clearly Ker[V (L x 1, P x 1, O Γ(L x, O Lx (d] l 1 l x V d x (O. Since 1 x e, one has 3z < ( ( d x+ and z d x 1, hence the dimension of that kernel is equal to ( d x+ 3z, because of Proposition.. 4
5 Let V Lx (L x 1, P x 1, O Im[V (L x 1, P x 1, O Γ(L x, O Lx (d], then we find by using Proposition 1.3 (a that ( d x + dim(v Lx (L x 1, P x 1, O dim(v (L x 1, P x 1, O + 3z ( d x + dim(v (L x 1, P x 1 ( ( d (x 1 + d x δ 0,x 1 } d x + 3 δ 0,x 1 dim(v Lx (L x 1, P x 1, where δ 0,x 1 is a Kronecker delta. This implies that V Lx (L x 1, P x 1, O V Lx (L x 1, P x 1 since V Lx (L x 1, P x 1, O V Lx (L x 1, P x 1. So from (L x, P x V d,x it follows that dp x P(V Lx (L x 1, P x 1 P(V Lx (L x 1, P x 1, O, hence dim(v (L x, P x, O dim(v (L x 1, P x 1, O (d x + δ 0,x 1 dim(v (L x 1, P x 1 (d x + δ 0,x 1 3z dim(v (L x, P x 3z and a general element of P(V (L x, P x, O does not contain L x. If it would contain L i for some 1 i x 1 then it should contain the divisor P ix + dp x L x (here P ix L i L x, hence it would contain L x, a contradiction. This finishes the proof of Claim i. Since (d e, z (6, 9, there exists an irreducible curve Γ 0 V d e (O smooth outside O 1,..., O z having ordinary nodes at O 1,..., O z. Claim ii : We can assume that P i Γ 0 for 1 i e. Proof of Claim ii : Varying O 1,..., O z, the closure of the union of the loci V d e (O contains the union of d e general lines in P (see for example [4]. Such union does not contain any of those points P i, hence for O 1,..., O z general we can assume P i Γ 0 for 1 i e. It follows that the curve L L e +Γ 0 P(V (L, P is smooth at P 1,..., P e. From Claim i we know that Γ P(V (L, P, O general does not contain any of the lines L i (1 i e hence Γ L i P i }. It follows that the fixed locus of P(V (L, P, O is contained in the finite set P 1,..., P e } (Γ Γ 0. 5
6 A general element of P(V (L, P, O is singular at one of the points if and only if each element of P(V (L, P, O is singular at that point. We already knew this does not hold for P 1,..., P e. Also, since Γ 0 is smooth outside O 1,..., O z and Γ Γ 0 L i, it follows that a general element of P(V (L, P, O is smooth outside O 1,..., O z. Since L L e + Γ 0 has ordinary nodes at O 1,..., O z, a general element Γ of P(V (L, P, O has ordinary nodes at O 1,..., O z. 3 Expected dimension of a component of V d,e Let (P e,0 be the open subset of (P e of elements (L, P satisfying P i L j for i j. For (L, P (P e,0 and i j we write P i,j L i L j and we write g i to denote the linear system P 1,i P i 1,i + g d i+1 d i+1 on L i in case i d + 1. We take g i if i > d + 1. Assume e 3 and let G e be the space of pairs (g, (L, P with (L, P (P e,0 and g being an (e -tuple (g 3,..., g e of linear systems as follows. For 3 i e, g i is a linear system g maxd i+,0} d on L i containing g i. Let τ : G e (P e,0 be the natural projection. It is a smooth morphism of relative dimension e i1 i (e 1(e. Claim 3.1: There exist sections S 1 and S of τ such that V d,e τ(s 1 S. Corollary 3.. Each component of V d,e has codimension at most (e 1(e inside (P e. Definition 3.3. Let V be a component of V d,e. We say V has the expected dimension if dim(v 3e (e 1(e and we say that V is of exceptional dimension if dim(v > 3e (e 1(e. In case e 9 (this is a bound independent of d then all components of V d,e have exceptional dimension. Proof of Claim 3.1: The first section S 1 is defined by S 1 (L, P g with g i g i dp i } gd d on L i. In order to define S (L, P h, we are going to make a well-defined construction imitating the construction of the linear space V (L x, P x for 1 x e. We are going to define h inductively starting with h 3 P(V L3 (L, P. Inductively we also are going to define a sequence of subspaces V (L e, P e V (L e 1, P e 1 V (L 3, P 3 V (L, P such that the dimension of V (L x, P x is equal to ( d x+ +1, the space V (L x, P x contains l 1... l x Γ(P, O P (d x if x d and if s V (L x, P x and i 6
7 minx, d + 1}, then either l i Z(s or the multiplicity of Z(s L i at P i is more then d i + 1. Let D 3 h 3 be the divisor in h 3 having maximal multiplicity at P 3 (being at least d 1 and let W 3 V L3 (L, P be the corresponding 1-dimensional linear subspace. Then V (L 3, P 3 is the inverse image of W 3 in V (L, P. Since l 1 l l 3 Γ(P, O P (d 3 if d 3, Ker[V (L, P V L3 (L, P ] 0 if d < 3, one ( has l 1 l l 3 Γ(P, O P (d 3 V (L 3, P 3 if d 3 and dim(v (L 3, P 3 d Now let 3 < x e and assume h x 1 and V (L x 1, P x 1 are defined. Let s Ker[V (L x 1, P x 1 Γ(L x, O Lx (d], hence l x divides s. We are going to prove that l i divides s for 1 i x 1 too. Since Z(s contains P 1,x + dp 1 L 1 we find l 1 divides s. Let 1 < i 0 x 1 and assume l i divides s for 1 i < i 0. If i 0 d +, l 1... l i0 1 divides s, so s 0 and a fortiori l i0 divides s. If i 0 d + 1, Z(s contains P 1,i P i0 1,i 0 L i0. If l i0 does not divide s then Z(s L i0 is a divisor with multiplicity at most d i at P i0, a contradiction. Hence l i0 divides s. Since l 1... l x 1 Γ(P, O P (d x + 1 V (L x 1, P x 1 if x d + 1, we find Ker[V l 1... l x Γ(P, O P (d x if x d, (L x 1, P x 1 Γ(L x, O Lx (d] 0 if x > d. Let V L x (L x 1, P x 1 Im[V (L x 1, P x 1 Γ(L x, O Lx (d] then we find ( d x + dim(v L x (L x 1, P x 1 dim(v (L x 1, P x 1 d x + 3 if x d + 1, 1 if x > d + 1. We define h x P(V L x (L x 1, P x 1. Since l 1... l x 1 Γ(P, O P (d x + 1 V (L x 1, P x 1 if x d + 1, we obtain g x h x on L x. Let D x be the divisor in h x having maximal multiplicity at P x (being at least d x + and let W x V L x (L x 1, P x 1 be the associated 1-dimensional linear subspace. Then V (L x, P x is the inverse image of W x in V (L x 1, P x 1. One has dim(v (L x, P x dim(v (L x 1, P x 1 dim(v L x (L x 1, P x ( d x Also V (L x, P x contains the kernel of V (L x 1, P x 1 Γ(L x, O Lx (d, hence it contains l 1... l x Γ(P, O P (d x if x d. 7
8 Of course S 1 (L, P S (L, P if and only if h i g i for all 3 i e. The condition h 3 g 3 is clearly equivalent to dp 3 P(V L3 (L, P, hence it is equivalent to (L 3, P 3 V d,e. Under these equivalence we also have V (L 3, P 3 V (L 3, P 3. Let 3 < i e and assume that h j g j for 3 j < i is equivalent to (L i 1, P i 1 V d,i 1 and that under this equivalence one has V (L i 1, P i 1 V (L i 1, P i 1. Assume h j g j for 3 j i. Since V (L i 1, P i 1 V (L i 1, P i 1 we have V L i (L i 1, P i 1 V Li (L i 1, P i 1. Then the condition g i h i is equivalent to dp i P(V Li (L i 1, P i 1, which is equivalent to (L i, P i V d,i and by construction we get V (L i, P i V (L i, P i. This finishes the proof of the claim. Example 3.4. : case e 3. All components V of V d,3 (P 3 are of expected dimension 8. In order to prove this, it is enough to show that V (P 3, since dim((p 3 9 and dim V 8 by Corollary 3.3. Now since for (L, P V general, we have V L3 (L, P Γ(L 3, O L3 (d (see Proposition 1.3(b and thus ((L, P, (L 3, P 3 V d,3 for general (L 3, P 3 P, so the claim follows immediately. Example 3.5. Let d be even and consider V (L, P (P e P i L j if i j and C Γ(P, O P ( : T Pi (C L i }. It is clear that V V d,e has dimension 5 + e and thus V is of unexpected dimension if and only if e > 4. Example 3.6. Let e 3 and consider V (L, P (P e P i L j if i j and P 1,..., P e collinear}. It is clear that V is a component of V d,e of dimension e+, so it is of unexpected dimension if e > 3. In fact, in a following paper of the authors, it will be proved that this is the only component of unexpected dimension if e 4. References [1] E. Arbarello, M. Cornalba, Footnotes to a paper of Beniamino Segre, Math. Ann. 56 (1981, [] E. Ballico, Highest order flexes of nodal plane curves, JP Jour. Algebra, Number Theory & Appl. 4(3 (004, [3] G. Casnati, A. Del Centina, On certain loci of smooth degree d 4 plane curves with d-flexes, Michigan Math. J. 50(1 (00, [4] A. Tannenbaum, Families of algebraic curves with nodes, Compositio Mathematica 41(1 (1980, [5] A.M. Vermeulen, Weierstrass points of weight two on curves of genus three, Academisch Proefschrift, Universiteit van Amsterdam,
arxiv: v1 [math.ag] 11 Mar 2009
Star points on smooth hypersurfaces arxiv:0903.2005v1 [math.ag] 11 Mar 2009 Filip Cools and Marc Coppens March 11, 2009 Abstract. A point P on a smooth hypersurface X of degree d in P N is called a star
More informationPencils on real curves
Math. Nachr. 286, No. 8 9, 799 816 (2013) / DOI 10.1002/mana.201100196 Pencils on real curves Marc Coppens 1 and Johannes Huisman 2 1 Katholieke Hogeschool Kempen, Departement Industrieel Ingenieur en
More informationJournal of Algebra 323 (2010) Contents lists available at ScienceDirect. Journal of Algebra.
Journal of Algebra 323 (2010 261 286 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Star points on smooth hypersurfaces Filip Cools a,,1, Marc Coppens a,b
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 informationFree divisors on metric graphs
Free divisors on metric graphs Marc Coppens Abstract On a metric graph we introduce the notion of a free divisor as a replacement for the notion of a base point free complete linear system on a curve.
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 informationModuli of Pointed Curves. G. Casnati, C. Fontanari
Moduli of Pointed Curves G. Casnati, C. Fontanari 1 1. Notation C is the field of complex numbers, GL k the general linear group of k k matrices with entries in C, P GL k the projective linear group, i.e.
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 informationCorollary. Let X Y be a dominant map of varieties, with general fiber F. If Y and F are rationally connected, then X is.
1 Theorem. Let π : X B be a proper morphism of varieties, with B a smooth curve. If the general fiber F of f is rationally connected, then f has a section. Corollary. Let X Y be a dominant map of varieties,
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 informationH. Lange and E. Sernesi *
QUADRICS CONTAINING A PRYM-CANONICAL CURVE Introduction H. Lange and E. Sernesi * Let X denote a smooth projective nonsingular curve of genus g and let σ be a nontrivial line bundle on X such that σ 2
More informationOn the floor and the ceiling of a divisor
Finite Fields and Their Applications 12 (2006) 38 55 http://www.elsevier.com/locate/ffa On the floor and the ceiling of a divisor Hiren Maharaj, Gretchen L. Matthews 1 Department of Mathematical Sciences,
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 informationOSCULATION FOR CONIC FIBRATIONS
OSCULATION FOR CONIC FIBRATIONS ANTONIO LANTERI, RAQUEL MALLAVIBARRENA Abstract. Smooth projective surfaces fibered in conics over a smooth curve are investigated with respect to their k-th osculatory
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 information(dim Z j dim Z j 1 ) 1 j i
Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationMath 203A, Solution Set 6.
Math 203A, Solution Set 6. Problem 1. (Finite maps.) Let f 0,..., f m be homogeneous polynomials of degree d > 0 without common zeros on X P n. Show that gives a finite morphism onto its image. f : X P
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 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 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 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 informationBalancing in relative canonical resolutions and a unirational moduli space of K3 surfaces
Balancing in relative canonical resolutions and a unirational moduli space of K3 surfaces Frank-Olaf Schreyer Universität des Saarlandes E-Mail: schreyer@math.uni-sb.de. The Prospects for Commutative Algebra
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
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 Rationality of Certain Moduli Spaces of Curves of Genus 3
The Rationality of Certain Moduli Spaces of Curves of Genus 3 Ingrid Bauer and Fabrizio Catanese Mathematisches Institut Universität Bayreuth, NW II D-95440 Bayreuth, Germany Ingrid.Bauer@uni-bayreuth.de,
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 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 informationPROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013
PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files
More information2 G. D. DASKALOPOULOS AND R. A. WENTWORTH general, is not true. Thus, unlike the case of divisors, there are situations where k?1 0 and W k?1 = ;. r;d
ON THE BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Abstract. On an arbitrary compact Riemann surface, necessary and sucient conditions are found for the
More informationThe moduli space of étale double covers of genus 5 curves is unirational
The moduli space of étale double covers of genus 5 curves is unirational E. Izadi, M. Lo Giudice and G.K. Sankaran Abstract We show that the coarse moduli space R 5 of étale double covers of curves of
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 informationLIMIT LINEAR SERIES AND THE MAXIMAL RANK CONJECTURE
LIMIT LINEAR SERIES AND THE MAXIMAL RANK CONJECTURE BRIAN OSSERMAN Abstract. The maximal rank conjecture addresses the degrees of equations cutting out suitably general curves in projective spaces. We
More informationIRREDUCIBILITY AND COMPONENTS RIGID IN MODULI OF THE HILBERT SCHEME OF SMOOTH CURVES
IRREDUCIBILITY AND COMPONENTS RIGID IN MODULI OF THE HILBERT SCHEME OF SMOOTH CURVES CHANGHO KEEM*, YUN-HWAN KIM AND ANGELO FELICE LOPEZ** Abstract. Denote by H d,g,r the Hilbert scheme of smooth curves,
More informationCodewords of small weight in the (dual) code of points and k-spaces of P G(n, q)
Codewords of small weight in the (dual) code of points and k-spaces of P G(n, q) M. Lavrauw L. Storme G. Van de Voorde October 4, 2007 Abstract In this paper, we study the p-ary linear code C k (n, q),
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationINDRANIL BISWAS AND GEORG HEIN
GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed
More informationTHE STRUCTURE OF THE MODULI STACK OF ELLIPTIC CURVES
THE STRUCTURE OF THE MODULI STACK OF ELLIPTIC CURVES CHARMAINE SIA ABSTRACT. We study the multiplication-by-p map on an elliptic curve, which gives a stratification of the moduli stack of elliptic curves
More informationEXTREMAL HIGHER CODIMENSION CYCLES ON MODULI SPACES OF CURVES
EXTREMAL HIGHER CODIMENSION CYCLES ON MODULI SPACES OF CURVES DAWEI CHEN AND IZZET COSKUN Abstract. We show that certain geometrically defined higher codimension cycles are extremal in the effective cone
More informationLECTURE 6: THE ARTIN-MUMFORD EXAMPLE
LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As
More informationOn a theorem of Ziv Ran
INSTITUTUL DE MATEMATICA SIMION STOILOW AL ACADEMIEI ROMANE PREPRINT SERIES OF THE INSTITUTE OF MATHEMATICS OF THE ROMANIAN ACADEMY ISSN 0250 3638 On a theorem of Ziv Ran by Cristian Anghel and Nicolae
More informationThe fundamental theorem of projective geometry
The fundamental theorem of projective geometry Andrew Putman Abstract We prove the fundamental theorem of projective geometry. In addition to the usual statement, we also prove a variant in the presence
More informationFANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES. 1. Introduction
FANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES ELENA CHIERICI AND GIANLUCA OCCHETTA Abstract. We study Fano manifolds of pseudoindex greater than one and dimension greater than five, which
More informationAlgebraic Geometry (Math 6130)
Algebraic Geometry (Math 6130) Utah/Fall 2016. 2. Projective Varieties. Classically, projective space was obtained by adding points at infinity to n. Here we start with projective space and remove a hyperplane,
More informationRational curves on general type hypersurfaces
Rational curves on general type hypersurfaces Eric Riedl and David Yang May 5, 01 Abstract We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an
More informationThe Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6
The Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6 A Dissertation in Mathematics by Evgeny Mayanskiy c 2013 Evgeny Mayanskiy Submitted in Partial
More informationp-cycles, S 2 -sets and Curves with Many Points
Facultad de Ciencias Naturales y Exactas Universidad del Valle p-cycles, S 2 -sets and Curves with Many Points Álvaro Garzón R. Universidad del Valle Received: December 16, 2016 Accepted: June 13, 2017
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationVERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP
VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP CHRISTIAN PAULY AND ANA PEÓN-NIETO Abstract. Let X be a smooth complex projective curve of genus g 2 and let K be its canonical bundle. In this note
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 informationCounting the number of trigonal curves of genus five over finite fields
Counting the number of trigonal curves of genus five over finite fields Tom Wennink August 9, 06 Abstract The trigonal curves form a closed subscheme of M 5, the moduli space of smooth curves of genus
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 informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationRIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1743 K3 SURFACES OF GENUS SIXTEEN By Shigeru MUKAI February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan K3 SURFACES OF GENUS SIXTEEN SHIGERU MUKAI Abstract. The
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 informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
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 informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationD-RATIO OF A CONFIGURATION
D-RATIO OF A CONFIGURATION JORGE PINEIRO, TANVIR ABULKALAM Abstract. We extend the notion of D-ratio to a general configuration of lines and study its properties. 1. Succesive blow-ups for resolving the
More information1 Existence of the Néron model
Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S
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 informationLocal properties of plane algebraic curves
Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying
More informationSixty-Four Curves of Degree Six
Sixty-Four Curves of Degree Six Bernd Sturmfels MPI Leipzig and UC Berkeley with Nidhi Kaihnsa, Mario Kummer, Daniel Plaumann and Mahsa Sayyary 1 / 24 Poset 2 / 24 Hilbert s 16th Problem Classify all real
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 information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationCHERN CLASSES OF RANK TWO GLOBALLY GENERATED VECTOR BUNDLES ON P 2.
CHERN CLASSES OF RANK TWO GLOBALLY GENERATED VECTOR BUNDLES ON P. PH. ELLIA Abstract. We determine the Chern classes of globally generated rank two vector bundles on P. Introduction. Vector bundles generated
More informationPaolo Aluffi Mathematics Department, Florida State University
SINGULAR SCHEMES OF HYPERSURFACES Paolo Aluffi Mathematics Department, Florida State University June 1996 Contents 0. Introduction 1. The µ-class of the singularity of a hypersurface 2. Relations with
More informationON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE
ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional
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 informationOn the Hilbert Functions of Disjoint Unions of a Linear Space and Many Lines in P n
International Mathematical Forum, 5, 2010, no. 16, 787-798 On the Hilbert Functions of Disjoint Unions of a Linear Space and Many Lines in P n E. Ballico 1 Dept. of Mathematics University of Trento 38123
More informationA Partial Multivariate Polynomial Interpolation Problem
International Mathematical Forum, 2, 2007, no. 62, 3089-3094 A Partial Multivariate Polynomial Interpolation Problem E. Ballico 1 Dept. of Mathematics University of Trento 38050 Povo (TN), Italy ballico@science.unitn.it
More informationALGEBRAIC GEOMETRY I - FINAL PROJECT
ALGEBRAIC GEOMETRY I - FINAL PROJECT ADAM KAYE Abstract This paper begins with a description of the Schubert varieties of a Grassmannian variety Gr(k, n) over C Following the technique of Ryan [3] for
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationA RIEMANN-ROCH THEOREM IN TROPICAL GEOMETRY
A RIEMANN-ROCH THEOREM IN TROPICAL GEOMETRY ANDREAS GATHMANN AND MICHAEL KERBER ABSTRACT. Recently, Baker and Norine have proven a Riemann-Roch theorem for finite graphs. We extend their results to metric
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 informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationCommuting nilpotent matrices and pairs of partitions
Commuting nilpotent matrices and pairs of partitions Roberta Basili Algebraic Combinatorics Meets Inverse Systems Montréal, January 19-21, 2007 We will explain some results on commuting n n matrices and
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationNon-uniruledness results for spaces of rational curves in hypersurfaces
Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree
More informationInflection Points on Real Plane Curves Having Many Pseudo-Lines
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No. 2, 509-516. Inflection Points on Real Plane Curves Having Many Pseudo-Lines Johannes Huisman Institut Mathématique
More informationRATIONAL NODAL CURVES WITH NO SMOOTH WEIERSTRASS POINTS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 2, February 1996 RATIONAL NODAL CURVES WITH NO SMOOTH WEIERSTRASS POINTS ARNALDO GARCIA AND R. F. LAX (Communicated by Eric Friedlander)
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 informationON NODAL PRIME FANO THREEFOLDS OF DEGREE 10
ON NODAL PRIME FANO THREEFOLDS OF DEGREE 10 OLIVIER DEBARRE, ATANAS ILIEV, AND LAURENT MANIVEL Abstract. We study the geometry and the period map of nodal complex prime Fano threefolds with index 1 and
More informationLINKED ALTERNATING FORMS AND LINKED SYMPLECTIC GRASSMANNIANS
LINKED ALTERNATING FORMS AND LINKED SYMPLECTIC GRASSMANNIANS BRIAN OSSERMAN AND MONTSERRAT TEIXIDOR I BIGAS Abstract. Motivated by applications to higher-rank Brill-Noether theory and the Bertram-Feinberg-Mukai
More informationHYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique
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 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 informationOn the Computation of the Adjoint Ideal of Curves with Ordinary Singularities
Applied Mathematical Sciences Vol. 8, 2014, no. 136, 6805-6812 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.49697 On the Computation of the Adjoint Ideal of Curves with Ordinary Singularities
More informationNéron Models of Elliptic Curves.
Néron Models of Elliptic Curves. Marco Streng 5th April 2007 These notes are meant as an introduction and a collection of references to Néron models of elliptic curves. We use Liu [Liu02] and Silverman
More informationRational Curves on Hypersurfaces
Rational Curves on Hypersurfaces The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Riedl, Eric. 015. Rational Curves on
More informationMODULI TOPOLOGY. 1. Grothendieck Topology
MODULI TOPOLOG Abstract. Notes from a seminar based on the section 3 of the paper: Picard groups of moduli problems (by Mumford). 1. Grothendieck Topology We can define a topology on any set S provided
More informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More informationMATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix.
MATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix. Basis Definition. Let V be a vector space. A linearly independent spanning set for V is called a basis.
More informationON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE
ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional
More informationSARA BILLEY AND IZZET COSKUN
SINGULARITIES OF GENERALIZED RICHARDSON VARIETIES SARA BILLEY AND IZZET COSKUN Abstract. Richardson varieties play an important role in intersection theory and in the geometric interpretation of the Littlewood-Richardson
More informationA PERFECT STRATIFICATION OF M g FOR g 5
A PERFECT STRATIFICATION OF M g FOR g 5 CLAUDIO FONTANARI AND EDUARD LOOIJENGA Abstract. We find for g 5 a stratification of depth g 2 of the moduli space of curves M g with the property that its strata
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 informationChapter 2: Linear Independence and Bases
MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space
More information