\(n\)-cluster tilting subcategories for radical square zero algebras (Q2161119)

Higher Auslander-Reiten theory was introduced by \textit{O. Iyama} [Adv. Math. 210, No. 1, 22--50 (2007; Zbl 1115.16005)] in the early 2000's. Since then, the study of higher cluster-tilting subcategories has become popular. In particular, mathematicians have been trying to construct specific examples of \(n\)-cluster tilting subcategories. The paper under review does this for radical square zero algebras by providing a complete classification of radical square zero algebras that admit both \(n\)-cluster tilting subcategories and \(n\mathbb{Z}\)-cluster tilting subcategories. Moreover, in this paper the author provides a very nice complete lattice structure to the collection of \(n\)-cluster tilting subcategories in the case in which the quiver \(Q\) satisfies some properties. Namely in Section 2, the author first defines \(n\)-pre-admissible quivers and proves that their path algebras are string algebras. The string algebra structure is used to study the AR-theory of the pre-admissible quivers along with the notion of flow paths, defined shortly after. The definition and consequences of the existence of flow paths can get quite technical; however, the author does a wonderful job using simplifying notation to increase the readability of the paper. The technical lemmas in Section 2 culminate in a necessary condition for the existence of an \(n\)-cluster tilting subcategory which is a divisibility condition related to both \(n\) and the flow paths in the \(n\)-pre-admissible quiver \(Q\). The case in which \(Q\) doesn't have flow paths is also dealt with earlier in this section. In Section 3, the author provides sufficient conditions for the existence of \(n\)-cluster tilting subcategories by first defining \(n\)-admissible quivers and providing several examples. The main result in this section is that \(n\)-admissible quivers admit \(n\)-cluster tilting subcategories. The way in which this is proved is by explicitly constructing an \(n\)-cluster tilting module \(M\); that is \(\text{add}(M)\) is an \(n\)-cluster tilting category. This section is spent constructing this module by first defining it, then providing an alternate description, and finally showing that \(M\) is the unique basic \(n\)-cluster tilting \(\Bbbk Q/\mathcal{J}^2\)-module. Section 4 contains the main results of this paper. It begins by combining the main results in Sections 2 and 3 to provide a complete classification of radical square zero algebras that admit \(n\)-cluster tilting subcategories, namely when \(Q\) is \(n\)-admissible. The author then provides several examples of the module \(M\) for the examples of quivers presented in Section 2 along with a way to explicitly construct \(n\)-admissible quivers from \(n\)-pre-admissible ones. Then, the author defines \(n\mathbb{Z}\)-cluster tilting subcategories and provides a complete classification of which radical square zero algebras admit these subcategories. As it turns out, the author shows that only some Nakayama algebras admit these subcategories. The author finishes this section by giving a complete lattice structure to the collection of \(n\)-cluster tilting subcategories by ordering them by inclusion. But because of the divisibility condition first noted in Section 2 to ensure the existence of \(n\)-cluster tilting subcategories, this lattice structure turns out to be isomorphic to the opposite of the lattice of the divisors of the integer \(N\), which is defined as the largest \(N\) for which \(Q\) is \(N\)-admissible. This paper is very well written with several illuminating examples. The proofs, although sometimes technical, are well written, easy to follow, and do not use too many deep results. Rather, they rely on the structure of the quiver \(Q\), which simplifies reading. The main results are very nice and make progress in the study of higher cluster theory.