Gunningham–Safronov's derived skein–DT cohomology conjecture
Derived skein–DT conjecture. There is an isomorphism
MathDB