If the Tate conjecture is true, and if étale cohomology with finite
coefficients is computable, then the Néron-Severi group of any smooth
projective variety is computable, as is the group of numerical
equivalence classes of codimension p cycles.
Pre-talk (background, aimed at graduate students):
|