Abstract:It is demonstrated that any almost-tilting module over a gentle algebra is indeed partial-tilting, meaning it can be completed as a tilting module. Furthermore, such a module has at most $2n$ possible complements, thereby confirming a (modified) conjecture of Happel for the case of gentle algebras. Additionally, for any $n\geq 3$ and $1\leq m \leq n-2$, there always exists a (connected) gentle algebra with rank $n$ and a pre-tilting module of rank $m$ which is not partial-tilting. The tool we use is the surface model associated with the module category of a gentle algebra. The main technique is an induction process involving surface cuts, which is hoped to be beneficial for other applications as well.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the complementarity of tilting modules, especially whether the almost - tilting modules over gentle algebras can be complemented to tilting modules. Specifically:
1. **Whether almost - tilting modules are partial - tilting modules**: The paper proves that for any almost - tilting module over a gentle algebra of rank \(n\), it is indeed a partial - tilting module, that is, it can be complemented to a tilting module. This confirms a revised conjecture of Happel regarding gentle algebras.
2. **The number of complements**: The paper further shows that such a module has at most \(2n\) possible complements, thus verifying Happel's conjecture about the number of complements.
3. **The existence of counterexamples**: For any \(n\geq3\) and \(1\leq m\leq n - 2\), there always exists a (connected) gentle algebra of rank \(n\) and a pre - tilting module of rank \(m\) that is not a partial - tilting module. This part of the content supplements the integrity of the theory, indicating that under certain conditions, pre - tilting modules cannot be complemented to tilting modules.
To achieve these goals, the author uses a surface model related to the module category of gentle algebras and deals with the problem by cutting the surface inductively. This method not only helps to solve the current problem but may also be beneficial for other applications.
### Formula summary
- **Definition of tilting module**:
- Finite project - dimension: \(\text{pd}_A T < +\infty\)
- Self - orthogonal: \(\text{Ext}^i_A(T, T) = 0\) for all \(i > 0\)
- There exists an exact sequence: \(0\rightarrow A_A\rightarrow T_0\rightarrow\cdots\rightarrow T_d\rightarrow0\), where \(T_i\in\text{add}T\)
- **Almost - tilting module**: A pre - tilting module with \(n - 1\) indecomposable direct summands, where \(n = |A|\) represents the rank of the algebra \(A\).
- **The number of complements**: For gentle algebras, an almost - tilting module has at most \(2n\) complements.
### Conclusion
The main conclusion of the paper is: for any gentle algebra, an almost - tilting module is indeed a partial - tilting module, and the number of its complements is at most \(2n\). In addition, for pre - tilting modules under certain specific conditions, they cannot be complemented to tilting modules. This result not only verifies Happel's conjecture but also provides a broader theoretical framework and method for studying gentle algebras and their related structures.