Table of Contents
Fetching ...

Derived equivalence of algebras induced by their trivial extensions

Valentine Soto

Abstract

The bounded derived category of a finite dimensional algebra of finite global dimension is equivalent the stable category of $\mathbb{Z}$-graded modules over its trivial extension \cite{Happel}. In particular, given two derived equivalent finite dimensional algebras $Λ_{1}$ and $Λ_{2}$ of finite global dimension, their trivial extensions are stable equivalent. The converse is not true in general. The goal of this paper is to study cases where derived equivalences between $Λ_{1}$ and $Λ_{2}$ arise from an equivalence of categories involving their trivial extension. Thanks to a graded version of Happel's theorem, we show that one can construct a $\mathbb{Z}$-grading on the $Λ_{i}$ so that such an equivalence involving their trivial extension yield a derived equivalence between the category of $\mathbb{Z}$-graded module over $Λ_{i}$. We describe explicitly the tilting object associated to this derived equivalence (in the non-graded and in the graded case) for triangular matrix algebras. Finally, we apply these results to the particular case of gentle algebras. In this context, we study how one can obtain a derived equivalence between $Λ_{1}$ and $Λ_{2}$ (in the non-graded and the graded case) from graded generalized Kauer moves.

Derived equivalence of algebras induced by their trivial extensions

Abstract

The bounded derived category of a finite dimensional algebra of finite global dimension is equivalent the stable category of -graded modules over its trivial extension \cite{Happel}. In particular, given two derived equivalent finite dimensional algebras and of finite global dimension, their trivial extensions are stable equivalent. The converse is not true in general. The goal of this paper is to study cases where derived equivalences between and arise from an equivalence of categories involving their trivial extension. Thanks to a graded version of Happel's theorem, we show that one can construct a -grading on the so that such an equivalence involving their trivial extension yield a derived equivalence between the category of -graded module over . We describe explicitly the tilting object associated to this derived equivalence (in the non-graded and in the graded case) for triangular matrix algebras. Finally, we apply these results to the particular case of gentle algebras. In this context, we study how one can obtain a derived equivalence between and (in the non-graded and the graded case) from graded generalized Kauer moves.
Paper Structure (8 sections, 25 theorems, 59 equations, 13 figures)

This paper contains 8 sections, 25 theorems, 59 equations, 13 figures.

Key Result

Theorem 1

Let $G$ be an abelian group and $\Lambda$ be a basic $G$-graded finite dimensional algebra of finite global dimension. Then, there is an equivalence of triangulated categories such that $F\circ \tau[2]\overset{\sim}{\longrightarrow} (1,0)\circ F$ and $F\circ (g)\overset{\sim}{\longrightarrow} (0,g)\circ F$ for all $g\in G$, where $\tau$ denotes the Auslander-Reiten translation in $\mathrm{D}^{\ma

Figures (13)

  • Figure 1: Generalized Kauer move of $(h,r)$
  • Figure :
  • Figure :
  • Figure :
  • Figure :
  • ...and 8 more figures

Theorems & Definitions (63)

  • Theorem : Theorem \ref{['thm:Happel gradué']}
  • Theorem : Corollary \ref{['cor:gradué iso']}
  • Theorem
  • Definition 1.1
  • Theorem 1.2: Happel Happel; Keller Keller2
  • Corollary 1.3
  • proof
  • Corollary 1.4
  • Example 1.5
  • Remark 1.6
  • ...and 53 more