We give examples of two dimensional normal ${\mathbb Q}$-Gorenstein graded domains, where the set of $F$-thresholds of the maximal ideal is not discrete, thus answering a question by Mustaţă-Takagi-Watanabe.
We also prove that, for a two dimensional standard graded domain $(R, {\bf m})$ over a field of characteristic $0$, with graded ideal $I$, if $({\bf m}_p, I_p)$ is a reduction mod $p$ of $({\bf m}, I)$ then
$c^{I_p}({\bf m}_p) \neq c^I_{\infty}({\bf m})$ implies $c^{I_p}({\bf m}_p)$ has $p$ in the denominator.
We establish a generalization of the Briancon-Skoda theorem about integral closures of ideals for graded systems of ideals satisfying a certain geometric condition.
We show the existence (and define) the mixed multiplicities of arbitrary graded families of ideals under mild assumptions. In particular, our methods and results are valid for the case of arbitrary $\mathfrak{m}$-primary graded families. Furthermore, we provide a far-reaching "Volume = Multiplicity formula" for the mixed multiplicities of graded families of ideals.
In this expository paper we survey results that relate Hilbert coefficients of an m-primary ideal I in a Cohen-Macaulay local ring (R, m) with depth of the associated graded ring G(I). Several results in this area follow from two theorems of S. Huckaba and T. Marley. These were proved using homological techniques. We provide simple proofs using superficial sequences.
We introduce the notion of Betti category for graded modules over suitably graded polynomial rings, and more generally for modules over certain small categories. Our categorical approach allows us to treat simultaneously many important cases, such as monomial ideals and toric rings. We prove that in these cases the Betti category is a finite combinatorial object that completely determines the structure of the minimal free resolution. For monomial ideals, the Betti category is the same as the Betti poset that we studied in a previous article. We describe in detail and with examples how the theo…
Given a graded sequence of ideals (a_m) on a smooth variety $X$ having finite log canonical threshold, suppose that for every m we have a divisor E_m over X that computes the log canonical threshold of a_m, and such that the log discrepancies of the divisors E_m are bounded. We show that in this case the set of divisors E_m is finite.
Let $(R,\mathfrak{m})$ be a Noetherian local ring of dimension $d > 0$. Let $I_\bullet = \{I_n\}_{n \in \mathbb{N}}$ be a graded family of $\mathfrak{m}$-primary ideals in $R$. We examine how far off from a polynomial can the length function $\ell_R(R/I_n)$ be asymptotically. More specifically, we show that there exists a constant $γ> 0$ such that for all $n \ge 0$, $$\ell_R(R/I_{n+1}) - \ell_R(R/I_n) < γn^{d-1}.$$
We give simple necessary and sufficient conditions on projective schemes over a field k for asymptotic limits of the growth of all graded linear series of a fixed Kodaira-Iitaka dimension to exist. We also give necessary and sufficient conditions on a local ring R of dimension d for the limit \lim_{i\rightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} to exist whenever \{I_n\} is a graded family of m_R-primary ideals. We give a number of applications.
Let $G$ be a group with identity $e$ and $R$ be a $G$-graded commutative ring with nonzero unity $1$. In this article, we introduce the concept of graded strongly $1$-absorbing primary ideals. A proper graded ideal $P$ of $R$ is said to be a graded strongly $1$-absorbing primary ideal of $R$ if whenever nonunit homogeneous elements $x, y, z\in R$ such that $xyz\in P$, then either $xy\in P$ or $z\in Grad(\{0\})$ (the graded radical of $\{0\}$). Several properties of graded strongly $1$-absorbing primary ideals are investigated. Many results are given to disclose the relations between this new c…
Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$ with maximal ideal $\frak{m}=(x_1,...,x_n)$, and let $I$ be a graded ideal of $S$. In this paper, we define the saturation number $\sat(I)$ of $I$ to be the smallest non-negative integer $k$ such that $I:\mm^{k+1}= I:\mm^k$. We show that $f(k)$ is linearly bounded, and that $f(k)$ is a quasi-linear function for $k\gg 0$, if $I$ is a monomial ideal. Furthermore, we show that $\sat(I^k)=k$ if $I$ is a principal Borel ideal and prove that $\sat(I_{d,n}^k) =\max\{l\:\; (kd-l)/(k-l) \leq n\},$ where $I_{d,n}$ is the …
We generalize a result of Ein-Lazarsfeld-Smith (math.AG/0202303), proving that for an arbitrary sequence of zero-dimensional ideals, the multiplicity of the sequence is equal with its volume. This is done using a deformation to monomial ideals. As a consequence of our result, we obtain a formula which computes the multiplicity of an ideal I in terms of the multiplicities of the initial monomial ideals of the powers I^m. We use this to give a new proof of the inequality between multiplicity and the log canonical threshold due to de Fernex, Ein and the author.
Let R be a local Cohen-Macaulay ring, let I be an R-ideal, and let G be the associated graded ring of I. We give an estimate for the depth of G when G is not necessarily Cohen-Macaulay. We assume that I is either equimultiple, or has analytic deviation one, but we do not have any restriction on the reduction number. We also give a general estimate for the depth of G involving the first r+l powers of I, where r denotes the Castelnuovo regularity of G and l denotes the analytic spread of I.
We show that the mixed volumes of arbitrary convex bodies are equal to mixed multiplicities of graded families of monomial ideals, and to normalized limits of mixed multiplicities of monomial ideals. This result evinces the close relation between the theories of mixed volumes from convex geometry and mixed multiplicities from commutative algebra.
The a-invariant, the F-pure threshold, and the diagonal F-threshold are three important invariants of a graded K-algebra. Hirose, Watanabe, and Yoshida have conjectured relations among these invariants for strongly F-regular rings. In this article, we prove that these relations hold only assuming that the algebra is F-pure. In addition, we present an interpretation of the a-invariant for F-pure Gorenstein graded K-algebras in terms of regular sequences that preserve F-purity. This result is in the spirit of Bertini theorems for projective varieties. Moreover, we show connections with projectiv…
We find simple necessary and sufficient conditions on a local ring $R$ of dimension $d$ for the limit $$ \lim_{i\rightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} $$ to exist whenever $\{I_n\}$ is a graded family of $m_R$-primary ideals, and give a number of applications. We also give simple necessary and sufficient conditions on projective schemes over a field $k$ for asymptotic limits of the growth of all graded linear series of a fixed Kodaira-Iitaka dimension to exist.
In this article, we introduce a generalization of the concept of graded $r$-ideals in graded commutative rings with nonzero unity. Let $G$ be a group, $R$ be a $G$-graded commutative ring with nonzero unity and $GI(R)$ be the set of all graded ideals of $R$. Suppose that $ϕ: GI(R)\rightarrow GI(R)\bigcup\{\emptyset\}$ is a function. A proper graded ideal $P$ of $R$ is called a graded $ϕ$-$r$-ideal of $R$ if whenever $x, y$ are homogeneous elements of $R$ such that $xy\in P-ϕ(P)$ and $Ann(x) =\{0\}$, then $y\in P$. Several properties of graded $ϕ$-$r$-ideals have been examined.
We consider powers of lexsegment ideals with a linear resolution (equivalently, with linear quotients) which are not completely lexsegment ideals. We give a complete description of their minimal graded free resolution.
Let $G$ be a group, $R$ be a $G$-graded commutative ring with nonzero unity and $GI(R)$ be the set of all graded ideals of $R$. Suppose that $ϕ:GI(R)\rightarrow GI(R)\cup\{\emptyset\}$ is a function. In this article, we introduce and study the concept of graded $ϕ$-$1$-absorbing prime ideals. A proper graded ideal $I$ of $R$ is called a graded $ϕ$% -$1$-absorbing prime ideal of $R$ if whenever $a,b,c$ are homogeneous nonunit elements of $R$ such that $abc\in I-ϕ(I)$, then $ab\in I$ or $c\in I$. Several properties of graded $ϕ$-$1$-absorbing prime ideals have been examined.
In this paper we study graded Bourbaki ideals. It is a well-known fact that for torsionfree modules over Noetherian normal domains, Bourbaki sequences exist. We give criteria in terms of certain attached matrices for a homomorphism of modules to induce a Bourbaki sequence. Special attention is given to graded Bourbaki sequences. In the second part of the paper, we apply these results to the Koszul cycles of the residue class field and determine particular Bourbaki ideals explicitly. We also obtain in a special case the relationship between the structure of the Rees algebra of a Koszul cycle an…
Let $k$ be a field. We determine the ideals $I$ in a finitely generated graded $k$-algebra $A$, whose associated graded rings are isomorphic to $A$. Also we compute the graded local cohomologies of the Rees rings $A[I t]$ and give the condition for $A[I t]$ to be generalized Cohen-Macaulay.
Let $R$ be a commutative $G$-graded ring with a nonzero unity. In this article, we introduce the concept of graded radically principal ideals. A graded ideal $I$ of $R$ is said to be graded radically principal if $Grad(I)=Grad(\langle c\rangle)$ for some homogeneous $c\in R$, where $Grad(I)$ is the graded radical of $I$. The graded ring $R$ is said to be graded radically principal if every graded ideal of $R$ is graded radically principal. We study graded radically principal rings. We prove an analogue of the Cohen theorem, in the graded case, precisely, a graded ring is graded radically princ…
Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over the field $K$, and let $I\subset S$ be a graded ideal. It is shown that for $k \gg0$ the postulation number of $I^k$ is bounded by a linear function of $k$, and it is a linear function of $k$, if $I$ is generated in a single degree. By using the relationship of the $h$-vector with the higher iterated Hilbert coefficients of $I^k$ it is shown that the Hilbert coefficients $e_i(I^k)$ of $I^k$ are polynomials for $k \gg 0$, whenever $I$ is generated in a single degree.
Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how the homology of these complexes can be studied by purely geometric methods. As an application of these techniques we give a simple new proof of a characterization of the Cox rings of Del Pezzo surfaces (of degree >1) conjectured by Batyrev and Popov.
We find formulas for the graded core of certain m-primary ideals in a graded ring. In particular, if S is the section ring of an ample line bundle on a Cohen-Macaulay complex projective variety, we show that under suitable hypothesis, the core and graded core of the ideal of S generated by all elements of degrees at least N (for some, equivalently every, large N) are equal if and only if the line bundle admits a non-zero global section. We also prove a formula for the graded core of the powers of the unique homogeneous maximal ideal in a standard graded Cohen-Macaulay ring of arbitrary charact…
In this paper, we give a way to construct graded filtrations of graded modules. We then apply it to the Sally module, which describes a correction term of the Hilbert function. As a result, we obtain the inequality of the Hilbert coefficients for ideals of reduction number $2$ or $3$.
We use purely combinatorial arguments to give a formula to compute all graded Betti numbers of path ideals of line graphs and cycles. As a consequence we can give new and short proofs for the known formulas of regularity and projective dimensions of path ideals of line graphs.
In the present paper we prove that all homogeneous ideals with linear quotients are componentwise linear. Moreover we establish an extended version of Eliahou-Kervaire formula for graded Betti numbers.
For a graded domain $R=k[X_0,...,X_m]/J$ over an arbitrary domain $k$, it is shown that the ideal generated by elements of degree $\geq mA$, where $A$ is the least common multiple of the weights of the $X_i$, is a normal ideal.
In this paper we show that the sets of $F$-jumping coefficients of ideals form discrete sets in certain graded $F$-finite rings. We do so by giving a criterion based on linear bounds for the growth of the Castelnuovo-Mumford regularity of certain ideals. We further show that these linear bounds exists for one-dimensional rings and for ideals of (most) two-dimensional domains. We conclude by applying our technique to prove that all sets of $F$-jumping coefficients of all ideals in the determinantal ring given as the quotient by $2\times 2$ minors in a $2\times 3$ matrix of indeterminates form d…
By definition, an $\m$-primary ideal $I$ in a 2-dimensional regular local ring $(R, \m)$ is contracted if $I=R \cap IR[\m/x]$ for some $x \in \m \setminus \m^2$. Contracted ideals have been introduced by Zariski and used for proving the unique factorization theorem for complete (i.e. integrally closed) ideals. Any complete ideal is contracted but not the other way round. While the associated graded rings to complete ideals are always Cohen-Macaulay, this is not the case for contracted ideals. Our goal is to study depth, Hilbert function and defining equations of the graded rings of homogeneous…
Given $Σ\subset R:=\mathbb K[x_1,\ldots,x_k]$, where $\mathbb K$ is a field of characteristic 0, any finite collection of linear forms, some possibly proportional, and any $1\leq a\leq |Σ|$, we prove that $I_a(Σ)$, the ideal generated by all $a$-fold products of $Σ$, has linear graded free resolution. This allows us to determine a generating set for the defining ideal of the Orlik-Terao algebra of the second order of a line arrangement in $\mathbb P_{\mathbb{K}}^2$, and to conclude that for the case $k=3$, and $Σ$ defining such a line arrangement, the ideal $I_{|Σ|-2}(Σ)$ is of fiber type. We …
This paper introduces two new notions of graded linear resolution and graded linear quotients, which generalize the concepts of linear resolution property and linear quotient for modules over the polynomial ring $A=k[x_1, \dots ,x_n]$. Besides, we compare graded linearity with componentwise linearity in general. For modules minimally generated by a regular sequence in a maximal ideal of $A$, we show that graded linear quotients imply graded linear resolution property for the colon ideals. On the other hand, we provide specific characterizations of graded linear resolution property for the Stan…
We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of exponents. These multigraded techniques originate from the study of hypergeometric systems of differential equations.
We relate the annihilators of graded components of the canonical module of a graded Cohen-Macaulay ring to colon ideals of powers of the homogeneous maximal ideal. In particular, we connect them to the core of the maximal ideal. An application of our results characterizes Cayley-Bacharach sets of points in terms of the structure of the core of the maximal ideal of their homogeneous coordinate ring. In particular, we show that a scheme is Cayley-Bacharach if and only if the core is a power of the maximal ideal.
Let $R = \bigoplus_{n \in \mathbb{N}_{0}} R_{n}$ be a standard graded ring, $M$ be a finite graded $R$-module and $J$ be a homogenous ideal of $R$. In this paper we study the graded structure of the $i$-th local cohomology module of $M$ defined by a pair of ideals $(R_{+},J)$, i.e. $H^{i}_{R_{+},J}(M)$. More precisely, we discuss finiteness property and vanishing of the graded components $H^{i}_{R_{+},J}(M)_{n}$. Also, we study the Artinian property and tameness of certain submodules and quotient modules of $H^{i}_{R_{+},J}(M)$.
We generalize a result of Eisenbud-Huneke-Ulrich on the maximal graded shifts of a module with prescribed annihilator and prove a linear regularity bound for ideals in a polynomial ring depending only on the first $p - c$ steps in the resolution, where $p = \mathrm{pd}(S/I)$ and $c = \mathrm{codim}(I)$.
The literature in persistent homology often refers to a "structure theorem for finitely generated graded modules over a graded principal ideal domain". We clarify the nature of this structure theorem in this context.
We give two algorithms for computing the Hilbert depth of a \emph{graded ideal} in the polynomial ring. These algorithms work efficiently for (squarefree) lex ideals. As a consequence, we construct counterexamples to some conjectures made by Shen in \cite{B:Sh2}.
Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as the $t_i$s get large.
Let $I$ be a graded ideal of $K[x_1,\ldots,x_n]$ generated by homogeneous polynomials of a same degree $d$, and assume that $I$ has linear quotients. In this note, we use Horseshoe Lemma to give a relatively direct inductive construction of a minimal free resolution of $I$, which is called a $d$-linear resolution.
Given a local Cohen-Macaulay ring $(R, {\mathfrak m})$, we study the interplay between the integral closedness -- or even the normality -- of an ${\mathfrak m}$-primary $R$-ideal $I$ and conditions on the Hilbert coefficients of $I$. We relate these properties to the depth of the associated graded ring of $I$.
Let $R=k[x_1, ..., x_n]$ be a polynomial ring and let $I\subset R$ be a graded ideal. In \cite{R}, Römer asked whether under the Cohen-Macaulay assumption the $i$-th Betti number $β_{i}(R/I)$ can be bounded above by a function of the maximal shifts in the minimal graded free $R$-resolution of $R/I$ as well as bounded below by a function of the minimal shifts. The goal of this paper is to establish such bounds for graded Cohen-Macaulay algebras $k[x_1, ..., x_n]/I$ when $I$ is a standard determinantal ideal of arbitrary codimension. We also discuss other examples as well as when these bounds ar…
In this paper, we prove some well-known results on local cohomology with respect to a pair of ideals in graded version, such as, Independence Theorem, Lichtenbaum-Harshorne Vanishing Theorem, Basic Finiteness and Vanishing Theorem, among others. Besides, we present a generalized version of Melkersson Theorem about Artinianess of modules and a result concerning Artinianess of local cohomology modules.
We introduce the $k$-strong Lefschetz property ($k$-SLP) and the $k$-weak Lefschetz property ($k$-WLP) for graded Artinian $K$-algebras, which are generalizations of the Lefschetz properties. The main results obtained in this paper are as follows: 1. Let $I$ be a graded ideal of $R=K[x_1, x_2, x_3]$ whose quotient ring $R/I$ has the SLP. Then the generic initial ideal of $I$ is the unique almost revlex ideal with the same Hilbert function as $R/I$. 2. Let $I$ be a graded ideal of $R=K[x_1, x_2, ..., x_n]$ whose quotient ring $R/I$ has the $n$-SLP. Suppose that all $k$-th differences of the Hil…
We introduce a graded version of dagger closure and prove that it coincides with solid closure for homogeneous ideals in two dimensional $\mathbb{N}$-graded domains of finite type over a field.
In this article we extend a previous definition of Castelnuovo-Mumford regularity for modules over an algebra graded by a finitely generated abelian group. Our notion of regularity is based on Maclagan and Smith's definition, and is extended first by working over any commutative base ring, and second by considering local cohomology with support in an arbitrary finitely generated graded ideal $B$, obtaining, for each $B$, a $B$-regularity region. The first extension provides a natural approach for working with families of sheaves or of graded modules, while the second opens new applications. We…
We consider ideals $I$ in a Stanley-Reisner ring $k[Δ]$ over the simplical complex $Δ$, such that the tight closure of $I$, $I^*$, is equal to $\mathfrak{m}$, the standard graded maximal ideal of $k[Δ]$. We determine the minimal number of generators of $I$ to be the $\dim Δ+1$ and note the important role this value plays in bounding the intersection of all such ideals $I$. We make mention of this intersection in special cases of Stanley-Reisner rings. We conclude with a description of how this work relates to integral closure.
