Let A be a Noetherian ring, let M be a finitely generated A-module and let Φ be a system of ideals of A. We prove that, for any ideal in Φ, if, for every prime ideal of A, there exists an integer k(), depending on , such that ${}^{k\left(\right)}$ kills the general local cohomology module $H_{{\Phi }_{}}^j\left(M_{}\right)$ for every integer j less than a fixed integer n, where ${\Phi }_{}:={}_{}:\in \Phi$, then there exists an integer k such that ${}^k{H}_{\Phi }^j\left(M\right)=0$ for every j < n.

Let denote an ideal in a Noetherian ring R, and M a finitely generated R-module. We introduce the concept of the cohomological dimension filtration $={M_i}_{i=0}^c$, where c = cd(,M) and $M_i$ denotes the largest submodule of M such that $cd(,M_i)\le i$. Some properties of this filtration are investigated. In particular, if (R,) is local and c = dim M, we are able to determine the annihilator of the top local cohomology module $H_{}^c\left(M\right)$, namely $An{n}_R\left(H_{}^c\left(M\right)\right)=An{n}_R(M/M_{c-1})$. As a consequence, there exists an ideal of R such that $An{n}_R\left(H_{}^c\left(M\right)\right)=An{n}_R(M/H{⁰}_{}\left(M\right))$. This generalizes the...

Let $𝔞$ be an ideal of Noetherian local ring $(R,𝔪)$ and $M$ a finitely generated $R$-module of dimension $d$. In this paper we investigate the Artinianness of formal local cohomology modules under certain conditions on the local cohomology modules with respect to $𝔪$. Also we prove that for an arbitrary local ring $(R,𝔪)$ (not necessarily complete), we have ${\mathrm{Att}}_R\left({𝔉}_{𝔞}^d\left(M\right)\right)=\mathrm{Min}\mathrm{V}\left({\mathrm{Ann}}_R{𝔉}_{𝔞}^d\left(M\right)\right).$

Let $𝔞$, $I$, $J$ be ideals of a Noetherian local ring $(R,𝔪,k)$. Let $M$ and $N$ be finitely generated $R$-modules. We give a generalized version of the Duality Theorem for Cohen-Macaulay rings using local cohomology defined by a pair of ideals. We study the behavior of the endomorphism rings of $H_{I,J}^t\left(M\right)$ and $D\left(H_{I,J}^t\left(M\right)\right)$, where $t$ is the smallest integer such that the local cohomology with respect to a pair of ideals is nonzero and $D(-):={\mathrm{Hom}}_R(-,E_R\left(k\right))$ is the Matlis dual functor. We show that if $R$ is a $d$-dimensional complete Cohen-Macaulay...

Let $(R,𝔪)$ be a commutative Noetherian regular local ring of dimension $d$ and $I$ be a proper ideal of $R$ such that ${\mathrm{mAss}}_R(R/I)={\mathrm{Assh}}_R\left(I\right)$. It is shown that the $R$-module $H_I^{\mathrm{ht}\left(I\right)}\left(R\right)$ is $I$-cofinite if and only if $\mathrm{cd}(I,R)=\mathrm{ht}\left(I\right)$. Also we present a sufficient condition under which this condition the $R$-module $H_I^i\left(R\right)$ is finitely generated if and only if it vanishes.

Let ⊆ be ideals of a Noetherian ring R, and let N be a non-zero finitely generated R-module. The set Q̅*(,N) of quintasymptotic primes of with respect to N was originally introduced by McAdam. Also, it has been shown by Naghipour and Schenzel that the set $A{*}_a(,N):={\bigcup }_{n\ge 1}As{s}_{R}R/{\left(ⁿ\right)}_a^{\left(N\right)}$ of associated primes is finite. The purpose of this paper is to show that the topology on N defined by ${{\left(ⁿ\right)}_a^{\left(N\right)}{:}_R⟨⟩}_{n\ge 1}$ is finer than the topology defined by ${{\left(ⁿ\right)}_a^{\left(N\right)}}_{n\ge 1}$ if and only if $A{*}_a(,N)$ is disjoint from the quintasymptotic primes of with respect to N. Moreover,...

