Normal cones of monomial primes

Abstract. We explicitly calculate the normal cones of all monomial primes which define the curves of the form (t L,t L+1,...,t L+n), where n ≤ 4. All of these normal cones are reduced and Cohen-Macaulay, and their reduction numbers are independent of the reduction. These monomial primes are new examples of integrally closed ideals for which the product with the maximal homogeneous ideal is also integrally closed. Substantial use was made of the computer algebra packages Maple and Macaulay2. Let (R,m) be a regular local or graded local ring and let I ⊆ R be an ideal. In the case of a graded ring, I is assumed to be homogeneous. By NI = � t∈N It /m ·I t we denote the special fibre of the blow-up of I, i.e., the normal cone of I. WhenI⊆R is an m–primary ideal (in which case Spec(NI) is homeomorphic to the exceptional fibre of the blow–up of I), normal cones have been studied quite intensely (see for example the comprehensive reference [HIO]), and some of the results for m-primary ideals have been extended to equimultiple ideals (cf. [Sh1], [Sh2], [HSa], [CZ]). Fo

Normal Cones of Monomial Primes

We explicitly calculate the normal cones of all monomial primes which define the curves of the form (t L ; t L+1 ; : : : ; t L+n ), where n 4. All of these normal cones are reduced and CohenMacaulay, and their reduction numbers are independent of the reduction. These monomial primes are new examples of integrally closed ideals for which the product with the maximal homogeneous ideal is also integrally closed. Substantial use was made of the computer algebra packages Maple and Macaulay2. Let (R; m) be a regular local or graded local ring and let I ` R be an ideal. In the case of the graded ring, I is assumed to be homogeneous. By N I = L t2N I t =m \Delta I t we denote the special fibre of the blow up of I, i.e. the normal cone of I. When I ` R is an m--primary ideal (in which case Spec(N I ) is homeomorphic to the exceptional fibre of the blow--up of I), normal cones have been studied quite intensely (see for example the comprehensive reference [HIO]), and some of the results for m-primary ideals have been extended to equimultiple ideals (cf. [Sh 1 ], [Sh 2 ], [HSa], [CZ]). For more general ideals very little is known about the structure of their normal cones. If I is generated by a d-sequence, then N I is a polynomial ring, cf. [Hu]. In particular this is the case if I is generated by a regular sequence. Conversely, a celebrated result of Cowsik and Nori [CN] asserts that an equidimensional radical ideal I with dim(N I ) = ht(I) = dim(R) \Gamma 1 is a complete intersection ideal. Other than that the structure of N I has been determined only in some special cases ([MS], [G], [CZ]). Our interest in the normal cones got sparked by their relations to evolutions and evolutionary stability of algebras. In [Hu] it was shown that whenever I is a radical ideal ..