Secant varieties. Marin Petkovic. November 23, 2015
|
|
- Evangeline Dorsey
- 5 years ago
- Views:
Transcription
1 Secant varieties Marin Petkovic November 23, 2015 Abstract The goal of this talk is to introduce secant varieies and show connections of secant varieties of Veronese variety to the Waring problem. 1 Secant varieties Let X P n be a variety over k, where k is algebraically closed field of characteristic 0 (or just assume k = C). Definition 1.1. For s 1 the s-th higher secant variety of X is σ s (X) = P 1,...,P s X P 1,..., P s. Remark 1.2. Although in some cases closure is not necessary, for twisted cubic in P 3 the union of secants is not closed. Lemma 1.3. If σ i (X) = σ i+1 (X), then σ i (X) is a linear subspace of P N. Proof. Let z P 1,...,P i X P 1,..., P i be nonsingular point on σ i (X). Then z, x σ i+1 for each x X. Therefore z, x T z (σ i+1 ) = T z (σ i ). Then σ i T z (σ i ). Since they have the same dimension, σ i = T z (σ i ), i.e. σ i is linear. Proposition 1.4. If X is nondegenerate (not contained in a hyperplane), then there exists r 1 such that X = σ 1 (X) σ 2 (X)... σ r (X) = P N. Now we can ask two natural questions about higher secant varieties. First, what is the minimal r such that σ r (X) = P N? More generally, what is the dimension dim(σ i (X))? Proposition 1.5. dim(σ i (X)) min{in + i 1, N}. 1
2 We will call the number min{in + i 1, N} the expected dimension of σ i (X) and denote it with expdim(σ i (X)). If dim(σ i (X)) expdim(σ i (X)), we say that X is i-defective. Remark 1.6. If X is i-defective and σ i (X) P N, then X is j-defective, for all j i, because of dim(σ i+1 (X)) dim(σ i (X)) + n + 1. Example 1.7 (Veronese surface). Let X be the Veronese surface, that is the image of the map v 2 : P 2 P 5 (x : y : z) (x 2 : xy : xz : y 2 : yz : z 2 ). The expected dimension of σ 2 (X) is 5, but we will show that σ 2 (X) P 5, so X is 2-defective. To prove this, we identify elements of P 5 with 3 3 symmetric matrices. Notice that the elements of X are symmetric matrices of rank 1. Thus σ 2 (X) consists of all linear combinations of 2 rank 1 symmetric matrices, thus of rank 2. Hence σ 2 (X) P 5, i.e. X is 2-defective. Lemma 1.8 (Terracini s lemma). Let P 1,..., P s X be general points and P P 1,..., P s σ s (X) be a general point. Then the tangent space to σ s (X) in P is T P (σ s (X)) = T P1 (X),..., T Ps (X). Example 1.9 (Twisted cubic curve). Let X P 3 be a twisted cubic curve, that is the image of the map v 3 : P 1 P 3 defined with v 3 (x : y) = (x 3 : x 2 y : xy 2 : y 3 ). Then dim(σ 2 (X)) = dim(t P (σ 2 (X))) for generic point P. lemma, we have T P (σ 2 (X)) = T P1 (X), T P2 (X) By Terracini s for some points P 1, P 2 X. Since in general case T P1 (X), T P2 (X) do not intersect, they span 3-dimensional space, that is P 3. 2 Veronese varieties and the Waring problem Definition 2.1. The d-th Veronese map v d : P n P N, where N = ( ) n+d d 1, is defined with v d (x 0 :... : x n ) = (x i0 0 xi1 1 xin n i i n = d) The image of v d is called the Veronese variety. Remark 2.2. Veronese map can also be defined as a map taking linear form L to L d. Taking appropriate basis and identifying P 1 with the space of linear forms this map corresponds to v d in the above definition. We will denote the point corresponding to F with [F ]. Notice that [F ] P N is in X if and only if F = L d for some linear form L. 2
3 Proposition 2.3. The tangent space to the Veronese variety at the point [L d ] is [L d 1 M] ; M linear form. Example 2.4. If n = 1, we call the Veronese varieties rational normal curves. The curve v 2 (P 1 ) P 2 is just the irreducible conic, so σ 2 (v 2 (P 1 ) = P 2. The curve v 3 (P 1 ) P 3 is the twisted cubic curve. The higher secant varieties of the Veronese variety are connected with the Waring problem for forms, which we will introduce now. Definition 2.5. Let F be a degree s homogeneous form. The Waring rank of F is the minimum s such that F = L d L d s for some linear forms L i. We denote the Waring rank of F with rk(f ). The big Waring problem: Find the minimal integer g(n, d) such that rk(f ) g(n, d), for a generic homogeneous form F of degree d in n + 1 variables. The little Waring problem: Find the minimal integer G(n, d) such that rk(f ) G(n, d), for all homogeneous forms F of degree d in n + 1 variables. Remark 2.6. It is clear that solving the big Waring problem is equivalent to finding minimal s such that σ s (X) = P N for Veronese variety X = v d (P n ) P N. This is not enough to solve the little Waring problem, because of the closure in the definition of secant varieties. Example 2.7. Let X = v 2 (P 1 ) P 2 be an irreducible conic. Then σ 2 (X) = P 2, so g(1, 2) = 2. Moreover, since in this case the closure is not necessary in the definition of σ 2 (X), we also get G(1, 2) = 2. Example 2.8. Let X = v 3 (P 1 ) P 3 be the twisted cubic curve. Then σ 2 (X) = P 3 so g(1, 3) = 2. But in this case, there are forms with rank 3. We can explain this geometrically. Let [F ] be a point in P 3 corresponding to F. Let π be the projection of X from the point [F ]. Then the image is the plane cubic curve which has to be singular. If the singularity is a node, then [F ] lies in on a secant of X, so F = L L 3 2. But if singularity is a cusp, then [F ] lies on a tangent line of X, and not on a secant, and rk(f ) = 3. Let P 1,..., P s X = P n be distinct points. Then each hyperplane H containing all tangent spaces T vd (P i)(x) corresponds to a degree d hypersurface in P n that is singular in points P 1,..., P s. Such hypersurfaces are defined by a homogeneous degree d form contained in p p 2 s, where p i is the ideal of the point P i. Thus if (p p 2 s) d is not empty, σ s (X) P N. Moreover, since two different hypersurfaces give two different hyperplanes, we have the following result: 3
4 Lemma 2.9. Let P 1,..., P s P n be generic points. Then dim s (σ(x)) = N dim(p p 2 s) d. From the expected value for dim(σ s (X)) we can easily calculate the expected value for g(n, d) to be ) ( n+d d n + 1 Theorem 2.10 (Alexander and Hirtschowitz). Let F be a generic degree d form in n + 1 variables. Then ) except in the following cases: d = 2, where rk(f ) = n + 1 rk(f ) = d = 4, n = 2, where rk(f ) = 6 d = 4, n = 3, where rk(f ) = 10 d = 3, n = 4, where rk(f ) = 8 d = 4, n = 4, where rk(f ) = 15.. ( n+d d n + 1 It is easy to explain the case d = 2 using the symmetric matrices. Indeed, a general n + 1 n + 1 matrix is regular, that is of rank n + 1. Hence it is a sum of n + 1 matrices of rank 1. Therefore the rank of associated form is n + 1. Example 2.11 (case (d = 4, n = 2)). Let X = v 4 (P 2 ) P 14. We prove that σ 5 (X) P 14. By the lemma and the discussion before, it is enough to show that there exists a degree 4 hypersurface through 5 generic points that is singular in those 5 points. Example 2.12 (case d = 4, n = 3, 4). To show that g(4, 3) > 9 and g(4, 4) > 14 it is sufficient to find a quadric hypersurface in P 3 through 9 given points, and a quadric hypersurface in P 4 through 14 points. 3 Apolarity Let S = k[x 1,..., x n ] and T = k[y 1,..., y n ]. We define the action of T on S with y i.x j = x j x i and extend it to T. For a graded ring R, we denote with R d the d-th graded subring. 4
5 Definition 3.1. For F S homogenous we define the anihilator with F = { T F = 0}. Definition 3.2. Let V, W be finite dimensional k-vector spaces and B : V W k a bilinear map. We say that B is a perfect pairing if the induced maps V W and W V are isomorphisms. Proposition 3.3. The bilinear map S d T d k defined with (F, ) F is a perfect pairing. Definition 3.4. For an ideal I T we define the Hilbert function of T/I with for t 0. HF (T/I, t) = dim(t/i) t, In the case I = F we will use the notation H F (t) instead HF (T/F, t). Let m be the maximal ideal (y 1,..., y n ) T. We define the sockle of the ring (T/F ) with Soc(T/F ) = {x T/F xm = 0}. It is an ideal in T/F and it is easy to check { dim Soc(T/F 0 if i d ) i = 1 if i = d Proposition 3.5. Hilbert function of F for F of degree d vanishes for t > d, H F (0) = H F (d) = 1, and is symmetric with respect to d+1 2. Proof. The first part is obvious since F = 0 for each of degree > d. From the perfect pairing property it follows that not all T d vanish in F, so H F (d) = 1. It is obvious that H F (0) = 1. Let R = T/F ). To prove that H F is symmetric, it is enough to prove that the multiplication R i R d i R d = k is perfect pairing. Let x R i such that xy = 0 for each y R d i. We will prove that x is in Soc(R). If y R l for 0 < l < d i, using downward induction we have xym = 0, that is xy Soc(R). Since deg(xy) < d this is a contradiction. Thus y Soc(R), so y = 0. Example 3.6. Let F k[x 0, x 1 ] be homogenous cubic. We will compute all the possible Waring ranks of F. The Hilbert function of F is determined by the value for t = 1, so there is only two possibilities: H F (1) = 1 or H F (1) = 2. Notice that since (F ) 1 = 0 rank of F cannot be 1. Assume the first case. Then (F ) 1 = 1. The space of all linear forms L such that 1 L = 0 is not S 1 so it is one dimensional, that is equal to L 1 for some L 1. Thus we can take L 0 such that 1 L 0 = 1, and S 1 = L 0, L 1. Then there exists a polynomial G such that G(L 0, L 1 ) = al bl 2 0L 1 + cl 0 L dl 3 1 = F (x 0, x 1 ). 5
6 Since 1 (L 0 ) = 1 and 1 (L 1 ) = 0 we get 0 = 1 G(L 0, L 1 ) = 3aL bL 0 L 1 + cl 2 1, so F (x 0, x 1 ) = dl 3 1, and rk(f ) = 1. In the second case, we have (F ) 2 = Q. Then Q =, where, T 1. Suppose that, are linearly independent. We can find a basis L, L for S 1 such that L = L = 1 and L = L = 0. Then we take polynomial G as before and Show that G(L, L ) al 3 dl 3 is a zero polynomial ( G = 0 for all T 3 ). Thus rk(f ) = 2. Suppose now that Q = 2 and that F = N 3 + M 3, that is rk(f ) = 2. Then we can take N, M such that M M = N N = 1 and M N = N M = 0. Then M N F and that is a contradiction since (F ) 2 = (Q). Notice that in the previous example for the forms of rank 1, F ( ), and ( ) is an ideal of a point in P 1. Similar, in the case of rank 2, F ( ) which is an ideal of two points in P 1. Since (F ) 1 = 0 there is no ideals of one point in F. Also, in the case of rank 3, there are no ideals of one or two points in F, but there are ideals of three points. Lemma 3.7 (Apolarity Lemma). F = L d L d s F contains an ideal of s distinct points. Remark 3.8. If I F, then obviously HF (T/I, t) H F (t). Example 3.9. For F = x 0 x 2 1 we see that F = ( 2 0, 3 1), so it does not contain an ideal of one or two points. Therefore rk(f ) = 3 (( ) is an ideal of 3 points). More generally, we can conclude that rk(x 0 x d 1) = d + 1. Example 3.10 (defective cases for Alexander Hirowitz theorem). Let F be a generic form of degree 4, n = 2. The Hilbert function is given with H F (1) = 3, H F (2) = 6, that is, no first or second order differentials vanish in F. If I is an ideal of five points, we have HF (T/I, 2) = 5 (i.e. I contains a quadric), so F contains no ideals of five points. Similarly, in the case n = 3 we have H F (2) = ( ) = 10 > 9, and HF (T/I, 2) = 9 for and ideal I of nine points. Thus I F. In the case n = 4 we have H F (2) = ( ) = 15 > 14 so F does not contain an ideal of 14 points. References [1] Enrico Carlini, Nathan Grieve, and Luke Oeding, Four Lectures on Secant Varieties, Volume 76 of the series Springer Proceedings in Mathematics & Statistics pp ,
Secant Varieties and Inverse Systems. Anthony V. Geramita. Ottawa Workshop on Inverse Systems January, 2005
. Secant Varieties and Inverse Systems Anthony V. Geramita Ottawa Workshop on Inverse Systems January, 2005 1 X P n non-degenerate, reduced, irreducible projective variety. Definitions: 1) Secant P s 1
More informationSecant Varieties of Segre Varieties. M. Catalisano, A.V. Geramita, A. Gimigliano
. Secant Varieties of Segre Varieties M. Catalisano, A.V. Geramita, A. Gimigliano 1 I. Introduction Let X P n be a reduced, irreducible, and nondegenerate projective variety. Definition: Let r n, then:
More informationFour Lectures on Secant Varieties
Four Lectures on Secant Varieties Enrico Carlini, Nathan Grieve, and Luke Oeding To Tony, friend and mentor Abstract This paper is based on the first ahor s lectures at the 2012 University of Regina Workshop
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 informationHigher secant varieties of classical projective varieties
Higher secant varieties of classical projective varieties Maria Virginia Catalisano DIME Università degli Studi di Genova Research Station on Commutative Algebra Yangpyeong - June 13-17, 2016 Maria Virginia
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 informationTensor decomposition and tensor rank
from the point of view of Classical Algebraic Geometry RTG Workshop Tensors and their Geometry in High Dimensions (September 26-29, 2012) UC Berkeley Università di Firenze Content of the three talks Wednesday
More informationOn the Waring problem for polynomial rings
On the Waring problem for polynomial rings Boris Shapiro jointly with Ralf Fröberg, Giorgio Ottaviani Université de Genève, March 21, 2016 Introduction In this lecture we discuss an analog of the classical
More informationTWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS
TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS KRISTIAN RANESTAD (OSLO), LUKECIN, 5.-6.SEPT 2013 1. Apolarity, Artinian Gorenstein rings and Arithmetic Gorenstein Varieties 1.1. Motivating
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 informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationSpecial Session on Secant Varieties. and Related Topics. Secant Varieties of Grassmann and Segre Varieties. Giorgio Ottaviani
Special Session on Secant Varieties and Related Topics Secant Varieties of Grassmann and Segre Varieties Giorgio Ottaviani ottavian@math.unifi.it www.math.unifi.it/users/ottavian Università di Firenze
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 informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More informationFour Lectures on Secant Varieties
Four Lectures on Secant Varieties Enrico Carlini, Nathan Grieve, and Luke Oeding To Tony, friend and mentor Abstract This paper is based on the first author s lectures at the 2012 University of Regina
More informationExercise Sheet 7 - Solutions
Algebraic Geometry D-MATH, FS 2016 Prof. Pandharipande Exercise Sheet 7 - Solutions 1. Prove that the Zariski tangent space at the point [S] Gr(r, V ) is canonically isomorphic to S V/S (or equivalently
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 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 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 informationDavid Eklund. May 12, 2017
KTH Stockholm May 12, 2017 1 / 44 Isolated roots of polynomial systems Let f 1,..., f n C[x 0,..., x n ] be homogeneous and consider the subscheme X P n defined by the ideal (f 1,..., f n ). 2 / 44 Isolated
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 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 informationOn the Alexander-Hirschowitz Theorem
On the Alexander-Hirschowitz Theorem Maria Chiara Brambilla and Giorgio Ottaviani Abstract The Alexander-Hirschowitz theorem says that a general collection of k double points in P n imposes independent
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 informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationAlgebraic Geometry. Question: What regular polygons can be inscribed in an ellipse?
Algebraic Geometry Question: What regular polygons can be inscribed in an ellipse? 1. Varieties, Ideals, Nullstellensatz Let K be a field. We shall work over K, meaning, our coefficients of polynomials
More informationEigenvectors of Tensors and Waring Decomposition
Eigenvectors of Tensors and Waring Decomposition Luke Oeding University of California Berkeley Oeding, Ottaviani (UCB, Firenze) Giorgio Ottaviani Universita degli Studi di Firenze Waring Decomposition
More informationTensors. Notes by Mateusz Michalek and Bernd Sturmfels for the lecture on June 5, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Tensors Notes by Mateusz Michalek and Bernd Sturmfels for the lecture on June 5, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra This lecture is divided into two parts. The first part,
More informationClassification of Bertini s series of varieties of dimension less than or equal to four.
Classification of Bertini s series of varieties of dimension less than or equal to four. ENRICO ROGORA January 14, 2005 Author s address: Dipartimento di Matematica, Università di Roma La Sapienza, Piazzale
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More information1 Hilbert function. 1.1 Graded rings. 1.2 Graded modules. 1.3 Hilbert function
1 Hilbert function 1.1 Graded rings Let G be a commutative semigroup. A commutative ring R is called G-graded when it has a (weak direct sum decomposition R = i G R i (that is, the R i are additive subgroups,
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 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 informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann- Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
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 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 informationFields of cohomological dimension 1 versus C 1 -fields
Fields of cohomological dimension 1 versus C 1 -fields J.-L. Colliot-Thélène Abstract. Ax gave examples of fields of cohomological dimension 1 which are not C 1 -fields. Kato and Kuzumaki asked whether
More informationProjective Varieties. Chapter Projective Space and Algebraic Sets
Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the
More informationA ne Algebraic Varieties Undergraduate Seminars: Toric Varieties
A ne Algebraic Varieties Undergraduate Seminars: Toric Varieties Lena Ji February 3, 2016 Contents 1. Algebraic Sets 1 2. The Zariski Topology 3 3. Morphisms of A ne Algebraic Sets 5 4. Dimension 6 References
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
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 informationFinite affine planes in projective spaces
Finite affine planes in projective spaces J. A.Thas H. Van Maldeghem Ghent University, Belgium {jat,hvm}@cage.ugent.be Abstract We classify all representations of an arbitrary affine plane A of order 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 informationLECTURE 5, FRIDAY
LECTURE 5, FRIDAY 20.02.04 FRANZ LEMMERMEYER Before we start with the arithmetic of elliptic curves, let us talk a little bit about multiplicities, tangents, and singular points. 1. Tangents How do we
More information14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski
14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski topology are very large, it is natural to view this as
More informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
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 information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationThe geometry of secants in embedded polar spaces
The geometry of secants in embedded polar spaces Hans Cuypers Department of Mathematics Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven The Netherlands June 1, 2006 Abstract Consider
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More informationπ X : X Y X and π Y : X Y Y
Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasi-projective varieties are Hausdorff and that projective varieties are the only compact varieties.
More information12 Hilbert polynomials
12 Hilbert polynomials 12.1 Calibration Let X P n be a (not necessarily irreducible) closed algebraic subset. In this section, we ll look at a device which measures the way X sits inside P n. Throughout
More information4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset
4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationALGEBRAIC GEOMETRY CAUCHER BIRKAR
ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasi-projective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction
More informationJoins and secant varieties
Joins and secant varieties Chris Peterson and Hirotachi Abo Note This script is also available at: http://wwwmathcolostateedu/~abo/research/smi/smi-algebraic-geometryhtml There you can find problem sets
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 informationSTABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES
STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Abstract. In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree
More informationMAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016
MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton Timothy J. Ford April 4, 2016 FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FLORIDA 33431 E-mail address: ford@fau.edu
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
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 informationMATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties
MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,
More informationJ.M. LANDSBERG AND ZACH TEITLER
ON THE RANKS AND BORDER RANKS OF SYMMETRIC TENSORS J.M. LANDSBERG AND ZACH TEITLER Abstract. Motivated by questions arising in signal processing, computational complexity, and other areas, we study the
More informationApril 20, 2006 ALGEBRAIC VARIETIES OVER PAC FIELDS
April 20, 2006 ALGEBRAIC VARIETIES OVER PAC FIELDS A field is called PAC (pseudo algebraically closed) if every geometrically integral k-variety has a k-point. (A k-variety X is called geometrically integral
More informationPlane Algebraic Curves
Plane Algebraic Curves Andreas Gathmann Class Notes TU Kaiserslautern 2018 Contents 0. Introduction......................... 3 1. Affine Curves......................... 6 2. Intersection Multiplicities.....................
More informationThe Pythagoras numbers of projective varieties.
The Pythagoras numbers of projective varieties. Grigoriy Blekherman (Georgia Tech, USA) Rainer Sinn (FU Berlin, Germany) Gregory G. Smith (Queen s University, Canada) Mauricio Velasco (Universidad de los
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 informationGeometric aspects of polynomial interpolation in more variables
Geometric aspects of polynomial interpolation in more variables BERLIN - 4/6/2010 Univariate polynomial interpolation A polynomial of degree at most d over a field K f () = a 0 + a 1 +... + a d d K[] depends
More informationOn complete degenerations of surfaces with ordinary singularities in
Home Search Collections Journals About Contact us My IOPscience On complete degenerations of surfaces with ordinary singularities in This article has been downloaded from IOPscience. Please scroll down
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 informationOn Severi varieties of nodal curves on K3 surfaces
Università di Roma Tor Vergata, Italy (joint work with Th. Dedieu, University of Toulouse) Trento, September, 2010 K3 surfaces In this talk I will present some irreducibility result concerning Severi varieties
More informationTHE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES
6 September 2004 THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES Abstract. We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations
More informationHomework 5 M 373K Mark Lindberg and Travis Schedler
Homework 5 M 373K Mark Lindberg and Travis Schedler 1. Artin, Chapter 3, Exercise.1. Prove that the numbers of the form a + b, where a and b are rational numbers, form a subfield of C. Let F be the numbers
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 informationHomotopy Techniques for Tensor Decomposition and Perfect Identifiability
Homotopy Techniques for Tensor Decomposition and Perfect Identifiability Luke Oeding Auburn University with Hauenstein (Notre Dame), Ottaviani (Firenze) and Sommese (Notre Dame) Oeding (Auburn) Homotopy
More informationGeneric properties of Symmetric Tensors
2006 1/48 PComon Generic properties of Symmetric Tensors Pierre COMON - CNRS other contributors: Bernard MOURRAIN INRIA institute Lek-Heng LIM, Stanford University 2006 2/48 PComon Tensors & Arrays Definitions
More informationAlgebraic geometry for geometric modeling
Algebraic geometry for geometric modeling Ragni Piene SIAM AG17 Atlanta, Georgia, USA August 1, 2017 Applied algebraic geometry in the old days: EU Training networks GAIA Application of approximate algebraic
More informationAlgorithms for Tensor Decomposition via Numerical Homotopy
Algorithms for Tensor Decomposition via Numerical Homotopy Session on Algebraic Geometry of Tensor Decompositions August 3, 2013 This talk involves joint work and discussions with: Hirotachi Abo Dan Bates
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 informationBasic facts and definitions
Synopsis Thursday, September 27 Basic facts and definitions We have one one hand ideals I in the polynomial ring k[x 1,... x n ] and subsets V of k n. There is a natural correspondence. I V (I) = {(k 1,
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 informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationJORDAN AND RATIONAL CANONICAL FORMS
JORDAN AND RATIONAL CANONICAL FORMS MATH 551 Throughout this note, let V be a n-dimensional vector space over a field k, and let φ: V V be a linear map Let B = {e 1,, e n } be a basis for V, and let A
More informationOn the pfaffian representation of general homogeneous polynomials. Toulouse Nov 2009
On the pfaffian representation of general homogeneous polynomials Toulouse Nov 2009 Bibliography E.Carlini, L.Chiantini, A.Geramita. COMPLETE INTERSECTION POINTS ON GENERAL SURFACES IN P^3. arxiv:0811.2233
More informationOeding (Auburn) tensors of rank 5 December 15, / 24
Oeding (Auburn) 2 2 2 2 2 tensors of rank 5 December 15, 2015 1 / 24 Recall Peter Burgisser s overview lecture (Jan Draisma s SIAM News article). Big Goal: Bound the computational complexity of det n,
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
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 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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves
More informationEnumerative geometry of hyperplane arrangements
Enumerative geometry of hyperplane Max Department of Mathematics US Naval Academy Joint work with Will Traves and Thomas Paul Partially supported by the Simons Foundation and the Office of Naval Research.
More informationA course in. Algebraic Geometry. Taught by Prof. Xinwen Zhu. Fall 2011
A course in Algebraic Geometry Taught by Prof. Xinwen Zhu Fall 2011 1 Contents 1. September 1 3 2. September 6 6 3. September 8 11 4. September 20 16 5. September 22 21 6. September 27 25 7. September
More informationI(p)/I(p) 2 m p /m 2 p
Math 6130 Notes. Fall 2002. 10. Non-singular Varieties. In 9 we produced a canonical normalization map Φ : X Y given a variety Y and a finite field extension C(Y ) K. If we forget about Y and only consider
More informationOn the structure of the directions not determined by a large affine point set
On the structure of the directions not determined by a large affine point set Jan De Beule, Peter Sziklai, and Marcella Takáts January 12, 2011 Abstract Given a point set U in an n-dimensional affine space
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 informationPacific Journal of Mathematics
Pacific Journal of Mathematics ON DEGENERATE SECANT VARIETIES WHOSE GAUSS MAPS HAVE THE LARGEST IMAGES Masahiro Ohno Volume 187 No. 1 January 1999 PACIFIC JOURNAL OF MATHEMATICS Vol. 187, No. 1, 1999 ON
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationMath 203, Solution Set 4.
Math 203, Solution Set 4. Problem 1. Let V be a finite dimensional vector space and let ω Λ 2 V be such that ω ω = 0. Show that ω = v w for some vectors v, w V. Answer: It is clear that if ω = v w then
More information