# Row Ideals and Fibers of Morphisms

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion of his 65th birthday 1. Introduction In this paper we study the fibers of a rational map from an algebraic point of view. We begin by describing four ideals related to such a fiber. Let S = k[x 0,..., x n ] be a polynomial ring over an infinite field k with homogeneous maximal ideal m, let I S be an ideal generated by an (r +1)-dimensional vector space W of forms of the same degree, and let φ be the associated rational map P n P r = P(W ). We will use this notation throughout. Since we are interested in the rational map, we may remove common divisors of W and thus assume that I has codimension 2. A k-rational point q in the target P r = P(W ) is by definition a codimension 1 subspace W q of W. We write I q S for the ideal generated by W q. By a homogeneous presentation of I we will always mean a homogeneous free presentation of I with respect to a homogeneous minimal generating set. If F G = S W is such a presentation, then the composition F G S (W/W q ) is called the generalized row corresponding to q, and its image is called the generalized row ideal corresponding to q. It is the ideal generated by the entries of a row in the homogeneous presentation matrix after a change of basis. From this we see that the generalized row ideal corresponding to q is simply I q : I. The rational map φ is a morphism away from the algebraic set V(I), and we may form the fiber (= preimage) of the morphism over a point q P r. The saturated ideal of the scheme-theoretic closure of this fiber is I q : I, which we call the morphism fiber ideal associated to q. The rational map φ gives rise to a correspondence Ɣ P n P r, which is the closure of the graph of the morphism induced by φ. There are projections P n π 1 π 2 Ɣ P r, and we define the correspondence fiber over q to be π 1 (π 1 2 (q)). Since Ɣ is BiProj(R), where R is the Rees algebra S[It] S[t]ofI, it follows that the correspondence fiber is defined by the ideal Received May 29, Revision received March 29, Both authors were supported in part by the NSF. The second author is grateful to MSRI, where most of this research was done. 261

2 262 David Eisenbud & Bernd Ulrich (I q tr : (It) ) S = i (I q I i 1 : I i ). This ideal describes the locus where I is not integral over I q. It is clear that our four ideals are contained, each in the next, as follows: I q I q : I (row ideal); i (I q I i 1 : I i ) (correspondence fiber ideal); I q : I (morphism fiber ideal). In Section 2 we compare the row ideals, morphism fiber ideals, and correspondence fiber ideals. In Section 3 we use generalized row ideals to give bounds on the analytic spread of I by interpreting the analytic spread as 1 plus the dimension of the image of φ. Many interesting rational maps φ are associated as just described to ideals I with linear presentation matrices (see e.g. [HKS]). Thus we are interested in linearly presented ideals and their powers, which arise in the study of the graph. It is known that the powers of a linearly presented ideal need not be linearly presented. The first such examples were exhibited by Sturmfels [St]; for a survey of what is known, see [EHuU]. In Section 3 we also give criteria for birationality of the map or its restriction to a linear subspace of P n. In Section 4 we generalize the notion of linear presentation (of an ideal or module) in various directions: A graded S-module M generated by finitely many elements of the same degree has linear generalized row ideals if the entries of every generalized row of a homogeneous presentation matrix for M generate a linear ideal (i.e., an ideal generated by linear forms). Obviously, any module with a linear presentation has this property, and we conjecture that the two notions are equivalent in the case of ideals. The corresponding conjecture is false for modules, but we prove it for modules of projective dimension 1. The main result of the section implies a weak linearity property of powers; it states that if an ideal I has linear generalized row ideals, then every power of I has a homogeneous presentation all of whose (ordinary) rows generate linear ideals. 2. Comparing the Notions of Fiber Ideals Recall that the row ideal for a point q is always contained in the correspondence fiber ideal, which in turn is contained in the morphism fiber ideal. If the row ideal is generated by linear forms (or, more generally, is prime) and does not contain I, then these ideals are all equal. But in general the containments are both strict, as the following example shows. Example 2.1. Let S = k[a, b, c, d ], J = (ab 2, ac 2, b 2 c, bc 2 ), I = J + (bcd). One can check that I is linearly presented. Computation shows that the row ideal J : I is (b, c) while the correspondence fiber ideal is (a 2, b, c) and the morphism

