Search

This paper surveys recent contructions in higher Auslander--Reiten theory. We focus on those which, due to their combinatorial properties, can be regarded as higher dimensional analogues of path algebras of linearly oriented type $\mathbb{A}$ quivers. These include higher dimensional analogues of Nakayama algebras, of the mesh category of type $\mathbb{Z}\mathbb{A}_\infty$ and the tubes, and of the triangulated category generated by an $m$-spherical object. For $m=2$, the latter category can be regarded as the higher cluster category of type $\mathbb{A}_\infty$ whose cluster-tilting combinatorics are controlled by the triangulations of the cylic apeirotope., Comment: The authors' contributions to the proceedings of the ICRA 2016

A theorem of Keller states that the Yoneda algebra of the simple modules over a finite-dimensional algebra is generated in cohomological degrees $0$ and $1$ as a minimal $A_\infty$-algebra. We provide a proof of an extension of Keller's theorem to abelian length categories by reducing the problem to a particular class of Nakayama algebras, where the claim can be shown by direct computation., Comment: 5 pages. v2: small edits following referee report

We extend a theorem of Ladkani concerning derived equivalences between upper-triangular matrix rings from ordinary rings to ring spectra. Our result also extends an analogous theorem of Maycock for differential graded algebras., Comment: 7 pages. v2: Changed title. Added reference to previous work of Maycock and other minor edits. v3: Changed title (again). Added some applications of the main theorem. Accepted for publication in C. R. Math. Acad. Sci. Paris

We provide an outline of the proof of the Donovan--Wemyss Conjecture in the context of the Homological Minimal Model Program for threefolds. The proof relies on results of August, of Hua and the second-named author, Wemyss, and on the Derived Auslander--Iyama Correspondence -- a recent result by the first- and third-named authors., Comment: 25 pages. v4: Corrected several minor typos. v3: New title; final version; to appear in the proceedings of the Abel Symposium 2022: Triangulated categories in representation theory and beyond

We work over a perfect field. Recent work of the third-named author established a Derived Auslander Correspondence that relates finite-dimensional self-injective algebras that are twisted $3$-periodic to algebraic triangulated categories of finite type. Moreover, the aforementioned work also shows that the latter triangulated categories admit a unique differential graded enhancement. In this article we prove a higher-dimensional version of this result that, given an integer $d\geq1$, relates twisted $(d+2)$-periodic algebras to algebraic triangulated categories with a $d\mathbb{Z}$-cluster tilting object. We also show that the latter triangulated categories admit a unique differential graded enhancement. Our result yields recognition theorems for interesting algebraic triangulated categories, such as the Amiot cluster category of a self-injective quiver with potential in the sense of Herschend and Iyama and, more generally, the Amiot-Guo-Keller cluster category associated with a $d$-representation finite algebra in the sense of Iyama and Oppermann. As an application of our result, we obtain infinitely many triangulated categories with a unique differential graded enhancement that is not strongly unique. In the appendix, B. Keller explains how -- combined with crucial results of August and Hua-Keller -- our main result yields the last key ingredient to prove the Donovan-Wemyss Conjecture in the context of the Homological Minimal Model Program for threefolds., Comment: Appendix by Bernhard Keller. 117 pp., 2 figs. v2: added refs; corrected minor typos and other small changes; new subsec 5.5.4 on the comparison with topological enhancements. v3: corrected minor typos; new subsec 4.6 on an example of a universal Massey product. v4: new title; added further details to the proof of Thm B; several minor edits and typos corrected. v5: corrected typos

We show that the perfect derived categories of Iyama's $d$-dimensional Auslander algebras of type $\mathbb{A}$ are equivalent to the partially wrapped Fukaya categories of the $d$-fold symmetric product of the $2$-dimensional unit disk with finitely many stops on its boundary. Furthermore, we observe that Koszul duality provides an equivalence between the partially wrapped Fukaya categories associated to the $d$-fold symmetric product of the disk and those of its $(n-d)$-fold symmetric product; this observation leads to a symplectic proof of a theorem of Beckert concerning the derived Morita equivalence between the corresponding higher Auslander algebras of type $\mathbb{A}$. As a byproduct of our results, we deduce that the partially wrapped Fukaya categories associated to the $d$-fold symmetric product of the disk organise into a paracyclic object equivalent to the $d$-dimensional Waldhausen $\operatorname{S}$-construction, a simplicial space whose geometric realisation provides the $d$-fold delooping of the connective algebraic $K$-theory space of the ring of coefficients., Comment: 43 pages, 6 figures

