New approaches to bounding the multiplicity of an ideal

DOI10.1016/J.JALGEBRA.2005.06.004MaRDI QIDQ2497459zbMATH OpenOpenAlexFDO

Authors Christopher A. Francisco

Publication date 4 August 2006

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0506024

zbMATH Keywords

minimal free resolution multiplicity conjecture

Mathematics Subject Classification ID

Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40)

Abstract: We use the theory of resolutions for a given Hilbert function to investigate the multiplicity conjectures of Huneke and Srinivasan and Herzog and Srinivasan. To prove the conjectures for all modules with a particular Hilbert function, we show that it is enough to prove the statements only for elements at the bottom of the partially ordered set of resolutions with that Hilbert function. This enables us to test the conjectured upper bound for the multiplicity efficiently with the computer algebra system Macaulay 2, and we verify the upper bound for many Artinian modules in three variables with small socle degree. Moreover, with this approach, we show that though numerical techniques have been sufficient in several of the known special cases, they are insufficient to prove the conjectures in general. Finally, we apply a result of Herzog and Srinivasan on ideals with a quasipure resolution to prove the upper bound for Cohen-Macaulay quotients by ideals with generators in high degrees relative to the regularity.

Review text

Let \(R = k[x_1,\ldots,x_n]\) denote the polynomial ring over a field \(k.\) For a homogeneous ideal \(I \subset R\) of codimension \(c\) let \( 0 \rightarrow F_p \rightarrow \ldots \rightarrow F_1 \rightarrow R \rightarrow R/I \rightarrow 0\) denote a minimal free resolution. Let \(m_i\) resp. \(M_i\) denote the minimal resp. the maximal degree shift that occurs in \(F_i.\) Then the multiplicity conjecture, see e.g. \textit{J. Herzog} and \textit{H. Srinivasan} [Trans. Am. Math. Soc. 350, 2879--2902 (1998; Zbl 0899.13026)], states that \[ 1/c! \prod_{i=1}^c m_i \leq e(R/I) \leq 1/c! \prod_{i=1}^c M_i \] whenever \(R/I\) is Cohen-Macaulay resp. \(e(R/I) \leq 1/c! \prod_{i=1}^c M_i\) in the general case. The author of the present paper investigates modules with a particular Hilbert function and shows that it is enough to prove the statement only for elements at the bottom of the partially ordered set of resolutions with that Hilbert function. It enables him to test the conjectured upper bound efficiently with the computer algebra system \textsc{Macaulay 2}. His approach is sufficient in order to verify the upper bound for many Artinian modules in three variables with small socle degree, while it is insufficient in order to prove the conjecture in general. Moreover, he applies a result of Herzog and Srinivasan [loc. cit.] on ideals with a quasipure resolution in order to prove the upper bound for Cohen-Macaulay quotients by ideals with generators in high degrees relative to the Castelnuovo-Mumford regularity.

Recommendations

Cites work

Cited in

(19)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: New approaches to bounding the multiplicity of an ideal

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