Binomial Cycle Bases on Koszul Homology Modules

Let I be a principal p-Borel ideal of the polynomial ring S in variables x over a field. Then the Koszul homology module H ₃(x;S/I) has binomial cycle bases.     

The Golod property for powers of ideals and Koszul ideals

Let S be a regular local ring or a polynomial ring over a field and I be an ideal of S. Motivated by a recent result of Herzog and Huneke, we study the natural question of whether $I^m$ is a Golod ideal for all $m\ge 2$. We observe that the Golod property of an ideal can be detected through the vanishing of certain maps induced in homology. This observation leads us to generalize some known results from the graded case to local rings and obtain new classes of Golod ideals.     

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.     

Ordinary and symbolic powers are Golod

Let S$S$ be a positively graded polynomial ring over a field of characteristic 0$0$, and I⊂S$I\subset S$ a proper graded ideal. In this note it is shown that S/I$S/I$ is Golod if ∂(I)²⊂I$\partial {\left(I\right)}^2\subset I$. Here ∂(I)$\partial \left(I\right)$ denotes the ideal generated by all the partial derivatives of elements of I$I$. We apply this result to find large classes of Golod ideals, including powers, symbolic powers, and saturations of ideals.     

Hilbert series of subspace arrangements

The vanishing ideal I of a subspace arrangement V₁∪V₂∪?∪V_m⊆V is an intersection I₁∩I₂∩?∩I_m of linear ideals. We give a formula for the Hilbert polynomial of I if the subspaces meet transversally. We also give a formula for the Hilbert series of the product ideal J=I₁I₂?I_m without any assumptions about the subspace arrangement. It turns out that the Hilbert series of J is a combinatorial invariant of the subspace arrangement: it only depends on the intersection lattice and the dimension function. The graded Betti numbers of J are determined by the Hilbert series, so they are combinatorial invariants as well. We will also apply our results to generalized principal component analysis (GPCA), a tool that is useful for computer vision and image processing.     

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. We prove that several algebraic constructions in the ring R[X] admit uniform bounds on the degrees of their output in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials g _i of degree at most d and if f is a polynomial of degree at most d belonging to I, then f = q ₁ f ₁ + ··· + q _s f _s , for some q _i of degree bounded in terms of d, l and n only. Similarly, the module of syzygies of I is generated by tuples all of whose entries have degree bounded in terms of d, l and n only.     

Note on bounds for multiplicities

Let S=K[x₁,…,x_n] be a polynomial ring and R=S/I be a graded K-algebra where I⊂S is a graded ideal. Herzog, Huneke and Srinivasan have conjectured that the multiplicity of R is bounded above by a function of the maximal shifts in the minimal graded free resolution of R over S. We prove the conjecture in the case that codim(R)=2 which generalizes results in (J. Pure Appl. Algebra 182 (2003) 201; Trans. Amer. Math. Soc. 350 (1998) 2879). We also give a proof for the bound in the case in which I is componentwise linear. For example, stable and squarefree stable ideals belong to this class of ideals.     

Betti numbers and degree bounds for some linked zero-schemes

In [J. Herzog, H. Srinivasan, Bounds for multiplicities, Trans. Amer. Math. Soc. 350 (1998) 2879-2902], Herzog and Srinivasan study the relationship between the graded Betti numbers of a homogeneous ideal I in a polynomial ring R and the degree of I. For certain classes of ideals, they prove a bound on the degree in terms of the largest and smallest Betti numbers, generalizing results of Huneke and Miller in [C. Huneke, M. Miller, A note on the multiplicity of Cohen-Macaulay algebras with pure resolutions, Canad. J. Math. 37 (1985) 1149-1162]. The bound is conjectured to hold in general; we study this using linkage. If R/I is Cohen-Macaulay, we may reduce to the case where I defines a zero-dimensional subscheme Y. If Y is residual to a zero-scheme Z of a certain type (low degree or points in special position), then we show that the conjecture is true for I_Y.     

A study of the lex plus powers conjecture

An {a₁,…,a_n}-lex plus powers ideal is a monomial ideal in I⊂k[x₁,…,x_n] which minimally contains the regular sequence x₁^a₁,…,x_n^a_n and such that whenever m∈R_t is a minimal generator of I and m′∈R_t is greater than m in lex order, then m′∈I. Conjectures of Eisenbud et al. and Charalambous and Evans predict that after restricting to ideals containing a regular sequence in degrees {a₁,…,a_n}, then {a₁,…,a_n}-lex plus powers ideals have extremal properties similar to those of the lex ideal. That is, it is proposed that a lex plus powers ideal should give maximum possible Hilbert function growth (Eisenbud et al.), and, after fixing a Hilbert function, that the Betti numbers of a lex plus powers ideal should be uniquely largest (Charalambous, Evans). The first of these assertions would extend Macaulay's theorem on Hilbert function growth, while the second improves the Bigatti, Hulett, Pardue theorem that lex ideals have largest graded Betti numbers. In this paper we explore these two conjectures. First we give several equivalent forms of each statement. For example, we demonstrate that the conjecture for Hilbert functions is equivalent to the statement that for a given Hilbert function, lex plus powers ideals have the most minimal generators in each degree. We use this result to prove that it is enough to show that lex plus powers ideals have the most minimal generators in the highest possible degree. A similar result holds for the stronger conjecture. In this paper we also prove that if the weaker conjecture holds, then lex plus powers ideals are guaranteed to have largest socles. This suffices to show that the two conjectures are equivalent in dimension ?3, which proves the monomial case of the conjecture for Betti numbers in those degrees. In dimension 2, we prove both conjectures outright.     

