arxiv: v2 [math.ac] 7 Nov 2017

Transcription

1 SYMBOLIC BLOWUP ALGEBAS OF MONOMIAL CUVES IN A 3 DEFINED BY AIHMEIC SEQUENCE CLAE D CUZ arxiv: v [math.ac] 7 Nov 017 Abstract. In this paper, we consider monomial curves ina 3 k parameterized by t t q+1, t q+1+m, t q+1+m where gcdq + 1, m 1. he symbolic blowup algebras of these monomial curves is Gorenstein [10], [11]. From the results in [17], it follows that the defining ideal of sp is given by the Pfaffians of a skew-symmetric matrix. In this paper we give a proof which mainly involves the use of Gröebner basis. We also able describe all the symbolic powers p n for all n introduction Let k be a field and let A n k or An be the affine n-space over k. One well known question is: Is every affine irreducible curve Y in A n k a set theoretic complete intersection of n 1 hypersurfaces? In other words, if k[x 1,..., x n ] and IY {f fa 0 for all a Y }, then does there exist n 1 elements f 1,..., f n 1 such that IY f 1,..., f n 1? he answer to this question is quite difficult and depends upon the characteristic of the field k. he oldest known result in this direction is a result of L. Kronecker where he showed that IY can be generated set theoretically by n + 1-equations [18]. Later, several researchers showed that there exist interesting examples of algebraic subsets Y A n which can be set theoretically defined by n 1-equations. One remarkable result which appeared in 1978 was by. Cowsik and M. Nori. hey showed that if k is a perfect field such that chark p and if I is a radical ideal of codimension one, then I is a set theoretic complete intersection [3, heorem 1]. Later in 1979, for chark 0, H. Bresinsky showed that all monomial curves in A 3 k are set theoretic complete intersection [1]. In [] the author extended his ideas to monomial curves in A 4. In [5] the author extends the ideas in [4] to study symbolic powers of monomial curves in A 4. In 1990, D. Patil gave more general class of monomial curves in A n which are set theoretic complete intersection [3, heorem 1.1]. In 1981,. Cowsik gave a new direction to this problem. He showed that if,m a regular local ring and p is a prime ideal such that dim/p 1, then Noetherianness of the symbolic ees Algebra s p : n 0 p n implies that p is a set theoretic complete intersection [4]. However, the converse need not be true [1]. Motivated by Cowsik s result, in 1987, Huneke gave necessary and sufficient conditions for s p to be Noetherian when dim 3 [16]. Huneke s result was generalised in 1991 for dim 3 by M. Morales []. All these results paved a new way to study the famous problem of set theoretic complete intersection. In the last twenty-five years several researchers have worked on the symbolic ees Algebra s p. However, there are still many unanswered questions related both the problems, i.e., set theoretic complete intersection and Noetherianness of symbolic ees algebra. A few problems will be listed at the 010 Mathematics Subject Classification. Primary: 13A30, 1305, 13H15, 13P10. Key words and phrases. Symbolic ees algebra, Cohen-Macaulay, Gorenstein. he author was partially funded by a grant from Infosys Foundation. 1

