On the Buchsbaum-Rim function of a parameter module

Abstract: In this article, we prove that the Buchsbaum-Rim function

e l l_{A} (S_{u + 1} (F) / N^{u + 1})

of a parameter module

N

in

F

is bounded above by

for every integer

u g e q 0

. Moreover, it turns out that the base ring

A

is Cohen-Macaulay once the equality holds for some integer

u

. As a direct consequence, we observe that the first Buchsbaum-Rim coefficient

e_{1} (F / N)

of a parameter module

N

is always non-positive.

Review text

Let \((A,\mathfrak{m})\) be a noetherian local ring of dimension \(d\). Let \(F\) be a free module, and let \(S={\mathcal S}_A(F)\) be the symmetric algebra of \(F\). In the paper under review, the authors prove that the Buchsbaum-Rim function \(\ell_A({\mathcal S}_{\nu + 1}(F)/N^{\nu + 1})\) of a parameter module \(N\) in \(F\) is bounded above by \(e(F/N) {{\nu+d+r-1} \choose {d+r-1}}\) for every integer \(\nu\geq 0\). Moreover, it turns out that the base ring \(A\) is Cohen-Macaulay once the equality holds for some integer \(\nu\). As a direct consequence, the authors observe that the first Buchsbaum-Rim coefficient \(e_1(F /N)\) of a parameter module \(N\) is always non-positive.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: On the Buchsbaum-Rim function of a parameter module

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q536025)