The second Tate conjecture for log mixed motives

At least 8 years old · documented by

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ℓ,NℓM_{\ell},N_{\ell} for their ℓ\ell-adic realizations and MB,NBM_B,N_B for their Betti realizations on (S⊗C)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:Mℓ→Nℓa:M_{\ell}\to N_{\ell} is a morphism and b:MB→NBb:M_B\to N_B is a homomorphism on (S⊗C)anlog⁡(S\otimes\mathbb{C})_{\mathrm{an}}^{\log} such that the pullback of aa to (S⊗C)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.

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.