An exact structure approach to almost rigid modules over quivers of type $\mathbb{A}$

Thomas Brüstle,Eric J. Hanson,Sunny Roy,Ralf Schiffler
2024-10-07
Abstract:Let $A$ be the path algebra of a quiver of Dynkin type $\mathbb{A}_n$. The module category $\text{mod}\,A$ has a combinatorial model as the category of diagonals in a polygon $S$ with $n+1$ vertices. The recently introduced notion of almost rigid modules is a weakening of the classical notion of rigid modules. The importance of this new notion stems from the fact that maximal almost rigid $A$-modules are in bijection with the triangulations of the polygon $S.$ In this article, we give a different realization of maximal almost rigid modules. We introduce a non-standard exact structure $\mathcal{E}_\diamond$ on $\text{mod}\,A$ such that the maximal almost rigid $A$-modules in the usual exact structure are exactly the maximal rigid $A$-modules in the new exact structure. A maximal rigid module in this setting is the same as a tilting module. Thus the tilting theory relative to the exact structure $\mathcal{E}_\diamond$ translates into a theory of maximal almost rigid modules in the usual exact structure. As an application, we show that with the exact structure $\mathcal{E}_\diamond$, the module category becomes a 0-Auslander category in the sense of Gorsky, Nakaoka and Palu. We also discuss generalizations to quivers of type $\mathbb{D}$ and gentle algebras.
Representation Theory,Category Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore the structure and properties of almost rigid modules over the path algebra \(KQ\), where \(Q\) is a quiver of Dynkin type \(A_n\). Specifically, the article aims to re - realize the maximal almost rigid modules by introducing a non - standard exact structure \(E^\diamond\) and show how this new structure is related to the classical rigid module theory. ### Detailed description of the main problem: 1. **Introducing a new exact structure**: - The paper introduces a non - standard exact structure named \(E^\diamond\), which is defined on \(mod\ KQ\). - This structure makes the modules that are maximal almost rigid modules under the classical exact structure become maximal rigid modules (i.e., tilting modules) under the new structure. 2. **Geometric interpretation of maximal almost rigid modules**: - The article points out that there is a one - to - one correspondence between maximal almost rigid modules and triangulations of a polygon \(S\), where \(S\) is a polygon with \(n + 1\) vertices. - This geometric interpretation provides a new perspective for understanding these modules. 3. **Application of 0 - Auslander categories**: - By introducing the \(E^\diamond\) exact structure, the article proves that \(mod\ KQ\) becomes a 0 - Auslander category. - This result further reveals the properties of maximal almost rigid modules and provides a new framework for studying this type of modules. 4. **Generalization to other types**: - The article also discusses the possibility of generalizing these results to Dynkin type \(D\) and gentle algebras. ### Formulas and definitions: - **Definition of almost rigid modules**: \[ M \text{ is almost rigid if } \forall \text{ indecomposable direct summands } X, Y \text{ of } M, \text{ such that } \operatorname{Ext}^1_{KQ}(X, Y) \text{ does not contain a diamond short exact sequence.} \] - **Definition of maximal almost rigid modules**: \[ M \text{ is maximal almost rigid (MAR) if it is almost rigid and there does not exist a nonzero module } N \text{ such that } M \oplus N \text{ is a (basic) almost rigid module.} \] - **Definition of \(E^\diamond\) exact structure**: \[ E^\diamond(N, M)=\{\eta \in \operatorname{Ext}^1(N, M) \mid \eta \text{ is split or a diamond exact sequence}\}. \] By solving these problems, the article not only deepens the understanding of almost rigid modules but also provides new tools and methods for future research.