The minimum distance of sets of points and the minimum socle degree

Let K be a field of characteristic 0. Let be a reduced finite set of points, not all contained in a hyperplane. Let be the maximum number of points of Γ contained in any hyperplane, and let . If I⊂R=K[x₀,…,x_n] is the ideal of Γ, then in Tohaˇneanu (2009) [12] it is shown that for n=2,3, d(Γ) has a lower bound expressed in terms of some shift in the graded minimal free resolution of R/I. In these notes we show that this behavior holds true in general, for any n≥2: d(Γ)≥A_n, where A_n=min{a_i−n} and ⊕_iR(−a_i) is the last module in the graded minimal free resolution of R/I. In the end we also prove that this bound is sharp for a whole class of examples due to Juan Migliore (2010) [10].     

Globally generated vector bundles and the Weak Lefschetz property

Artinian ideals \({I\subset R: =k[x_1,..., x_n]}\) generated by m general forms of given degree have attracted a great deal of attention recently, and one of the main challenging problems is to determine its Hilbert function. The Hilbert function of R/I was conjectured by Fröberg, and it is well known that the Weak Lefschetz property imposes severe constraints on the possible Hilbert functions. In this short note, we will focus our attention on Artinian ideals \({I \subset R}\) generated by m general forms all of the same degree d and we analyze whether the Weak Lefschetz property is satisfied. More precisely, for m = n or n ≤ 4 the Weak Lefschetz property holds, and our goal will be to prove that for any integers n and d, the Weak Lefschetz property also holds provided m falls into the interval \({[\frac{1}{d+1} \alpha_{n,d}, \alpha_{n,d}]}\) where \({\alpha_{n,d}={n+d-1\choose d}}\) .     

Depths and Cohen–Macaulay properties of path ideals

Given a tree T on n vertices, there is an associated ideal I   of R[_x1,…,_xn]$R[x_1,\dots ,x_n]$ generated by all paths of a fixed length ? of T  . We classify all trees for which R/I$R/I$ is Cohen–Macaulay, and we show that an ideal I whose generators correspond to any collection of subtrees of T satisfies the König property. Since the edge ideal of a simplicial tree has this form, this generalizes a result of Faridi. Moreover, every square-free monomial ideal can be represented (non-uniquely) as a subtree ideal of a graph, so this construction provides a new combinatorial tool for studying square-free monomial ideals.     

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.     

A sufficient condition for F-purity

It is well known that nice conditions on the canonical module of a local ring have a strong impact in the study of strong F-regularity and F  -purity. In this note, we prove that if (R,m)$(R,\mathfrak{m})$ is an equidimensional and _S2$S_2$ local ring that admits a canonical ideal I≅_ωR$I\cong {\omega }_R$ such that R/I$R/I$ is F-pure, then R is F-pure. This greatly generalizes one of the main theorems in [2]. We also provide examples to show that not all Cohen–Macaulay F-pure local rings satisfy the above property.     

A numerical characterization of the S2-ification of a Rees algebra

Let A be a local ring with maximal ideal . For an arbitrary ideal I of A, we define the generalized Hilbert coefficients . When the ideal I is -primary, j_k(I)=(0,…,0,(−1)^ke_k(I)), where e_k(I) is the classical kth Hilbert coefficient of I. Using these coefficients we give a numerical characterization of the homogeneous components of the S₂-ification of S=A[It,t⁻¹], extending previous results obtained by the author to not necessarily -primary ideals.     

The asymptotic behaviour of symbolic generic initial systems of generic points

Consider the ideal I⊆K[x,y,z]$I\subseteq K[x,y,z]$ corresponding to points _p1,…,_pr$p_1,\dots ,p_r$ of P²${\mathbb{P}}^2$. We study the symbolic generic initial system  _{gin_(I(m))}m${\left\{\text{gin}\left(I^{\left(m\right)}\right)\right\}}_m$ of such an ideal and its behaviour as m$m$ gets large. In particular, we describe the limiting shape   of this system explicitly when _p1,…,_pr$p_1,\dots ,p_r$ are generic, assuming that the Uniform SHGH Conjecture holds for r≥9$r\ge 9$. The symbolic generic initial system and its limiting shape reflect information about the asymptotic behaviour of Hilbert functions of fat point ideals.     