2 CLAE D CUZ end of this paper. A good survey article with some open questions on set theoretic complete intersection is by G. Lyubeznik [19]. In this paper, we consider the monomial curve in A 3 parameterized by t n 1, t n, t n 3 where n i q i 1m and gcdn 1, m 1. hroughout this paper k[[x 1, x, x 3 ]], S k[[t]] and p kerφ, where φ is the homomorphism defined by φx i t n i for 1 i 3. We say that p is the defining ideal of the monomial curve parameterized by t n 1, t n, t n 3. It is well known that these curves are a set-theoretic complete intersection [1], [7], [3]. he symbolic powers of curves are also of interest [6], [15], [17], [4], [9]. In this paper we describe all the symbolic powers p n heorem 5.9. he symbolic ees algebra of these monomial curves have been studied by several authors in the past. For example see [7], [14], [10], [17] and [11]. he Cohen-Macaulay and Gorenstein property of these monomial curves has also been studied [10] and [11]. In [17], the authors are able to explicitly describe when s p is Cohen-Macaulay and when it is Gorenstein. We give a different and simple proof for the Cohen-Macaulayness and Gorensteinness of the blowup algebras s p and G s p : n 0 p n /p n+1. One crucial point here is that though the ideals we are interested in are binomial ideals in k[[x 1, x, x 3 ]], we can to get our main result, by dealing with the corresponding monomial ideals in the polynomial ring k[x, x 3 ]. hese ideals are defined in Section. Powers and quotients of these monomial ideals are much easier to compute and do not depend on any sophisticated results. Hence, any student with a good knowledge of basic Commutative Algebra can follow the proof. Our proofs may give a different approach and help to answer some questions related to symbolic powers. All basic results used in this paper can be found in [0]. We now describe the organisation of this paper. In Section, we state some basic results. We also state a result which gives a way to compute lengths of modules in the polynomial ring k[x, x 3 ]. In Section 3, we prove the Cohen-Macaulayness of the filtration F { } n 0 where the ideals k[x, x 3 ] are defined in Section. In Section 4, we compute length of 1 / : x q 3 which is useful in the computations in the next section. In Section 5, we compute lengths various modules over k[[x 1, x, x 3 ]] which are needed to prove the Cohen-Macaulay and Gorenstein property of the blowup algebras s p and G s p. In Section 6, we prove our main results. In Section 7 we suggest list a few questions which might be of interest to the reader.. Preliminaries x1 x x q 3 It is well known that the generators for p are the minors of the matrix x x 3 x m+q 1 particular, if g 1 x m+q 1 x x q+1 3, g x m+q+1 1 x x q 3 and g 3 x x 1x 3, then p g 1, g, g 3. he following result is well known [11, Corollary 4.4]. We state it for the sake of completion. Lemma.1. s p is a Noetherian ring. [13]. In Proof. Let f 1 : g 3 x x x 3 p and f x m+q+1 1 x m+q 1 1 x 3 xq x m+q 1 x x q 3 xq+1 3. hen x 3 f g 1 + x m+q 1 1 g g 3 p p.

3 3 As x n 3 is nonzerodivisor on /p for all n, f p. Moreover, l l x 1, f 1, f x 1, x, q + 1 ex 1 ; /p. xq+1 3 By Huneke s criterion [16, heorem 3.1], s p is Noetherian. Let k[x 1, x, x 3 ]. he following lemma gives us a way to compute the length of an -module in terms of the length of the corresponding -module. Lemma.. [7, Lemma.8] Let m x 1, x, x 3 and M a finitely generated -module such that SuppM {m}. hen l M l M. Let J 1 {g 1, g, g 3 } and J {f }. We define J 1 : g 1, g, g 3, J : f, : As is a flat -module,. Let k[x, x 3 ] /x 1. For i 1, put a 1 +a n J 1 : J 1 x, x x q 3, xq+1 3, J : J x q+1 3, : Proposition.5. Let n 1. hen 1 p n. + x 1 is an homogeneous ideal. 3 + x 1 is an m-primary ideal. J a 1 1 J a..3 a 1 +a n J a 1..4 Proof. 1 As J 1 p and J f p, for all a 1, a Z 0, J a 1 1 J a p a 1 p a p a 1+a..6 Summing over all a 1 + a n and applying.6 to.3 we get 1. As J 1 +x 1 J 1, x 1 and J +x 1 J, x 1 are homogenous ideals and +x 1 a 1 +a n Ja 1, x 1 we get. 3 By.3, J1 n and J1 n + x 1 x, x x q 3, xq+1 3 n, x 1 which implies that m J1 n + x 1 + x 1 m. We state a result on monomial ideals which follows from [8, Proposition 1.14] and will be consistently used in all the proofs which involve monomial ideals. Proposition.7. Let I u 1,..., u r and J v be monomial ideals in a polynomial ring over a field k. hen I : J {u i /gcdu i, v : i 1,..., r}.

