Minimal generating sets for the first syzygies of a monomial ideal

Polar syzygies in characteristic zero: the monomial case

Given a set of forms f={f_1,...,f_m} in R=k[x_1,...,x_n], where k is a field of characteristic zero, we focus on the first syzygy module Z of the transposed Jacobian module D(f), whose elements are called differential syzygies of f. There is a distinct submodule P of Z coming from the polynomial relations of f through its transposed Jacobian matrix, the elements of which are called polar syzygies of f. We say that f is polarizable if equality P=Z holds. This paper is concerned with the situation where f are monomials of degree 2, in which case one can naturally associate to them a graph G(f) w…

Syzygies, Betti numbers and regularity of cover ideals of certain multipartite graphs

Let $G$ be a finite simple graph on $n$ vertices. Let $J_G \subset K[x_1, \ldots, x_n]$ be the cover ideal of $G$. In this article, we obtain syzygies, Betti numbers and Castelnuovo-Mumford regularity of $J_G^s$ for all $s \geq 1$ for certain classes of graphs $G$.

2×n矩阵的2×2永久式理想的等变合冲

Equivariant Syzygies of the Ideal of 2 x 2 Permanents of a 2 x n Matrix

本文研究一般2×n矩阵的2×2永久式理想，利用自然对称群与环面群作用刻画其等变合冲，并给出求Betti数的新方法。

单项式曲线的合冲的界

Bounds for syzygies of monomial curves

本文针对数值半群环的 Betti 数，证明了仅依赖于半群宽度的上界，推进了 Herzog-Stamate 猜想，并在 4 生成数值半群情形下证明除有限多个宽度值外该界成立。

Dirac's theorem and multigraded syzygies

Let $G$ be a simple finite graph. A famous theorem of Dirac says that $G$ is chordal if and only if $G$ admits a perfect elimination order. It is known by Fröberg that the edge ideal $I(G)$ of $G$ has a linear resolution if and only if the complementary graph $G^c$ of $G$ is chordal. In this article, we discuss some algebraic consequences of Dirac's theorem in the theory of homological shift ideals of edge ideals. Recall that if $I$ is a monomial ideal, $\mbox{HS}_k(I)$ is the monomial ideal generated by the $k$th multigraded shifts of $I$. We prove that $\mbox{HS}_1(I)$ has linear quotients, …

Linear syzygies and birational combinatorics

Let $F$ be a finite set of monomials of the same degree $d\geq 2$ in a polynomial ring $R=k[x_1,...,x_n]$ over an arbitrary field $k$. We give some necessary and/or sufficient conditions for the birationality of the ring extension $k[F]\subset R^{(d)}$, where $R^{(d)}$ is the $d${\it th} Veronese subring of $R$. One of our results extends to arbitrary characteristic, in the case of rational monomial maps, a previous syzygy-theoretic birationality criterion in characteristic zero

Families of cellular resolutions, their syzygies, and stability

We study families of cellular resolutions by looking at them as a category and applying tools from representation stability. We obtain sufficient conditions on the structure of the family to have a noetherian representation category and apply this to concrete examples of families. In the study of syzygies we make use of defining the syzygy module as a representation and find conditions for the finite generation of this representation. We then show that many families of cellular resolutions coming from powers of ideals satisfy these conditions and have finitely generated syzygies, including the…

Bounds for degrees of syzygies of polynomials defining a grade two ideal

We make explicit the exponential bound on the degrees of the polynomials appearing in the Effective Quillen-Suslin Theorem, and apply it jointly with the Hilbert-Burch Theorem to show that the syzygy module of a sequence of m polynomials in n variables defining a complete intersection ideal of grade two is free, and that a basis of it can be computed with bounded degrees. In the known cases, these bounds improve previous results.

合冲的迹理想

Trace ideals of syzygies

本文研究诺特局部环、数值半群环中取合冲时迹理想的性质，证明相关包含关系、得到上界估计并刻画两类满足特定迹理想等式的数值半群环。

通过系数理想的合冲实现有理超曲面的隐式化

Implicitization of rational hypersurfaces by syzygies with respect to coefficient ideals

研究由一般有限有理映射的像的闭包定义的有理超曲面，利用参数方程的线性合冲和二次合冲系数构造隐式化矩阵，并将Cox环中所有系数限制到特定系数理想，在二维情形下消除了映射在基点处局部为完全交的条件。

