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)}$.

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

References in corpus (1)

• Regularity of Powers of edge ideal of very well-covered graphs

Cited by in corpus (1)

• $a_i$-invariants of powers of ideals