Let $I$ and $J$ be ideals of a Noetherian local ring $(R,𝔪)$ and let $M$ be a nonzero finitely generated $R$-module. We study the relation between the vanishing of $H_{I,J}^{dimM}\left(M\right)$ and the comparison of certain ideal topologies. Also, we characterize when the integral closure of an ideal relative to the Noetherian $R$-module $M/JM$ is equal to its integral closure relative to the Artinian $R$-module $H_{I,J}^{dimM}\left(M\right)$.

Let $𝔞$ be an ideal of a commutative Noetherian ring $R$ and $t$ be a nonnegative integer. Let $M$ and $N$ be two finitely generated $R$-modules. In certain cases, we give some bounds under inclusion for the annihilators of ${\mathrm{Ext}}_R^t(M,N)$ and ${\mathrm{H}}_{𝔞}^t\left(M\right)$ in terms of minimal primary decomposition of the zero submodule of $M$, which are independent of the choice of minimal primary decomposition. Then, by using those bounds, we compute the annihilators of local cohomology and Ext modules in certain cases.

In this work we compute the Chen–Ruan cohomology of the moduli spaces of smooth and stable $n$-pointed curves of genus $1$. In the first part of the paper we study and describe stack theoretically the twisted sectors of ${ℳ}_{1,n}$ and ${\overline{ℳ}}_{1,n}$. In the second part, we study the orbifold intersection theory of ${\overline{ℳ}}_{1,n}$. We suggest a definition for an orbifold tautological ring in genus $1$, which is a subring of both the Chen–Ruan cohomology and of the stringy Chow ring.

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module. We wish to investigate the relation between vanishing, finiteness, Artinianness, minimaxness and $𝒞$-minimaxness of local cohomology modules. We show that if $M$ is a minimax $R$-module, then the local-global principle is valid for minimaxness of local cohomology modules. This implies that if $n$ is a nonnegative integer such that ${\left(H_I^i\left(M\right)\right)}_{𝔪}$ is a minimax $R_{𝔪}$-module for all $𝔪\in \mathrm{Max}\left(R\right)$ and for all $i<n$, then the set ${\mathrm{Ass}}_R\left(H_I^n\left(M\right)\right)$ is finite. Also, if $H_I^i\left(M\right)$ is...

Let be a proper ideal of a commutative Noetherian ring R of prime characteristic p and let Q() be the smallest positive integer m such that ${{(}^F)}^{\left[p^m\right]}{=}^{\left[p^m\right]}$, where ${}^F$ is the Frobenius closure of . This paper is concerned with the question whether the set $Q{(}^{\left[p^m\right]}):m\in \mathbb{N}₀$ is bounded. We give an affirmative answer in the case that the ideal is generated by an u.s.d-sequence c₁,..., cₙ for R such that (i) the map $R/{\sum }_{j=1}^{n}R{c}_j\to R/{\sum }_{j=1}^{n}Rc{²}_j$ induced by multiplication by c₁...cₙ is an R-monomorphism; (ii) for all $\in ass(c{₁}^j,...,c{ₙ}^j)$, c₁/1,..., cₙ/1 is a $R_{}$-filter...

We use known results on the characteristic rank of the canonical $4$–plane bundle over the oriented Grassmann manifold ${\tilde{G}}_{n,4}$ to compute the generators of the ${\mathbb{Z}}_2$–cohomology groups $H^j\left({\tilde{G}}_{n,4}\right)$ for $n=8,9,10,11$. Drawing from the similarities of these examples with the general description of the cohomology rings of ${\tilde{G}}_{n,3}$ we conjecture some predictions.

The goal of this work is to construct, for a smooth variety $X$ over a perfect field k of finite characteristic $p\&gt;0$, an overconvergent de Rham-Witt complex $W^{†}{\Omega }_{X/k}$ as a suitable subcomplex of the de Rham-Witt complex of Deligne-Illusie. This complex, which is functorial in $X$, is a complex of étale sheaves and a differential graded algebra over the ring $W^{†}\left({𝒪}_X\right)$ of overconvergent Witt-vectors. If $X$ is affine one proves that there is an isomorphism between Monsky-Washnitzer cohomology and (rational) overconvergent...

Let $I$ be an ideal of a commutative Noetherian ring $R$. It is shown that the $R$-modules $H_I^j\left(M\right)$ are $I$-cofinite for all finitely generated $R$-modules $M$ and all $j\in {\mathbb{N}}_0$ if and only if the $R$-modules ${\mathrm{Ext}}_R^i(N,H_I^j\left(M\right))$ and ${\mathrm{Tor}}_i^R(N,H_I^j\left(M\right))$ are $I$-cofinite for all finitely generated $R$-modules $M$, $N$ and all integers $i,j\in {\mathbb{N}}_0$.

Let $(R,𝔪)$ be a commutative Noetherian local ring, $𝔞$ be an ideal of $R$ and $M$ a finitely generated $R$-module such that $𝔞M\ne M$ and $\mathrm{cd}(𝔞,M)-\mathrm{grade}(𝔞,M)\le 1$, where $\mathrm{cd}(𝔞,M)$ is the cohomological dimension of $M$ with respect to $𝔞$ and $\mathrm{grade}(𝔞,M)$ is the $M$-grade of $𝔞$. Let $D(-):={\mathrm{Hom}}_R(-,E)$ be the Matlis dual functor, where $E:=E(R/𝔪)$ is the injective hull of the residue field $R/𝔪$. We show that there exists the following long exact sequence $$\begin{array}{cc}\hfill 0⟶& H_{𝔞}^{n-2}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)⟶D\left(M\right)\\ \hfill ⟶& H_{𝔞}^{n-1}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^{n+1}\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)\\ \hfill ⟶& H_{𝔞}^n\left(D\left(H_{(x_1,...,x_{n-1})}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{(}^{n-1}M\right)\right))⟶...,\end{array}$$ where $n:=\mathrm{cd}(𝔞,M)$ is a non-negative integer, $x_1,...,x_{n-1}$ is a regular sequence in $𝔞$ on $M$ and, for an $R$-module $L$, $H_{𝔞}^i\left(L\right)$ is the $i$th local cohomology module...

Let $G$ be a split semisimple linear algebraic group over a field and let $T$ be a split maximal torus of $G$. Let $𝗁$ be an oriented cohomology (algebraic cobordism, connective $K$-theory, Chow groups, Grothendieck’s $K_0$, etc.) with formal group law $F$. We construct a ring from $F$ and the characters of $T$, that we call a formal group ring, and we define a characteristic ring morphism $c$ from this formal group ring to $𝗁(G/B)$ where $G/B$ is the variety of Borel subgroups of $G$. Our main result says that when the...

Let R be a commutative noetherian ring, let be an ideal of R, and let be a subcategory of the category of R-modules. The condition $C_{}$, defined for R-modules, was introduced by Aghapournahr and Melkersson (2008) in order to study when the local cohomology modules relative to belong to . In this paper, we define and study the class ${}_{}$ consisting of all modules satisfying $C_{}$. If and are ideals of R, we get a necessary and sufficient condition for to satisfy $C_{}$ and $C_{}$ simultaneously. We also...

Let $M$ be any compact simply-connected oriented $d$-dimensional smooth manifold and let $𝔽$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$, $H{H}^{*}(S^{*}\left(M\right),S^{*}\left(M\right))$, extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjectured to exist and is expected to be isomorphic to the Batalin-Vilkovisky algebra on the free loop space homology on $M$, $H_{*+d}\left(LM\right)$ introduced by Chas and Sullivan. We also show that the negative cyclic...