Search

Let $G$ be a finite simple graph and $J(G)$ denote its cover ideal in a polynomial ring over a field $\mathbb{K}$. In this paper, we show that all symbolic powers of cover ideals of certain vertex decomposable graphs have linear quotients. Using these results, we give various conditions on a subset $S$ of the vertices of $G$ so that all symbolic powers of vertex cover ideals of $G \cup W(S)$, obtained from $G$ by adding a whisker to each vertex in $S$, have linear quotients. For instance, if $S$ is a vertex cover of $G$, then all symbolic powers of $J(G \cup W(S))$ have linear quotients. Moreover, we compute the Castelnuovo-Mumford regularity of symbolic powers of certain cover ideals., Comment: 15 pages, 2 figures

Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the underlying graph of $\mathcal{D}$ is a bipartite graph. When $I(\mathcal{D})$ fails to be Cohen-Macaulay, we give an instance where $I(\mathcal{D})$ is shown to be sequentially Cohen-Macaulay., Comment: 22 pages, 2 figures

Let R0 be a Noetherian local ring and R a standard graded R0-algebra with maximal ideal 𝔪 and residue class field 𝕂 = R/𝔪. For a graded ideal I in R we show that for k ≫ 0: (1) the Artin-Rees number of the syzygy modules of Ik as submodules of the free modules from a free resolution is constant, and thereby the Artin-Rees number can be presented as a proper replacement of regularity in the local situation; and (2) R is a polynomial ring over the regular R0, the ring R/Ik is Golod, its Poincaré-Betti series is rational and the Betti numbers of the free resolution of 𝕂 over R/Ik are polynomials in k of a specific degree. The first result is an extension of the work by Swanson on the regularity of Ik for k ≫ 0 from the graded situation to the local situation. The polynomiality consequence of the second result is an analog of the work by Kodiyalam on the behaviour of Betti numbers of the minimal free resolution of R/Ik over R.

Let K be a field and S a polynomial ring in a finite number of variables over K. Let F be a finitely generated graded free S-module. We examine some classes of squarefree monomial submodules of F. Hence, we focalize our attention on the Betti table of such classes in order to analyze the behavior of their extremal Betti numbers., Comment: To appear in Algebra Colloquium

Let K be a field and let A be the polynomial ring in n variables with coefficients in the field K We study the universal squarefree lexsegment ideals in A. We put our attention on their combinatorics computing some invariants. Moreover we study the link between such special class of squarefree lexsegment ideals and the so called s-sequences., Comment: To appear in Algebra Colloquium

For an integral domain D and a star operation * on D, we study the following condition: whenever I>AB with I, A, B nonzero ideals, there exist nonzero ideals H and J such that I*=(HJ)*, H*>A and J*>B., 11 pages

Let $X\subseteq \mathbb{P}^N$ be a non-degenerate normal projective variety of codimension $e$ and degree $d$ with isolated $\mathbb{Q}$-Gorenstein singularities. We prove that the Castelnuovo-Mumford regularity $\text{reg}(\mathcal{O}_{X})\le d-e$, as predicted by the Eisenbud-Goto regularity conjecture. Such a bound fails for general projective varieties. The main techniques are Noma's classification of non-degenerated projective varieties and Nadel vanishing for multiplier ideals. We also classify the extremal and the next to extremal cases., A mistake in Section 3.4 of the last version is corrected with the proof presented in Section 4 of the current version. Previous Section 4, now 5, is simplified

Given a certain factorization property of a ring $R$, we can ask if this property extends to the polynomial ring over $R$ or vice versa. For example, it is well known that $R$ is a unique factorization domain if and only if $R[X]$ is a unique factorization domain. If $R$ is not a domain, this is no longer true. In this paper we survey unique factorization in commutative rings with zero divisors, and characterize when a polynomial ring over an arbitrary commutative ring has unique factorization., 23 pages

We define a compressed zero-divisor graph $\varTheta(K)$ of a finite commutative unital ring $K$, where the compression is performed by means of the associatedness relation. We prove that this is the best possible compression which induces a functor $\varTheta$, and that this functor preserves categorial products (in both directions). We use the structure of $\varTheta(K)$ to characterize important classes of finite commutative unital rings, such as local rings and principal ideal rings., 14 pages

Let $R=\bigoplus_{n\geq 0}R_n$, $\fa\supseteq \bigoplus_{n> 0}R_n$ and $M$ and $N$ be a standard graded ring, an ideal of $R$ and two finitely generated graded $R$-modules, respectively. This paper studies the homogeneous components of graded generalized local cohomology modules. First of all, we show that for all $i\geq 0$, $H^i_{\fa}(M, N)_n$, the $n$-th graded component of the $i$-th generalized local cohomology module of $M$ and $N$ with respect to $\fa$, vanishes for all $n\gg 0$. Furthermore, some sufficient conditions are proposed to satisfy the equality $\sup\{\en(H^i_{\fa}(M, N))| i\geq 0\}= \sup\{\en(H^i_{R_+}(M, N))| i\geq 0\}$. Some sufficient conditions are also proposed for tameness of $H^i_{\fa}(M, N)$ such that $i= f_{\fa}^{R_+}(M, N)$ or $i= \cd_{\fa}(M, N)$, where $f_{\fa}^{R_+}(M, N)$ and $\cd_{\fa}(M, N)$ denote the $R_+$-finiteness dimension and the cohomological dimension of $M$ and $N$ with respect to $\fa$, respectively. We finally consider the Artinian property of some submodules and quotient modules of $H^j_{\fa}(M, N)$, where $j$ is the first or last non-minimax level of $H^i_{\fa}(M, N)$., 18pages, with some revisions and corrections