3 Row Ideals and Fibers of Morphisms 263 fiber ideal is the unit ideal J : I = S. We have no example of an m-primary ideal (regular morphism) where all three are different: in the examples we have tried, the correspondence fiber is equal to the morphism fiber. (Of course, for any regular map all three are equal up to saturation, but we do not see why any two should be equal as ideals.) Before stating the next result we recall that an ideal I in a Noetherian ring is said to be of linear type if the natural map from the symmetric algebra of I onto the Rees algebra of I is an isomorphism. If I is of linear type, then I cannot be integral over any strictly smaller ideal, as can be seen by applying [NR, Thm. 4, p. 152] to the localizations of I. We say that an ideal is proper if it is not the unit ideal. Proposition 2.2. If I has linear generalized row ideals, then every proper morphism fiber ideal is equal to the corresponding row ideal and hence is generated by linear forms. If I is also of linear type on the punctured spectrum, then every proper correspondence fiber ideal is equal to the corresponding row ideal. Proof. Suppose that the morphism fiber ideal I q : I is not the unit ideal. In this case I q : I does not contain I. The required equality for the first statement is I q : I = I q : I, which follows because I q : I is linear and thus prime. Now suppose that I is of linear type on the punctured spectrum and that the correspondence fiber ideal H := i (I qi i 1 : I i ) is proper. Set K = I q : I, the row ideal. We must show K = H. Since K H we may safely assume that K is not m, the homogeneous maximal ideal of S. By hypothesis, the row ideal K is generated by linear forms; hence it is prime. Since the localized ideals (I q ) K and I K are not equal and since I K is of linear type, it follows that I K is not integral over (I q ) K. Therefore, H K is a proper ideal. Thus H K, as required. Example 2.3. The last statement of Proposition 2.2 would be false without the hypothesis that I is of linear type on the punctured spectrum. This is shown by Example 2.1. Example 2.4. Let Q be a quadratic form in x 0, x 1, x 2, and let F be a cubic form relatively prime to Q. The rational map defined by x 0 Q, x 1 Q, x 2 Q, F has one morphism fiber (and correspondence fiber) ideal (Q), though for a general point in the image both the morphism fiber ideal and the correspondence fiber ideal are linear. This example shows that in [Si, Thm. 4.1] the point p should be taken to be general. 3. How to Compute the Analytic Spread and Test Birationality The notions of row ideals and fiber ideals provide tests for the birationality of the map φ and lead to formulas for the analytic spread of the ideal I. In our setting, the

