Let $\mathbb{Z}$ be the integer numbers, $\mathbb{K}$ an algebraically closed field, $Λ$ a finite dimensional $\mathbb{K}$-algebra, mod$Λ$ the category of finitely generated right modules, proj$Λ$ the full subcategory of mod$Λ$ consisting of all projective $Λ$-modules, and $C_n(projΛ)$ the bounded complexes of projective $Λ$-modules of fixed size for any integer $n\geq2$. We find an algorithm to calculate the strong global dimension of $Λ$, when $Λ$ is a finite strong global dimension and derived discrete, using the Auslander-Reiten quivers of the categories $C_n(projΛ)$. Also, we show the relation between the Auslander-Reiten quiver of the bounded derived category $D^b(Λ)$ and the Auslander-Reiten quiver of $C_{η+1}(projΛ)$, where $η=s.gl.dim(Λ)$ (strong global dimension of $Λ$).
In this paper, we show that the homotopy category of N-complexes of projective R-modules is triangle equivalent to the homotopy category of projective T_{N-1}(R)- modules where T_{N-1}(R) is the ring of triangular matrices of order N-1 with entries in R. We also define the notions of N-singularity category and N-totally acyclic complexes. We show that the category of N-totally acyclic complexes of finitely generated projective R-modules embeds in the N-singularity category, which is a result analogous to the case of ordinary chain complexes.
We use the category of linear complexes of tilting modules for the BGG category O, associated with a semi-simple complex finite-dimensional Lie algebra g, to reprove in purely algebraic way several known results about O obtained earlier by different authors using geometric methods. We also obtain several new results about the parabolic category O.
In this article we provide a simple combinatorial description of morphisms between indecomposable complexes in the bounded derived category of a gentle algebra.
Using translation from the regular block, we construct and analyze properties of BGG complexes in singular blocks of BGG category ${\mathcal{O}}$. We provide criteria, in terms of the Kazhdan-Lusztig-Vogan polynomials, for such complexes to be exact. In the Koszul dual picture, exactness of BGG complexes is expressed as a certain condition on a generalized Verma flag of an indecomposable projective object in the corresponding block of parabolic category ${\mathcal{O}}$. In the second part of the paper, we construct BGG complexes in a more general setting of balanced quasi-hereditary algebras a…
We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise versa. Investigation of this phenomenon leads to a family of pairings involving standard, costandard and tilting modules. In the graded case, under some "Koszul-like" assumptions (which we prove are satisfied for example for the blocks of the category $\mathcal{O}$), we obtain a non-degenerate pairing between certain graded homomorphism and graded extension …
In this paper, we first construct some complete cotorson pairs on the category $\mathbb{C}_N(\mathcal{G})$ of unbounded $N$-complexes of Grothendieck category $\mathcal{G}$, from two given cotorsion pairs in $\mathcal{G}$. Next as an application, we focus on particular homotopy categories and the existence of adjoint functors between them. These are an $N$-complex version of the results were shown by Neeman in the category of ordinary complexes.
Chain complexes of finitely generated free modules over orbit categories provide natural algebraic models for finite G-CW complexes with prescribed isotropy. We prove a p-hypoelementary Dress induction theorem for K-theory over the orbit category of a finite group, and use it to re-interpret some results of Oliver and Kropholler-Wall on acyclic complexes.
We give a general framework for studying G-CW complexes via the orbit category. As an application we show that the symmetric group G=S_5 admits a finite G-CW complex X homotopy equivalent to a sphere, with cyclic isotropy subgroups.
Let $R$ be a ring with identity and $\C(R)$ denote the category of complexes of $R$-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp. Gorenstein injective) modules. We show that the homotopy category of projective complexes over $R$, denoted $\KPC$, is always well generated and is compactly generated provided $\KPR$ is so. Based on this result, it will be proved that the class of Gorenstein projective complexes is precovering, whenever $R$ is a commutative noetherian ring of finite Krull dimension…
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 recollment…
We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both $\mathsf{K}_N(\mathcal{B})$ and $\mathsf{D}_N(\mathcal{A})$ have natural structures of triangulated categories. Then we establish a theory of projective (resp., injective) resolutions and derived functors. Finally, under some conditions of an abelian category $\mathcal{A}$, we show that $\mathsf{D}_{N}(\mathcal{A})$ is triangle equivalent to the ordinary derived ca…
Let $\mathbf{k}$ be an algebraically closed field. In this article, inspired by the description of indecomposable objects in the derived category of a gentle algebra obtained by V. Bekkert and H. A. Merklen, we define string complexes for a certain class $\mathscr{C}$ of symmetric special biserial algebras, which are indecomposable perfect complexes in the corresponding derived category. We also prove that if $Λ$ is a $\mathbf{k}$-algebra in the class $\mathscr{C}$ and $P^\bullet$ is a string complex over $Λ$, then $P^\bullet$ lies in the rim of its Auslander-Reiten component.
We define unbounded twisted complexes and bicomplexes generalising the notion of a (bounded) twisted complex over a DG category [BK90]. These need to be considered relative to another DG category $B$ admitting countable direct sums and shifts. The resulting DG category of unbounded twisted complexes has a fully faithful convolution functor into Mod-$B$ which filters through $B$ if the latter admits change of differential. As an application, we rewrite definitions of $A_{\infty}$-structures in terms of twisted complexes to make them work in an arbitrary monoidal DG category or a DG bicategory.
Let $(1)$ be an automorphism on an additive category $\mathcal{B}$, and let $η\colon (1)\to {\rm Id}_{\mathcal{B}}$ be a natural transformation satisfying $η_{X(1)}=η_X(1)$ for any object $X$ in $\mathcal{B}$. We construct a new Frobenius exact structure on the category of complexes in $\mathcal{B}$, which is associated to the natural transformation $η$. As a consequence, the category introduced in Definition 2.4 of [J. Rickard, Morita theory for derived categories, J. London Math. Soc. 39(1989), 436-456] has a Frobenius exact structure.
A well-known theorem of Buchweitz provides equivalences between three categories: the stable category of Gorenstein projective modules over a Gorenstein algebra, the homotopy category of acyclic complexes of projectives, and the singularity category. To adapt this result to $N$-complexes, one must find an appropriate candidate for the $N$-analogue of the stable category. We identify this "$N$-stable category" via the monomorphism category and prove Buchweitz's theorem for $N$-complexes over a Frobenius exact abelian category. We also compute the Serre functor on the $N$-stable category over a …
While chain complexes are equipped with a differential $d$ satisfying $d^2 = 0$, their generalizations called $N$-complexes have a differential $d$ satisfying $d^N = 0$. In this paper we show that the lax nerve of the category of chain complexes is pointwise adjoint equivalent to the décalage of the simplicial category of $N$-complexes. This reveals additional simplicial structure on the lax nerve of the category of chain complexes which provides a categorfication of the triangulated homotopy category of chain complexes. We study this phenomena in general and present evidence that the axioms o…
We consider the odd analogue of the category of Soergel bimodules. In the odd case and already for two variables, the transposition bimodule cannot be merged into the generating Soergel bimodule, forcing one into a monoidal category with a larger Grothendieck ring compared to the even case. We establish biadjointness of suitable functors and develop graphical calculi in the 2-variable case for the odd Soergel category and the related singular Soergel 2-category. We describe the odd analogue of the Rouquier complexes and establish their invertibility in the homotopy category. For three variable…
We consider N-complexes as functors over an appropriate linear category in order to show first that the Krull-Schmidt Theorem holds, then to prove that amplitude cohomology only vanishes on injective functors providing a well defined functor on the stable category. For left truncated N-complexes, we show that amplitude cohomology discriminates the isomorphism class up to a projective functor summand. Moreover amplitude cohomology of positive N-complexes is proved to be isomorphic to an Ext functor of an indecomposable N-complex inside the abelian functor category. Finally we show that for the …
In the terms of an `$n$-periodic derived category', we describe explicitly how the orbit category of the bounded derived category of an algebra with respect to powers of the shift functor embeds in its triangulated hull. We obtain a large class of algebras whose orbit categories are strictly smaller than their triangulated hulls and a realization of the phenomenon that an automorphism need not induce the identity functor on the associated orbit category.
We study the category of $\mathbb{Z}$-indexed sequences over an abelian category and certain generalized homology functors for this category of sequences which are indexed by positive integers $a$ and $b$. By looking at the corresponding derived category, we show that there is an "optimal" subcategory of sequences for every choice of our generalized homology functors, namely, the category of $N$-complexes (sequences for which the differential $d$ satisfies $d^N = 0$) where $N = a + b$. In this optimal case we show that our homology functors reduce to Kapranov's homology functors $\operatorname…
This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented modules over a right coherent ring is the completion of the category of perfect complexes. The result extends to non-affine noetherian schemes and gives rise to a direct construction of the singularity category. The parallel theory of completion for abelian categories is compatible with the completion of derived categories. There are three appendices. The firs…
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.
We establish an embedding of the quantum enveloping algebra of a symmetric generalized Kac--Moody algebra into a localized Hall algebra of $\mathbb Z_2$-graded complexes of representations of a quiver with (possible) loops. To overcome difficulties resulting from the existence of infinite dimensional projective objects, we consider the category of finitely-presented representations and the category of $\mathbb Z_2$-graded complexes of projectives with finite homology.
Gillespie's Theorem gives a systematic way to construct model category structures on $\mathscr{C}( \mathscr{M} )$, the category of chain complexes over an abelian category $\mathscr{M}$. We can view $\mathscr{C}( \mathscr{M} )$ as the category of representations of the quiver $\cdots \rightarrow 2 \rightarrow 1 \rightarrow 0 \rightarrow -1 \rightarrow -2 \rightarrow \cdots$ with the relations that two consecutive arrows compose to $0$. This is a self-injective quiver with relations, and we generalise Gillespie's Theorem to other such quivers with relations. There is a large family of these, an…
For an abelian category $A$ equipped with a torsion pair, we give an explicit description for the abelian category $B$ introduced by Happel-Reiten-Smalo, and also for the category of chain complexes $Ch(B)$ and the derived category $D(B)$ of $B$. We also describe the DG structure on $Ch(B)$. As a consequence, we find new proofs of certain results of Happel-Reiten-Smalo. The main ingredient is the category of {\em decorated} complexes.
For a noetherian ring $Λ$, the stabilization functor in the sense of Krause yields an embedding of the singularity category of $Λ$ into the homotopy category of acyclic complexes of injective $Λ$-modules. When $Λ$ contains a semisimple artinian subring $E$, we give an explicit description of the stabilization functor using the Hom complexes in the $E$-relative singular Yoneda dg category of $Λ$.
For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic mixed complexes on the enhanced flag variety $G^\vee/U^\vee$, here $G^\vee$ is the Langlands dual of $G$. We also prove variants of this equivalence, one of which is the equivalence between the derived category of $U$-equivariant mixed complexes on the partial flag variety $G/P$ and certain "Whittaker model" category of mixed complexes on $G^\vee/B^\vee$. In …
A Categorification of Subword Complexes and Its Hall Algebra
Institut Camille Jordan UMR 5208, Université Jean Monnet, CNRS, Centrale Lyon, INSA Lyon, Université Claude Bernard Lyon 1（卡米耶·乔丹研究所，圣艾蒂安大学，法国国家科学研究中心，里昂中央理工学院，里昂国立应用科学学院，里昂第一大学）；Universität Hamburg, Fachbereich Mathematik（汉堡大学数学系）
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category $\mathsf D(\mathsf B)$ is generated, as a triangulated category with coproducts, by the projective generator of $\mathsf B$. For a Grothendieck abelian category $\mathsf A$, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's prin…
We reformulate the problem of bounding the total rank of the homology of perfect chain complexes over the group ring $\mathbb{F}_p[G]$ of an elementary abelian $p$-group $G$ in terms of commutative algebra. This extends results of Carlsson for $p=2$ to all primes. As an intermediate step, we construct an embedding of the derived category of perfect chain complexes over $\mathbb{F}_p[G]$ into the derived category of $p$-DG modules over a polynomial ring.
Let $\A$ be a finitary hereditary abelian category with enough projectives. We study the Hall algebra of complexes of fixed size over projectives. Explicitly, we first give a relation between Hall algebras of complexes of fixed size and cyclic complexes. Secondly, we characterize the Hall algebra of complexes of fixed size by generators and relations, and relate it to the derived Hall algebra of $\A$. Finally, we give the integration map on the Hall algebra of $2$-term complexes over projectives.
