2 problems

Second Tate conjecture. The set $\operatorname{Hom}(M,N)$ is in bijection with the set of pairs $(a,b)$ where $a:M_{\ell}\to N_{\ell}$ is a morphism and $b:M_B\to N_B$ is a homomor…

Independence-of-realizations conjecture. Restriction of realizations induces equivalences of categories