Si dos variedades por encima de $\mathbb{Q}$ tienen el mismo número de puntos $\mathbb{F}_p$ para todos, pero finitamente muchos primos, ¿tienen el mismo número de puntos $\mathbb{F}_{p^n}$ para todos $n>1$ y para todos, pero finitamente muchos primos?
Si ambos son suaves y adecuados, ¿de hecho tenemos $H^i(X_{\overline{\mathbb{Q}}}, \mathbb{Q}_l)\cong H^i(Y_{\overline{\mathbb{Q}}}, \mathbb{Q}_l)$ como módulos de Galois?
