Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ let $\m=(x_1,..., x_n)$ be the maximal ideal generated by the variables, let $^*E$ be the naturally graded injective hull of $R/\m$ and let $^*E(n)$ be $^*E$ degree shifted downward by $n.$ We introduce the notion of graded $F$-modules (as a refinement of the notion of $F$-modules) and show that if a graded $F$-module $\M$ has zero-dimensional support, then $\M,$ as a graded $R$-module, is isomorphic to a direct sum of a (possibly infinite) number of copies of $^*E(n).$
As a consequence, we show that if the functors $T_1,...,T_s$ and $T$ are defined by $T_{j}=H^{i_j}_{I_j}(-)$ and $T=T_1\circ...\circ T_s,$ where $I_1,..., I_s$ are homogeneous ideals of $R,$ then as a naturally graded $R$-module, the local cohomology module $H^{i_0}_{\m}(T(R))$ is isomorphic to $^*E(n)^c,$ where $c$ is a finite number. If $\text{char}k=0,$ this question is open even for $s=1.$
Let $R$ be a polynomial ring over a field. We describe the extremal rays and the facets of the cone of local cohomology tables of finitely generated graded $R$-modules of dimension at most two. Moreover, we show that any point inside the cone can be written as a finite linear combination, with positive rational coefficients, of points belonging to the extremal rays of the cone. We also provide algorithms to obtain decompositions in terms of extremal points and facets.
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.
Assume that $R=\oplus_{n\in \mathbb{N}_0}R_n$ is a standard graded algebra over the local ring $(R_0,\mathfrak{m}_0)$, $\mathfrak{a}$ is a homogeneous ideal of $R$, $M$ is a finitely generated graded $R$-module and $R_+:=\oplus_{n\in \mathbb{N}}R_n$ denotes the irrelevant ideal of $R$. In this paper, we study the asymptotic behaviour of the set $\{ \operatorname{grade}(\mathfrak{a} \cap R_0, H^{\operatorname{grade}(R_+,M)}_{R_+}(M)_n) \}_{n \in \mathbb{Z}}$ as $n \rightarrow -\infty$, in the case where $\mathfrak{a}$ and $R_+$ are homogenously linked over $M$.
Let $A$ be a commutative Noetherian ring containing a field of characteristic zero. Let $R= A[X_1, \ldots, X_m]$ be a polynomial ring and $A_m(A) = A \langle X_1, \ldots, X_m, \partial_1, \ldots, \partial_m \rangle$ be the $m^{th}$ Weyl algebra over $A$, where $\partial_i=\partial/\partial X_i$. Consider both $R$ and $A_m(A)$ as standard graded with $\mathrm{deg}~ z=0$ for all $z \in A$, $\mathrm{deg}~ X_i=1$, and $\mathrm{deg}~ \partial_i =-1$ for $i=1, \ldots, m$. We present a few results about the behavior of the graded components of local cohomology modules $H_I^i(R)$, where $I$ is an arbi…
We give a combinatorial description of local cohomology modules of a graded module over a semigroup ring, with support at the graded maximal ideal. This combinatorial framework yields Hochster-type formulas for the Hilbert series of such local cohomology modules in terms of the homology of finitely many polyhedral cell complexes. A Cohen--Macaulay criterion immediately follows. We also provide an alternative proof of a result of [18] characterizing Cohen--Macaulay affine semigroup rings.
Notions of Castelnuovo-Mumford regularity and of $a^*$ invariant were extended from standard graded algebras to the toric setting. We here focus our attention on the standard multigraded case, which corresponds to a product of $k$ projective spaces. A natural notion for a $\mathbb Z^k$-graded module is its support: degrees in which it is not zero. A stabilized version of it is adding $-\mathbb N^k$, in order for the complement (vanishing region) to be stable by addition of $\mathbb N^k$. Cohomology of twists of a sheaf on a product of projective spaces, provided by a graded module, are given b…
Let $R=\oplus_{n\in \N_0}R_n$ be a standard graded ring, $M$ be a finitely generated graded $R$-module and $R_+:=\oplus_{n\in \N}R_n$ denotes the irrelevant ideal of $R$. In this paper, considering the new concept of linkage of ideals over a module, we study the graded components $H^i_{\fa}(M)_n$ when $\fa$ is an h-linked ideal over $M$. More precisely, we show that $H^i_{\fa}(M)$ is tame in each of the following cases: \begin{itemize} \item [(i)] $i=f_{\fa}^{R_+}(M)$, the first integer $i$ for which $R_+\nsubseteq \sqrt{0:H^i_{\fa}(M)}$; \item [(ii)] $i=\cd(R_+,M)$, the last integer $i$ for w…
Stable cohomology is a generalization of Tate cohomology to associative rings, first defined by Pierre Vogel. For a commutative local ring $R$ with residue field $k$, stable cohomology modules $\widehat{\mathrm{Ext}}{\vphantom E}^{n}_R\;(k,k)$, defined for $n\in\mathbb{Z}$, have been studied by Avramov and Veliche. Stable cohomology carries a structure of $\mathbb{Z}$-graded $k$-algebra. One of the main goals of this paper is to prove that, for a class of Gorenstein rings, this algebra is a trivial extension of absolute cohomology $\mathrm{Ext}_R(k,k)$ and a shift of $\mathrm{Hom}_k(\mathrm{Ex…
Let $R=K[X_1,\ldots, X_n]$ where $K$ is a field of characteristic zero, and let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$. We give standard grading on $R$ and $A_n(K)$. Let $I$, $J$ be homogeneous ideals of $R$. Let $M = H^i_I(R)$ and $N = H^j_J(R)$ for some $i, j$. We show that $\Ext_{A_n(K)}^ν(M,N)$ is concentrated in degree zero for all $ν\geq 0$, i.e., $\Ext_{A_n(K)}^ν(M,N)_l=0$ for $l \neq0$. This proves a conjecture stated in part I of this paper.
We consider the (graded) Matlis dual $\DD(M)$ of a graded $\D$-module $M$ over the polynomial ring $R = k[x_1, \ldots, x_n]$ ($k$ is a field of characteristic zero), and show that it can be given a structure of $\D$-module in such a way that, whenever $\dim_kH^i_{dR}(M)$ is finite, then $H^i_{dR}(M)$ is $k$-dual to $H^{n-i}_{dR}(\DD(M))$. As a consequence, we show that if $M$ is a graded $\D$-module such that $H^n_{dR}(M)$ is a finite-dimensional $k$-space, then $\dim_k(H^n_{dR}(M))$ is the maximal integer $s$ for which there exists a surjective $\D$-linear homomorphism $M \rightarrow E^s$, wh…
Let $G$ be a group with identity $e$. Let $R$ be a $G$-graded commutative ring and $M$ a graded $R$-module. In this paper, we introduce the concept of graded classical and graded strongly classical 2-absorbing second submodules of graded modules over a graded commutative rings. A number of results concerning these classes of graded submodules and their homogeneous components are given.
Let $G$ be a group with identity $e$. Let $R$ be a $G$-graded commutative ring and $M$ a graded $R$-module. In this paper, we introduce the concept of graded primary-like submodules as a new generalization of graded primary ideals and give some basic results about graded primary-like submodules of graded modules. Special attention has been paid, when graded submodules satisfies the gr-primeful property, to find extra properties of these graded submodules.
Bounds on the Castelnuovo-Mumford regularity of the associated graded modules of k-Buchsbaum modules M are given in terms of k and some other invariants of M.
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 $G$-graded ring. In this article, we introduce two new concepts on graded rings, namely, weakly graded rings and invertible graded rings, and we discuss the relations between these concepts and several properties of graded rings. Also, we study the concept of weakly crossed products and study some properties defined on weakly crossed product and give the relationship between this new concept and several properties of graded rings. Moreover, in this article, we give a generalization for the concept of graded essential submodules, and introduce the concept of graded semi-uniform mod…
Let $A$ be a Dedekind domain of characteristic zero such that its localization at every maximal ideal has mixed characteristic with finite residue field. Let $R=A[X_1,\ldots, X_n]$ be a polynomial ring and $I=(a_1U_1, \ldots, a_c U_c)\subseteq R$ an ideal, where $a_j \in A$ (not necessarily units) and $U_j$'s are monomials in $X_1, \ldots, X_n$. We call such an ideal $I$ as a $\mathfrak{C}$-monomial ideal. Consider the standard multigrading on $R$. We produce a structure theorem for the multigraded components of the local cohomology modules $H^i_I(R)$ for $i \geq 0$. We further analyze the tor…
In this paper, we will consider derived equivalences for differential graded endomorphism algebras by Keller's approaches. First we construct derived equivalences of differential graded algebras which are endomorphism algebras of the objects from a triangle in the homotopy category of differential graded algebras. We also obtain derived equivalences of differential graded endomorphism algebras from a standard derived equivalence of finite dimensional algebras. Moreover, under some conditions, the cohomology rings of these differential graded endomorphism algebras are also derived equivalent. T…
Let $R$ be a $G$-graded ring and M be a $G$-graded $R$-module. We define the graded primary spectrum of $M$, denoted by $\mathcal{PS}_G(M)$, to be the set of all graded primary submodules $Q$ of M such that $(Gr_M(Q):_R M)=Gr((Q:_R M))$. In this paper, we define a topology on $\mathcal{PS}_G(M)$ having the Zariski topology on the graded prime spectrum $Spec_G(M)$ as a subspace topology, and investigate several topological properties of this topological space.
We develop a local cohomology theory for FI$^m$-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI$^m$-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant behaves almost identically to the invariant of Maclagan and Smith.
Let $R$ be a $G$ graded commutative ring and $M$ be a $G$-graded $R$-module. The set of all graded second submodules of $M$ is denoted by $Spec_G^s(M)$ and it is called the graded second spectrum of $M$. In this paper, we discuss graded rings with Noetherian graded prime spectrum and obtain some conclusions. In addition, we introduce the notion of the graded Zariski socle of graded submodules and explore their properties. Using these conclusions and properties, we also investigate $Spec_G^s(M)$ with the Zariski topology from the viewpoint of being a Noetherian space and give some related outco…
Let $G$ be a group with identity $e$. Let $R$ be a $G$-graded commutative ring with identity and $M$ a graded $R$-module. In this paper, we introduce the concept of graded $I_{e}$-prime submodule as a generalization of a graded prime submodule for $I=\oplus_{g\in G}I_{g}$ a fixed graded ideal of $R$. We give a number of results concerning of these classes of graded submodules and their homogeneous components. A proper graded submodule $N$ of $M$ is said to be a graded $I_{e}$-prime submodule of $M$ if whenever $% r_{g}\in h(R)$ and $m_{h}\in h(M)$ with $r_{g}m_{h}\in N-I_{e}N,$ then either $r_…
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…
设$A$是具有上同调环$H^*A$的微分分次代数. $H^*A$上的分次模称为\emph{realisable}，如果它（直到直和项）对于某些微分分次$A$ -模$M$具有$H^*M$的形式。Benson、Krause和Schwede已经指出了可实现性的局部和全球障碍。全局阻塞由Hochschild类给出，该Hochschild类由$H^*A$的$A_{\infty}$ -代数结构的二次乘法确定。本文主要研究具有分次交换上同调环的分次微分代数$A$。我们证明了一个新的分次$H^*A$ -模$X$是可实现的当且仅当它的$\mathfrak{p}$ -局部化$X_{\mathfrak{p}}$对$H^*A$的所有分次素理想$\mathfrak{p}$都是可实现的.为了得到这样一个局部-全局原理，我们定义了\emph{localisation of a differential graded algebra $A$ at a graded prime $\mathfrak{p}$ of $H^*A$}，记为$A_{\mathfrak{p}}$，并证明了微分分次代数的态射的存在性，从而导出了正则映射$H^*A \to (H^*A)_{\mathfrak{p}}$的上同调.后一个结果实际上持有在一个更一般的设置：我们证明了每一个粉碎本地化的微分分次代数的派生类别是由微分分次代数的态射诱导。最…
The behaviour under coarsening functors of simple, entire, or reduced graded rings, of free graded modules over principal graded rings, of superfluous monomorphisms and of homological dimensions of graded modules, as well as adjoints of degree restriction functors, are investigated.
Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local cohomology modules $\text{H}_\mathfrak{m}^i(M)$ of a finitely generated graded $R$-module $M$. We show that fiber-full modules are exactly the ones that satisfy this criterion. When we change $B$ by an arbitrary Noetherian ring $A$, we study the fiber-full locus of a module in $\text{Spec}(A)$: we show that the fiber-full locus is always an open subset of $\text…
