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 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 $\varphi$ be a substitution of Pisot type on the alphabet $𝒜=\{1,2,...,d\}$; $\varphi$ satisfies theif for every $i,j\in 𝒜$, there are integers $k,n$ such that ${\varphi }^n\left(i\right)$ and ${\varphi }^n\left(j\right)$ have the same $k$-th letter, and the prefixes of length $k-1$ of ${\varphi }^n\left(i\right)$ and ${\varphi }^n\left(j\right)$ have the same image under the abelianization map. We prove that the strong coincidence condition is satisfied if $d=2$ and provide a partial result for $d\ge 2$.

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

Let $k$ be a field of characteristic $p\&gt;0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that...

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

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 $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 $K$ be a number field. It is well known that the set of recurrencesequences with entries in $K$ is closed under component-wise operations, and so it can be equipped with a ring structure. We try to understand the structure of this ring, in particular to understand which algebraic equations have a solution in the ring. For the case of cyclic equations a conjecture due to Pisot states the following: assume $\left\{a_n\right\}$ is a recurrence sequence and suppose that all the $a_n$ have a $d^{\mathrm{th}}$ root in the field...

We study sums and products in a field. Let $F$ be a field with $\mathrm{ch}\left(F\right)\ne 2$, where $\mathrm{ch}\left(F\right)$ is the characteristic of $F$. For any integer $k\ge 4$, we show that any $x\in F$ can be written as $a_1+\cdots +a_k$ with $a_1,\cdots ,a_k\in F$ and $a_1\cdots a_k=1$, and that for any $\alpha \in F\setminus \left\{0\right\}$ we can write every $x\in F$ as $a_1\cdots a_k$ with $a_1,\cdots ,a_k\in F$ and $a_1+\cdots +a_k=\alpha$. We also prove that for any $x\in F$ and $k\in \{2,3,\cdots \}$ there are $a_1,\cdots ,a_{2k}\in F$ such that $a_1+\cdots +a_{2k}=x=a_1\cdots a_{2k}$.

Let $𝒜$ be a commutative algebraic group defined over a number field $k$. We consider the following question:A complete answer for the case of the multiplicative group ${𝔾}_m$ is classical. We study other instances and in particular obtain an affirmative answer when $r$ is a prime and $𝒜$ is either an elliptic curve or a torus of small dimension with respect to $r$. Without restriction on the dimension of a torus, we produce an example showing that the answer can be negative even when $r$ is a prime. ...