A remark on sequentially Cohen-Macaulay monomial ideals

Mozhgan Koolani,Amir Mafi

2024-05-22

Abstract:Let $R=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$. We show that if $G$ is a connected graph with a basic $5$-cycle $C$, then $G$ is a sequentially Cohen-Macaulay graph if and only if there exists a shedding vertex $x$ of $C$ such that $G\setminus x$ and $G\setminus N[x]$ are sequentially Cohen-Macaulay graphs. Furthermore, we study the sequentially Cohen-Macaulay and Castelnuovo-Mumford regularity of square-free monomial ideals in some special cases.

Commutative Algebra

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the research on the sequential Cohen - Macaulay property of graphs. Specifically, the author explores the conditions for a connected graph \(G\) to be a sequential Cohen - Macaulay graph when \(G\) contains a basic 5 - cycle \(C\). The main conclusion of the paper is:

- \(G\) is a sequential Cohen - Macaulay graph if and only if there exists a shedding vertex \(x\) in a basic 5 - cycle \(C\) such that the subgraphs \(G\setminus \{x\}\) and \(G\setminus N[x]\) are both sequential Cohen - Macaulay graphs after deleting \(x\) and its neighborhood.

In addition, the paper also studies the sequential Cohen - Macaulay property and Castelnuovo - Mumford regularity of square - free monomial ideals in some special cases.

### Specific problems and solutions

1. **Shedding vertices in the basic 5 - cycle**:
- The author defines a vertex \(x\) as a shedding vertex if some properties of the graph are preserved after deleting \(x\) and its neighborhood.
- Through Lemma 1.4, the author proves that every vertex with a degree of at least 3 in the basic 5 - cycle is a shedding vertex.

2. **Conditions for sequential Cohen - Macaulay graphs**:
- Theorem 1.5 gives the necessary and sufficient conditions for \(G\) to be a sequential Cohen - Macaulay graph: there exists a shedding vertex \(x\) in a basic 5 - cycle \(C\) such that \(G\setminus \{x\}\) and \(G\setminus N[x]\) are both sequential Cohen - Macaulay graphs.

3. **Castelnuovo - Mumford regularity**:
- The author studies the Castelnuovo - Mumford regularity of some special graph classes, especially those graph classes with shedding vertices.
- Theorem 1.17 shows that if a graph \(G\) belongs to a graph family \(F\) containing shedding vertices, and the subgraphs after deleting these vertices and their neighborhoods are still in \(F\), then the Castelnuovo - Mumford regularity of \(G\) is equal to the size \(a(G)\) of its maximum 3 - disjoint edge set.

### Formulas and symbols

- **Shedding vertex**: \(x\) is a shedding vertex if no face in \(\text{link}_{\Delta}(x)\) is a maximal face in \(\text{del}_{\Delta}(x)\).
- **Neighborhood**: \(N[x]=N(x)\cup \{x\}\), where \(N(x)\) is the set of adjacent vertices of \(x\).
- **Sequential Cohen - Macaulay graph**: A graph \(G\) is a sequential Cohen - Macaulay graph if \(R/I(G)\) is a sequential Cohen - Macaulay module.
- **Castelnuovo - Mumford regularity**: For a graded \(R\)-module \(M\), its Castelnuovo - Mumford regularity is defined as \(\text{reg}(M)=\max \{j - i\mid \beta_{i,j}(M)\neq 0\}\).

### Conclusion

By introducing the concept of shedding vertices, this paper provides a new method to determine whether a graph is a sequential Cohen - Macaulay graph and further explores the algebraic properties of these graphs, such as Castelnuovo - Mumford regularity. These results are of great significance for understanding the algebraic structure and combinatorial properties of graphs.