Local Cohomology and Degree Complexes of Monomial Ideals

Abstract

This paper examines the dimension of the graded local cohomology $H_{\mathfrak{m}}^p(S/K^s{)}_{\gamma }$ and $H_{\mathfrak{m}}^p(S/K^{(s)})$ for a monomial ideal $K$. This information is encoded in the reduced homology of a simplicial complex called the degree complex. We explicitly compute the degree complexes of ordinary and symbolic powers of sums and fiber products of ideals, as well as the degree complex of the mixed product, in terms of the degree complexes of their components. We then use homological techniques to discuss the cohomology of their quotient rings. In particular, this technique allows for the explicit computation of $\text{reg}((I+J+\mathfrak{mn}{)}^{(s)})$ in terms of the regularities of $I^{(i)}$ and $J^{(j)}$.

arXiv comment26 pages, comments welcome; v2 corrects some errors and restates the results

References in corpus (7)

• Combinatorial characterizations of generalized Cohen-Macaulay monomial ideals
• Certain Algebraic Invariants of Edge Ideals of Join of Graphs
• Upper bounds for the regularity of powers of edge ideals of graphs
• Symbolic powers of edge ideals of graphs
• Regularity of Powers of edge ideal of very well-covered graphs
• Regularity of Symbolic Powers of Edge Ideals
• Length of local cohomology of powers of ideals

Cited by in corpus (1)

• $a_i$-invariants of powers of ideals