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

Download video of pre-talk.

Talk:

Download video of talk.