arxiv:alg-geom/ v2 30 Jul 1996

Size: px
Start display at page:

Download "arxiv:alg-geom/ v2 30 Jul 1996"

Transcription

1 ON AN UNUSUAL CONJECTURE OF KONTSEVICH AND VARIANTS OF CASTELNUOVO S LEMMA arxiv:alg-geom/ v2 30 Jul 996 J.M. Landsberg July 30, 996 Abstract. Let A = (a i j ) be an orthogonal matrix (over R or C) with no entries zero. Let B = (b i j ) be the matrix defined by bi j = a i. M. Kontsevich conjectured j that the rank of B is never equal to three. We interpret this conjecture geometrically and prove it. The geometric statment can be understood as variants of the Castelnouvo lemma and Brianchon s theorem.. Definitions and Statements Definition.. Given a k l matrix A = (a i α ), i k, α l, with no entries zero, define the Hadamard inverse of A, B = (b i α), by b i α = a. (The name i α is in analogy with the Hadamard product.) Maxim Kontsevich conjectured the following: Conjecture.2. (Kontsevich (988)) Let A be an orthogonal matrix (over R or C) with no entries zero. Let B be the Hadamard inverse of A. Then the rank of B is never equal to three. At first glance, (. may not appear all that striking because based on a naive count, one would not expect any low rank Hadamard inverses of orthogonal matrices to exist (see (.6)). However Kontsevich asserted and we show the following: Theorem.3. The space of m m orthogonal matrices with rank two Hadamard inverses is (2m 3)-dimensional. We will rephrase (., (.3) in geometric language and prove them. First we will need some definitions: 99 Mathematics Subject Classification. 4E07, 4M20, 5A99. Key words and phrases. rational curves, Cremona transform, quadrics, Castelnuovo s lemma, Brianchon s theorem, Gale transform, association. Supported by NSF grant DMS Typeset by AMS-TEX

2 2 J.M. LANDSBERG Definitions.4. Let V = C n+ or R n+, let Q S 2 V be a nondegenerate quadratic form. Two points z, w PV are said to be polar, or more precisely, Q-polar if the corresponding lines in V are Q-orthogonal. Given a point z PV, the polar hyperplane of z with respect to Q, H Q,z, is the hyperplane of Q-polar points to z. A set of points z 0,..., z n, none lying on the quadric in PV defined by Q, is said to be apolar with respect to Q if they are all mutually polar. (In particular, vectors in V representing them give a Q-orthogonal basis of V.) A quadratic form P is said to be apolar to Q if trace Q P = 0. In what follows, unless we specify the ground field, it may be taken to be R or C. Definition.5. Given a set of points z 0,..., z n spanning P n, define the Cremona transform of P n with respect to {z i } to be the rational map φ : P n P n, obtained by first blowing up the codimension two spaces spanned by subsets of (n )-tuples of the points, and then blowing down the n hyperplanes containing sets of n of the points. In coordinates, if (.6) z i = [0,..., 0,, 0,..., 0] where the occurs in the i-th slot, the map is (.7) φ([x 0,..., x n ]) = [ x 0,..., x n ]. Note that the images of the blown down hyperplanes determine a coordinate simplex in the image P n which we will call the image simplex. Conjecture (. is equivalent to: Theorem.8, Version. Let z 0,..., z n and p 0,..., p n be two sets of points spanning P n, each set apolar with respect to a nondegenerate quadratic form Q. Let φ denote the Cremona transform defined by the {z i }. If the points φ(p i ) fail to span a P 3, then in fact they span exactly a P. Theorem.8, Version 2. Let z 0,..., z n and p 0,..., p n be two sets of points spanning P n, each set apolar with respect to a nondegenerate quadratic form Q. Let Σ be the space of hypersurfaces of degree n having multiplicities of order n 2 at each z i. (Σ is a P n.) Let Λ := {P Σ p i P i}. If codimλ 2 then codimλ =. In this case the points z i, p i all lie on a rational normal curve. Equivalence of versions and 2. Σ is the space of inverse images under φ of the hyperplanes in P n, and for any P P n, φ (P ) is a (possibly degenerate) rational normal curve. (The P s that we will consider will yield non-degenerate rational normal curves.) One form of the classical Brianchon theorem says that given a conic in the plane and given two triangles circumscribing the conic, then the six points consisting of the vertices of the two triangles all lie on another conic. The n = 3 case of (.8) provides variant of this which was originally proven by Weddle and Zeuthen (see [EP2] for an exposition of their work).

3 KONTSEVICH S UNUSUAL CONJECTURE 3 Corollary.9 (Weddle, Zeuthen). Let Q P 2 be a smooth conic. Let z 0, z, z 2 and p 0, p, p 2 be two sets of Q-apolar points. Then the six points z 0, z, z 2, p 0, p, p 2 all lie on a conic. Writing p j = [p 0 j, p j, p2 j ], z i as in (.6), and let Q have equation Σ i (x i ) 2 = 0, the conic all six points lie on is (.0) (p 2 0p 2 p 2 x 0 x + (p 0p p x 0 x 2 + (p 0 0p 0 p 0 x x 2. More generally, we have: Proposition.. Let z 0,..., z n and p 0,..., p n be two sets of points spanning CP n = PV, each set apolar with respect to a smooth quadric Q. Let Q = {P PS 2 V z i, p i P i}. Then dimq = ( n. Proof. ( The dimension of the space of quadrics containing any 2n + points is n ) 2, so we need to show that any quadric containing all but possibly one of the points also contains the last point. Recall that for two quadratic forms Q, P S 2 V, that trace Q P = Σ i P(v i, v i ) is a well defined number, where {v i } is any Q-orthornormal basis of V. Take Q S 2 V and let ˆp i and ẑ i be corresponding Q-orthonormal bases. We have P(ẑ 0, ẑ 0 ) P(ẑ n, ẑ n ) = P(ˆp 0, ˆp 0 ) P(ˆp n, ˆp n ) If all the points but perhaps p n lie on P, we see that p n must as well. Relation to Castelnouvo s lemma.2. Castelnouvo s lemma says that if 2n + 3 points lie on an { ( n }-dimensional linear system of quadrics, then in fact they all lie on a rational normal curve. { ( n } is the dimension of the space of quadrics containing a rational normal curve and the point of Castelnuovo s lemma is that not only is the space of the correct dimension, but it is actually a space cutting out a rational normal curve. Here we only have 2n+2 points. (.) shows that the apolarity conditions imply that the 2n + 2 points always lie on an { ( n }-dimensional linear system of quadrics. When one adds the additional hypothesis on the Cremona images of the points, the system of quadrics cuts out a rational normal curve. Proof of equivalence of (.) and (.8). Write (.3) A = (p i j) and let (.4) p j = [p 0 j,..., pn j ]. Without loss of generality take z i as in (.6) and let Q have equation Σ i (x i ) 2 = 0. The Hadamard inverse of A is given by the coordinates of the φ(p i ) up to the ambiguity of scales which do not effect rank, i.e. the rank of the Hadamard inverse of A is the dimension of the span of the φ(p i ) plus one.

4 4 J.M. LANDSBERG Proposition.5, Duality. Let z 0,..., z n and p 0,..., p n be two sets of points spanning P n, each set apolar with respect to a nondegenerate quadratic form Q. If the images of the p i under the Cremona transform defined by the z i lie on a P k, then images of the z i under the Cremona transform defined by the p i also lie on a P k. (.5) will follow from some remarks on the Gale transform given in 4. Proposition.6. There exist orthogonal rank k Hadamard inverses for m m m complex matrices for all k m m 2. Proof. Let M = C m C m and let φ : PM = P m2 P m2 be the Cremona transform defined by the standard coordinates. Write n = m. Consider the Segre, Seg(P n P n ), in φ(pm) and let σ k (Seg(P n P n )) denote its k-th secant variety, the closure of the union of all P k s spanned by k-ples of points of the Segre. Let Y k = φ σ k (Seg(P n P n )), so Y k is the space of matricies with Hadamard inverse of rank less than or equal to k. Note that dimy k = k(2m k). Let Z PM be the space of orthogonal columns, i.e. (.7) Z = {A A t A is diagonal}. Z is a complete intersection of the ( m quadrics Σi a i j ai k = 0 for all j < k. (Z is isomorphic to the variety of complete flags.) Y k will intersect Z if ( ) m + (.8) k(2m k) + m 2, 2 i.e., if (m ) + (.9) k m Proof of.8. Let A = (p i j ) be as in (.4) and let Pn = φ(p n ) have linear coordinates y 0,..., y n adapted to the image simplex. Let H ijk (i < j < k) denote the hyperplane defined by the equation (2.) E ijk = p 0 i p0 j p0 k y p n i pn j pn k yn. Let q j = φ(p j ) so qj i = p0 j... ˆpi j...pn j, where the hat denotes omission. Note that (2. Span{q i, q j, q k } H ijk.

5 KONTSEVICH S UNUSUAL CONJECTURE 5 To verify (2., by symmetry it is sufficient to verify q i H ijk. E ijk (q i ) = Σ l p l i pl j pl k (p0 i... ˆpl i...pn i ) (2.3) = (p 0 i...pn i )Σ lp l j pl k = (p 0 i...pn i ) ˆQ( p j, p k ) = 0. where p j V is a unit vector corresponding to p j PV. Now say that the q i span a P 2. Then all the q l s are in the span of any q i, q j, q k spanning the P 2. For the moment, assume we are in the case that there exist two points, say, q 0, q, such that no other q i lies on the line between q 0 and q. (This is always the case over R, but over C there is the example of the nine flexes on a plane cubic.) We claim that the intersection of H 02,..., H 0n is at most a P, which will prove (.8) in this case. To see the claim, say there were a linear relation among E 02, E 03,..., E 0n, e.g. (2.4) a 2 E 02 + a 3 E a n E 0n = 0. The coefficient of y j in (2.4) is (2.5) a 2 p j 0 pj pj an p j 0 pj pj n = 0. This implies (since none of the p i j are zero) that (2.6) a 2 p j an p j n = 0 j i.e. that there is a linear relation among the columns of the matrix A which is a contradiction. Now say there are three points, say q 0, q, q 2 that are colinear but no other q j lies on the line they span. We must show that among the hyperplanes containing the P 2, that (n of them are independent. Say not, then for each 3 β n there must be a relation (2.7) a β 3 E a β ne 0n = a β E 02β, i.e., (2.8.b) a β 3 pj pj aβ np j pj n = a β p j 2 pj β j. Note that if any of the a β are zero we are done by the above argument. Similarly there must be a relation among H 023,..., H 02n and H 03 which implies an equation of the form: (2.9) b 3 p j 2 pj b n pj 2 pj n = bpj pj 3.

6 6 J.M. LANDSBERG Substituting the right hand side of (2.8.3),...,(2.8.n) into the left hand side of (2.9) we obtain a relation involving p j in each term which divides out and we are left with a relation among the rows p β and thus a contradiction. In the event even more points are required, the same argument as above still works, only one must use more relations. (To our knowledge there are no known configurations of points that span a plane with more than three points on each line.) 3. Bases and the proof of (.3) Definition 3.. A base Γ is a set of (n + points in CP n in general linear position. The definition is motivated by the fact that all such (n + -ples of points are projectively equivalent. Note that there is an (n )-dimensional linear system of rational normal curves through Γ which we will denote R Γ and an { ( ) n+ 2 2}-dimensional linear system of quadric hypersurfaces through Γ, which we denote Q Γ. The following is a slight modification of some facts in [Con] and [DO]: Lemma 3.2. If we fix a base Γ = {z 0,..., z n, p 0 } and a hyperplane H with Γ H =, then there is a unique quadric Q 0 such that the {z i } are apolar with respect to Q 0 and H is the polar hyperplane of p 0 with respect to Q 0. Proof. Without loss of generality, take z i as vertex points as in (.6) and take p 0 = [,..., ]. Say H has equation Σ i a i x i = 0. All quadrics for which the z i are apolar are of the form Q = Σ i λ i (x i ) 2 for some constants λ i. The p 0 -polar hyperplane of such a quadric has the equation Σ i λ i x i, so we must have λ i = a i, uniquely determining Q 0. Lemma 3.3. If we fix a base Γ = {z 0,..., z n, p 0 }, a hyperplane H and Q 0 as above, then for all R R Γ, the set of n + points consisting of R H and p 0 is apolar with respect to Q 0. Proof. see [DO] Lemma 5, p49. Proof of (.3). Fixing the z i as in (.6) and Q 0 = Σ i (x i ) 2, i.e. fixing a copy of SO(n+), we are free to pick p 0 from an open set in P n, and then there is a P n s worth of rational normal curves through {z i, p 0 }. We see that the dimension of complex orthogonal (n + ) (n + ) matrices with rank two Hadamard inverses is 2n. Finally, taking Q 0 as above over R the same count is still valid. Note that a rank one Hadamard inverse is impossible as φ is one to one off the hyperplanes that get blown down, and points on blown down hyperplanes correspond to a column vector with at least one entry equal to zero. (In fact the number of zeros in a column is the number of such hyperplanes the corresponding point lies on.)

7 KONTSEVICH S UNUSUAL CONJECTURE 7 4. Some remarks on the Gale transform Everything in this section with the exception of Version 3 of theorem.8 is classical and explained in modern language and greater generality in [DO], [EP], and [EP2]. For our purposes, points will be distinct and in sufficiently general linear position so that there is no need to be concerned with degenerate cases, and this will enable a simplified exposition. Definition 4.. Let Γ be a set of r+s+2 points in P r. A set Γ of r+s+2 points in P s is said to be associated to Γ if when one chooses coordinates in the respective projective spaces and writes the points of Γ as the rows of an (r + ) (r + s + matrix A and the points of Γ as the rows of an (s + ) (r + s + matrix B, that there exists a (r + s + (r + s + diagonal matrix Λ with nonzero determinant such that AΛ t B = 0. If the point sets are sufficiently nice there is a unique associated point set. (Of course all this defined up to PGL(r) and PGL(s) actions). The set Γ is called the Gale transform of Γ. We will explain association in coordinates. Let 0 i, j r, and 0 α, β s. Write Γ = {z i, p α }, and without loss of generality (assuming the z i are in general linear position) write z i = [0,..., 0,, 0,..., 0] where the is in the i-th position. Write p α = [p 0 α,..., pr α ]. Let q i = [p i 0,..., pi s ] P s and let w α = [0,..., 0,, 0,..., 0] P s where the is in the α-th position. Proposition 4.2. In the situation above, Γ is associated to Γ = {w α, q i }. Proof. p p 0 s p r 0... p r s ( Idr+ Id s+ p 0 0 ) p r 0... p 0 s..... p r s = Corollary 4.3. Span{p α } = P k if and only if Span{q i } = P k. Proof. Row rank equals column rank. Proposition 4.4, Commutativity of association and Cremona. Let zi be the image simplex points determined by the Cremona transform of P r in the z i, which we denote φ z. Similarly, let qα be the simplex points determined by the Cremona transform of P s in the q α, which we denote φ q. Then the associated point set of Γ = {zi, φ z(p α )} is Γ = {φ q (w α ), qi }, i.e., Γ = Γ. Proof. The original set of points z i, p α yields a matrix p p 0 s... p r 0... p r s

8 8 J.M. LANDSBERG Under φ z one gets a point set z i, φ z(p α ) with matrix... p 0 s p 0 0 p r 0 whose associate is explained above. But taking transpose commutes with taking Hadamard inverse. Definition 4.5. A set Γ of 2n + 2 points in P n is said to be self associative if it is associated to itself. Proposition 4.6. Γ = {z i, p i } is self associative if and only if the points sets {z i } and {p i } are both apolar with respect to some quadric Q. Proof. Let z i be simplex points as above. We need to show the point set Γ represented by the matrix (Id, P) is equivalent to the point set represented by the matrix (Id, t P), where P is a matrix whose columns are the entries of the p i, if and only if the point sets are apolar with respect to a quadric Q. Let Q also denote the (r + ) (r + ) matrix representing the quadric. Let The point set Γ consisting of the columns of ( t P, Id) is equivalent to the point set consisting of the columns of ( t PQ, Q). The p i are Q-apolar if t PQ = QP, in which case ( t PQ, Q) is equivalent to (QP, Q) which is equivalent to (P, Id) which is eqivalent to (Id, P).... In light of (4.6), we can rephrase (.8) yet again: Theorem.8, Version 3. Let Γ = {z i, p i } P n be a self-associated point set. Then Span{φ z (p i )} P 2. Span{φ z (p i )} = P if and only if Γ is contained in a rational normal curve. Acknowledgements. It is a pleasure to thank M. Kontsevich for suggesting the conjecture and useful comments, H. Pinkham for many useful conversations and S. Popescu for alerting the author to the relevant literature, interesting remarks, and useful comments. p r s References [Cob], A.B. Coble, Point sets and allied Cremona groups I, Trans. Amer. Math. Soc. 6, (95), [Cob2], A.B. Coble, Point sets and allied Cremona groups II, Trans. Amer. Math. Soc. 7, (96), [Cob3], A.B. Coble, Point sets and allied Cremona groups III, Trans. Amer. Math. Soc. 8, (97),

9 KONTSEVICH S UNUSUAL CONJECTURE 9 [Cob4], A.B. Coble, Associated sets of points, Trans. Amer. Math. Soc. 24, (92, -20. [Con], Conner, Basic systems of rational norm-curves, American Journal of Mathematics, 32(9), p [DO], Dolgachev and Ortland, Point sets in projective spaces and theta functions, Astérisque 65(988). 20pp. [EP], D. Eisenbud and S. Popescu, Gale duality and free resolutions of ideals of points., preprint. [EP2], D. Eisenbud and S. Popescu, The projective geometry of the Gale transform., preprint. Department of Mathematics, Columbia University, New York, NY address: jml@math.columbia.edu

Secant Varieties of Segre Varieties. M. Catalisano, A.V. Geramita, A. Gimigliano

Secant 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 information

MODEL ANSWERS TO HWK #3

MODEL ANSWERS TO HWK #3 MODEL ANSWERS TO HWK #3 1. Suppose that the point p = [v] and that the plane H corresponds to W V. Then a line l containing p, contained in H is spanned by the vector v and a vector w W, so that as a point

More information

Math 203, Solution Set 4.

Math 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

TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS

TWO 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 information

THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES

THE 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 information

BRILL-NOETHER THEORY, II

BRILL-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 information

CAYLEY-BACHARACH AND EVALUATION CODES ON COMPLETE INTERSECTIONS

CAYLEY-BACHARACH AND EVALUATION CODES ON COMPLETE INTERSECTIONS CAYLEY-BACHARACH AND EVALUATION CODES ON COMPLETE INTERSECTIONS LEAH GOLD, JOHN LITTLE, AND HAL SCHENCK Abstract. In [9], J. Hansen uses cohomological methods to find a lower bound for the minimum distance

More information

Lax embeddings of the Hermitian Unital

Lax embeddings of the Hermitian Unital Lax embeddings of the Hermitian Unital V. Pepe and H. Van Maldeghem Abstract In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital U of PG(2, L), L a quadratic

More information

(II.B) Basis and dimension

(II.B) Basis and dimension (II.B) Basis and dimension How would you explain that a plane has two dimensions? Well, you can go in two independent directions, and no more. To make this idea precise, we formulate the DEFINITION 1.

More information

arxiv: v1 [math.ag] 3 Mar 2018

arxiv: v1 [math.ag] 3 Mar 2018 CLASSIFICATION AND SYZYGIES OF SMOOTH PROJECTIVE VARIETIES WITH 2-REGULAR STRUCTURE SHEAF SIJONG KWAK AND JINHYUNG PARK arxiv:1803.01127v1 [math.ag] 3 Mar 2018 Abstract. The geometric and algebraic properties

More information

Commuting nilpotent matrices and pairs of partitions

Commuting 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 information

9. Birational Maps and Blowing Up

9. 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 information

Auerbach bases and minimal volume sufficient enlargements

Auerbach bases and minimal volume sufficient enlargements Auerbach bases and minimal volume sufficient enlargements M. I. Ostrovskii January, 2009 Abstract. Let B Y denote the unit ball of a normed linear space Y. A symmetric, bounded, closed, convex set A in

More information

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES

STABLE 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 information

The geometry of secants in embedded polar spaces

The 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 information

Derivation Techniques on the Hermitian Surface

Derivation Techniques on the Hermitian Surface Derivation Techniques on the Hermitian Surface A. Cossidente, G. L. Ebert, and G. Marino August 25, 2006 Abstract We discuss derivation like techniques for transforming one locally Hermitian partial ovoid

More information

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X

More information

On the intersection of Hermitian surfaces

On the intersection of Hermitian surfaces On the intersection of Hermitian surfaces Nicola Durante and Gary Ebert Abstract In [6] and [3] the authors determine the structure of the intersection of two Hermitian surfaces of PG(3, q 2 ) under the

More information

arxiv: v1 [quant-ph] 4 Jul 2013

arxiv: v1 [quant-ph] 4 Jul 2013 GEOMETRY FOR SEPARABLE STATES AND CONSTRUCTION OF ENTANGLED STATES WITH POSITIVE PARTIAL TRANSPOSES KIL-CHAN HA AND SEUNG-HYEOK KYE arxiv:1307.1362v1 [quant-ph] 4 Jul 2013 Abstract. We construct faces

More information

BRILL-NOETHER THEORY. This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve.

BRILL-NOETHER THEORY. This article follows the paper of Griffiths and Harris, On the variety of special linear systems on a general algebraic curve. BRILL-NOETHER THEORY TONY FENG This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve." 1. INTRODUCTION Brill-Noether theory is concerned

More information

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Contents 1. Introduction 1 2. Preliminary definitions and background 3 3. Degree two maps to Grassmannians 4 4.

More information

Tensors. 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 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 information

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF NATHAN KAPLAN Abstract. The genus of a numerical semigroup is the size of its complement. In this paper we will prove some results

More information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY 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 information

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces. Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,

More information

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

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 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 information

Secant varieties. Marin Petkovic. November 23, 2015

Secant varieties. Marin Petkovic. November 23, 2015 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

More information

arxiv:math/ v1 [math.ag] 17 Oct 2006

arxiv:math/ v1 [math.ag] 17 Oct 2006 Remark on a conjecture of Mukai Arnaud BEAUVILLE Introduction arxiv:math/0610516v1 [math.ag] 17 Oct 2006 The conjecture mentioned in the title appears actually as a question in [M] (Problem 4.11): Conjecture.

More information

Higher secant varieties of classical projective varieties

Higher 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 information

arxiv:math/ v1 [math.oa] 9 May 2005

arxiv:math/ v1 [math.oa] 9 May 2005 arxiv:math/0505154v1 [math.oa] 9 May 2005 A GENERALIZATION OF ANDÔ S THEOREM AND PARROTT S EXAMPLE DAVID OPĚLA Abstract. Andô s theorem states that any pair of commuting contractions on a Hilbert space

More information

Sylvester-Gallai Theorems for Complex Numbers and Quaternions

Sylvester-Gallai Theorems for Complex Numbers and Quaternions Sylvester-Gallai Theorems for Complex Numbers and Quaternions The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Elkies,

More information

First Previous Next Last Back Full Screen Close Quit

First Previous Next Last Back Full Screen Close Quit ON CIRCULANT MATRICES DARYL GELLER, IRWIN KRA, SORIN POPESCU AND SANTIAGO SIMANCA 1. Introduction Fix a positive integer n 2, and let v = (v 0, v 1,..., v n 1 ) be a row vector in C n. Define the shift

More information

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

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 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 information

An Analytic Approach to the Problem of Matroid Representibility: Summer REU 2015

An Analytic Approach to the Problem of Matroid Representibility: Summer REU 2015 An Analytic Approach to the Problem of Matroid Representibility: Summer REU 2015 D. Capodilupo 1, S. Freedman 1, M. Hua 1, and J. Sun 1 1 Department of Mathematics, University of Michigan Abstract A central

More information

Projective Schemes with Degenerate General Hyperplane Section II

Projective 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 information

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Vector 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 information

We simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) =

We simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) = Math 395. Quadratic spaces over R 1. Algebraic preliminaries Let V be a vector space over a field F. Recall that a quadratic form on V is a map Q : V F such that Q(cv) = c 2 Q(v) for all v V and c F, and

More information

Some Two Character Sets

Some Two Character Sets Some Two Character Sets A. Cossidente Dipartimento di Matematica e Informatica Università degli Studi della Basilicata Contrada Macchia Romana 85100 Potenza (ITALY) E mail: cossidente@unibas.it Oliver

More information

DUALITY AND INSCRIBED ELLIPSES

DUALITY AND INSCRIBED ELLIPSES DUALITY AND INSCRIBED ELLIPSES MAHESH AGARWAL, JOHN CLIFFORD, AND MICHAEL LACHANCE Abstract. We give a constructive proof for the existence of inscribed family of ellipses in convex n-gons for 3 n 5 using

More information

OSCULATION FOR CONIC FIBRATIONS

OSCULATION 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 information

Systems of Linear Equations

Systems of Linear Equations LECTURE 6 Systems of Linear Equations You may recall that in Math 303, matrices were first introduced as a means of encapsulating the essential data underlying a system of linear equations; that is to

More information

On GMW designs and a conjecture of Assmus and Key Thomas E. Norwood and Qing Xiang Dept. of Mathematics, California Institute of Technology, Pasadena,

On GMW designs and a conjecture of Assmus and Key Thomas E. Norwood and Qing Xiang Dept. of Mathematics, California Institute of Technology, Pasadena, On GMW designs and a conjecture of Assmus and Key Thomas E. Norwood and Qing iang Dept. of Mathematics, California Institute of Technology, Pasadena, CA 91125 June 24, 1998 Abstract We show that a family

More information

On the geometry of matrix multiplication

On the geometry of matrix multiplication On the geometry of matrix multiplication J.M. Landsberg Texas A&M University Spring 2018 AMS Sectional Meeting 1 / 27 A practical problem: efficient linear algebra Standard algorithm for matrix multiplication,

More information

A PRIMER ON SESQUILINEAR FORMS

A PRIMER ON SESQUILINEAR FORMS A PRIMER ON SESQUILINEAR FORMS BRIAN OSSERMAN This is an alternative presentation of most of the material from 8., 8.2, 8.3, 8.4, 8.5 and 8.8 of Artin s book. Any terminology (such as sesquilinear form

More information

MOTIVES ASSOCIATED TO SUMS OF GRAPHS

MOTIVES ASSOCIATED TO SUMS OF GRAPHS MOTIVES ASSOCIATED TO SUMS OF GRAPHS SPENCER BLOCH 1. Introduction In quantum field theory, the path integral is interpreted perturbatively as a sum indexed by graphs. The coefficient (Feynman amplitude)

More information

CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP

CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat

More information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 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

MTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics

MTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics MTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics Ulrich Meierfrankenfeld Department of Mathematics Michigan State University East Lansing MI 48824 meier@math.msu.edu

More information

8. Prime Factorization and Primary Decompositions

8. Prime Factorization and Primary Decompositions 70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings

More information

Monomial transformations of the projective space

Monomial transformations of the projective space Monomial transformations of the projective space Olivier Debarre and Bodo Lass Abstract We prove that, over any field, the dimension of the indeterminacy locus of a rational map f : P n P n defined by

More information

OLIVIER SERMAN. Theorem 1.1. The moduli space of rank 3 vector bundles over a curve of genus 2 is a local complete intersection.

OLIVIER SERMAN. Theorem 1.1. The moduli space of rank 3 vector bundles over a curve of genus 2 is a local complete intersection. LOCAL STRUCTURE OF SU C (3) FOR A CURVE OF GENUS 2 OLIVIER SERMAN Abstract. The aim of this note is to give a precise description of the local structure of the moduli space SU C (3) of rank 3 vector bundles

More information

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,

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, 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 information

Base subsets of polar Grassmannians

Base subsets of polar Grassmannians Journal of Combinatorial Theory, Series A 114 (2007) 1394 1406 www.elsevier.com/locate/jcta Base subsets of polar Grassmannians Mark Pankov Department of Mathematics and Information Technology, University

More information

Characterizations of the finite quadric Veroneseans V 2n

Characterizations of the finite quadric Veroneseans V 2n Characterizations of the finite quadric Veroneseans V 2n n J. A. Thas H. Van Maldeghem Abstract We generalize and complete several characterizations of the finite quadric Veroneseans surveyed in [3]. Our

More information

EFFECTIVE CONES OF CYCLES ON BLOW-UPS OF PROJECTIVE SPACE

EFFECTIVE CONES OF CYCLES ON BLOW-UPS OF PROJECTIVE SPACE EFFECTIVE CONES OF CYCLES ON BLOW-UPS OF PROJECTIVE SPACE IZZET COSKUN, JOHN LESIEUTRE, AND JOHN CHRISTIAN OTTEM Abstract. In this paper, we study the cones of higher codimension (pseudo)effective cycles

More information

4.2. ORTHOGONALITY 161

4.2. ORTHOGONALITY 161 4.2. ORTHOGONALITY 161 Definition 4.2.9 An affine space (E, E ) is a Euclidean affine space iff its underlying vector space E is a Euclidean vector space. Given any two points a, b E, we define the distance

More information

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013

Introduction 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 information

ON CONSTRUCTING NEARLY DECOMPOSABLE MATRICES D. J. HARTFIEL

ON CONSTRUCTING NEARLY DECOMPOSABLE MATRICES D. J. HARTFIEL proceedings of the american mathematical society Volume 27, No. 2, February 1971 ON CONSTRUCTING NEARLY DECOMPOSABLE MATRICES D. J. HARTFIEL Abstract. In this paper we consider the construction of nearly

More information

LOCAL DIFFERENTIAL GEOMETRY AND GENERIC PROJECTIONS OF THREEFOLDS

LOCAL DIFFERENTIAL GEOMETRY AND GENERIC PROJECTIONS OF THREEFOLDS J. DIFFERENTIAL GEOMETRY 32(1990) 131-137 LOCAL DIFFERENTIAL GEOMETRY AND GENERIC PROJECTIONS OF THREEFOLDS ZIVRAN The purpose of this note is to prove a result concerning the 4-secant lines of a nondegenerate

More information

Welsh s problem on the number of bases of matroids

Welsh s problem on the number of bases of matroids Welsh s problem on the number of bases of matroids Edward S. T. Fan 1 and Tony W. H. Wong 2 1 Department of Mathematics, California Institute of Technology 2 Department of Mathematics, Kutztown University

More information

implies that if we fix a basis v of V and let M and M be the associated invertible symmetric matrices computing, and, then M = (L L)M and the

implies that if we fix a basis v of V and let M and M be the associated invertible symmetric matrices computing, and, then M = (L L)M and the Math 395. Geometric approach to signature For the amusement of the reader who knows a tiny bit about groups (enough to know the meaning of a transitive group action on a set), we now provide an alternative

More information

Lecture 1. Toric Varieties: Basics

Lecture 1. Toric Varieties: Basics Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture

More information

A Questionable Distance-Regular Graph

A Questionable Distance-Regular Graph A Questionable Distance-Regular Graph Rebecca Ross Abstract In this paper, we introduce distance-regular graphs and develop the intersection algebra for these graphs which is based upon its intersection

More information

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra. DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1

More information

Density of rational points on Enriques surfaces

Density of rational points on Enriques surfaces Density of rational points on Enriques surfaces F. A. Bogomolov Courant Institute of Mathematical Sciences, N.Y.U. 251 Mercer str. New York, (NY) 10012, U.S.A. e-mail: bogomolo@cims.nyu.edu and Yu. Tschinkel

More information

PERVERSE SHEAVES ON A TRIANGULATED SPACE

PERVERSE SHEAVES ON A TRIANGULATED SPACE PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to

More information

SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS

SPACES 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 information

Non-uniruledness results for spaces of rational curves in hypersurfaces

Non-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 information

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.

More information

Finite affine planes in projective spaces

Finite 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 information

The Grothendieck Ring of Varieties

The 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 information

The Geometry of Matrix Rigidity

The Geometry of Matrix Rigidity The Geometry of Matrix Rigidity Joseph M. Landsberg Jacob Taylor Nisheeth K. Vishnoi November 26, 2003 Abstract Consider the following problem: Given an n n matrix A and an input x, compute Ax. This problem

More information

DIVISORS ON NONSINGULAR CURVES

DIVISORS 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 information

Irredundant Families of Subcubes

Irredundant Families of Subcubes Irredundant Families of Subcubes David Ellis January 2010 Abstract We consider the problem of finding the maximum possible size of a family of -dimensional subcubes of the n-cube {0, 1} n, none of which

More information

Disjoint paths in tournaments

Disjoint paths in tournaments Disjoint paths in tournaments Maria Chudnovsky 1 Columbia University, New York, NY 10027, USA Alex Scott Mathematical Institute, University of Oxford, 24-29 St Giles, Oxford OX1 3LB, UK Paul Seymour 2

More information

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally

More information

Tensors: a geometric view Open lecture November 24, 2014 Simons Institute, Berkeley. Giorgio Ottaviani, Università di Firenze

Tensors: a geometric view Open lecture November 24, 2014 Simons Institute, Berkeley. Giorgio Ottaviani, Università di Firenze Open lecture November 24, 2014 Simons Institute, Berkeley Plan of the talk Introduction to Tensors A few relevant applications Tensors as multidimensional matrices A (complex) a b c tensor is an element

More information

Irreducible subgroups of algebraic groups

Irreducible subgroups of algebraic groups Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland

More information

π X : X Y X and π Y : X Y Y

π 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 information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

FOUNDATIONS 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 information

c 2010 Society for Industrial and Applied Mathematics

c 2010 Society for Industrial and Applied Mathematics SIAM J. DISCRETE MATH. Vol. 24, No. 3, pp. 1038 1045 c 2010 Society for Industrial and Applied Mathematics SET SYSTEMS WITHOUT A STRONG SIMPLEX TAO JIANG, OLEG PIKHURKO, AND ZELEALEM YILMA Abstract. A

More information

Quadratic families of elliptic curves and degree 1 conic bundles

Quadratic families of elliptic curves and degree 1 conic bundles Quadratic families of elliptic curves and degree 1 conic bundles János Kollár Princeton University joint with Massimiliano Mella Elliptic curves E := ( y 2 = a 3 x 3 + a 2 x 2 + a 1 x + a 0 ) A 2 xy Major

More information

A RELATION BETWEEN HIGHER WITT INDICES

A RELATION BETWEEN HIGHER WITT INDICES A RELATION BETWEEN HIGHER WITT INDICES NIKITA A. KARPENKO Abstract. Let i 1,i 2,...,i h be the higher Witt indices of an arbitrary non-degenerate quadratic form over a field of characteristic 2 (where

More information

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in

More information

arxiv: v1 [math.ag] 28 Sep 2016

arxiv: v1 [math.ag] 28 Sep 2016 LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra

More information

Lecture 14: The Rank-Nullity Theorem

Lecture 14: The Rank-Nullity Theorem Math 108a Professor: Padraic Bartlett Lecture 14: The Rank-Nullity Theorem Week 6 UCSB 2013 In today s talk, the last before we introduce the concept of matrices, we prove what is arguably the strongest

More information

A concise proof of Kruskal s theorem on tensor decomposition

A concise proof of Kruskal s theorem on tensor decomposition A concise proof of Kruskal s theorem on tensor decomposition John A. Rhodes 1 Department of Mathematics and Statistics University of Alaska Fairbanks PO Box 756660 Fairbanks, AK 99775 Abstract A theorem

More information

Some notes on Coxeter groups

Some notes on Coxeter groups Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three

More information

Square 2-designs/1. 1 Definition

Square 2-designs/1. 1 Definition Square 2-designs Square 2-designs are variously known as symmetric designs, symmetric BIBDs, and projective designs. The definition does not imply any symmetry of the design, and the term projective designs,

More information

On the Hilbert Functions of Disjoint Unions of a Linear Space and Many Lines in P n

On 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 information

BP -HOMOLOGY AND AN IMPLICATION FOR SYMMETRIC POLYNOMIALS. 1. Introduction and results

BP -HOMOLOGY AND AN IMPLICATION FOR SYMMETRIC POLYNOMIALS. 1. Introduction and results BP -HOMOLOGY AND AN IMPLICATION FOR SYMMETRIC POLYNOMIALS DONALD M. DAVIS Abstract. We determine the BP -module structure, mod higher filtration, of the main part of the BP -homology of elementary 2- groups.

More information

LINES IN P 3. Date: December 12,

LINES IN P 3. Date: December 12, LINES IN P 3 Points in P 3 correspond to (projective equivalence classes) of nonzero vectors in R 4. That is, the point in P 3 with homogeneous coordinates [X : Y : Z : W ] is the line [v] spanned by the

More information

Theorems of Erdős-Ko-Rado type in polar spaces

Theorems of Erdős-Ko-Rado type in polar spaces Theorems of Erdős-Ko-Rado type in polar spaces Valentina Pepe, Leo Storme, Frédéric Vanhove Department of Mathematics, Ghent University, Krijgslaan 28-S22, 9000 Ghent, Belgium Abstract We consider Erdős-Ko-Rado

More information

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

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 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 information

Mathematics Department Stanford University Math 61CM/DM Inner products

Mathematics Department Stanford University Math 61CM/DM Inner products Mathematics Department Stanford University Math 61CM/DM Inner products Recall the definition of an inner product space; see Appendix A.8 of the textbook. Definition 1 An inner product space V is a vector

More information

SPECTRAL THEORY EVAN JENKINS

SPECTRAL THEORY EVAN JENKINS SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for

More information

Chapter 1. Preliminaries

Chapter 1. Preliminaries Introduction This dissertation is a reading of chapter 4 in part I of the book : Integer and Combinatorial Optimization by George L. Nemhauser & Laurence A. Wolsey. The chapter elaborates links between

More information

Classification of root systems

Classification of root systems Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April

More information

arxiv: v1 [math.ag] 13 Mar 2019

arxiv: v1 [math.ag] 13 Mar 2019 THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show

More information