Yale 2013‎ > ‎

Bjorn Poonen: Computing Néron-Severi groups

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):