Generalized Hilbert functions

Abstract: 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 0th local cohomology functor. We show that our definition re-conciliates with that of Ciuperc

. By generalizing Singh's formula (which holds in the case of

l a m b d a (M / I M) < i n f t y

), we prove that the generalized Hilbert coefficients

j_{0}, ..., j_{d - 2}

are preserved under a general hyperplane section, where

d = m d i m, M

. We also keep track of the behavior of

j_{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

l a m b d a (M / I M) < i n f t y

. Finally we give a sufficient condition such that the generalized Hilbert series has the desired shape.

Recommendations

Cites work

Cited in

(14)

Describes a project that uses

Uses Software

This page was built for publication: Generalized Hilbert functions