The second Tate conjecture for log mixed motives

Let SS be of finite type over Q\mathbb{Q}, and let M,NM,N be objects of LMM{,B}(S)\mathrm{LMM}_{\{\ell,B\}}(S). Write M,NM_{\ell},N_{\ell} for their \ell-adic realizations and MB,NBM_B,N_B for their Betti realizations on (SC)anlog(S\otimes\mathbb{C})_{\mathrm{an}}^{\log}.

Second Tate conjecture. The set Hom(M,N)\operatorname{Hom}(M,N) is in bijection with the set of pairs (a,b)(a,b) where a:MNa:M_{\ell}\to N_{\ell} is a morphism and b:MBNBb:M_B\to N_B is a homomorphism on (SC)anlog(S\otimes\mathbb{C})_{\mathrm{an}}^{\log} such that the pullback of aa to (SC)anlog(S\otimes\mathbb{C})_{\mathrm{an}}^{\log} is induced by bb.

This conjecture is a compatibility and full-faithfulness assertion combining \ell-adic and Betti realizations. The source states that it follows from the first Tate conjecture together with injectivity of the comparison map, but 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.