[Paper Review] A note on standard equivalences

Xiao‐Wu Chen|arXiv (Cornell University)|Apr 23, 2015

Algebraic structures and combinatorial modelsMathematics1 references19 citations

TL;DR

This paper proves that any triangle equivalence between the bounded derived categories of finite-dimensional triangular algebras is standard, meaning it is isomorphic to a derived tensor functor via a two-sided tilting complex. The result resolves the standardness question affirmatively for derived-triangular algebras, relying on the structure of Orlov categories and homotopy categories of projective modules.

ABSTRACT

We prove that any derived equivalence between triangular algebras is standard, that is, it is isomorphic to the derived tensor functor given by a two-sided tilting complex.

Motivation & Objective

• To determine whether all triangle equivalences between derived categories of finite-dimensional algebras are standard.
• To resolve the open question of standardness in the special case of derived-triangular algebras.
• To establish that derived equivalences of triangular algebras arise from two-sided tilting complexes.
• To apply results from Orlov categories and homotopy categories to derive the standardness of equivalences.

Proposed method

• Utilizes the bounded homotopy category of projective modules over a triangular algebra as an Orlov category with a degree function on indecomposable projectives.
• Applies [1, Theorem 4.7] to characterize triangle functors between homotopy categories of Orlov categories.
• Shows that the category of projective modules over a triangular algebra is an Orlov category with degree-preserving equivalences.
• Uses the fact that derived equivalences preserving the regular module A induce algebra automorphisms, leading to standard equivalences via twisted bimodules.
• Establishes that any triangle equivalence F with F(A) ≅ A is isomorphic to a standard equivalence via the twisted bimodule Aσ.
• Extends the result from triangular algebras to derived-triangular algebras using composition of standard equivalences and quasi-inverses.

Experimental results

Research questions

• RQ1 Is every triangle equivalence between bounded derived categories of finite-dimensional algebras standard?
• RQ2 Does the standardness of derived equivalences hold for algebras that are derived equivalent to triangular algebras?
• RQ3 Can the structure of Orlov categories be used to classify triangle functors between derived categories?
• RQ4 How do degree functions on projective modules relate to the standardness of derived equivalences?
• RQ5 What is the role of the regular module A in determining the standardness of an equivalence?

Key findings

• Any triangle equivalence F: Db(A-mod) → Db(B-mod) is standard if A is triangular.
• The category of projective A-modules forms an Orlov category when A is triangular, with a degree function based on the Ext-quiver.
• Equivalences of A-mod that preserve A are isomorphic to tensoring with a twisted bimodule Aσ, which is a two-sided tilting complex.
• The composition of standard equivalences is standard, which allows reduction to the triangular case.
• Every derived-triangular algebra admits only standard derived equivalences, resolving the standardness question in this class.
• The result implies that the assumption of standardness in [3, Section 4] is redundant for piecewise hereditary algebras.