Multiple Structures with Arbitrarily Large Projective Dimension
|
|
- Kathlyn Anthony
- 5 years ago
- Views:
Transcription
1 Multiple Structures with Arbitrarily Large Projective Dimension Jason McCullough (Joint w/craig Huneke, Paolo Mantero and Alexandra Seceleanu) October 5, 2013 AMS Sectional Meeting Special Session on Recent Advances in Commutative Algebra
2 Notation K = K an algebraically closed field
3 Notation K = K an algebraically closed field S a polynomial ring over K
4 Notation K = K an algebraically closed field S a polynomial ring over K S = i=0 S i is a standard graded ring, where S i = K-vector space of homogeneous degree i polynomials
5 Notation K = K an algebraically closed field S a polynomial ring over K S = i=0 S i is a standard graded ring, where S i = K-vector space of homogeneous degree i polynomials S( d) = rank one free module with generator in degree d (so S( d) i = S i d )
6 Notation K = K an algebraically closed field S a polynomial ring over K S = i=0 S i is a standard graded ring, where S i = K-vector space of homogeneous degree i polynomials S( d) = rank one free module with generator in degree d (so S( d) i = S i d ) I = (f 1,...,f t ) R a homogeneous ideal (i.e. each f j is in some R i )
7 Stillman s Question Question (Stillman) Is there a bound on the projective dimension of ideals in S = K[X 1,...,X n ] which are generated by N homogeneous polynomials of given degrees d 1,...,d N?
8 Stillman s Question Known cases: Easy cases: I = (f), I = (f,g), I = a monomial ideal.
9 Stillman s Question Known cases: Easy cases: I = (f), I = (f,g), I = a monomial ideal. Most general result: Yes, if char(k) 2,3 and all d i 4. (Ananyan-Hochster)
10 Stillman s Question Known cases: Easy cases: I = (f), I = (f,g), I = a monomial ideal. Most general result: Yes, if char(k) 2,3 and all d i 4. (Ananyan-Hochster) Tighter bounds:
11 Stillman s Question Known cases: Easy cases: I = (f), I = (f,g), I = a monomial ideal. Most general result: Yes, if char(k) 2,3 and all d i 4. (Ananyan-Hochster) Tighter bounds: pd(s/(3 quadrics) 4 and this bound is tight. (Eisenbud-Huneke)
12 Stillman s Question Known cases: Easy cases: I = (f), I = (f,g), I = a monomial ideal. Most general result: Yes, if char(k) 2,3 and all d i 4. (Ananyan-Hochster) Tighter bounds: pd(s/(3 quadrics) 4 and this bound is tight. (Eisenbud-Huneke) pd(s/(3 cubics) 36, likely not tight. (Engheta)
13 Stillman s Question Known cases: Easy cases: I = (f), I = (f,g), I = a monomial ideal. Most general result: Yes, if char(k) 2,3 and all d i 4. (Ananyan-Hochster) Tighter bounds: pd(s/(3 quadrics) 4 and this bound is tight. (Eisenbud-Huneke) pd(s/(3 cubics) 36, likely not tight. (Engheta) pd(s/(m quadrics of height 2)) 2m 2 and this bound is tight. (HMMS - Next!)
14 Stillman s Question Known cases: Easy cases: I = (f), I = (f,g), I = a monomial ideal. Most general result: Yes, if char(k) 2,3 and all d i 4. (Ananyan-Hochster) Tighter bounds: pd(s/(3 quadrics) 4 and this bound is tight. (Eisenbud-Huneke) pd(s/(3 cubics) 36, likely not tight. (Engheta) pd(s/(m quadrics of height 2)) 2m 2 and this bound is tight. (HMMS - Next!) pd(s/(4 quadrics)) 9.(6?). (HMMS)
15 An Approach to Stillman s Question Let I = (f,g,h).
16 An Approach to Stillman s Question Let I = (f,g,h). May assume ht(i) = ht(f,g) = 2. Get: 0 R I : h R (f,g) R I 0.
17 An Approach to Stillman s Question Let I = (f,g,h). May assume ht(i) = ht(f,g) = 2. Get: 0 R I : h R (f,g) R I Suffices to bound pd(r/(i : h)). 0.
18 An Approach to Stillman s Question Let I = (f,g,h). May assume ht(i) = ht(f,g) = 2. Get: 0 R I : h R (f,g) R I 0. Suffices to bound pd(r/(i : h)). Note: (I : h) has height 2 and multiplicity deg(f)deg(g).
19 An Approach to Stillman s Question New question: Question Is there a bound on the projective dimension of ideals in S = K[X 1,...,X n ] which are unmixed in terms of their height h and multiplicity e?
20 An Approach to Stillman s Question New question: Question Is there a bound on the projective dimension of ideals in S = K[X 1,...,X n ] which are unmixed in terms of their height h and multiplicity e? Yes, if h = 1, then pd(s/i) = 1.
21 An Approach to Stillman s Question New question: Question Is there a bound on the projective dimension of ideals in S = K[X 1,...,X n ] which are unmixed in terms of their height h and multiplicity e? Yes, if h = 1, then pd(s/i) = 1. Yes, if e = 1, then I is a linear prime and pd(s/i) = h.
22 An Approach to Stillman s Question New question: Question Is there a bound on the projective dimension of ideals in S = K[X 1,...,X n ] which are unmixed in terms of their height h and multiplicity e? Yes, if h = 1, then pd(s/i) = 1. Yes, if e = 1, then I is a linear prime and pd(s/i) = h. Yes, if h = e = 2...
23 Engheta s Classification of h = e = 2 unmixed ideals Proposition (Engheta) Let I S be a homogeneous unmixed ideal with ht(i) = e(s/i) = 2. Then pd(s/i) 3 and I is one of the following:
24 Engheta s Classification of h = e = 2 unmixed ideals Proposition (Engheta) Let I S be a homogeneous unmixed ideal with ht(i) = e(s/i) = 2. Then pd(s/i) 3 and I is one of the following: (x, q), q = irreducible quadric (prime)
25 Engheta s Classification of h = e = 2 unmixed ideals Proposition (Engheta) Let I S be a homogeneous unmixed ideal with ht(i) = e(s/i) = 2. Then pd(s/i) 3 and I is one of the following: (x, q), q = irreducible quadric (prime) (x,y) (x,z) = (x,yz)
26 Engheta s Classification of h = e = 2 unmixed ideals Proposition (Engheta) Let I S be a homogeneous unmixed ideal with ht(i) = e(s/i) = 2. Then pd(s/i) 3 and I is one of the following: (x, q), q = irreducible quadric (prime) (x,y) (x,z) = (x,yz) (w,x) (y,z) = (wy,wz,xy,xz) (intersection of linear primes)
27 Engheta s Classification of h = e = 2 unmixed ideals Proposition (Engheta) Let I S be a homogeneous unmixed ideal with ht(i) = e(s/i) = 2. Then pd(s/i) 3 and I is one of the following: (x, q), q = irreducible quadric (prime) (x,y) (x,z) = (x,yz) (w,x) (y,z) = (wy,wz,xy,xz) (intersection of linear primes) (x,y) 2 +(ax +by) such that ht(x,y,a,b) = 4
28 Engheta s Classification of h = e = 2 unmixed ideals Proposition (Engheta) Let I S be a homogeneous unmixed ideal with ht(i) = e(s/i) = 2. Then pd(s/i) 3 and I is one of the following: (x, q), q = irreducible quadric (prime) (x,y) (x,z) = (x,yz) (w,x) (y,z) = (wy,wz,xy,xz) (intersection of linear primes) (x,y) 2 +(ax +by) such that ht(x,y,a,b) = 4 (x,y 2 ) (primary)
29 Classification of Primes (minimal multiplicity) Theorem (Swinnerton-Dyer) Let p S be a homogeneous prime ideal with ht(p) = 2 and e(s/p) = 3. Then pd(s/i) = 2 and p is one of the following: (x,c), c = irreducible cubic (ux wv,uz yv,wz xy) (ux v 2,uz yv,vz xy) (wy x 2,wz xy,xz y 2 )
30 Manolache s Classification of CM Structures Theorem (Manolache) Let I S be homogeneous and primary to (x,y), Cohen-Macaulay on Spec(S) {m} with e(s/i) 4. Then I is one of the following: Multiplicity 2: (x,y 2 )
31 Manolache s Classification of CM Structures Theorem (Manolache) Let I S be homogeneous and primary to (x,y), Cohen-Macaulay on Spec(S) {m} with e(s/i) 4. Then I is one of the following: Multiplicity 2: (x,y 2 ) Multiplicity 3: (x 2,xy,y 2 ) (x,y 3 ) (x 2 +ay,y 2,xy) (ax 2 +c 2 (bx +cy),axy bc(bx +cy),ay 2 +b 2 (bx + cy),x(bx +cy),y(bx +cy),x 3,x 2 y,xy 2,y 3 )
32 Manolache s Classification of CM Structures (cont.) Theorem Multiplicity 4: (x 3,xy,y 2 ) (x 2 +y 2,xy) (x 2,y 2 ) (gx 2 fxy,hx 2 fy 2,hxy gy 2,x 3,x 2 y,xy 2,y 3 ), where ht(f,g,h) 2 (x,y 4 ) (x 3 +ay,y 2,xy) (x 2 +ay,y 2 ) (x 2 +xy +ay,y 2 ) (ax 3 +b(by+cx 2 ),axy c(by+cx 2 ),y 2,x 4,x 2 y,x(by+cx 2 )), where ht(a,b,c) 2
33 Similar Classification for Unmixed ideals? ht / e:
34 Similar Classification for Unmixed ideals? ht / e:
35 Main Result Theorem (Huneke-Mantero-M-Seceleanu) Let K be an algebraically closed field. For any integers h,e 2 with (h,e) (2,2) and for any integer p, there exists a primary (unmixed) ideal I = I h,e,p in a polynomial ring S with ht(i) = h e(s/i) = e I = (x1,x 2,...,x h ) pd(s/i) p.
36 Main Result Theorem (Huneke-Mantero-M-Seceleanu) Let K be an algebraically closed field. For any integers h,e 2 with (h,e) (2,2) and for any integer p, there exists a primary (unmixed) ideal I = I h,e,p in a polynomial ring S with ht(i) = h e(s/i) = e I = (x1,x 2,...,x h ) pd(s/i) p. Method: Direct construction of 4 unmixed ideals with fixed resolution. Use linkage to construct ideals in the main result.
37 Tools Theorem (Buchsbaum-Eisenbud) Let F be a complex free S-modules of finite rank d F : F 1 d 0 2 d F1 3 d p F2 F p 0. Set r j = p i=j ( 1)p i rankf i. Then F is a resolution of M := Coker(d 1 ) if and only if ht(i rj (d j )) j for all j = 1,...,p.
38 Tools As a corollary: Proposition Using the notation from the previous theorem, suppose F is a minimal free resolution of M. Then M satisfies Serre s condition (S k ) if and only if ht(i rj (d j )) min{dim(s),j+k} for all j = codim(m)+1,...,p.
39 Proof Sketch Proposition Suppose f,g,h S d for some d 1 such that ht(x,y,f,g,h) 4. Let L = (x,y) 3 +(y 2 f +xyg +x 2 h). Then L is (x,y)-primary, e(s/l) = 5 and S/L has the following free resolution: R d 1 R 5 d 2 R 5 d 3 R 0, where d 3 = h g f y x.
40 Proof Sketch Step 1: Note pd(ker(d 3)) = pd(ker(h,g,f, y,x)) = pd(s/(x,y,f,g,h)) 2 = BIG.
41 Proof Sketch Step 1: Note pd(ker(d 3)) = pd(ker(h,g,f, y,x)) = pd(s/(x,y,f,g,h)) 2 = BIG. Step 2: Set I = (x i,y j ) : L, where i,j 3. Then ht(i) = 2 e(s/i) = ij 5
42 Proof Sketch Step 1: Note pd(ker(d 3)) = pd(ker(h,g,f, y,x)) = pd(s/(x,y,f,g,h)) 2 = BIG. Step 2: Set I = (x i,y j ) : L, where i,j 3. Then ht(i) = 2 e(s/i) = ij 5 Step 3: 0 Im(d 2) Ker(d 3) Ext 2 S(S/L,S) 0
43 Proof Sketch Step 1: Note pd(ker(d 3)) = pd(ker(h,g,f, y,x)) = pd(s/(x,y,f,g,h)) 2 = BIG. Step 2: Set I = (x i,y j ) : L, where i,j 3. Then ht(i) = 2 e(s/i) = ij 5 Step 3: 0 Im(d 2) Ker(d 3) Ext 2 S(S/L,S) 0 pd : 1
44 Proof Sketch Step 1: Note pd(ker(d 3)) = pd(ker(h,g,f, y,x)) = pd(s/(x,y,f,g,h)) 2 = BIG. Step 2: Set I = (x i,y j ) : L, where i,j 3. Then ht(i) = 2 e(s/i) = ij 5 Step 3: 0 Im(d 2) Ker(d 3) Ext 2 S(S/L,S) 0 pd : 1 BIG
45 Proof Sketch Step 1: Note pd(ker(d 3)) = pd(ker(h,g,f, y,x)) = pd(s/(x,y,f,g,h)) 2 = BIG. Step 2: Set I = (x i,y j ) : L, where i,j 3. Then ht(i) = 2 e(s/i) = ij 5 Step 3: 0 Im(d 2) Ker(d 3) Ext 2 S(S/L,S) 0 pd : 1 BIG BIG
46 Proof Sketch Step 4: Ext 2 S(S/L,S) = I/(x i,y j )
47 Proof Sketch Step 4: Ext 2 S(S/L,S) = I/(x i,y j ) Step 5: 0 I/(x i,y j ) S/(x i,y j ) S/I 0
48 Proof Sketch Step 4: Ext 2 S(S/L,S) = I/(x i,y j ) Step 5: 0 I/(x i,y j ) S/(x i,y j ) S/I 0 pd : 2
49 Proof Sketch Step 4: Ext 2 S(S/L,S) = I/(x i,y j ) Step 5: 0 I/(x i,y j ) S/(x i,y j ) S/I 0 pd : BIG 2
50 Proof Sketch Step 4: Ext 2 S(S/L,S) = I/(x i,y j ) Step 5: 0 I/(x i,y j ) S/(x i,y j ) S/I 0 pd : BIG 2 BIG +1
51 Proof Sketch Step 6: Proposition If I,I are unmixed and in the same even linkage class (e.g. I = (x) : L,I = (x ) : L), then pd(s/i) = pd(s/i ).
52 An Example To construct an unmixed ideal I, with I = (x,y) e(s/i) = 17 pd(s/i) = 11
53 An Example To construct an unmixed ideal I, with I = (x,y) Take: e(s/i) = 17 pd(s/i) = 11 I = (x 7,x 4 ) : [ ( )] (x 5,x 3 ) : (x 3,y 3 ) : L,
54 An Example To construct an unmixed ideal I, with I = (x,y) Take: where e(s/i) = 17 pd(s/i) = 11 I = (x 7,x 4 ) : [ ( )] (x 5,x 3 ) : (x 3,y 3 ) : L, f = a 8, g = b 8, h = a 7 z 1 +a 6 bz 2 + +b 7 z 8.
55 An Example To construct an unmixed ideal I, with I = (x,y) Take: where e(s/i) = 17 pd(s/i) = 11 I = (x 7,x 4 ) : [ ( )] (x 5,x 3 ) : (x 3,y 3 ) : L, f = a 8, g = b 8, h = a 7 z 1 +a 6 bz 2 + +b 7 z 8. Note: I has several hundred generators.
56 Linkage Structure x 4,y n+3 I 2,7+4n,p L x 3,y 3 x 4,y 3 I 2,4,p L 2,8,p 1 x 5,y 3 x 4+n,y 4 I 2,8+4n,p L 2,11,p 1 x 6,y 3 x 5+n,y 4 I 2,9+4n,p L 2,14,p 1 x 6+n,y 4 I 2,10+4n,p
57 Final Questions Question Is there a finite classification for unmixed ideals of a given height h, given multiplicity e and generated in at most some degree d?
58 Final Questions Question Is there a finite classification for unmixed ideals of a given height h, given multiplicity e and generated in at most some degree d? Yes for (h,e,d) = (2,3,3) or (3,2,2).
59 Final Questions Question Is there a finite classification for unmixed ideals of a given height h, given multiplicity e and generated in at most some degree d? Yes for (h,e,d) = (2,3,3) or (3,2,2). Recall unmixed Serre s S 1 condition. So...
60 Final Questions Question Is there a finite classification for unmixed ideals of a given height h, given multiplicity e and generated in at most some degree d? Yes for (h,e,d) = (2,3,3) or (3,2,2). Recall unmixed Serre s S 1 condition. So... Question Is there a finite classification for S 2 ideals of a given height h and given multiplicity e?
61 Final Questions Question Is there a finite classification for unmixed ideals of a given height h, given multiplicity e and generated in at most some degree d? Yes for (h,e,d) = (2,3,3) or (3,2,2). Recall unmixed Serre s S 1 condition. So... Question Is there a finite classification for S 2 ideals of a given height h and given multiplicity e? Open even for (h,e) = (2,3).
62 Reference: Thank you! C Huneke, P. Mantero, J. McCullough and A. Seceleanu. Multiple structures with arbitrarily large projective dimension supported on linear subspaces. submitted. arxiv:1301:4147
BOUNDING PROJECTIVE DIMENSION
BOUNDING PROJECTIVE DIMENSION JASON McCULLOUGH AND ALEXANDRA SECELEANU 1. Introduction The use of algorithms in algebra as well as the study of their complexity was initiated before the advent of modern
More informationTHE PROJECTIVE DIMENSION OF THREE CUBICS IS AT MOST 5
THE PROJECTIVE DIMENSION OF THREE CUBICS IS AT MOST 5 PAOLO MANTERO AND JASON MCCULLOUGH Abstract. Let R be a polynomial ring over a field and I an ideal generated by three forms of degree three. Motivated
More informationREGULARITY OF PRIME IDEALS
REGULARITY OF PRIME IDEALS GIULIO CAVIGLIA, JASON MCCULLOUGH, IRENA PEEVA, AND MATTEO VARBARO Abstract. We answer some natural questions which arise from the recent paper [MP] of McCullough and Peeva providing
More informationJ A S O N M C C U L L O U G H S T I L L M A N S Q U E S T I O N A N D T H E E I S E N B U D - G O T O C O N J E C T U R E
J A S O N M C C U L L O U G H S T I L L M A N S Q U E S T I O N A N D T H E E I S E N B U D - G O T O C O N J E C T U R E Copyright 2017 Jason McCullough tufte-latex.googlecode.com This work is licensed
More informationMatrix Factorizations. Complete Intersections
Matrix Factorizations for Complete Intersections Irena Peeva (Cornell University) Linear Algebra: Vector Spaces finite dimensional over a Field e.g. C tool: basis Algebra: Modules finitely generated over
More informationTIGHT 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 informationIdeals of three dimensional Artin-Schelter regular algebras. Koen De Naeghel Thesis Supervisor: Michel Van den Bergh
Ideals of three dimensional Artin-Schelter regular algebras Koen De Naeghel Thesis Supervisor: Michel Van den Bergh February 17, 2006 Polynomial ring Put k = C. Commutative polynomial ring S = k[x, y,
More informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationTHE RING OF POLYNOMIALS. Special Products and Factoring
THE RING OF POLYNOMIALS Special Products and Factoring Special Products and Factoring Upon completion, you should be able to Find special products Factor a polynomial completely Special Products - rules
More information1 Hilbert function. 1.1 Graded rings. 1.2 Graded modules. 1.3 Hilbert function
1 Hilbert function 1.1 Graded rings Let G be a commutative semigroup. A commutative ring R is called G-graded when it has a (weak direct sum decomposition R = i G R i (that is, the R i are additive subgroups,
More informationPrimary Decompositions of Powers of Ideals. Irena Swanson
Primary Decompositions of Powers of Ideals Irena Swanson 2 Department of Mathematics, University of Michigan Ann Arbor, Michigan 48109-1003, USA iswanson@math.lsa.umich.edu 1 Abstract Let R be a Noetherian
More informationHypergraphs and Regularity of Square-free Monomial Ideals
Hypergraphs and Regularity of Square-free Monomial Ideals Jason McCullough (Joint w/kuei-nuan Lin) MSRI Rider University January 9, 2013 Joint AMS-MAA Math Meetings Special Session in Commutative Algebra
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationLESSON 7.1 FACTORING POLYNOMIALS I
LESSON 7.1 FACTORING POLYNOMIALS I LESSON 7.1 FACTORING POLYNOMIALS I 293 OVERVIEW Here s what you ll learn in this lesson: Greatest Common Factor a. Finding the greatest common factor (GCF) of a set of
More informationThe Mountaintop Guru of Mathematics
The Mountaintop Guru of Mathematics New Directions in Boij-Söderberg Theory The cone of Betti diagrams over a hypersurface ring of low embedding dimension Courtney Gibbons University of Nebraska Lincoln
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationarxiv: v2 [math.ag] 18 Jul 2017
IDEAL CONTAINMENTS UNDER FLAT EXTENSIONS SOLOMON AKESSEH arxiv:1512.08053v2 [math.ag] 18 Jul 2017 Abstract. Let ϕ : S = k[y 0,...,y n ] R = k[y 0,...,y n ] be given by y i f i where f 0,...,f n is an R-regular
More informationThe Pythagoras numbers of projective varieties.
The Pythagoras numbers of projective varieties. Grigoriy Blekherman (Georgia Tech, USA) Rainer Sinn (FU Berlin, Germany) Gregory G. Smith (Queen s University, Canada) Mauricio Velasco (Universidad de los
More informationLECTURE 10, MONDAY MARCH 15, 2004
LECTURE 10, MONDAY MARCH 15, 2004 FRANZ LEMMERMEYER 1. Minimal Polynomials Let α and β be algebraic numbers, and let f and g denote their minimal polynomials. Consider the resultant R(X) of the polynomials
More informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
More informationREGULARITY OF PRIME IDEALS
REGULARITY OF PRIME IDEALS GIULIO CAVIGLIA, MARC CHARDIN, JASON MCCULLOUGH, IRENA PEEVA, AND MATTEO VARBARO Abstract. We answer several natural questions which arise from the recent paper [MP] of McCullough
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More informationIDEALS AND THEIR INTEGRAL CLOSURE
IDEALS AND THEIR INTEGRAL CLOSURE ALBERTO CORSO (joint work with C. Huneke and W.V. Vasconcelos) Department of Mathematics Purdue University West Lafayette, 47907 San Diego January 8, 1997 1 SETTING Let
More informationNoncommutative invariant theory and Auslander s Theorem
Noncommutative invariant theory and Auslander s Theorem Miami University Algebra Seminar Robert Won Wake Forest University Joint with Jason Gaddis, Ellen Kirkman, and Frank Moore arxiv:1707.02822 November
More informationm-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p
m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p JANET C. VASSILEV Abstract. We generalize the notion of m- full and basically full ideals in the setting of tight closure and demonstrate some
More informationarxiv: v2 [math.ac] 2 Jul 2017
HUNEKE S DEGREE-COMPUTING PROBLEM MOHSEN ASGHARZADEH ABSTRACT. We deal with a problem posted by Huneke on the degree of generators of symbolic powers. arxiv:1609.04323v2 [math.ac] 2 Jul 2017 1. INTRODUCTION
More informatione socle degrees 0 2: 1 1 4: 7 2 9: : : 12.
Socle degrees of Frobenius powers Lecture January 8, 26 talk by A. Kustin I will talk about recent joint work with Adela Vraciu. A preprint is available if you want all of the details. I will only talk
More informationBoij-Söderberg Theory
? September 16, 2013 Table of contents? 1? 2 3 4 5 6 Preface? In this presentation we try to give an outline on a new theory on free resolutions. This theory is named after two Swedish mathematicians Mats
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationA FORMULA FOR THE -core OF AN IDEAL
A FORMULA FOR THE -core OF AN IDEAL LOUIZA FOULI, JANET C. VASSILEV, AND ADELA N. VRACIU Abstract. Expanding on the work of Fouli and Vassilev [FV], we determine a formula for the -core for ideals in two
More informationVANISHING THEOREMS FOR COMPLETE INTERSECTIONS. Craig Huneke, David A. Jorgensen and Roger Wiegand. August 15, 2000
VANISHING THEOREMS FOR COMPLETE INTERSECTIONS Craig Huneke, David A. Jorgensen and Roger Wiegand August 15, 2000 The starting point for this work is Auslander s seminal paper [A]. The main focus of his
More informationTHREE THEMES OF SYZYGIES
March 2016 THREE THEMES OF SYZYGIES GUNNAR FLØYSTAD, JASON MCCULLOUGH, AND IRENA PEEVA Abstract. We present three exciting themes of syzygies, where major progress was made recently: Boij-Söderberg Theory,
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationModules, ideals and their. Rees algebras
Modules, ideals and their Rees algebras Santiago Zarzuela University of Barcelona Conference on Commutative, Combinatorial and Computational Algebra In Honour to Pilar Pisón-Casares Sevilla, February 11-16,
More informationMATH 690 NOTES. 1. Associated graded rings
MATH 690 NOTES 1. Associated graded rings Question 1.1. Let G = k[g 1 ] = n 0 G n be a one-dimensional standard graded ring over the field k = G 0. What are necessary and sufficient conditions in order
More informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Joint with Ellen Kirkman, W. Frank Moore, Robert Won Invariant Theory Throughout,
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
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 UFD. Therefore
More informationComputing syzygies with Gröbner bases
Computing syzygies with Gröbner bases Steven V Sam July 2, 2008 1 Motivation. The aim of this article is to motivate the inclusion of Gröbner bases in algebraic geometry via the computation of syzygies.
More informationm-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 2, 2014 m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p JANET C. VASSILEV ABSTRACT. We generalize the notion of m-full and basically
More informationTHE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE
JOURNAL OF COMMUTATIVE ALGEBRA Volume 8, Number 4, Winter 2016 THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE IULIA GHEORGHITA AND STEVEN V SAM ABSTRACT. We describe the cone of
More informationThe Waldschmidt constant for squarefree monomial ideals
The Waldschmidt constant for squarefree monomial ideals Alexandra Seceleanu (joint with C. Bocci, S. Cooper, E. Guardo, B. Harbourne, M. Janssen, U. Nagel, A. Van Tuyl, T. Vu) University of Nebraska-Lincoln
More informationHandout - Algebra Review
Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much
More information2 Lyubeznik proved that if R contains a eld of characteristic 0, and R is any regular K-algebra then the set of associated primes is nite [Ly1]. Later
RESEARCH STATEMENT Julian Chan My research interests include algebra, algebraic geometry, and invariant theory. I have also done some research in statistics, and will be receiving a masters of statistics
More informationarxiv: v2 [math.ac] 18 Oct 2018
A NOTE ON LINEAR RESOLUTION AND POLYMATROIDAL IDEALS arxiv:1810.07582v2 [math.ac] 18 Oct 2018 AMIR MAFI AND DLER NADERI Abstract. Let R = K[x 1,..., x n] be the polynomial ring in n variables over a field
More informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.
More information1. A polynomial p(x) in one variable x is an algebraic expression in x of the form
POLYNOMIALS Important Points 1. A polynomial p(x) in one variable x is an algebraic expression in x of the form p(x) = a nx n +a n-1x n-1 + a 2x 2 +a 1x 1 +a 0x 0 where a 0, a 1, a 2 a n are constants
More informationA NOTE ON BASIC FREE MODULES AND THE S n CONDITION. 1 Introduction
PORTUGALIAE MATHEMATICA Vol. 63 Fasc.4 2006 Nova Série A NOTE ON BASIC FREE MODULES AND THE S n CONDITION Agustín Marcelo, Félix Marcelo and César Rodríguez Abstract: A new definition of basic free submodule
More informationIRREDUCIBILITY OF ELLIPTIC CURVES AND INTERSECTION WITH LINES.
IRREDUCIBILITY OF ELLIPTIC CURVES AND INTERSECTION WITH LINES. IAN KIMING 1. Non-singular points and tangents. Suppose that k is a field and that F (x 1,..., x n ) is a homogeneous polynomial in n variables
More informationPolynomial Rings. i=0. i=0. n+m. i=0. k=0
Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients
More informationarxiv: v2 [math.ac] 25 Apr 2011
A FINITENESS CONDITION ON LOCAL COHOMOLOGY IN POSITIVE CHAACTEISTIC FLOIAN ENESCU arxiv:1101.4907v2 [math.ac] 25 Apr 2011 Abstract. In this paper we present a condition on a local Cohen-Macaulay F-injective
More informationMAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016
MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton Timothy J. Ford April 4, 2016 FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FLORIDA 33431 E-mail address: ford@fau.edu
More informationON A CONJECTURE BY KALAI
ISRAEL JOURNAL OF MATHEMATICS 00 (XXXX), 1 5 DOI: 10.1007/s000000000000000000000000 ON A CONJECTURE BY KALAI BY Giulio Caviglia Department of Mathematics, Purdue University 150 N. University Street, West
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More informationSuppose A h is a flat family of non-commutative algebras, such that A 0 is commutative.
Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Then A 0 has an additional
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationIDEALS GENERATED BY QUADRATIC POLYNOMIALS. Tigran Ananyan and Melvin Hochster
Math. Res. Lett. 19 (2012), no. 01, 233 244 c International Press 2012 IDEALS GENERATED BY QUADRATIC POLYNOMIALS Tigran Ananyan and Melvin Hochster Abstract. Let R be a polynomial ring in N variables over
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationAPPLICATIONS OF LOCAL COHOMOLOGY
APPLICATIONS OF LOCAL COHOMOLOGY TAKUMI MURAYAMA Abstract. Local cohomology was discovered in the 960s as a tool to study sheaves and their cohomology in algebraic geometry, but have since seen wide use
More informationNUMERICAL MACAULIFICATION
NUMERICAL MACAULIFICATION JUAN MIGLIORE AND UWE NAGEL Abstract. An unpublished example due to Joe Harris from 1983 (or earlier) gave two smooth space curves with the same Hilbert function, but one of the
More informationreview To find the coefficient of all the terms in 15ab + 60bc 17ca: Coefficient of ab = 15 Coefficient of bc = 60 Coefficient of ca = -17
1. Revision Recall basic terms of algebraic expressions like Variable, Constant, Term, Coefficient, Polynomial etc. The coefficients of the terms in 4x 2 5xy + 6y 2 are Coefficient of 4x 2 is 4 Coefficient
More informationPractice problems for first midterm, Spring 98
Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.
More informationarxiv:math/ v1 [math.ac] 15 Sep 2002
arxiv:math/0209186v1 [math.ac] 15 Sep 2002 A SIMPLE PROOF OF SOME GENERALIZED PRINCIPAL IDEAL THEOREMS DAVID EISENBUD, CRAIG HUNEKE, AND BERND ULRICH Abstract. Using symmetric algebras we simplify (and
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More information8. 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 informationSecant 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 informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationGENERATING FUNCTIONS ASSOCIATED TO FROBENIUS ALGEBRAS
GENERATING FUNCTIONS ASSOCIATED TO FROBENIUS ALGEBRAS JOSEP ÀLVAREZ MONTANER Abstract. We introduce a generating function associated to the homogeneous generators of a graded algebra that measures how
More informationD-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.
More informationAlgebraic Expressions
Algebraic Expressions 1. Expressions are formed from variables and constants. 2. Terms are added to form expressions. Terms themselves are formed as product of factors. 3. Expressions that contain exactly
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationAlgorithms for Tensor Decomposition via Numerical Homotopy
Algorithms for Tensor Decomposition via Numerical Homotopy Session on Algebraic Geometry of Tensor Decompositions August 3, 2013 This talk involves joint work and discussions with: Hirotachi Abo Dan Bates
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationwhere c R and the content of f is one. 1
9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.
More informationGraded maximal Cohen-Macaulay modules over. Noncommutative graded Gorenstein isolated singularities. Kenta Ueyama. ICRA XV, Bielefeld, August 2012
Graded maximal Cohen-Macaulay modules over noncommutative graded Gorenstein isolated singularities Shizuoka University, Japan ICRA XV, Bielefeld, August 2012 Notations Throughout this talk, k : an algebraically
More informationarxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach
EXTENSION OF WEAKLY AND STRONGLY F-REGULAR RINGS BY FLAT MAPS arxiv:math/0209251v1 [math.ac] 19 Sep 2002 Ian M. Aberbach 1. Introduction Throughout this paper all rings will be Noetherian of positive characteristic
More informationHILBERT FUNCTIONS. 1. Introduction
HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each
More informationE. GORLA, J. C. MIGLIORE, AND U. NAGEL
GRÖBNER BASES VIA LINKAGE E. GORLA, J. C. MIGLIORE, AND U. NAGEL Abstract. In this paper, we give a sufficient condition for a set G of polynomials to be a Gröbner basis with respect to a given term-order
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationCONSTRUCTIONS OF GORENSTEIN RINGS
CONSTRUCTIONS OF GORENSTEIN RINGS GUNTRAM HAINKE AND ALMAR KAID 1. Introduction This is a summary of the fourth tutorial handed out at the CoCoA summer school 2005. We discuss two well known methods of
More informationMAT4210 Algebraic geometry I: Notes 2
MAT4210 Algebraic geometry I: Notes 2 The Zariski topology and irreducible sets 26th January 2018 Hot themes in notes 2: The Zariski topology on closed algebraic subsets irreducible topological spaces
More informationNEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS
NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More information4.1 Primary Decompositions
4.1 Primary Decompositions generalization of factorization of an integer as a product of prime powers. unique factorization of ideals in a large class of rings. In Z, a prime number p gives rise to a prime
More informationAn introduction to Hodge algebras
An introduction to Hodge algebras Federico Galetto May 28, 2009 The Grassmannian Let k be a field, E a k-vector space of dimension m Define Grass(n, E) := {V E dim V = n} If {e 1,, e m } is a basis of
More informationIMMERSE 2008: Assignment 4
IMMERSE 2008: Assignment 4 4.) Let A be a ring and set R = A[x,...,x n ]. For each let R a = A x a...xa. Prove that is an -graded ring. a = (a,...,a ) R = a R a Proof: It is necessary to show that (a)
More informationZ-graded noncommutative projective geometry Algebra Seminar
Z-graded noncommutative projective geometry Algebra Seminar Robert Won University of California, San Diego November 9, 2015 1 / 43 Overview 1 Preliminaries Pre-talk catchup Noncommutative things 2 Noncommutative
More informationTHE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley
THE ASSOCATED PRMES OF LOCAL COHOMOLOGY MODULES OVER RNGS OF SMALL DMENSON Thomas Marley Abstract. Let R be a commutative Noetherian local ring of dimension d, an ideal of R, and M a finitely generated
More informationUNMIXED LOCAL RINGS WITH MINIMAL HILBERT-KUNZ MULTIPLICITY ARE REGULAR
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 UNMIXED LOCAL RINGS WITH MINIMAL HILBERT-KUNZ MULTIPLICITY ARE REGULAR CRAIG HUNEKE AND YONGWEI
More informationCellular Binomial Ideals. Primary Decomposition of Binomial Ideals
J. Symbolic Computation (2000) 30, 383 400 doi:10.1006/jsco.1999.0413 Available online at http://www.idealibrary.com on Cellular Binomial Ideals. Primary Decomposition of Binomial Ideals IGNACIO OJEDA
More informationCommutative Algebra II
Commutative Algebra II Craig Huneke 1 February 13, 2012 1 Notes taken by Scot Pruyn, Alessandro De Stefani, and Branden Stone in the Spring of 2011 at the University of Kansas Contents 1 Regular Local
More informationDeviations of graded algebras
Deviations of graded algebras Alessio D Alì (joint work with A. Boocher, E. Grifo, J. Montaño, and A. Sammartano) Università degli Studi di Genova October 9th, 2015 Alessio D Alì (U. Genova) Deviations
More informationPermutations and Polynomials Sarah Kitchen February 7, 2006
Permutations and Polynomials Sarah Kitchen February 7, 2006 Suppose you are given the equations x + y + z = a and 1 x + 1 y + 1 z = 1 a, and are asked to prove that one of x,y, and z is equal to a. We
More informationTheorem 6.1 The addition defined above makes the points of E into an abelian group with O as the identity element. Proof. Let s assume that K is
6 Elliptic curves Elliptic curves are not ellipses. The name comes from the elliptic functions arising from the integrals used to calculate the arc length of ellipses. Elliptic curves can be parametrised
More informationA degree bound for codimension two lattice ideals
Journal of Pure and Applied Algebra 18 (003) 01 07 www.elsevier.com/locate/jpaa A degree bound for codimension two lattice ideals Leah H. Gold Department of Mathematics, Texas A& M University, College
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationLocal properties of plane algebraic curves
Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying
More informationTHE FROBENIUS FUNCTOR AND INJECTIVE MODULES
THE FOBENIUS FUNCTO AND INJECTIVE MODULES THOMAS MALEY Abstract. We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again
More informationarxiv: v1 [math.ac] 8 Jun 2012
DECOMPOSITION OF MONOMIAL ALGEBRAS: APPLICATIONS AND ALGORITHMS JANKO BÖHM, DAVID EISENBUD, AND MAX J. NITSCHE arxiv:1206.1735v1 [math.ac] 8 Jun 2012 Abstract. Considering finite extensions K[A] K[B] of
More information