Generic Initial Ideals,Graded Betti Numbers,and k-Lefschetz Properties

We introduce the k-strong Lefschetz property and the k-weak Lefschetz property for graded Artinian K-algebras, which are generalizations of the Lefschetz properties. The main results are:

1. Let I be an ideal of R = K[x ₁, x ₂,…, x _n ] whose quotient ring R/I has the n-SLP. Suppose that all kth differences of the Hilbert function of R/I are quasi-symmetric. Then the generic initial ideal of I is the unique almost revlex ideal with the same Hilbert function as R/I.

2. We give a sharp upper bound on the graded Betti numbers of Artinian K-algebras with the k-WLP and a fixed Hilbert function.     

Representations of matroids and free resolutions for multigraded modules

Let k be a field, let R=k[x₁,…,xm] be a polynomial ring with the standard Zm-grading (multigrading), let L be a Noetherian multigraded R-module, and let be a finite free multigraded presentation of L over R. Given a choice S of a multihomogeneous basis of E, we construct an explicit canonical finite free multigraded resolution T_•(Φ,S) of the R-module L. In the case of monomial ideals our construction recovers the Taylor resolution. A main ingredient of our work is a new linear algebra construction of independent interest, which produces from a representation ? over k of a matroid M a canonical finite complex of finite dimensional k-vector spaces T_•(?) that is a resolution of Ker?. We also show that the length of T_•(?) and the dimensions of its components are combinatorial invariants of the matroid M, and are independent of the representation map ?.     

Borel-plus-powers monomial ideals

Let S=K[x₁,…,x_n] be a standard graded polynomial ring over a field K. In this paper, we show that the lex-plus-powers ideal has the largest graded Betti numbers among all Borel-plus-powers monomial ideals with the same Hilbert function. In addition in the case of characteristic 0, by using this result, we prove the lex-plus-powers conjecture for graded ideals containing , where p is a prime number.     

Filtrations and local syzygies of multiplier ideals II

Let a be a non-zero ideal sheaf on a smooth affine variety X of dimension d and let c be a positive rational number. Let x be a closed point of X and let m_x be the maximal ideal sheaf at x. In [Robert Lazarsfeld, Kyungyong Lee, Local syzygies of multiplier ideals, Invent. Math. 167 (2007) 409-418] the authors studied the local syzygies of the multiplier ideal J(a^c). Motivated by their result, the asymptotic behavior of the local syzygies of the multiplier ideal at x for k≥d−2 was studied in [Seunghun Lee, Filtrations and local syzygies of multiplier ideals, J. Algebra (2007) 629-639]. In this note, we study the local syzygies of at x for 1≤k≤d−3. As a by-product we give a different proof of the main theorem in the former reference cited above.     

Generalized cover ideals and the persistence property

Let I   be a square-free monomial ideal in R=k[_x1,…,_xn]$R=k[x_1,\dots ,x_n]$, and consider the sets of associated primes Ass(I^s)$\mathrm{Ass}(I^s)$ for all integers s?1$s?1$. Although it is known that the sets of associated primes of powers of I eventually stabilize, there are few results about the power at which this stabilization occurs (known as the index of stability). We introduce a family of square-free monomial ideals that can be associated to a finite simple graph G that generalizes the cover ideal construction. When G   is a tree, we explicitly determine Ass(I^s)$\mathrm{Ass}(I^s)$ for all s?1$s?1$. As consequences, not only can we compute the index of stability, we can also show that this family of ideals has the persistence property.     

Stanley-Reisner rings and the radicals of lattice ideals

In this article we associate to every lattice ideal I_L,ρ⊂K[x₁,…,x_m] a cone σ and a simplicial complex Δ_σ with vertices the minimal generators of the Stanley-Reisner ideal of σ. We assign a simplicial subcomplex Δ_σ(F) of Δ_σ to every polynomial F. If F₁,…,F_s generate I_L,ρ or they generate rad(I_L,ρ) up to radical, then is a spanning subcomplex of Δ_σ. This result provides a lower bound for the minimal number of generators of I_L,ρ which improves the generalized Krull's principal ideal theorem for lattice ideals. But mainly it provides lower bounds for the binomial arithmetical rank and the A-homogeneous arithmetical rank of a lattice ideal. Finally, we show by a family of examples that the given bounds are sharp.     

