[Paper Review] Sequentially Cohen-Macaulay monomial ideals of embedding dimension four

Sarfraz Ahmad, Dorin Popescu|ArXiv.org|Feb 20, 2007

Commutative Algebra and Its Applications6 references15 citations

TL;DR

This paper establishes that for monomial ideals in a polynomial ring with four variables, sequential Cohen-Macaulayness is equivalent to being pretty clean, and thus implies the Stanley conjecture holds. The key result is a complete characterization of such ideals via their primary decomposition, showing that in four variables, sequentially Cohen-Macaulay monomial ideals are always Stanley ideals.

ABSTRACT

Let $I$ be a monomial ideal of the polynomial ring $S=K[x_1,...,x_4]$ over a field $K$. Then $S/I$ is sequentially Cohen-Macaulay if and only if $S/I$ is pretty clean. In particular, if $S/I$ is sequentially Cohen-Macaulay then $I$ is a Stanley ideal.

Motivation & Objective

• To characterize monomial ideals in four variables for which the quotient ring is sequentially Cohen-Macaulay.
• To determine whether sequentially Cohen-Macaulay implies pretty clean in the case of embedding dimension four.
• To verify the Stanley conjecture for such ideals by showing they are Stanley ideals.
• To provide a complete algebraic description of height-two monomial ideals with Cohen-Macaulay quotient rings in four variables.
• To establish a converse to known results on clean and sequentially Cohen-Macaulay modules in the monomial setting.

Proposed method

• Utilizes the dimension filtration of $ S/I $, defined via associated primes of increasing height.
• Applies the notion of prime filtrations where each factor is isomorphic to $ S/P_i(a_i) $, with $ P_i $ prime ideals.
• Employs the concept of pretty clean filtrations, requiring that larger primes appear earlier in the filtration.
• Uses the equivalence between pretty clean and sequentially Cohen-Macaulay modules in the monomial case for $ n=4 $, proven via induction and primary decomposition.
• Applies results from Herzog-Soleyman Jahan-Yassemi on clean modules of codimension two to show that Cohen-Macaulay quotients are clean.
• Employs exact sequences and depth computations to analyze the structure of $ S/I $, particularly through the use of $ J + P_6 $ and similar constructions.

Experimental results

Research questions

• RQ1 For monomial ideals in four variables, is every sequentially Cohen-Macaulay quotient ring also pretty clean?
• RQ2 Does sequential Cohen-Macaulayness of $ S/I $ imply that $ I $ is a Stanley ideal in the case $ n=4 $?
• RQ3 What are the necessary and sufficient conditions on the associated primes and primary decomposition for $ S/I $ to be sequentially Cohen-Macaulay?
• RQ4 Can the Stanley conjecture be verified for monomial ideals in four variables when $ S/I $ is sequentially Cohen-Macaulay?
• RQ5 How do the conditions on inclusion of primary components (e.g., $ P_i ot eq P_j + P_k $) affect the clean or Cohen-Macaulay structure of $ S/I $?

Key findings

• For $ S = K[x,y,z,w] $, $ S/I $ is sequentially Cohen-Macaulay if and only if it is pretty clean.
• Every sequentially Cohen-Macaulay monomial ideal in four variables is a Stanley ideal, confirming the Stanley conjecture in this case.
• The non-zero factors of the dimension filtration of $ S/I $ are clean if they are Cohen-Macaulay, which holds due to the codimension-two structure and factoriality of $ S $.
• The quotient $ S/(u) $ is clean for any monomial $ u $, and $ D_2(I)/D_1(I) $ is clean by Theorem 1.1 since it is Cohen-Macaulay of dimension two.
• The modules $ D_1(I)/D_0(I) $ and $ D_1(I)/I $ are clean because their associated primes have height at least three.
• A complete set of conditions on the inclusion of associated prime ideals (e.g., $ P_1 ot ot eq P_5 + P_6 $) characterizes when $ S/I $ is Cohen-Macaulay or clean, as shown in Theorem 2.8.