The numerical triviality conjecture for log motives

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:MNf:M\to N, say that ff is numerically equivalent to zero if Tr(gf)=0\operatorname{Tr}(gf)=0 for every morphism g:NMg:N\to M; write fgf\sim g when fgf-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), fgf\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.

Sources & referencesView supporting material

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.