4 264 David Eisenbud & Bernd Ulrich analytic spread l(i ) of I can be defined as 1 plus the dimension of the image of the rational map φ. Its ideal-theoretic significance is that it gives the smallest number of generators of a homogeneous ideal over which I is integral or, equivalently, the smallest number of generators of an ideal in S m over which I m is integral (see [NR, Cor., p. 151]). Proposition 3.1. (a) If q is a point in P r = P(W ) such that I q : I = S, then l(i ) 1 + codim(i q : I ). (b) If p is a general point in P n, then l(i ) = 1 + codim(i φ(p) : I ). (c) If there exits a point q such that the row ideal I q : I is linear of codimension n and does not contain I, then φ is birational onto its image. Moreover, φ is birational onto its image if and only if I φ(p) : I is a linear ideal of codimension n for a general point p. Proof. Set J = I φ(p). If the ideal I q : I is proper, then it cannot be m-primary and so defines a nonempty fiber of the morphism φ. On the other hand, J : I is the defining ideal of a general fiber of the map. Thus the dimension formula and the semicontinuity of fiber dimension [E, Cor. 14.5, Thm. 14.8(a)] show that codim(i q : I ) codim(j : I ) = dim im(φ). However, the latter dimension is l(i ) 1, proving parts (a) and (b). The second assertion in (c) holds because the map is birational onto its image if and only if the general fiber is a reduced rational point. We reduce the first assertion of (c) to the second one. Assume that the row ideal I q : I is linear of codimension n and does not contain I. Since I q : I is a prime ideal not containing I, it follows that I q : I = I q : I = S. Hence the morphism fiber over q is not empty and there exists a point p P n with q = φ(p). Now let T 0,..., T r be variables over S and let A 1 denote the linear part of a homogeneous presentation matrix of I. We can write (T 0,..., T r ) A 1 = (x 0,..., x n ) B for some matrix B whose entries are linear forms in the variables T i with constant coefficients. The dimension of the space of linear forms in the row ideal corresponding to any point φ(p) is the rank of B when the coordinates of φ(p) are substituted for the T i ; it is therefore semicontinuous in p. Thus, for p general, the dimension of the space of linear forms in the ideal I φ(p) : I is at least n, and then the same holds for J : I. Because this ideal defines a nonempty fiber, it is indeed linear of codimension n. Sometimes one can read off a lower bound on the analytic spread even from a partial matrix of syzygies. The following result is inspired by [HKS, Prop. 1.2]. Proposition 3.2. With notation as before, suppose that A is a matrix of homogeneous forms each of whose columns is a syzygy on the generators of I. Let A q be the ideal generated by the elements of the generalized row of A corresponding

5 Row Ideals and Fibers of Morphisms 265 to a point q P r. If there exists a prime ideal P V(A q ) such that A κ(p) has rank r, then I q : I = S and l(i ) 1 + codim A q. Proof. Since A q I q : I, Proposition 3.1(a) shows that the second claim follows from the first one. To prove the first assertion, I q : I = S, it suffices to verify that (I q : I ) P = S P. Since A P contains an r r invertible submatrix and since these relations express each generator of I P in terms of the one corresponding to q, it follows that A P is a full presentation matrix of the ideal I P. Thus (A q ) P = (I q : I) P. Furthermore, since I P is generated by one element and since I has codimension 2by our blanket assumption, it follows that I P = S P, whence (A q ) P = (I q : I) P = (I q : I ) P. On the other hand, P V(A q ),so(a q ) P = S P and we are done. As in [HKS, Prop. 1.2], this gives criteria for birationality as follows. Corollary 3.3. As in Proposition 3.2, suppose that A κ(p) has rank r for some prime ideal P V(A q ). The map φ is birational onto its image if A q defines a reduced rational point in P n. The map φ, restricted to a general P r P n, is birational (a Cremona transformation) if A q defines a reduced linear space of codimension r in P n. Proof. Notice that A q I q : I I q : I, where I q : I = S according to Proposition 3.2. Thus, if A q defines a reduced rational point in P n, then the row ideal I q : I is linear of codimension n and does not contain I. Hence φ is birational onto its image by Proposition 3.1(c). The second assertion follows from the first one applied to the restriction of φ. For other, related criteria for birationality see [Si]. 4. Ideals with Linear Row Ideals and Their Powers We begin this section by clarifying the relation between these properties of an ideal or module: to have a linear presentation matrix, to have linear generalized row ideals, and to have some homogeneous presentation matrix all of whose row ideals are linear. Obviously, if a presention matrix is linear then all its generalized row ideals are linear. However, the converse does not hold, at least for the presentation of modules with torsion. This can be seen by taking the matrix ( s t t 2 ), 0 s 0 for instance. Even so, we have the following statement. Proposition 4.1. If M is a graded S-module of projective dimension 1 generated by finitely many homogeneous elements of the same degree, and if M has linear generalized row ideals, then M has a linear presentation.

