A celebrated result in representation theory is that of higher Auslander correspondence. Let $Λ$ an Artin algebra and $X$ a $d$-cluster-tilting module. Iyama has shown that the endomorphism ring $Γ$ of $X$ is a $d$-Auslander algebra, and moreover this gives a correspondence between $d$-cluster-tilting modules and $d$-Auslander algebras. We present a self-contained and concise proof using the homological theory of idempotent ideals of Auslander--Platzeck--Todorov.
The homological theory of Auslander-Platzeck-Todorov on idempotent ideals laid much of the groundwork for higher Auslander-Reiten theory, providing the key technical lemmas for both higher Auslander correspondence as well as the construction of higher Nakayama algebras, among other results. Given a finite-dimensional algebra $A$ and idempotent $e$, we expand on a criterion of Jasso-Külshammer in order to determine a correspondence between the $2$-precluster-tilting subcategories of $\mathrm{mod}(A)$ and $\mathrm{mod}(A/\langle e\rangle)$. This is then applied in the context of generalising dim…
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ø. 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 esta…
We give new properties of algebras with finite Gorenstein dimension coinciding with the dominant dimension $\geq 2$, which are called Auslander-Gorenstein algebras in the recent work of Iyama and Solberg, see \cite{IyaSol}. In particular, when those algebras are standardly stratified, we give criteria when the category of (properly) (co)standardly filtered modules has a nice homological description using tools from the theory of dominant dimensions and Gorenstein homological algebra. We give some examples of standardly stratified algebras having dominant dimension equal to the Gorenstein dimen…
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…
The theory of $τ$-tilting was introduced by Adachi--Iyama--Reiten; one of the main results is a bijection between support $τ$-tilting modules and torsion classes. We are able to generalise this result in the context of the higher Auslander--Reiten theory of Iyama. For a finite-dimensional algebra $A$ with 2-cluster-tilting subcategory $\mathcal{C}\subseteq\mathrm{mod}A$, we are able to find a correspondence between support $τ_2$-tilting $A$-modules and torsion pairs in $\mathcal{C}$ satisfying an additional functorial finiteness condition.
A subcategory $\mathscr{W}$ of an abelian category is called wide if it is closed under kernels, cokernels, and extensions. Wide subcategories are of interest in representation theory because of their links to other homological and combinatorial objects, established among others by Ingalls-Thomas and Marks-Šťovíček. If $d \geqslant 1$ is an integer, then Jasso introduced the notion of $d$-abelian categories, where kernels, cokernels, and extensions have been replaced by longer complexes. Wide subcategories can be generalised to this situation. Important examples of $d$-abelian categories arise…
In this paper we study a class of algebras having $n$-dimensional pyramid shaped quiver with $n$-cubic cells, which we called $n$-cubic pyramid algebras. This class of algebras includes the quadratic dual of the basic $n$-Auslander absolutely $n$-complete algebras introduced by Iyama. We show that the projective resolution of the simples of $n$-cubic pyramid algebras can be characterized by $n$-cuboids, and prove that they are periodic. So these algebras are almost Koszul and $(n-1)$-translation algebras. We also recover Iyama's cone construction for $n$-Auslander absolutely $n$-complete algeb…
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.
Recently, Chen and Koenig in \cite{CheKoe} and Iyama and Solberg in \cite{IyaSol} independently introduced and characterised algebras with dominant dimension coinciding with the Gorenstein dimension and both dimensions being larger than or equal to two. In \cite{IyaSol}, such algebras are named Auslander-Gorenstein algebras. Auslander-Gorenstein algebras generalise the well known class of higher Auslander algebras, where the dominant dimension additionally coincides with the global dimension. In this article we generalise Auslander-Gorenstein algebras further to algebras having the property th…
In this article we investigate the relations between the Gorenstein projective dimensions of $Λ$-modules and their socles for minimal n-Auslander-Gorenstein algebras $Λ$ in the sense of Iyama and Solberg \cite{IS}. First we give a description of projective-injective $Λ$-modules in terms of their socles. Then we prove that a $Λ$-module $N$ has Gorenstein projective dimension at most n iff its socle has Gorenstein projective dimension at most n iff $N$ is cogenerated by a projective $Λ$-module. Furthermore, we show that minimal n-Auslander-Gorenstein algebras can be characterised by the relation…
Let R be a Cohen-Macaulay ring and M a maximal Cohen-Macaulay R-module. Inspired by recent striking work by Iyama, Burban-Iyama-Keller-Reiten and Van den Bergh we study the question of when the endomorphism ring of M has finite global dimension via certain conditions about vanishing of $\Ext$ modules. We are able to strengthen certain results by Iyama on connections between a higher dimension version of Auslander correspondence and existence of non-commutative crepant resolutions. We also recover and extend to positive characteristics a recent Theorem by Burban-Iyama-Keller-Reiten on cluster-t…
A Counterexample to Left-Right Symmetry for Diagonal Auslander-Regularity
School of Mathematics, Nanjing University（南京大学数学系）；School of Mathematics and Statistics, Guizhou University（贵州大学数学与统计学院）；Guizhou Provincial Key Laboratory of Applied Mathematics and Computing Power & Algorithms（贵州省应用数学与计算力及算法重点实验室）
We generalize the notions of $n$-cluster tilting subcategories and $τ$-selfinjective algebras into $n$-precluster tilting subcategories and $τ_n$-selfinjective algebras, where we show that a subcategory naturally associated to $n$-precluster tilting subcategories has a higher Auslander--Reiten theory. Furthermore, we give a bijection between $n$-precluster tilting subcategories and $n$-minimal Auslander--Gorenstein algebras, which is a higher dimensional analog of Auslander--Solberg correspondence (Auslander--Solberg, 1993) as well as a Gorenstein analog of $n$-Auslander correspondence (Iyama,…
Let $A$ and $B$ be finite-dimensional $k$-algebras over a field $k$ such that $A/\rad(A)$ and $B/\rad(B)$ are separable. In this note, we consider how to transfer a stable equivalence of Morita type between $A$ and $B$ to that between $eAe$ and $fBf$, where $e$ and $f$ are idempotent elements in $A$ and in $B$, respectively. In particular, if the Auslander algebras of two representation-finite algebras $A$ and $B$ are stably equivalent of Morita type, then $A$ and $B$ themselves are stably equivalent of Morita type. Thus, combining a result with Liu and Xi, we see that two representation-finit…
Over a finite-dimensonal algbera $A$, simple $A$-modules that have projective dimension one have special properties. For example, Geigle-Lenzing studied them in connection to homological epimorphisms of rings, and they have also appeared in work concerning the finitistic dimension conjecture. If we however work in a $d$-cluster-tilting subcategory, then not all simples are contained in this subcategory. In this context, a replacement might be to work with idempotent ideals instead, and utilise the theory of Auslander-Platzeck-Todorov. We introduce the notion of a fabric idempotent as an analog…
For a finite dimensional algebra $Λ$ and a non-negative integer $n$, we characterize when the set $\tilt_nΛ$ of additive equivalence classes of tilting modules with projective dimension at most $n$ has a minimal (or equivalently, minimum) element. This generalize results of Happel-Unger. Moreover, for an $n$-Gorenstein algebra $Λ$ with $n\geq 1$, we construct a minimal element in $\tilt_{n}Λ$. As a result, we give equivalent conditions for a $k$-Gorenstein algebra to be Iwanaga-Gorenstein. Moreover, for an $1$-Gorenstein algebra $Λ$ and its factor algebra $Γ=Λ/(e)$, we show that there is a bij…
For a finite acyclic quiver $Q$ and the corresponding preprojective algebra $Π$, we study the factor algebra $Π_w$ associated with a element $w$ in the Coxeter group introduced by Buan-Iyama-Reiten-Scott. The algebra $Π_w$ has a natural $\mathbb{Z}$-grading, and we prove that $\underline{\mathsf{Sub}}^{\mathbb{Z}}Π_w$ has a tilting object $M$. Moreover, we show that the endomorphism algebra of $M$ is isomorphic to the stable Auslander algebra of a certain torsion free class of $\mathsf{mod}\,kQ$.
We show that a properly stratified algebra is Gorenstein if and only if the characteristic tilting module coincides with the characteristic cotilting module. We further show that properly stratified Gorenstein algebras $A$ enjoy strong homological properties such as all Gorenstein projective modules being properly stratified and all endomorphism rings $\operatorname{End}_A(Δ(i))$ being Frobenius algebras. We apply our results to the study of properly stratified algebras that are minimal Auslander-Gorenstein algebras in the sense of Iyama-Solberg and calculate under suitable conditions their Ri…
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.
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 e…
If $A$ and $B$ are $n$- and $m$-representation finite $k$-algebras, then their tensor product $Λ= A\otimes_k B$ is not in general $(n+m)$-representation finite. However, we prove that if $A$ and $B$ are acyclic and satisfy the weaker assumption of $n$- and $m$-completeness, then $Λ$ is $(n+m)$-complete. This mirrors the fact that taking higher Auslander algebra does not preserve $d$-representation finiteness in general, but it does preserve $d$-completeness. As a corollary, we get the necessary condition for $Λ$ to be $(n+m)$-representation finite which was found by Herschend and Iyama by usin…
We construct two functors from the submodule category of a self-injective representation-finite algebra $Λ$ to the module category of the stable Auslander algebra of $Λ$. These functors factor through the module category of the Auslander algebra of $Λ$. Moreover they induce equivalences from the quotient categories of the submodule category modulo their respective kernels and said kernels have finitely many indecomposable objects up to isomorphism. Their construction uses a recollement of the module category of the Auslander algebra induced by an idempotent and this recollement determines a ch…
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 $τ^2 T\cong T$, where $τ$ 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…
In this work, we develop the theory of $k$-idempotent ideals in the setting of dualizing varieties. Several results given previously in \cite{APG} by M. Auslander, M. I. Platzeck, and G. Todorov are extended to this context. Given an ideal $\mathcal{I}$ (which is the trace of a projective module), we construct a canonical recollement which is the analog to a well-known recollement in categories of modules over artin algebras. Moreover, we study the homological properties of the categories involved in such a recollement. Consequently, we find conditions on the ideal $\mathcal{I}$ to obtain quas…
It is well-known that any maximal Cohen-Macaulay module over a hypersurface has a periodic free resolution of period 2. Auslander, Reiten and Buchweitz have used this periodicity to explain the existence of periodic projective resolutions over certain finite-dimensional algebras which arise as stable endomorphism rings of Cohen-Macaulay modules. These algebras are in fact periodic, meaning that they have periodic projective resolutions as bimodules and thus periodic Hochschild cohomology as well. The goal of this article is to generalize this construction of periodic algebras to the context of…
Higher Auslander algebras were introduced by Iyama generalizing classical concepts from representation theory of finite dimensional algebras. Recently these higher analogues of classical representation theory have been increasingly studied. Cyclic polytopes are classical objects of study in convex geometry. In particular, their triangulations have been studied with a view towards generalizing the rich combinatorial structure of triangulations of polygons. In this paper, we demonstrate a connection between these two seemingly unrelated subjects. We study triangulations of even-dimensional cycli…
Given an algebra with an idempotent, we introduce two procedures to construct families of new algebras, termed mirror-reflective algebras and reduced mirror-reflective algebras. We then establish connections among these algebras by recollements of derived module categories. In case of given algebras being gendo-symmetric, we show that the (reduced) mirror-reflective algebras are symmetric and provide new methods to construct systematically both higher dimensional (minimal) Auslander-Gorenstein algebras and gendo-symmetric algebras of higher dominant dimensions. This leads to a new formulation …
We study a finite-dimensional algebra $Λ$ constructed from a Postnikov diagram $D$ in a disk, obtained from the dimer algebra of Baur-King-Marsh by factoring out the ideal generated by the boundary idempotent. Thus $Λ$ is isomorphic to the stable endomorphism algebra of the cluster tilting module $T\in\underline{\operatorname{CM}}(B)$ introduced by Jensen-King-Su in order to categorify the cluster algebra structure of $\mathbb C[\operatorname{Gr}_k(\mathbb C^n)]$. We show that $Λ$ is self-injective if and only if $D$ has a certain rotational symmetry. In this case, $Λ$ is the Jacobian algebra …
In this paper, we present two methods, induction and restriction procedures, to construct new stable equivalences of Morita type. Suppose that a stable equivalence of Morita type between two algebras $A$ and $B$ is defined by a $B$-$A$-bimodule $N$. Then, for any finite admissible set $Φ$ and any generator $X$ of the $A$-module category, the $Φ$-Auslander-Yoneda algebras of $X$ and $N\otimes_AX$ are stably equivalent of Morita type. Moreover, under certain conditions, we transfer stable equivalences of Morita type between $A$ and $B$ to ones between $eAe$ and $fBf$, where $e$ and $f$ are idemp…
We show the existence of tilting objects in the singularity category $\mathsf{D}_{\mathsf{ Sg}}^{\mathsf{ gr}}(eAe)$ associated to certain noetherian AS-regular algebras $A$ and idempotents $e$. This gives a triangle equivalence between $\mathsf{D}_{\mathsf{ Sg}}^{\mathsf{ gr}}(eAe)$ and the derived category of a finite-dimensional algebra. In particular, we obtain a tilting object if the Beilinson algebra of $A$ is a levelled Koszul algebra. This generalises the existence of a tilting object in $\mathsf{D}_{\mathsf{ Sg}}^{\mathsf{ gr}}(S^G)$, where $S$ is a Koszul AS-regular algebra and $G$ i…
Higher torsion classes, $τ_d$-tilting theory and silting complexes
University of Glasgow（格拉斯哥大学）；Department of Mathematical Sciences NTNU（挪威科技大学数学科学系）；Aarhus Universitet（奥胡斯大学）；LAMFA, Université de Picardie Jules Verne（皮卡第儒勒·凡尔纳大学 LAMFA）；Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales（布宜诺斯艾利斯大学理学院）；CONICET - Universidad de Buenos Aires. Instituto de Investigaciones Matemáticas “Luis A. Santaló” (IMAS)（阿根廷国家科学研究委员会-布宜诺斯艾利斯大学路易斯·桑塔洛数学研究所）
Let $k$ be a field and $\mathcal{C}$ a $k$-linear, Hom-finite triangulated category with split idempotents. In this paper, we show that under suitable circumstances, the Grothendieck group of $\mathcal{C}$, denoted $K_0(\mathcal{C})$, can be expressed as a quotient of the split Grothendieck group of a higher-cluster tilting subcategory of $\mathcal{C}$. Assume that $n\geq 2$ is an even integer, $\mathcal{C}$ is $n$-Calabi Yau and has an $n$-cluster tilting subcategory $\mathcal{T}$. Then, for every indecomposable $M$ in $\mathcal{T}$, there is an Auslander-Reiten $(n+2)$-angle in $\mathcal{T}$…
