arxiv: v1 [math.ac] 16 Nov 2018

Similar documents
Homological Dimension

Hilbert function, Betti numbers. Daniel Gromada

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA

Notes for Boot Camp II

HILBERT FUNCTIONS. 1. Introduction

Journal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.

On the vanishing of Tor of the absolute integral closure

INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References

On Extensions of Modules

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

Pacific Journal of Mathematics

REFLEXIVE MODULES OVER GORENSTEIN RINGS

A NOTE ON ZERO DIVISORS

arxiv: v1 [math.ac] 8 Jun 2010

THE AUSLANDER BUCHSBAUM FORMULA. 0. Overview. This talk is about the Auslander-Buchsbaum formula:

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

Proceedings of the Twelfth Hudson Symposium, Lecture Notes in Math. No. 951, Springer-Verlag (1982), 4l 46.

Krull Dimension and Going-Down in Fixed Rings

Ring Theory Problems. A σ

FLAT AND FP-INJEOTVITY

Ideals Of The Ring Of Higher Dimensional Dual Numbers

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

Computing syzygies with Gröbner bases

Noetherian property of infinite EI categories

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

Injective Modules and Matlis Duality

RESEARCH STATEMENT. My research is in the field of commutative algebra. My main area of interest is homological algebra. I

Fall 2014 Commutative Algebra Final Exam (Solution)

FROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES

LOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES

PRIMARY DECOMPOSITION OF MODULES

REGULAR P.I.-RINGS E. P. ARMENDARIZ AND JOE W. FISHER

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

arxiv:math/ v1 [math.ac] 3 Apr 2006

Gorenstein rings through face rings of manifolds.

ON MAXIMAL TORSION RADICALS, II

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

THE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley

A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS

m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p

Homework 2 - Math 603 Fall 05 Solutions

Math 711: Lecture of September 7, Symbolic powers

S. Paul Smith and James J. Zhang

m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS

Projective and Injective Modules

THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE

Algebra Homework, Edition 2 9 September 2010

International Journal of Algebra, Vol. 4, 2010, no. 2, Atomic Modules. V. A. Hiremath 1

A family of local rings with rational Poincaré Series

THE FROBENIUS FUNCTOR AND INJECTIVE MODULES

RECURSIVE RELATIONS FOR THE HILBERT SERIES FOR CERTAIN QUADRATIC IDEALS. 1. Introduction

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

SEQUENCES FOR COMPLEXES II

Matrix factorisations

arxiv: v2 [math.ac] 25 Apr 2011

COMPONENTWISE REGULARITY (I)

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

DOUGLAS J. DAILEY AND THOMAS MARLEY

THE REGULAR ELEMENT PROPERTY

Quasi-primary submodules satisfying the primeful property II

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO

On the analytic spread and the reduction number of the ideal of maximal minors

ON TENSOR PRODUCTS OF COMPLETE RESOLUTIONS

58 CHAPTER 2. COMPUTATIONAL METHODS

COMPRESSIBLE MODULES. Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad India. Abstract

arxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach

ALMOST GORENSTEIN RINGS

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

3.20pt. Mark Blumstein Commutative Algebra of Equivariant Cohomology Rings Spring / 45

COFINITENESS AND COASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

THE LARGE CONDITION FOR RINGS WITH KRULL DIMENSION

On U-dominant dimension

Essential Extensions of a Direct Sum of Simple Modules

LIVIA HUMMEL AND THOMAS MARLEY

Paul E. Bland and Patrick F. Smith (Received April 2002)

arxiv:math/ v1 [math.ac] 4 Oct 2002

Semi co Hopfian and Semi Hopfian Modules

Formal power series rings, inverse limits, and I-adic completions of rings

arxiv: v8 [math.ra] 13 Apr 2015

arxiv: v1 [math.ac] 31 Oct 2015

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

On Left Quasi Noetherian Rings

WEAKLY CLEAN RINGS AND ALMOST CLEAN RINGS

ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes

Math 418 Algebraic Geometry Notes

