Modules, ideals and their. Rees algebras
|
|
- Britton Griffin
- 5 years ago
- Views:
Transcription
1 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, Joint work with Ana L. Branco Correia, Lisbon 1
2 1.- The Rees algebra of a module Let (R, m) be a commutative noetherian, local ring of dimension d. G a finitely generated free R-module of rank e > 0. E a submodule of G: E G R e. This embedding induces a natural morphism of graded R-algebras between the symmetric algebra of E and the symmetric algebra of G, which is a polynomial ring over R in e variables: Φ : Sym R (E) Sym R (G) R[t 1,..., t e ] 2
3 Definition The Rees algebra of E is the image of Sym R (E) by Φ: R(E) := Φ(Sym R (E)) Since Φ is a graded morphism we have that R(E) = n 0 Φ n (Sym n R (E)) Definition The n-th Rees power of E is the homogeneous n-th component of the Rees algebra of E E n := Φ n (Sym n R (E)) 3
4 R(E) = n 0 E n, and E = E 1 generates R(E) over R. E n G n (R[t 1,..., t e ]) n R (n+e 1 e 1 ). Remark. This definition depends on the chosen embedding of E into G: Under slightly more general hypothesis, the definition of the Rees algebra of a module goes back to A. Micali, 1964 in the frame of his study of the general properties of the universal algebras. A more recent discussion about what is the Rees algebra of a module has been done by Eisenbud-Huneke-Ulrich,
5 Remark. If in addition E has rank, then Ker Φ = T R (Sym(E)) and so R(E) Sym R (E)/T R (Sym R (E)) E n Sym n R (E)/T R(Sym n R (E)) So from now on we are going to assume that E a finitely generated torsionfree R-module having rank e > 0. In this case, there exists an embedding E G R e 5
6 When G/E is of finite length the study of the asymptotic behavior of the quotients G n /E n is due to Buchsbaum-Rim, 1964: They showed that for n 0, the length λ R (G n /E n ) assumes the values of a polynomial in n of degree d + e 1: The Buchsbaum-Rim polynomial of E. The normalized leading coefficient of this polynomial is then known as the Buchsbaum-Rim multiplicity of E: br (E). 6
7 2.- Integral closure and reductions of modules Since R(E) R[t 1,..., t e ] we may consider the integral closure R(E) of R(E) in R[t 1,..., t e ] which is a graded ring: Definition R(E) = n 0 R(E) n We call E := R(E) 1 G the integral closure of E. Let U E G an R-submodule of E. Definition We say that U is a reduction of E if E n+1 = UE n for some n. Equivalently, U is a reduction of E if, and only if, U = E. 7
8 The theory of reductions and integral closure of modules was introduced by D. Rees in Later on, it was somehow rediscovered by T. Gaffney in 1992 who used the Buchsbaum- Rim multiplicity and the theory of integral closure of modules in the study of isolated complete intersection singularities (ICIS), extending B. Teissier s work on Whitney s regularity condition, If U is a reduction of E and G/E is of finite length then G/U is also of finite length and so one can compute the Buchsbaum-Rim multiplicity of U. One then can see that br(u) = br(e) 8
9 The following result is the extension to modules of a well known criteria by D. Rees. Theorem (Kirby-Rees 1994; Kleiman-Thorup, 1994) Assume that R is quasi-unmixed. Let U E G be such that G/U is of finite length. Then, U is a reduction of E if, and only if, br(u) = br(e). This result may be extended by using the notion of equimultiplicity. 9
10 Let F(E) := R(E)/mR(E), the fiber cone of E. Definition We call the dimension of the fiber cone of E the analytic spread of E: l(e) := dim F(E) Assume that in addition E has rank e. Definition We say that E is equimultiple if l(e) = ht F e (E) + e 1 where F e (E) is the e-th Fitting ideal of E. 10
11 With these definitions the following result may be viewed as an extension to modules of a result by E. Böger. Theorem (D. Katz, 1995) Let R be quasi-unmixed and U E G R e R-modules with rank e such that F e (U) and F e (E) have the same radical. Assume that U is equimultiple. The following conditions are then equivalent: (i) U is a reduction of E. (ii) br(u p ) = br(e p ) for all p Min F e (U). 11
12 3.- Minimal reductions Let U E be a reduction of E. Definition The least integer r such that E r+1 = UE r is called the reduction number of E with respect to U, and it is denoted by r U (E). Definition U is said to be a minimal reduction of E if it is minimal with respect to inclusion among the reductions of E. Minimal reductions always exist and they satisfy good properties (similarly to the case of ideals). 12
13 Proposition Let U E be a reduction of E. Then: (a) There always exists V U which is a minimal reduction of E, and for any minimal reduction V U, µ(u) µ(v ) l(e). (b) V E is a reduction with µ(v ) = l(e) if, and only if, any minimal system of generators of V is a homogeneous system of parameters of F(E) (after taking residue classes in E/mE F(E)). In this case, V is a minimal reduction of E. (c) If the residue field R/m is infinite and V E is a minimal reduction, then condition (b) always holds, V n me n = mv n for all n 0 and F(V ) F(E) is a Noether normalization 13
14 Definition The reduction number of E: r(e) is the minimum of r U (E) where U ranges over all minimal reductions of E. - If E is a module of linear type, that is, if R(E) = Sym(E) then r(e) = 0. The folllowing lower and upper bounds for l(e) were proven by Simis-Ulrich-Vasconcelos, 2003: e l(e) d + e 1 - l(e) = e if, and only if, any minimal reduction of E is a free R-module. 14
15 4.- Ideal modules What can be said about Supp G/E? We would like to realize this set as the variety of some special ideal. Observe first that any reduction U of E has also rank e. Proposition Assume grade G/E 2. Then V (F e (U)) = V (F e (E)) = Supp G/E = Supp G/U for any reduction U of E. Definition We call E an ideal module if grade G/E 2 15
16 In fact, this is one of the various equivalent conditions in Simis-Ulrich-Vasconcelos, 2003 to define ideal modules: - E is an ideal module if E is free. We note that the definition of ideal module is intrinsic, but the condition grade G/E 2 is not and depends on the embedding of E into G. Ideal modules satisfy some good properties. In particular the following lower bound for the analytic spread: Proposition Let E be an ideal module. Then, e + 1 ht F e (E) + e 1 l(e) 16
17 Modules with finite colength are ideal modules with maximal analytic spread. Proposition Assume that depth R 2. The following conditions are then equivalent: (i) dim G/E = 0; (ii) E is free locally in the punctured spectrum and grade G/E 2. In this case, l(e) = d + e 1 = ht F e (E) + e 1 For instance, if R is Cohen-Macaulay of dimension 2 any ideal module is locally free in the punctured spectrum. 17
18 5.- Deviation and analytic deviation Assume that E is an ideal module but not free. We define: - The deviation of E by d(e) := µ(e) e + 1 ht F e (E) - The analytic deviation of E by ad(e) := l(e) e + 1 ht F e (E) If E is an ideal module then d(e) ad(e) 0 (These definitions slightly differ from similar ones by Ulrich-Simis-Vasconcelos, 2003) 18
19 Definition We say that E is 1. a complete intersection if d(e) = 0, 2. equimultiple if ad(e) = 0, 3. generically a complete intersection if µ(e p ) = ht F e (E) + e 1 for all p Min R/F e (E). Complete intersection modules were defined by Buchsbaum-Rim, 1962 in the case of finite colength as parameter modules. More in general, Katz-Naude, 1995 studied them under the classical name of modules of the principal class. 19
20 The following is a simple example of complete intersection module of rank two and not free: Let R = K[[x, y]]. Let G = R 2 = Re 1 Re 2. Then, E = xe 1, ye 1 + xe 2, ye 2 G is a complete intersection module of rank 2. In this case, F 2 (E) = (0 : R G/E) = (x, y) 2 20
21 There is a list of basic properties satisfied by complete intersection and equimultiple modules. For instance, (1) If E is a complete intersection then E is equimultiple and generically a complete intersection. (2) If R/m is infinite, then E is equimultiple if, and only if, every minimal reduction U of E is a a complete intersection. Now we may extend to modules some criteria for an equimultiple module to be a complete intersection. The first one extends a similar result for ideals by Eisenbud-Herrmann- Vogel,
22 Theorem Let R be a Cohen-Macaulay ring and E a non-free ideal module having rank e > 0. Suppose that E is generically a complete intersection. Then E is a complete intersection if and only if E is equimultiple. We also have the following version of the famous result by A. Micali, 1964 who proved that a local ring (R, m) is regular if and only if S(m) is a domain. Theorem Let R be a Noetherian local ring and let E be an ideal module. Then a) E is a complete intersection if and only if E is equimultiple and of linear type. b) If S(E) is a domain then E is a complete intersection if and only if E is equimultiple. 22
23 6.- Some examples with small reduction number Rees algebras of modules recover the so called multi-rees algebras. Let I 1,..., I e be a family of ideals of R. The multi-rees algebra of I 1,..., I e is the graded ring R(I 1,..., I e ) := R[I 1 t 1,..., I e t e ] Let E := I 1 I e G = R e. Then, R(E) R(I 1,..., I e ) Multi-Rees algebras have been successfully used in connection with the theory of mixed multiplicities: J. Verma, or to study the arithmetical properties of the blow up rings of powers of ideals: Herrmann-Ribbe- Hyry-Tang,
24 First we observe that: Proposition Let E = I 1 I e with I i R ideals satisfying grade I i 2. Then E is not a complete intersection. But: Proposition Assume R to be Cohen-Macaulay with infinite residue field. Let I be an equimultiple ideal with ht I = 2 and r(i) 1. Write E = I I = I e, e 2. Then, (i) r(e) = 1, l(e) = e + 1. (ii) E is equimultiple. 24
25 We may get examples of generically a complete intersection modules in the following way: Proposition Assume R to be Cohen-Macaulay with infinite residue field and d 3. Let p 1,..., p e be pairwise distinct prime ideals which are perfect of grade 2. Write E = p 1 p e, e 2. Then, (1) E is generically a complete intersection. (2) E is not equimultiple. (3) l(e) e + 2, ad(e) 1 with equalities if d = 3. (4) If d = 3, e = 2 and p 1, p 2 are complete intersection then r(e) = 0 25
26 We note that the direct sum of equimultiple (even complete intersection) ideals is not necessarily an equimultiple module, as the following easy example shows: Example Let R = k[[x 1, X 2, X 3 ]] with k an infinite field and write E = (X 1, X 2 ) (X 1, X 3 ). Then, - E is generically a complete intersection; - l(e) = 4; - ad(e) = 1; - r(e) = 0. 26
27 7.- Arithemtical conditions The following result is an extension to modules of the well known Burch s inequality. It holds more in general (F. Hayasaka, 2007 for instance) but we only state for ideal modules: Theorem Let E G R e be an ideal module. Then, l(e) d + e 1 inf depth G n /E n In addition, equality holds if R(E) is Cohen- Macaulay. As a consequence, we have the following arithmetical characterization for the equimultiplicity of an ideal module, when its Rees algebra is Cohen-Macaulay. 27
28 Proposition Assume that R is Cohen-Macaulay and let E G R e be an ideal module with rank e, but not free. If R(E) is Cohen-Macaulay then the following are all equivalent: (i) E is equimultiple; (ii) depth G n /E n = d ht F e (E) for all n > 0; (iii) depth G n /E n = d ht F e (E) for infinitely many n. Now, combining this with the previous characterization of the complete intersection property for equimultiple ideal modules we get the following: 28
29 Proposition Assume that R is Cohen-Macaulay and let E G R e be an ideal module with rank e, but not free. Assume E is generically a complete intersection. Then, the following are equivalent: (i) E is a complete intersection; (ii) G n /E n are Cohen-Macaulay for all n > 0; (iii) G n /E n are Cohen-Macaulay for infinitely many n. This is a version for ideal modules of an old result by Cowsik-Nori, 1976 later on refined by M. Brodmann, (i) (ii) was proven by Katz-Kodiyalam,
30 8.- The generic Bourbaki ideal of a module In order to get an ideal providing information about the Rees algebra of E, Simis-Ulrich- Vasconcelos, 2003 introduced the - generic Bourbaki ideal of a module. In general, an exact sequence of the form 0 F E I 0 where F is a free R-module and I is an R- ideal is called a Bourbaki sequence. I is then a Bourbaki ideal of E. Roughly speaking, a generic Bourbaki ideal I of E is a Bourbaki ideal of E, after a special Nagata extension R of R. 30
31 Under suitable hypothesis, the Rees algebra of E is a isomorphic to the Rees algebra of I modulo a regular sequence of homogeneous elements of degree 1. The construction is as follows: Assume e 2 and let U = n i=1 Ra i be a submodule of E such that E/U is a torsion module (which holds if U is a reduction of E). Further, let Z = {z ij 1 i n, 1 j e 1} be a set of n (e 1) indeterminates over R. We fix the notation R = R[Z], R = R mr = R(Z), U = U R, E = E R U = U R, E = E R. 31
32 Now, take the elements and let x j = n i=1 F = z ij a i U E e 1 j=1 R x j. Proposition (Simis-Ulrich-Vasconcelos, 2003) F E is a free module over R of rank e-1. Consider now the exact sequence of R -modules 0 F E E /F 0 If E /F is torsionfree then it is isomorphic to an ideal of R : I U (E) that we call a generic Bourbaki ideal of E with respect to U. 32
33 The above happens whenever grade F e (E) 2 in particular when E is an ideal module. In this case, I U (E) may also be chosen with grade I U (E) 2 Proposition Assume that I U (E) is a generic Bourbaki ideal of E with respect to U. Then: a) l(i U (E)) = l(e) e + 1. b) If k is infinite, r(i U (E)) r(e). c) µ(i U (E)) = µ(e) e
34 Proposition Furthermore to the above conditions, assume that (1) grade R(E) + = e or (2) R(I U (E)) satisfies (S 2 ). Then, there exists a family of elements x = x 1,..., x e 1 such that x is regular sequence in R(E ) and R(I U (E)) R(E )/(x) Moreover, r(i U (E)) r(e) and if U = E, r(i U (E)) = r(e). (In fact, these elements are homogeneous of degree 1 and a basis of F E.) 34
35 9.- Generic Bourbaki ideals as Fitting ideals Sometimes, generic Bourbaki ideals can be explicitly computed as a Fitting ideal. The procedure is the following: Let {x 1,..., x n } be a generating set of E containing the basis {x 1,..., x e 1 } of F. Let ϕ be a matrix presenting E with respect to the generators {x 1,..., x n }. Then, one can chose ϕ such that [ ] ϕ = ψ where ψ be an (n e + 1) (n e) submatrix of ϕ, with grade I n e (ψ) 1. 35
36 Proposition Assume that E is an ideal module. Then, any generic Bourbaki ideal I U (E) of E with respect to U is isomorphic to I n e (ψ). Moreover, if grade I n e (ψ) 2, then by Hilbert- Burch theorem we have - I n e (ψ) is perfect of grade 2; - I U (E) has a finite free resolution of the form 0 R n e ψ R n e+1 IU (E) 0 - I U (E) = ai n e (ψ) for some a R \ Z(R ). 36
37 10.- Ideal modules with small reduction number Assume that R(E) is Cohen-Macaulay. As a consequence of Burch s inequality for ideal modules (equality if the Rees algebra is Cohen- Macaulay) we have that l(e) d + e depth E The following is a partial converse: Proposition Let R be a Cohen-Macaulay ring with infinite residue field and E an ideal module having rank e > 0 with r(e) 1. Moreover, assume that E is free locally in codimension l(e) e. Then, R(E) is Cohen-Macaulay if and only if l(e) d + e depth E. 37
38 Proof (sketch) We may assume e 2. Let I R a generic Bourbaki ideal of E with grade (I) 2. Then l(i) = l(e) e+1 and r(i) r(e) 1. Moreover, since E is free locally in codimension l(e) e then I satisfies conditions G l(i) and AN (Simis-Ulrich-Vasconcelos, 2003). l(i) 2 Therefore by (L. Ghezzi, 2002) Then, depth G(I) = min{d, depth R /I + l(i)} l(e) d + e depth E depth R /I + l(i) d depth G(I) = d On the other hand, a(g(i)) = max{ ht I, r(i) l(i)} < 0 and so G(I) is Cohen-Macaulay if and only if R(I) is Cohen-Macaulay (by Ikeda-Trung). The result, then, follows. 38
39 As a consequence we have the following: Proposition Let R be a Cohen-Macaulay ring with infinite residue field and E an ideal module. - If E is equimultiple with r(e) 1, then R(E) is Cohen-Macaulay if and only if G/E is Cohen-Macaulay. - If E is a complete intersection then R(E) is Cohen-Macaulay. - If E is free locally on the punctured spectrum with r(e) 1 then R(E) is Cohen- Macaulay. - If dim R = 2, then R(E) is Cohen-Macaulay if and only if r(e) 1. 39
40 As a final (revisited) example we have: Proposition Assume R to be Cohen-Macaulay with infinite residue field. Let I be an equimultiple ideal with ht I = 2 and r(i) 1. Write E = I I = I e, e 2. Then (a) (E is equimultiple, r(e) = 1, and l(e) = e + 1); (b) R(E) is Cohen-Macaulay if and only if R/I is Cohen-Macaulay. 40
Rees Algebras of Modules
Rees Algebras of Modules ARON SIMIS Departamento de Matemática Universidade Federal de Pernambuco 50740-540 Recife, PE, Brazil e-mail: aron@dmat.ufpe.br BERND ULRICH Department of Mathematics Michigan
More informationarxiv:math/ v1 [math.ac] 4 Oct 2002
manuscripta mathematica manuscript No. (will be inserted by the editor) Alberto Corso Claudia Polini Bernd Ulrich Core of projective dimension one modules arxiv:math/0210072v1 [math.ac] 4 Oct 2002 Received:
More informationarxiv: v1 [math.ac] 7 Feb 2009
MIXED MULTIPLICITIES OF MULTI-GRADED ALGEBRAS OVER NOETHERIAN LOCAL RINGS arxiv:0902.1240v1 [math.ac] 7 Feb 2009 Duong Quoc Viet and Truong Thi Hong Thanh Department of Mathematics, Hanoi University of
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 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 informationREDUCTION NUMBERS OF EQUIMULTIPLE IDEALS
REDUCTION NUMBERS OF EQUIMULTIPLE IDEALS CĂTĂLIN CIUPERCĂ Abstract. Let (A, m) be an unmixed local ring containing a field. If J is an m-primary ideal with Hilbert-Samuel multiplicity e A (J), a recent
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 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 informationarxiv: v1 [math.ac] 19 May 2015
arxiv:1505.04851v1 [math.ac] 19 May 2015 REES ALGEBRAS AND ALMOST LINEARLY PRESENTED IDEALS JACOB A. BOSWELL AND VIVEK MUKUNDAN Abstract. Consider a grade 2 perfect ideal I in R = k[x 1,, ] which is generated
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 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 informationM ath. Res. Lett. 15 (2008), no. 2, c International Press 2008 JOINT REDUCTIONS OF MONOMIAL IDEALS AND MULTIPLICITY OF COMPLEX ANALYTIC MAPS
M ath. Res. Lett. 15 (2008), no. 2, 389 407 c International Press 2008 JOINT REDUCTIONS OF MONOMIAL IDEALS AND MULTIPLICITY OF COMPLEX ANALYTIC MAPS Carles Bivià-Ausina Abstract. We characterize the joint
More informationNORMAL CONES OF MONOMIAL PRIMES. Reinhold Hübl* and Irena Swanson**
NORMAL CONES OF MONOMIAL PRIMES Reinhold Hübl* and Irena Swanson** Abstract. We explicitly calculate the normal cones of all monomial primes which define the curves of the form (t L, t L+1,..., t L+n ),
More informationON ASSOCIATED GRADED RINGS OF NORMAL IDEALS. Sam Huckaba and Thomas Marley
ON ASSOCIATED GRADED RINGS OF NORMAL IDEALS Sam Huckaba and Thomas Marley 1. Introduction This paper was inspired by a theorem concerning the depths of associated graded rings of normal ideals recently
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationarxiv: v1 [math.ac] 23 Jun 2010
INDICES OF NORMALIZATION OF IDEALS arxiv:1006.4560v1 [math.ac] 23 Jun 2010 C. POLINI, B. ULRICH, W. V. VASCONCELOS, AND R. VILLARREAL Abstract. We derive numerical estimates controlling the intertwined
More informationREFLEXIVE MODULES OVER GORENSTEIN RINGS
REFLEXIVE MODULES OVER GORENSTEIN RINGS WOLMER V. VASCONCELOS1 Introduction. The aim of this paper is to show the relevance of a class of commutative noetherian rings to the study of reflexive modules.
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 informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More information(dim Z j dim Z j 1 ) 1 j i
Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationA Filtration of the Sally Module and the Associated Graded Ring of an Ideal
Comm. Algebra to appear A Filtration of the Sally Module and the Associated Graded Ring of an Ideal Claudia Polini Department of Mathematics - Hope College - Holland, MI 49422 Introduction Let (R; m) be
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 informationEffective Normality Criteria for Algebras of Linear Type
Effective Normality Criteria for Algebras of Linear Type Joseph Brennan Department of Mathematics North Dakota State University Fargo, North Dakota 58105-5075 e-mail: brennan@plains.nodak.edu Wolmer V.
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationEquimultiplicity and Blowing up An Algebraic Study
M. Herrmann S. Ikeda U. Orbanz Equimultiplicity and Blowing up An Algebraic Study With an Appendix by B. Moonen Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Manfred Herrmann Ulrich Orbanz
More informationExtended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative
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 informationBuchsbaum rings with minimal multiplicity by Ken-ichi Yoshida Nagoya University, Japan
Buchsbaum rings with minimal multiplicity by Ken-ichi Yoshida Nagoya University, Japan The main part of this talk is a joint work with Shiro Goto at Meiji University (see [8]. Also, some part is a joint
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 informationThe Envelope of Artinian Modules. over Commutative Rings
International Journal of Algebra, Vol. 5, 2011, no. 13, 647-653 The Envelope of Artinian Modules over Commutative Rings N. Hadian Dehkordi and A. J. Taherizadeh Department of Mathematical Sciences and
More informationarxiv: v1 [math.ac] 31 Jul 2018
ASYMPTOTIC VANISHING OF HOMOGENEOUS COMPONENTS OF MULTIGRADED MODULES AND ITS APPLICATIONS FUTOSHI HAYASAKA arxiv:1807.11670v1 [math.ac] 31 Jul 2018 Abstract. In this article, we give a condition on the
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationTWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS
TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS KRISTIAN RANESTAD (OSLO), LUKECIN, 5.-6.SEPT 2013 1. Apolarity, Artinian Gorenstein rings and Arithmetic Gorenstein Varieties 1.1. Motivating
More informationLINKAGE CLASSES OF GRADE 3 PERFECT IDEALS
LINKAGE CLASSES OF GRADE 3 PERFECT IDEALS LARS WINTHER CHRISTENSEN, OANA VELICHE, AND JERZY WEYMAN Abstract. While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
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 informationLOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES
LOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES THOMAS MARLEY AND JANET C. VASSILEV Abstract. In this paper we prove the following generalization of a result of Hartshorne: Let T be a commutative
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
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 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 informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationDUALITY FOR KOSZUL HOMOLOGY OVER GORENSTEIN RINGS
DUALITY FO KOSZUL HOMOLOGY OVE GOENSTEIN INGS CLAUDIA MILLE, HAMIDEZA AHMATI, AND JANET STIULI Abstract. We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul
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 informationPRIMARY DECOMPOSITION OF MODULES
PRIMARY DECOMPOSITION OF MODULES SUDHIR R. GHORPADE AND JUGAL K. VERMA Department of Mathematics, Indian Institute of Technology, Mumbai 400 076, India E-Mail: {srg, jkv}@math.iitb.ac.in Abstract. Basics
More informationALMOST GORENSTEIN RINGS
ALMOST GORENSTEIN RINGS NAOKI TANIGUCHI Contents 1. Introduction 1 2. Survey on one-dimensional almost Gorenstein rings 2 3. Almost Gorenstein local rings of higher dimension 4 4. Semi-Gorenstein local
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 informationHilbert Functions of Filtered Modules
Maria Evelina Rossi, Giuseppe Valla Hilbert Functions of Filtered Modules April 20, 2010 Springer Preface Hilbert Functions play major roles in Algebraic Geometry and Commutative Algebra, and are becoming
More informationIF THE SOCLE FITS. Andrew R. Kustin and Bernd Ulrich
IF THE SOCLE FITS Andrew R Kustin and Bernd Ulrich The following Lemma, although easy to prove, provides a surprisingly useful way to establish that two ideals are equal Lemma 11 Let R = i 0 R i be a noetherian
More informationALMOST GORENSTEIN RINGS
ALMOST GORENSTEIN RINGS SHIRO GOTO, NAOYUKI MATSUOKA, AND TRAN THI PHUONG Abstract. The notion of almost Gorenstein ring given by Barucci and Fröberg [2] in the case where the local rings are analytically
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 informationGROTHENDIECK-SERRE FORMULA AND BIGRADED COHEN-MACAULAY REES ALGEBRAS. Dedicated to Prof. Dr. Jürgen Herzog on the occasion of his sixtieth birthday
GROTHENDIECK-SERRE FORMULA AND BIGRADED COHEN-MACAULAY REES ALGEBRAS A. V. JAYANTHAN AND J. K. VERMA Dedicated to Prof. Dr. Jürgen Herzog on the occasion of his sixtieth birthday Abstract. The Grothendieck-Serre
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 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 informationACYCLIC COMPLEXES OF FINITELY GENERATED FREE MODULES OVER LOCAL RINGS
ACYCLIC COMPLEXES OF FINITELY GENERATED FREE MODULES OVER LOCAL RINGS MERI T. HUGHES, DAVID A. JORGENSEN, AND LIANA M. ŞEGA Abstract We consider the question of how minimal acyclic complexes of finitely
More informationTwo theorems about maximal Cohen Macaulay modules
Mathematische Annalen manuscript No. (will be inserted by the editor) Two theorems about maximal Cohen Macaulay modules Craig Huneke Graham J. Leuschke July 9, 2004 c Springer-Verlag 2004 arxiv:math.ac/0404204
More informationF -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/21-2010 KARL SCHWEDE 1. F -rationality Definition 1.1. Given (M, φ) as above, the module τ(m, φ) is called the test submodule of (M, φ). With Ψ R : F ω
More informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationTHE RADIUS OF A SUBCATEGORY OF MODULES
THE RADIUS OF A SUBCATEGORY OF MODULES HAILONG DAO AND RYO TAKAHASHI Dedicated to Professor Craig Huneke on the occasion of his sixtieth birthday Abstract. We introduce a new invariant for subcategories
More information2 R. H UBL AND I. SWANSON over a eld k of characteristic zero, this in turn implies that R=I is evolutionarily stable as a k-algebra, thus answering a
NORMAL CONES OF MONOMIAL PRIMES Reinhold Hubl* and Irena Swanson** Abstract. We explicitly calculate the normal cones of all monomial primes which dene the curves of the form (t L ; t L+1 ; : : : ; t L+n
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More information5 Dedekind extensions
18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
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 informationKrull Dimension and Going-Down in Fixed Rings
David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =
More informationCOFINITENESS AND COASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES
MATH. SCAND. 105 (2009), 161 170 COFINITENESS AND COASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES MOHARRAM AGHAPOURNAHR and LEIF MELKERSSON Abstract Let R be a noetherian ring, an ideal of R such that
More informationHomological Dimension
Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof
More informationREMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES
REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules
More informationarxiv: v2 [math.ac] 7 Nov 2017
SYMBOLIC BLOWUP ALGEBAS OF MONOMIAL CUVES IN A 3 DEFINED BY AIHMEIC SEQUENCE CLAE D CUZ arxiv:1708.01374v [math.ac] 7 Nov 017 Abstract. In this paper, we consider monomial curves ina 3 k parameterized
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 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 informationBuchsbaumness in Rees Modules Associated to Ideals of Minimal Multiplicity in the Equi-I-Invariant Case
Journal of Algebra 25, 23 255 (2002) doi:0.006/jabr.2002.94 Buchsbaumness in Rees Modules Associated to Ideals of Minimal Multiplicity in the Equi-I-Invariant Case Kikumichi Yamagishi Faculty of Econoinformatics,
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 informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationAN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS. Dedicated to the memory of Professor Nicolae Radu
AN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS CĂTĂLIN CIUPERCĂ AND FLORIAN ENESCU Dedicated to the memory of Professor Nicolae Radu ABSTRACT. We establish an inequality involving colengths
More informationBUILDING MODULES FROM THE SINGULAR LOCUS
BUILDING MODULES FROM THE SINGULAR LOCUS JESSE BURKE, LARS WINTHER CHRISTENSEN, AND RYO TAKAHASHI Abstract. A finitely generated module over a commutative noetherian ring of finite Krull dimension can
More informationIntersecting valuation rings in the Zariski-Riemann space of a field
Intersecting valuation rings in the Zariski-Riemann space of a field Bruce Olberding Department of Mathematical Sciences New Mexico State University November, 2015 Motivation from Birational Algebra Problem:
More informationClassifying Hilbert functions of fat point subschemes in P 2
Collect. Math. 60, 2 (2009), 159 192 c 2009 Universitat de Barcelona Classifying Hilbert functions of fat point subschemes in P 2 A.V. Geramita Department of Mathematics, Queen s University, Kingston Ontario
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 informationPacific Journal of Mathematics
Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL
More informationPiecewise Noetherian Rings
Northern Illinois University UNAM 25 May, 2017 Acknowledgments Results for commutative rings are from two joint papers with William D. Weakley,, Comm. Algebra (1984) and A note on prime ideals which test
More informationarxiv: v1 [math.ac] 13 Feb 2017
LOCAL BEZOUT ESTIMATES AND MULTIPLICITIES OF PARAMETER AND PRIMARY IDEALS EDUARD BO DA AND PETER SCHENZEL arxiv:1702.03704v1 [math.ac] 13 Feb 2017 ABSTRACT. Let q denote an m-primary ideal of a d-dimensional
More informationINTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References
INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
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 informationNewton filtrations, graded algebras and codimension of non-degenerate ideals
CADERNOS DE MATEMÁTICA 02, 15 38 March (2001) ARTIGO NÚMERO SMA#89 Newton filtrations, graded algebras and codimension of non-degenerate ideals Carles Bivià-Ausina * Departament de Geometria i Topologia,
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 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 informationHYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique
More informationCohen-Macaulay Dimension for Coherent Rings
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Papers in Mathematics Mathematics, Department of 5-2016 Cohen-Macaulay Dimension
More informationarxiv:math/ v1 [math.ac] 4 Oct 2002
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9947(XX)0000-0 CORE AND RESIDUAL INTERSECTIONS OF IDEALS arxiv:math/0210070v1 [math.ac] 4 Oct 2002 ALBERTO CORSO,
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationn-canonical modules over non-commutative algebras
n-canonical modules over non-commutative algebras Mitsuyasu Hashimoto Okayama University November 18, 2016 Mitsuyasu Hashimoto (Okayama University) n-canonical modules November 18, 2016 1 / 32 The purpose
More informationDe Nugis Groebnerialium 5: Noether, Macaulay, Jordan
De Nugis Groebnerialium 5: Noether, Macaulay, Jordan ACA 2018 Santiago de Compostela Re-reading Macaulay References Macaulay F. S., On the Resolution of a given Modular System into Primary Systems including
More informationFROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES
FROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES TARAN FUNK AND THOMAS MARLEY Abstract. It is proved that a module M over a Noetherian local ring R of prime characteristic and positive dimension has finite
More informationarxiv: v1 [math.ac] 3 Dec 2014
arxiv:1412.1404v1 [math.ac] 3 Dec 2014 LENGTHS AND MULTIPLICITIES OF INTEGRALLY CLOSED MODULES OVER A TWO-DIMENSIONAL REGULAR LOCAL RING VIJAY KODIYALAM AND RADHA MOHAN Dedicated to Bill Heinzer on his
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
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 informationarxiv: v1 [math.ac] 24 Feb 2010
ON THE DEPTH OF BLOW-UP INGS OF IDEALS OF MINIMAL MIXED MULTIPLICITY arxiv:1002.4466v1 [math.ac] 24 Feb 2010 CLAE D CUZ Abstract. We show that if (,m) is a Cohen-Macaulay local ring and I is an ideal of
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More information