Equivalence with the motive category built from paired dg-functors

Let NcSNcS^{\cdot-\cdot} be the category whose objects are dg-categories and whose morphisms are pairs of dg-functors F,GF,G equipped with a natural equivalence FGF\simeq G. Let P(NcS)\mathcal P(NcS^{\cdot-\cdot}) denote the category of presheaves on it, and let LncnisL_{nc-nis} and LA1,ncL_{\mathbb A^1,nc} be the indicated noncommutative Nisnevich and affine-line localisations. Equivalence conjecture. The (,1)(\infty,1)-category DMncGW(k)DM^{\mathcal{GW}}_{nc}(k) is equivalent to

LncnisLA1,ncP(NcS).L_{nc-nis}L_{\mathbb A^1,nc}\mathcal P(NcS^{\cdot-\cdot}).

This is presented as a proposed answer to the preceding reconstruction question, based on encoding the information of pullback and adjoint functors through paired dg-functors and a natural equivalence; no proof or resolution is supplied.

Sources & referencesView supporting material

Primary source

Andrei Druzhinin, “Cancellation theorem for Grothendieck-Witt-correspondences and Witt-correspondences”, arXiv:1709.06543 (2018).

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.