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

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

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.

In this paper we introduce the concept of $\tau$-extending modules by $\tau$-rational submodules and study some properties of such modules. It is shown that the set of all $\tau$-rational left ideals of ${}_{R}R$ is a Gabriel filter. An $R$-module $M$ is called $\tau$-extending if every submodule of $M$ is $\tau$-rational in a direct summand of $M$. It is proved that $M$ is $\tau$-extending if and only if $M=Re{j}_{M}E(R/\tau \left(R\right))\oplus N$, such that $N$ is a $\tau$-extending submodule of $M$. An example is given to show that the direct sum of $\tau$-extending modules need not...

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

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≢ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{{|}^p)}^{1/p}$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ, L > 0, and q ≥ 1 let ${\mu }_q(n,L)$ be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that $\left|Q\left(0\right)\right|>1/L({\sum }_{j=1}^n{\left|Q\left(j\right)\right|}^q{)}^{1/q}$. We find the size of ${\kappa }_p(n,L)$ and ${\mu }_q(n,L)$ for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about ${\mu }_{\infty }(n,L)$ is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...