A Polynomial Bound on the Regularity of an Ideal in Terms of Half of the Syzygies

Let K be a field and let S = K[x_1, ..., x_n] be a polynomial ring. Consider a homogenous ideal I in S. Let t_i denote reg(Tor_i (S/I, K)), the maximal degree of an ith syzygy of S/I. We prove bounds on the numbers t_i for i > n/2 purely in terms of the previous t_i. As a result, we give bounds on the regularity of S/I in terms of as few as half of the numbers t_i. We also prove related bounds for arbitrary modules. These bounds are often much smaller than the known doubly exponential bound on regularity purely in terms of t_1.

Associated Primes and Syzygies of Linked Modules

Motivated by the notion of geometrically linked ideals, we show that over a Gorenstein local ring $R$, if a Cohen-Macaulay $R$-module $M$ of grade $g$ is linked to an $R$-module $N$ by a Gorenstein ideal $c$, such that $Ass_R(M)\cap Ass_R(N)=\emptyset$, then $M\otimes_RN$ is isomorphic to direct sum of copies of $R/a$, where $a$ is a Gorenstein ideal of $R$ of grade $g+1$. We give a criterion for the depth of a local ring $(R,m,k)$ in terms of the homological dimensions of the modules linked to the syzygies of the residue field $k$. As a result we characterize a local ring $(R,m,k)$ in terms o…

First Nonlinear Syzygies of Ideals Associated to Graphs

Consider an ideal $I\subset K[x_1,..., x_n]$, with $K$ an arbitrary field, generated by monomials of degree two. Assuming that $I$ does not have a linear resolution, we determine the step $s$ of the minimal graded free resolution of $I$ where nonlinear syzygies first appear, we show that at this step of the resolution nonlinear syzygies are concentrated in degree $s+3$, and we compute the corresponding graded Betti number $β_{s,s+3}$. The multidegrees of these nonlinear syzygies are also determined and the corresponding multigraded Betti numbers are shown to be all equal to 1.

Syzygies of multiplier ideals on singular varieties

It was recently established by the first two authors that multiplier ideals on a smooth variety satisfy some special syzygetic properties. The purpose of this note is to show how some of these can be extended to the singular setting.

Local syzygies of multiplier ideals

In recent years, multiplier ideals have found many applications in local and global algebraic geometry. Because of their importance, there has been some interest in the question of which ideals on a smooth complex variety can be realized as multiplier ideals. Other than integral closure no local obstructions have been known up to now, and in dimension two it was established by Favre-Jonsson and Lipman-Watanabe that any integrally closed ideal is locally a multiplier ideal. We prove the somewhat unexpected result that multiplier ideals in fact satisfy some rather strong algebraic properties inv…

Some results on the subadditivity condition of syzygies

Among other results, we prove that if $I$ is a monomial ideal of $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $a\geq b-1\geq0$ are integers such that $a+b\leq\mathrm{proj~dim}(S/I)$, then $$t_{a+b}\leq t_a+t_1+t_2+\cdots+t_b-\frac{b(b-1)}{2},$$ where $t_1,t_2,\dots$ are the maximal shifts in the minimal graded free $S$-resolution of $S/I$.

Restricting linear syzygies: algebra and geometry

In this paper we derive geometric consequences from the presence of a long strand of linear syzygies in the minimal free resolution of a closed scheme in projective space whose homogeneous ideal is generated by quadrics. These consequences are given in terms of intersections with arbitrary linear subspaces. We use our results to bound homological invariants of some well-known projective varieties, to give a combinatorial characterization of quadratic monomial ideals with a long strand of linear syzygies, etc

Tameness of Local cohomology of monomial ideals with respect to monomial prime ideals

In this paper we consider the local cohomology of monomial ideals with respect to monomial prime ideals and show that all these local cohomology modules are tame.

Homology of powers of ideals: Artin--Rees numbers of syzygies and the Golod property

For an ideal I in a regular local ring (R,m)$ with residue class field K = R/m or a standard graded K-algebra R we show that for k >> 0 --> the Artin--Rees number of the syzygy modules of I^k as submodules of the free modules from a free resolution is constant, and thereby present the Artin-Rees number as a proper replacement of regularity in the local situation, --> the ring R/I^k is Golod, its Poincer{é}-Betti series is rational and the Betti numbers of the free resolution of K over R/I^k are polynomials in k of a specific degree. The first result is an extension of work of Kodiyalam and Cut…