In this paper we consider the problem of computing all possible order ideals and also sets connected to 1, and the corresponding border bases, for the vanishing ideal of a given finite set of points. In this context two different approaches are discussed: based on the Buchberger-M\"oller Algorithm, we first propose a new algorithm to compute all possible order ideals and the corresponding border bases for an ideal of points. The second approach involves adapting the Farr-Gao Algorithm for finding all sets connected to 1, as well as the corresponding border bases, for an ideal of points. It should be noted that our algorithms are term ordering free. Therefore they can compute successfully all border bases for an ideal of points. Both proposed algorithms have been implemented and their efficiency is discussed via a set of benchmarks., Comment: 20 pages, 3 figures

We prove that the depth functions of cover ideals of balanced hyper- gragh have the non-increasing property. Furthermore, we also give a bound for the index of depth stability of these ideals., 11 pages

Weighted Castelnuovo-Mumford Regularity and Weighted Global GenerationWe introduce and study a notion of Castelnuovo-Mumford regularity suitable for weighted projective spaces.

The discrete LS algebra over a totally ordered set is the homogeneous coordinate ring of an irreducible projective (normal) toric variety. We prove that this algebra is the ring of invariants of a finite abelian group containing no pseudo-reflection acting on a polynomial ring. This is used to study the Gorenstein property for LS algebras. Further we show that any LS algebra is Koszul., 11 pages, minor editing in references, accepted by Communications in Contemporary Mathematics

We study the footprint function, with respect to a monomial order, of complete intersection graded ideals in a polynomial ring with coefficients in a field. For graded ideals of dimension one, whose initial ideal is a complete intersection, we give a formula for the footprint function and a sharp lower bound for the corresponding minimum distance function. This allows us to recover a formula for the minimum distance of an affine cartesian code and the fact that in this case the minimum distance and the footprint functions coincide. Then we present an extension of a result of Alon and F\"uredi, about coverings of the cube $\{0,1\}^n$ by affine hyperplanes, in terms of the regularity of a vanishing ideal., Comment: Journal of Algebra and its Applications, to appear. arXiv admin note: text overlap with arXiv:1512.06868

In this paper, we give a formula to compute all the top degree graded Betti numbers of the path ideals of a cycle. As a consequence we can give a formula to compute its projective dimension and regularity., Comment: arXiv admin note: substantial text overlap with arXiv:1305.1651 by other authors

In this paper, we introduce the concept of f-ideals and discuss its algebraic properties. In particular, we give the characterization of all the f-ideals of degree 2., Comment: 6 pages, 3 figures, accepted for publication in Algebra Colloquium

Let I be the toric ideal of a homogeneous normal configuration. We prove that I is generated by circuits if and only if each unbalanced circuit of I has a "connector" which is a linear combination of circuits with a square-free term. In particular if each circuit of I with non-square-free terms is balanced, then I is generated by circuits. As a consequence we prove that the toric ideal of a normal edge subring of a multigraph is generated by circuits with a square-free term., Apostolos Thoma has pointed out to us that the condition of Theorem 3.2 is not sufficient for the normality of the edge subring. Algebra Colloquium, to appear

We are concerned with the problem of the stability of the syzygy bundles associated to base point free vector spaces of forms of the same degree d on the projective space of dimension n. We deduce directly, from Mark Green's vanishing theorem for Koszul cohomology, that any such bundle is stable if his rank is sufficiently high. With a similar argument, we prove the semistability of a certain syzygy bundle on a general complete intersection of hypersurfaces of degree d in the projective space. This answers a question of H. Flenner (1984). We then give an elementary proof of H. Brenner's criterion of stability for monomial syzygy bundles, avoiding the use of Klyachko's results on toric vector bundles. We finally prove the existence of stable syzygy bundles defined by monomials of the same degree d, of any possible rank, for n at least 3. This extends the similar result proved, for n=2, by L. Costa, P. Macias Marques and R.M. Miro-Roig (2009). The extension to the case n at least 3 has been also, independently, obtained by P. Macias Marques in his thesis (2009)., v2: Addition of a reference to a related paper

