Quotient Morita Theory with Applications

Xuyang Chen; Haonan Li; Quanshui Wu

Home/Archive/arXiv

arXiv · 2609.39160

Quotient Morita Theory with Applications

Xuyang Chen·Haonan Li·Quanshui Wu

View original source ↗Read source document ↗Export metadata ↓

Abstract

We study equivalences between quotient categories of module categories associated with Gabriel topologies. We establish necessary and sufficient conditions for a Morita context to induce an equivalence between quotient categories and characterize such equivalences in terms of Morita contexts after passing to rings of quotients. Motivated by Artin--Zhang's noncommutative Serre theorem, we introduce a notion of ampleness relative to a Gabriel topology and use it to characterize quotient categories of finitely generated modules under suitable noetherian hypotheses. As an application, we establish a sufficient condition under which the noncommutative Auslander theorem holds for actions of finite-dimensional Hopf algebras on AS-regular algebras without assuming that the Hopf algebras are semisimple.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Xuyang Chen, Haonan Li, Quanshui Wu. 2026-09-30. Quotient Morita Theory with Applications. https://arxiv.org/abs/2609.39160

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Identities in differential perm algebras

Let $(P,\cdot,d)$ be a differential perm algebra over a field of characteristic zero, i.e. an associative algebra satisfying $(ab)c=(ba)c$ and equipped with a derivation $d$. We study polynomial identities in the algebras obtained by the derived operations \[ a\prec b=ab',\quad a\succ b=a'b,\quad a\blacklozenge b=ab'+ba',\quad a\bullet b=a'b+ab',\quad a\Diamond b=ab'-ba',\quad a\circ b=a'b-ab', \] where $a'=d(a)$. We first prove that any nontrivial differential polynomial identity that does not belong to the right annihilator of the free differential perm algebra implies a differential identity of the form $a_1'a_2'\cdots a_m'=0$ for some positive integer $m$. We then obtain explicit generating sets and determine the dimensions of the multilinear homogeneous components of the subalgebras of the free differential perm algebra generated by $X$ with respect to the products $\blacklozenge$ and $\bullet$. Finally, we construct perm-Witt type Lie and Leibniz algebras arising naturally from differential perm algebras.

math.RA↗

arXiv2026

A parity obstruction to completeness of object cotorsion pairs

Fu, Guil Asensio, Herzog and Torrecillas asked whether a complete ideal cotorsion pair of object ideals in an exact category always induces a complete cotorsion pair of objects. We show that it need not, even in a Hom-finite, weakly idempotent complete Frobenius exact category. Our example is built from bounded complexes of finite-dimensional vector spaces with even total cohomology dimension. The parity obstruction manifests itself as a non-split idempotent in the stable category. For cotorsion pairs of $t$-structure type, we give an object-wise splitting criterion for special approximations. In this setting, a criterion of Saor\'ın and Šťov\'ıček yields an affirmative answer whenever the stable category is idempotent complete.

math.RA↗

arXiv2026

Perspectivity and the perspective-Schröder-Bernstein Property

In this paper, we study various aspects of perspectivity in modules. We prove that the following classes of modules satisfy the perspective-Schröder-Bernstein property: modules with transitive perspectivity, quasi-continuous modules, Harada (and hence discrete) modules and quasi-discrete modules with the (finite) exchange property. Furthermore, we prove that for a semiregular ring, the Schröder-Bernstein property implies the perspective-Schröder-Bernstein property. We prove that for $A,B \subseteq ^{\oplus} M$, if all complements of $A$ are perspective with $B$, then all complements of $B$ are perspective with $A$. We also provide new characterizations of weakly perspective modules and modules in which perspectivity is transitive. Some applications of these results are given. We finally prove that perspectivity is transitive in a ring $R$ if and only if every special clean element of $R$ is perspective.

math.RA↗