Source author record

Osamu Iyama

Osamu Iyama appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

46works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

46 published item(s)

preprint2021arXiv

Distributive lattices and Auslander regular algebras

Let $L$ denote a finite lattice with at least two points and let $A$ denote the incidence algebra of $L$. We prove that $L$ is distributive if and only if $A$ is an Auslander regular ring, which gives a homological characterisation of distributive lattices. In this case, $A$ has an explicit minimal injective coresolution, whose $i$-th term is given by the elements of $L$ covered by precisely $i$ elements. We give a combinatorial formula of the Bass numbers of $A$. We apply our results to show that the order dimension of a distributive lattice $L$ coincides with the global dimension of the incidence algebra of $L$. Also we categorify the rowmotion bijection for distributive lattices using higher Auslander-Reiten translates of the simple modules.

preprint2020arXiv

Classifying $τ$-tilting modules over the Auslander algebra of $K[x]/(x^n)$

We build a bijection between the set $\sttiltΛ$ of isomorphism classes of basic support $τ$-tilting modules over the Auslander algebra $Λ$ of $K[x]/(x^n)$ and the symmetric group $\mathfrak{S}_{n+1}$, which is an anti-isomorphism of partially ordered sets with respect to the generation order on $\sttiltΛ$ and the left order on $\mathfrak{S}_{n+1}$. This restricts to the bijection between the set $\tiltΛ$ of isomorphism classes of basic tilting $Λ$-modules and the symmetric group $\mathfrak{S}_n$ due to Brüstle, Hille, Ringel and Röhrle. Regarding the preprojective algebra $Γ$ of Dynkin type $A_n$ as a factor algebra of $Λ$, we show that the tensor functor $-\otimes_ΛΓ$ induces a bijection between $\sttiltΛ\to\sttiltΓ$. This recover Mizuno's bijection $\mathfrak{S}_{n+1}\to\sttiltΓ$ for type $A_n$.

preprint2020arXiv

d-Representation-finite self-injective algebras

In this paper, we initiate the study of higher-dimensional Auslander-Reiten theory of self-injective algebras. We give a systematic construction of (weakly) $d$-representation-finite self-injective algebras as orbit algebras of the repetitive categories of algebras of finite global dimension satisfying a certain finiteness condition for the Serre functor. The condition holds, in particular, for all fractionally Calabi-Yau algebras of global dimension at most $d$. This generalizes Riedtmann's classical construction of representation-finite self-injective algebras. Our method is based on an adaptation of Gabriel's covering theory for $k$-linear categories to the setting of higher-dimensional Auslander-Reiten theory. Applications include $n$-fold trivial extensions and (classical and higher) preprojective algebras, which are shown to be $d$-representation-finite in many cases. We also get a complete classification of all $d$-representation-finite self-injective Nakayama algebras for arbitrary $d$.

preprint2020arXiv

Higher preprojective algebras, Koszul algebras, and superpotentials

In this article we study higher preprojective algebras, showing that various known results for ordinary preprojective algebras generalize to the higher setting. We first show that the quiver of the higher preprojective algebra is obtained by adding arrows to the quiver of the original algebra, and these arrows can be read off from the last term of the bimodule resolution of the original algebra. In the Koszul case we are able to obtain the new relations of the higher preprojective algebra by differentiating a superpotential and we show that when our original algebra is $d$-hereditary all the relations come from the superpotential. We then construct projective resolutions of all simple modules for the higher preprojective algebra of a $d$-hereditary algebra. This allows us to recover various known homological properties of the higher preprojective algebras and to obtain a large class of almost Koszul dual pairs of algebras. We also show that when our original algebra is Koszul there is a natural map from the quadratic dual of the higher preprojective algebra to a graded trivial extension algebra.

preprint2020arXiv

Representation theory of Geigle-Lenzing complete intersections