4 4 CLAE D CUZ 3. he associated graded ring corresponding to the filtration F : { } n 0. hroughout this section we will work with the ring k[x, x 3 ] and the ideals J 1, J and. Our goal is to compute l / + x and l / + x, xq+1 3. o attain our goal, we show that x, xq+1 3 is a regular sequence in GF, where GF : n 0 /+1 is the associated graded ring corresponding to the filtration F : { } n 0. heorem 3.1. GF is Cohen-Macaulay. Proof. We first show that : x 1 for all n. Clearly x 1 J 1 1. Write J a 1 1 a1 1 i0 xa 1 i x qi 3 x, x 3 i + x qa 1 3 x, x 3 a 1. hen : x J a 1 a 1 +a n J a 1 a 1 +a n a 1 +a n a 1 +a n 1. a 1 1 i0 a 1 1 i0 : x : x x a 1 i x qi+q+1a 3 x, x 3 i : x + xqa 1+q+1a 3 x, x 3 a 1 : x x a 1 i 1 x qi+q+1a 3 x, x 3 i + x qa 1+q+1a 3 x, x 3 a Let denote the image in /x. hen GF x I n 0 n+1 + x 1 GF. o show that x q+1 3 is a regular element in GF, we need to verify that Let m 1. hen + + x +1 : x q x J1 m+ : x q+1 3 x m+ i x qi i0 3 x, x 3 i : x q+1 m+ 3 + x m+ i x qi 3 x, x 3 i : x q+1 3 m+ x m x, x 3 + x m+ i x qi 3 3 x, x 3 i 3 x 3 x q 1 3, x x q 3, x x q+1 3, x q+ 3 i3 x m m+ + x m+ i x qi x, x 3 i 3 x, x x q 3, xq+1 3 J m 1. i3 i3 3.4

5 5 Hence + + x +1 : x q+1 3 J a 1 : x q x J a 1 : x q+1 3 a 1 +a n+ a 1 +a n+1 J a J1 n+ : x q+1 3 a 1 +a n+;a 0 + x Ja x Jn+1 1 : x q+1 3 a 1 +a n+1;a 0 J a J1 n + x Ja 1 1 a 1 +a n+;a 0 a 1 +a n+1;a 0 + x Jn 1 1 [by 3.4] + x he other inclusion is easy to verify. We are now ready to prove the main result of this section. Proposition 3.6. For all n 1, l l + x + x, xq+1 3 l 1 l 1, + l 3. Proof. he proof follows from [7, Proposition.4] and heorem he inductive step In this section we describe the generators of 1 modulo : x q 3. his will be used in our computations in the next section. Lemma 4.1. For all n 1, 1 : x q 3 1. n 1 x x n 1 a 1 x q+1a 3 x, x q 3 + : x q 3 if n 1 a 0 n 1 q n 3 a 0 x n 1 a 1 x q+1a 3 x, x q 3 + : x q 3 if n 1.

6 6 CLAE D CUZ Proof. 1 One can verify that : x q 3 a 1 +an;a 0 a 1 +an;a 0 1. J a 1 x q+1 : x q 3 + Jn 1 : xq 3 3 J a 1 n + x n + 1 x n i x qi 1 i1 3 x, x q 3 i As I 1 J 1 x x, x q 3 + xq+1 3 x x, x q 3 + I : x q 3, is true for n 1. Let n > 1. For all a 1 1, as J a 1 1 J 1 J a x x, x q 3, xq+1 3 x a 1 3 x, x q 3 + I a 1 : x q 3 [by induction hypothesis] x a 1 1 x, x q 3 + xa 1 x q 3 + x x, x q 3 I a 1 : x q 3 + xq+1 3 x a 1 3 x, x q 3 + xq+1 3 I a1 : x q 3 x a 1 1 x, x q 3 + I a 1 +1 : x q 3 4. Hence x a 1 x q 3 xq 3 x a 1 1 x q+1 3 x q 1 3 J a J a I a1 1+ I a1 +1 x q+1 3 x a 1 3 x, x q 3 x q 3 x a 1 x x, x q 3 xq+1 3 J a J a I a1 1+ I a1 +1 x q+1 3 I a1 : x q 3 I a 1 +1 : x q 3 n a 0 J n 1 a 1 J a if n 1 n 3 J n 1/ + a 0 n a 0 n 3 n 1 q+1 x 3 + a 0 n J n 1 a 1 J a if n 1 x n 1 a 1 x q+1a 3 x, x q 3 + xq+1a 3 a : x q 3 if n 1 a 0 n 3 n 1 q+1 x 3 + a 0 x n 1 a 1 x q+1a 3 x, x q 3 + xq+1a 3 a : x q 3 if n 1 x n 1 a 1 x q+1a 3 x, x q 3 + : x q 3 if n 1 x n 1 a 1 x q+1a 3 x, x q 3 + : x q 3 if n 1. [by 4.] his implies that HS. he other inclusion follows from 1 and checking element-wise.