对称群的传递理想余子式的余子式

Syzygies of the transfer ideal of the symmetric group

研究对称群在模特征下的作用，证明传递映射的像为消去理想，并探讨其结构稳定性及确定性呈现。

Syzygies of Oriented Matroids

We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanley's formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius in…

某些具有循环群作用的不变环的合系

Syzygies of some invariant rings with cyclic group actions

本文研究循环群在二元多项式环上的作用及相应不变环的极小自由分解，完全分类了定义理想余维数为2和生成不变量多重度位于两直线并集上的情形。

Syzygies of Jacobian ideals and weighted homogeneous singularities

Let $V$ be a projective hypersurface having only isolated singularities. We show that these singularities are weighted homogeneous if and only if the Koszul syzygies among the partial derivatives of an equation for $V$ are exactly the syzygies with a generic first component vanishing on the singular locus subscheme of $V$. This yields in particular a positive answer in this setting to a question raised by Morihiko Saito and the first author. Finally we explain how our result can be used to improve the listing of Jacobian syzygies of a given degree by a computer algebra system such as Singular,…

On the stable set of associated prime ideals of a monomial ideal

It is shown that any set of nonzero monomial prime ideals can be realized as the stable set of associated prime ideals of a monomial ideal. Moreover, an algorithm is given to compute the stable set of associated prime ideals of a monomial ideal.

Monomial Difference Ideals

In this paper, basic properties of monomial difference ideals are studied. We prove the finitely generated property of well-mixed difference ideals generated by monomials. Furthermore, a finite prime decomposition of radical well-mixed monomial difference ideals is given. As a consequence, we prove that every strictly ascending chain of radical well-mixed monomial difference ideals in a difference polynomial ring is finite, which answers a question raised by E. Hrushovski in the monomial case. Moreover, the Alexander Duality for monomial ideals is generalized to the monomial case.

Linear syzygies, hyperbolic Coxeter groups and regularity

We show that the virtual cohomological dimension of a Coxeter group is essentially the regularity of the Stanley--Reisner ring of its nerve. Using this connection between geometric group theory and commutative algebra, as well as techniques from the theory of hyperbolic Coxeter groups, we study the behavior of the Castelnuovo--Mumford regularity of square-free quadratic monomial ideals. We construct examples of such ideals which exhibit arbitrarily high regularity after linear syzygies for arbitrarily many steps. We give a doubly logarithmic bound on the regularity as a function of the number …

Syzygies of Jacobian ideals and defects of linear systems

Our main result describes the relation between the syzygies involving the first order partial derivatives $f_0,...,f_n$ of a homogeneous polynomial $f\in \C[x_0,...x_n]$ and the defect of the linear systems vanishing on the singular locus subscheme $Σ_f=V(f_0,...,f_n)$ of the hypersurface $D:f=0$ in the complex projective space $\PP^n$, when $D$ has only isolated singularities.

Syzygies of the apolar ideals of the determinant and permanent

We investigate the space of syzygies of the apolar ideals $\det_n^\perp$ and ${\rm perm}_n^\perp$ of the determinant $\det_n$ and permanent ${\rm perm}_n$ polynomials. Shafiei had proved that these ideals are generated by quadrics and provided a minimal generating set. Extending on her work, in characteristic distinct from two, we prove that the space of relations of $\det_n^{\perp}$ is generated by linear relations and we describe a minimal generating set. The linear relations of ${\rm perm}_n^{\perp}$ do not generate all relations, but we provide a minimal generating set of linear and quadra…

Betti numbers of monomial ideals in four variables

We express the multigraded Betti numbers of monomial ideals in 4 variables in terms of the multigraded Betti numbers of 66 squarefree monomial ideals, also in 4 variables. We use this class of 66 ideals to prove that monomial resolutions in 4 variables are independent of the base field. In addition, we give a formula for the Betti numbers of an arbitrary monomial ideal in 4 variables.

On the monomial reduction number of a monomial ideal in $K[x,y]$