Weighted projective lines, introduced by Geigle and Lenzing in 1987, are important objects in representation theory. They have tilting bundles, whose endomorphism algebras are the canonical algebras introduced by Ringel. The aim of this paper is to study their higher dimensional analogs. First, we introduce a certain class of commutative Gorenstein rings $R$ graded by abelian groups $L$ of rank $1$, which we call Geigle-Lenzing complete intersections. We study the stable category of Cohen-Macaulay representations $CM^LR$, which coincides with the singularity category $D_{sg}^L(R)$. We show that the stable category of $CM^LR$ is triangle equivalent to $D^b(mod A^{CM})$ for a finite dimensional algebra $A^{CM}$, which we call the CM-canonical algebra. As an application, we classify the $(R,L)$ that are Cohen-Macaulay finite. We also give sufficient conditions for $(R,L)$ to be $d$-Cohen-Macaulay finite in the sense of higher Auslander-Reiten theory. Secondly, we study a new class of non-commutative projective schemes in the sense of Artin-Zhang, i.e. the category $coh X=mod^LR/mod^L_0R$ of coherent sheaves on the Geigle-Lenzing projective space $X$. Geometrically this is the quotient stack $[(Spec R-{R_+})/Spec k[L]]$. We show that $D^b(coh X)$ is triangle equivalent to $D^b(mod A^{ca})$ for a finite dimensional algebra $A^{ca}$, which we call a $d$-canonical algebra. We study when $X$ is $d$-vector bundle finite, and when $X$ is derived equivalent to a $d$-representation infinite algebra in the sense of higher Auslander-Reiten theory. Our $d$-canonical algebras provide a rich source of $d$-Fano and $d$-anti-Fano algebras in non-commutative algebraic geometry. We also observe Orlov-type semiorthogonal decompositions of $D_{sg}^L(R)$ and $D^b(coh X)$.

preprint2020arXiv

Tilting modules over Auslander-Gorenstein Algebras

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 bijection between $\tilt_1Λ$ and the set $\sttiltΓ$ of isomorphism classes of basic support $τ$-tilting $Γ$-modules, where $e$ is an idempotent such that $eΛ$ is the additive generator of projective-injective $Λ$-modules.

preprint2020arXiv

Tilting theory for Gorenstein rings in dimension one

For a $Z$-graded Gorenstein ring $R$, we study the stable category $CM^ZR$ of $Z$-graded maximal Cohen-Macaulay $R$-modules, which is canonically triangle equivalent to the singularity category of Buchweitz and Orlov. Its thick subcategory given as the stable category of $CM_0^ZR$ is central in representation theory since it enjoys Auslander-Reiten-Serre duality and has almost split triangles. In the case $dim R=1$, we prove that the stable category of $CM_0^ZR$ always admits a silting object, and that it admits a tilting object if and only if either $R$ is regular or the $a$-invariant of $R$ is non-negative.

preprint2016arXiv

Gorenstein modifications and $\mathbb{Q}$-Gorenstein rings

Let $R$ be a Cohen--Macaulay normal domain with a canonical module $ω_R$. It is proved that if $R$ admits a noncommutative crepant resolution (NCCR), then necessarily it is $\mathbb{Q}$-Gorenstein. Writing $S$ for a Zariski local canonical cover of $R$, then a tight relationship between the existence of noncommutative (crepant) resolutions on $R$ and $S$ is given. A weaker notion of Gorenstein modification is developed, and a similar tight relationship is given. There are three applications: non-Gorenstein quotient singularities by connected reductive groups cannot admit an NCCR, the centre of any NCCR is log-terminal, and the Auslander--Esnault classification of two-dimensional CM-finite algebras can be deduced from Buchweitz--Greuel--Schreyer.

preprint2016arXiv

Lifting preprojective algebras to orders and categorifying partial flag varieties

