When are definable classes tilting and cotilting classes?
classes of cofinite typeclasses of finite typecoresolving classescotilting classesdefinable classesdefinable torsion classesfunctor categoriesprecoverspreenvelopesresolving classestilting classes
Model-theoretic algebra (03C60) Applications of logic in associative algebras (16B70) Module categories in associative algebras (16D90) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Torsion theories; radicals on module categories (associative algebraic aspects) (16S90)
A class of modules is `definable' if it is closed under direct products, direct limits and pure submodules. By two correspondences \(_R\mathcal F@>\rho>>\mathcal T_R\) and \(_R\mathcal T@>\sigma>>\mathcal F_R\) a bijection is obtained between definable classes of \(R\)-Mod and definable classes of Mod-\(R\), such that resolving classes correspond to coresolving classes and classes of cofinite type correspond to classes of finite type. The asymmetry which appears between the notions of finite type and cofinite type for \(n\)-tilting and \(n\)-cotilting classes is mentioned. In particular, the tilting classes are of finite type, while cotilting classes are not always of cofinite type. To clarify this phenomenon, the following theorem for \(n\)-cotilting classes is proved, the analogue of which for \(n\)-tilting classes does not hold. For \(n\in\mathbb{N}\) and class \(\mathcal F\subseteq R\)-Mod the following are equivalent: 1) \({\mathcal F}\) is an \(n\)-cotilting class; 2) \(\mathcal F\) is resolving, definable and \(\mathcal F^\perp\subseteq\mathcal I_n\); 3) \(\mathcal F\) is resolving, definable and closed under \(n\)-submodules. For \(n\)-cotilting classes the following result is proved. Let \(n\in\mathbb{N}\) and \(\mathcal T\) be a definable class of \(R\)-Mod. The following are equivalent: 1) \(\mathcal T\) is an \(n\)-tilting class; 2) \(\sigma(\mathcal T)\) is an \(n\)-cotilting class of cofinite type; 3) \(\mathcal T\) is coresolving, special preenveloping and closed under \(n\)-images. As a conclusion is mentioned that if \(\mathcal F\) is an \(n\)-cotilting class of \(R\)-Mod, then \(\rho(\mathcal F)\) is a definable coresolving class closed under \(n\)-images and in this case \(\rho(\mathcal F)\) is an \(n\)-tilting class if and only if \(\mathcal F\) is an \(n\)-cotilting class of cofinite type.
- Definable classes and Mittag-Leffler conditions.
- n-tilting torsion classes and n-cotilting torsion-free classes
- Definable categories and T-motives
- Tilting and cotilting classes over Gorenstein rings
- When are covers relative to two classes isomorphic.
- Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
- When do Foxby classes coincide with the classes of modules of finite Gorenstein dimensions?
- Tilting and trivial extensions
- When is Galois cohomology free or trivial?
- Abstract elementary classes induced by tilting and cotilting modules have finite character
- ALL MODULES HAVE FLAT COVERS
- All tilting modules are of finite type
- All 𝑛-cotilting modules are pure-injective
- Approximations and endomorphism algebras of modules.
- Cotilting and tilting modules over Prüfer domains
- Cotilting modules are pure-injective
- Cotorsion pairs generated by modules of bounded projective dimension.
- Cotorsion theories induced by tilting and cotilting modules
- Covers induced by Ext
- Covers, precovers, and purity.
- Critères de platitude et de projectivité. Techniques de platification d'un module. (Criterial of flatness and projectivity. Technics of flatification of a module.)
- Finitistic Dimension and a Homological Generalization of Semi-Primary Rings
- Flat covers of modules
- Homological Dimension in Local Rings
- How To Make Ext Vanish
- scientific article; zbMATH DE number 1574546 (Why is no real title available?)
- scientific article; zbMATH DE number 192904 (Why is no real title available?)
- scientific article; zbMATH DE number 1217705 (Why is no real title available?)
- scientific article; zbMATH DE number 1531449 (Why is no real title available?)
- scientific article; zbMATH DE number 3796179 (Why is no real title available?)
- scientific article; zbMATH DE number 3305162 (Why is no real title available?)
- scientific article; zbMATH DE number 3341988 (Why is no real title available?)
- Infinitely generated tilting modules of finite projective dimension
- Injective and flat covers, envelopes and resolvents
- Model theory of modules
- One dimensional tilting modules are of finite type.
- Perpendicular categories of infinite dimensional partial tilting modules and transfers of tilting torsion classes.
- Preprojective modules over Artin algebras
- Relative homological algebra
- Rings characterized by (pre)envelopes and (pre)covers of their modules∗
- The spectrum of a module category
- The Ziegler Spectrum of a Locally Coherent Grothendieck Category
- Tilting modules and Gorenstein rings
- Silting and cosilting classes in derived categories
- Cotilting with balanced big Cohen-Macaulay modules
- Covers in finitely accessible categories
- Abstract elementary classes induced by tilting and cotilting modules have finite character
- Exact categories and infinite tilting
- Tilting and cotilting modules over concealed canonical algebras
- On the abundance of silting modules
- Locally finitely presented and coherent hearts
- Injective cogenerators, cotilting modules and cosilting modules
- TTF triples in functor categories.
- When are the classes of Gorenstein modules (co)tilting?
- Wide coreflective subcategories and torsion pairs
- On definable subcategories
This page was built for publication: When are definable classes tilting and cotilting classes?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2378606)