These notes are an expanded version of my talk at the ICRA 2018 in Prague, Czech Republic; they are based on joint work with Tobias Dyckerhoff and Tashi Walde. In them we relate Iyama's higher Auslander algebras of type $\mathbb{A}$ to Eilenberg--Mac Lane spaces in algebraic topology and to higher-dimensional versions of the Waldhausen $\operatorname{S}$-construction from algebraic $K$-theory., Comment: 16 pages. The author's contribution to the Proceedings of the ICRA 2018, v.2 minor edits following referee report

Inspired by work of Ladkani, we explain how to construct generalisations of the classical reflection functors of Bern\v{s}te\u{\i}n, Gel'fand and Ponomarev by means of the Grothendieck construction., Comment: 8 pages; v2: minor edits

We develop a novel combinatorial perspective on the higher Auslander algebras of type $\mathbb{A}$, a family of algebras arising in the context of Iyama's higher Auslander-Reiten theory. This approach reveals interesting simplicial structures hidden within the representation theory of these algebras and establishes direct connections to Eilenberg-MacLane spaces and higher-dimensional versions of Waldhausen's $\operatorname{S}_\bullet$-construction in algebraic $K$-theory. As an application of our techniques we provide a generalisation of the higher reflection functors of Iyama and Oppermann to representations with values in stable $\infty$-categories. The resulting combinatorial framework of slice mutation can be regarded as a higher-dimensional variant of the abstract representation theory of type $\mathbb{A}$ quivers developed by Groth and \v{S}\v{t}ov\'{\i}\v{c}ek. Our simplicial point of view then naturally leads to an interplay between slice mutation, horn filling conditions, and the higher Segal conditions of Dyckerhoff and Kapranov. In this context, we provide a classification of higher Segal objects with values in any abelian category or stable $\infty$-category., Comment: 52 pages; v2: corrected minor mistake in Notation 1.12 and other typos

This article consists of an introduction to Iyama's higher Auslander-Reiten theory for Artin algebras from the viewpoint of higher homological algebra. We provide alternative proofs of the basic results in higher Auslander-Reiten theory, including the existence of $d$-almost-split sequences in $d$-cluster-tilting subcategories, following the approach to classical Auslander-Reiten theory due to Auslander, Reiten, and Smal{\o}. We show that Krause's proof of Auslander's defect formula can be adapted to give a new proof of the defect formula for $d$-exact sequences. We use the defect formula to establish the existence of morphisms determined by objects in $d$-cluster-tilting subcategories., Comment: 25 pages, final version

We introduce higher dimensional analogues of the Nakayama algebras from the viewpoint of Iyama's higher Auslander--Reiten theory. More precisely, for each Nakayama algebra $A$ and each positive integer $d$, we construct a finite dimensional algebra $A^{(d)}$ having a distinguished $d$-cluster-tilting $A^{(d)}$-module whose endomorphism algebra is a higher dimensional analogue of the Auslander algebra of $A$. We also construct higher dimensional analogues of the mesh category of type $\mathbb{ZA}_\infty$ and the tubes., Comment: v5: 50 pages, further minor corrections following referee report. With an appendix by the second named author and Chrysostomos Psaroudakis and an appendix by Sondre Kvamme

Let $k$ be a field. In this short note we give an example of a $2$-abelian $k$-category, realized as a $2$-cluster-tilting subcategory of the category $\operatorname{mod}\,A$ of finite dimensional (right) $A$-modules over a finite dimensional $k$-algebra $A$, for which the naive idea for constructing its "bounded derived category" as $2$-cluster-tilting subcategory of the bounded derived category of $\operatorname{mod}\,A$ cannot work., Comment: 4 pages. This note is not intended for publication

Let $R$ be a commutative artinian ring. We extend higher Auslander correspondence from Artin $R$-algebras of finite representation type to dualizing $R$-varieties. More precisely, for a positive integer $d$, we show that a dualizing $R$-variety is $d$-abelian if and only if it is a $d$-Auslander dualizing $R$-variety if and only if it is equivalent to a $d$-cluster-tilting subcategory of the category of finitely presented modules over a dualizing $R$-variety., Comment: 18 pages. Note the change in the title and the change of terminology from 'homological d-cluster-tilting subcategory' to 'dZ-cluster-tilting subcategory'

