Let R be a polynomial ring over k(u), where k is a field k and u is a finite family or inderterminates. The paper introduces the specialization of an arbitrary finitely generated R-module by the substitution of u to elements of k. This definition does not depend on the presentation of the given module and preserves basic properties and operations on modules (e.g. annihilator, dimension, Ext and Tor) for almost all specializations.
This paper is a continuation of an earlier paper of the authors on the probem of specializations of modules. The aim here is to define specialisations of finitely generated modules over local rings of the form k(u)[X]_P, where u is a family of indeterminates over a field k. The definition depends on the associated primes of the specialisation of the prime ideal P by the substitution of u to elements of k. As in the non-local case, the introduced specializations preserve basic properties and operations on modules.In particular, annihilators of local cohomology modules commute with specializatio…
The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional assumptions, such as when the latter is reduced or a domain, the outcome turns out to be stronger. One important application of these considerations is to the specialization of rational maps and of symmetric and Rees powers of a module.
Let R be a commutative noetherian ring. In this paper, we study specialization-closed subsets of Spec R. More precisely, we first characterize the specialization-closed subsets in terms of various closure properties of subcategories of modules. Then, for each nonnegative integer n we introduce the notion of n-wide subcategories of R-modules to consider the question asking when a given specialization-closed subset has cohomological dimension at most n.
We prove that the integral closedness of any ideal of height at least two is compatible with specialization by a generic element. This opens the possibility for proofs using induction on the height of an ideal. Also, with additional assumptions, we show that an element is integral over a module if it is integral modulo a generic element of the module. This turns questions about integral closures of modules into problems about integral closures of ideals, by means of a construction known as Bourbaki ideal.
Let R be a commutative Noetherian domain, and let M and N be finitely generated R-modules. We give new criteria for determining when M tensor N has torsion. We also give constructive formulas for producing a module in the isomorphism class of the torsion submodule of M tensor N. In some cases we determine bounds on the length and minimal number of generators of this module. We focus on the case where R is a numerical semigroup ring with the goal of making progress on the Huneke-Wiegand Conjecture.
Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or $\dim(R)\leq 2$, or $R$ is semilocal with $\cd(\mathcal{Z},R) \leq 1$, we show that the category of $\mathcal{Z}$-cofinite $R$-modules is abelian. Also, in each of these cases, we prove that the local cohomology module $H^{i}_{\mathcal{Z}}(X)$ is $\mathcal{Z}$-cofinite for every homologically left-bounded $R$-complex $X$ whose homology modules are finitely gene…
The aim of this article is to establish the specialization method on characteristic ideals for finitely generated torsion modules over a complete local normal domain R that is module-finite over $O[[x_1, ..., x_d]]$, where $O$ is the ring of integers of a finite extension of the field of p-adic integers $Q_p$. The specialization method is a technique that recovers the information on the characteristic ideal $char_R(M)$ from $char_{R/I}(M/IM)$, where I varies in a certain family of nonzero principal ideals of R. As applications, we prove Euler system bound over Cohen-Macaulay normal domains by …
Let (R,m,k) be a local ring. We establish a totally reflexive analogue of the New Intersection Theorem, provided for every totally reflexive R-module M, there is a big Cohen-Macaulay R-module B_M such that the socle of B_M\otimes_RM is zero. When R is a quasi-specialization of a G-regular local ring or when M has complete intersection dimension zero, we show the existence of such a big Cohen-Macaulay R-module. It is conjectured that if R admits a non-zero Cohen-Macaulay module of finite Gorenstein dimension, then it is Cohen-Macaulay. We prove this conjecture if either R is a quasi-specializat…
In this work, we define the face module for a realizable matroid over Z. Its Hilbert series is, indeed, the expected specialization of the Grothendieck - Tutte polynomial defined by Fink and Moci. This work will appear in 'Contributions to Discrete Mathematics'
In this article we investigate the fibers of relative $D$-modules. In general we prove that there exists an open, Zariski dense subset of the vanishing set of the annihilator over which the fibers of a cyclic relative $D$-module are non-zero. Next we restrict our attention to relatively holonomic $D$-modules. For this class we prove that the fiber over every point in the vanishing set of the annihilator is non-zero. As a consequence we obtain new proofs of a conjecture of Budur which was recently proven by Budur, van der Veer, Wu and Zhou, as well as a new proof of a theorem of Maisonobe. More…
Let $(R,m)$ be a local Noetherian ring, let $I\subset R$ be any ideal and let $M$ be a finitely generated $R$-module. In 1990 Craig Huneke conjectured that the local cohomology modules $H^i_I(M)$ have finitely many associated primes for all $i$. In this paper I settle this conjecture by constructing a local cohomology module of a local $k$-algebra with an infinite set of associated primes, and I do this for any field $k$.
Let S be a toric algebra over a field K of characteristic 0 and let I be a monomial ideal of S. We show that the local cohomology modules H^i_I(S) are of finite length over the ring of differential operators D(S;K), generalizing the classical case of a polynomial algebra S. As an application, we compute the characteristic cycles of some local cohomology modules.
Let $d \in \N$ and let $M$ be a finitely generated graded module of dimension $\leq d$ over a Noetherian homogeneous ring $R$ with local Artinian base ring $R_0$. Let $\beg(M)$, $\gendeg(M)$ and $\reg(M)$ respectively denote the beginning, the generating degree and the Castelnuovo-Mumford regularity of $M$. If $i \in \N_0$ and $n \in Z$, let $d^i_M(n)$ denote the $R_0$-length of the $n$-th graded component of the $i$-th $R_+$-transform module $D^i_{R_+}(M)$ of $M$ and let $K^i(M)$ denote the $i$-th deficiency module of $M$. Our main result says, that $\reg(K^i(M))$ is bounded in terms of $\beg…
Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module.
Let R=k[x_1,...,x_d] be the polynomial ring in d independent variables, where k is a field of characteristic p>0. Let D be the ring of k-linear differential operators of R and let f be a polynomial in R. In this work we prove that the localization R[1/f] obtained from R by inverting f is generated as a D-module by 1/f. This is an amazing fact considering that the corresponding characteristic zero statement is very false.
Let $K$ be a field of characteristic zero and let $R = K[X_1,\ldots,X_n]$. Let $I$ be an ideal in $R$ and let $M = H^i_I(R)$ be the $i^{th}$-local cohomology module of $R$ with respect to $I$. Let $c = \ injdim \ M$. We prove that if $P$ is a prime ideal in $R$ with Bass number $μ_c(P,M) > 0$ then $P$ is a maximal ideal in $R$.
Let $R$ be a regular domain containing a field $K$ of characteristic zero and let $D$ be the ring of $K$-linear differential operators on $R$. Let $E$ be an injective left $D$-module. We ask the question, when is $E$ injective as a $R$-module? We show that this is indeed the case when $R = K[X_1,...,X_n]$ or $R = K[[X_1,...,X_n]]$ or $R = \mathbb{C}\{z_1,...,z_n\}$. We also give an application of our result to local cohomology.
Let A be an affine algebra over the field of real numbers of dimension d. Let f \in A be an element not belonging to any real maximal ideal of A. Let P be a projective A-module of rank \geq d-1. Let (a,p) \in A_f \oplus P_f be a unimodular element. Then the projective A_f module Q=A_f \oplus P_f/(a,p)A_f is extended from A.
Let $\mathcal{Z}$ be a specialization closed subset of $\Spec R$ and $X$ a homologically left-bounded complex with finitely generated homologies. We establish Faltings' Local-global Principle and Annihilator Theorems for the local cohomology modules {$\H_{\mathcal{Z}^i(X).$ }} Our versions contain variations of results already known on these theorems.
Let $Q$ be a Noetherian ring with finite Krull dimension and let $\mathbf{f}= f_1,... f_c$ be a regular sequence in $Q$. Set $A = Q/(\mathbf{f})$. Let $I$ be an ideal in $A$, and let $M$ be a finitely generated $A$-module with $\projdim_Q M$ finite. Set $\R = \bigoplus_{n\geq 0}I^n$, the Rees-Algebra of $I$. Let $N = \bigoplus_{j \geq 0}N_j$ be a finitely generated graded $\R$-module. We show that \[\bigoplus_{j\geq 0}\bigoplus_{i\geq 0} \Ext^{i}_{A}(M,N_j) \] is a finitely generated bi-graded module over $\Sc = \R[t_1,...,t_c]$. We give two applications of this result to local complete inters…
Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$ and let $n$ be a non-negative integer. In this paper, we study $\mathcal{S}_{n}(\mathfrak{a})$, a certain class of $A$-modules and we find some sufficient conditions so that a module belongs to $\mathcal{S}_{n}(\mathfrak{a})$. Moreover, we study the cofiniteness of local cohomology modules when $\dim A/\frak a\geq 3$.
Let k be a field, let R be a ring of polynomials in a finite number of variables over k, let D be the ring of k-linear differential operators of R and let f be a non-zero element of R. It is well-known that R_f, with its natural D-module structure, has finite length in the category of D-modules. We give a characteristic-free proof of this fact. To the best of our knowledge this is the first characteristic-free proof.
Let $K$ be an algebraically closed field of characteristic zero and let $R = K[X_1,\ldots,X_n]$. Let $I$ be an ideal in $R$. Let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$. By a result of Lyubeznik, the local cohomology modules $H^i_I(R)$ are holonomic $A_n(K)$-modules for each $i \geq 0$. In this paper we compute the Euler characteristic of De-Rahm cohomology of $H^{\htt P}_P(R)$ for certain classes of prime ideals $P$ in $R$.
Let $A = K[[X_1,\cdots,X_n]]$ and let $\mathfrak{m} = (X_1,\cdots,X_n)$. Let $M$ be a Cohen-Macaulay $A$-module of codimension $p$. In this paper we give a necessary and sufficient condition for the associated graded module $G_{\mathfrak{m}}(M)$ to have a pure resolution over the polynomial ring $G_{\mathfrak{m}}(A) \cong K[X_1,\cdots,X_n]$.
The aim of this paper is to obtain a uniform bound for a certain class of submodules from the following theorem: Let $(R,\frak m)$ be a local ring, let $M$ be a finite $R$--module of dimension $d\ge 1$ and let $\frak q$ be an ideal of $R$ generated by a system of parameters on $M$. Let $N$ be a submodule of $M$ with $\depth M/N\ge d-1$. Then $\ell(N/\frak qN)\le\ell(M/\frak qM)$.
Let A be a Cohen-Macaulay local ring of dimension d and I an ideal in A. Let M be a finitely generated maximal Cohen-Macaulay A-module. Let I be a locally complete intersection ideal of analytic deviation one and reduction number at most one. We prove that the polynomial given by $length(Tor^{A}_{1}(M,A/I^{n+1}))$ either has degree d-1 or $F_I(M) $ is a free$F(I)-$$module.
We present a difference analogue of a result given by Hrushovski on differential Galois groups under specialization. Let $k$ be an algebraically closed field of characteristic zero and $\mathbb{X}$ an irreducible affine algebraic variety over $k$. Consider the linear difference equation $$ σ(Y)=AY $$ where $A\in \mathrm{GL}_n(k(\mathbb{X})(x))$ and $σ$ is the shift operator $σ(x)=x+1$. Assume that the Galois group $G$ of the above equation over $\overline{k(\mathbb{X})}(x)$ is defined over $k(\mathbb{X})$ i.e. the vanishing ideal of $G$ is generated by a finite set $S\subset k(\mathbb{X})[X,1/…
Let $A$ be a regular ring containing a field $K$ of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $°A = 0$ and $°X_i = 1$ for all $i$. Let $G$ be a finite subgroup of $GL_m(A)$. Let $G$ act linearly on $R$ fixing $A$. Let $S = R^G$. In this paper we present a comprehensive study of graded components of local cohomology modules $H^i_I(S)$ where $I$ is an \emph{arbitrary} homogeneous ideal in $S$. We prove stronger results when $G \subseteq GL_m(K)$. Some of our results are new even in the case when $A$ is a field.
Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, by using the semidualizing modules, we define and study new classes of modules and homological dimensions and investigate the relations between them. In parallel, we obtain some necessary and sufficient condition for $ C $ to be dualizing.
Let $\fa$ be an ideal of a Noetherian local ring $R$ and let $C$ be a semidualizing $R$-module. For an $R$-module $X$, we denote any of the quantities $\fd_R X$, $\Gfd_R X$ and $\GCfd_RX$ by $\T(X)$. Let $M$ be an $R$-module such that $\H_{\fa}^i(M)=0$ for all $i\neq n$. It is proved that if $\T(X)<\infty$, then $\T(\H_{\fa}^n(M))\leq\T(M)+n$ and the equality holds whenever $M$ is finitely generated. With the aid of these results, among other things, we characterize Cohen-Macaulay modules, dualizing modules and Gorenstein rings.
Let R be an affine algebra of dimension n \geq 3 over an algebraically closed field k. Suppose char k =0 or char k =p \geq n. Let g,f_1,...,f_r be a R-regular sequence and A=R[f_1/g,...,f_r/g]. Let P be a projective A-module of rank n-1 which is extended from R. Let (a,p) \in (A \op P) be a unimodular element and Q=A\op P/(a,p)A. Then, Q is extended from R. A similar result for affine algebras over reals are also proved.
Let $(A,\mathfrak{m})$ be a complete intersection ring of dimension $d$ and let $I$ be an $\mathfrak{m}$-primary ideal. Let $M$ be a maximal \CM \ $A$-module. For $i = 0,1,\cdots,d$, let $e_i^I(M)$ denote the $i^{th}$ Hilbert -coefficient of $M$ with respect to $I$. We prove that for $i = 0, 1, 2$, the function $j \mapsto e_i^I(Syz_j^A(M))$ is of quasi-polynomial type with period $2$. Let $G_I(M)$ be the associated graded module of $M$ with respect to $I$. If $G_I(A)$ is Cohen-Macaulay and $\dim A \leq 2$ we also prove that the functions $j \mapsto depth \ G_I(Syz^A_{2j+i}(M))$ are eventually …
Let $K$ be a field of characteristic zero, $R = K[X_1,...,X_n]$ and let $I$ be an ideal in $R$. Let $A_n(K) = K<X_1,...,X_n, \partial_1,..., \partial_n>$ be the $n^{th}$ Weyl algebra over $K$. By a result due to Lyubeznik the local cohomology modules $H^i_I(R)$ are holonomic $A_n(K)$-modules for each $i \geq 0$. In this article we compute the Koszul homology modules $H_*(\partial_1,...,\partial_n ; H^*_I(R))$ for certain classes of ideals.
Let $(A,\m)$ be a strict complete intersection of positive dimension and let $M$ be a maximal \CM \ $A$-module with bounded betti-numbers. We prove that the Hilbert function of $M$ is non-decreasing. We also prove an analogous statement for complete intersections of codimension two.
Let R be a commutative ring with identity, S be a multiplicatively closed subset of R, and let M be an R-module. The aim of this paper is to introduce the notion of S-secondary submodules of M as a generalization of secondary submodules of M and investigate some properties of this class of submodules.
Let $(A,\mathfrak{m})$ be a local Gorenstein local ring and let $M$ be an $A$ module of finite length and finite projective dimension. We prove that the Lowey length of $M$ is greater than or equal to order of $A$. This generalizes a result of Avramov, Buchweitz, Iyengar and Miller
Let R be a Cohen-Macaulay local ring. Denote by mod R the category of finitely generated R-modules. In this paper, we consider the classification problem of resolving subcategories of mod R in terms of specialization-closed subsets of Spec R. We give a classification of the resolving subcategories closed under tensor products and transposes. Under restrictive hypotheses, we also give better classification results.
Let $H$ denote a finite index subgroup of the modular group $Γ$ and let $ρ$ denote a finite-dimensional complex representation of $H.$ Let $M(ρ)$ denote the collection of holomorphic vector-valued modular forms for $ρ$ and let $M(H)$ denote the collection of modular forms on $H$. Then $M(ρ)$ is a $\textbf{Z}$-graded $M(H)$-module. It has been proven that $M(ρ)$ may not be projective as a $M(H)$-module. We prove that $M(ρ)$ is Cohen-Macaulay as a $M(H)$-module. We also explain how to apply this result to prove that if $M(H)$ is a polynomial ring then $M(ρ)$ is a free $M(H)$-module of rank $\tex…
We classify all tilting and cotilting classes over commutative noetherian rings in terms of descending sequences of specialization closed subsets of the Zariski spectrum. Consequently, all resolving subcategories of finitely generated modules of bounded projective dimension are classified. We also relate our results to Hochster's conjecture on the existence of finitely generated maximal Cohen-Macaulay modules.