SUBCATEGORIES OF EXTENSION MODULES BY SERRE SUBCATEGORIES

12. Hilbert Polynomials and Bézout s Theorem

ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES

ON THE ENDOMORPHISM RING OF A CHAIN MODULE

The Depth Formula for Modules with Reducible Complexity

INDECOMPOSABLE GORENSTEIN MODULES OF ODD RANK. Christel Rotthaus, Dana Weston and Roger Wiegand. July 17, (the direct sum of r copies of ω R)

Chan Huh, Sung Hee Jang, Chol On Kim, and Yang Lee

Transcription:

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 Sciences, University of Dar es Salaam e-mail: d.mgani99@gmail.com Makungu Mwanzalima Department of Mathematics, College of Natural and Applied Sciences, University of Dar es Salaam e-mail: makungu@maths.udsm.ac.tz Abstract In this paper, we investigate the relationship between the Hilbert functions and the associated properties of the graded modules. To attain this, we construct the graded modules from the sets of points in projective space, P n k. We use a computer software package for algebraic computations Macaulay2 to study the Hilbert functions and the associated properties of the graded modules. Thereafter, we provide theoretical proofs of the results obtained from Macaulay2 and finally, we give illustrative examples to justify some of our results. 1 Introduction and Preliminaries Let R = k[x 0,...x n ] be a polynomial ring in n + 1 independent variables over an algebraically closed field k, with deg(x i ) = 1 for i = 1,...,n and let X = {P 1,...,P s } P n k be a finite set of points in a projective space with Mathematics Subject Classification 2010: 47H10, 54H25 Key phrases: Hilbert functions, projective space, points, graded modules 1

length l X = s, in this work we only consider sets of points with general position (random sets of points ). Now, we define an ideal I X of all functions vanishing on X, and R X = R/I X, the homogeneous coordinate ring of the points. Let M be an R X - module and denote by H i (M), for each i 0, the dimension, as a vector space, of the graded component of degree i of the graded module M. The function i H i (M) := dim k M(i) = ( ) n+i i is known as the Hilbert function of M in degree i. The Hilbert function of a set of points inp 2 k isthebasis formany questions aboutsets ofpoints. Toanyset of points, we can associate an algebraic object which we call the coordinate ring. Then, the Hilbert function is used to obtain, among other things, algebraic information about the coordinate ring and geometric information about the set of points [6]. The following definitions and preliminary results will be required to establish the results. Theorem 1.1 (Hilbert) If M is a finitely generated graded module over k[x 0,...x n ], then H i (M) agrees, for large i, with a polynomial of degree n. The details of the proof of Theorem 1.1 can be obtained from [1],[3] and [4]. Definition 1.2. Let R X be a Noetherian ring. A finite R X - Module M is torsionless if the map ϕ M : M M is a monomorphism or injective, where M = Hom RX (M,R X ) is a double dual of M = Hom RX (J,R X ). The use of the canonical homomorphism of a module into its double dual was initiated by Bass [2]. Definition 1.3. An R X - module M is torsionless if and only if for each 0 m M there exists f M such that f(m) 0. f g Definition 1.4. If 0 F 0 F 1 F 2 0 is an exact sequence of R X - g f F 0. modules and R X - homomorphisms, so is 0 F 2 F1 Definition 1.5. An ideal I in R is said to be regular if and only if it consists entirely of regular elements (or non-zero divisors) of R. Remark 1. (A) Itiseasytoseethataregularideal I inrisitself aregular ring. For if u I, x R such that uxu = u. Next, uxuxu = u and xux I. Hence, u is regular in the ring I. (B) Since our rings are commutative, then uxu = u(ux) = u 2 x = u. Proposition 1. [5] Let J R X be a non-zero homogeneous ideal of R X and J R X an inclusion map, then Hom RX (J,R X ) is an R X - module of homomorphisms. Lemma 1.6 [5] Let J R X be any homogeneous ideal. Then, the map µ : J Hom RX (Hom RX (J,R X ),R X ) is injective. Proposition 2. [5] If J R X is a homogeneous ideal andsatisfies the conditions, dim k Hom RX (J,R X ) i = dim k (R X ) i = sfori δ X,thenHom RX (J,R X ) i as an R X - module of homomorphisms is isomorphic to some homogeneous 2

