In this paper we study local cohomology of finitely generated bigraded modules over a standard bigraded ring with respect to the irrelevant bigraded ideals and establish a duality theorem. Several applications are considered.
In this paper we study the local cohomology of all finitely generated bigraded modules over a standard bigraded polynomial ring which have only one nonvanishing local cohomology with respect to one of the irrelevant bigraded ideals.
Formulas are obtained in terms of complete reductions for the bigraded components of local cohomology modules of bigraded Rees algebras of 0-dimensional ideals in 2-dimensional Cohen-Macaulay local rings. As a consequence, cohomological expressions for the coefficients of the Bhattacharya polynomial of such ideals are obtained.
Let $K$ be a field and $S=K[x_1,\ldots,x_m, y_1,\ldots,y_n]$ be the standard bigraded polynomial ring over $K$. In this paper, we explicitly describe the structure of finitely generated bigraded "sequentially Cohen--Macaulay" $S$-modules with respect to $Q=(y_1,\ldots,y_n)$. Next, we give a characterization of sequentially Cohen--Macaulay modules with respect to $Q$ in terms of local cohomology modules. Cohen--Macaulay modules that are sequentially Cohen--Macaulay with respect to $Q$ are considered.
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 the higher iterated Hilbert coefficients of the graded $S$-modules $\Tor_i^S(M,I^k)$ and $\Ext^i_S(M,I^k)$ are polynomial functions in $k$, and an upper bound for their degree is given. These results are derived by considering suitable bigraded modules.
We describe the positive cone generated by bigraded Betti diagrams of artinian modules of codimension two, whose resolutions become pure of a given type when taking total degrees. If the differences of these total degrees, p and q, are relatively prime, the extremal rays are parametrised by order ideals in N^2 contained in the region px + qy < (p-1)(q-1). We also consider some examples concerning artinian modules of codimension three.
Let $S=K[x_1, \dots, x_m, y_1, \dots, y_n]$ be the standard bigraded polynomial ring over a field $K$. Let $M$ be a finitely generated bigraded $S$-module and $Q=(y_1, \dots, y_n)$. We say $M$ has maximal depth with respect to $Q$ if there is an associated prime $\pp$ of $M$ such that $\grade(Q, M)=\cd(Q, S/\pp)$. In this paper, we study finitely generated bigraded modules with maximal depth with respect to $Q$. It is shown that sequentially Cohen--Macaulay modules with respect to $Q$ have maximal depth with respect to $Q$. In fact, maximal depth property generalizes the concept of sequentiall…
In this paper we study the finitely generated bigraded modules over a standard bigraded polynomial ring which are relative Cohen-Macaulay or relative unmixed with respect to one of the irrelevant bigraded ideals. A generalization of Reisner's criterion for Cohen-Macaulay simplicial complexes is considered.
Let $R$ be a Cohen-Macaulay local ring, and let $I\subset R$ be an ideal with minimal reduction $J$. In this paper we attach to the pair $I$, $J$ a non-standard bigraded module $Σ^{I,J}$. The study of the bigraded Hilbert function of $\SIJ$ allows us to prove a improved version of Wang's conjecture and a weak version of Sally's conjecture, both on the depth of the associated graded ring $gr_I(R)$. The module $\SIJ$ can be considered as a refinement of the Sally's module previously introduced by W. Vasconcelos.
Asymptotic behaviour of bigraded components of local cohomology modules
Dinabandhu Andrews College(Dinabandhu Andrews学院);Indian Institute of Technology Bombay(印度理工学院孟买分校);Indian Institute of Technology Gandhinagar(印度理工学院甘地纳加尔分校);Visvesvaraya National Institute of Technology(维斯瓦舍拉亚国立技术学院)
Let $M$ be a finitely generated bigraded module over the standard bigraded polynomial ring $S=K[x_1,...,x_m, y_1,...,y_n]$, and let $Q=(y_1,...,y_n)$. The local cohomology modules $H^k_Q(M)$ are naturally bigraded, and the components $H^k_Q(M)_j=\Dirsum_iH^k_Q(M)_{(i,j)}$ are finitely generated graded $K[x_1,...,x_m]$-modules. In this paper we study the regularity of $H^k_Q(M)_j$, and show in several cases that $\reg H^k_Q(M)_j$ is linearly bounded as a function of $j$.
Let $K$ be a field, $S=K[x_1,\ldots,x_m, y_1,\ldots,y_n]$ be a standard bigraded polynomial ring and $M$ a finitely generated bigraded $S$-module. In this paper we study sequentially Cohen--Macaulayness of $M$ with respect to $Q=(y_1,\ldots,y_n)$. We characterize the sequentially Cohen--Macaulayness of $L\tensor_KN$ with respect to $Q$ as an $S$-module when $L$ and $N$ are non-zero finitely generated graded modules over $K[x_1, \dots, x_m]$ and $K[y_1, \dots, y_n]$, respectively. All hypersurface rings that are sequentially Cohen--Macaulay with respect to $Q$ are classified.
The Grothendieck-Serre formula for the difference between the Hilbert function and Hilbert polynomial of a graded algebra is generalized for bigraded standard algebras. This is used to get a similar formula for the difference between the Bhattacharya function and Bhattacharya polynomial of two m-primary ideals I and J in a local ring (A,m) in terms of local cohomology modules of Rees algebras of I and J. The cohomology of a variation of the Kirby-Mehran complex for bigraded Rees algebras is studied which is used to characterize the Cohen-Macaulay property of bigraded Rees algebra of I and J fo…
The aim of this work is to study the ring-theoretic properties of the diagonals of a Rees algebra, which from a geometric point of view are the homogeneous coordinate rings of embeddings of blow-ups of projective varieties along a subvariety. In Chapter 1 we extend the definitions and results about the biprojective scheme and the Hilbert polynomial of finitely generated bigraded modules defined over standard bigraded k-algebras to finitely generated bigraded S-modules, for S=k[X_1,..., X_n,Y_1,...,Y_r] the polynomial ring bigraded by deg X_i=(1,0), deg Y_j=(d_j,1), d_j \geq 0. We also relate t…
We prove a duality theorem for graded algebras over a field that implies several known duality results : graded local duality, versions of Serre duality for local cohomology and of Suzuki duality for generalized local cohomology, and Herzog-Rahimi bigraded duality.
We define the concept of regularity for bigraded modules and bigraded polynomial ring. In this setting we prove analogs of some of the classical results on $m$-regularity for graded modules over polynomial algebras.
Motivated by applications to topological data analysis, we give an efficient algorithm for computing a (minimal) presentation of a bigraded $K[x,y]$-module $M$, where $K$ is a field. The algorithm takes as input a short chain complex of free modules $X\xrightarrow{f} Y \xrightarrow{g} Z$ such that $M\cong \ker{g}/\mathrm{im}{f}$. It runs in time $O(|X|^3+|Y|^3+|Z|^3)$ and requires $O(|X|^2+|Y|^2+|Z|^2)$ memory, where $|\cdot |$ denotes the rank. Given the presentation computed by our algorithm, the bigraded Betti numbers of $M$ are readily computed. Our approach is based on a simple matrix red…
Let $M, N$ be finite modules over a Noetherian local ring $R$, and let $G$ be the associated graded ring of $R$. We show that the bigraded Hilbert series of $gr(Tor^R(M,N))$ is obtained from that of $Tor^G(gr(M),gr(N))$ by negative consecutive cancellations, thus extending a theorem of Rossi and Sharifan.
We use a result of Hellus about generalized local duality to describe some generalized Matlis duals for certain quasi-\F-modules. Furthermore, we apply this description to obtain examples for non-artinian local cohomology modules by the theory of \F-modules. In particular, we get a new view on Hartshorne's counterexample for a conjecture by Grothendieck about the finiteness of $Hom_R(R/I,H^i_I(R))$ for a noetherian local Ring $R$ and an ideal $I \subseteq R$.
Let $R$ be a commutative ring. We show that any complete duality pair gives rise to a theory of relative homological algebra, analogous to Gorenstein homological algebra. Indeed Gorenstein homological algebra over a commutative Noetherian ring of finite Krull dimension can be recovered from the duality pair $(\mathcal{F},\mathcal{I})$ where $\mathcal{F}$ is the class of flat $R$-modules and $\mathcal{I}$ is the class of injective $R$-modules. For a general $R$, the AC-Gorenstein homological algebra of Bravo-Gillespie-Hovey is the one coming from the duality pair $(\mathcal{L},\mathcal{A})$ whe…
Let $(R,\fm)$ be a Cohen-Macaulay local ring. If $R$ has a canonical module, then there are some interesting results about duality for this situation. In this paper, we show that one can indeed obtain similar these results in the case $R$ has not a canonical module. Also, we give some characterizations of complete big Cohen-Macaulay modules of finite injective dimension and by using it some characterizations of Gorenstein modules over the $\fm$-adic completion of $R$ are obtained.
We apply Miller's theory on multigraded modules over a polynomial ring to the study of the Stanley depth of these modules. Several tools for Stanley's conjecture are developed, and a few partial answers are given. For example, we show that taking the Alexander duality twice (but with different "centers") is useful for this subject. Generalizing a result of Apel, we prove that Stanley's conjecture holds for the quotient by a cogeneric monomial ideal.
We present various approaches to J. Herzog's theory of generalized local cohomology and explore its main aspects, e.g., (non-)vanishing results as well as a general local duality theorem which extends, to a much broader class of rings, previous results by Herzog-Zamani and Suzuki. As an application, we establish a prescribed upper bound for the projective dimension of a module satisfying suitable cohomological conditions, and we derive some freeness criteria and questions of Auslander-Reiten type. Along the way, we prove a new characterization of Cohen-Macaulay modules which truly relies on ge…
Let $(R,\fm)$ be a relative Cohen-Macaulay local ring with respect to an ideal $\fa$ of $R$ and set $c:=\h\fa$. In this paper, we investigate some properties of the Matlis dual $\H_{\fa}^c(R)^{\vee}$ of the $R$-module $\H_{\fa}^c(R)$ and we show that such modules treat like canonical modules over Cohen-Macaulay local rings. Also, we provide some duality and equivalence results with respect to the module $\H_{\fa}^c(R)^{\vee}$ and so these results lead to achieve generalizations of some known results, such as the Local Duality Theorem, which have been provided over a Cohen-Macaulay local ring w…
Let $(R,\fm)$ be a local ring and $(-)^{\vee}$ denote the Matlis duality functor. We investigate the relationship between Foxby equivalence and local duality through generalized local cohomology modules. Assume that $R$ possesses a normalized dualizing complex $D$ and $X$ and $Y$ are two homologically bounded complexes of $R$-modules with finitely generated homology modules. We present several duality results for $\fm$-section complex ${\bf R}Γ_{\fm}({\bf R}\Hom_R(X,Y))$. In particular, if G-dimension of $X$ and injective dimension of $Y$ are finite, then we show that $${\bf R}Γ_{\fm}({\bf R}\…
This paper extends Auslander-Reiten duality in two directions. As an application, we obtain various criteria for freeness of modules over local rings in terms of vanishing of Ext modules, which recover a lot of known results on the Auslander-Reiten conjecture.
We introduce and study "quasidualizing" modules. An artinian R-module T is quasidualizing if the homothety map \hat R\rightarrow Hom(T,T) is an isomorphism and Ext_R^i(T,T)=0 for each integer i>0. Quasidualizing modules are associated to semidualizing modules via Matlis duality. We investigate the associations via Matlis duality between subclasses of the Auslander class and Bass class and subclasses of derived T-reflexive modules.
Recently, I defined a squarefree module over a polynomial ring $S = k[x_1, >..., x_n]$ generalizing the Stanley-Reisner ring $k[Δ] = S/I_Δ$ of a simplicial complex $Δ\subset 2^{1, ..., n}$. In this paper, from a squarefree module $M$, we construct the $k$-sheaf $M^+$ on an $(n-1)$ simplex $B$ which is the geometric realization of $2^{1, ..., n}$. For example, $k[Δ]^+$ is (the direct image to $B$ of) the constant sheaf on the geometric realization $|Δ| \subset B$. We have $H^i(B, M^+) = [H^{i+1}_m(M)]_0$ for all $i > 0$. The Poincare-Verdier duality for sheaves $M^+$ on $B$ corresponds to the l…
Exploiting the interior-closure duality developed by Epstein and R.G., we show that for the class of Matlis dualizable modules $\mathcal{M}$ over a Noetherian local ring, when cl is a Nakayama closure and i its dual interior, there is a duality between cl-reductions and i-expansions that leads to a duality between the cl-core of modules in $\mathcal{M}$ and the i-hull of modules in $\mathcal{M}^\vee$. We further show that many algebra and module closures and interiors are Nakayama and describe a method to compute the interior of ideals using closures and colons. We use our methods to give a un…
In this paper we study how prime filtrations and squarefree Stanley decompositions of squarefree modules over the polynomial ring and the exterior algebra behave with respect to Alexander duality.
Let $R$ be a general ring. Duality pairs of $R$-modules were introduced by Holm-Jorgensen. Most examples satisfy further properties making them what we call semi-complete duality pairs in this paper. We attach a relative theory of Gorenstein homological algebra to any given semi-complete duality pair $\mathfrak{D} = (\mathcal{L},\mathcal{A})$. This generalizes the homological theory of the AC-Gorenstein modules defined by Bravo-Gillespie-Hovey, and we apply this to other semi-complete duality pairs. The main application is that the Ding injective modules are the right side of a complete (perfe…
We introduce a new definition of a generalized logarithmic module of multiarrangements by uniting those of the logarithmic derivation and the differential modules. This module is realized as a logarithmic derivation module of an arrangement of hyperplanes with a multiplicity consisting of both positive and negative integers. We consider several properties of this module including Saito's criterion and reflexivity. As applications, we prove a shift isomorphism and duality of some Coxeter multiarrangements by using the primitive derivation.
The relationship between ${\cal D}$-modules and free divisors has been studied in a general setting by L. Narváez and F.J. Calderón. Using the ideas of these works we prove in this article a duality formula between two ${\cal D}$-modules associated to a class of free divisors on ${\bf C}^n$ and we give some applications
We introduce a local homology theory for linearly compact modules which is in some sense dual to the local cohomology theory of A. Grothendieck. Some basic properties such as the noetherianness, the vanishing and non-vanishing of local homology modules of linearly compact modules are proved. A duality theory between local homology and local cohomology modules of linearly compact modules is developed by using Matlis duality and Macdonald duality. As consequences of the duality theorem we obtain some generalizations of well-known results in the theory of local cohomology for semi-discrete linear…
The aim of this paper is to study integer rounding properties of various systems of linear inequalities to gain insight about the algebraic properties of Rees algebras of monomial ideals and monomial subrings. We study the normality and Gorenstein property--as well as the canonical module and the a-invariant--of Rees algebras and subrings arising from systems with the integer rounding property. We relate the algebraic properties of Rees algebras and monomial subrings with integer rounding properties and present a duality theorem.
Similar to the modular vector fields in Poisson geometry, modular derivations are defined for smooth Poisson algebras with trivial canonical bundle. By twisting Poisson module with the modular derivation, the Poisson cochain complex with values in any Poisson module is proved to be isomorphic to the Poisson chain complex with values in the corresponding twisted Poisson module. Then a version of twisted Poincaré duality is proved between the Poisson homologies and cohomologies. Furthermore, a notion of pseudo-unimodular Poisson structure is defined. It is proved that the Poisson cohomology as a…
We first generalize classical Auslander-Reiten duality for isolated singularities to cover singularities with a one-dimensional singular locus. We then define the notion of CT modules for non-isolated singularities and we show that these are intimately related to noncommutative crepant resolutions (NCCRs). When R has isolated singularities, CT modules recover the classical notion of cluster tilting modules but in general the two concepts differ. Then, wanting to generalize the notion of NCCRs to cover partial resolutions of Spec R, in the main body of this paper we introduce a theory of modify…
For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a consequence, we show that pointwise Matlis duality gives a bijective correspondence between the isoclasses of indecomposable injective left modules and the isoclasses of indecomposable flat cotorsion right modules. This correspondence is an explicit realization of Herzog's homeomorphism induced from elementary duality of Ziegler spectra.