Parametric Decomposition of Powers of Parameter Ideals and Sequentially Cohen-Macaulay Modules
arXiv:math/0701730
Abstract
Let be a finitely generated module of dimension over a Noetherian local ring $(R,\m)$ and $\q $ the parameter ideal generated by a system of parameters $\x = (x_1,..., x_d)$ of . For each positive integer , set and $\qa = (x_1^{α_1},...,x_d^{α_d})$. Then we prove in this note that is a sequentially Cohen-Macaulay module if and only if there exists a certain system of parameters $\x$ such that the equality $\q^nM=\pd$ holds true for all . As an application of this result, we can compute the Hilbert-Samuel polynomial of a sequentially Cohen-Macaulay module with respect to certain parameter ideals
10 pages