Full faithfulness conjecture for motivic realization on compact motives

Let kk be a field, let Λ\Lambda be a coefficient ring, and let ΓWWCT(k;Λ)\Gamma_W\in \mathrm{WCT}(k;\Lambda) be a Weil cohomology theory for algebraic kk-varieties. Assume that the commutative Λ\Lambda-algebra ΓW(k)\Gamma_W(k) is connective and faithfully flat. Let SHeˊt,ct(k;Λ)\mathbf{SH}_{\acute{\rm e}{\rm t},\,\mathrm{ct}}(k;\Lambda) be the thick stable sub-\infty-category of SHeˊt(k;Λ)\mathbf{SH}_{\acute{\rm e}{\rm t}}(k;\Lambda) generated by M(X)(n)\mathrm{M}(X)(n) for XSmkX\in\mathrm{Sm}_k and nZn\in\mathbb{Z}.

Full faithfulness conjecture. The motivic realization functor

RW,mot:SHeˊt(k;Λ)coModHmot(ΓW)\mathrm{R}^*_{W,\,\mathrm{mot}}:\mathbf{SH}_{\acute{\rm e}{\rm t}}(k;\Lambda)\to \mathrm{coMod}_{\mathcal{H}_{\mathrm{mot}}(\Gamma_W)}

associated to ΓW\Gamma_W becomes fully faithful when restricted to SHeˊt,ct(k;Λ)\mathbf{SH}_{\acute{\rm e}{\rm t},\,\mathrm{ct}}(k;\Lambda).

This is a full faithfulness assertion for motivic realization on the subcategory generated by motives of smooth varieties and Tate twists. The supplied text gives the assertion but no information about whether it has been proved or refuted.

Sources & referencesView supporting material

Primary source

Joseph Ayoub, “Weil cohomology theories and their motivic Hopf algebroids”, arXiv:2312.11906 (2023).

Additional references

2 papers in this index state this conjecture (2014–2023). The statement above is taken from the most recent of them; the others are arXiv:1401.4728.

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.