Normality of secant varieties

Similar documents
TAUTOLOGICAL BUNDLES ON THE HILBERT SCHEME OF POINTS AND THE NORMALITY OF SECANT VARIETIES

The Grothendieck Ring of Varieties

SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS

Complex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool

SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES

Corollary. Let X Y be a dominant map of varieties, with general fiber F. If Y and F are rationally connected, then X is.

12. 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

Secant varieties and birational geometry

LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS

mult 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

Preliminary Exam Topics Sarah Mayes

Volume 3. mathematical sciences publishers. Syzygies of the secant variety of a curve. No. 4. Jessica Sidman and Peter Vermeire

arxiv:math/ v2 [math.ag] 11 Mar 1999

a double cover branched along the smooth quadratic line complex

where 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

PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013

Singularities of hypersurfaces and theta divisors

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES

COMPLEX ALGEBRAIC SURFACES CLASS 9

INTERSECTION THEORY CLASS 12

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS

FANO VARIETIES AND EPW SEXTICS

ON A THEOREM OF CAMPANA AND PĂUN

Pacific Journal of Mathematics

Under these assumptions show that if D X is a proper irreducible reduced curve with C K X = 0 then C is a smooth rational curve.

Wild ramification and the characteristic cycle of an l-adic sheaf

Zero-cycles on surfaces

arxiv:alg-geom/ v1 21 Mar 1996

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

(1) is an invertible sheaf on X, which is generated by the global sections

SESHADRI CONSTANTS ON SURFACES

H. Lange and E. Sernesi *

Math 248B. Applications of base change for coherent cohomology

The Cone Theorem. Stefano Filipazzi. February 10, 2016

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

Pacific Journal of Mathematics

Minimal model program and moduli spaces

the 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

h : P 2[n] P 2(n). The morphism h is birational and gives a crepant desingularization of the symmetric product P 2(n).

The Maximal Rank Conjecture

Space of surjective morphisms between projective varieties

The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1

MATH 233B, FLATNESS AND SMOOTHNESS.

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3

Oral exam practice problems: Algebraic Geometry

Pullbacks of hyperplane sections for Lagrangian fibrations are primitive

Special determinants in higher-rank Brill-Noether theory

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

MODULI SPACES OF CURVES

LINKED ALTERNATING FORMS AND LINKED SYMPLECTIC GRASSMANNIANS

Lines on Projective Hypersurfaces

Non-uniruledness results for spaces of rational curves in hypersurfaces

Special scrolls whose base curve has general moduli

ABEL-JACOBI MAPS ASSOCIATED TO SMOOTH CUBIC THREEFOLDS. Contents. 1. Introduction

RIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

Classifying Hilbert functions of fat point subschemes in P 2

KAWAMATA VIEHWEG VANISHING THEOREM

Segre classes of tautological bundles on Hilbert schemes of surfaces

1. Algebraic vector bundles. Affine Varieties

Proof of the Shafarevich conjecture

Chern numbers and Hilbert Modular Varieties

Vanishing theorems for toric polyhedra

INTERPOLATION PROBLEMS: DEL PEZZO SURFACES

COMPLEX ALGEBRAIC SURFACES CLASS 4

FANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES. 1. Introduction

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

AN INTRODUCTION TO AFFINE SCHEMES

version corrected on 21/9/12

A remark on the arithmetic invariant theory of hyperelliptic curves

LINKED HOM SPACES BRIAN OSSERMAN

ALGEBRAIC GEOMETRY I, FALL 2016.

LIMIT LINEAR SERIES AND THE MAXIMAL RANK CONJECTURE

ALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv: v2 [math.ag] 18 Apr INTRODUCTION

ABSTRACT NONSINGULAR CURVES

An Atlas For Bun r (X)

BEZOUT S THEOREM CHRISTIAN KLEVDAL

ADJUNCTION AND INVERSION OF ADJUNCTION

Chern classes à la Grothendieck

Stable degenerations of symmetric squares of curves

arxiv: v1 [math.ag] 30 Apr 2018

The Noether Inequality for Algebraic Threefolds

OSCULATION FOR CONIC FIBRATIONS

arxiv:math/ v3 [math.ag] 1 Feb 2000

arxiv: v1 [math.ag] 31 Jul 2016

Stable maps and Quot schemes

A MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998

Multiplicity of singularities is not a bi-lipschitz invariant

Algebraic Cobordism. 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006.

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES

MT845: INTERSECTION THEORY, MODULI SPACE AND ENUMERATIVE GEOMETRY