The reduction number of monomial ideals in the polynomial $K[x,y]$ is studied. We focus on ideals $I$ for which $J=(x^a,y^b)$ is a reduction ideal. The computation of the reduction number amounts to solve linear inequalities. In some special cases the reduction number can be explicitly computed.

Monomial ideals with linear quotients whose Taylor resolutions are minimal

We study when Taylor resolutions of monomial ideals are minimal. We consider monomial ideals with linear quotients. In particular, we determine precisely the stable ideals and the monomial ideals with linear resolutions having the miminal Taylor resolutions.

Koszul同调中的单项式闭链

Monomial Cycles in Koszul Homology

该研究探讨单项式环上Koszul同调的单项式闭链，提出边缘理想刻画闭链为边缘链的条件，推导Golod单项式理想的判定条件并完成多类Golod理想分类，还证明具线性商的一类理想存在单项式闭链构成的同调基。

Linear resolutions and quasi-linearity of monomial ideals

We introduce the concept of quasi-linearity and prove it is necessary for a monomial ideal to have a linear resolution and identify all the quasi-linear quadratic monomial ideals. We define a strongly linear monomial for a monomial ideal $I$ and prove that if $\mathbf{u}$ is a strongly linear monomial over $I$ then $I$ has a linear resolution (resp: is quasi-linear) if and only if $I+\mathbf{u}\mathfrak{p}$ has a linear resolution (resp: is quasi-linear). Here $\mathfrak{p}$ is any monomial prime ideal.

On the arithmetical rank of certain monomial ideals

We determine a new technique which allows the computation of the arithmetical rank of certain monomial ideals.

Invariants of some classes of monomial ideals

In this thesis we are interested in describing some homological invariants of certain classes of monomial ideals. We will pay attention to the squarefree and non-squarefree lexsegment ideals.

Stanley depth and size of a monomial ideal

Lyubeznik introduced the concept of size of a monomial ideal and showed that the size of a monomial ideal increased by $1$ is a lower bound for its depth. We show that the size is also a lower bound for its Stanley depth. Applying Alexander duality we obtain upper bounds for the regularity and Stanley regularity of squarefree monomial ideals.

Monomial ideals of minimal depth and trivial modifications

Let $S$ be a polynomial algebra over a field. We study classes of monomial ideals (as for example lexsegment ideals) of $S$ having minimal depth. In particular, Stanley's conjecture holds for these ideals. Also we show that if Stanley's conjecture holds for a square free monomial ideal then it holds for all its trivial modifications.

The fiber cone of a monomial ideal in two variables

We determine in an explicit way the depth of the fiber cone and its relation ideal for classes of monomial ideals in two variables. These classes include concave and convex ideals as well as symmetric ideals.

关于单项式理想的共持续性质与近共持续性质

On the copersistence property and nearly copersistence property of monomial ideals

该论文聚焦数学交换代数领域，针对单项式理想展开研究，主要探究满足共持续性质或近共持续性质的这类单项式理想的相关特性。

Stanley depth of monomial ideals in three variables

We show that $\depth(S/I)=0$ if and only if $\sdepth(S/I)=0$, where $I\subset S=K[x_1,...,x_n]$ is a monomial ideal. We give an algorithm to compute the Stanley depth of $S/I$, where $I\subset S=K[x_1,x_2,x_3]$ is a monomial ideal. Also, we prove that a monomial ideal $I\subset K[x_1,x_2,x_3]$ minimally generated by three monomials has $\sdepth(I)=2$.

Refined Algorithms to Compute Syzygies

Based on Schreyer's algorithm (Schreyer, 1980, 1991; Berkesch and Schreyer, 2014), we present two refined algorithms for the computation of syzygies. The two main ideas of the first algorithm, called LiftHybrid, are the following: First, we may leave out certain terms of module elements during the computation which do not contribute to the result. These terms are called "lower order terms", see Definition 4.2. Second, we do not need to order the remaining terms of these module elements during the computation. This significantly reduces the number of monomial comparisons for the arithmetic oper…

Monomial ideals whose depth function has any given number of strict local maxima

We construct monomial ideals with the property that their depth function has any given number of strict local maxima.

Expansions of monomial ideals and multigraded modules

We introduce an exact functor defined on multigraded modules which we call the expansion functor and study its homological properties. The expansion functor applied to a monomial ideal amounts to substitute the variables by monomial prime ideals and to apply this substitution to the generators of the ideal. This operation naturally occurs in various combinatorial contexts.

