Injectivity conjecture I(k;R) for geometric and slice motives

About 9 years old · traced to

Let kk be a field and RR a coefficient ring. Write DM⁡gm⁡eff⁡(k;R)\operatorname{DM}_{\operatorname{gm}}^{\operatorname{eff}}(k;R) for geometric effective motives and DM⁡sl⁡eff⁡(k;R)\operatorname{DM}_{\operatorname{sl}}^{\operatorname{eff}}(k;R) for slice effective motives, with the former included in the latter. Injectivity conjecture I(k;R)I(k;R). The inclusion

DM⁡gm⁡eff⁡(k;R)↪DM⁡sl⁡eff⁡(k;R)\operatorname{DM}_{\operatorname{gm}}^{\operatorname{eff}}(k;R)\hookrightarrow\operatorname{DM}_{\operatorname{sl}}^{\operatorname{eff}}(k;R)

induces an injective group homomorphism

K0(DM⁡gm⁡eff⁡(k;R))⟶K0(DM⁡sl⁡eff⁡(k;R)).K_0(\operatorname{DM}_{\operatorname{gm}}^{\operatorname{eff}}(k;R))\longrightarrow K_0(\operatorname{DM}_{\operatorname{sl}}^{\operatorname{eff}}(k;R)).

This conjecture asks whether passing from geometric effective motives to the stable category generated by them and their slices creates no additional relations in the Grothendieck group. It is proposed in the context of extending motivic integration to slice motives; the supplied text does not state a resolution.

References

Primary source

Masoud Zargar, “Integration of Voevodsky motives”, arXiv:1711.02015 (2019).

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.