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

From papers

Let kk be a field and RR a coefficient ring. Write DMgmeff(k;R)\operatorname{DM}_{\operatorname{gm}}^{\operatorname{eff}}(k;R) for geometric effective motives and DMsleff(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

DMgmeff(k;R)DMsleff(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(DMgmeff(k;R))K0(DMsleff(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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.