6 266 David Eisenbud & Bernd Ulrich Proof. Reduce modulo n general linear forms and then use the fundamental theorem for modules over principal ideal domains. If an ideal has linear generalized row ideals then obviously there is a presentation matrix with only linear row ideals. Again, the two concepts are not equivalent, as the next example shows. Example 4.2. We consider the ideal I = (s 4, s 3 t, st 3, t 4 ) S = C[s, t] corresponding to the morphism whose image is the smooth rational quartic curve in P 3. A homogeneous presentation of this ideal is given by ) ( t 0 0 s 0 t 2 0 t s 2 S 2 0 s 0 ( 5) S( 6) S 4 ( 4) ( s 4 s 3 tst 3 t 4 ) S. The row ideals of the second and third rows in this presentation are not linear. However, a change of basis in S 4 ( 4), corresponding to a different choice of generators of I, makes them linear: where ( t s 0 s t s t s 2 t 2 s+it is t s 2 +t 2 S 2 ( 5) S( 6) S 4 ( 4) ( F 0...F 3 ) S, F 0 = s(s t)(s 2 + t 2 + (s + t)(s it)), F 1 = t(s t)(s 2 + t 2 + (s + t)(is + t)), F 2 = st(s 2 + t 2 ), F 3 = st(s 2 t 2 ). Whereas powers of linearly presented ideals need not be linearly presented, the next result implies that having a homogeneous presentation with linear generalized row ideals is a weak linearity property that is indeed preserved when taking powers. Theorem 4.3. If I has a homogeneous presentation matrix where at least one row ideal is linear of codimension at least l(i ) 1 and does not contain I, then each power of I has some homogeneous presentation matrix all of whose row ideals are linear of codimension l(i ) 1 and do not contain I. Proof. According to Proposition 3.1(b) for general p P n, the morphism fiber ideal I φ(p) : I has codimension l(i ) 1; hence the row ideal I φ(p) : I has codimension at most l(i ) 1. Now one sees, as in the proof of Proposition 3.1(c), that I φ(p) : I is linear of codimension l(i ) 1 and does not contain I. Let E = V(I) be the exceptional locus of φ. For each d 1, the rational map φ d defined by the vector space of forms W d is regular on P n \E. For any point p P n \ E, the ideal of φ(p) P(W ) is generated by the vector space of linear forms )

7 Row Ideals and Fibers of Morphisms 267 W φ(p), so the vector space of forms of degree d that it contains is W φ(p) W d 1. Therefore, (W d ) φd (p) = W φ(p) W d 1 and hence the row ideal corresponding to φ d (p) is I φ(p) I d 1 : I d. We now show that, for general p, the row ideal I φ(p) I d 1 : I d is linear of codimension l(i ) 1 and does not contain I. For trivial reasons we have I φ(p) : I I φ(p) I d 1 : I d I φ(p) I d 1 : I I φ(p) : I. By the proof s first paragraph, I φ(p) : I is a linear ideal of codimension l(i ) 1 and does not contain I. Hence I φ(p) : I = I φ(p) : I and therefore I φ(p) : I = I φ(p) I d 1 : I d. Let dim W d = N + 1. Because the image of φ d is nondegenerate, N + 1 general points of P n correspond to the N + 1 rows of a presentation matrix of I d,so we are done. Corollary 4.4. If I has linear presentation or even just linear generalized row ideals, then every power of I has a homogeneous presentation matrix all of whose row ideals are linear of codimension l(i ) 1. Proof. According to Proposition 3.1(b), the homogeneous presentation matrix of I has a row ideal I q : I such that codim(i q : I ) = l(i ) 1. In particular, I q : I = S and so I is not contained in I q : I. Because I q : I is a linear ideal we conclude that I q : I = I q : I, which gives codim(i q : I) = l(i ) 1. Now apply Theorem 4.3. Proposition 4.5. Every ideal has a homogeneous presentation all of whose row ideals are of codimension l(i ) 1. Proof. Take a homogeneous presentation whose rows correspond to the fibers through points of P n not in the exceptional locus. The row ideals are contained in the morphism fiber ideals, which by Proposition 3.1(a) have codimension at most l(i ) Some Open Problems We are most interested in answers to the following questions. 1. Can the homogeneous minimal presentation of an ideal I have linear generalized row ideals without actually being linear? 2. If φ is a regular map (i.e., if I is m-primary), then are the correspondence fiber ideals equal to the morphism fiber ideals? More generally, when are the correspondence fiber ideals saturated with respect to m? 3. Find lower bounds for the number of linear relations that I d could have in terms of the number of linear relations on I. How close can one come to the known examples?

8 268 David Eisenbud & Bernd Ulrich References [E] D. Eisenbud, Commutative algebra with a view toward algebraic geometry, Grad. Texts in Math., 150, Springer-Verlag, New York, [EHuU] D. Eisenbud, C. Huneke, and B. Ulrich, The regularity of Tor and graded Betti numbers, Amer. J. Math. 128 (2006), [HKS] K. Hulek, S. Katz, and F.-O. Schreyer, Cremona transformations and syzygies, Math. Z. 209 (1992), [NR] D. G. Northcott and D. Rees, Reductions of ideals in local rings, Math. Proc. Cambridge Philos. Soc. 50 (1954), [Si] A. Simis, Cremona transformations and some related algebras, J. Algebra 280 (2004), [St] B. Sturmfels, Four counterexamples in combinatorial algebraic geometry, J. Algebra 230 (2000), D. Eisenbud Department of Mathematics University of California, Berkeley Berkeley, CA B. Ulrich Department of Mathematics Purdue University West Lafayette, IN

### A COUNTEREXAMPLE FOR SUBADDITIVITY OF MULTIPLIER IDEALS ON TORIC VARIETIES

Communications in Algebra, 40: 1618 1624, 2012 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927872.2011.552084 A COUNTEREXAMPLE FOR SUBADDITIVITY OF MULTIPLIER

### Associativity condition for some alternative algebras of degree three

Associativity condition for some alternative algebras of degree three Mirela Stefanescu and Cristina Flaut Abstract In this paper we find an associativity condition for a class of alternative algebras

### Séminaire Dubreil. Algèbre

Séminaire Dubreil. Algèbre DAVID EISENBUD Notes on an extension of Krull s principal ideal theorem Séminaire Dubreil. Algèbre, tome 28, n o 1 (1974-1975), exp. n o 20, p. 1-4.

### NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### 1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

### 7 - Linear Transformations

7 - Linear Transformations Mathematics has as its objects of study sets with various structures. These sets include sets of numbers (such as the integers, rationals, reals, and complexes) whose structure

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

### On The Existence Of Flips

On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry

### UNIT 2 MATRICES - I 2.0 INTRODUCTION. Structure

UNIT 2 MATRICES - I Matrices - I Structure 2.0 Introduction 2.1 Objectives 2.2 Matrices 2.3 Operation on Matrices 2.4 Invertible Matrices 2.5 Systems of Linear Equations 2.6 Answers to Check Your Progress

### MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar

### GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

### CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction

Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves

### FIBER PRODUCTS AND ZARISKI SHEAVES

FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also

### Orthogonal Diagonalization of Symmetric Matrices

MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding

### LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

### 7. Some irreducible polynomials

7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

### Proof. The map. G n i. where d is the degree of D.

7. Divisors Definition 7.1. We say that a scheme X is regular in codimension one if every local ring of dimension one is regular, that is, the quotient m/m 2 is one dimensional, where m is the unique maximal

### The determinant of a skew-symmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14

4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with

### The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

### FIELD DEGREES AND MULTIPLICITIES FOR NON-INTEGRAL EXTENSIONS

Illinois Journal of Mathematics Volume 51, Number 1, Spring 2007, Pages 299 311 S 0019-2082 FIELD DEGREES AND MULTIPLICITIES FOR NON-INTEGRAL EXTENSIONS BERND ULRICH AND CLARENCE W. WILKERSON Dedicated

### 1 Orthogonal projections and the approximation

Math 1512 Fall 2010 Notes on least squares approximation Given n data points (x 1, y 1 ),..., (x n, y n ), we would like to find the line L, with an equation of the form y = mx + b, which is the best fit

### Solutions to Assignment 4

Solutions to Assignment 4 Math 412, Winter 2003 3.1.18 Define a new addition and multiplication on Z y a a + 1 and a a + a, where the operations on the right-hand side off the equal signs are ordinary

### Matrix Representations of Linear Transformations and Changes of Coordinates

Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under

### MATH1231 Algebra, 2015 Chapter 7: Linear maps

MATH1231 Algebra, 2015 Chapter 7: Linear maps A/Prof. Daniel Chan School of Mathematics and Statistics University of New South Wales danielc@unsw.edu.au Daniel Chan (UNSW) MATH1231 Algebra 1 / 43 Chapter

### MA 242 LINEAR ALGEBRA C1, Solutions to Second Midterm Exam

MA 4 LINEAR ALGEBRA C, Solutions to Second Midterm Exam Prof. Nikola Popovic, November 9, 6, 9:3am - :5am Problem (5 points). Let the matrix A be given by 5 6 5 4 5 (a) Find the inverse A of A, if it exists.

### SMALL SKEW FIELDS CÉDRIC MILLIET

SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite

### Matrix Algebra 2.3 CHARACTERIZATIONS OF INVERTIBLE MATRICES Pearson Education, Inc.

2 Matrix Algebra 2.3 CHARACTERIZATIONS OF INVERTIBLE MATRICES Theorem 8: Let A be a square matrix. Then the following statements are equivalent. That is, for a given A, the statements are either all true

### ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE

Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 0019-2082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a

### SOLUTIONS TO ASSIGNMENT 1 MATH 576

SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts

### Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

### ZERO-DIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS

ZERO-DIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS M. AXTELL, J. COYKENDALL, AND J. STICKLES Abstract. We recall several results of zero divisor graphs of commutative rings. We

### MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

### 11 Ideals. 11.1 Revisiting Z

11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

### ( ) which must be a vector

MATH 37 Linear Transformations from Rn to Rm Dr. Neal, WKU Let T : R n R m be a function which maps vectors from R n to R m. Then T is called a linear transformation if the following two properties are

### U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

### 2.5 Gaussian Elimination

page 150 150 CHAPTER 2 Matrices and Systems of Linear Equations 37 10 the linear algebra package of Maple, the three elementary 20 23 1 row operations are 12 1 swaprow(a,i,j): permute rows i and j 3 3

### GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE

GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE SIJONG KWAK AND JINHYUNG PARK Abstract. We study geometric structures of smooth projective varieties of small degree in birational geometric

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### RESEARCH STATEMENT AMANDA KNECHT

RESEARCH STATEMENT AMANDA KNECHT 1. Introduction A variety X over a field K is the vanishing set of a finite number of polynomials whose coefficients are elements of K: X := {(x 1,..., x n ) K n : f i

### THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

### Definition: Group A group is a set G together with a binary operation on G, satisfying the following axioms: a (b c) = (a b) c.

Algebraic Structures Abstract algebra is the study of algebraic structures. Such a structure consists of a set together with one or more binary operations, which are required to satisfy certain axioms.

### Recall that two vectors in are perpendicular or orthogonal provided that their dot

Orthogonal Complements and Projections Recall that two vectors in are perpendicular or orthogonal provided that their dot product vanishes That is, if and only if Example 1 The vectors in are orthogonal

### 1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

### it is easy to see that α = a

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

### some algebra prelim solutions

some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no

### 4.5 Linear Dependence and Linear Independence

4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then

### = 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

### Lectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain

Lectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain 1. Orthogonal matrices and orthonormal sets An n n real-valued matrix A is said to be an orthogonal

### IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

### Math 54. Selected Solutions for Week Is u in the plane in R 3 spanned by the columns

Math 5. Selected Solutions for Week 2 Section. (Page 2). Let u = and A = 5 2 6. Is u in the plane in R spanned by the columns of A? (See the figure omitted].) Why or why not? First of all, the plane in

### Vector Spaces II: Finite Dimensional Linear Algebra 1

John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition

### LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO

LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO PETER MÜLLER AND MICHAEL E. ZIEVE Abstract. Planar functions over finite fields give rise to finite projective planes and other combinatorial objects.

### Commutative Algebra seminar talk

Commutative Algebra seminar talk Reeve Garrett May 22, 2015 1 Ultrafilters Definition 1.1 Given an infinite set W, a collection U of subsets of W which does not contain the empty set and is closed under

### Appendix A. Appendix. A.1 Algebra. Fields and Rings

Appendix A Appendix A.1 Algebra Algebra is the foundation of algebraic geometry; here we collect some of the basic algebra on which we rely. We develop some algebraic background that is needed in the text.

### MATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix.

MATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix. Nullspace Let A = (a ij ) be an m n matrix. Definition. The nullspace of the matrix A, denoted N(A), is the set of all n-dimensional column

### Chapter 13: Basic ring theory

Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

### ON THE RATIONAL REAL JACOBIAN CONJECTURE

UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA doi: FASCICULUS LI, 2013 ON THE RATIONAL REAL JACOBIAN CONJECTURE by L. Andrew Campbell Abstract. Jacobian conjectures (that nonsingular implies a global inverse)

### 1 VECTOR SPACES AND SUBSPACES

1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such

### Advanced Higher Mathematics Course Assessment Specification (C747 77)

Advanced Higher Mathematics Course Assessment Specification (C747 77) Valid from August 2015 This edition: April 2016, version 2.4 This specification may be reproduced in whole or in part for educational

### Integral Domains. As always in this course, a ring R is understood to be a commutative ring with unity.

Integral Domains As always in this course, a ring R is understood to be a commutative ring with unity. 1 First definitions and properties Definition 1.1. Let R be a ring. A divisor of zero or zero divisor

### GAVRIL FARKAS AND MIHNEA POPA

EFFECTIVE DIVISORS ON M g AND A COUNTEREXAMPLE TO THE SLOPE CONJECTURE GAVRIL FARKAS AND MIHNEA POPA 1. Introduction The purpose of this note is to prove two statements on the slopes of effective divisors

### RESULTANT AND DISCRIMINANT OF POLYNOMIALS

RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results

### Applying this to X = A n K it follows that Cl(U) = 0. So we get an exact sequence

3. Divisors on toric varieties We start with computing the class group of a toric variety. Recall that the class group is the group of Weil divisors modulo linear equivalence. We denote the class group

### Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of

### Indiana State Core Curriculum Standards updated 2009 Algebra I

Indiana State Core Curriculum Standards updated 2009 Algebra I Strand Description Boardworks High School Algebra presentations Operations With Real Numbers Linear Equations and A1.1 Students simplify and

### FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure

### 3 Factorisation into irreducibles

3 Factorisation into irreducibles Consider the factorisation of a non-zero, non-invertible integer n as a product of primes: n = p 1 p t. If you insist that primes should be positive then, since n could

### Solutions to Math 51 First Exam January 29, 2015

Solutions to Math 5 First Exam January 29, 25. ( points) (a) Complete the following sentence: A set of vectors {v,..., v k } is defined to be linearly dependent if (2 points) there exist c,... c k R, not

### Sec 4.1 Vector Spaces and Subspaces

Sec 4. Vector Spaces and Subspaces Motivation Let S be the set of all solutions to the differential equation y + y =. Let T be the set of all 2 3 matrices with real entries. These two sets share many common

### Logic and Incidence Geometry

Logic and Incidence Geometry February 27, 2013 1 Informal Logic Logic Rule 0. No unstated assumption may be used in a proof. 2 Theorems and Proofs If [hypothesis] then [conclusion]. LOGIC RULE 1. The following

### Congruences. Robert Friedman

Congruences Robert Friedman Definition of congruence mod n Congruences are a very handy way to work with the information of divisibility and remainders, and their use permeates number theory. Definition

### Analytic cohomology groups in top degrees of Zariski open sets in P n

Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction

### Ideal Class Group and Units

Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

### Quadratic Equations in Finite Fields of Characteristic 2

Quadratic Equations in Finite Fields of Characteristic 2 Klaus Pommerening May 2000 english version February 2012 Quadratic equations over fields of characteristic 2 are solved by the well known quadratic

### PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

### Linear Codes. In the V[n,q] setting, the terms word and vector are interchangeable.

Linear Codes Linear Codes In the V[n,q] setting, an important class of codes are the linear codes, these codes are the ones whose code words form a sub-vector space of V[n,q]. If the subspace of V[n,q]

### Factoring Cubic Polynomials

Factoring Cubic Polynomials Robert G. Underwood 1. Introduction There are at least two ways in which using the famous Cardano formulas (1545) to factor cubic polynomials present more difficulties than

### ISOMETRIES OF R n KEITH CONRAD

ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x

### Math 2331 Linear Algebra

2.2 The Inverse of a Matrix Math 2331 Linear Algebra 2.2 The Inverse of a Matrix Jiwen He Department of Mathematics, University of Houston jiwenhe@math.uh.edu math.uh.edu/ jiwenhe/math2331 Jiwen He, University

### Chapter 6. Orthogonality

6.3 Orthogonal Matrices 1 Chapter 6. Orthogonality 6.3 Orthogonal Matrices Definition 6.4. An n n matrix A is orthogonal if A T A = I. Note. We will see that the columns of an orthogonal matrix must be

### RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific

### Math 313 Lecture #10 2.2: The Inverse of a Matrix

Math 1 Lecture #10 2.2: The Inverse of a Matrix Matrix algebra provides tools for creating many useful formulas just like real number algebra does. For example, a real number a is invertible if there is

### On the representability of the bi-uniform matroid

On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large

### ORDERS OF ELEMENTS IN A GROUP

ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since

### calculating the result modulo 3, as follows: p(0) = 0 3 + 0 + 1 = 1 0,

Homework #02, due 1/27/10 = 9.4.1, 9.4.2, 9.4.5, 9.4.6, 9.4.7. Additional problems recommended for study: (9.4.3), 9.4.4, 9.4.9, 9.4.11, 9.4.13, (9.4.14), 9.4.17 9.4.1 Determine whether the following polynomials

### MATH32062 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,

### Definition 12 An alternating bilinear form on a vector space V is a map B : V V F such that

4 Exterior algebra 4.1 Lines and 2-vectors The time has come now to develop some new linear algebra in order to handle the space of lines in a projective space P (V ). In the projective plane we have seen

### THE FANO THREEFOLD X 10. This is joint work in progress with A. Iliev (Sofia) and L. Manivel (Grenoble).

THE FANO THREEFOLD X 10 OLIVIER DEBARRE This is joint work in progress with A. Iliev (Sofia) and L. Manivel (Grenoble). 1. Introduction A Fano variety is a (complex) projective manifold X with K X ample.

### Cryptography and Network Security. Prof. D. Mukhopadhyay. Department of Computer Science and Engineering. Indian Institute of Technology, Kharagpur

Cryptography and Network Security Prof. D. Mukhopadhyay Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Module No. # 01 Lecture No. # 12 Block Cipher Standards

### Mathematics Review for MS Finance Students

Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

### You know from calculus that functions play a fundamental role in mathematics.

CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.

### FIXED POINT SETS OF FIBER-PRESERVING MAPS

FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

### Similarity and Diagonalization. Similar Matrices

MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

### T ( a i x i ) = a i T (x i ).

Chapter 2 Defn 1. (p. 65) Let V and W be vector spaces (over F ). We call a function T : V W a linear transformation form V to W if, for all x, y V and c F, we have (a) T (x + y) = T (x) + T (y) and (b)

### The Characteristic Polynomial

Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem