Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$. Let $t\in {\mathbb{N}}_0$ be an integer and $M$ an $R$-module such that ${\mathrm{Ext}}_R^i(R/I,M)$ is minimax for all $i\le t+1$. We prove that if $H_I^i\left(M\right)$ is ${\mathrm{FD}}_{\le 1}$ (or weakly Laskerian) for all $i<t$, then the $R$-modules $H_I^i\left(M\right)$ are $I$-cominimax for all $i<t$ and ${\mathrm{Ext}}_R^i(R/I,H_I^t\left(M\right))$ is minimax for $i=0,1$. Let $N$ be a finitely generated $R$-module. We prove that ${\mathrm{Ext}}_R^j(N,H_I^i\left(M\right))$ and ${\mathrm{Tor}}_j^R(N,H_I^i\left(M\right))$ are $I$-cominimax for all $i$ and $j$ whenever $M$ is minimax and $H_I^i\left(M\right)$ is ${\mathrm{FD}}_{\le 1}$ (or weakly Laskerian) for all $i$.

Let $n,d$ be two non-negative integers. A left $R$-module $M$ is called $(n,d)$-injective, if ${\mathrm{Ext}}^{d+1}(N,M)=0$ for every $n$-presented left $R$-module $N$. A right $R$-module $V$ is called $(n,d)$-flat, if ${\mathrm{Tor}}_{d+1}(V,N)=0$ for every $n$-presented left $R$-module $N$. A left $R$-module $M$ is called weakly $n$-$FP$-injective, if ${\mathrm{Ext}}^n(N,M)=0$ for every $(n+1)$-presented left $R$-module $N$. A right $R$-module $V$ is called weakly $n$-flat, if ${\mathrm{Tor}}_n(V,N)=0$ for every $(n+1)$-presented left $R$-module $N$. In this paper, we give some characterizations and properties of $(n,d)$-injective modules and $(n,d)$-flat modules in...

Let $U$ be a dg-$A$-module, $B$ the endomorphism dg-algebra of $U$. We know that if $U$ is a good silting object, then there exist a dg-algebra $C$ and a recollement among the derived categories $𝐃(C,d)$ of $C$, $𝐃(B,d)$ of $B$ and $𝐃(A,d)$ of $A$. We investigate the condition under which the induced dg-algebra $C$ is weak nonpositive. In order to deal with both silting and cosilting dg-modules consistently, the notion of weak silting dg-modules is introduced. Thus, similar results for good cosilting dg-modules are obtained....

A QTAG-module $M$ is an $\alpha$-module, where $\alpha$ is a limit ordinal, if $M/H_{\beta }\left(M\right)$ is totally projective for every ordinal $\beta <\alpha$. In the present paper $\alpha$-modules are studied with the help of $\alpha$-pure submodules, $\alpha$-basic submodules, and $\alpha$-large submodules. It is found that an $\alpha$-closed $\alpha$-module is an $\alpha$-injective. For any ordinal $\omega \le \alpha \le {\omega }_1$ we prove that an $\alpha$-large submodule $L$ of an ${\omega }_1$-module $M$ is summable if and only if $M$ is summable.

Let $R$ be a Noetherian ring, and $I$ and $J$ be two ideals of $R$. Let $S$ be a Serre subcategory of the category of $R$-modules satisfying the condition $C_I$ and $M$ be a $ZD$-module. As a generalization of the $S$-$\mathrm{depth}(I,M)$ and $\mathrm{depth}(I,J,M)$, the $S$-$\mathrm{depth}$ of $(I,J)$ on $M$ is defined as $S$-$\mathrm{depth}(I,J,M)=inf\{S$-$\mathrm{depth}(𝔞,M):𝔞\in \tilde{\mathrm{W}}(I,J)\}$, and some properties of this concept are investigated. The relations between $S$-$\mathrm{depth}(I,J,M)$ and $H_{I,J}^i\left(M\right)$ are studied, and it is proved that $S$-$\mathrm{depth}(I,J,M)=inf\{i:H_{I,J}^i\left(M\right)\notin S\}$, where $S$ is a Serre subcategory closed under taking injective hulls. Some conditions are provided that local cohomology...

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$.