We describe a categorification of the cluster algebra structure of multi-homogeneous coordinate rings of partial flag varieties of arbitrary Dynkin type using Cohen-Macaulay modules over orders. This completes the categorification of Geiss-Leclerc-Schröer by adding the missing coefficients. To achieve this, for an order $A$ and an idempotent $e \in A$, we introduce a subcategory $\operatorname{CM}\nolimits_e A$ of $\operatorname{CM}\nolimits A$ and study its properties. In particular, under some mild assumptions, we construct an equivalence of exact categories $(\operatorname{CM}\nolimits_e A)/[Ae] \cong \operatorname{Sub}\nolimits Q$ for an injective $B$-module $Q$ where $B := A/(e)$. These results generalize work by Jensen-King-Su concerning the cluster algebra structure of the Grassmannian $\operatorname{Gr}\nolimits_m(\mathbb{C}^n)$.

preprint2016arXiv

Polygon of recollements and $N$-complexes

We study a structure of subcategories which are called a polygon of recollements in a triangulated category. First, we study a $2n$-gon of recollements in an $(m/n)$-Calabi-Yau triangulated category. Second, we show the homotopy category $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ of complexes of an additive category $\mathsf{Mor}_{N-1}(\mathcal{B})$ of $N-1$ sequences of split monomorphisms of an additive category $\mathcal{B}$ has a $2N$-gon of recollments. Third, we show the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of $\mathcal{B}$ has also a $2N$-gon of recollments. Finally, we show there is a triangle equivalence between $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ and $\mathsf{K}_{N}(\mathcal{B})$.

preprint2015arXiv

Stable categories of Cohen-Macaulay modules and cluster categories

By Auslander's algebraic McKay correspondence, the stable category of Cohen-Macaulay modules over a simple singularity is equivalent to the $1$-cluster category of the path algebra of a Dynkin quiver (i.e. the orbit category of the derived category by the action of the Auslander-Reiten translation). In this paper we give a systematic method to construct a similar type of triangle equivalence between the stable category of Cohen-Macaulay modules over a Gorenstein isolated singularity $R$ and the generalized (higher) cluster category of a finite dimensional algebra $Λ$. The key role is played by a bimodule Calabi-Yau algebra, which is the higher Auslander algebra of $R$ as well as the higher preprojective algebra of an extension of $Λ$. As a byproduct, we give a triangle equivalence between the stable category of graded Cohen-Macaulay $R$-modules and the derived category of $Λ$. Our main results apply in particular to a class of cyclic quotient singularities and to certain toric affine threefolds associated with dimer models.

preprint2014arXiv

Intermediate co-t-structures, two-term silting objects, tau-tilting modules, and torsion classes

If (A,B) and (A',B') are co-t-structures of a triangulated category, then (A',B') is called intermediate if A \subseteq A' \subseteq ΣA. Our main results show that intermediate co-t-structures are in bijection with two-term silting subcategories, and also with support tau-tilting subcategories under some assumptions. We also show that support tau-tilting subcategories are in bijection with certain finitely generated torsion classes. These generalise results by Adachi, Iyama, and Reiten.

preprint2014arXiv

Singular Derived Categories of Q-factorial terminalizations and Maximal Modification Algebras

Let X be a Gorenstein normal 3-fold satisfying (ELF) with local rings which are at worst isolated hypersurface (e.g. terminal) singularities. By using the singular derived category D_{sg}(X) and its idempotent completion, we give necessary and sufficient categorical conditions for X to be Q-factorial and complete locally Q-factorial respectively. We then relate this information to maximal modification algebras(=MMAs), introduced in [IW10], by showing that if an algebra A is derived equivalent to X as above, then X is Q-factorial if and only if A is an MMA. Thus all rings derived equivalent to Q-factorial terminalizations in dimension three are MMAs. As an application, we extend some of the algebraic results in Burban-Iyama-Keller-Reiten [BIKR] and Dao-Huneke [DH] using geometric arguments.

preprint2013arXiv

Dimensions of triangulated categories with respect to subcategories