Arithmetical rank of Cohen-Macaulay squarefree monomial ideals of height two

In this paper, we prove that a squarefree monomial ideal of height 2 whose quotient ring is Cohen-Macaulay is set-theoretic complete intersection.

Monomial ideals under ideal operations

In this paper, we show for a monomial ideal $I$ of $K[x_1,x_2,\ldots,x_n]$ that the integral closure $\ol{I}$ is a monomial ideal of Borel type (Borel-fixed, strongly stable, lexsegment, or universal lexsegment respectively), if $I$ has the same property. We also show that the $k^{th}$ symbolic power $I^{(k)}$ of $I$ preserves the properties of Borel type, Borel-fixed and strongly stable, and $I^{(k)}$ is lexsegment if $I$ is stably lexsegment. For a monomial ideal $I$ and a monomial prime ideal $P$, a new ideal $J(I, P)$ is studied, which also gives a clear description of the primary decompos…

A note on monomial ideals

We show that the number of elements generating a squarefree monomial ideal up to radical can always be bounded above in terms of the number of its minimal monomial generators and the maximal height of its minimal primes.

Minimal Monomial Reductions and the Reduced Fiber Ring of an Extremal Ideal

Let $I$ be a monomial ideal in a polynomial ring $A=K[x_1,...,x_n]$. We call a monomial ideal $J$ to be a minimal monomial reduction ideal of $I$ if there exists no proper monomial ideal $L \subset J$ such that $L$ is a reduction ideal of $I$. We prove that there exists a unique minimal monomial reduction ideal $J$ of $I$ and we show that the maximum degree of a monomial generator of $J$ determines the slope $p$ of the linear function $\reg(I^t)=pt+c$ for $t\gg 0$. We determine the structure of the reduced fiber ring $\mathcal{F}(J)_{\red}$ of $J$ and show that $\mathcal{F}(J)_{\red}$ is isomo…

Monomial ideals with large projective dimension

Let S be a polynomial ring in n variables, over an arbitrary field. We give the total, graded, and multigraded Betti numbers of S/M, for every monomial ideal M in S. We also give an explicit characterization of all monomial ideals M in S for which the quotient S/M has projective dimension n.

Colon structure of associated primes of monomial ideals

We find an explicit expression of the associated primes of monomial ideals as a colon by an element $v$, using the unique irredundant irreducible decomposition whose irreducible components are monomial ideals (Theorem 3.1). An algorithm to compute $v$ is given using Macaulay2 (Section 7). For squarefree monomial ideals the problem is related to the combinatorics of the underlying clutter or graph (Proposition 4.3). For ideals of Borel type the monomial $f$ takes a simpler form (Proposition 5.2). The authors classify when $f$ is unique (Proposition 6.2).

On monomial ideals whose Lyubeznik resolution is minimal

For a monomial ideal $I$, let $G(I)$ be its minimal set of monomial generators. If there is a total order on $G(I)$ such that the corresponding Lyubeznik resolution of $I$ is a minimal free resolution of $I$, then $I$ is called a Lyubeznik ideal. In this paper, we characterize the Lyubeznik ideals, and we discover some classes of Lyubeznik ideals.

Decompositions of Betti diagrams of powers of monomial ideals: A stability conjecture

We state a conjecture on the stability of Betti diagrams of powers of monomial ideals.

Stanley depth of complete intersection monomial ideals

We compute the Stanley depth of irreducible monomial ideals and we show that the Stanley depth of a monomial complete intersection ideal is the same as the Stanley depth of it's radical. Also, we give some bounds for the Stanley depth of a monomial complete intersection ideal.

Simplicial affine semigroups with monomial minimal reduction ideals

We characterize when the monomial maximal ideal of a simplicial affine semigroup ring has a monomial minimal reduction. When this is the case, we study the Cohen-Macaulay and Gorenstein properties of the associated graded ring and provide several bounds for the reduction number with respect to the monomial minimal reduction.

Upper bounds of depth of monomial ideals

Let $J\subsetneq I$ be two ideals of a polynomial ring $S$ over a field, generated by square free monomials. We show that some inequalities among the numbers of square free monomials of $I\setminus J$ of different degrees give upper bounds of $\depth_SI/J$.