7 7 Proposition 4.3. For all n 1, dim k In 1 : x q 3 n. Proof. Put m x, x 3. hen x q 3 m 1 J 1 1. Hence by Lemma 4.1 we get In 1 n/ if n 1 dim k : x q [n 1/] if n 1 n. o complete the proof we need to show that we have n linearly independent elements. As all the elements in 1 / : x d has the degree of x different, they form a linearly independent set. 5. Cohen-Macaulayness of /p n + f k Let f 1 : f 1 and f : f 1, f, where f 1 and f are defined in Lemma.1. he main step in proving the Cohen-Macaulayness of s p is to show that or all n 1 and k 1,, the rings /p n + f k are Cohen-Macaulay [9]. his was proved by Goto for q 1 and n 3 [9, Proposition 7.6]. We prove it for all q 1 and for all n. As a consequence, we prove that p n and p n for all n 1. We first compute the length of the /. Next, we prove an interesting result which gives the the equality of the lengths of the various modules heorem 5., heorem 5.6. Proposition 5.1. For all n 1, n + 1 l q + 1. Proof. We prove induction on n. If n 1, then k[x, x 3 ] l l I 1 x, x x q 3, q + 1. xq+1 3 Now let n > 1. From the exact sequence we get l 0 q.x : x q x q 3 0 l + x q 3 + l : x q 3 In 1 l x n, x q 3 + l + l 1 : x q 3 [Lemma 4.11] n qn + q n [by induction hypothesis and Proposition 4.3] n + 1 q + 1.

8 8 CLAE D CUZ heorem 5.. For all n 1, e x 1 ; p n l p n + x 1 n + 1 l l, x 1 l q + 1. Proof. From Proposition.51, p n. Hence, e x 1 ; p n l p n [as /p n is Cohen-Macaulay] + x 1 l. 5.3, x 1 By Proposition.53, for any prime q m,, x 1 q. Hence Supp {m} and we, x 1 get l l, x 1 [Lemma.] l [.4] n + 1 q + 1 [Proposition 5.1] e x 1 ; p l p p p n p e x 1 ; p l p p p n p [since p n p p n p ] e x 1 ; p n [by [0, heorem 14.7]]. 5.4 hus equality holds in 5.3 and 5.4 which proves the theorem. Notation 5.5. Let f 1 f 1, f f 1, f, x x and x 3 x, xq+1 3. heorem 5.6. Let k 1,. hen for all n 1, e x 1 ; p n l + f k p n l + x 1, f k + f k In particular, p n + f k is Cohen-Macaulay. l + x k+1 Proof. From Proposition.51, x 1, f k p n, x 1, f k. Hence e x 1 ; p n l + f k p n [0, heorem 14.10] + x 1, f k l. 5.7, x 1, f k Since, x 1 I n, f k, x 1 by Proposition.53, for any prime q m,, f k, x 1 q. his implies that Supp {m}. Hence we get, f k, x 1.