Convex integer maximization via Graver bases

We present a new algebraic algorithmic scheme to solve convex integer maximization problems of the following form, where c is a convex function on R^d and w₁x,…,w_dx are linear forms on Rⁿ,

max{c(w₁x,…,w_dx):Ax=b,x∈Nⁿ}.     

The determinantal ideals of extended Hankel matrices

In this paper, we use the tools of Gröbner bases and combinatorial secant varieties to study the determinantal ideals I_t of the extended Hankel matrices. Denote by c-chain a sequence a₁,…,a_k with a_i+c<a_i+1 for all i=1,…,k−1. Using the results of c-chain, we solve the membership problem for the symbolic powers and we compute the primary decomposition of the product I_t1?I_tk of the determinantal ideals. Passing through the initial ideals and algebras we prove that the product I_t1?I_tk has a linear resolution and the multi-homogeneous Rees algebra is defined by a Gröbner basis of quadrics.     

Primary decomposition II: Primary components and linear growth

We study the following properties about primary decomposition over a Noetherian ring R: (1) For finitely generated modules N⊆M and a given subset X={P₁,P₂,…,P_r}⊆Ass(M/N), we define an X-primary component of N?M to be an intersection Q₁∩Q₂∩?∩Q_r for some P_i-primary components Q_i of N⊆M and we study the maximal X-primary components of N⊆M; (2) We give a proof of the ‘linear growth’ property of Ext and Tor, which says that for finitely generated modules N and M, any fixed ideals I₁,I₂,…,I_t of R and any fixed integer i∈N, there exists a k∈N such that for any there exists a primary decomposition of 0 in (or 0 in ) such that every P-primary component Q of that primary decomposition contains (or ), where .     

Stability of associated primes of integral closures of monomial ideals

Let I be a monomial ideal of a polynomial ring R=K[X₁,…,Xr] and d(I) the maximal degree of minimal generators of I. In this paper, we explicitly determine a number n₀ in terms of r and d(I) such that for all n?n₀. Furthermore, our n₀ is almost sharp.     

The Hilbert functions which force the Weak Lefschetz Property

The purpose of this note is to characterize the finite Hilbert functions which force all of their artinian algebras to enjoy the Weak Lefschetz Property (WLP). Curiously, they turn out to be exactly those (characterized by Wiebe in [A. Wiebe, The Lefschetz property for componentwise linear ideals and Gotzmann ideals, Comm. Algebra 32 (12) (2004) 4601-4611]) whose Gotzmann ideals have the WLP.This implies that, if a Gotzmann ideal has the WLP, then all algebras with the same Hilbert function (and hence lower Betti numbers) have the WLP as well. However, we will answer in the negative, even in the case of level algebras, the most natural question that one might ask after reading the previous sentence: If A is an artinian algebra enjoying the WLP, do all artinian algebras with the same Hilbert function as A and Betti numbers lower than those of A have the WLP as well?Also, as a consequence of our result, we have another (simpler) proof of the fact that all codimension 2 algebras enjoy the WLP (this fact was first proven in [T. Harima, J. Migliore, U. Nagel, J. Watanabe, The weak and strong Lefschetz properties for Artinian K-algebras, J. Algebra 262 (2003) 99-126], where it was shown that even the Strong Lefschetz Property holds).     

On the saturation sequence of the rational normal curve

Let denote the rational normal curve of order d. Its homogeneous defining ideal admits an SL₂-stable filtration J₂⊆J₄⊆…⊆I_C by sub-ideals such that the saturation of each J_2q equals I_C. Hence, one can associate to d a sequence of integers (α₁,α₂,…) which encodes the degrees in which the successive inclusions in this filtration become trivial. In this paper we establish several lower and upper bounds on the α_q, using inter alia the methods of classical invariant theory.