GORENSTEIN HILBERT COEFFICIENTS. Sabine El Khoury. Hema Srinivasan. 1. Introduction. = (d 1)! xd ( 1) d 1 e d 1
|
|
- Calvin George
- 5 years ago
- Views:
Transcription
1 GORENSTEIN HILBERT COEFFICIENTS Sabine El Khoury Department of Mathematics, American University of Beirut, Beirut, Lebanon Hema Srinivasan Department of Mathematics, University of Missouri, Columbia, Missouri, USA Abstract We prove upper and lower bounds for all the coefficients in the Hilbert Polynomial of a graded Gorenstein algebra S R/I with a quasi-pure resolution over R The bounds are in terms of the minimal and the maximal shifts in the resolution of R These bounds are analogous to the bounds for the multiplicity found in [8] and are stronger than the bounds for the Cohen Macaulay algebras found in [6] 1 Introduction Let S S i be a standard graded k-algebra of dimension d, finitely generated in degree one HS, i dim k S i is the Hilbert function of S It is well known that HS, i, for i >> 0, is a polynomial P S x, called the the Hilbert polynomial of S P S x has degree d 1 If we write, d 1 x + d 1 i P S x 1 i e i x e 0 d 1! xd d 1 e d 1 Then the coefficients e i are called the Hilbert coefficients of S The first one, e 0 called the multiplicity is the most studied and is denoted by e If we write S R/I, where R is the polynomial ring in n variables and I is a homogeneous ideal of R, then all these coefficients can be computed from the shifts in the minimal homogenous R- resolution F of S given as follows: 0 M s jm s R j βsj δs M i jm i R j βij δ i M 1 jm 1 R j β1j δ1 R R/I 0 Let h height of I, so that h s In 1995, Herzog and Srinivasan [5] proved that if this resolution is quasi-pure, ie if m i M i 1, then s m i s! es 1 s M i, if h s s!
2 2 GORENSTEIN HILBERT COEFFICIENTS h and es M i if h < s h! Further, Herzog, Huneke and Srinivasan conjectured this to hold for all homogeneous algebras S which came to be known as the multiplicity conjecture When S is Gorenstein, Srinivasan established stronger bounds for the multiplicity Theorem [Srinivasan [8]] If S is a homogeneous Gorenstein algebra with quasi-pure resolution of length s 2k or 2k + 1, then m 1 m k M k+1 M s s! es M 1 M k m k+1 m s s! In this paper, we establish bounds for all the remaining Hilbert coefficients of Gorenstein Algebras with quasi-pure resolutions analogous to the above bounds for the multiplicity We prove in 42 Theorem 42 If S is a homogeneous Gorenstein Algebra with quasi-pure resolution of length s 2k or 2k + 1 Then, for 0 l n s, f l m 1 m k M k+1 M s m 1m k M k+1 M s s+l! e l S f l M 1 M k m k+1 m s M 1M k m k+1 m s s+l! l with f l a 1, a s a it i t + t 1 and f i 1 i l s t1 Boij and Söderberg [1] conjectured that Betti sequences of all graded algebras can be written uniquely as sums of positive rational multiples of betti sequences of pure algebras which in turn implied the multiplicity conjecture In 2008, these conjectures were proved by Eisenbud and Schreyer [3] for C-M modules in characteristic zero and extended to non C-M modules by Boij and Söderberg [1] Using these results, Herzog and Zheng [6] showed that if S is Cohen-Macaulay of codimension s, then all Hilbert coefficients satisfy m 1 m 2 m s s + i! with h i d 1, d s h i m 1, m s e i S M 1M 2 M s h i M 1, M s s + i! 1 j 1 j i s k1 i d jk j k + k 1 and h 0 d 1, d s 1 Our results extend those of Srinivasan [8] as well as the above result [6] to all coefficients of Gorenstein algebras with quasi-pure resolutions In section 3 we give an explicit formula of the Hilbert coefficients as a function of the shifts of the minimal resolution of a Gorenstein algebra These expressions depend on whether the projective dimension is even or odd In section 4, we establish the stronger bounds for the higher Hilbert coefficients when the algbera has a quasi-pure resolution
3 GORENSTEIN HILBERT COEFFICIENTS 3 2 Preliminaries and Notations Let R K[x 1, x n ] be the poynomial ring in n variables, I be a homogeneous ideal contained in x 1, x 2,, x n and S R/I Let F be the minimal homogeneous resolution of S over R given by: 0 b s b i R d sj δs R d ij δ i R d 1j δ 1 R R/I 0 Definition 21 A resolution is called quasi-pure if d ij d i 1,l for all j and l, that is, if m i M i 1 for all i Suppose S is Gorenstein Then by duality of the resolution, the resolution of S can be written as follows If I is of height 2k + 1 then 0 R c R c a 1j and if I is of height 2k then 0 R c b k R c a 1j b k R a kj b k /2r k R c a kj R c a kj R a 1j R 1 b k /2r k R a kj R a 1j R 2 Remark 22 1 The minimal shifts in the resolution are: m i min j a ij 1 i k c max j a s i,j k + 1 i < s c i s The maximal shifts in the resolution are: M i max j a ij 1 i k c min j a s i,j k + 1 i < s c i s
4 4 GORENSTEIN HILBERT COEFFICIENTS and M s m s c 2 Let α ij a ij c a ij for i k with p i min j α ij m i M s i and P i max j α ij M i m s i Definition 23 Given α 1, α 2,, α k a sequence of real numbers, we denote the following Vandermonde determinants by α 1 α 2 α k α1 V t V t α 1, α 2,, α k 2 α2 2 α 2 k α1 k 2 α2 k 2 α k 2 k α1 k 1+t α2 k 1+t +t k 1 j<i k α i α j β 1 +β 2 +β k t α β 1 1 α β 2 2 α β k Remark 24 V t α 1, α 2,, α k 0 if the sequence is in ascending order n p As a convention, for any non-negative integers n, p, we set the binomial coefficient 0 if n < p The following binomial identities are essential to our theorems In [8], Srinivasan showed Lemma 25 For all k 0, c, a 1 [ n 2 ] n t 1 c a n a n 1 t a t c a t c 2ac n 2t 1 t [ n 2 ] [ n t n 2 ] n t 1 c a n +a n 1 t a t c a t c n 2t + 1 t a t c a t c n 2t t t 1 The proof goes along the same lines as in [[8], lemmas 2-3] t1 k 3 Hilbert Coefficients of Gorenstein Algebras Let R K[x 1, x n ] and I a graded ideal Let F be the minimal resolution of S R/I, 0 b s b i R d sj δs R d ij δ i R d 1j δ 1 R R/I 0
5 GORENSTEIN HILBERT COEFFICIENTS 5 Theorem 31 Peskine-Szpiro Suppose S is C-M then these shifts d ij are known to satisfy [[9], 1] s b i 1 k 0 1 i d k ij 0 1 k < s 1 s s!e k s These equations can be thought of as defining the multiplicity, e e 0 S In fact, the higher Hilbert Coefficients can also be expressed in terms of the shifts in the resolution[4] We include a simple proof for the sake of completeness Theorem 32 with ν l r 1 s s + l!e l 1 ξ 1 <ξ 2 <<ξ l r s+l 1 l 1 l r ν l r r0 s b i 1 i ξ 1 ξ 2 ξ l r and ν 0 1 Proof We know that the Hilbert function of R/I is s 1i b i td ij 1 t n Qt 1 t d where d dim R/I n s and Qi 1 e i! i We get s b i 1 i t d ij Qt1 t s 3 We denote these two quantities by S R/I t We differentiate both sides l + s times, and evaluate them at t 1 We first start by the right hand side S s+l s + l R/I t 1s s!q l t + 1 tp t l where P t is a polynomial in t Evaluating at t 1: S s+l s + l R/I 1 1s s!q l l 1 s s + l!e l d s+r ij On the other hand, S R/I t s b i 1 i t d ij So
6 6 GORENSTEIN HILBERT COEFFICIENTS with ν l r with ν s+l r Note that s R/I 1 b i 1 i S l 1 ξ 1 <ξ 2 < <ξ l r <l 1 S s+l b i l 1 dij l l! s 1 i d ij r s b i 1 i r0 r1 ξ 1 ξ 2 ξ l r and ν 0 1 l 1 l r ν l r d r ij s R/I 1 b i s+l 1 i 1 s+l r ν s+l r d r ij s+l r1 1 s+l r ν s+l r r1 1 ξ 1 <ξ 2 <<ξ s+l r s+l 1 s b i 1 i d r ij 0 when r < s and S s+l and hence the result s b i 1 i ξ 1 ξ 2 ξ s+l r and ν 0 1 s+l R/I 1 1 s+l r ν s+l r rs l 1 l r ν l r r0 s b i 1 i s b i 1 i d s+r ij d r ij d r ij Let I be Gorenstein The minimal free resolution of I is written as in 1 and 2 depending on whether the projective dimension of I is even or odd In [8], Srinivasan gave a more simplified expression for the multiplicity in both cases She proved Theorem 33 Srinivasan Let I be Gorenstein of grade s 2k +1 and the minimal graded resolution of S R/I be as in 1 Then, k b i 1 i a t ijc a ij t c 2a ij 0 if 1 t < k 1 k 2k + 1!eS if t k c if t 0
7 GORENSTEIN HILBERT COEFFICIENTS 7 Theorem 34 Srinivasan Let I be Gorenstein of grade s 2k and the minimal graded resolution of S R/I be as in 2 Then, k b i 1 i a t ijc a ij t 0 if 1 t < k 1 k 2k! es 2 if t k 1 if t 0 We extend these results to all coefficients and we show Theorem 35 Let I be Gorenstein of grade s 2k + 1 and the minimal resolution of S R/I be as in 1 Then 1 k s + l!e l is equal to [ r 2 ] k + r t 1 l r ν l r 1 t k + t 0 r l c r 2t k b i 1 i a k+t ij c a ij k+t c 2a ij Proof Following the result of Theorem 32, it suffices to show that equals that k b i [ r 2 ] k + r t 1 k+i 1 t k + t s b i 1 i d s+r ij s b i 1 i d s+r ij c r 2t a k+t ij c a ij k+t c 2a ij We have c s+r + k c s+r i,j b j a s+r ij 1 i + k b j 1 i [c a ij s+r a s+r ij ] 1 2k+1 i c a ij s+r c s+r i,j c s+r i,j [ s+r 2 ] 1 i 1 i k+[ r+1 2 ] 1 t s + r 1 t t 1 t 2k + r t t a t ijc a ij t c 2a ij c s+r 1 2t by lemma 25 a t ijc a ij t c 2a ij c 2k+r 2t
8 8 GORENSTEIN HILBERT COEFFICIENTS By theorem 33 the only remaining terms in the sum are t 0 and t k, so s b i 1 i d s+r ij i,j i,j 1 i k+[ r+1 2 ] tk [ r 2 ] 1 t 2k + r t t k + r t 1 i 1 t+k k + t Example 36 1 k s + 1!e 1 [ ν 1 + k+1 k 1 k s + 2!e 2 [ ν 2 ν 1 k+1 k a t ijc a ij t c 2a ij c 2k+r 2t a k+t ij c a ij k+t c 2a ij c r 2t k b i c] 1 i a k ijc a ij k c 2a ij b i c + k+2 ] k c 2 1 i a k ijc a ij k c 2a ij k k b i 1 i a k+1 ij c a ij k+1 c 2a ij We now consider the case when s is even Theorem 37 Let I be Gorenstein of grade s 2k and the minimal resolution of S R/I be as in 1 Then 1 k s + l!e l is equal to [ r 2 ] t 0 0 r l [ k + r t 1 l r+t ν l r + k + t k + r t 1 k + t 1 ] c r 2t In the summation j runs from 1 to b i if i < k and from 1 to b k /2 if i k Proof We proceed the same way as the proof of theorem 35 We have s b i 1 i d s+r ij c s+r + k c s+r + i,j c 2k+r + i,j b j a s+r ij 1 i + 1 2k i c a ij s+r 1 i [ c a ij s+r + a s+r ij 1 i k+[ r 2 ] k+[ r 2 ] + t1 ] 1 t 2k + r t t 1 t 2k + r 1 t t 1 k b i 1 i a k+t ij c a ij k+t a t ijc a ij t c 2k+r 2t a t ijc a ij t c 2k+r 2t by lemma 25
9 GORENSTEIN HILBERT COEFFICIENTS 9 By theorem 34 the only remaining terms in the sum are t 0 and t k, we s b i obtain that 1 i d s+r ij [ r 2 ] 1 i k + r t 1 t+k a t+k ij c a ij t+k c r 2t t + k i,j [ r 2 ] + 1 t+k k + r 1 t t + k 1 a t+k ij c a ij t+k c r 2t Example 38 1 k s + 1!e 1 [ ν k 1 k + k 1 k 1 + k+1 k + k ] k 1 c 1 k s + 2!e 2 [ ν k 2 k + k 1 k 1 k+1 ν1 k k b i [ k i a k ijc a ij k + k k k 1 k k k b i 1 i a k ijc a ij k c + k+2 k + k+1 k 1 ] c 2 ] k b i 1 i a k+1 ij c a ij k+1 4 Bounds for the coefficients with quasi-pure resolutions Definition 41 For any ordered s-tuple of positive integers, and f 0 1 f l y 1,, y s In this section, we prove 1 i 1 i l s l y it i t + t 1, 1 l s t1 Theorem 42 If S is a homogeneous Gorenstein Algebra with quasi-pure resolution of length s 2k or 2k + 1 Then f l m 1 m k M k+1 M s m 1m k M k+1 M s s+l! e l S f l M 1 M k m k+1 m s M 1M k m k+1 m s s+l! Remark 43 1 M n m n c 2 These bounds are strictly stronger than the bounds in the conjecture found by Herzog and Zheng in [6]
10 10 GORENSTEIN HILBERT COEFFICIENTS Let S R/I Then S has a R free resolution of length s 2k + 1 or s 2k The first half of the resolution is given below and b k /2r k b k R c a kj R a kj b k /2r k R a 1j R, s 2k R a kj R a 1j R, s 2k 5 Thus, we let r i b i, i k and r k b k if s is odd and r k b k 2 if s is even Without loss of generality we may take a i1 a i2 a ibi for all i If s 2k, we pick a kj so that c a krk a krk The symmetry of the resolution and the exactness criterion forces b k to be even Srinivasan showed in [[8], 5], that Lemma 44 If S is Gorenstein with a quasi-pure resolution then c 2a ij for all i, j Proof Since quasi-purity means the a ij increase with i, we just need to check c 2a krk If s 2k + 1 then c a krk m k+1 M k a krk So c 2a krk If s 2k, then c 2a krk by choice and hence the result To be able to prove theorem 42 we need to consider two different determinants depending on whether s is even or odd Suppose s is odd Let b i b k α 1j c 2a 1j α ij c 2a ij α kj c 2a kj b i b k α1jc 2 2a 1j αijc 2 2a ij αkjc 2 2a kj M t 1j c 2a 1j α k+t 1j c 2a 1j b i where α ij a ij c a ij Then, M t Now consider b i ij c 2a ij α k+t ij c 2a ij 1 j i b i b k b k kj c 2a kj α k+t kj c 2a kj α iji c 2a iji V t α 1j1, α kjk l k + r t 1 l r ν l r 1 t c r 2t M t k + t r0
11 GORENSTEIN HILBERT COEFFICIENTS 11 It is equal to 1 j i b i α iji c 2a iji V α 1j1 α kjk l k + r t 1 l r ν l r 1 t k + t r0 c r 2t We thank László Székely for his help with the following lemma βi t Lemma 45 We have for all c, a i > 0 and α i a i c a i k + r t 1 t c r 2t α β i i a β i i k + t c a i β k+i c β 2k+1 βi t β 1 + +β 2k+1 r α β i ij i Proof β 1 + +β 2k+1 r a β i i c a i β k+i c β 2k+1 is the coefficient of x r in 1 1 cx a i x 1 c a i x 1 1 cx γ 1,,γ k+1 the coefficient of x r is in this last expression is: k 2β i+γ i β i +γ k+1 r k β i+γ i +γ k+1 r c r 2t 1 t t 0 c r 2t 1 t t 0 γi γi β i β i 1 1 cx a i c a i x 2 cx ai c a i x 2 γ i cx γ k+1 c γ i β i 1 β i a i c a i β i c γ k+1 c γ i β i 1 β i a i c a i β i c γ k+1 k+1 γ ir t β 1 +β k t β 1 +β k t a i c a i β i a i c a i β i k+1 γ ir t γi β i γi β i
12 12 GORENSTEIN HILBERT COEFFICIENTS It remains to show that, k+1 γ ir t γi β i r t + k This can be proved by t + k induction on n, t, k Alternatively, consider the negative binomial theorem 1 x βi+1 n + βi x n β n i x β i 1 x βi+1 n + βi x n+β i γi x γ i, β n i β γ i i γi so that is the coefficient of x r t γ k+1 in γ 1 +γ k+1 r t β i x β i 1 x β i+1 x t 1 x t+k This in turn, is equal to the coefficient of x r 2t γ k+1 in 1 So, 1 x t+k γi r t r γk+1 2t + t + k 1 t + k 1 γ 1 +γ k+1 r t β i γ k+1 0 r t γ k+1 0 r t + k t + k r t + k 1 γk+1 t + k 1 Now, when s is even we consider the following determinant: N t r 1 r 1 r 1 r 1 α 1j α 2 1j 1j α k+t 1j r i r i α ij αij 2 r i r i ij α k+t ij r k α kj r k αkj 2 r k kj r k α k+t kj
13 GORENSTEIN HILBERT COEFFICIENTS 13 with α ij a ij c a ij, r i b i for i 1, k 1 and r k b k /2 Then, N t α iji V t α 1j1,, α kjk 1 j i b i Now consider [ ] k + r t k + r t 1 1 l r ν l r 1 t + c r 2t N t k + t k + t 1 0 r l It is equal to α iji V α 1j1 α kjk j i 0 r l [ ] k + r t k + r t 1 1 l r ν l r 1 t + c r 2t k + t k + t 1 The following is the version of lemma 45 for the case where s is even Lemma 46 For all c, a i > 0 and α i a i c a i, we have [ ] k + r t k + r t 1 1 t + c r 2t α β i i k + t k + t 1 β 1 +β sr βi t βi t α β i ij i k 1 a β i i c a i β k+i c β 2k a β k k + c a k β k Proof The proof goes along the same lines as the odd case k 1 a β i i c a i β k+i c β 2k a β k k + c a k β k is the coefficient of x r in β 1 +β sr k cx 1 1 cx a i x 1 c a i x 1 1 a k x c a k x a i x 1 c a i x [1 c a kx + 1 a k x] 1 1 cx 1 1 [2 cx] 1 a i x 1 c a i x a i x 1 c a i x [ ] 1 cx
14 14 GORENSTEIN HILBERT COEFFICIENTS By an argument similar to the proof of lemma 45 applied to the two sums separately, we see that this is the coefficient of x r in k 1 + r t 1 t k 1 + t [ k + r t 1 t k + t c r 2t βi t k + r t 1 + k + t 1 α β i i + ] c r 2t 1 t k + r t k + t Now in both cases whether s is even or odd we have Lemma 47 1 l r ν l r 0 r l 1 i 1 i l s 1 l r ν l r 0 r l β 1 +β sr l d itjit i t + t 1 t1 β 1 + +β 2k+1 r βi t α β i i a β i ij i c a iji β k+i c β 2k+1 c r 2t and βi t k 1 a β i ij i c a iji β k+i c β 2k a β k kj k + c a kjk β k are both equal to Proof For any given r tuples 1 α 1 α r s with 0 r l we will have 1 β 1 β l r s such that {α 1, α r } {β 1, β l r } is equal to {i 1, i l } l In the product d itjit i t + t 1, the coefficient of 1 i 1 i l s t1 1 α 1 α r s α β i i d αtj αt is 1 l r β 1 β l r 1 l r ν l r, since i t + t 1 is strictly r 1 β 1 <<β l r s+l 1 r increasing until i l +l 1 Further, if s is odd d ij a ij, i k and d ij c a 2k+1 i,j, i > k and if s is even d ij a ij, i < k ; d ij c a 2k i,j, i > k and d kj a kj or c a kj Hence, 1 i 1 i l s 1 l r ν l r 0 r l 1 l r ν l r 0 r l l d itjit i t + t 1 t1 β 1 +β sr β 1 + +β 2k+1 r k 1 a β i ij i c a iji β k+i c β 2k+1, s 2k + 1 a β i ij i c a iji β k+i c β 2k a β k kj k + c a kjk β k, s 2k This completes the proof
15 Remark 48 1 i 1 i l s GORENSTEIN HILBERT COEFFICIENTS 15 l d itjit i t + t 1 f l a 1j1,, c, when s 2k + 1 is t1 odd However, when s 2k, d kj can equal either a kj or c a kj and hence l d itjit i t +t 1 f l a 1j1, a kjk, c + f l a 1j1,, c a kjk, c 1 i 1 i l s t1 Thus, when s 2k + 1, 1 l r ν l r 0 r l r0 β 1 +β sr β 1 + +β 2k+1 r a β i ij i c a iji β k+i c β 2k+1 f l a 1j1,, c and when s 2k, l k 1 1 l r ν l r a β i ij i c a iji β k+i c β 2k a β k kj k + c a kjk β k f l a 1j1, a kjk, c + f l a 1j1,, c a kjk, c Remark 49 Suppose R/I has a quasi-pure resolution Since the Hilbert function of R/I is unaltered by any cancellations, we may assume d ij > d i 1j for all i Since d ij i for all i, we get d ij i d i 1 j i 1 and hence d pj p d qj q for l all p q Now assume that not all factors in d itjit i t + t 1 are positive and let p be the smallest integer with d ipjip i p + p 1 < 0 Then p > 1 and d ip 1 j ip 1 i p 1 + p 2 > 0 It follows that t1 d ip 1 j ip 1 i p 1 + p 2 d ipj ip i p + p 1 2 or equivalently i p i p 1 d ipj ip d ip 1 j ip d ip 1 j ip 1 i p 1 d ipjip i p + 1 > d ipjip i p l which is a contradiction, and we get that d itjit i t + t 1 0 Thus, f l d 1j1,, d sjs 0, for all s-tuples d 1j1,, d sjs, provided the resolution is quasi-pure t1 Proof of theorem 42 We have α ij a ij c a ij and α ij α ij a ij a ij c a ij a ij By the quasi-purity of the resolution of S and lemma 44, c 2a ij for all i, j So a i1 a i2 a ibi implies that α i1 α i2 α ibi We also have for all 1 i k, p i min j α ij m i M s i and P i max j α ij M i m s i We treat the even and odd cases separately Case 1 s 2k + 1 is odd The resolution starts as in 4 and by lemmas 45, 47 and
16 16 GORENSTEIN HILBERT COEFFICIENTS remark 48 we have that α iji c 2a iji V α 1j1, α kjk 1 j i b i l k + r t 1 l r ν l r 1 t k + t r0 1 j i b i c r 2t βi t α iji c 2a iji V α 1j1 α kjk f l a 1j1,, c α β i ij i By remark 49, f l d 1j1, d sjs 0 Further, c 2a iji by lemma 44 and V α 1j1,, α kjk 0, for α 1j1 α kjk So p i c 2a iji V α 1j1,, α kjk f l m 1, m k, M k+1, M s j i j i α iji c 2a iji V α 1j1 α kjk f l a 1j1,, c which is the same as j i f l m 1, m k, M k+1, M s where Q j i P i c 2a iji V α 1j1,, α kjk f l M 1, M k, m k+1, m s p i detq α iji c 2a iji V α 1j1 α kjk f l a 1j1,, c c 2a 1j α 1j c 2a 1j 1j c 2a 1j f l M 1, M k, m k+1, m s b i b i c 2a ij α ij c 2a ij b i ij c 2a ij b k b k b k P i detq c 2a kj α kj c 2a kj kj c 2a kj
17 GORENSTEIN HILBERT COEFFICIENTS 17 detq > 0 since at least one of the V α 1j1,, α kjk > 0 and c 2a iji > 0 Replacing the last column by the alternating sums of columns in Q and using theorems 33 and 37, we get c detq det cdetl L 0 So f l m 1, m k, M k+1, M s j i p i cdetl α iji c 2a iji V α 1j1 α kjk f l a 1j1,, c f l M 1, M k, m k+1, m s P i cdetl On the other hand, we start with M t again Replacing the last column of M t by alternating sums of the columns and using theorem 35 we get M t L 0 k b i 1 i a k+t ij c a ij k+t c 2a ij So j i result α iji c 2a iji V α 1j1 α kjk f l d 1j1,, d sjs s+l!e l detl and hence the Case 2 s 2k is even Now the resolution starts as in 5 and by lemmas 46, 47 and remark 48 we obtain α iji V α 1j1 α kjk j i [ ] k + r t k + r t 1 1 l r ν l r 1 t + c r 2t k + t k + t 1 0 r l 1 j i b i βi t α β i ij i α iji V α 1j1,, α kjk f l a 1j1, a kjk,, c + f l a 1j1, c a kjk,, c
18 18 GORENSTEIN HILBERT COEFFICIENTS Since f l d 1j1, d sjs 0 and V α 1j1,, α kjk 0, we have p i V α 1j1,, α kjk f l m 1, m k, M k+1, M s + f l m 1, m k 1, M k, M s j i and 1 j i b i j i But, α iji V α 1j1,, α kjk f l a 1j1, a kjk,, c + f l a 1j1, c a kjk,, c P i V α 1j1,, α kjk f l M 1, M k, m k+1, m s +f l M 1, M k 1, m k, m s f l m 1, m k, M k+1, M s f l m 1, m k 1, M k, M s f l M 1, M k 1, m k, m s f l M 1, M k, m k+1, m s Therefore, p i V α 1j1,, α kjk 2f l m 1, m k, M k+1, M s j i 1 j i b i j i which is the same as α iji V α 1j1,, α kjk f l a 1j1, a kjk,, c + f l a 1j1, c a kjk,, c P i V α 1j1,, α kjk 2f l M 1, M k, m k+1, m s 2f l m 1, m k, M k+1, M s 1 j i b i where p i detq α iji V α 1j1,, α kjk f l a 1j1, a kjk,, c + f l a 1j1, c a kjk,, c Q 2f l M 1, M k, m k+1, m s r 1 r i r k r i r k α 1j α ij r 1 r 1 1j r i ij r k α kj kj P i detq
19 GORENSTEIN HILBERT COEFFICIENTS 19 detq > 0 since at least on of the V α 1j1,, α kjk > 0 Replacing the last column by the alternating sums of columns and using theorems 34 and 37, we get Then 2f l m 1, m k, M k+1, M s 1 j i b i 1 detq det L 0 p i detl detl α iji V α 1j1,, α kjk f l a 1j1, a kjk,, c + f l a 1j1, c a kjk,, c 2f l M 1, M k, m k+1, m s P i detl On the other hand, we start with N t again Replacing the last column of N t by alternating sums of the columns and using theorem 37, we get: N t So s + l!e l detl L 0 k b i 1 i a k+t ij c a ij k+t α iji V α 1j1,, α kjk f l a 1j1, a kjk,, c + f l a 1j1, c a kjk,, c 1 j i b i We get, 2f l m 1, m k, M k+1, M s p i s + l!e l 2f l M 1, M k, m k+1, m s P i 2f l m 1, m k, M k+1, M s m 1 m k M k M k+1 M 2k 1, s + l!e l 2f l M 1, M k, m k+1, m s M 1 M k m k m k+1 m 2k 1 f l m 1, m k, M k+1, M s m 1 m k M k+1 M 2k 1 2M k, s + l!e l
20 20 GORENSTEIN HILBERT COEFFICIENTS f l M 1, M k, m k+1, m s M 1 M k m k+1 m 2k 1 2m k Now M k c a k1 and m k a k1 Clearly c 2a k1 2m k Also 2c a k1 c + c 2a k1 c So M 2k c 2M k and 2m k c m 2k and hence f l m 1, m k, M k+1, M s m 1 m k M k+1 M 2k 1 M 2k, s + l!e l This completes the proof f l M 1, M k, m k+1, m s M 1 M k m k+1 m 2k 1 m 2k Let R k[x 1,, x n ] and S R/I where I is a homogeneous ideal of height s Corollary 410 Let S R/I be as above Suppose the betti diagram of S is symmetric, that is β ij β s i,c j, 0 i s and β sj 0, j c Then the Hilbert coefficients will satisfy the same bounds as in theorem 42 Corollary 411 Let S R/I be as above Suppose the betti diagram of S is a positive rational linear combinations of quasi-pure Gorenstein symmetric betti diagrams Then the Hilbert Coefficients of S satisfy the same bounds as in theorem 42 References [1] M Boij and J Söderberg Graded Betti Numbers of Cohen-Macaulay Modules and the Multiplicity conjecture, math AC/ , 2 78, 2008, 1, [2] W Bruns and J Herzog Cohen-Macaulay rings, Cambridge University Press, 1993, [3] D Eisenbud and F Schreyer Betti numbers of graded modules and cohomology of vector bundles, J Amer Math Soc, 22, 2009, [4] S El Khoury Upper Bounds for the Hilbert Coefficients of almost Cohen-Macaulay Algebras, Int J Algebra, Vol 5, 2011, no 14, [5] J Herzog and H Srinivasan Bounds for multiplicities, Transactions of the AMS 350 nbr 7, 1998, [6] J Herzog and X Zheng Bounds for Hilbert Coefficients, Proceedings of the AMS, 37 nbr 2, 2009, [7] C Huneke and MMIller A note on the multiplicity of Cohen-Macaulay algebras with pure resolutions, CanadJ Math, 37, 1985, [8] H Srinivasan A note on the Multiplicities of Gorenstein Algebras, J Algebra 208, 1998, [9] C Peskine and L Szpiro Syzygies and multiplicities, CR Acad Sci Paris Ser A 278, 1974,
BETTI 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 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 Mar 2008
BETTI NUMBERS OF GRADED MODULES AND THE MULTIPLICITY CONJECTURE IN THE NON-COHEN-MACAULAY CASE MATS BOIJ AND JONAS SÖDERBERG arxiv:0803.645v [math.ac] Mar 2008 Abstract. We use the results by Eisenbud
More informationCohomology Tables of Coherent Sheaves
Cohomology Tables of Coherent Sheaves David Eisenbud and Frank-Olaf Schreyer Joint Mathematics Meeting, Washington DC, January 2009 Overview. Syzygies of Graded Modules 2. Geometry of Syzygies 3. The Boij-Söderberg
More informationBoij-Söderberg Theory
? September 16, 2013 Table of contents? 1? 2 3 4 5 6 Preface? In this presentation we try to give an outline on a new theory on free resolutions. This theory is named after two Swedish mathematicians Mats
More 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 informationarxiv: v1 [math.ac] 6 Jan 2019
GORENSTEIN T-SPREAD VERONESE ALGEBRAS RODICA DINU arxiv:1901.01561v1 [math.ac] 6 Jan 2019 Abstract. In this paper we characterize the Gorenstein t-spread Veronese algebras. Introduction Let K be a field
More informationThe Mountaintop Guru of Mathematics
The Mountaintop Guru of Mathematics New Directions in Boij-Söderberg Theory The cone of Betti diagrams over a hypersurface ring of low embedding dimension Courtney Gibbons University of Nebraska Lincoln
More informationA degree bound for codimension two lattice ideals
Journal of Pure and Applied Algebra 18 (003) 01 07 www.elsevier.com/locate/jpaa A degree bound for codimension two lattice ideals Leah H. Gold Department of Mathematics, Texas A& M University, College
More informationCohomology of coherent sheaves and series of supernatural bundles
J. Eur. Math. Soc. 12, 703 722 c European Mathematical Society 2010 DOI 10.4171/JEMS/212 David Eisenbud Frank-Olaf Schreyer Cohomology of coherent sheaves and series of supernatural bundles Received February
More informationComputing syzygies with Gröbner bases
Computing syzygies with Gröbner bases Steven V Sam July 2, 2008 1 Motivation. The aim of this article is to motivate the inclusion of Gröbner bases in algebraic geometry via the computation of syzygies.
More 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 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 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 informationEDITED BY DANIEL ERMAN, FRANK MOORE, AND JOANNA NILSSON
OPEN QUESTIONS RELATED TO THE BOIJ-SÖDERBERG THEOREMS EDITED BY DANIEL ERMAN, FRANK MOORE, AND JOANNA NILSSON These questions were developed by the participants of the Workshop on Minimal Free Resolutions
More informationSYZYGIES OF GRADED MODULES AND GRADED BETTI NUMBERS
SYZYGIES OF GRADED MODULES AND GRADED BETTI NUMBERS MATS BOIJ Abstract. This is a set of lecture notes used for a course in seven lectures on Syzygies of graded modules and graded Betti numbers given at
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 informationE. GORLA, J. C. MIGLIORE, AND U. NAGEL
GRÖBNER BASES VIA LINKAGE E. GORLA, J. C. MIGLIORE, AND U. NAGEL Abstract. In this paper, we give a sufficient condition for a set G of polynomials to be a Gröbner basis with respect to a given term-order
More 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 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 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 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 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 informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle
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 informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationHilbert regularity of Stanley Reisner rings
International Journal of Algebra and Computation Vol 27, No 3 (2017) 323 332 c World Scientific Publishing Company DOI: 101142/S0218196717500163 Hilbert regularity of Stanley Reisner rings Winfried Bruns
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 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 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] 11 May 2005
EXTENSIONS OF THE MULTIPLICITY CONJECTURE arxiv:math/0505229v [math.ac] May 2005 JUAN MIGLIORE, UWE NAGEL, AND TIM RÖMER Abstract. The Multiplicity conjecture of Herzog, Huneke, and Srinivasan states an
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 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 informationHomogeneous numerical semigroups, their shiftings, and monomial curves of homogeneous type
Homogeneous numerical semigroups, their shiftings, and monomial curves of homogeneous type International Meeting on Numerical Semigroups with Applications July 4 to 8, 2016 Levico Terme, Italy Based on
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 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 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 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 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 informationExtensions of Stanley-Reisner theory: Cell complexes and be
: Cell complexes and beyond February 1, 2012 Polyhedral cell complexes Γ a bounded polyhedral complex (or more generally: a finite regular cell complex with the intersection property). Polyhedral cell
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: v1 [math.ac] 8 Jun 2012
DECOMPOSITION OF MONOMIAL ALGEBRAS: APPLICATIONS AND ALGORITHMS JANKO BÖHM, DAVID EISENBUD, AND MAX J. NITSCHE arxiv:1206.1735v1 [math.ac] 8 Jun 2012 Abstract. Considering finite extensions K[A] K[B] of
More 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 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 informationHILBERT REGULARITY OF Z-GRADED MODULES OVER POLYNOMIAL RINGS
JOURNAL OF COMMUTATIVE ALGEBRA Volume 9, Number, Summer 7 HILBERT REGULARITY OF Z-GRADED MODULES OVER POLYNOMIAL RINGS WINFRIED BRUNS, JULIO JOSÉ MOYANO-FERNÁNDEZ AND JAN ULICZKA ABSTRACT Let M be a finitely
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 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 STANLEY DEPTH OF SQUAREFREE VERONESE IDEALS
ON THE STANLEY DEPTH OF SQUAREFREE VERONESE IDEALS MITCHEL T. KELLER, YI-HUANG SHEN, NOAH STREIB, AND STEPHEN J. YOUNG ABSTRACT. Let K be a field and S = K[x 1,...,x n ]. In 1982, Stanley defined what
More informationMinimal free resolutions for certain affine monomial curves
Contemporary Mathematics Volume 555, 11 Minimal free resolutions for certain affine monomial curves Philippe Gimenez, Indranath Sengupta, and Hema Srinivasan This paper is dedicated to Wolmer V Vasconcelos
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 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 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 informationComputing inclusions of Schur modules
JSAG 1 (2009), 5 10 The Journal of Software for Algebra and Geometry Computing inclusions of Schur modules STEVEN V SAM ABSTRACT. We describe a software package for constructing minimal free resolutions
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 informationMonomial ideals of minimal depth
DOI: 10.2478/auom-2013-0049 An. Şt. Univ. Ovidius Constanţa Vol. 21(3),2013, 147 154 Monomial ideals of minimal depth Muhammad Ishaq Abstract Let S be a polynomial algebra over a field. We study classes
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 informationSingular value decomposition of complexes
Singular value decomposition of complexes Danielle A. Brake, Jonathan D. Hauenstein, Frank-Olaf Schreyer, Andrew J. Sommese, and Michael E. Stillman April 24, 2018 Abstract Singular value decompositions
More informationNEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim
Korean J Math 20 (2012) No 2 pp 161 176 NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX Oh-Jin Kang and Joohyung Kim Abstract The authors [6 introduced the concept of a complete matrix of grade g > 3 to
More informationMINIMAL FREE RESOLUTIONS OF GENERAL POINTS LYING ON CUBIC SURFACES IN P 3
MINIMAL FREE RESOLUTIONS OF GENERAL POINTS LYING ON CUBIC SURFACES IN P 3 JUAN MIGLIORE AND MEGAN PATNOTT 1. Introduction Since it was first stated by Lorenzini in [18], the Minimal Resolution Conjecture
More informationLINKAGE AND DUALITY OF MODULES
Math. J. Okayama Univ. 51 (2009), 71 81 LINKAGE AND DUALITY OF MODULES Kenji NISHIDA Abstract. Martsinkovsky and Strooker [13] recently introduced module theoretic linkage using syzygy and transpose. This
More informationGreen s Hyperplane Restriction Theorem: an extension to modules
Green s Hyperplane Restriction Theorem: an extension to modules Ornella Greco Abstract In this paper, we prove a generalization of Green s Hyperplane Restriction Theorem to the case of modules over the
More informationCONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING
CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING RYO TAKAHASHI Introduction The notion of a contravariantly finite subcategory (of the category of finitely generated modules)
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 informationarxiv: v1 [math.ac] 16 Oct 2018
REGULARITY AND h-polynomials OF EDGE IDEALS TAKAYUKI HIBI, KAZUNORI MATSUDA, AND ADAM VAN TUYL arxiv:1810.07140v1 [math.ac] 16 Oct 2018 Abstract. For any two integers d,r 1, we show that there exists an
More informationarxiv: v1 [math.ac] 16 Nov 2018
On Hilbert Functions of Points in Projective Space and Structure of Graded Modules Damas Karmel Mgani arxiv:1811.06790v1 [math.ac] 16 Nov 2018 Department of Mathematics, College of Natural and Mathematical
More informationarxiv: v1 [math.ac] 8 Jun 2010
REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the
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 informationarxiv: v2 [math.ac] 24 Sep 2014
When is a Squarefree Monomial Ideal of Linear Type? Ali Alilooee Sara Faridi October 16, 2018 arxiv:1309.1771v2 [math.ac] 24 Sep 2014 Abstract In 1995 Villarreal gave a combinatorial description of the
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 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 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 informationMACAULAY S THEOREM FOR SOME PROJECTIVE MONOMIAL CURVES
MACAULAY S THEOREM FOR SOME PROJECTIVE MONOMIAL CURVES RI-XIANG CHEN DEPARTMENT OF MATHEMATICS, CORNELL UNIVERSITY, ITHACA, NY 14853 1. Introduction Throughout this paper S stands for the polynomial ring
More informationGreen s Hyperplane Restriction Theorem: an extension to modules
Green s Hyperplane Restriction Theorem: an extension to modules Ornella Greco Royal Institute of Technology, Department of Mathematics, S-10044 Stockholm, Sweden. E-mail address: ogreco@kth.se Abstract
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 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 informationMatrix Factorizations. Complete Intersections
Matrix Factorizations for Complete Intersections Irena Peeva (Cornell University) Linear Algebra: Vector Spaces finite dimensional over a Field e.g. C tool: basis Algebra: Modules finitely generated over
More informationThe minimal components of the Mayr-Meyer ideals
The minimal components of the Mayr-Meyer ideals Irena Swanson 24 April 2003 Grete Hermann proved in [H] that for any ideal I in an n-dimensional polynomial ring over the field of rational numbers, if I
More informationGorenstein rings through face rings of manifolds.
Gorenstein rings through face rings of manifolds. Isabella Novik Department of Mathematics, Box 354350 University of Washington, Seattle, WA 98195-4350, USA, novik@math.washington.edu Ed Swartz Department
More informationOn varieties of almost minimal degree in small codimension
Journal of Algebra 305 (2006) 789 801 www.elsevier.com/locate/jalgebra On varieties of almost minimal degree in small codimension Markus Brodmann a,, Peter Schenzel b,1 a Universität Zürich, Institut für
More informationPowers and Products of Monomial Ideals
U.U.D.M. Project Report 6: Powers and Products of Monomial Ideals Melker Epstein Examensarbete i matematik, 5 hp Handledare: Veronica Crispin Quinonez Examinator: Jörgen Östensson Juni 6 Department of
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 informationAlgebraic properties of the binomial edge ideal of a complete bipartite graph
DOI: 10.2478/auom-2014-0043 An. Şt. Univ. Ovidius Constanţa Vol. 22(2),2014, 217 237 Algebraic properties of the binomial edge ideal of a complete bipartite graph Peter Schenzel and Sohail Zafar Abstract
More informationLEXLIKE SEQUENCES. Jeffrey Mermin. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic segments.
LEXLIKE SEQUENCES Jeffrey Mermin Department of Mathematics, Cornell University, Ithaca, NY 14853, USA. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic
More informationTWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS
TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS KRISTIAN RANESTAD (OSLO), LUKECIN, 5.-6.SEPT 2013 1. Apolarity, Artinian Gorenstein rings and Arithmetic Gorenstein Varieties 1.1. Motivating
More 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 informationDIRAC S THEOREM ON CHORDAL GRAPHS
Seminar Series in Mathematics: Algebra 200, 1 7 DIRAC S THEOREM ON CHORDAL GRAPHS Let G be a finite graph. Definition 1. The graph G is called chordal, if each cycle of length has a chord. Theorem 2 (Dirac).
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 informationREGULARITY AND ALGEBRAIC PROPERTIES OF CERTAIN LATTICE IDEALS JORGE NEVES, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL
REGULARITY AND ALGEBRAIC PROPERTIES OF CERTAIN LATTICE IDEALS JORGE NEVES, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL Dedicated to Professor Aron Simis on the occasion of his 70th birthday Abstract. We
More informationGENERATING FUNCTIONS ASSOCIATED TO FROBENIUS ALGEBRAS
GENERATING FUNCTIONS ASSOCIATED TO FROBENIUS ALGEBRAS JOSEP ÀLVAREZ MONTANER Abstract. We introduce a generating function associated to the homogeneous generators of a graded algebra that measures how
More informationarxiv: v1 [math.ac] 13 Nov 2018
arxiv:1811.05508v1 [math.ac 13 Nov 2018 A CONVERSE TO A CONSTRUCTION OF EISENBUD-SHAMASH PETTER A. BERGH, DAVID A. JORGENSEN & W. FRANK MOORE Abstract. Let (Q,n,k) be a commutative local Noetherian ring,
More informationH A A}. ) < k, then there are constants c t such that c t α t = 0. j=1 H i j
M ath. Res. Lett. 16 (2009), no. 1, 171 182 c International Press 2009 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY Hal Schenck and Ştefan O. Tohǎneanu Abstract. The Orlik-Solomon algebra is the cohomology
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More 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 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 informationGröbner bases for the polynomial ring with infinite variables and their applications
Gröbner bases for the polynomial ring with infinite variables and their applications Kei-ichiro Iima and Yuji Yoshino Abstract We develop the theory of Gröbner bases for ideals in a polynomial ring with
More informationDUALITY FOR KOSZUL HOMOLOGY OVER GORENSTEIN RINGS
DUALITY FO KOSZUL HOMOLOGY OVE GOENSTEIN INGS CLAUDIA MILLE, HAMIDEZA AHMATI, AND JANET STIULI Abstract. We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul
More informationContributions to the study of Cartier algebras and local cohomology modules
Contributions to the study of Cartier algebras and local cohomology modules Alberto F. Boix Advised by J. Àlvarez Montaner and Santiago Zarzuela Thesis lecture Cartier algebras (prime characteristic) Cartier
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationTHE AUSLANDER BUCHSBAUM FORMULA. 0. Overview. This talk is about the Auslander-Buchsbaum formula:
THE AUSLANDER BUCHSBAUM FORMULA HANNO BECKER Abstract. This is the script for my talk about the Auslander-Buchsbaum formula [AB57, Theorem 3.7] at the Auslander Memorial Workshop, 15 th -18 th of November
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More information