Relative cluster tilting theory and $τ$-tilting theory

Yu Liu,Jixing Pan,Panyue Zhou

2024-08-28

Abstract:Let $\mathcal C$ be a Krull-Schmidt triangulated category with shift functor $[1]$ and $\mathcal R$ be a rigid subcategory of $\mathcal C$. We are concerned with the mutation of two-term weak $\mathcal R[1]$-cluster tilting subcategories. We show that any almost complete two-term weak $\mathcal R[1]$-cluster tilting subcategory has exactly two completions. Then we apply the results on relative cluster tilting subcategories to the domain of $\tau$-tilting theory in functor categories and abelian categories.

Representation Theory,Category Theory

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the relationship between relative cluster tilting theory and τ -tilting theory and their applications. Specifically, in the Krull - Schmidt triangulated category \(C\) with the shift functor \([1]\), given a rigid subcategory \(R\), the paper explores the mutation problem of two - step weakly \(R[1]\)-cluster tilting subcategories. The main contributions of the paper include:

1. **Existence of mutation**: It is proved that any almost complete two - step weakly \(R[1]\)-cluster tilting subcategory has exactly two completions.
2. **Application of τ -tilting theory**: The above results are applied to the τ -tilting theory in functor categories and abelian categories, and the correspondence between relative cluster tilting subcategories and support τ -tilting subcategories is established.
3. **Results in special cases**: When \(R\) is a cluster tilting subcategory or a tilting subcategory, the properties of mutations in these special cases are further explored.

### Specific problems in the paper

1. **Construction of mutation pairs**:
- It is proved that for any \(R[1]\)-functor - finite two - step \(R[1]\)-rigid subcategory \(X\), there exists a mutation pair \((M_X, N_X)\).
- \(M_X\) and \(N_X\) are two different two - step weakly \(R[1]\)-cluster tilting subcategories containing \(X\) respectively.

2. **Completions of almost complete two - step weakly \(R[1]\)-cluster tilting subcategories**:
- It is proved that any almost complete two - step weakly \(R[1]\)-cluster tilting subcategory has exactly two completions, and these two completions are unique.

3. **τ -tilting theory in functor categories**:
- The correspondence between τ -tilting pairs and support τ -tilting pairs in functor categories is established. In particular, when \((R * R[1])/R[1]\) is an abelian category, each τ -rigid pair is exactly contained in two support τ -tilting pairs.

4. **τ -tilting theory in abelian categories**:
- The above results are applied to abelian categories, and the bijective relationship between τ -cotorsion torsion pairs, left weakly cotorsion torsion pairs and support τ -tilting subcategories is established.
- It is proved that under certain conditions, each almost complete support τ -tilting pair is exactly contained in two different support τ -tilting pairs.

### Main conclusions

- **Theorem 1.2**: For any \(R[1]\)-functor - finite two - step \(R[1]\)-rigid subcategory \(X\), there exists a mutation pair \((M_X, N_X)\).
- **Theorem 1.4**: Any almost complete two - step weakly \(R[1]\)-cluster tilting subcategory has exactly two completions.
- **Theorem 1.6**: In functor categories, each τ -rigid pair is exactly contained in two support τ -tilting pairs.
- **Theorem 1.7**: In abelian categories, the bijective relationship between τ -cotorsion torsion pairs, left weakly cotorsion torsion pairs and support τ -tilting subcategories is established.
- **Theorem 1.8**: Under certain conditions, each almost complete support τ -tilting pair is exactly contained in two different support τ -tilting pairs.

Through these results, the paper not only deepens the understanding of relative cluster tilting theory and τ -tilting theory, but also provides a new perspective for the application of these theories in different mathematical fields.