The rationality of the Hilbert-Kunz multiplicity in graded dimension two

We show that the Hilbert-Kunz multiplicity is a rational number for an R₊−primary homogeneous ideal I=(f₁, . . . , f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic. More specific, we give a formula for the Hilbert-Kunz multiplicity in terms of certain rational numbers coming from the strong Harder-Narasimhan filtration of the syzygy bundle Syz(f₁, . . . , f_n) on the projective curve Y=ProjR.     

Maximal Betti numbers of Cohen–Macaulay complexes with a given <Emphasis Type="Italic">f</Emphasis>-vector

Given the f-vector f = (f₀, f₁, . . .) of a Cohen–Macaulay simplicial complex, it will be proved that there exists a shellable simplicial complex Δ_f with f(Δ_f) = f such that, for any Cohen–Macaulay simplicial complex Δ with f(Δ) = f, one has for all i and j, where f(Δ) is the f-vector of Δ and where β _ij (I _Δ) are graded Betti numbers of the Stanley–Reisner ideal I _Δ of Δ. The first author is supported by JSPS Research Fellowships for Young Scientists. Received: 23 January 2006     

A characterization of Cohen-Macaulay modules and local cohomology

Let R be a commutative Noetherian ring, and let N be a non-zero finitely generated locally quasi-unmixed R-module. In this paper, the main result asserts that N is Cohen-Macaulay if and only if, for any N-proper ideal I of R generated by height_N I elements, the set of asymptotic primes of I with respect to N is equal to the set of presistent primes of I with respect to N. In addition, some applications about local cohomology are included. Received: 3 July 2005     

Stabilization of Boij–Söderberg decompositions of ideal powers

Given an ideal I we investigate the decompositions of Betti diagrams of the graded family of ideals ${\{I^k\}}_k$ formed by taking powers of I. We prove conjectures of Engström from [5] and show that there is a stabilization in the Boij–Söderberg decompositions of $I^k$ for $k>>0$ when I is a homogeneous ideal with generators in a single degree. In particular, the number of terms in the decompositions with positive coefficients remains constant for $k>>0$, the pure diagrams appearing in each decomposition have the same shape, and the coefficients of these diagrams are given by polynomials in k. We also show that a similar result holds for decompositions with arbitrary coefficients arising from other chains of pure diagrams.     

Explicit linear minimal free resolutions over a natural class of Rees algebras

Homological properties of the Rees algebra R of a Koszul K-algebra A over a field K, with respect to the maximal homogeneous ideal, are studied. In particular, for a finitely generated graded A-module N with linear minimal free R-resolution over A, the minimal free resolution of is explicitly constructed. This resolution is again linear.Received: 23 October 2000     

The Betti polynomials of powers of an ideal

For an ideal I in a regular local ring or a graded ideal I in the polynomial ring we study the limiting behavior of as k goes to infinity. By Kodiyalam’s result it is known that β_i(S/I^k) is a polynomial for large k. We call these polynomials the Kodiyalam polynomials and encode the limiting behavior in their generating polynomial. It is shown that the limiting behavior depends only on the coefficients on the Kodiyalam polynomials in the highest possible degree. For these we exhibit lower bounds in special cases and conjecture that the bounds are valid in general. We also show that the Kodiyalam polynomials have weakly descending degrees and identify a situation where the polynomials all have the highest possible degree.     

On syzygies of non-complete embedding of projective varieties

Let X be a non-degenerate, not necessarily linearly normal projective variety in . Recently the generalization of property N _p to non-linearly normal projective varieties have been considered and its algebraic and geometric properties are studied extensively. One of the generalizations is the property N _d,p for the saturated ideal I _X (Eisenbud et al. in Compos Math 141: 1460–1478, 2005) and the other is the property for the graded module of the twisted global sections of (Kwak and Park in J Reine Angew Math 582: 87–105, 2005). In this paper, we are interested in the algebraic and geometric meaning of properties for every p ≥ 0 and the syzygetic behaviors of isomorphic projections and hyperplane sections of a given variety with property . Youngook Choi and Sijong Kwak were supported in part by KRF (grant No. 2005-070-C00005).     

Powers of sums and their homological invariants

Let R and S be standard graded algebras over a field k, and $I?R$ and $J?S$ homogeneous ideals. Denote by P the sum of the extensions of I and J to $R{?}_{k}S$. We investigate several important homological invariants of powers of P based on the information about I and J, with focus on finding the exact formulas for these invariants. Our investigation exploits certain Tor vanishing property of natural inclusion maps between consecutive powers of I and J. As a consequence, we provide fairly complete information about the depth and regularity of powers of P given that R and S are polynomial rings and either $\mathrm{char}k=0$ or I and J are generated by monomials.     

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.     

A bound for the Castelnuovo-Mumford regularity of log canonical varieties

In this note, we give a bound for the Castelnuovo-Mumford regularity of a homogeneous ideal I in terms of the degrees of its generators. We assume that I defines a local complete intersection with log canonical singularities.