ideal of R X. δ X is the lowest degree for which the Hilbert function of X equals the number of points s. 2 Main Results In this section we give proofs of our main results. Lemma 2.1 If J R X is a regular homogeneous ideal, then the map θ g : Hom RX (J,R X ) R X is injective if and only if g is a non-zero divisor on R X. Proof. ( =): Let g J be a non-zero divisor on R X. Then for all f J we have φ(fg) = gφ(f) = fφ(g). If φ(g) = 0 then gφ(f) = 0. So, we have φ(f) = 0 for all f J giving φ = 0. This means that θ g (φ) = 0, implies that φ = 0. Hence θ g is injective. (= ) : Suppose g J is a zero divisor. Then there exists h 0 such that gh = 0. Let φ Hom RX (J,R X ) be defined by φ(f) = fh for all f J. Then we have φ(g) = gh = 0. That is, θ g (φ) = φ(g) = 0 and we get that φ ker(θ g ). But φ 0. Take f J to be a non-zero divisor on R X. Then φ(f) = fh 0, because h 0. Thus θ g is not injective. Proposition 3. If h J is a non-zero divisor, then there exists at least one homomorphism Hom RX (J,R X ) R X such that R X /J is Artinian. Proof. Since J contains a non-zero divisor h, it follows from Definition 1.5 that J is a regular homogeneous ideal of R X, and from Lemma 2.1, Hom RX (J,R X ) R X exists and is injective. Next, we know that R X = R/I X, supposerisanartinianringwithideali X, thenr/i X isalsoartinian (a quotient of an Artinian ring is Artinian). Now, it is easy to see that R X /J is Artinian. Alternatively, since R X /J is of dimension zero (dim(r X /J) = 0) and the Hilbert function H(R X /J,i) = 0 for i large. Hence, R X /J is Artinian. Remark 2. The homomorphism is of the same degree as that of the minimal generator(s) of J. Corollary 2.2 Let X P 2 k be a set of points with R X/J Artinian. Then the ideal J containing at least one generator of I X is generated by homogeneous elements of initial degree i Ω, where Ω is a Socle degree of R X /J. 3

Proof. Let 0 p+1 P R( d i ) R( c i ) J 0. (2.1) i=1 i=1 be a minimal free resolution of J, where c 1 c 2... c p+1 are the degrees of the minimal set of generators of J and d 1 d 2... d p the degrees of a minimal set of generators for the syzygy module. For i = 1,...,p + 1 we write λ j = {c i c i = j} Let λ j be the number of the integers c i equal to j. Let H i be the Hilbert function of R X /J, that is, H i = Hilb(R X /J,i) and q = min{i N H i = 0}. Since H i (Ω) 0 and H j = 0 for all j Ω, the highest value of j for which λ j could be non zero is Ω. In the next proposition (Proposition 4), we prove that any submodule of a torsionless R X - module is torsionless over Noetherian rings. Proposition 4. Let R X be a Noetherian ring and M a torsionless R X - module. If N M is an R X - submodule, then N is torsionless. Proof. Since N M, there is an injection 0 N M. From definition 1.2, we have an injective map ϕ M : M M. Now, we construct ϕ N : N N, where N is the double dual of N. Then, we get the following commutative diagram 0 N M f ϕ N N f ϕ M M where f = (f ). Fromthecommutative diagramone hasthat, ϕ M f is injective (composition of injective maps is injective), and f ϕ N is also injective. It follows that ϕ N is injective. Hence, N as an R X - submodule of M is torsionless. Example 1. All the computations in this section were done using the computer algebra package Macaulay2. We describe the relationship between the initial degree of the miniminal generator(s) of a homogeneous ideal J and the Socle degree of an Artinian algebra R X /J. We investigate through different setsofpointsintheprojectiveplanep 2 k. LetX 1 = {P 1,P 2 },X 2 = {P 1,P 2,P 3 } and X 3 = {P 1,P 2,P 3,P 4 } be sets with 2,3 and 4 random points respectively (we call this, the first group of points). We construct the homogeneous ideals I X1,I X2 and I X3 and compute the Betti diagrams as shown hereunder: 4

