Search arXiv⌕ Search

arXiv · 0708.3369

Minimal Homogenous Liaison and Licci Ideals

Abstract

We study the linkage classes of homogeneous ideals in polynomial rings. An ideal is said to be homogeneously licci if it can be linked to a complete intersection using only homogeneous regular sequences at each step. We ask a natural question: if $I$ is homogeneously licci, then can it be linked to a complete intersection by linking using regular sequences of forms of smallest possible degree at each step (we call such ideals minimally homogeneously licci)? In this paper we answer this question in the negative. In particular, for every $n\geq 28$ we construct a set of $n$ points in $\mathbb P^3$ which are homogeneously licci, but not minimally homogeneously licci. Moreover, we prove that one cannot distinguish between the classes of homogeneously licci and non-licci ideals based only on their Hilbert functions, nor distinguish between homogeneously licci and minimally homogeneously licci ideals based solely on the graded Betti numbers. Finally, by taking hypersurface sections, we show that the natural question has a negative answer whenever the height of the ideal is at least three.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Craig Huneke, Juan Migliore, Uwe Nagel, Bernd Ulrich. 2007-08-24. Minimal Homogenous Liaison and Licci Ideals. https://arxiv.org/abs/0708.3369

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homological subsets of Spec

We recover some data of a module $M$ from the Ext-family $\{Ext^i_R(M,R)\}$. In this regard, we investigate homological subsets of $Spec(R)$, defined by the help of Ext-family. For example, we present a situation for which $\bigcup_{i=0}^\infty Ass(Ext^i_R(M,R))$ is infinite, thereby answering a question of Vasconcelos. We extend Grothendieck's calculation of $dim(Ext^g_R(M,R))$ and present some new situations to calculate $dim(Ext^\ast_R(M,R))$. Also, we compute support and the set of all associated prime ideals of the Ext-family in a serial of nontrivial cases.

math.AC↗

On Stanley-Reisner Rings with Minimal Betti Numbers

We study simplicial complexes with a given number of vertices whose Stanley-Reisner ring has the minimal sum of Betti numbers. We prove that every full subcomplex of them is homotopy equivalent either to a point or to a sphere. Moreover, we prove that such kind of simplicial complexes coincide with those having minimal Taylor resolutions.

math.AC↗

Local-Cohen-Macaulay DG-rings with unequal finitistic projective dimensions

For every pair of integers $d,n\geq1$, we construct a commutative noetherian local-Cohen-Macaulay DG-ring $A$ such that $\dim H^0(A)=d$, $\mathrm{amp}(A)=n$, $\mathrm{fpd}(A)=d-n$, and $\mathrm{FPD}(A)=d$. This gives a negative answer to the implication from local-Cohen-Macaulayness to equality of the two finitistic projective dimensions in a question of Bird, Shaul, Sridhar, and Williamson.

math.AC↗