This paper introduces the concept of the dimension of a triangulated category with respect to a fixed full subcategory. For the bounded derived category of an abelian category, upper bounds of the dimension with respect to a contravariantly finite subcategory and a resolving subcategory are given. Our methods not only recover some known results on the dimensions of derived categories in the sense of Rouquier, but also apply to various commutative and non-commutative noetherian rings.

preprint2013arXiv

Maximal Modifications and Auslander-Reiten Duality for Non-isolated Singularities

We first generalize classical Auslander-Reiten duality for isolated singularities to cover singularities with a one-dimensional singular locus. We then define the notion of CT modules for non-isolated singularities and we show that these are intimately related to noncommutative crepant resolutions (NCCRs). When R has isolated singularities, CT modules recover the classical notion of cluster tilting modules but in general the two concepts differ. Then, wanting to generalize the notion of NCCRs to cover partial resolutions of Spec R, in the main body of this paper we introduce a theory of modifying and maximal modifying modules. Under mild assumptions all the corresponding endomorphism algebras of the maximal modifying modules for three-dimensional Gorenstein rings are shown to be derived equivalent. We then develop a theory of mutation for modifying modules which is similar but different to mutations arising in cluster tilting theory. Our mutation works in arbitrary dimension, and in dimension three the behavior of our mutation strongly depends on whether a certain factor algebra is artinian.

preprint2013arXiv

Non-commutative resolutions and Grothendieck groups

Let $R$ be a noetherian normal domain. We investigate when $R$ admits a faithful module whose endomorphism ring has finite global dimension. This can be viewed as a non-commutative desingularization of $\Spec(R)$. We show that the existence of such modules forces stringent conditions on the Grothendieck group of finitely generated modules over $R$. In some cases those conditions are enough to imply that $\Spec(R)$ has only rational singularities.

preprint2013arXiv

Reduction of triangulated categories and Maximal Modification Algebras for cA_n singularities

In this paper we define and study triangulated categories in which the Hom-spaces have Krull dimension at most one over some base ring (hence they have a natural 2-step filtration), and each factor of the filtration satisfies some Calabi-Yau type property. If C is such a category, we say that C is Calabi-Yau with dimension at most one. We extend the notion of Calabi-Yau reduction to this setting, and prove general results which are an analogue of known results in cluster theory. Such categories appear naturally in the setting of Gorenstein singularities in dimension three as the stable categories of Cohen-Macaulay modules. We explain the connection between Calabi-Yau reduction of $\underline{\rm CM} R$ and both partial crepant resolutions and Q-factorial terminalizations of Spec R, and we show under quite general assumptions that Calabi-Yau reductions exist. In the remainder of the paper we focus on complete local cA_n singularities R. By using a purely algebraic argument based on Calabi-Yau reduction of $\underline{\rm CM} R$, we give a complete classification of maximal modifying modules in terms of the symmetric group, generalizing and strengthening results in [BIKR] and [DH], where we do not need any restriction on the ground field. We also describe the mutation of modifying modules at an arbitrary (not necessarily indecomposable) direct summand. As a corollary when the field is the complex numbers, we obtain many autoequivalences of the derived category of the Q-factorial terminalizations of Spec R.

preprint2013arXiv

τ-tilting theory

The aim of this paper is to introduce tau-tilting theory, which completes (classical) tilting theory from the viewpoint of mutation. It is well-known in tilting theory that an almost complete tilting module for any finite dimensional algebra over a field k is a direct summand of exactly 1 or 2 tilting modules. An important property in cluster tilting theory is that an almost complete cluster-tilting object in a 2-CY triangulated category is a direct summand of exactly 2 cluster-tilting objects. Reformulated for path algebras kQ, this says that an almost complete support tilting modules has exactly two complements. We generalize (support) tilting modules to what we call (support) tau-tilting modules, and show that an almost support tau-tilting module has exactly two complements for any finite dimensional algebra. For a finite dimensional k-algebra A, we establish bijections between functorially finite torsion classes in mod A, support tau-tilting modules and two-term silting complexes in Kb(proj A). Moreover these objects correspond bijectively to cluster-tilting objects in C if A is a 2-CY tilted algebra associated with a 2-CY triangulated category C. As an application, we show that the property of having two complements holds also for two-term silting complexes in Kb(proj A).

