TY - JOUR

T1 - Generalized Hilbert Functions

AU - Polini, Claudia

AU - Xie, Yu

N1 - Funding Information:
The first author was partially supported by the NSF and the NSA.

PY - 2014/6

Y1 - 2014/6

N2 - Let M be a finite module, and let I be an arbitrary ideal over a Noetherian local ring. We define the generalized Hilbert function of I on M using the zeroth local cohomology functor. We show that our definition reconciliates with that of Ciupercǎ. By generalizing Singh's formula (which holds in the case of λ(M/IM) < ∞), we prove that the generalized Hilbert coefficients j{fraktur}0,., j{fraktur}d-2 are preserved under a general hyperplane section, where d = dim M. We also keep track of the behavior of j{fraktur}d-1. Then we apply these results to study the generalized Hilbert function for ideals that have minimal j-multiplicity or almost minimal j-multiplicity. We provide counterexamples to show that the generalized Hilbert series of ideals having minimal or almost minimal j-multiplicity does not have the 'expected' shape described in the case where λ(M/IM) < ∞. Finally, we give a sufficient condition such that the generalized Hilbert series has the desired shape.

AB - Let M be a finite module, and let I be an arbitrary ideal over a Noetherian local ring. We define the generalized Hilbert function of I on M using the zeroth local cohomology functor. We show that our definition reconciliates with that of Ciupercǎ. By generalizing Singh's formula (which holds in the case of λ(M/IM) < ∞), we prove that the generalized Hilbert coefficients j{fraktur}0,., j{fraktur}d-2 are preserved under a general hyperplane section, where d = dim M. We also keep track of the behavior of j{fraktur}d-1. Then we apply these results to study the generalized Hilbert function for ideals that have minimal j-multiplicity or almost minimal j-multiplicity. We provide counterexamples to show that the generalized Hilbert series of ideals having minimal or almost minimal j-multiplicity does not have the 'expected' shape described in the case where λ(M/IM) < ∞. Finally, we give a sufficient condition such that the generalized Hilbert series has the desired shape.

UR - http://www.scopus.com/inward/record.url?scp=84893443348&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84893443348&partnerID=8YFLogxK

U2 - 10.1080/00927872.2012.756884

DO - 10.1080/00927872.2012.756884

M3 - Article

AN - SCOPUS:84893443348

VL - 42

SP - 2411

EP - 2427

JO - Communications in Algebra

JF - Communications in Algebra

SN - 0092-7872

IS - 6

ER -