Equality of the log mixed-motive categories

About 4 years old · traced to

Let (LM♭)({\rm {LM}}\flat) and (LM♭∗)({\rm {LM}}\flat*) be the categories with the same objects and with morphisms defined using, respectively, the Chern class constructions from K0K_0 and from homotopy KK-theory KHKH. Let (MM)({\rm {MM}}) and (MM∗)({\rm {MM}}*) be the corresponding smallest full subcategories of contravariant functors generated by the functors Hn(T)(s)H^n(T)(s) and closed under kernels of morphisms. Equality conjecture. One has

(LM♭)=(LM♭∗)and(MM)=(MM∗).({\rm {LM}}\flat)=({\rm {LM}}\flat*)\quad\text{and}\quad ({\rm {MM}})=({\rm {MM}}*).

The equality would show that enlarging the morphisms using homotopy KK-theory does not change either the log-motive category or the resulting category of mixed motives. The source does not provide evidence resolving this claim.

References

Primary source

Kazuya Kato, Chikara Nakayama and Sampei Usui, “Mixed objects are embedded into log pure objects”, arXiv:2212.10970 (2022).

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.