preprint2012arXiv

n-Representation infinite algebras

From the viewpoint of higher dimensional Auslander-Reiten theory, we introduce a new class of finite dimensional algebras of global dimension n, which we call n-representation infinite. They are a certain analog of representation infinite hereditary algebras, and we study three important classes of modules: n-preprojective, n-preinjective and n-regular modules. We observe that their homological behaviour is quite interesting. For instance they provide first examples of algebras having infinite Ext^1-orthogonal families of modules. Moreover we give general constructions of n-representation infinite algebras. Applying Minamoto's theory on Fano algebras in non-commutative algebraic geometry, we describe the category of n-regular modules in terms of the corresponding preprojective algebra. Then we introduce n-representation tame algebras, and show that the category of n-regular modules decomposes into the categories of finite dimensional modules over localizations of the preprojective algebra. This generalizes the classical description of regular modules over tame hereditary algebras. As an application, we show that the representation dimension of an n-representation tame algebra is at least n+2.

preprint2011arXiv

A New Triangulated Category for Rational Surface Singularities

In this short paper we introduce a new triangulated category for rational surface singularities which in the non-Gorenstein case acts as a substitute for the stable category of matrix factorizations. The category is formed as a Frobenius quotient of the category of special CM modules, and we classify the relatively projective-injective objects and thus describe the AR quiver of the quotient. Connections to the corresponding reconstruction algebras are also discussed.

preprint2011arXiv

Mutation of cluster-tilting objects and potentials

We prove that mutation of cluster-tilting objects in triangulated 2-Calabi-Yau categories is closely connected with mutation of quivers with potentials. This gives a close connection between 2-CY-tilted algebras and Jacobian algebras associated with quivers with potentials. We show that cluster-tilted algebras are Jacobian and also that they are determined by their quivers. There are similar results when dealing with tilting modules over 3-CY algebras. The nearly Morita equivalence for 2-CY-tilted algebras is shown to hold for the finite length modules over Jacobian algebras.

preprint2011arXiv

On the Noncommutative Bondal-Orlov Conjecture

Let R be a normal, equi-codimensional Cohen-Macaulay ring of dimension $d\geq 2$ with a canonical module. We give a sufficient criterion that establishes a derived equivalence between the noncommutative crepant resolutions of R. When $d\leq 3$ this criterion is always satisfied and so all noncommutative crepant resolutions of R are derived equivalent. Our method is based on cluster tilting theory for commutative algebras, developed in [IW10].

preprint2011arXiv

Preprojective algebras and c-sortable words

Let $Q$ be an acyclic quiver and $Λ$ be the complete preprojective algebra of $Q$ over an algebraically closed field $k$. To any element $w$ in the Coxeter group of $Q$, Buan, Iyama, Reiten and Scott have introduced and studied in \cite{Bua2} a finite dimensional algebra $Λ_w=Λ/I_w$. In this paper we look at filtrations of $Λ_w$ associated to any reduced expression $\mathbf{w}$ of $w$. We are especially interested in the case where the word $\mathbf{w}$ is $c$-sortable, where $c$ is a Coxeter element. In this situation, the consecutive quotients of this filtration can be related to tilting $kQ$-modules with finite torsionfree class.

preprint2011arXiv

Silting mutation in triangulated categories

