The standard derived equivalence characterization for colax dg-category diagrams

Let II be a category, and let X,XX,X' be colax functors from II to k\Bbbk-linear dg categories. Assume that XX' is k\Bbbk-projective. Write D(X)\mathcal D(X) for the derived category associated with the diagram XX, and write XsdXX'\overset{\mathrm{sd}}{\leadsto}X when there exists a quasi-equivalence from XX' to a tilting colax functor for XX.

Standard derived equivalence characterization. The following conditions should be equivalent:

  1. There exists an equivalence
D(X)D(X).\mathcal D(X')\to\mathcal D(X).
  1. There exists a quasi-equivalence from XX' to a tilting colax functor for XX, that is,
XsdX.X'\overset{\mathrm{sd}}{\leadsto}X.

This conjecture asks when an equivalence of the derived categories of diagrams is induced by a standard derived equivalence. The preceding problem asks for conditions under which standard derived equivalence is symmetric; the conjecture gives the proposed characterization under the stated k\Bbbk-projectivity hypothesis.

Sources & referencesView supporting material

Primary source

Hideto Asashiba and Shengyong Pan, “Characterizations of standard derived equivalences of diagrams of dg categories and their gluings”, arXiv:2201.10760 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.