Multiple structures with arbitrarily large projective dimension supported on linear subspaces

DOI10.1016/J.JALGEBRA.2015.09.019MaRDI QIDQ897761zbMATH OpenOpenAlexFDO

Authors Craig Huneke, Paolo Mantero, Jason McCullough, Alexandra Seceleanu

Publication date 7 December 2015

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

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

zbMATH Keywords

multiplicityprojective dimensionfree resolutionlinkageprimary idealsmultiple structuresunmixed ideals

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Homological dimension and commutative rings (13D05) Low codimension problems in algebraic geometry (14M07) Linkage (14M06)

Abstract: Let $K$ be an algebraically closed field. There has been much interest in characterizing multiple structures in $P_K^n$ defined on a linear subspace of small codimension under additional assumptions (e.g. Cohen-Macaulay). We show that no such finite characterization of multiple structures is possible if one only assumes Serre's $(S_1)$ property holds. Specifically, we prove that for any positive integers $h,ege2$ with $(h,e)eq(2,2)$ and $pge5$ there is a homogeneous ideal $I$ in a polynomial ring over $K$ such that (1) the height of $I$ is $h$, (2) the Hilbert-Samuel multiplicity of $R/I$ is $e$, (3) the projective dimension of $R/I$ is at least $p$ and (4) the ideal $I$ is primary to a linear prime $(x_1,\mathrm{...},x_h)$. This result is in stark contrast to Manolache's characterization of Cohen-Macaulay multiple structures in codimension 2 and multiplicity at most 4 and also to Engheta's characterization of unmixed ideals of height 2 and multiplicity 2.

Recommendations

• A finite classification of \((x, y)\)-primary ideals of low multiplicity
• On the projective dimension and the unmixed part of three cubics
• On the projective dimension of \(5\) quadric almost complete intersections with low multiplicities
• Ideals with larger projective dimension and regularity
• Some Ideals with Large Projective Dimension

Cites work

• scientific article; zbMATH DE number 3977154 (Why is no real title available?)
• scientific article; zbMATH DE number 3981346 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 2135053 (Why is no real title available?)
• scientific article; zbMATH DE number 3274798 (Why is no real title available?)
• 'Jede' endliche freie Auflösung ist freie Auflösung eines von drei Elementen erzeugten Ideals
• A bound on the projective dimension of three cubics
• A family of ideals with few generators in low degree and large projective dimension
• Bounding projective dimension
• Codimension two linear varieties with nilpotent structures
• Ideals Generated by Three Elements
• Ideals with larger projective dimension and regularity
• Integral closure of ideals, rings, and modules
• Lectures on equations defining space curves. Notes by N. Mohan Kumar
• Multiple Structures and Hartshorne's Conjecture
• Nilpotent lci structures on global complete intersections
• Notes on liaison and duality
• On Linking Double Lines
• On the projective dimension and the unmixed part of three cubics
• Open problems on syzygies and Hilbert functions
• What makes a complex exact?

Cited in

(10)

• The projective dimension of three cubics is at most 5
• Cubics in 10 variables vs. cubics in 1000 variables: Uniformity phenomena for bounded degree polynomials
• Regularity of prime ideals
• Projective subschemes with many linear automorphisms
• A finite classification of \((x, y)\)-primary ideals of low multiplicity
• Singularities of Rees-like algebras
• A tight bound on the projective dimension of four quadrics
• Monomial multiple structures
• On the projective dimension of \(5\) quadric almost complete intersections with low multiplicities
• Canonical modules and class groups of Rees-like algebras

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Multiple structures with arbitrarily large projective dimension supported on linear subspaces

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