REDUCTION NUMBERS OF EQUIMULTIPLE IDEALS
|
|
- Dominick Stanley
- 6 years ago
- Views:
Transcription
1 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 result of Hickel shows that every element in the integral closure J satisfies an equation of integral dependence over J of degree at most e A (J). We extend this result to equimultiple ideals J by showing that the degree of such an equation of integral dependence is at most c q (J), where c q (J) is one of the elements of the so-called multiplicity sequence introduced by Achilles and Manaresi. As a consequence, if the characteristic of the field contained in A is zero, it follows that the reduction number of an equimultiple ideal J with respect to any minimal reduction is at most c q (J) Introduction Let (A, m) be local noetherian ring and J a proper ideal of A. An element x A is said to be integral over J if it satisfies an equation of integral dependence x n + a 1 x n a n = 0 with coefficients a i J i. Equivalently, (J + xa) n = J(J + xa) n 1 for some positive integer n. The elements that are integral over J form an ideal which we denote J. If J is an m-primary ideal in an unmixed local ring A that contains a field, a recent result of Hickel [12, Theorem 1.1] shows that every element of J satisfies an equation of integral dependence over J of degree at most e A (J), the Hilbert-Samuel multiplicity of J. The technique used by Hickel was introduced by Scheja in [20] and reduces the problem to the hypersurface case by using the fact that a complete local ring containing a field is a finite extension of a formal power series over a coefficient field. The technique was previously used to provide much simplified proofs for the theorem of Rees that states that two m-primary ideals J I form a reduction (equivalently, I J) if and only if I and J have the same 2010 Mathematics Subject Classification. Primary 13A30; 13B22; 13H15; Secondary 13D40. 1
2 2 C. CIUPERCĂ Hilbert-Samuel multiplicity (see [20] and [13, Discussion ]). It was also used in [16] to give a simplified proof in the case when the ring contains a field for the fact that an unmixed local ring of multiplicity one must be regular. It should be noted that the last two results that we just mentioned were already known to be true without assuming that the ring contains a field, but the proofs were much more involved. In contrast to this, as far as this author knows, Hickel s result is new and there are no known proofs for the case when the ring does not contain a field. In this paper we consider the more general case when the ideal J is equimultiple, i.e. J satisfies the condition l(j) = ht J, where l(j) is the analytic spread of J and ht J is the height of J. Because of their geometric interpretations, these ideals have been extensively studied. We refer the reader to the book [11] by Herrmann, Ikeda, and Orbanz for a detailed account of equimultiple ideals from an algebraic perspective. If A is a local unmixed ring that contains a field, we show in Theorem 3.2 that an element in the integral closure of an equimultiple ideal J satisfies an equation of integral dependence of degree at most c q (J), which is one of the numerical invariants in the multiplicity sequence introduced by Achilles and Manaresi (see 2.5). We note here that c q (J) agrees with the Hilbert-Samuel multiplicity e A (J) when J is m-primary. The proof relies again on Scheja s technique and, up to a point, follows Hickel s argument in the m-primary case. The core and technical part of the proof, which is an argument needed only in the case when the ideal J is not m-primary, is extracted conveniently in Lemma 3.1. As an immediate consequence, if the characteristic of the field contained in A is zero, Corollary 3.4 shows that r K (J) c q (J) 1, where r K (J) is the reduction number of J with respect to any minimal reduction K. Bounds on the reduction number of an ideal J play an important role in the study of the Cohen-Macaulay property of the Rees algebra and the associated graded ring of J. Results that give an upper bound on the reduction number of an ideal were previously known in the case of m-primary ideals in Cohen-Macaulay rings. If d = dim A, Sally [19, 2.2.] first proved that r(m) d! e A (m) 1. This was later improved by Vasconcelos [21, 6.12, 6.16] who showed that r(j) d e A (J) 2d + 1 for every m-primary ideal J. Sharper bounds for the reduction number were also known under stronger assumptions that involved various graded algebras associated with the ideal. Among those, we note the bound r(j) d 1 obtained
3 REDUCTION NUMBERS OF EQUIMULTIPLE IDEALS 3 by Goto and Shimoda ([9]) in the case when the Rees algebra of J is Cohen-Macaulay. We refer the reader to [8, 18, 23] for other bounds of this type. For equimultiple ideals J, Grothe, Herrmann and Orbanz [10] generalized the Goto-Shimoda bound and showed that if the Rees algebra of J is Cohen-Macaulay, then r(j) ht J 1. However, without assuming the Cohen-Macaulayness of the Rees algebra, it should be noted that for d > 1 there are examples that show that one cannot obtain bounds for r(j) that only depend on the ring A even when A is a regular local ring. 2. Background Throughout this paper all rings are commutative, noetherian, and have an identity. If (A, m) is a local noetherian ring with maximal ideal m, we say that A is formally equidimensional if all the minimal prime ideals of the completion  have the same dimension. We also say that A is unmixed if all the associated prime ideals of the completion  have the same dimension. Hence A is unmixed if and only if A is formally equidimensional and  has no embedded prime ideals. In this section we present several definitions and results that will be needed in the paper. For terminology not otherwise explained, we refer the reader to [13]. 2.1 (Reductions, analytic spread, and equimultiple ideals). If I is a proper ideal in the local ring A and F = n 0 In /mi n is the fiber cone of I, the analytic spread of I is defined by l(i) = dim F. One has the inequalities (2.1.1) ht I alt I l(i) dim A, where ht I is the height of the ideal I and alt I = max{ht p p Min(A/I)}. An ideal with l(i) = ht I is called an equimultiple ideal. If J I, we say that J is a reduction of I if JI n = I n+1 for some non-negative integer n. The smallest n with this property, denoted r J (I), is called the reduction number of I with respect to J. The reductions of I that are minimal with respect to inclusion are called minimal reductions and, if the residue field A/m is infinite, it is known that all the minimal reductions of I are minimally generated by l(i) elements. The reduction number
4 4 C. CIUPERCĂ r(i) is defined to be the smallest reduction number of I with respect to a minimal reduction. Similarly, the big reduction number br(i) is the largest reduction number of I with respect to a minimal reduction. We note that br(i) is always finite; see for example [22, Section 2]. 2.2 (The Hilbert-Samuel multiplicity). If (A, m) is a local noetherian ring, I is an m-primary ideal, and M is a finitely generated A-module of dimension d = dim M, the multiplicity e A (I, M) is defined to be the normalized leading coefficient of the Hilbert function λ A (M/I n M) = e A(I, M) n d + lower degree terms (n 0). d! We note that some texts (e.g. [13]) define e A (I, M) by using d = dim A, in which case the multiplicity of M is non-zero if and only if M and A have the same dimension. When M = A we simply write e A (I) instead of e A (I, A). If I = m, we also write e A (M) when we mean e A (m, M). 2.3 (The associativity formula; (24.7) in [15]). Let (A, m) be a local noetherian ring and x 1,..., x d a system of parameters (d = dim A). Let t be a positive integer with 1 t d. If we set then Λ = {p p Spec A, p (x 1,..., x t ), ht p = t, dim A/p = d t}, e A (x 1,..., x d ) = p Λ e A ((x t+1,..., x d ), A/p) e Ap ((x 1,..., x t )A p ). 2.4 (Multiplicity and rank). If (A, m) (B, n) is a finite local extension of integral domains and I is an m-primary ideal, then rank A B e A (I, A) = e A (I, B) = e B (IB, B) [B/n : A/m]. This is a particular case of [13, and ]. 2.5 (The multiplicity sequence). Let (A, m) be a local noetherian ring of dimension d and I an ideal in A. If I is not necessarily m-primary, many papers in the literature deal with the problem of generalizing the classical multiplicity e A (I). Most relevant to our discussion is the introduction of the so-called generalized multiplicity sequence c 0 (I),..., c d (I) by Achilles and Manaresi [2]. In brief, if k = A/m consider the k-algebra G m (G I (A)) = i,j 0 (mi I j +
5 REDUCTION NUMBERS OF EQUIMULTIPLE IDEALS 5 I j+1 )/(m i+1 I j +I j+1 ), let h(i, j) = dim k (m i I j +I j+1 )/(m i+1 I j +I j+1 ) be its bigraded Hilbert function, and let H(i, j) := i j u=0 v=0 h(u, v) be the double sum transform of h(i, j). For i, j 0 the function H(i, j) becomes a polynomial function of degree d p(i, j) = ( )( ) i j a k,l. k l k,l 0 k+l d The multiplicity sequence of Achilles and Manaresi is defined by c k (I) := a k,d k for k = 0,..., d. It is known that the first element c 0 (I) coincides with the j-multiplicity j(i) introduced earlier by the same authors in [1]. Moreover, if I is m-primary, then c 0 (I) = e A (I) and c k (I) = 0 for all k > 0. We refer the reader to [2] and the expository paper [3] for a detailed account of these coefficients and their properties. We also note that many results in the literature deal with the problem of using these invariants to describe numerically an arbitrary ideal I the same way the Hilbert-Samuel multiplicity characterizes or gives information about an m-primary ideal. If the ideal I is equimultiple, which is the case of interest in our paper, and q := dim A/I, then c i (I) = 0 for i q and (2.5.1) c q (I) = p Λ e A (A/p) e Ap (IA p ), where Λ = {p Spec A p I, dim A/p = dim A/I, dim A/p + ht p = dim A} (see [2, Proposition 2.3]). Note that Λ is always non-void (and hence c q (I) > 0) if A is formally equidimensional. The coefficient c q (I) also satisfies the so-called linearity formula: (2.5.2) c q (I) = p c q (I(A/p))λ(A p ), where the sum runs over all the prime ideals p with dim A/p = dim A. If I is m-primary, this is the linearity formula for the Hilbert-Samuel multiplicity. The general case can be obtained by applying (2.5.1) in conjunction with the linearity formula for m-primary ideals. 2.6 (Multiplicities and reductions). Let (A, m) be a formally equidimensional local ring and I J proper ideals. If I is m-primary, a well known result of Rees shows that I J is a reduction (equivalently, J I) if and only if e A (I) = e A (J). If I and J are not necessarily
6 6 C. CIUPERCĂ m-primary, but I is equimultiple and I = J, a criterion proved by Böger [4] shows that I J is a reduction if and only if e Ap (IA p ) = e Ap (JA p ) for all the prime ideals p minimal over I. In view of (2.5.1), this criterion can be restated as follows: if I equimultiple and I J I, then I J is a reduction if and only if c q (I) = c q (J). In many ways, the coefficient c q (I) of an equimultiple ideal I plays the same role as the classical Hilbert-Samuel multiplicity of an m-primary ideal. See also Proposition 2.7 below. For arbitrary ideals I J I, it is also known that if I J is a reduction, then c i (I) = c i (J) for all i = 0,..., d [6, 2.7]. As far as this author knows, there is no proof in the literature for the converse of this result in an arbitrary formally equidimensional local ring. If I is an m-primary ideal in an unmixed local ring (A, m), a classical result of Nagata ([15, 40.6]) shows that e A (I) = 1 if and only if I = m and A is a regular local ring. More generally, if I is an equimultiple ideal, the following result shows that a similar characterization of regular local rings can be given by using the invariant c q (I). Proposition 2.7. Let (A, m) be an unmixed local ring and I an equimultiple ideal of A of dimension q = dim A/I. Then c q (I) = 1 if and only if A is a regular local ring and I is (a prime ideal) generated by a part of a regular system of parameters. Proof. If A is a regular local ring, x 1,..., x d is a regular system of parameters, and p = (x 1,..., x l ), then A/p and A p are regular local rings and from (2.5.1) we obtain c q (p) = e A (A/p) e Ap (pa p ) = 1. We now assume that c q (I) = 1. By passing to the completion Â, we may assume that A is a complete equidimensional local ring with Ass(A) = Min(A). Since I is equimultiple, all the minimal prime ideals over I have the same height (see 2.1.1). Then we have 1 = c q (I) = p e(a/p) e A p (I p ), where the sum runs over all the minimal primes p over I such that dim A/p = dim A/I, so there is a unique minimal prime ideal p over I and e A (A/p) = e Ap (I p ) = 1. This implies that A/p is a regular ring, IA p = pa p, and A p is a regular local ring. On the other hand, since I is equimultiple, I has no embedded prime ideals [17, 2.12], so Ass(A/I) = {p}. But IA p = pa p, so we must have I = p. From this we obtain l(p) = l(i) = ht I = ht p, so p is also an equimultiple ideal. Now let x 1,..., x l be a minimal
7 REDUCTION NUMBERS OF EQUIMULTIPLE IDEALS 7 reduction of I (hence a minimal reduction of p, too) and let x l+1,..., x d be a regular system of parameters of A/p. Then e A (m, A) = e A (p + (x l+1,..., x d ), A) = e A ((x 1,..., x l, x l+1,..., x d ), A) = e A ((x l+1,..., x d ), A/p) e Ap ((x 1,..., x l )A p ) (cf. 2.3) = 1 e Ap (IA p ) = 1, so A is a regular local ring. As A/p is also a regular local ring, it follows that p is generated by elements that are part of a regular system of parameters of A. Finally, since I is a reduction of p, we must have I = p, finishing the proof. 3. The degree of an equation of integral dependence Some technical aspects in the proof of the main result (Theorem 3.2), which only occur for ideals that are not m-primary, are collected in the following Lemma. Lemma 3.1. Let k be a field, T = k[[x 1,..., X l, X l+1,..., X d, Y ]] and let B = T/(f) = k[[x 1,..., x l, x l+1,..., x d, y]], where f = Y r + a 1 (X 1,..., X d )Y r a r (X 1,..., X d ) with r 1 and a i (X 1,..., X d ) k[[x 1,..., X d ]] for all i {1,..., r}. Let P = (X 1,..., X l, Y )T and p = P B = (x 1,..., x l, y)b. Assume that d l + 1 and ht p = l(p) = l 1. Then the following hold: (a) p is a prime ideal; (b) a r (0,..., 0, X l+1,..., X d ) = 0 and f (X 1,..., X l, Y )T ; (c) B/p = k[[x l+1,..., X d ]]; (d) Ass(B/p n ) = {p} for all n 1; (e) x l+1,..., x d is a regular sequence on B/p n for all n 1; (f) (x l+1,..., x d ) p n = (x l+1,..., x d )p n for all n 1.
8 8 C. CIUPERCĂ Proof. We have B/p = k[[x 1,..., X d, Y ]]/(X 1,..., X l, Y, f) = k[[x1,..., X d, Y ]]/(X 1,..., X l, Y, a r (0,..., 0, X l+1,..., X d )) = k[[xl+1,..., X d ]]/(a r (0,..., 0, X l+1,..., X d )). On the other hand, since B is formally equidimensional, we have dim B/p = dim B ht p = d l, and hence, by the above isomorphism and a dimension comparison, we have a r (0,..., 0, X l+1,..., X d ) = 0. This also shows that f (X 1,..., X l, Y )T, proving (a), (b) and (c). For part (d), if p (n) = p n B p B denotes the n-th symbolic power of p, for each n 1 we need to prove that p (n) = p n. By using the S 2 -ification of a Rees algebra, this can be obtained as a consequence of [7, Lemma 3.10]. For the sake of completeness and of avoiding the introduction of the concepts needed to state and prove [7, Lemma 3.10], we present here a self-contained argument. Assume that p (n) p n and let q Spec(B) with q p such that p (n) B q p n B q. Moreover, choose q minimal with this property. Note that we must have q p. To simplify the notation, set C = B q, which is a local ring with maximal ideal m := qc. Since p is equimultiple, pc is also an equimultiple prime ideal of C. Moreover l = ht p = l(pc) < ht q = dim C. By the minimality of q, the C-module p (n) C/p n C has finite length, so there exists s 1 such that m s p (n) C p n C. Now let z p (n) C \ p n C and consider R = k Z (pk C)t k C[t, t 1 ], the (extended) Rees algebra of pc. With this notation we have zt n C[t, t 1 ] and (m s, t n )zt n R. We also have dim R 1 = dim C > l(pc) = dim R/(m, t 1 )R, so ht(m, t 1 )R 2. On the other hand, t 1 is a non-zero-divisor on R and R/t 1 R has no embedded prime ideals. Indeed, R/t 1 R = k 0 pk C/p k+1 C is a localization of the associated graded ring G p (B) = k 0 pk /p k+1. Also, as B = T/(f), G p (B) is isomorphic to G P (T )/(f ), where f is the initial form of f in G P (T ) = k 0 P k /P k+1, which is a polynomial ring over T/P = k[[x l+1,..., X d ]]. Hence R/t 1 R has no embedded prime ideals, which implies that the ideal (m, t 1 )R contains a regular sequence in R of length
9 REDUCTION NUMBERS OF EQUIMULTIPLE IDEALS 9 two. As (m s, t n )R and (m, t 1 )R have the same radical, the ideal (m s, t n )R also contains a regular sequence in R of length two. From this and (m s, t n )zt n R it follows that zt n R, contradicting z / p n C. This finishes the proof that p n = p (n) for all n 1. To prove part (e) we proceed by induction on d (d l+1). If d = l+1, by (c) we know that B/p = k[[x l+1 ]], so x l+1 / p. But p is the only associated prime of B/p n (by (d)), so x l+1 is a non-zero-divisor on B/p n. Suppose that part (e) is true for d variables; we want to prove it for B = k[[x 1,..., X d+1, Y ]]/(f) where f = Y r +a 1 (X 1,..., X d+1 )Y r 1 + +a r (X 1,..., X d+1 ). As above, B/p = k[[x l+1,..., X d+1 ]], so x l+1 is a non-zero-divisor on B/p n. Let B : = B/x l+1 B = k[[x1,..., X l, X l+2,..., X d+1, Y ]]/(f(x 1,..., X l, 0, X l+2,..., X d+1 )). First we prove that p := pb = (x 1,..., x l, y)b is an equimultiple ideal of B of height l. Note that since l(p) = l we must have l(p ) l. We also have B /p = B/(x1,..., x l, x l+1, y) = (B/p) x l+1 (B/p), which implies that dim B /p = dim B/p 1 = dim B ht p 1 = d l. Then, since B is formally equidimensional, ht p = dim B dim B /p = d (d l) = l. Therefore we have l = ht p l(p ) l, showing that p is an equimultiple ideal of height l. By the induction hypothesis we obtain that x l+2,..., x d+1 is a regular sequence on B /(p ) n for all n 1. However, B /(p ) n = B/p n x l+1 (B/p n ) and x l+1 is a non-zero-divisor on B/p n. Therefore x l+1, x l+2,..., x d+1 is a regular sequence on B/p n for all n. Part (f) is a direct consequence of (e) and the following well known general statement: If I is an ideal in a noetherian ring R and a 1,..., a t R is a regular sequence on R/I, then (a 1,..., a t ) I = (a 1,..., a t )I. Indeed, if J = (a 1,..., a t ), then (I J)/IJ = Tor R 1 (R/I, R/J) = 0 (see [5, 1.1.4]).
10 10 C. CIUPERCĂ We are now ready to prove the generalization of Hickel s result [12, Theorem 1.1] for equimultiple ideals. Theorem 3.2. Let (R, m) be an unmixed local ring containing a field and J an equimultiple ideal of R. Let q = q(j) = dim R/J. If y R is an element integral over J, then y satisfies an equation of integral dependence y r + a 1 y r a r = 0 with a i J i and r c q (J). Proof. Note that the conclusion is equivalent to proving that J(J + yr) r 1 = (J + yr) r for some r c q (J). By Hickel s work, the theorem is proved when J is m-primary, therefore we may assume that J is not m-primary. By following a procedure that is standard in multiplicity theory (see also [13, Discussion ], [12, 1.1]), we reduce the problem to the case when R is a complete domain with infinite residue field. We begin by noting that we may assume that the residue field R/m is infinite. This is accomplished, if need be, by passing to the faithfully flat extension R = R[X] m[x]. If J = JR, then q(j) = q(j ) and c q (J) = c q (J ). Moreover, J(J +yr) r 1 = (J + yr) r if and only if J (J + yr ) r 1 = (J + yr ) r. We may also assume that R is complete and unmixed. This is done by passing to R, a faithfully flat extension of R. Further, we may also assume that R is an integral domain. Indeed, by (2.5.2) we know that c q (J) = p Min(R) c q (J(R/p)) λ(r p ). For each p Min(R), if y satisfies an equation of integral dependence over J(R/p) of degree r p = c q (J(R/p)), then there exist a i,p J i such that Let f := p Min(R) f λ(rp) p f p := y rp + a 1,p y r a rp,p p. and note that f p Min(R) p λ(rp) p Min(R) p λ(rp) = (0), where the last equality follows by localizing at each p Ass(R) = Min(R). The equality f = 0 shows that y satisfies an equation of integral dependence over J of degree r = c q (J).
11 REDUCTION NUMBERS OF EQUIMULTIPLE IDEALS 11 Let K := (x 1,..., x l ) be a minimal reduction of J, where l = l(j) = ht J. Then K is an equimultiple ideal of height l and c q (K) = c q (I) (see 2.5). Since any equation of integral dependence of y over K is also an equation of integral dependence over J, without loss of generality we may assume that J = (x 1,..., x l ). Keeping in mind that dim R/J = d l, let x l+1,..., x d R be such that (x l+1,..., x d )(R/J) is a minimal reduction of the maximal ideal m/j of R/J. In particular, this implies that x 1,..., x d is a system of parameters of R. The next step is to reduce the problem to the hypersurface case by constructing a formal power series ring A over a coefficient field of R such that A R is finite. This is, again, more or less standard. It is the technique introduced by Scheja and also employed by Hickel. However, since our ideal J is not m-primary, we need to do it a bit more carefully by choosing a special set of parameters as above. More precisely, since R is a complete domain that contains a field, the ring R has a coefficient field k. Define φ : S = k[[x 1,..., X d ]] R by φ(f) = f(x 1,..., x d ). Considering R as an S-module, since R/(x 1,..., x d )R is a finitely generated module over S/(X 1,..., X d ) = k, by complete Nakayama s lemma [14, Theorem 8.4] it follows that R is a finitely generated S-module. Moreover, S/ Ker φ R is a finite extension, hence dim S/ Ker φ = dim R = d, which implies that Ker φ = 0, and hence φ is injective. Therefore have a finite extension A := k[[x 1,..., x d ]] R, where A is an isomorphic copy of the formal power series ring S = k[[x 1,..., X d ]]. Let y J and consider the finite extensions A = k[[x 1,..., x l, x l+1,..., x d ]] B := A[y] R. Since y is integral over the normal domain A, the ring B = A[y] = A[[y]] is isomorphic to A[Y ]/P, where P is a prime ideal containing all the equations of integral dependence of y over A, each of them of the form y s + a 1 (x 1,..., x d )y s a s (x 1,..., x d ) = 0 with a i (x 1,..., x d ) A. Note that A[Y ]/P = A[[Y ]]/P A[[Y ]] and since P A[[Y ]] is a non-zero prime ideal of height one in the unique factorization domain T := A[[Y ]], it follows that P A[[Y ]] = (f) is a principal ideal with f = Y r + a 1 (x 1,..., x d )Y r a r (x 1,..., x d ) for some r 1 and a i (x 1,..., x d ) A. Since y is integral over the ideal (x 1,..., x l )R and B R is a finite extension, y is also integral over (x 1,..., x l )B ([13, 1.6.1]). In particular, y is integral over (x 1,..., x d )B, so
12 12 C. CIUPERCĂ e B ((x 1,..., x d ), B) = e B ((x 1,..., x d, y), B). Using (2.4) and the fact that A and B have the same residue field, we obtain (3.2.1) e A ((x 1,..., x d ), A) rank A B = e B ((x 1,..., x d ), B) = e B ((x 1,..., x d, y), B). On the other hand, B = T/(f), so e B ((x 1,..., x d, y), B) = ord T (f), with ord T (f) = max{n f (X 1,..., X d, Y ) n T }. Since e A ((x 1,..., x d ), A) = 1 and rank A B = r, it follows that r = ord T (f). This equality shows that we must have a i (x 1,..., x d ) (x 1,..., x d ) i A for all i = 1,..., r. If we set I := (x 1,..., x l, y)b, the equality f(y) = 0 shows, in particular, that (3.2.2) I r I r 1 (x 1,..., x l )B + (x l+1,..., x d )B. At this point we note that I is an equimultiple ideal of B of height l. This follows from the fact that IR is equimultiple and B R is a finite extension of formally equidimensional local rings. Indeed, let Q B I be a prime ideal of B with ht Q B = ht I. Let Q R be a prime ideal of R such that Q R B = Q B. Then ht I = ht Q B = dim B dim B/Q B = dim R dim R/Q R = ht Q R ht IR = l. On the other hand, since y is integral over (x 1,..., x l )B we have l(i) l. As l(i) ht I we must have l = l(i) = ht I. We can now apply Lemma 3.1 for p = I and conclude that I r (x l+1,..., x d )B = I r (x l+1,..., x d )B. On the other hand, using (3.2.2) we have I r I r 1 (x 1,..., x l )B + I r (x l+1,..., x d )B = I r 1 (x 1,..., x l )B + I r (x l+1,..., x d )B I r 1 (x 1,..., x l )B + m B I r where m B is the maximal ideal of B. This shows that I r = I r 1 (x 1,..., x l )B, i.e. y satisfies an equation of integral dependence of degree r over the ideal (x 1,..., x l )B, and hence over J = (x 1,..., x l )R. It remains to prove that r c q (J). First observe that since R and B have the same residue field, we have e B ((x 1,..., x d ), B) rank B R = e R ((x 1,..., x d ), R). As r = e B ((x 1,..., x d ), B) (see 3.2.1), it follows that r e R ((x 1,..., x d ), R). We next prove that e R ((x 1,..., x d ), R) = c q (J), which will finish the proof. Considering the system of parameters x 1,..., x d of R, by applying (2.3) and keeping in mind that
13 REDUCTION NUMBERS OF EQUIMULTIPLE IDEALS 13 R/(x l+1,..., x d ) is equidimensional ([13, B.4.4]), we obtain e R ((x 1,..., x d ), R) = e R ((x l+1,..., x d ), R/p)) e Rp ((x 1,..., x l )R p ), p Λ where Λ consists of all the minimal prime ideals p over J = (x 1,..., x l ). However, recall that for our chosen system of parameters, the elements x l+1,..., x d generate a (minimal) reduction of the maximal ideal of R/(x 1,..., x l ), so e R ((x l+1,..., x d ), R/p) = e R (m, R/p) = e R (R/p) for each p Λ. On the other hand, from (2.5.1) c q (J) = p Λ e R (R/p) e Rp ((x 1,..., x l )R p ), which implies that c q (J) = e R ((x 1,..., x d ), R), finishing the proof. Remark 3.3. In the case of an m-primary ideal J, each element of J satisfies an equation of integral dependence over J of degree e A (J). At the same time, as proved by Rees, the Hilbert-Samuel multiplicity e A (J) gives a numerical characterization of the integral closure of J. From this point of view, when J is just equimultiple, it is perhaps not surprising that c q (J) gives an upper bound for the degree of an equation of integral dependence because, as noted in (2.6), c q (J) characterizes the integral closure of equimultiple ideals the same way the classical Hilbert-Samuel multiplicity does it for m-primary ideals. If the characteristic of the field contained in R is zero, the following corollary shows that the big reduction number of an equimultiple ideal is at most c q (J) 1. Corollary 3.4. Let (R, m) be an unmixed local ring containing a field of characteristic zero and J an equimultiple ideal of R. If K is a minimal reduction of J, then r K (J) c q (J) 1. Proof. We first observe that for any ideal I in a noetherian ring R that contains a field of characteristic zero and each n 1, the ideal I n is generated by {x n x I}. In order to see this, choose a finite set of generators for I = (a 1,..., a t ). In the polynomial ring R[X 1,..., X n ] we have the identity n!x 1 X n = ( 1) n s (X i1 + + X is ) n,
14 14 C. CIUPERCĂ where the sum runs over all s {1,..., n} and all (i 1,..., i s ) with 1 i 1 <... < i s n. Since n! is invertible in R, this implies that a α 1 1 a αt t x n x I for every α 1,..., α t 0 with α α t = n, and hence I n = x n x I. Set r := c q (J) and let x J arbitrary. Since the ideal K is equimultiple, by Theorem 3.2 the element x satisfies an equation of integral dependence over K of degree at most r = c q (K) = c q (J). It follows that x r J r = KJ r 1. K(K + xr) r 1 KJ r 1 for every x J and thus Remark 3.5. Under the assumptions of the previous corollary, if J is an m-primary ideal and K is a minimal reduction of J, then c q (J) = e R (J) and r K (J) e R (J) 1. Since the ideal J is m-primary, Theorem 3.2 is not needed. The inequality follows directly from Hickel s theorem and the argument used in Corollary 3.4. References [1] R. Achilles, M. Manaresi, Multiplicity for ideals of maximal analytic spread and intersection theory, J. Math. Kyoto Univ. 33 (1993), [2] R. Achilles, M. Manaresi, Multiplicities of a bigraded ring and intersection theory, Math. Ann. 309 (1997), [3] R. Achilles, M. Manaresi, Generalized Samuel multiplicities and applications, Rend. Semin. Mat. Univ. Politec. Torino 64 (2006), [4] E. Böger, Eine Verallgemeinerung eines Multiplizitätensatzes von D. Rees, J. Algebra 12 (1969), [5] W. Bruns, J. Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, 39, Cambridge University Press, Cambridge, [6] C. Ciupercă, A numerical characterization of the S 2 -ification of a Rees algebra, J. Pure Appl. Algebra 178 (2003), [7] C. Ciupercă, Degrees of multiplicity functions for equimultiple ideals, J. Algebra 452 (2016), [8] A. Corso, C. Polini, W. Vasconcelos, Multiplicity of the special fiber of blowups, Math. Proc. Cambridge Philos. Soc. 140 (2006), [9] S. Goto, Y. Shimoda, On the Rees algebras of Cohen-Macaulay local rings, Commutative algebra (Fairfax, Va., 1979), pp , Lecture Notes in Pure and Appl. Math., 68, Dekker, New York, [10] U. Grothe, M. Herrmann, U. Orbanz, Graded Cohen-Macaulay rings associated to equimultiple ideals, Math. Z. 186 (1984),
15 REDUCTION NUMBERS OF EQUIMULTIPLE IDEALS 15 [11] M. Herrmann, S. Ikeda, U. Orbanz, Equimultiplicity and blowing up. An algebraic study. With an appendix by B. Moonen, Springer-Verlag, Berlin, [12] M. Hickel, Sur les relations de dépendance intégrale sur un idéal, Comm. Algebra 41 (2013), no. 4, [13] C. Huneke, I. Swanson, Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, 336, Cambridge University Press, Cambridge, [14] H. Matsumura, Commutative ring theory, Second Edition, Cambridge Studies in Advanced Mathematics, 8, Cambridge University Press, Cambridge, [15] M. Nagata, Local rings, Interscience Tracts in Pure and Applied Mathematics, No. 13 Interscience Publishers a division of John Wiley & Sons, New York-London, [16] K. J. Nowak, A proof of the criterion for multiplicity one, Univ. Iagel. Acta Math. No. 35 (1997), [17] L. J. Ratliff, Jr., Locally quasi-unmixed Noetherian rings and ideals of the principal class, Pacific J. Math. 52 (1974), [18] M. E. Rossi, A bound on the reduction number of a primary ideal, Proc. Amer. Math. Soc. 128 (2000), [19] J. D. Sally, Bounds for numbers of generators of Cohen-Macaulay ideals, Pacific J. Math. 63 (1976), [20] G. Scheja, Uber ganz-algebraische Abhängigkeit in der Idealtheorie, Comment. Math. Helv. 45 (1970), [21] W. Vasconcelos, Cohomological degrees of graded modules, Six lectures on commutative algebra (Bellaterra, 1996), , Progr. Math., 166, Birkhäuser, Basel, [22] W. Vasconcelos, Reduction numbers of ideals, J. Algebra 216 (1999), [23] W. Vasconcelos, Multiplicities and reduction numbers, Compositio Math. 139 (2003), Department of Mathematics 2750, North Dakota State University, PO BOX 6050, Fargo, ND , USA address: catalin.ciuperca@ndsu.edu
AN 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 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 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 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 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 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 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 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 informationSEQUENCES FOR COMPLEXES II
SEQUENCES FOR COMPLEXES II LARS WINTHER CHRISTENSEN 1. Introduction and Notation This short paper elaborates on an example given in [4] to illustrate an application of sequences for complexes: Let R be
More informationDOUGLAS J. DAILEY AND THOMAS MARLEY
A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.
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 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 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 informationCitation Osaka Journal of Mathematics. 44(4)
TitleCohen-Macaulay local rings of embed Author(s) Wang, Hsin-Ju Citation Osaka Journal of Mathematics. 44(4) Issue 2007-2 Date Text Version publisher URL http://hdl.handle.net/094/0242 DOI Rights Osaka
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 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 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 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 informationHILBERT COEFFICIENTS AND THE DEPTHS OF ASSOCIATED GRADED RINGS. Sam Huckaba and Thomas Marley 1
HILBERT COEFFICIENTS AND THE DEPTHS OF ASSOCIATED GRADED RINGS Sam Huckaba and Thomas Marley 1 1. Introduction This work was motivated in part by the following general question: Given an ideal I in a Cohen-Macaulay
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 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 informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
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 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 informationBulletin of the. Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Bulletin of the Iranian Mathematical Society Vol. 41 (2015), No. 4, pp. 815 824. Title: Pseudo-almost valuation rings Author(s): R. Jahani-Nezhad and F.
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 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 informationThe Hilbert functions which force the Weak Lefschetz Property
The Hilbert functions which force the Weak Lefschetz Property JUAN MIGLIORE Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, USA E-mail: Juan.C.Migliore.1@nd.edu FABRIZIO ZANELLO
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 informationarxiv:math/ v1 [math.ra] 9 Jun 2006
Noetherian algebras over algebraically closed fields arxiv:math/0606209v1 [math.ra] 9 Jun 2006 Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Drive Burnaby, BC, V5A 1S6
More informationAnother proof of the global F -regularity of Schubert varieties
Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
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 informationIntegral Closures of Ideals in Completions of Regular Local Domains
Integral Closures of Ideals in Completions of Regular Local Domains WILLIAM HEINZER, Department of Mathematics, Purdue University, West Lafayette, IN 47907-1395 USA E-mail: heinzer@math.purdue.edu CHRISTEL
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 informationarxiv:math/ v1 [math.ac] 11 Nov 2005
A note on Rees algebras and the MFMC property arxiv:math/0511307v1 [math.ac] 11 Nov 2005 Isidoro Gitler, Carlos E. Valencia and Rafael H. Villarreal 1 Departamento de Matemáticas Centro de Investigació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 informationALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.
ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into
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 informationMATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1
MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show
More informationarxiv: v3 [math.ac] 3 Jul 2012
DAGGER CLOSURE IN REGULAR RINGS CONTAINING A FIELD HOLGER BRENNER AND AXEL STÄBLER arxiv:1103.1786v3 [math.ac] 3 Jul 2012 Abstract. We prove that dagger closure is trivial in regular domains containing
More informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More informationCONDITIONS FOR THE YONEDA ALGEBRA OF A LOCAL RING TO BE GENERATED IN LOW DEGREES
CONDITIONS FOR THE YONEDA ALGEBRA OF A LOCAL RING TO BE GENERATED IN LOW DEGREES JUSTIN HOFFMEIER AND LIANA M. ŞEGA Abstract. The powers m n of the maximal ideal m of a local Noetherian ring R are known
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 informationA family of local rings with rational Poincaré Series
arxiv:0802.0654v1 [math.ac] 5 Feb 2008 A family of local rings with rational Poincaré Series Juan Elias Giuseppe Valla October 31, 2018 Abstract In this note we compute the Poincare Series of almost stretched
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More 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 informationZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim
Serdica Math. J. 30 (2004), 87 94 ZERO-DIMENSIONALITY AND SERRE RINGS D. Karim Communicated by L. Avramov Abstract. This paper deals with zero-dimensionality. We investigate the problem of whether a Serre
More informationWHEN IS A NAKAYAMA CLOSURE SEMIPRIME?
WHEN IS A NAKAYAMA CLOSURE SEMIPRIME? JANET C. VASSILEV ABSTRACT. Many well known closure operations such as integral closure and tight closure are both semiprime operations and Nakayama closures. In this
More informationUPPER BOUNDS FOR FINITENESS OF GENERALIZED LOCAL COHOMOLOGY MODULES
Journal of Algebraic Systems Vol. 1, No. 1, (2013), pp 1-9 UPPER BOUNDS FOR FINITENESS OF GENERALIZED LOCAL COHOMOLOGY MODULES M. AGHAPOURNAHR Abstract. Let R be a commutative Noetherian ring with non-zero
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
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 informationMULTIPLICITIES OF MONOMIAL IDEALS
MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I
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 informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
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 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 informationAssociated graded rings of one-dimensional analytically irreducible rings
Associated graded rings of one-dimensional analytically irreducible rings V. Barucci Dipartimento di matematica Università di Roma 1 Piazzale Aldo Moro 2 00185 Roma Italy email barucci@mat.uniroma1.it
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationFINITE REGULARITY AND KOSZUL ALGEBRAS
FINITE REGULARITY AND KOSZUL ALGEBRAS LUCHEZAR L. AVRAMOV AND IRENA PEEVA ABSTRACT: We determine the positively graded commutative algebras over which the residue field modulo the homogeneous maximal ideal
More informationarxiv: v2 [math.ac] 7 May 2018
INFINITE DIMENSIONAL EXCELLENT RINGS arxiv:1706.02491v2 [math.ac] 7 May 2018 HIROMU TANAKA Abstract. In this note, we prove that there exist infinite dimensional excellent rings. Contents 1. Introduction
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 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 informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
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 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 informationTHE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter
THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,
More informationQuasi-primary submodules satisfying the primeful property II
Hacettepe Journal of Mathematics and Statistics Volume 44 (4) (2015), 801 811 Quasi-primary submodules satisfying the primeful property II Hosein Fazaeli Moghimi and Mahdi Samiei Abstract In this paper
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 informationSEVERAL RESULTS ON FINITENESS PROPERTIES OF LOCAL COHOMOLOGY MODULES OVER COHEN MACAULAY LOCAL RINGS
SEVERAL RESULTS ON FINITENESS PROPERTIES OF LOCAL COHOMOLOGY MODULES OVER COHEN MACAULAY LOCAL RINGS KEN-ICHIROH KAWASAKI We assume that all rings are commutative and noetherian with identity throughout
More informationON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes
ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals
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 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 informationOPENNESS OF FID-LOCI
OPENNESS OF FID-LOCI YO TAKAHASHI Abstract. Let be a commutative Noetherian ring and M a finite -module. In this paper, we consider Zariski-openness of the FID-locus of M, namely, the subset of Spec consisting
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 informationarxiv:math/ v1 [math.ac] 3 Apr 2006
arxiv:math/0604046v1 [math.ac] 3 Apr 2006 ABSOLUTE INTEGRAL CLOSURE IN OSITIVE CHARACTERISTIC CRAIG HUNEKE AND GENNADY LYUBEZNIK Abstract. Let R be a local Noetherian domain of positive characteristic.
More informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
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 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 informationSUMS OF UNITS IN SELF-INJECTIVE RINGS
SUMS OF UNITS IN SELF-INJECTIVE RINGS ANJANA KHURANA, DINESH KHURANA, AND PACE P. NIELSEN Abstract. We prove that if no field of order less than n + 2 is a homomorphic image of a right self-injective ring
More informationDepth of some square free monomial ideals
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 117 124 Depth of some square free monomial ideals by Dorin Popescu and Andrei Zarojanu Dedicated to the memory of Nicolae Popescu (1937-2010)
More informationA NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO
A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO JASON P. BELL Abstract. Let k be a field. We show that a finitely generated simple Goldie k-algebra of quadratic growth is noetherian and has Krull dimension
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 informationA NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS
A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS RAVI JAGADEESAN AND AARON LANDESMAN Abstract. We give a new proof of Serre s result that a Noetherian local ring is regular if
More informationGORENSTEIN HILBERT COEFFICIENTS. Sabine El Khoury. Hema Srinivasan. 1. Introduction. = (d 1)! xd ( 1) d 1 e d 1
GORENSTEIN HILBERT COEFFICIENTS Sabine El Khoury Department of Mathematics, American University of Beirut, Beirut, Lebanon se24@aubedulb Hema Srinivasan Department of Mathematics, University of Missouri,
More informationLIVIA HUMMEL AND THOMAS MARLEY
THE AUSLANDER-BRIDGER FORMULA AND THE GORENSTEIN PROPERTY FOR COHERENT RINGS LIVIA HUMMEL AND THOMAS MARLEY Abstract. The concept of Gorenstein dimension, defined by Auslander and Bridger for finitely
More informationSome Algebraic and Combinatorial Properties of the Complete T -Partite Graphs
Iranian Journal of Mathematical Sciences and Informatics Vol. 13, No. 1 (2018), pp 131-138 DOI: 10.7508/ijmsi.2018.1.012 Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs Seyyede
More informationA note on Derivations of Commutative Rings
A note on Derivations of Commutative Rings MICHAEL GR. VOSKOGLOU School of Technological Applications Graduate Technological Educational Institute (T. E. I.) Meg. Alexandrou 1, 26334 Patras GREECE e-mail:
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
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 informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
More informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
More informationON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb
ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal
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 informationIntegral Extensions. Chapter Integral Elements Definitions and Comments Lemma
Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients
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 informationRees 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/ v2 [math.ac] 25 Sep 2006
arxiv:math/0607315v2 [math.ac] 25 Sep 2006 ON THE NUMBER OF INDECOMPOSABLE TOTALLY REFLEXIVE MODULES RYO TAKAHASHI Abstract. In this note, it is proved that over a commutative noetherian henselian non-gorenstein
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 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 information