Powers of ideals associated to (C4,2K2)-free graphs

Let G be a $(C_4,2K_2)$-free graph with edge ideal $I(G)?\mathbb{k}[x_1,\dots ,x_n]$. We show that $I{(G)}^s$ has linear resolution for every $s\ge 2$. Also, we show that every power of the vertex cover ideal of G has linear quotients. As a result, we describe the Castelnuovo–Mumford regularity of powers of $I{(G)}^{\vee }$ in terms of the maximum degree of G.     

On the Regularity of Operations of Ideals

Let I be a homogeneous ideal of a polynomial ring K[x₁,…, x_n] over a field K, and denote the Castelnuovo–Mumford regularity of I by reg(I). When I is a monomial complete intersection, it is proved that reg(I^m) ≤ mreg(I) holds for any m ≥ 1. When n = 3, for any homogeneous ideals I and J of K[x₁, x₂, x₃], one has that reg(I ? J), reg(IJ) and reg(I ∩ J) are all upper bounded by reg(I) +reg(J), while reg(I + J) ≤reg(I) +reg(J) ?1.     

On the regularity of binomial edge ideals

We study the regularity of binomial edge ideals. For a closed graph G we show that the regularity of the binomial edge ideal coincides with the regularity of and can be expressed in terms of the combinatorial data of G. In addition, we give positive answers to Matsuda‐Murai conjecture 8 for some classes of graphs.     

Higher syzygies of hyperelliptic curves

Let X be a hyperelliptic curve of arithmetic genus g and let f:X→P¹ be the hyperelliptic involution map of X. In this paper we study higher syzygies of linearly normal embeddings of X of degree d≤2g. Note that the minimal free resolution of X of degree ≥2g+1 is already completely known. Let A=f^∗O_P¹(1), and let L be a very ample line bundle on X of degree d≤2g. For , we call the pair (m,d−2m)the factorization type ofL. Our main result is that the Hartshorne-Rao module and the graded Betti numbers of the linearly normal curve embedded by |L| are precisely determined by the factorization type of L.     

Two criteria to check whether ideals are direct sums of cyclically presented modules

A famous theorem of commutative algebra due to I. M. Isaacs states that “if every prime ideal of R is principal, then every ideal of R is principal”. Therefore, a natural question of this sort is “whether the same is true if one weakens this condition and studies rings in which ideals are direct sums of cyclically presented modules?” The goal of this paper is to answer this question in the case R is a commutative local ring. We obtain an analogue of Isaacs's theorem. In fact, we give two criteria to check whether every ideal of a commutative local ring R is a direct sum of cyclically presented modules, it suffices to test only the prime ideals or structure of the maximal ideal of R. As a consequence, we obtain: if R is a commutative local ring such that every prime ideal of R is a direct sum of cyclically presented R-modules, then R is a Noetherian ring. Finally, we describe the ideal structure of commutative local rings in which every ideal of R is a direct sum of cyclically presented R-modules.     

Embeddings of canonical modules and resolutions of connected sums

For an ideal $I_{m,n}$ generated by all square-free monomials of degree m in a polynomial ring R with n variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this explicit embedding depends on a minimal free R-resolution of an ideal generated by $I_{m,n}$. Using this embedding, we give a resolution of connected sums of several copies of certain Artin $\mathsf{k}$-algebras where $\mathsf{k}$ is a field.     

Epsilon multiplicity for graded algebras

The notion of ε-multiplicity was originally defined by Ulrich and Validashti as a limsup and they used it to detect integral dependence of modules. It is important to know if it can be realized as a limit. In this article we show that the relative ε-multiplicity of reduced standard graded algebras over an excellent local ring exists as a limit. We also obtain some important special cases of Cutkosky's results concerning ε-multiplicity, as corollaries of our main theorem.     

Modules of finite homological dimension with respect to a semidualizing module

We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White. This research was conducted while S.S.-W. visited the IPM in Tehran during July 2008. The research of S.Y. was supported in part by a grant from the IPM (No. 87130211).     

The colorful Helly theorem and colorful resolutions of ideals

We demonstrate that the topological Helly theorem and the algebraic Auslander-Buchsbaum theorem may be viewed as different versions of the same phenomenon. Using this correspondence we show how the colorful Helly theorem of I. Barany and its generalizations by G. Kalai and R. Meshulam translate to the algebraic side. Our main results are algebraic generalizations of these translations, which in particular give a syzygetic version of Helly’s theorem.     

Correction to “Tensor products of modules and the rigidity of Tor”, Math. Annalen, 299 (1994), 449–476

This note makes a correction to the paper “Tensor products of modules and the ridigity of Tor”, a correction which is needed due to an incorrect convention for the depth of the zero module.     

Families of artinian and low dimensional determinantal rings

Let $\mathrm{GradAlg}(H)$ be the scheme parameterizing graded quotients of $R=k[x_0,\dots ,x_n]$ with Hilbert function H (it is a subscheme of the Hilbert scheme of ${\mathbb{P}}^n$ if we restrict to quotients of positive dimension, see definition below). A graded quotient $A=R/I$ of codimension c is called standard determinantal if the ideal I can be generated by the $t\times t$ minors of a homogeneous $t\times (t+c?1)$ matrix $(f_{ij})$. Given integers $a_0\le a_1\le ...\le a_{t+c?2}$ and $b_1\le ...\le b_t$, we denote by $W_s(\underset{\_}{b};\underset{\_}{a})?\mathrm{GradAlg}(H)$ the stratum of determinantal rings where $f_{ij}\in R$ are homogeneous of degrees $a_j?b_i$.In this paper we extend previous results on the dimension and codimension of $W_s(\underset{\_}{b};\underset{\_}{a})$ in $\mathrm{GradAlg}(H)$ to artinian determinantal rings, and we show that $\mathrm{GradAlg}(H)$ is generically smooth along $W_s(\underset{\_}{b};\underset{\_}{a})$ under some assumptions. For zero and one dimensional determinantal schemes we generalize earlier results on these questions. As a consequence we get that the general element of a component W of the Hilbert scheme of ${\mathbb{P}}^n$ is glicci provided W contains a standard determinantal scheme satisfying some conditions. We also show how certain ghost terms disappear under deformation while other ghost terms remain and are present in the minimal resolution of a general element of $\mathrm{GradAlg}(H)$.     

Essential and inessential elements of a standard basis

In this paper we introduce the concept of inessential element of a standard basis B(I), where I is any homogeneous ideal of a polynomial ring. An inessential element is, roughly speaking, a form of B(I) whose omission produces an ideal having the same saturation as I; it becomes useless in any dehomogenization of I with respect to a linear form. We study the properties of B(I) linked to the presence of inessential elements and give some examples.     

Arithmetic families of smooth surfaces and equisingularity of embedded schemes

This article deals with the foundations of a theory of equisingularity for families of zero-dimensional sheaves of ideals on smooth algebraic surfaces, in the arithmetic context, i.e., where one works with schemes defined over Dedekind rings. Here, different equisingularity conditions are analyzed and compared, based on one of the following requirements: 1) each member of the the family has the same desingularization tree, 2) the family admits a simultaneous desingularization, 3) a naturally associated family of curves is equisingular. Similar conditions had been investigated, in the context of Complex Local Analytic Geometry, by J. J. Risler. Received: 17 November 1997 / Revised version: 19 April 1999