Interpretation functors which are full on pure-injective modules with applications to R-torsion-free modules over R-orders
Abstract
Let R,S be rings, X⊂eq mod-R a covariantly finite subcategory, C the smallest definable subcategory of Mod-R containing X and D a definable subcategory of Mod-S. We show that if I:C→ D is an interpretation functor such that IX⊂eq mod-S and whose restriction to X is full then I is full on pure-injective modules. We apply this theorem to an extension of a functor introduced by Ringel and Roggenkamp which, in particular, allows us to describe the torsion-free part of the Ziegler spectra of tame B\"ackstr\"om orders. We also introduce the notion of a pseudogeneric module over an order which is intended to play the same role for lattices over orders as generic modules do for finite-dimensional modules over finite-dimensional algebras.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.