AIR Tilting Subcategories in Tilting Theory

• AIR tilting subcategories are full subcategories in abelian and triangulated settings that extend support τ-tilting theory by analyzing factor modules of support τ-tilting modules.
• They establish bijections with functorially finite torsion classes and τ-cotorsion pairs, unifying tilting, silting, and cotorsion theoretic frameworks.
• Their mutation and extension properties enable combinatorial classification and systematic transfer of results across various homological algebra contexts.

An AIR tilting subcategory is a full subcategory of an abelian, exact, triangulated, or extriangulated category—often a module category over an algebra or the heart/extended heart of a t-structure—structured as an extension of the support $\tau$-tilting theory of Adachi–Iyama–Reiten. AIR tilting subcategories systematically generalize tilting and silting subcategories, connecting them to cotorsion theory, torsion classes, silting theory, and relative settings such as extended hearts and extriangulated contexts.

1. Fundamental Definitions and Core Properties

Let $\mathscr{A}$ be an abelian category with enough projectives, typical cases including $\mathscr{A} = \mathrm{mod}\,\Lambda$ for a finite-dimensional algebra $\Lambda$, or $\mathscr{A} = \mathrm{Mod}\,R$. The classical AIR–tilting setting is as follows.

• Support $\tau$-tilting module: A module $M$ is $\tau$-rigid if $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$; it is support $\tau$-tilting if, for some idempotent $\mathscr{A}$0, $\mathscr{A}$1 is $\mathscr{A}$2-tilting over $\mathscr{A}$3, i.e., $\mathscr{A}$4 is $\mathscr{A}$5-rigid and $\mathscr{A}$6 for some projective $\mathscr{A}$7.
• AIR tilting subcategory $\mathscr{A}$8, where $\mathscr{A}$9 is a basic support $\mathscr{A} = \mathrm{mod}\,\Lambda$0-tilting module. Here, $\mathscr{A} = \mathrm{mod}\,\Lambda$1 is the class of factor modules of finite direct sums of $\mathscr{A} = \mathrm{mod}\,\Lambda$2.
• Generalization to subcategory level: In an abelian category with enough projectives, a full subcategory $\mathscr{A} = \mathrm{mod}\,\Lambda$3 is support $\mathscr{A} = \mathrm{mod}\,\Lambda$4-tilting if:
  1. $\mathscr{A} = \mathrm{mod}\,\Lambda$5 for all $\mathscr{A} = \mathrm{mod}\,\Lambda$6.
  2. For each projective $\mathscr{A} = \mathrm{mod}\,\Lambda$7, there is a short exact sequence $\mathscr{A} = \mathrm{mod}\,\Lambda$8 with $\mathscr{A} = \mathrm{mod}\,\Lambda$9 and $\Lambda$0 a left $\Lambda$1-approximation.
  3. $\Lambda$2 is contravariantly finite in $\Lambda$3.

AIR tilting subcategories have the properties:

• Closed under extensions, factor modules, direct sums, and direct summands.

• For finite-dimensional algebras, every functorially finite torsion class arises as $\Lambda$4 for a basic support $\Lambda$5-tilting module $\Lambda$6 (Adachi et al., 2024, Asadollahi et al., 2022).

2. Bijections and Correspondences

The core of AIR tilting theory consists of tight correspondences between various classes of objects and subcategories. The pivotal bijections include:

Category	Bijection with	Details/Reference
Support $\Lambda$7-tilting subcats	Functorially finite torsion classes	$\Lambda$8; [AIR], (Adachi et al., 2024)
Support $\Lambda$9-tilting subcats	$\mathscr{A} = \mathrm{Mod}\,R$0-cotorsion pairs (with torsion class)	$\mathscr{A} = \mathrm{Mod}\,R$1 (Zhu et al., 2024)
Two-term silting subcats in $\mathscr{A} = \mathrm{Mod}\,R$2	Support $\mathscr{A} = \mathrm{Mod}\,R$3-tilting subcats in $\mathscr{A} = \mathrm{Mod}\,R$4	$\mathscr{A} = \mathrm{Mod}\,R$5; (Adachi et al., 2024, Iyama et al., 2013)
Tilting (n-tilting) subcategories	Coresolving, covariantly finite subcategories	Auslander–Reiten correspondence (Zhu et al., 2019)

The AIR bijection can be phrased as:

$\mathscr{A} = \mathrm{Mod}\,R$6

with the map $\mathscr{A} = \mathrm{Mod}\,R$7 invertible when restricting to functorially finite torsion classes (Adachi et al., 2024).

For extriangulated categories $\mathscr{A} = \mathrm{Mod}\,R$8 with enough projectives and injectives, a support $\mathscr{A} = \mathrm{Mod}\,R$9-tilting subcategory $\tau$0 satisfies:

• $\tau$1 is a generator for $\tau$2, the closure under deflations.
• $\tau$3.
• For each projective $\tau$4, a right-exact $\tau$5-triangle $\tau$6 with $\tau$7 and $\tau$8 a left $\tau$9-approximation (Zhu et al., 2024).

3. Connections to Cotorsion Theory, Torsion Classes, and Torsion Triples

• Cotorsion pairs: In both abelian and extriangulated contexts, $M$0-cotorsion pairs $M$1 define an object $M$2 and require approximation properties relative to projectives.
• In module categories, the triple $M$3 (where $M$4 is a $M$5-cotorsion pair and $M$6 a torsion pair) is in bijection with a support $M$7-tilting subcategory $M$8 (Asadollahi et al., 2022, Zhu et al., 2024).
• The AIR framework thereby extends tilting–cotorsion correspondences and integrates the combinatorics of wide subcategories and universal localizations in finite settings (Marks et al., 2015).

4. AIR Tilting Subcategories in Broader Frameworks

AIR tilting subcategories have been extended and unified with several higher and relative structures:

• Relative and extended settings: AIR tilting subcategories are constructed for extended hearts in triangulated categories with respect to silting subcategories, generalizing to $M$9-tilting and $\tau$0-tilting pairs for $\tau$1-extended module categories and derived categories of (dg-)algebras (Wei et al., 15 Dec 2025).
• Relative cluster-tilting and silting: Two-term (weak) relative cluster-tilting subcategories in triangulated categories correspond via the Yoneda functor to support $\tau$2-tilting subcategories in functor categories (Zhou et al., 2018, Iyama et al., 2013, Yang et al., 2017).
• Extriangulated generality: The definitions and bijection mechanisms naturally extend to extriangulated categories, integrating exact, triangulated, and more general settings and inheriting their homological structures (Zhu et al., 2024, Zhu et al., 2019).

5. Explicit Examples and Applications

• Module categories: For $\tau$3 (finite-dimensional $\tau$4), AIR-tilting subcategories are exactly the functorially finite torsion classes. For instance, in type $\tau$5, every support $\tau$6-tilting module determines a unique functorially finite torsion class, and vice versa (Adachi et al., 2024).
• Extended hearts and DG categories: In the bounded derived category $\tau$7, with the $\tau$8-extended heart $\tau$9, AIR tilting subcategories in $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$0 correspond bijectively to $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$1-term silting subcategories in the thick subcategory generated by the silting generator $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$2 (Wei et al., 15 Dec 2025).
• Restriction–extension across one-point extensions: For one-point extension algebras $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$3, restriction and extension functors transport tilting and support $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$4-tilting subcategories between module categories of $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$5 and $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$6 (Asadollahi et al., 2022).

6. Structural Consequences, Combinatorics, and Mutation

• For representation-finite algebras, AIR tilting subcategories, functorially finite torsion classes, wide subcategories, and universal localizations are in bijection, allowing for classification via combinatorial invariants such as Hasse quivers and $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$7-vectors (Marks et al., 2015).
• There is a theory of mutation for support $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$8-tilting objects that generalizes tilting mutation, yielding a class of combinatorial moves in the poset of support $\operatorname{Hom}_{\Lambda}(M, \tau M) = 0$9-tilting modules and their corresponding subcategories (Adachi et al., 2024).
• In extended settings, AIR tilting subcategories induce torsion pairs on extriangulated and extended heart categories, and their mutation is expected to parallel and extend classical silting and tilting mutation techniques (Wei et al., 15 Dec 2025).

7. Unification, Hierarchies, and Open Problems

AIR tilting subcategories sit at the intersection of classical tilting/silting, $\tau$0-tilting, cotorsion theory, and cluster-tilting:

• Hierarchy: AIR tilting $\tau$1 quasi-tilting $\tau$2 (classical) tilting subcategories (Wei et al., 15 Dec 2025).
• Connections: The framework unifies and generalizes tilting theory, silting theory, cluster-tilting theory, support $\tau$3-tilting theory, cotorsion pairs, and various relative or extended contexts (Wei et al., 15 Dec 2025, Zhou et al., 2018, Iyama et al., 2013).
• Open Problems: Current research addresses the structure theory of mutation in extended hearts, wall-and-chamber decompositions on $\tau$4-structure spaces via AIR tilting subcategories, contravariant finiteness in more general triangulated or extriangulated categories, and the development of co-silting analogues (Wei et al., 15 Dec 2025).

AIR tilting subcategories thus serve as a central organizing concept for modern tilting theory, harmonizing combinatorial, homological, and categorical approaches across a broad swath of representation theory and homological algebra. The main technical instruments remain the compositions of functorial approximations, bifunctorial vanishing, closure properties under extensions and factors, and the equivalence of the bijection with cotorsion and torsion objects in the ambient category, allowing for a systematic transfer of structural results between different categorical frameworks (Zhu et al., 2024, Adachi et al., 2024, Wei et al., 15 Dec 2025, Asadollahi et al., 2022, Iyama et al., 2013).