If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if ${𝒟}_X^{\left(\infty \right)}$ is the sheaf of differential operators on $X$ [7], it is well known that giving an action of ${𝒟}_X^{\left(\infty \right)}$ on an ${𝒪}_X$-module $ℰ$ is equivalent to giving an infinite sequence of ${𝒪}_X$-modules descending $ℰ$ via the iterates of the Frobenius endomorphism of $X$ [5]. We show that this result can be generalized to any infinitesimal deformation $f:X\to S$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it...

Let $R$ be a ring. A subclass $𝒯$ of left $R$-modules is called a weak torsion class if it is closed under homomorphic images and extensions. Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. Then a left $R$-module $M$ is called $𝒯$-finitely generated if there exists a finitely generated submodule $N$ such that $M/N\in 𝒯$; a left $R$-module $A$ is called $(𝒯,n)$-presented if there exists an exact sequence of left $R$-modules $$0⟶K_{n-1}⟶F_{n-1}⟶\cdots ⟶F_1⟶F_0⟶M⟶0$$ such that $F_0,\cdots ,F_{n-1}$ are finitely generated free and $K_{n-1}$ is $𝒯$-finitely generated;...

Let $R$ and $S$ be commutative rings with identity, $J$ be an ideal of $S$, $f:R\to S$ be a ring homomorphism, $M$ be an $R$-module, $N$ be an $S$-module, and let $\varphi :M\to N$ be an $R$-homomorphism. The amalgamation of $R$ with $S$ along $J$ with respect to $f$ denoted by $R{\bowtie }^{f}J$ was introduced by M. D’Anna et al. (2010). Recently, R. El Khalfaoui et al. (2021) introduced a special kind of $\left(R{\bowtie }^{f}J\right)$-module called the amalgamation of $M$ and $N$ along $J$ with respect to $\varphi$, and denoted by $M{\bowtie }^{\varphi }JN$. We study some homological properties of the $\left(R{\bowtie }^{f}J\right)$-module $M{\bowtie }^{\varphi }JN$. Among...

Let $G$ be a simple algebraic group over an algebraically closed field $𝕜$ of characteristic 0, and $𝔤=LieG$. Let $(e,h,f)$ be an $𝔰{𝔩}_2$-triple in $𝔤$ with $e$ being a long root vector in $𝔤$. Let $(·,·)$ be the $G$-invariant bilinear form on $𝔤$ with $(e,f)=1$ and let $\chi \in {𝔤}^{*}$ be such that $\chi \left(x\right)=(e,x)$ for all $x\in 𝔤$. Let $𝒮$ be the Slodowy slice at $e$ through the adjoint orbit of $e$ and let $H$ be the enveloping algebra of $𝒮$; see [31]. In this article we give an explicit presentation of $H$ by generators and relations. As a consequence we deduce that $H$ contains...

Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. A left $R$-module $M$ is called $(𝒯,n)$-injective if ${\mathrm{Ext}}_R^n(C,M)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a right $R$-module $M$ is called $(𝒯,n)$-flat if ${\mathrm{Tor}}_n^R(M,C)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a left $R$-module $M$ is called $(𝒯,n)$-projective if ${\mathrm{Ext}}_R^n(M,N)=0$ for each $(𝒯,n)$-injective left $R$-module $N$; the ring $R$ is called strongly $(𝒯,n)$-coherent if whenever $0\to K\to P\to C\to 0$ is exact, where $C$ is $(𝒯,n+1)$-presented and $P$ is finitely generated projective, then $K$ is $(𝒯,n)$-projective; the ring $R$ is called...