We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several universal tensor categories as conjectured by Deligne. Another example constructs interesting tensor categories in positive characteristic via tilting modules for ${\rm SL}_2$.

We show that silting modules are closely related with localizations of rings. More precisely, every partial silting module gives rise to a localization at a set of maps between countably generated projective modules and, conversely, every universal localization, in the sense of Cohn and Schofield, arises in this way. To establish these results, we further explore the finite-type classification of tilting classes and we use the morphism category to translate silting modules into tilting objects. In particular, we prove that silting modules are of finite type.

The aim of this paper is to introduce $\tau $-tilting theory, which ‘completes’ (classical) tilting theory from the viewpoint of mutation. It is well known in tilting theory that an almost complete tilting module for any finite-dimensional algebra over a field $k$ is a direct summand of exactly one or two tilting modules. An important property in cluster-tilting theory is that an almost complete cluster-tilting object in a 2-CY triangulated category is a direct summand of exactly two cluster-tilting objects. Reformulated for path algebras $kQ$, this says that an almost complete support tilting module has exactly two complements. We generalize (support) tilting modules to what we call (support) $\tau $-tilting modules, and show that an almost complete support $\tau $-tilting module has exactly two complements for any finite-dimensional algebra. For a finite-dimensional $k$-algebra $\Lambda $, we establish bijections between functorially finite torsion classes in $ \mathsf{mod} \hspace{0.167em} \Lambda $, support $\tau $-tilting modules and two-term silting complexes in ${ \mathsf{K} }^{\mathrm{b} } ( \mathsf{proj} \hspace{0.167em} \Lambda )$. Moreover, these objects correspond bijectively to cluster-tilting objects in $ \mathcal{C} $ if $\Lambda $ is a 2-CY tilted algebra associated with a 2-CY triangulated category $ \mathcal{C} $. As an application, we show that the property of having two complements holds also for two-term silting complexes in ${ \mathsf{K} }^{\mathrm{b} } ( \mathsf{proj} \hspace{0.167em} \Lambda )$.

We give a complete picture of the interaction between the Koszul and Ringel dualities for graded standardly stratified algebras (in the sense of Cline, Parshall and Scott) admitting linear tilting (co)resolutions of standard and proper costandard modules. We single out a certain class of graded standardly stratified algebras, imposing the condition that standard filtrations of projective modules are finite, and develop a tilting theory for such algebras. Under the assumption on existence of linear tilting (co)resolutions we show that algebras from this class are Koszul, that both the Ringel and Koszul duals belong to the same class, and that these two dualities on this class commute.

We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question of when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified algebras whose Ringel dual is properly stratified, we discover a new Ringel-type duality for such algebras, which we call the two-step duality. This duality arises from the existence of a new (generalized) tilting module for stratified algebras with properly stratified Ringel dual. We show that this new tilting module has a lot of interesting properties; for instance, its projective dimension equals the projectively defined finitistic dimension of the original algebra, it guarantees that the category of modules of finite projective dimension is contravariantly finite, and, finally, it allows one to compute the finitistic dimension of the original algebra in terms of the projective dimension of the characteristic tilting module.