Abstract:This paper aims at looking for Frobenius subcategories, via the separated monomorphism category ${\rm smon}(Q, I, \x)$, and on the other hand, to establish an {\rm RSS} equivalence from ${\rm smon}(Q, I, \x)$ to its dual ${\rm sepi}(Q, I, \x)$. For a bound quiver $(Q, I)$ and an algebra $A$, where $Q$ is acyclic and $I$ is generated by monomial relations, let $\Lambda=A\otimes_k kQ/I$. For any additive subcategory $\x$ of $A$-mod, we construct ${\rm smon}(Q, I, \x)$ combinatorially. This construction describe Gorenstein-projective $\m$-modules as $\mathcal {GP}(\m) = {\rm smon}(Q, I, \mathcal {GP}(A))$. It admits a homological interpretation, and enjoys a reciprocity ${\rm smon}(Q, I, \ ^\bot T)= \ ^\bot (T\otimes kQ/I)$ for a cotilting $A$-module $T$. As an application, ${\rm smon}(Q, I, \x)$ has Auslander-Reiten sequences if $\x$ is resolving and contravariantly finite with $\widehat{\x}=A$-mod. In particular, ${\rm smon}(Q, I, A)$ has Auslander-Reiten sequences. It also admits a filtration interpretation as ${\rm smon}(Q, I, \mathscr{X})={\rm Fil}(\mathscr{X}\otimes \mathcal P(kQ/I))$, provided that $\x$ is extension-closed. As an application, ${\rm smon}(Q, I, \x)$ is an extension-closed Frobenius subcategory if and only if so is $\x$. This gives "new" Frobenius subcategories of $\m$-mod in the sense that they are not $\mathcal{GP}(\m)$. Ringel-Schmidmeier-Simson equivalence ${\rm smon}(Q, I, \x)\cong{\rm sepi}(Q, I, \x)$ is introduced and the existence is proved for arbitrary extension-closed subcategories $\x$. In particular, the Nakayama functor $\mathcal N_\m$ gives an {\rm RSS} equivalence ${\rm smon}(Q, I, A)\cong{\rm sepi}(Q, I, A)$ if and only if $A$ is Frobenius. For a chain $Q$ with arbitrary $I$, an explicit formula of an {\rm RSS} equivalence is found for arbitrary additive subcategories $\x$.

Isbell's subfactor projections in a noetherian form

From Submodule Categories to Preprojective Algebras

Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps

From subfactor planar algebras to subfactors

Skein Theory for Affine A Subfactor Planar Algebras

Intermediate planar algebra revisited

Equivariant total ring of fractions and factoriality of rings generated by semiinvariants

Categories parametrized by schemes and representation theory in complex rank

Towards solid abelian groups: A formal proof of Nöbeling's theorem

On subdirect factors of a projective module and applications to system theory

Subgroups of word hyperbolic groups in dimension 2 over arbitrary rings

A Silting Theorem

The Bieri-Neumann-Strebel sets of quasi-projective groups

Kadison's problem for type III subfactors and the bicentralizer conjecture

From Subdirect Sums to Virtuality

Modular Invariants, Graphs and $α$-Induction for Nets of Subfactors II

From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

A Langlands dual realization of coherent sheaves on the nilpotent cone

Separated Monic Representations II: Frobenius Subcategories and RSS Equivalences

Intermediate planar algebra revisited, II