Table of Contents
Fetching ...

Tilting in $Q$-shaped derived categories

Sira Gratz, Henrik Holm, Peter Jorgensen, Greg Stevenson

TL;DR

This work develops a tilting-theoretic bridge between Q-shaped derived categories $\mathsf{D}_Q(A)$ and classical derived categories $\mathsf{D}(B)$. By selecting $Q$ as shifts of indecomposable projectives over a self-injective $\mathbb{Z}$-graded algebra $\Lambda$ and applying Yamaura’s tilting framework, the authors prove $\mathsf{D}_Q(A) \cong \mathsf{D}(\Gamma\otimes_k A)$ for a finite-dimensional algebra $\Gamma$, with $A$ any $k$-algebra; this encompasses and generalizes the Iyama–Kato–Miyachi result $\mathsf{D}_N(A) \cong \mathsf{D}(T_{N-1}(A))$ when $\Lambda = k[X]/(X^N)$. The paper also shows how $i^*$ interacts with compact generation and base change, and provides explicit examples via mesh categories of type $A$ and exterior algebras, including Beilinson-type tilting giving connections to $\mathbb{P}^{n-1}_A$ for commutative $A$. Overall, the results offer a broad, tilting-based route to convert Q-shaped diagrammatic derived categories into familiar derived categories, enabling concrete computability and decompositions.

Abstract

The main result of this paper is that there is sometimes a triangulated equivalence between $D_Q( A )$, the $Q$-shaped derived category of an algebra $A$, and $D( B )$, the classic derived category of a different algebra $B$. By construction, $D_Q( A )$ consists of $Q$-shaped diagrams of $A$-modules for a suitable small category $Q$. Our result concerns the case where $Q$ consists of shifts of indecomposable projective modules over a self-injective $\mathbb{Z}$-graded algebra $Λ$. A notable special case is the result by Iyama, Kato, and Miyachi that $D_N( A )$, the $N$-derived category of $A$, is triangulated equivalent to $D( T_{ N-1 }A )$, the classic derived category of $T_{ N-1 }( A )$, which denotes upper diagonal $( N-1 ) \times ( N-1 )$-matrices over $A$. Several other special cases will also be discussed.

Tilting in $Q$-shaped derived categories

TL;DR

This work develops a tilting-theoretic bridge between Q-shaped derived categories and classical derived categories . By selecting as shifts of indecomposable projectives over a self-injective -graded algebra and applying Yamaura’s tilting framework, the authors prove for a finite-dimensional algebra , with any -algebra; this encompasses and generalizes the Iyama–Kato–Miyachi result when . The paper also shows how interacts with compact generation and base change, and provides explicit examples via mesh categories of type and exterior algebras, including Beilinson-type tilting giving connections to for commutative . Overall, the results offer a broad, tilting-based route to convert Q-shaped diagrammatic derived categories into familiar derived categories, enabling concrete computability and decompositions.

Abstract

The main result of this paper is that there is sometimes a triangulated equivalence between , the -shaped derived category of an algebra , and , the classic derived category of a different algebra . By construction, consists of -shaped diagrams of -modules for a suitable small category . Our result concerns the case where consists of shifts of indecomposable projective modules over a self-injective -graded algebra . A notable special case is the result by Iyama, Kato, and Miyachi that , the -derived category of , is triangulated equivalent to , the classic derived category of , which denotes upper diagonal -matrices over . Several other special cases will also be discussed.

Paper Structure

This paper contains 11 sections, 9 theorems, 28 equations, 1 figure.

Key Result

Theorem A

Setting $\Gamma = \mathop{\mathrm{Hom}}\nolimits_{\mathop{\mathrm{\underline{\mathsf{Gr}}}}\nolimits \Lambda}(T,T)$, where $\mathop{\mathrm{\underline{\mathsf{Gr}}}}\nolimits \Lambda$ is the stable category of $\mathbb{Z}$-graded right modules over $\Lambda$, we have the triangulated equivalence

Figures (1)

  • Figure 1: The category underlying chain complexes and $N$-complexes is given by this diagram with suitable relations.

Theorems & Definitions (25)

  • Theorem A: =Theorem \ref{['thm:tilting']}
  • Proposition 2.2.1
  • proof
  • Remark 2.2.2
  • Remark 2.3.1
  • Lemma 2.3.2
  • proof
  • Lemma 2.3.4
  • proof
  • Lemma 3.1.1
  • ...and 15 more