The main scope of this paper is to introduce valuation semirings in general and discrete valuation semirings in particular. In order to do that, first we define valuation maps and investigate them. Then we define valuation semirings with the help of valuation maps and prove that a multiplicatively cancellative semiring is a valuation semiring if and only if its ideals are totally ordered by inclusion. We also prove that if the unique maximal ideal of a valuation semiring is subtractive, then it is integrally closed. We end this paper by introducing discrete valuation semirings and show that a semiring is a discrete valuation semiring if and only if it is a multiplicatively cancellative principal ideal semiring possessing a nonzero unique maximal ideal. We also prove that a discrete valuation semiring is a Gaussian semiring if and only if its unique maximal ideal is subtractive., Comment: Final version, 20 pages, to appear in J. of Algebra and Its Applications, Dedicated to the memory of Prof. Dr. Manfred Kudlek

By generalizing the notion of the path ideal of a graph, we study some algebraic properties of some path ideals associated to a line graph. We show that the quotient ring of these ideals are always sequentially Cohen-Macaulay and also provide some exact formulas for the projective dimension and the regularity of these ideals. As some consequences, we give some exact formulas for the depth of these ideals., arXiv admin note: text overlap with arXiv:0902.0902 by other authors

When $\mathcal{C}$ is a chordal clutter in the sense of Woodroofe or Emtander, we show that the complement clutter is edgewise strongly shellable. When $\mathcal{C}$ is indeed a finite simple graph, we study various characterizations of chordal graphs from the point of view of strong shellability. In particular, the generic graph $G_T$ of a tree is shown to be bi-strongly shellable. We also characterize edgewise strongly shellable bipartite graphs in terms of constructions from upward sequences. \end{abstract}

Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and only if the $R$-module $\Tor^R_i(R/\fa,M)$ is finitely generated for every $0\leq i\leq n$. This provides a hands-on and computable finitely-many-steps criterion to examine $\mathfrak{a}$-confiniteness. Our approach relies heavily on the theory of local homology which demonstrates the effectiveness and indispensability of this tool., To appear in Journal of Algebra and Its Applications

This paper generalize the idea of the authors in J. Pure Appl. Algebra210 (2007) 437–445. Namely, we define and study a particular case of Gorenstein projective modules. We investigate some change of rings results for this new kind of modules. Examples over not necessarily Noetherian rings are given.

We show that the defining ideal of every monomial curve in the affine or projective three-dimensional space can be set-theoretically defined by three binomial equations, two of which set-theoretically define a determinantal ideal generated by the 2-minors of a 2 × 3 matrix with monomial entries.

We define marked sets and bases over a quasi-stable ideal $\mathfrak j$ in a polynomial ring on a Noetherian $K$-algebra, with $K$ a field of any characteristic. The involved polynomials may be non-homogeneous, but their degree is bounded from above by the maximum among the degrees of the terms in the Pommaret basis of $\mathfrak j$ and a given integer $m$. Due to the combinatorial properties of quasi-stable ideals, these bases behave well with respect to homogenization, similarly to Macaulay bases. We prove that the family of marked bases over a given quasi-stable ideal has an affine scheme structure, is flat and, for large enough $m$, is an open subset of a Hilbert scheme. Our main results lead to algorithms that explicitly construct such a family. We compare our method with similar ones and give some complexity results., Comment: 30 pages. Final version. In the present version Section 6 about flatness is improved, and new subsections concerning comparison with other existing computational methods (Section 7.1) and some complexity results (Section 7.2) were added

Let $(R,\m,k)$ be a Noetherian local ring with maximal ideal $\m$ and residue field $k$. The linearity defect of a finitely generated $R$-module $M$, which is denoted $\ld_R(M)$, is a numerical measure of how far $M$ is from having linear resolution. We study the linearity defect of the residue field. We give a positive answer to the question raised by Herzog and Iyengar of whether $\ld_R(k), Comment: Comments are welcome, to appear in Journal of Algebra and Its Applications

In 1980, White conjectured that the toric ideal associated to a matroid is generated by binomials corresponding to a symmetric exchange. In this paper, we prove that classes of matroids for which the toric ideal is generated by quadrics and that has quadratic Gr\"obner bases, are closed under series and parallel extensions, series and parallel connections, and 2-sums., Comment: 10 pages

The properties of the intersection algebra of two principal monomial ideals in a polynomial ring are investigated in detail. Results are obtained regarding the Hilbert series and the canonical ideal of the intersection algebra using methods from the theory of diophantine linear equations with integer coefficients., Comment: 23 pages

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a homologically bounded to the right complex and $Q$ a bounded to the right complex of Gorenstein flat $R$-modules such that $Q$ and $X$ are isomorphic in $\mathcal{D}(R)$. We establish a natural isomorphism ${\bf L}\Lambda^{\fa}(X)\simeq \Lambda^{\fa}(Q)$ in $\mathcal{D}(R)$ which immediately asserts that $\sup {\bf L}\Lambda^{\fa}(X)\leq \Gfd_RX$. This isomorphism yields several consequences. For instance, in the case $R$ possesses a dualizing complex, we show that $\Gfd_R {\bf L}\Lambda^{\fa}(X)\leq \Gfd_RX$. Also, we establish a criterion for regularity of Gorenstein local rings., Comment: It will be published in the journal of algebra and its applications