Bimodule monomorphism categories and RSS equivalences via cotilting modules

The monomorphism category $\mathcal{S}(A,M,B)$ induced by a bimodule ${}_A{M}_B$ is the subcategory of $\mathrm{\Lambda }$-mod consisting of ${\left[\begin{array}{c}X\\ Y\end{array}\right]}_{\varphi }$ such that $\varphi :M{\otimes }_{B}Y\to X$ is a monic $A$-map, where $\mathrm{\Lambda }=\left[\begin{array}{cc}A& M\\ 0& B\end{array}\right]$. In general, it is not the monomorphism categories induced by quivers. It could describe the Gorenstein-projective $\text{m}$-modules. This monomorphism category is a resolving subcategory of $\text{modcat}\mathrm{\Lambda }$ if and only if $M_B$ is projective. In this case, it has enough injective objects and Auslander-Reiten sequences, and can be also described as the left perpendicular category of a unique basic cotilting $\mathrm{\Lambda }$-module. If $M$ satisfies the condition ${\rm (IP)}$,thenthestablecategoryof$\mathscr{S}(A, M, B)$ admits a recollement of additive categories, which is in fact a recollement of singularity categories if $\mathcal{S}(A,M,B)$ is a {\rm Frobenius} category. Ringel-Schmidmeier-Simson equivalence between $\mathcal{S}(A,M,B)$ and its dual is introduced. If $M$ is an exchangeable bimodule, then an {\rm RSS} equivalence is given by a $\mathrm{\Lambda }$-$\mathrm{\Lambda }$ bimodule which is a two-sided cotilting $\mathrm{\Lambda }$-module with a special property; and the Nakayama functor ${\mathcal{N}}_{\text{m}}$ gives an {\rm RSS} equivalence if and only if both $A$ and $B$ are Frobenius algebras.