In representation theory of algebras the notion of `mutation' often plays important roles, and two cases are well known, i.e. `cluster tilting mutation' and `exceptional mutation'. In this paper we focus on `tilting mutation', which has a disadvantage that it is often impossible, i.e. some of summands of a tilting object can not be replaced to get a new tilting object. The aim of this paper is to take away this disadvantage by introducing `silting mutation' for silting objects as a generalization of `tilting mutation'. We shall develope a basic theory of silting mutation. In particular, we introduce a partial order on the set of silting objects and establish the relationship with `silting mutation' by generalizing the theory of Riedtmann-Schofield and Happel-Unger. We show that iterated silting mutation act transitively on the set of silting objects for local, hereditary or canonical algebras. Finally we give a bijection between silting subcategories and certain t-structures.

preprint2011arXiv

Stable categories of higher preprojective algebras

We introduce (n+1)-preprojective algebras of algebras of global dimension n. We show that if an algebra is n-representation-finite then its (n+1)-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)-preprojective algebra is (n+1)-Calabi-Yau, and, more precisely, it is the (n+1)-Amiot cluster category of the stable n-Auslander algebra of the original algebra. In particular this stable category contains an (n+1)-cluster tilting object. We show that even if the (n+1)-preprojective algebra is not self-injective, under certain assumptions (which are always satisfied for n \in {1,2}) the results above still hold for the stable category of Cohen-Macaulay modules.

preprint2010arXiv

2-Auslander algebras associated with reduced words in Coxeter groups

In this paper we investigate the endomorphism algebras of standard cluster tilting objects in the stably 2-Calabi-Yau categories $\Sub{Λ_w}$ with elements $w$ in Coxeter groups in \cite{BIRSc}. They are examples of the 2-Auslander algebras introduced in \cite{I1}. Generalizing work in \cite{GLS1} we show that they are quasihereditary, even strongly quasihereditary in the sense of \cite{R}. We also describe the cluster tilting object giving rise to the Ringel dual, and prove that there is a duality between $\Sub{Λ_w}$ and the category $\mathcal{F}(Δ)$ of good modules over the quasihereditary algebra. When $w = uv$ is a reduced word, we show that the 2-Calabi-Yau triangulated category $\underline{\Sub}Λ_v$ is equivalent to a specific subfactor category of $\underline{\Sub}Λ_w.$ This is applied to show that a standard cluster tilting object $M$ in $\Sub{Λ_w}$ and the cluster tilting object $Λ_w\oplusΩ{M}$ lie in the same component in the cluster tilting graph.

preprint2010arXiv

Cluster tilting for higher Auslander algebras

The concept of cluster tilting gives a higher analogue of classical Auslander correspondence between representation-finite algebras and Auslander algebras. The $n$-Auslander-Reiten translation functor $τ_n$ plays an important role in the study of $n$-cluster tilting subcategories. We study the category $\MM_n$ of preinjective-like modules obtained by applying $τ_n$ to injective modules repeatedly. We call a finite dimensional algebra $Λ$ \emph{$n$-complete} if $\MM_n=\add M$ for an $n$-cluster tilting object $M$. Our main result asserts that the endomorphism algebra $\End_Λ(M)$ is $(n+1)$-complete. This gives an inductive construction of $n$-complete algebras. For example, any representation-finite hereditary algebra $Λ^{(1)}$ is 1-complete. Hence the Auslander algebra $Λ^{(2)}$ of $Λ^{(1)}$ is 2-complete. Moreover, for any $n\ge1$, we have an $n$-complete algebra $Λ^{(n)}$ which has an $n$-cluster tilting object $M^{(n)}$ such that $Λ^{(n+1)}=\End_{Λ^{(n)}}(M^{(n)})$. We give the presentation of $Λ^{(n)}$ by a quiver with relations. We apply our results to construct $n$-cluster tilting subcategories of derived categories of $n$-complete algebras.

preprint2010arXiv

n-representation-finite algebras and twisted fractionally Calabi-Yau algebras

In this short paper, we study $n$-representation-finite algebras from the viewpoint of the fractionally Calabi-Yau property. We shall show that all $n$-representation-finite algebras are twisted fractionally Calabi-Yau. We also show that for any $\ell>0$, twisted $\frac{n(\ell-1)}{\ell}$-Calabi-Yau algebras of global dimension at most $n$ are $n$-representation-finite. As an application, we give a construction of $n$-representation-finite algebras using the tensor product.

preprint2010arXiv

Periodicities of T and Y-systems, dilogarithm identities, and cluster algebras I: Type B_r

We prove the periodicities of the restricted T and Y-systems associated with the quantum affine algebra of type B_r at any level. We also prove the dilogarithm identities for the Y-systems of type B_r at any level. Our proof is based on the tropical Y-systems and the categorification of the cluster algebra associated with any skew-symmetric matrix by Plamondon. Using this new method, we also give an alternative and simplified proof of the periodicities of the T and Y-systems associated with pairs of simply laced Dynkin diagrams.

preprint2010arXiv

Periodicities of T and Y-systems, dilogarithm identities, and cluster algebras II: Types C_r, F_4, and G_2

We prove the periodicities of the restricted T and Y-systems associated with the quantum affine algebra of type C_r, F_4, and G_2 at any level. We also prove the dilogarithm identities for these Y-systems at any level. Our proof is based on the tropical Y-systems and the categorification of the cluster algebra associated with any skew-symmetric matrix by Plamondon.

preprint2010arXiv

Recollement of homotopy categories and Cohen-Macaulay modules

We study the homotopy category of unbounded complexes with bounded homologies and its quotient category by the homotopy category of bounded complexes. We show the existence of a recollement of the above quotient category and it has the homotopy category of acyclic complxes as a triangulated subcategory. In the case of the homotopy category of finitely generated projective modules over an Iwanaga-Gorenstein ring, we show that the above quotient category are triangle equivalent to the stable module category of Cohen-Macaulay $\opn{T}_2(R)$-modules.

preprint2009arXiv

Periodicities of T-systems and Y-systems

The unrestricted T-system is a family of relations in the Grothendieck ring of the category of the finite-dimensional modules of the Yangian or the quantum affine algebra associated with a complex simple Lie algebra. The unrestricted T-system admits a reduction called the restricted T-system. In this paper we formulate the periodicity conjecture for the restricted T-systems, which is the counterpart of the known and partially proved periodicity conjecture for the restricted Y-systems. Then, we partially prove the conjecture by various methods: the cluster algebra and cluster category method for the simply laced case, the determinant method for types A and C, and the direct method for types A, D, and B (level 2).

preprint2009arXiv

The Classification of Special Cohen-Macaulay Modules

In this paper we completely classify all the special Cohen-Macaulay (=CM) modules corresponding to the exceptional curves in the dual graph of the minimal resolutions of all two dimensional quotient singularities. In every case we exhibit the specials explicitly in a combinatorial way. Our result relies on realizing the specials as those CM modules whose first Ext group vanishes against the ring R, thus reducing the problem to combinatorics on the AR quiver; such possible AR quivers were classified by Auslander and Reiten. We also give some general homological properties of the special CM modules and their corresponding reconstruction algebras.

preprint2007arXiv

Cluster structures for 2-Calabi-Yau categories and unipotent groups

We investigate cluster tilting objects (and subcategories) in triangulated 2-Calabi-Yau categories and related categories. In particular we construct a new class of such categories related to preprojective algebras of non Dynkin quivers associated with elements in the Coxeter group. This class of 2-Calabi-Yau categories contains the cluster categories and the stable categories of preprojective algebras of Dynkin graphs as special cases. For these 2-Calabi-Yau categories we construct cluster tilting objects associated with each reduced expression. The associated quiver is described in terms of the reduced expression. Motivated by the theory of cluster algebras, we formulate the notions of (weak) cluster structure and substructure, and give several illustrations of these concepts. We give applications to cluster algebras and subcluster algebras related to unipotent groups, both in the Dynkin and non Dynkin case.

preprint2007arXiv

Cluster tilting for one-dimensional hypersurface singularities

In this article we study Cohen-Macaulay modules over one-dimensional hypersurface singularities and the relationship with the representation theory of associative algebras using methods of cluster tilting theory. We give a criterion for existence of cluster tilting objects and their complete description by homological methods, using higher almost split sequences and results from birational geometry. We obtain a large class of 2-CY tilted algebras which are finite dimensional symmetric and satisfy $τ^2=\id$. In particular, we compute 2-CY tilted algebras for simple and minimally elliptic curve singularities.

preprint2007arXiv

Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras

We say that an algebra $Λ$ over a commutative noetherian ring $R$ is Calabi-Yau of dimension $d$ ($d$-CY) if the shift functor $[d]$ gives a Serre functor on the bounded derived category of the finite length $Λ$-modules. We show that when $R$ is $d$-dimensional local Gorenstein the $d$-CY algebras are exactly the symmetric $R$-orders of global dimension $d$. We give a complete description of all tilting modules of projective dimension at most one for 2-CY algebras, and show that they are in bijection with elements of affine Weyl groups, preserving various natural partial orders. We show that there is a close connection between tilting theory for 3-CY algebras and the Fomin-Zelevinsky mutation of quivers (or matrices). We prove a conjecture of Van den Bergh on derived equivalence of non-commutative crepant resolutions.

preprint2006arXiv

Auslander correspondence

We study Auslander correspondence from the viewpoint of higher dimensional Auslander-Reiten theory on maximal orthogonal subcategories. We give homological characterizations of Auslander algebras, especially an answer to a question of M. Artin. They are also closely related to Auslander's representation dimension of artin algebras and Van den Bergh's non-commutative crepant resolutions of Gorenstein singularities.

preprint2006arXiv

Higher dimensional Auslander-Reiten theory on maximal orthogonal subcategories

Auslander-Reiten theory is fundamental to study categories which appear in representation theory, for example, modules over artin algebras, Cohen-Macaulay modules over Cohen-Macaulay rings, lattices over orders, and coherent sheaves on projective curves. In these Auslander-Reiten theories, the number `2' is quite symbolic. For one thing, almost split sequences give minimal projective resolutions of simple functors of projective dimension `2'. For another, Cohen-Macaulay rings of Krull-dimension `2' provide us with one of the most beautiful situation in representation theory, which is closely related to McKay's observation on simple singularities. In this sense, usual Auslander-Reiten theory should be `2-dimensional' theory, and it be natural to find a setting for higher dimensional Auslander-Reiten theory from the viewpoint of representation theory and non-commutative algebraic geometry. We introduce maximal $(n-1)$-orthogonal subcategories as a natural domain of higher dimensional Auslander-Reiten theory which should be `$(n+1)$-dimensional'. We show that the $n$-Auslander-Reiten translation functor and the $n$-Auslander-Reiten duality can be defined quite naturally for such categories. Using them, we show that our categories have {\it $n$-almost split sequences}, which give minimal projective resolutions of simple objects of projective dimension `$n+1$' in functor categories. We show that an invariant subring (of Krull-dimension `$n+1$') corresponding to a finite subgroup $G$ of ${\rm GL}(n+1,k)$ has a natural maximal $(n-1)$-orthogonal subcategory. We give a classification of all maximal 1-orthogonal subcategories for representation-finite selfinjective algebras and representation-finite Gorenstein orders of classical type.

preprint2003arXiv

Representation Dimension and Solomon Zeta Function

We will show that there exists a close relationship between quasi-hereditary algebras of Cline-Parshall-Scott and the rejection theory from the viewpoint of the approximation theory of Auslander-Smalo. As an application, we will solve two open problems. One concerns the representation dimension of artin algebras introduced by M. Auslander about 30 years ago, and another concerns the Solomon zeta functions of orders introduced by L. Solomon about 25 years ago. It will turn out that the rejection theory relates these two quite different problems with each other closely.