Table 1: Betti diagram for I X1 1 2 1 0: 1 1-1: - 1 1 I X1 is generated by 1 form of degree 1 and 1 form of degree 2. Table 2: Betti diagram for I X2 1 3 2 0: 1 - - 1: - 3 2 I X2 is generated by 3 forms of degree 2. Table 3: Betti diagram for I X3 1 2 1 0: 1 - - 1: - 2-2: - - 1 I X3 is generated by 2 forms of degree 2. We constuct J X1,J X2 and J X3 as homogeneous ideals containing at least a degree of the generator(s) of I X1,I X2 and I X2 respectively. Taking J X1 = (x 0 + x 1 + x 2,x 2 0 + x2 1 + x2 2 x 0x 1 + x 1 x 2 ), J X2 = (x 0 + x 1 + x 2,x 2 0 + x2 1 + x 2 2 + x 0 x 1 + x 1 x 2 x 0 x 2 ), and J X3 = (x 0 + x 1 + x 2,x 2 0 + x 2 1 + x 2 2 x 0 x 1 + x 1 x 2 ). Hilb(R X /J X1 ) = {1,1,0,0,0,...}, Hilb(R X /J X2 ) = {1,2,0,0,0,...}, andhilb(r X /J X3 ) = {1,2,0,0,0,...}. Sinceall thehilbert functionsarezero for higher degrees, thus R X /J X1,R X /J X2, and R X /J X3 are Artinian, both of socle degree 1. We see that, for sets of points X 1,X 2 and X 3, the initial degree of the generator(s) of the ideals J X1,J X2 and J X3 is the same as the socle degree of the corresponding coordinate ring. For X = {P 1,...,P s }, where s 4, situation is different, the socle degree increases as does the initial degree of J. Again, this will be illustrated below for some sets of points, and later on we give the general behavior for any finite set of points in the projective plane P 2 k. Let X 6 = {P 1,...,P 7 } be a set with 7 random points, I X6 is generated by 3 form of degree 3 and the corresponding Betti diagram is as shown below, 5

Table 4: Betti diagram for I X6 1 3 2 0: 1 - - 1: - - - 2: - 3 1 3: - - 1 Let J X6 = (x 2 0 +x2 1 +x2 2 +x 0x 1 +x 1 x 2,x 3 0 +x3 1 +x3 2 x2 0 x 1+x 1 x 2 2 +x 0x 1 x 2 ), we have Hilb(R X /J X6 ) = {1,3,5,3,0,0,0,...}. J X6 is of initial degree 2 and the highest degreeforwhichitshilbertfunctionisnon-zerois3. Thus, R X /J X6 is Artinian of Socle degree 3. Equivalently, Socle degree = deg(min{g JX6 })+ 1 = 2+1 = 3. This holdsfor5 s 9, (thesecondgroup). Wealsoobserve that, for the third group, 10 s 16, Socle degree = deg(min{g JX })+2. For the fourth group, 17 s 25, Socle degree = deg(min{g JX })+3 and so on. Where G JX, is the set of generator(s) of J X. Generally, let ξ denote the collection of distinct sets of points with the same socle degree. Then, the number of sets in this collection is obtained by the following formula ξ = 2n+1, n 1. In the following result we wish to investigate what happens to quotient rings R X /I, R X /I andr X /(I+I ), when I andi aremonomial ideals. An ideal I k[x 0,...,x n ] is termed to be monomial if it is generated by monomials of the form x a = x a 0 1...xan n,a = (a 0,...,a n ). To find a monomial ideal I that contains at least one monomial from each polynomial of I X it is important to look for a method of choosing one monomial from each polynomial of R. For our case, we choose leading terms from each polynomial in I X, and use the chosen monomials or terms to generate I. We use I and I to be the monomial ideals generated from I X1 and I X2 respectively. Lemma 2.3 Let X 1,X 2 P 2 k be two sets of random points, I X 1 and I X2 be homogeneous ideals generated by all forms vanishing on X 1 and X 2 respectively. Let I be a monomial ideal of I X1 and, I a monomial ideal of I X2. Then, the quotients rings R X /I,R X /I and R X /(I +I ) are Artinian. Proof. In order to prove that R X /I is Artinian, we need to show that for any two distinct prime ideals I and I there does not exist an ideal properly containing the other, that is I I or I I. We begin by assuming that I is a prime ideal of R X, then we know that R X /I is an integral domain. For R X /I to be Artinian we must have the descending chain condition (d.c.c). Suppose x R X /I, x is a nonzero element, by d.c.c it follows that (x n ) = 6