COMPLEX ALGEBRAIC SURFACES CLASS 6

Line Bundles on Plane Curves

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

Synopsis of material from EGA Chapter II, 5

Transcription:

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 be a smooth projective variety over C, and L a very ample line bundle so that X P(H 0 (L)) = P r. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 2 / 11

Introduction Let X be a smooth projective variety over C, and L a very ample line bundle so that X P(H 0 (L)) = P r. Definition The secant variety of X, Σ(X, L) = Σ P r is the Zariski closure of the union of lines spanned by two points of X (i.e. secant and tangent lines). Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 2 / 11

Bad example X a curve in P 2, deg X 2. Then Σ = P 2. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 3 / 11

Bad example X a curve in P 2, deg X 2. Then Σ = P 2. Problem: Secant lines intersect away from X. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 3 / 11

Bad example X a curve in P 2, deg X 2. Then Σ = P 2. Problem: Secant lines intersect away from X. Solution: Every point in Σ\X will lie on exactly one secant or tangent line L is 3-very ample (i.e. no four points of X lie on a plane). Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 3 / 11

Bad example X a curve in P 2, deg X 2. Then Σ = P 2. Problem: Secant lines intersect away from X. Solution: Every point in Σ\X will lie on exactly one secant or tangent line L is 3-very ample (i.e. no four points of X lie on a plane). As long as L is 3-very ample, Σ will be singular precisely along X. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 3 / 11

Bad example X a curve in P 2, deg X 2. Then Σ = P 2. Problem: Secant lines intersect away from X. Solution: Every point in Σ\X will lie on exactly one secant or tangent line L is 3-very ample (i.e. no four points of X lie on a plane). As long as L is 3-very ample, Σ will be singular precisely along X. Intuition/Motivating question As L becomes more positive, the singularities of Σ should improve. How positive does L need to be for Σ to be normal? Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 3 / 11

Main results Theorem Let X be a smooth projective variety, L a 3-very ample line bundle on X, and m x the ideal sheaf of x X. If for all x X and i > 0, the map Sym i H 0 (L m 2 x) H 0 (L i m 2i x ) is surjective, then Σ(X, L) is a normal variety. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 4 / 11

Main results Theorem Let X be a smooth projective variety, L a 3-very ample line bundle on X, and m x the ideal sheaf of x X. If for all x X and i > 0, the map Sym i H 0 (L m 2 x) H 0 (L i m 2i x ) is surjective, then Σ(X, L) is a normal variety. *Note that the surjectivity of these maps is the same as bl x L( 2E) being normally generated for all blowups at a point, where E is the exceptional divisor. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 4 / 11

Corollary 1: curves If X is a curve, and deg L 2g + 3, then Σ(X, L) is normal. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 5 / 11

Corollary 1: curves If X is a curve, and deg L 2g + 3, then Σ(X, L) is normal. Corollary 2: canonical curves If X is a curve with Clifford index CliffX 3, then Σ(X, ω X ) is normal. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 5 / 11

Corollary 1: curves If X is a curve, and deg L 2g + 3, then Σ(X, L) is normal. Corollary 2: canonical curves If X is a curve with Clifford index CliffX 3, then Σ(X, ω X ) is normal. Corollary 3: arbitrary dimension If X is a variety of dimension n, A is very ample, B is nef, and L = K X + 2(n + 1)A + B, then Σ(X, L) is normal. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 5 / 11

Recent progress Theorem (Chou, Song 2015) With hypotheses from Corollary 3, 1 Σ(X, L) has Du Bois singularities, and 2 Σ(X, L) has rational singularities H i (O X ) = 0 for i > 0. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 6 / 11

Resolution of singularities construction (Schwarzenberger, Bertram, Vermeire) Setup: X [2] = Hilbert scheme of length two subschemes on X. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 7 / 11

Resolution of singularities construction (Schwarzenberger, Bertram, Vermeire) Setup: X [2] = Hilbert scheme of length two subschemes on X. Let L be a 3-very ample line bundle, and X P(H 0 (L)) = P r the corresponding embedding. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 7 / 11

Resolution of singularities construction (Schwarzenberger, Bertram, Vermeire) Setup: X [2] = Hilbert scheme of length two subschemes on X. Let L be a 3-very ample line bundle, and X P(H 0 (L)) = P r the corresponding embedding. Recall: X [2] is smooth, and its universal subscheme is the incidence variety Φ = {(x, Z) X X [2] : x Z} = bl (X X ). Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 7 / 11

