We study an operation, that we call lifting, creating nonisomorphic monomial curves from a single monomial curve. Our main result says that all but finitely many liftings of a monomial curve have Cohen–Macaulay tangent cones even if the tangent cone of the original curve is not Cohen–Macaulay. This implies that the Betti sequence of the tangent cone is eventually constant under this operation. Moreover, all liftings have Cohen–Macaulay tangent cones when the original monomial curve has a Cohen–Macaulay tangent cone. In this case, all the Betti sequences are just the Betti sequence of the original curve.

Let (A, ${\mathfrak{m}$ ) be a Cohen–Macaulay local ring of dimension d and let I ⊆ J be two ${\mathfrak{m}$ -primary ideals with I a reduction of J. For i = 0,. . .,d, let e i J (A) (e i I (A)) be the ith Hilbert coefficient of J (I), respectively. We call the number c i (I, J) = e i J (A) − e i I (A) the ith relative Hilbert coefficient of J with respect to I. If G I (A) is Cohen–Macaulay, then c i (I, J) satisfy various constraints. We also show that vanishing of some c i (I, J) has strong implications on depth G J n (A) for n ≫ 0.

This paper concerns a generalization of the Rees algebra of ideals due to Eisenbud, Huneke and Ulrich that works for any finitely generated module over a noetherian ring. Their definition is in terms of maps to free modules. We give an intrinsic definition using divided powers.

Our object of study is a rational map  defined by homogeneous forms $g_{1},\ldots ,g_{n}$ , of the same degree $d$ , in the homogeneous coordinate ring $R=k[x_{1},\ldots ,x_{s}]$ of $\mathbb{P}_{k}^{s-1}$ . Our goal is to relate properties of $\unicode[STIX]{x1D6F9}$ , of the homogeneous coordinate ring $A=k[g_{1},\ldots ,g_{n}]$ of the variety parameterized by $\unicode[STIX]{x1D6F9}$ , and of the Rees algebra ${\mathcal{R}}(I)$ , the bihomogeneous coordinate ring of the graph of $\unicode[STIX]{x1D6F9}$ . For a regular map $\unicode[STIX]{x1D6F9}$ , for instance, we prove that ${\mathcal{R}}(I)$ satisfies Serre’s condition $R_{i}$ , for some $i>0$ , if and only if $A$ satisfies $R_{i-1}$ and $\unicode[STIX]{x1D6F9}$ is birational onto its image. Thus, in particular, $\unicode[STIX]{x1D6F9}$ is birational onto its image if and only if ${\mathcal{R}}(I)$ satisfies $R_{1}$ . Either condition has implications for the shape of the core, namely, $\text{core}(I)$ is the multiplier ideal of $I^{s}$ and $\text{core}(I)=(x_{1},\ldots ,x_{s})^{sd-s+1}.$ Conversely, for $s=2$ , either equality for the core implies birationality. In addition, by means of the generalized rows of the syzygy matrix of $g_{1},\ldots ,g_{n}$ , we give an explicit method to reduce the nonbirational case to the birational one when $s=2$ .

In this paper we introduce the specialization of an $S$-module which is a direct limit of a direct system of finitely generated $S$-modules indexed by $\mathbb{N}$. This specialization preserves the Buchsbaum property, the generalized Cohen–Macaulay property and the Castelnuovo–Mumford regularity of a module.