The standard derived equivalence characterization for colax dg-category diagrams

About 4 years old · traced to

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

References

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.