Results are presented concerning the following question: If M is a finitely-generated module with finite local cohomologies over a Noetherian local ring (A, m), does there exist an integer n such that every parameter ideal for M contained in m^n has the same index of reducibility? We show that the answer is yes if M has dimension 1 or if M has dimension 2 and positive depth. This research is closely related to work of Goto-Suzuki and Goto-Sakurai; Goto-Sakurai have supplied an answer of yes in case M is Buchsbaum.
Let $R$ be a Noetherian ring. For a finitely generated $R$-module $M$, Northcott introduced the reducibility index of $M$, which is the number of submodules appearing in an irredundant irreducible decomposition of the submodule $0$ in $M$. On the other hand, for an Artinian $R$-module $A$, Macdonald proved that the number of sum-irreducible submodules appearing in an irredundant sum-irreducible representation of $A$ does not depend on the choice of the representation. This number is called the sum-reducibility index of $A$. In the former part of this paper, we compute the reducibility index of…
In this paper we study the index of reducibility of powers of a standard parameter ideal. An explicit formula is proved for the extremely case. We apply the main result to compute Hilbert polynomials of socle ideals of standard parameter ideals.
It is shown that a module is sequentially Cohen-Macaulay if and only if the index of reducibility for distinguished parameter ideals are eventually constant with special value. As corollaries to the main theorem we given to characterize the Gorensteinness, Cohen-Macaulayness of local rings in term of eventually index of reducibility for distinguished parameter ideals.
Let $(R, \frak m)$ be a Noetherian local ring and $M$ a finitely generated $R$-module of dimension $d$. A famous result of Northcott says that if $M$ is Cohen-Macaulay, then the index of reducibility of parameter ideals on $M$ is an invariant of the module. The aim of this paper is to extend Northcott's theorem for any finitely generated $R$-module. We call this invariant the stable value of the indices of reducibility of parameter ideals of $M$. We also introduce the limit value of the indices of reducibility of parameter ideals of $M$.
Let $(R, \frak m)$ be a Noetherian local ring, $M$ a finitely generated $R$-module. The aim of this paper is to prove a uniform formula for the index of reducibility of paprameter ideals of $M$ provided the polynomial type of $M$ is at most one.
Let $R$ be a commutative Noetherian ring graded by a torsionfree abelian group $G$. We introduce the notion of $G$-graded irreducibility and prove that $G$-graded irreducibility is equivalent to irreducibility in the usual sense. This is a generalization of Chen and Kim's result in the $\mathbb{Z}$-graded case. We also discuss the concept of the index of reducibility and give an inequality for the indices of reducibility between any radical non-graded ideal and its largest graded subideal.
A commutative noetherian local ring $(R,\mathfrak{m})$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show there exists an integer $\ell$ (depending on $R$) such that $R$ is Gorenstein if and only if there exists an irreducible parameter ideal contained in $\mathfrak{m}^\ell$. We give upper bounds for $\ell$ that depend primarily on the existence of certain systems of parameters in low powers of the maximal ideal.
We prove that if M is a finitely-generated module of dimension d with finite local cohomologies over a Noetherian local ring, and if the ith local cohomology module of M is zero unless i = d, i = 0, and i = r for some r strictly between 0 and d, then there is an integer l such that every parameter ideal for M contained in the lth power of the maximal ideal has the same index of reducibility on M. This theorem generalizes work of the second author (math.AC/0408143) and is closely related to work of S. Goto, H. Sakurai (math.AC/0306148), and N. Suzuki.
We show that if a graded submodule of a Noetherian module cannot be written as a proper intersection of graded submodules, then it cannot be written as a proper intersection of submodules at all. More generally, we show that a natural extension of the index of reducibility to the graded setting coincides with the ordinary index of reducibility. We also investigate the question of uniqueness of the components in a graded-irreducible decomposition, as well as the relation between the index of reducibility of a non-graded ideal and that of its largest graded subideal.
The purpose of this paper is to investigate a relationship between the index of reducibility and the Chern coefficient for primary ideals. Therefore, the main result of this paper gives a characterization of a Cohen-Macaulay ring in terms of its the index of reducibility, its Cohen-Macaulay type, and the Chern coefficient for parameter ideals. As corollaries to the main theorem we obtained the characterizations of a Gorenstein ring in term of its Chern coefficient for parameter ideals.
Let $M$ be a finitely generated module over a Noetherian ring $R$ and $N$ a submodule. The index of reducibility ir$_M(N)$ is the number of irreducible submodules that appear in an irredundant irreducible decomposition of $N$ (this number is well defined by a classical result of Emmy Noether). Then the main results of this paper are: (1) $\mathrm{ir}_M(N) = \sum_{{\frak p} \in \mathrm{Ass}_R(M/N)} \dim_{k(\frak p)} \mathrm{Soc}(M/N)_{\frak p} $; (2) For an irredundant primary decomposition of $N = Q_1 \cap \cdots \cap Q_n$, where $Q_i$ is $\frak p_i$-primary, then $\mathrm{ir}_M(N) = \mathrm{i…
In this paper, we investigate the relationship between the index of reducibility and Chern coefficients for primary ideals. As an application, we give characterizations of a Cohen-Macaulay ring in terms of its type, irreducible multiplicity, and Chern coefficients with respect to certain parameter ideals in Noetherian local rings.
The purpose of this paper is to give affirmative answers to two open questions as follows. Let $(R, \m)$ be a generalized Cohen-Macaulay Noetherian local ring. Both questions, the first question was raised by M. Rogers \cite {R} and the second one is due to S. Goto and H. Sakurai \cite {GS1}, ask whether for every parameter ideal $\q$ contained in a high enough power of the maximal ideal $\m $ the following statements are true: (1) The index of reducibility $N_R(\q;R)$ is independent of the choice of $\q$; and (2) $I^2=\q I$, where $I=\q:_R\m$.
The Jordan type of an Artinian algebra is the Jordan block partition associated to multiplication by a generic element of the maximal ideal. We study the Jordan type for Artinian Gorenstein (AG) local algebras A, and the interaction of Jordan type with the symmetric decomposition of the Hilbert function H(A). We give examples of Gorenstein sequences H for which the family Gor(H) of AG algebras having Hilbert function H has several irreducible components, each corresponding to a symmetric decomposition of H. The component structure results from the intersection of two opposing filtrations of th…
The index of a graded ideal measures the number of linear steps in the graded minimal free resolution of the ideal. In this paper we study the index of powers and squarefree powers of edge ideals. Our results indicate that the index as a function of the power of an edge ideal $I$ is strictly increasing if $I$ has linear relations. Examples show that this need not to be the case for monomial ideals generated in degree greater than two.
Let $\mathbb{K}$ be a field and $I$ be a square-free monomial ideal in the polynomial ring $\mathbb{K}[x_1, \ldots, x_n]$. The Green-Lazarsfeld index, $\mathrm{index}(I)$, counts the number of steps to reach to a syzygy minimally generated by a nonlinear form in a graded minimal free resolution of $I$. In this paper, we study this invariant for $I$ and its powers from a combinatorial point of view. We characterize all square-free monomial ideals $I$ generated in degree $3$ such that $\mathrm{index}(I)>1$. Utilizing this result, we also characterize all square-free monomial ideals generated in …
A graded ideal $I$ in $\mathbb{K}[x_1,\ldots,x_n]$, where $\mathbb{K}$ is a field, is said to have almost maximal finite index if its minimal free resolution is linear up to the homological degree $\mathrm{pd}(I)-2$, while it is not linear at the homological degree $\mathrm{pd}(I)-1$, where $\mathrm{pd}(I)$ denotes the projective dimension of $I$. In this paper we classify the graphs whose edge ideals have this property. This in particular shows that for edge ideals the property of having almost maximal finite index does not depend on the characteristic of $\mathbb{K}$. We also compute the non…
We introduce the concept of strong persistence and show that it implies persistence regarding the associated prime ideals of the powers of an ideal. We also show that strong persistence is equivalent to a condition on power of ideals studied by Ratliff. Furthermore, we give an upper bound for the depth of powers of monomial ideals in terms of their linear relation graph, and apply this to show that the index of depth stability and the index of stability for the associated prime ideals of polymatroidal ideals is bounded by their analytic spread.
Let R be a Cohen-Macaulay local ring with a canonical module. We consider Auslander's (higher) delta invariants of powers of certain ideals of R. Firstly, we shall provide some conditions for an ideal to be a parameter ideal in terms of delta invarints. As an application of this result, we give upper bounds for orders of Ulrich ideals of R when R has Gorenstein punctured spectrum. Secondly, we extend the definition of indices to the ideal case, and generalize the result of Avramov-Buchweitz-Iyengar-Miller on the relationship between the index and regularity.
Let R = K[x1,...,xr] be a polynomial ring over a field K. Let G be a graph with vertex set {1,...,r} and let J be the cover ideal of G. We give a sharp bound for the stability index of symbolic depth function sdstab(J). In the case G is bipartite, it yields a sharp bound for the stability index of depth function dstab(J) and this bound is exact if G is a forest.
A ring $R$ is called a PIR, if each ideal of $R$ is a principal ideal. An local ring $(R,\mf{m)}$ is a artinian PIR if and only if its maximal ideal $\mf{m}$ is principal and has finite nilpotency index. In this paper, we determine the structure of a finite local PIR.
We prove the rationality of the Poincaré series of multiplier ideals in any dimension and thus extending the main results for surfaces of Galindo and Monserrat and Alberich-Carramiñana et al. Our results also hold for Poincaré series of test ideals. In order to do so, we introduce a theory of Hilbert functions indexed over $\mathbb{R}$ which gives an unified treatment of both cases.
For a finite index sublattice $L$ of the root lattice $A_{n}$, we construct a deterministic algorithm to deform the lattice ideal $I_L$ to a nearby generic lattice ideal, answering a question posed by Miller and Sturmfels. Our algorithm is based on recent results of Perkinson, Perlman and Wilmes concerning commutative algebraic aspects of chip firing on directed graphs. As an application of our deformation algorithm, we construct a cellular resolution of the lattice ideal $I_L$ by degenerating the Scarf complex of its deformation.
A direct proof is presented of a form of Alvise Trevisan's result, that every monomial ideal ring is represented by the cohomology of topological space. Certain of these rings are shown to be realized by polyhedral products indexed by simplicial complexes.
We describe all the trees with the property that the corresponding edge ideal of their line graph has a linear resolution. As a consequence, we give a complete characterization of those trees $T$ for which the line graph $L(T)$ is co-chordal. We also compute the second Betti number of the edge ideal of $L(T)$ and we determine the number of cycles in $\overline{L(T)}$. As a consequence, we obtain also the first Zagreb index of a graph. For edge ideals of line graphs of caterpillar graphs we determine the Krull dimension, the Castelnuovo-Mumford regularity, and the projective dimension under som…
For positive integers m >= n >= p, we compute the GL_m x GL_n-equivariant description of the local cohomology modules of the polynomial ring S of functions on the space of m x n matrices, with support in the ideal of p x p minors. Our techniques allow us to explicitly compute all the modules Ext_S(S/I_x,S), for x a partition and I_x the ideal generated by the irreducible sub-representation of S indexed by x. In particular we determine the regularity of the ideals I_x, and we deduce that the only ones admitting a linear free resolution are the powers of the ideal of maximal minors of the generi…
