The numerical triviality conjecture for log motives

At least 8 years old · documented by

Let SS be an fs log scheme and let M,NM,N be objects of the category LM(S)\mathrm{LM}(S) of log motives. For a morphism f:M→Nf:M\to N, say that ff is numerically equivalent to zero if Tr⁡(gf)=0\operatorname{Tr}(gf)=0 for every morphism g:N→Mg:N\to M; write f∼gf\sim g when f−gf-g is numerically equivalent to zero. Let LMnum(S)\mathrm{LM}_{\mathrm{num}}(S) denote the category modulo this numerical equivalence.

Numerical triviality conjecture. In LM(S)\mathrm{LM}(S), f∼gf\sim g implies f=gf=g; equivalently,

LM(S)=LMnum(S).\mathrm{LM}(S)=\mathrm{LM}_{\mathrm{num}}(S).

This asserts that numerical equivalence agrees with the homological equivalence built into the category of log motives. The source provides no resolution status.

References

Primary source

Tetsushi Ito, Kazuya Kato, Chikara Nakayama and Sampei Usui, “On log motives”, arXiv:1712.09815 (2017).

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.