The class of support $\tau$-tilting modules was introduced to provide a completion of the class of tilting modules from the point of view of mutations. In this article we study $\tau$-tilting finite algebras, i.e. finite dimensional algebras $A$ with finitely many isomorphism classes of indecomposable $\tau$-rigid modules. We show that $A$ is $\tau$-tilting finite if and only if very torsion class in $\mod A$ is functorially finite. We observe that cones generated by $g$-vectors of indecomposable direct summands of each support $\tau$-tilting module form a simplicial complex $\Delta(A)$. We show that if $A$ is $\tau$-tilting finite, then $\Delta(A)$ is homeomorphic to an $(n-1)$-dimensional sphere, and moreover the partial order on support $\tau$-tilting modules can be recovered from the geometry of $\Delta(A)$. Finally we give a bijection between indecomposable $\tau$-rigid $A$-modules and bricks of $A$ satisfying a certain finiteness condition, which is automatic for $\tau$-tilting finite algebras., Comment: 29 pages. Changed title. Added Theorem 6.5 and Proposition 6.6

We introduce $n$-abelian and $n$-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that $n$-cluster-tilting subcategories of abelian (resp. exact) categories are $n$-abelian (resp. $n$-exact). These results allow to construct several examples of $n$-abelian and $n$-exact categories. Conversely, we prove that $n$-abelian categories satisfying certain mild assumptions can be realized as $n$-cluster-tilting subcategories of abelian categories. In analogy with a classical result of Happel, we show that the stable category of a Frobenius $n$-exact category has a natural $(n+2)$-angulated structure in the sense of Gei\ss-Keller-Oppermann. We give several examples of $n$-abelian and $n$-exact categories which have appeared in representation theory, commutative ring theory, commutative and non-commutative algebraic geometry., Comment: 58 pages. Corrected an error in Thm 3.20 and Lemma 3.22 and several typos. Accepted for publication in Mathematische Zeitschrift

Let $\mathbb{X}$ be a weighted projective line and $\operatorname{coh}\mathbb{X}$ the associated categoy of coherent sheaves. We classify the tilting complexes $T$ in $D^b(\operatorname{coh}\mathbb{X})$ such that $\tau^2 T\cong T$, where $\tau$ is the Auslander-Reiten translation in $D^b(\operatorname{coh}\mathbb{X})$. As an application of this result, we classify the 2-representation-finite algebras which are derived-equivalent to a canonical algebra. This complements Iyama-Oppermann's classification of the iterated tilted 2-representation-finite algebras. By passing to 3-preprojective algebras, we obtain a classification of the selfinjective cluster-tilted algebras of canonical-type. This complements Ringel's classification of the selfinjective cluster-tilted algebras., Comment: 28 pages, corrected typos, minor edits

We show that the category of finitely generated free modules over certain local rings is n-angulated for every n at least 3. In fact, we construct several classes of n-angles, parametrized by equivalence classes of units in the local rings. Finally, we show that for odd values of n some of these n-angulated categories are not algebraic., Comment: 18 pages, replaces an earlier version by the first and last author. New section on algebraic n-angulated categories

The class of support $\tau$-tilting modules was introduced recently by Adachi, Iyama and Reiten. These modules complete the class of tilting modules from the point of view of mutations. Given a finite dimensional algebra $A$, we study all basic support $\tau$-tilting $A$-modules which have given basic $\tau$-rigid $A$-module as a direct summand. We show that there exist an algebra $C$ such that there exists an order-preserving bijection between these modules and all basic support $\tau$-tilting $C$-modules; we call this process $\tau$-tilting reduction. An important step in this process is the formation of $\tau$-perpendicular categories which are analogs of ordinary perpendicular categories. Finally, we show that $\tau$-tilting reduction is compatible with silting reduction and 2-Calabi-Yau reduction in appropiate triangulated categories., Comment: 32 pages. Shortened abstract, corrected typos in references [1] and [9]

Given a connected non-negative unit form we construct an extended affine Lie algebra by giving a Chevalley basis for it. We also obtain this algebra as a quotient of an algebra defined by means of generalized Serre relations by M. Barot, D. Kussin and H. Lenzing. This is done in an analogous way to the construction of the simply-laced affine Kac-Moody algebras. Thus, we obtain a family of extended affine Lie algebras of simply-laced Dynkin type and arbitrary nullity. Furthermore, there is a one-to-one correspondence between these Lie algebras and the equivalence classes of connected non-negative unit forms., Comment: 12 pages, stated converse of Thm 1.1 explicitely and edited Thm. 4.5 accordingly. Final version, accepted for publication in J. Algebra

Among the mutation finite cluster algebras the tubular ones are a particularly interesting class. We show that all tubular (simply laced) cluster algebras are of exponential growth by two different methods: first by studying the automorphism group of the corresponding cluster category and second by giving explicit sequences of mutations., Comment: 20 pages, v2: two typos on p. 13 fixed, v3: references to the related work by Felikson, Shapiro, Thomas and Tumarkin updated and extended. Final version, to appear in J. Pure Appl. Algebra