On perfectly generated weight structures and adjacent \(t\)-structures (Q2069633)

The main objects of study in this paper are torsion theories, \(t\)-structures, weight structures (which are also known as co-\(t\)-structures in the literature) on a triangulated category. The main properties that are considered are that of class of objects being (co)smashing, that is, closed under (co)products; compact; and perfect; or of a functor being (co)homological and/or (co)product preserving. One of the main theorems (Theorem 0.2) is to show that the heart of a compactly generated \(t\)-structure in a cosmashing triangulated category is Grothendieck and to describe a class of generators. Key intermediate results are to show that the heart of a compactly generated \(t\)-structure has an injective cogenerator (see Corollary 2.4.4) and futhermore that this heart is AB5 (that is, closed under coproducts and exact sequences are closed under filtered colimits) if the ambient triangulated category is cosmashing (see Theorem 1.3.5). The remaining claims of this main theorem are shown in Corollary 1.4.2. In Section 2, the author introduces the concept of a \textit{strongly extension closed} class of objects in a triangulated category which is defined as a closure under certain homotopy colimits (see Definition 2.1.4). In Lemmas 2.1.5 and 2.1.6 some nice properties of this concept are proved. Recall that a class of objects \(\mathcal{P}\) in a triangulated category \(\underline{{C}}\) is \textit{(countably) perfect} if the \(\mathcal{P}\)-null morphisms (that is, all morphisms \(h\) in \(\underline{{C}}\) such that \(\underline{{C}}(P,h) = 0\) for all \(P \in \mathcal{P}\)) is closed under (countable) coproducts. In the central theorem of the paper (Theorem 2.3.4) it is shown that a countably perfect class of objects, \(\mathcal{P}\), gives rise to a `perfectly generated' weight structure \(w = (L, R)\). Furthermore, the classes \(R\) and \(L\) can be described using \(\mathcal{P}\), the latter in terms of the strong extension closure property. In Corollary 2.3.6 it is shown that the class of perfectly generated weight structures admits a `join' operation. In the third section, after some recollections on torsion theories, in Theorem 3.2.1. the author proves many properties of torsion theories generated by a set of compact objects. In particular, it is shown that complactly generated torsion theories on \(\underline{C}\) are in one-to-one correspondence with the class of essentially small retraction and extension closed subcategories of \(\underline{{C}}^{\aleph_0}\). In the final result, it is shown, amongst other properties of smashing torsion theories, that every smashing weight structures on a well-generated triangulated category is perfectly generated (see Theorem 3.3.3).