Citation Osaka Journal of Mathematics. 44(4)
|
|
- Eugenia O’Connor’
- 6 years ago
- Views:
Transcription
1 TitleCohen-Macaulay local rings of embed Author(s) Wang, Hsin-Ju Citation Osaka Journal of Mathematics. 44(4) Issue Date Text Version publisher URL DOI Rights Osaka University
2 Wang, H.-J. Osaka J. Math. 44 (2007), COHEN-MACAULAY LOCAL RINGS OF EMBEDDING DIMENSION e + d k HSIN-JU WANG (Received July, 2006, revised November 3, 2006) Abstract In this paper, we prove the following. Let (R, m) be a d-dimensional Cohen- Macaulay local ring with multiplicity e and embedding dimension Ú = e + d k, where k 3 and e k. If (m 3 Jm 2 ) = and m 3 Jm, where J is a minimal reduction of m, then 3 s + k, where s is the degree of the h-polynomial of R and is the Cohen-Macaulay type of R.. Introduction Let (R, m) be a d-dimensional Noetherian local ring of multiplicity e. The Hilbert function of R is by definition the Hilbert function of the associated graded ring of R: G := Å n0 m n m n+, i.e., H R (n) = dim Rm m n m n+. The Hilbert series of R is the power eries P R (z) = H R (n)z n. n0 It is known that there is a polynomial h(z) ¾ Z[z] such that P R (z) = h(z)( z) d and h() = e. This polynomial h(z) = h 0 + h z + + h s z s is called the h-polynomial of R. Let (R, m) be a d-dimensional Cohen-Macaulay local ring with embedding dimension Ú = e + d k, where k 3. Let J be a minimal reduction of m. Let be the Cohen-Macaulay type of R, h = Ú d and Ú i = (m i+ Jm i ) for every i; then there are at least two possible Hilbert series of RJ: P RJ (z) = + hz + z z k and P RJ (z) = + hz + (k )z 2. In the first case, R is stretched (cf. definition below) and we have m k Jm; in the second case, following [3], we say that R is short and we have m 3 Jm and Ú = k Mathematics Subject Classification. 3D40, 3H0.
3 88 H.-J. WANG Let (R, m) be a d-dimensional local Cohen-Macaulay ring of multiplicity e and embedding dimension Ú. If d = 0, then R is called stretched if e Ú is the least integer i such that m i+ = 0. If d 0, then R is stretched if there is a minimal reduction J of m such that RJ is stretched (cf. [6]), or equivalently, (m 2 + J)J is principal. Regular local rings are not stretched since fields are not stretched. However, for any d-dimensional local Cohen-Macaulay ring (R, m) having infinite residue field, if Ú = e + d with e or Ú = e + d 2 with e 2, then R is stretched. Moreover, if Ú = e + d 3 and R is Gorenstein, then R is stretched. These stretched rings have been studied in [6], [7] and [8]. In [4], Rossi and Valla extended the notion stretched. There they defined, for each m-primary ideal I, I is stretched if there is a minimal reduction J of I such that I 2 J = I J and (I 2 (J I + I 3 )) =. In [6], Sally studied the structure of stretched local Gorenstein rings, and use it to show in [8] that if (R, m) is a d-dimensional Gorenstein local ring with embedding dimension Ú = e + d 3, then the associated graded ring of R is Cohen-Macaulay. This result has been generalized by Rossi and Valla in [3] as follows. Theorem. ([3, Theorem 2.6]). If (R, m) is a d-dimensional Cohen-Macaulay local ring of multiplicity e = h + 3 and (m 3 Jm 2 ) =, then s + 2, where s is the degree of the h-polynomial of R. In [4], Rossi and Valla generalized Theorem. to stretched m-primary ideals. In this note, we are able to generalize Theorem. in a different manner in Section 4 as follows. In which, we do not assume R is stretched. In stead, we assume that R is short and Ú 2 =. Theorem.2. Let (R, m) be a d-dimensional Cohen-Macaulay local ring of multiplicity e = h + k, where k 3 and e k. If (m 3 Jm 2 ) = and m 3 Jm, where J is a minimal reduction of m, then 3 s + k, where s is the degree of the h-polynomial of R. In the final section, we provide several examples to answer some questions raised by Rossi and Valla in [3]. 2. One dimensional local Cohen-Macaulay ring We state several facts of one dimensional local Cohen-Macaulay rings. These results can be derived easily from [] and [5]. Lemma 2.. Let (R, m) be a one dimensional local Cohen-Macaulay ring; then (m n m n+ ) = e (m n+ Jm n ), where J is any minimal reduction of m. Lemma 2.2. Let (R, m) be a one dimensional Cohen-Macaulay local ring with embedding dimension 2. Then G(R) is Gorenstein.
4 COHEN-MACAULAY LOCAL RINGS 89 Corollary 2.3. Let (R, m) be a d-dimensional Cohen-Macaulay local ring with embedding dimension d +. Then G(R) is Gorenstein. 3. Cohen-Macaulay local rings of embedding dimension e + d k Let (R, m) be a d-dimensional Cohen-Macaulay local ring with embedding dimension Ú = e + d k, where k 3 and e k. Let be the Cohen-Macaulay type of R, h = Ú d and Ú i = (m i+ Jm i ) for every i. Let J be a minimal reduction of m; then one of the possible Hilbert series of RJ is + hz + (k )z 2. In this case, m 3 Jm and Ú = k. If k = 3, it is shown in [3, Theorem 2.6] that if Ú 2 = then s + 2, where s is the degree of the h-polynomial of R. We are able to generalize this result in this section. Theorem 3.. Let (R, m) be a d-dimensional Cohen-Macaulay local ring of multiplicity e = h + k, where k 3 and e k. If (m 3 Jm 2 ) = and m 3 Jm, where J is a minimal reduction of m, then 3 s + k, where s is the degree of the h-polynomial of R. REMARK 3.2. (i) Notice that the assumption Ú 2 = ensures that the depth of G is at leat d (cf. [3]). Therefore to show Theorem 3., we need only to consider the case when d =. (ii) If d =, then s is the least integer for which (m s m s+ ) = e. (iii) Notice that (m 2 Jm) = k. Moreover, if m 2 = Jm + (u,, u k ), then u,, u k is part of a generating set of the socle of R. By Remark 3.2, we may assume from now on that d = and Ú 2 =. Lemma 3.3. Let r be the reduction number of m with respect to J. If r 3, then Theorem 3. holds. Proof. If r 3, then m 4 = Jm 3, so that (m 3 m 4 ) = e, it follows that s 3 + k by the choice of s. By Lemma 3.3, we may assume in the sequel that r 4. Lemma 3.4. The following hold for R: (i) If m 3 = Jm 2 +(ab) for some b ¾ math f racm 2 and a ¾ m, then m i+ = Jm i +(a i b) for every i 2. (ii) If ym 2 Jm 2 for some y ¾ m, then y 3 ¾ Jm 2. In particular, there is an element y ¾ m such that m i+ = Jm i + (y i+ ) for every i 2. Proof. (i) If m i+ = Jm i + (a i b) for some i 2, then m i+2 = Jm i+ + a i bm Jm i+ + a i m 3 = Jm i+ + (a i b) m i+2.
5 820 H.-J. WANG (ii) Suppose that ym 2 Jm 2. Then there are u, Ú ¾ m such that uúy ¾ Jm 2 and m 3 = Jm 2 + (yuú). Therefore, m 4 = Jm 3 + (y 2 uú). It follows that y 2 u ¾ Jm 2 and m 3 = Jm 2 + (y 2 u). Thus, m 4 = Jm 3 + (y 3 u) and then y 3 ¾ Jm 2. Now, choose y ¾ m such that ym 2 Jm 2, then m i+ = Jm i + (y i+ ) for every i 2. Lemma 3.5. Let J = (x) be a minimal reduction of m. If there is an element y ¾ m such that m i+ = Jm i + (y i+ ) for every i 2, then y l x t is a generator of the module (J t m l +m l+t+ )(J t+ m l +m l+t+ ) whenever 2 l r, where r is the reduction number of m with respect to J. Proof. If not, y l x t ¾ J t+ m l + m l+t+, so that y r x t ¾ x t+ m r, it follows that y r ¾ Jm r, a contradiction. Therefore, the conclusion holds. Theorem 3.6. Let (R, m) be a one dimensional Cohen-Macaulay local ring of multiplicity e = h + k, where k 3 and e k. Assume that (m 3 Jm 2 ) = (m 4 Jm 3 ) = and m 3 Jm, where J = (x) is a minimal reduction of m. Then there is a basis x, y,, y, z,, z e k of m, elements u t+,, u k contained in m and elements c i j i =, È, k, j =,, j i contained in the ideal k (y 2,, y k, z,, z e k) with i= j i(k i) = e k such that J = (x) and the following hold: (i) m i+ = Jm i + (y i+ ) for every i 2. (ii) m 2 = Jm+(y 2, y y 2,, y y t, y t+ u t+,, y k u k ), where t = ((y m+ Jm)Jm). (iii) y 2, y y 2,, y y t, y t+ u t+,, y k u k, y k,, y is a generating set of the socle of R. (iv) y y i ¾ Jm for i t + and y z i ¾ Jm for every i. (v) y i m 3 Jm 3 for every Ë i 2 and z i m 3 Jm 3 for every i. È (vi) z,, z e k = i, j,k z(l) i j, ((ci j m+ Jm)Jm) = k i and m 2 k i = Jm+ l= z(l) i j c i j for every i =,, k and j =,, j i. (vii) c i j z (l) i ¼ j ¾ Jm if i ¼ i ¼ or i = i ¼ but j j ¼. (viii) y 3 ¾ J(z,, z e k) + Jm 2. Proof. By Lemma 3.4, there is an element y ¾ m such that (i) hold. Let t = ((y m + Jm)Jm); then there are y 2,, y k, u t+,, u k ¾ m such that m 2 = Jm + (y 2, y y 2,, y y t, y t+ u t+,, y k u k ) and y m + Jm = (y 2, y y 2,, y y t ) + Jm. We may assume that y 2y i ¾ Jm 2 for 2 i t by replacing y i by y i + y if necessary, and assume that y y j ¾ Jm for t + j k by replacing y j by y j + y + + t y t if necessary. It follows that y i m 3 = (y i y 3) + Jm3 = Jm 3 for every i k. Since the Cohen-Macaulay type of R is and y 2, y y 2,, y y t, y t+ u t+,, y k u k is part of a generating set of the socle of R, we may choose y k,, y, z,, z e k ¾ m such that y k,, y, z,, z e k is part of a generating set of m and y 2, y y 2,, y y t, y t+ u t+,, y k u k, y k,, y is a generating set of the socle of R. If z i y ¾ Jm for some i, then we may replace z i by
6 COHEN-MACAULAY LOCAL RINGS 82 z i + «y + + «t y t if necessary and assume that z i y ¾ Jm for every i. Therefore z i m 3 Jm 3 + z i y m 2 Jm 3. Hence, the basis x, y,, y, z,, z e k of m satisfies (i) to (v) so far. Claim. For any integer i =,, k, there is an integer j i, a basis x, y,, y, z,, z e k of m and elements c i j j =,, j i contained in the ideal (y 2,, y k, z,, z e k) such that not only (i) to (v) but also the following hold: (a) ((c i j m + Jm)Jm) = k i, m 2 = Jm + z () i j c (k i) i j,, z i j c i j. (b) c i j z (l) i j ¾ Jm for every l if j ¼ j ¼ and c i j z ¾ Jm for every generator of the ideal generated (l) by S i, where S i = z,, z e k z i ¼ j i ¼ i, j j i, l k i. Note that (vi) and (vii) follows from the Claim. Proof of the Claim. We proceed by induction on i. Let z be any generator of the ideal (z,, z e k). Since y z, y i z ¾ Jm for every i k, there is an element c ¾ (y 2,, y k, z,, z e k) such that cz ¾ Jm. If for any generating set z ¼,, z¼ e k of the ideal (z,, z e k) there is no element c ¾ (y 2,, y k, z,, z e k) such that m 2 = (cz ¼,, cz¼ k ) + Jm, then the Claim holds for i =. If not, we may assume that m 2 = (c z,, c z k ) + Jm for some c ¾ (y 2,, y k, z,, z e k). Set z (l) = z l. Let z be any generator of the È ideal (z k,, z e k). If c z ¾ Jm, then k there are elements «i such that c z i= c z È (i) ¾ Jm, so that we may replace k z by i= z(i) if necessary and assume that c z ¾ Jm. If for any generating set z ¼ k,, z¼ e k of the ideal (z k,, z e k) there is no element c ¾ (y 2,, y k, z,, z e k) such that m 2 = (cz ¼ k,, cz¼ 2k 2 ) + Jm, then again the Claim holds for i =. If not, we may use the same trick to find c 2, c 3, so that the Claim holds for i =. Suppose now È we have shown that the Claim holds for any integer i ¼ i for some i i. Let m = i ¼ = j i ¼(k i ¼ ) and S i = z m+,, z e k. If for any generating set z ¼ m+,, z¼ e k of the ideal generated by S i there is no element c ¾ (y 2,, y k, z,, z e k) such that m 2 = (cz ¼ m+,, cz¼ m+k i ) + Jm, then the Claim holds for i +. If not, we may assume that for some c i+, ¾ (y 2,, y k, z,, z e k), m 2 = (c i+, z m+,, c i+, z m+k i )+ Jm. Set z (l) i+, = z m+l. As before, we may assume that c i+, z ¾ Jm for every generator z of the ideal (z m+k i,, z e k). If for any generating set z ¼ m+k i,, z¼ e k of the ideal (z m+k i,, z e k) there is no element c ¾ (y 2,, y k, z,, z e k) such that m 2 = (cz ¼ m+k i,, cz¼ m+2k 2i 2 )+ Jm, then again the Claim holds for i +. If not, we may use the same trick to find c i+,2, c i+,3, so that the Claim hods for i +. The Claim is now fulfilled. To finish the proof, assume that È y 3 ¾ J(z,, z e k) + Jm 2. Then there are Æ i ¾ R not all in m such that y 3 e k i= x ¾ Jm 2. Let t be the smallest integer
7 822 H.-J. WANG È for which Æ t is a unit; then y 3 e k x ¾ Jm 2. Let z = c i j if z t = z (l) i j for È some l; then z e k x zy È 3 ¾ Jm 3, so that z e k ¾ m3 Jm È as z ¾ (y 2,, y k, z,, z e k). However, z e k ¾ Jm by the Claim, a contradiction. Therefore (viii) holds. Now, we are ready for: Proof of Theorem 3.. From the above, we may assume that d =, 2 and r 4, where r is the reduction number of some minimal reduction J of m. By Theorem 3.6, there is a basis x, y,, y, z,, z e k of m, elements u t+,, u k contained in m and elements c i j i =, È, k, j =,, j i contained in the k ideal (y 2,, y k, z,, z e k) with i= j i(k i) = e k such that J = (x) and the following hold: (i) m i+ = Jm i + (y i+ ) for every i 2. (ii) m 2 = Jm+(y 2, y y 2,, y y t, y t+ u t+,, y k u k ), where t = ((y m+ Jm)Jm). (iii) y 2, y y 2,, y y t, y t+ u t+,, y k u k, y k,, y is a generating set of the socle of R. (iv) y y i ¾ Jm for i t + and y z i ¾ Jm for every i. (v) y i m 3 Jm 3 for every Ë i 2 and z i m 3 Jm 3 for every i. È (vi) z,, z e k = i, j,k z(l) i j, ((ci j m+ Jm)Jm) = k i and m 2 k i = Jm+ l= z(l) i j c i j for every i =,, k and j =,, j i. (vii) c i j z (l) i ¼ j ¾ Jm if i ¼ i ¼ or i = i ¼ but j j ¼. (viii) y 3 ¾ J(z,, z e k) + Jm 2. If h, then s = h + k + k by [2] and we are done. Therefore, we may assume that h. To show that s + k, it is enough to show that (m +k m +k ) = e by Remark 3.2 (ii). Moreover, by Lemma 3.5, y +k, y +k 2 x,, y 2x +k 3 are generators of the module m +k (J +k 2 m+m +k ), therefore to show that (m +k m +k ) = e it is enough to show that y x +k 2, x +k, z x +k 2,, z e kx +k 2 is a linearly independent set in (x +k 2 m + m +k )m +k. Suppose not, there are «,, Æ i in R not all in m such that e k «y x +k 2 + x +k + i= x +k 2 ¾ m +k. Then e k «y r x +k 2 + y r x +k + i= x +k 2 y r ¾ m +r+k,
8 COHEN-MACAULAY LOCAL RINGS 823 so that «y r x +k 2 ¾ x +k m r as y z i ¾ Jm, it follows that «¾ m by the choice of r. Therefore x +k + È e k i= x +k 2 ¾ m +k. If Æ i ¾ m for every i, then x +k ¾ m +k, which is impossible. So, there is an integer i such that Æ i is a unit. By replacing z i by z i + Æ i x, we may assume that ¾ m. Hence È e k i= x +k 2 ¾ m +k. Let t be the smallest integer for which Æ t is a unit; then È e k x +k 2 ¾ m +k. Let «+k be the integer such that È e k If È e k È e k x +k 2 ¾ J +k 3 m 3, then È e k x ¾ Jm 2 by (viii), it follows that È e k x +k 2 ¾ J +k «m «J +k+ «m «. x ¾ m 3 = (y 3) + Jm2, so that ¾ m 2, a contradiction. Therefore, «4. Since m «= (y «) + Jm «and (m «Jm «) =, there is a unit such that () e k x «2 y «¾ Jm «. È Let z = c i j if z t = z (l) i j ; then z e k ¾ Jm by (vi) and (vii). Moreover, z k x «2 y «z ¾ Jm«. È Furthermore, y 3z ¾ Jm3 e k by (v), we have z x 3 «¾ m «. Therefore, there is an element 2 of R such that k (2) z x «3 2 y «¾ Jm «. From () and (2), we see that there is an element 3 of R such that (z 3 x) k x «4 ¾ m «. Let «4 + k 4 be the non-negative integer such that (z 3 x) È e k Since z is a unit 4 of R such that (3) (z 3 x) k x ¾ m +3 Ò Jm +2. È ¾ Jm, (z e k 3 x) ¾ Jm 2, exists. Moreover, there k x 4 y +3 ¾ Jm +2.
9 824 H.-J. WANG On the other hand, from (), we have y r «+ x «2 y r+ ¾ Jm r, or equivalently, y r «+ x «3 ¾ m r. Since m r = (y r ) + Jmr, there is an element 5 of R such that (4) y r «+ However, from (), we have (5) y r «Thus, from (4) and (5), we obtain that (6) y r «(y 6 x) x «3 5 y r ¾ Jm r. x «2 y r ¾ Jm r k x «4 ¾ m r, for some element 6 of R. Now, if we can show that (7) for some element and (z 3 x)ỹr 3 4 y +3 y r 3 y r 3 x ¾ m r y r 3 ¾ m r 3 Ò Jm r 4, then from (3) and (7), we see that (z 3 x)ỹr 3 x 4 y +3 y r 3 ¾ Jm r È e k x ¾ zm r + Jm r = Jm r by (v), therefore ¾ Jm r, which contradicts to the choice of r. Hence, we conclude that y x +k 2, x +k, z x +k 2,, z e kx +k 2 is a linearly independent set in (x +k 2 m + m +k )m +k.
10 COHEN-MACAULAY LOCAL RINGS 825 Finally, by (6), we may prove (7) by reverse induction. Suppose we have shown that for some Æ, Æ «4, y r Æ 3 x Æ ¾ m r for some element ỹr Æ 3 ¾ m r Æ 3 Ò Jm r Æ 4. Then there is an element 6 ¾ R such that (8) y ỹ r Æ 3 From (5) and (8), we see that for some element y r Æ 2 x Æ 6 y r ¾ Jm r. x Æ ¾ Jm r y r Æ 2 ¾ m r Æ 2 Ò Jm r Æ 3, it follows that y r Æ 2 x Æ ¾ m r. We end this section by providing the following example. EXAMPLE 3.7. Let K be a field and R = K [[x, y, z,, z k ]]I, where I is the ideal of R generated by the set z 3 xy, y 2, yz,, yz k, z z 2,, z z k z i z j 2 i j k. The it is easy to see the following hold: (i) R is a -dimensional Cohen-Macaulay local ring with maximal ideal m = (x, y, z,, z k )I. (ii) x is a regular element of R and x R is a minimal reduction of m. (iii) Ú = k +, h = k and e = 2k. (iv) m 3 xm, z 3 is a basis of m3 xm 2 and z 2, z z 2,, z z k is a basis of (m 2 xm). È (v) H R (z) = + (k + )z + (2k )z 2 ½ + i=3 2kzi = ( + kz + (k 2)z 2 + z 3 )( z) and H Rx R (z) = + kz + (k )z 2. (vi) s = r = 3. (vii) depth G = 0.
11 826 H.-J. WANG 4. Examples In [3], Rossi and Valla raised the following questions: QUESTION. Let (R, m) be a d-dimensional Cohen-Macaulay local ring with embedding dimension Ú = e + d 3. If h, then is depth G d? QUESTION 2. If (R, m) is a d-dimensional Cohen-Macaulay local stretched domain with multiplicity e = h + 3 and = 2, then is G Cohen-Macaulay? We give counterexamples to these questions as follows. EXAMPLE 4.. Let K be a field and R = K [[x, y, z, u, Ú]](u 3 xz, Ú 3 yz, u 4, Ú 4, uú, z 2, zu, zú); then (R, m) is a 2-dimensional Cohen-Macaulay local ring and x, y is a regular sequence of m, where m = (x, y, z, u, Ú)R. Moreover, h = 3, e = 6 and = 3 as u 2, Ú 2, z generates the socle of R. However, z ¾ (m 3 : (x, y)) and z ¾ m 2, therefore the depth of G is 0. EXAMPLE 4.2. Let K be a field and R = K [[t 5, t 6, t 4 ]]; then (R, m) is a onedimensional Cohen-Maculay local domain, where m = (t 5, t 6, t 4 )R. Let x = t 5, y = t 6 and z = t 4 ; then h = 2, e = 5 = h + 3 and = 2 as z, y 3 generates the socle of R. Moreover, and P Rx R (z) = + 2z + z 2 + z 3 P R (z) = + 2z + z2 + z 4. z Hence R is stretched and G is not Cohen-Macaulay. In fact, zx ¾ (m 4 : x) and zx ¾ m 3. ACKNOWLEDGMENT. I am grateful to the referee for a number of valuable suggestions that improved the paper a lot. References [] W. Heinzer, M.-K. Kim and B. Ulrich: The Gorenstein and complete intersection properties of associated graded rings, J. Pure Appl. Algebra 20 (2005), [2] J. Herzog and R. Waldi: A note on the Hilbert function of a one-dimensional Cohen-Macaulay ring, Manuscripta Math. 6 (975), [3] M.E. Rossi and G. Valla: Cohen-Macaulay local rings of embedding dimension e + d 3, Proc. London Math. Soc. (3) 80 (2000),
12 COHEN-MACAULAY LOCAL RINGS 827 [4] M.E. Rossi and G. Valla: Stretched m-primary ideals, Beiträge Algebra Geom. 42 (200), [5] J.D. Sally: Super-regular sequences, Pacific J. Math. 84 (979), [6] J.D. Sally: Stretched Gorenstein rings, J. London Math. Soc. (2) 20 (979), 9 26 [7] J.D. Sally: Tangent cones at Gorenstein singularities, Compositio Math. 40 (980), [8] J.D. Sally: Good embedding dimensions for Gorenstein singularities, Math. Ann. 249 (980), Department of Mathematics National Chung Cheng University Chiayi 62 Taiwan hjwang@math.ccu.edu.tw
A 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 informationMATH 690 NOTES. 1. Associated graded rings
MATH 690 NOTES 1. Associated graded rings Question 1.1. Let G = k[g 1 ] = n 0 G n be a one-dimensional standard graded ring over the field k = G 0. What are necessary and sufficient conditions in order
More 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 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 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 informationPseudo symmetric monomial curves
Pseudo symmetric monomial curves Mesut Şahin HACETTEPE UNIVERSITY Joint work with Nil Şahin (Bilkent University) Supported by Tubitak No: 114F094 IMNS 2016, July 4-8, 2016 Mesut Şahin (HACETTEPE UNIVERSITY)
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 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 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 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 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 informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More 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 informationOn intersections of complete intersection ideals
On intersections of complete intersection ideals Mircea Cimpoeaş I.M.A.R. mircea.cimpoeas@imar.ro joint work with Dumitru Stamate July 7, 2016, I.M.N.S., Levico Terme, Italy Overview 1 Introduction 2 Main
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 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 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 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 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 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 informationWEAKLY CLEAN RINGS AND ALMOST CLEAN RINGS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 36, Number 3, 2006 WEAKLY CLEAN RINGS AND ALMOST CLEAN RINGS MYUNG-SOOK AHN AND D.D. ANDERSON ABSTRACT. Let R be a commutative ring with identity. Nicholson
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 informationCastelnuovo-Mumford Regularity and finiteness of Hilbert Functions
Castelnuovo-Mumford Regularity and finiteness of Hilbert Functions Maria Evelina Rossi, Department of Mathematics, University of Genoa, Via Dodecaneso 35, 16146 Genoa, Italy E-mail: rossim@dimaunigeit
More informationGROWTH OF RANK 1 VALUATION SEMIGROUPS
GROWTH OF RANK 1 VALUATION SEMIGROUPS STEVEN DALE CUTKOSKY, KIA DALILI AND OLGA KASHCHEYEVA Let (R, m R ) be a local domain, with quotient field K. Suppose that ν is a valuation of K with valuation ring
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 informationCitation Osaka Journal of Mathematics. 49(3)
Title ON POSITIVE QUATERNIONIC KÄHLER MAN WITH b_4=1 Author(s) Kim, Jin Hong; Lee, Hee Kwon Citation Osaka Journal of Mathematics. 49(3) Issue 2012-09 Date Text Version publisher URL http://hdl.handle.net/11094/23146
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 informationarxiv: v2 [math.ac] 25 Apr 2011
A FINITENESS CONDITION ON LOCAL COHOMOLOGY IN POSITIVE CHAACTEISTIC FLOIAN ENESCU arxiv:1101.4907v2 [math.ac] 25 Apr 2011 Abstract. In this paper we present a condition on a local Cohen-Macaulay F-injective
More 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 informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
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 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 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 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 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 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 informationRIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS
Communications in Algebra, 34: 3883 3889, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870600862714 RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT
More informationM ath. Res. Lett. 15 (2008), no. 3, c International Press 2008 SOME CASES OF THE EISENBUD-GREEN-HARRIS CONJECTURE
M ath. Res. Lett. 15 (2008), no. 3, 427 433 c International Press 2008 SOME CASES OF THE EISENBUD-GREEN-HARRIS CONJECTURE Giulio Caviglia and Diane Maclagan Abstract. The Eisenbud-Green-Harris conjecture
More informationNUMERICAL MONOIDS (I)
Seminar Series in Mathematics: Algebra 2003, 1 8 NUMERICAL MONOIDS (I) Introduction The numerical monoids are simple to define and naturally appear in various parts of mathematics, e.g. as the values monoids
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 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 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 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 informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
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 informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
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 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 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 informationULRICH IDEALS AND ALMOST GORENSTEIN RINGS
ULRICH IDEALS AND ALMOST GORENSTEIN RINGS SHIRO GOTO, RYO TAKAHASHI, AND NAOKI TANIGUCHI Abstract. The structure of the complex RHom R (R/I, R) is explored for an Ulrich ideal I in a Cohen Macaulay local
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 informationCOMPLETE SPACELIKE HYPERSURFACES IN THE DE SITTER SPACE
Chao, X. Osaka J. Math. 50 (203), 75 723 COMPLETE SPACELIKE HYPERSURFACES IN THE DE SITTER SPACE XIAOLI CHAO (Received August 8, 20, revised December 7, 20) Abstract In this paper, by modifying Cheng Yau
More informationON ALMOST PSEUDO-VALUATION DOMAINS, II. Gyu Whan Chang
Korean J. Math. 19 (2011), No. 4, pp. 343 349 ON ALMOST PSEUDO-VALUATION DOMAINS, II Gyu Whan Chang Abstract. Let D be an integral domain, D w be the w-integral closure of D, X be an indeterminate over
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 informationMath 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010
Math 4370 Exam 1 Handed out March 9th 2010 Due March 18th 2010 Problem 1. Recall from problem 1.4.6.e in the book, that a generating set {f 1,..., f s } of I is minimal if I is not the ideal generated
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 informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
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 informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationLecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]
Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j
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 informationCentral simple modules of a Gorenstein Artin. algebra
Central simple modules of a Gorenstein Artin algebra Anthony Iarrobino Department of Mathematics, Northeastern University, Boston, MA 02115, USA.. Talk at NU TAPAS 2009. Work joint with M. Boij Abstract:
More informationOn Extensions of Modules
On Extensions of Modules Janet Striuli Department of Mathematics, University of Kansas, Lawrence, KS 66045, USA Abstract In this paper we study closely Yoneda s correspondence between short exact sequences
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 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 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 informationNUMERICAL MACAULIFICATION
NUMERICAL MACAULIFICATION JUAN MIGLIORE AND UWE NAGEL Abstract. An unpublished example due to Joe Harris from 1983 (or earlier) gave two smooth space curves with the same Hilbert function, but one of the
More 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 informationSequences of height 1 primes in Z[X]
Sequences of height 1 primes in Z[X] Stephen McAdam Department of Mathematics University of Texas Austin TX 78712 mcadam@math.utexas.edu Abstract: For each partition J K of {1, 2,, n} (n 2) with J 2, let
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 information12 Hilbert polynomials
12 Hilbert polynomials 12.1 Calibration Let X P n be a (not necessarily irreducible) closed algebraic subset. In this section, we ll look at a device which measures the way X sits inside P n. Throughout
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationRUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW
Hedén, I. Osaka J. Math. 53 (2016), 637 644 RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW ISAC HEDÉN (Received November 4, 2014, revised May 11, 2015) Abstract The famous Russell hypersurface is
More informationINITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F
INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal
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 informationALMOST GORENSTEIN RINGS TOWARDS A THEORY OF HIGHER DIMENSION
ALMOST GORENSTEIN RINGS TOWARDS A THEORY OF HIGHER DIMENSION SHIRO GOTO, RYO TAKAHASHI, AND NAOKI TANIGUCHI Abstract. The notion of almost Gorenstein local ring introduced by V. Barucci and R. Fröberg
More informationSUBRINGS OF NOETHERIAN RINGS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 46, Number 2, November 1974 SUBRINGS OF NOETHERIAN RINGS EDWARD FORMANEK AND ARUN VINAYAK JATEGAONKAR ABSTRACT. Let S be a subring of a ring R such
More informationTitleHYPERELLIPTIC SURFACES WITH K^2 < 4. Author(s) Rito, Carlos; Sánchez, María Martí. Citation Osaka Journal of Mathematics.
TitleHYPERELLIPTIC SURFACES WITH K^2 < 4 Author(s) Rito, Carlos; Sánchez, María Martí Citation Osaka Journal of Mathematics. 52(4) Issue 2015-10 Date Text Version publisher URL http://hdl.handle.net/11094/57673
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More 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 informationarxiv: v1 [math.ac] 11 Dec 2013
A KOSZUL FILTRATION FOR THE SECOND SQUAREFREE VERONESE SUBRING arxiv:1312.3076v1 [math.ac] 11 Dec 2013 TAKAYUKI HIBI, AYESHA ASLOOB QURESHI AND AKIHIRO SHIKAMA Abstract. The second squarefree Veronese
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationWeakly distributive modules. Applications to supplement submodules
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 5, November 2010, pp. 525 534. Indian Academy of Sciences Weakly distributive modules. Applications to supplement submodules ENGİN BÜYÜKAŞiK and YiLMAZ
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
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 informationBETTI NUMBERS AND DEGREE BOUNDS FOR SOME LINKED ZERO-SCHEMES
BETTI NUMBERS AND DEGREE BOUNDS FOR SOME LINKED ZERO-SCHEMES LEAH GOLD, HAL SCHENCK, AND HEMA SRINIVASAN Abstract In [8], Herzog and Srinivasan study the relationship between the graded Betti numbers of
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 informationarxiv: v1 [math.nt] 11 Aug 2016
INTEGERS REPRESENTABLE AS THE PRODUCT OF THE SUM OF FOUR INTEGERS WITH THE SUM OF THEIR RECIPROCALS arxiv:160803382v1 [mathnt] 11 Aug 2016 YONG ZHANG Abstract By the theory of elliptic curves we study
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 informationOn the Existence of Non-Free Totally Reflexive Modules
University of South Carolina Scholar Commons Theses and Dissertations 5-2017 On the Existence of Non-Free Totally Reflexive Modules J. Cameron Atkins University of South Carolina Follow this and additional
More informationOn the structure of maximal non-finitely generated ideals of ring and Cohen s theorem
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Number 1(65), 2011, Pages 33 41 ISSN 1024 7696 On the structure of maximal non-finitely generated ideals of ring and Cohen s theorem S. I.
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 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 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 informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
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 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 information