(x n+1 ) for some n. Now, for some r R X /I we can have x n = x n+1 r. Now, the cancellation laws hold to x n since R X /I is an integral domain and x is nonzero, thus xr = 1. Therefore, r is a multiplicative inverse of x and R X /I is a field, hence I is a maximal ideal. So there exists no other ideal I of R X such that I I. Rings having this property are refered to as rings of krull dimension 0. This shows that the quotient ring R X /I is Artinian, so is R X /I. To prove that R X /(I +I ) is Artinian. We know that I +I =< Monomials in both I X1 andi X2 > = I X1 I X2 = I X1 X 2 (2.2) Where I X1 X 2 is the monomial ideal of the union of two sets of points X 1 and X 2. Now, it follows that R X /(I +I ) = R X /(I X1 I X2 ) = R X /(I X1 X 2 ) But either I X1 I X2 I X1 or I X1 I X2 I X2. We get that R X /(I X1 I X2 ) R X /I X1 R X /I X2 Since R X /I X1 and R X /I X2 are both Artinian, implies that R X /(I X1 I X2 ) is also Artinian. Hence R X /(I +I ) is Artinian. We illustrate the discussion above with the following example: Example 2. Let X 1 = {P 1,...,P 15 } be a set with 15 points and I X1 the ideal vanishing onx 1. The associatedmonomial ideal ofi X1 isi = (x 5 1,x 0x 4 1,x2 0 x3 1, x 3 0x 2 1,x 4 0x 1,x 5 0). TheHilbertfunctionofR X /I,Hilb(R X /I) ={1,3,6,10,15,9, 2,0,0,0,...}. Take, X 2 = {P 1,...,P 21 } and I X2, an ideal vanishing on X 2 with corresponding monomial ideal I = (x 6 0,x5 0 x 1,x 4 0 x2 1,x3 0 x3 1,x2 0 x4 1,x 0x 5 1,x6 1 ), Hilb(R X /I ) = {1,3,6,10,15,15,8,0,0,0,...}. Then, using Macaulay 2 one can verify that we have I + I as an ideal of R X with Hilbert function, Hilb(R X /(I +I )) = {1,3,6,15,9,2,0,0,...}. Since all the Hilbert functions become zero for large degree i, then the quotient rings, R X /I,R X /I and R X /(I +I ) are all Artinian. References [1] D. Eisenbud, Commutative algebra, with a view toward algebraic geometry, Springer-Verlag, New York Inc, 2004. [2] H.Bass, Finitistic dimension and homological generalization of semiprimary rings, Trans. Amer. Math. Soc. Vol. 95 (1960), 466-488 7

[3] H. Li, An introduction to commutative algebra, World Scientific Publishing Co. Pte. Ltd, 2004. [4] M. F Atiyah, I. G MacDonald, Introduction to commutative algebra, Addison-Wesley Publishing Company, 1969 [5] M. Mwanzalima, Betti numbers of graded module with support on reduced sets of poits in projective space, PhD Thesis, The University of Dar es Salaam 2014. [6] T. A Van, The border of the Hilbert function of a set of points in P n 1...P n k. Journal of Pure and Applied Algebra, 176, 223-247, 2002. 8