9 9 l, x 1, f k l, x 1, f k l + x k+1 l I n 1, if k 1 l 1 + l 3 if k p p l p n p p n 1 p if k 1 l p p n p p p n 1 p p p n p + l p p n 3 p if k e x 1 ; p n + f k Hence equality holds in 5.7 and 5.8 which proves the theorem. [Lemma.] [Proposition 3.6] [heorem 5.] [7, Corollary.6]. 5.8 We end this section by explicitly describing the generators of p n for all n 1. heorem 5.9. For all n 1, p n ; p n p a 1 p a and p n. a 1 +a n Proof. By heorem 5. we get p n + x 1 + x 1. Hence p n + x 1 p n : x 1. As x 1 is a nonzerodivisor on /p n, p n : x 1 p n. By Nakayama s lemma, p n. For all n 3, applying Proposition.51 we get p n J a 1 1 J a a 1 +a n a 1 +a n Hence equality holds. he last equality follows from heorem 5.. p a 1 p a p n. 6. Cohen-Macaulayness and Gorensteinness of symbolic blowup algebras In this section we show that both symbolic blowup algebras G s p and s p are Cohen-Macaulay and Gorenstein. From Proposition 3.7 in [11] it follows that G s p is Cohen-Macaulay. We use the results in this paper to prove it. heorem G s p is Cohen-Macaulay. G s p is Gorenstein. Proof. 1 By [11, Corollary 3.], it is enough to show that x 1, f 1, f is a regular sequence in G sp. For all n]geq1, x t 1 is a nonzerodivisor on /pn for all t, Hence x 1 is a regular element in G sp and p + x1 G s x 1 n 0 p n + x 1 p n+1 + x 1 n 0 p n p n+1 + x 1 p n G sp x 1 G sp.

10 10 CLAE D CUZ o show that f1 is a regular sequence we need to show that pn + x 1 : f 1 p n + x 1. Now l p n+1 l, x 1 : f 1 p n+1, x 1 p n+1, x 1, f 1 l x [heorem 5.6] l +1 : x l [proof of heorem 3.1] l p n [heorem 5.6]., x 1 is a nonze- Similarly, one can show that p n+1, x 1, f 1 : f p n 1, x 1, f 1 which will imply that f rodivisor on G s p/x 1, f 1. his proves 1. As Gp p is a polynomial ring, it is Gorenstein. Hence the result follows from heorem 5.6 and [9, Corollary 5.8]. heorem 6.. [11, heorem 4.1], [17, heorem ] 1 s p [pt, J t ] [pt, f t ]. s p is Cohen-Macaulay. 3 s p is Gorenstein. Proof. 1 he proof follows from heorem 5.9. By heorem 5.6, Cohen-Macaulay. p n + f is Cohen-Macaulay for all n 1. Hence, by [9, heorem 6.7], sp is 3 By [9, Lemma 6.1], the a-invariant of G s p, ag s p. By [9, heorem 6.6], and heorem 6.1, s p is Gorenstein. 7. A few questions In this section we state a few related questions which are of interest. Question 7.1. In [1] S. Goto and M. Morimoto studied the monomial curves t n +n+, t n +n+1, t n +n+1. hey showed that for n p r r 1, s p is Noetherian but not Cohen-Macaulay if char k p. In [1], the authors raised the following question. If char k p p, is s p Noetherian? In [8], W. Vasconcleos showed that if char k 0 and n, then s p Noetherian. If p is a prime and n p >, then is s p Noetherian? Question 7.. Let k be a field and let p be the prime ideal defining the monomial curve t a, t b, c c in A 3 where a, b and c are pairwise coprime. In [5], D. Cutkosky gave a geometric meaning to symbolic primes. He found some interesting examples of monomial curves for which s p is finitely generated. Using the criteria in D. Cutkosky s paper, H. Srinivasan showed that if a 6, then s p is finitely generated [6].