Resolution of singularities construction (Schwarzenberger, Bertram, Vermeire) Setup: X [2] = Hilbert scheme of length two subschemes on X. Let L be a 3-very ample line bundle, and X P(H 0 (L)) = P r the corresponding embedding. Recall: X [2] is smooth, and its universal subscheme is the incidence variety Φ = {(x, Z) X X [2] : x Z} = bl (X X ). Define the two projections Φ. q σ X X [2] Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 7 / 11

Φ q σ X X [2] Define E L = σ q L. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 8 / 11

Φ q σ X X [2] Define E L = σ q L. E L is a rank two vector bundle, and the fiber over Z X [2] is H 0 (X, L Z ). Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 8 / 11

Φ q σ X X [2] Define E L = σ q L. E L is a rank two vector bundle, and the fiber over Z X [2] is H 0 (X, L Z ). The natural evaluation map H 0 (X, L) O X [2] E L induces a morphism f : P(E L ) P(H 0 (L)) = P r, Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 8 / 11

Φ q σ X X [2] Define E L = σ q L. E L is a rank two vector bundle, and the fiber over Z X [2] is H 0 (X, L Z ). The natural evaluation map H 0 (X, L) O X [2] E L induces a morphism f : P(E L ) P(H 0 (L)) = P r, which sends ( Z, H 0 (L Z ) Q ) ( H 0 (L) Q ), where Q is some one-dimensional quotient. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 8 / 11

Notice: The image of f is Σ, Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 9 / 11

Notice: The image of f is Σ, since the surjections (H 0 (L) Q) in the image are precisely those that factor through H 0 (L Z ) for some Z X [2] ; i.e. they lie on the line determined by Z. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 9 / 11

Notice: The image of f is Σ, since the surjections (H 0 (L) Q) in the image are precisely those that factor through H 0 (L Z ) for some Z X [2] ; i.e. they lie on the line determined by Z. f is injective away from f 1 (X ): Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 9 / 11

Notice: The image of f is Σ, since the surjections (H 0 (L) Q) in the image are precisely those that factor through H 0 (L Z ) for some Z X [2] ; i.e. they lie on the line determined by Z. f is injective away from f 1 (X ): The P 1 over each Z maps to the secant line determined by Z, and two secant lines only meet along X. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 9 / 11

Notice: The image of f is Σ, since the surjections (H 0 (L) Q) in the image are precisely those that factor through H 0 (L Z ) for some Z X [2] ; i.e. they lie on the line determined by Z. f is injective away from f 1 (X ): The P 1 over each Z maps to the secant line determined by Z, and two secant lines only meet along X. In fact... Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 9 / 11

Notice: The image of f is Σ, since the surjections (H 0 (L) Q) in the image are precisely those that factor through H 0 (L Z ) for some Z X [2] ; i.e. they lie on the line determined by Z. f is injective away from f 1 (X ): The P 1 over each Z maps to the secant line determined by Z, and two secant lines only meet along X. In fact... Lemma (Bertram (curves), Vermeire (higher dim)) Let t : P(E L ) Σ be f with its target restricted. Then t is an isomorphism away from t 1 (X ). In particular, t is a resolution of singularities. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 9 / 11

Geometry of the resolution Pre-image of X? t 1 (X ) = { ( Z, H 0 (L Z ) H 0 (L x ) x Z} = Φ. (i.e. a choice of a subscheme and a point of that subscheme) Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 10 / 11

Geometry of the resolution Pre-image of X? t 1 (X ) = { ( Z, H 0 (L Z ) H 0 (L x ) x Z} = Φ. (i.e. a choice of a subscheme and a point of that subscheme) Pre-image of x? t 1 (x) = bl x X. (i.e. all subschemes containing x) Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 10 / 11

Geometry of the resolution Pre-image of X? t 1 (X ) = { ( Z, H 0 (L Z ) H 0 (L x ) x Z} = Φ. (i.e. a choice of a subscheme and a point of that subscheme) Pre-image of x? t 1 (x) = bl x X. (i.e. all subschemes containing x) To summarize: bl x X {x} Φ q X P(E L ) t Σ(X, L) f P r Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 10 / 11

Strategy for proof of main theorem: Show that t O P(EL ) = O Σ by checking on the completion at x X (i.e. at the singular points). Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 11 / 11

Strategy for proof of main theorem: Show that t O P(EL ) = O Σ by checking on the completion at x X (i.e. at the singular points). Conjecture If X is a smooth projective curve of genus g, and L a line bundle such that deg L 2g + 2k + 1, then Σ k (X, L) is normal. Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 11 / 11

2024 © sciencedocbox.com Privacy Policy | Terms of Service | Feedback