Abstract:A self-contained introduction to the basics of Tau-tilting theory. We assume that the reader is familiar with Auslander-Reiten theory, but circumvent the need for the Brenner-Butler tilting theorem completely.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce and explain the basic knowledge of τ -tilting theory in mathematical representation theory. Specifically, the goals of the paper are:
1. **Provide a self - contained introduction to τ -tilting theory**: The author assumes that the reader is already familiar with Auslander - Reiten theory, but completely avoids the use of Brenner - Butler tilting theorem to make the content more concise and easier to understand.
2. **Define and support τ -tilting modules**: The paper defines τ -rigid modules and support τ -tilting modules, and explores the properties of these modules. In particular, the number of support τ -tilting modules is equal to their support rank, that is:
\[
\#T=\text{srank}(T)
\]
where \(\#T\) represents the number of indecomposable direct summands of module \(T\), and \(\text{srank}(T)\) represents the number of isomorphism classes of simple modules that appear in the composition series of \(T\).
3. **Establish relationships with other important objects**: The paper points out that the set of isomorphism classes of support τ -tilting modules \(s\tau\text{-tilt}A\) has a natural one - to - one correspondence with several other interesting object categories. For example, these object categories include certain subcategories with ideal properties, such as so - called torsion classes.
4. **Explore the relationship between τ -rigid modules and functorially finite torsion subcategories**: The paper explores the connection between τ -rigid modules and functorially finite torsion subcategories, and proves that each functorially finite torsion subcategory can be generated by a τ -rigid module.
5. **Discuss the combinatorial and homological structures of τ -tilting modules**: The paper shows that support τ -tilting modules have rich combinatorial and homological structures, which makes \(s\tau\text{-tilt}A\) form a regular graph, whose edges can be interpreted as "mutations" or inclusion relationships between related torsion subcategories.
Through these goals, the paper aims to provide readers with a clear and systematic introduction to τ -tilting theory, enabling readers to understand and apply this important tool in modern algebraic representation theory.