11 In [16], C. Huneke showed that s p is finitely generated if a 4. Can we find all possible a, b, c such that s p is finitely generated? 11 eferences [1] H. Bresinsky, Monomial space curves in A 3 as set-theoretic complete intersections. Proc. Amer. Math. Soc , no. 1, , [] H. Bresinsky, Monomial Gorenstein curves in A4 as set-theoretic complete intersections. Manuscripta Math , no. 4, 353? [3]. C. Cowsik, M. V. Nori, Affine curves in characteristic p are set theoretic complete intersections. Invent. Math , no., [4]. C. Cowsik, Symbolic powers and number of defining equations. Algebra and its applications New Delhi, 1981, 13-14, Lecture Notes in Pure and Appl. Math., 91, Dekker, New York, [5] D. Cutkosky, Symbolic algebras of monomial primes, Journal für die reine und angewandte Mathematik , [6] S. Eliahou, Courbes monomiales et algebre de ees Symbolique, heèse, Universitè de Genève, [7] C. D Cruz and S. Masuti,Cohen-Macaulayness and Gorensteinness of symbolic blowup algebras of certain monomial curves. arxiv: , 5, 9 [8] V. Ene and J. Herzog, Gröbner bases in commutative algebra. Graduate Studies in Mathematics, 130 American Mathematical Society, [9] S. Goto, he Cohen-Macaulay symbolic ees algebras for curve singularities. he Cohen-Macaulay and Gorenstein ees algebras associated to filtrations. Mem. Amer. Math. Soc , no. 56, , 10 [10] S. Goto, Shiro; K. Nishida, and Y. Shimoda, opics on symbolic ees algebras for space monomial curves. Nagoya Math. J , , [11] S. Goto, Shiro; K. Nishida, Y. Shimoda, he Gorensteinness of symbolic ees algebras for space curves. J. Math. Soc. Japan , no. 3, ,, 9, 10 [1] S. Goto, Shiro; K. Nishida, K. Watanabe, Non-Cohen-Macaulay symbolic blow-ups for space monomial curves and counterexamples to Cowsik s question. Proc. Amer. Math. Soc , no., , 10 [13] J. Herzog, Generators and relations of abelian semigroups and semigroup rings. Manuscripta Math [14] J. Herzog and B. Ulrich, Self-linked curve singularities. Nagoya Math. J , [15] C. Huneke, he Primary components of and Integral Closures of Ideals in 3-Dimensional egular Local ings. Mathematische Annalen [16] C. Huneke, Hilbert functions and symbolic powers. Michigan Math. J , , 3, 11 [17] G. Knödel, P. Schenzel and. Zonsarow, Explicit computations on symbolic powers of monomial curves in affine space, Comm. Algebra 0 199, no. 7, ,, 10 [18] L. Kronecker, Grundzüge einer arithmetischen heorie der algebraische Grössen. J. eine Angew. Math , [19] G. Lyubeznik, A survey of problems and results on the number of defining equations. Commutative algebra Berkeley, CA, 1987, , Math. Sci. es. Inst. Publ., 15, Springer, New York, [0] H. Matsumura, Commutative ring theory, translated from the Japanese by M. eid, Second edition, Cambridge Studies in Advanced Math., 8 Cambridge University Press, 1989., 8 [1] M. Morimoto and S. Goto, Non-Cohen-Macaulay Symbolic Blow-ups for Space Monomial Curves. Proceedings of the American Mathematical Society, 116, No. 199, pp [] M. Morales, Noetherian symbolic blow-ups. J. Algebra , [3] D. Patil, Certain monomial curves are set-theoretic complete intersections. Manuscripta Math , , [4] P. Schenzel: Examples of Noetherian symbolic blow-up rings. ev. oumaine Math. Pures Appl , no. 4, , [5] Š. Solčan On the computation of symbolic powers of some curves in A 4. Acta Math. Univ. Comenian. N.S , no. 1, [6] H. Srinivasan, On finite generation of symbolic algebras of monomial primes. Communications in Algebra ,

12 1 CLAE D CUZ [7] G. Valla, On determinantal ideals which are set-theoretic complete intersections. Compositio Mathematica , [8] W. V. Vasconcelos Symmetric algebras and factoriality. Math. Sci. es. Inst. Publ., vol. 15, Springer, New York, 1989, pp [9] W. V. Vasconcelos, Arithmetic of Blowup Algebras, London Mathematical Society Lecture Note Series Cambridge University Press, Cambridge 1994 Chennai Mathematical Institute, Plot H1 SIPCO I Park, Siruseri, Kelambakkam , amil Nadu, India address: clare@cmi.ac.in