The Tate Conjecture
open
Algebraic subvarieties should be visible in étale cohomology: which cohomology classes come from actual cycles? The arithmetic mirror of the Hodge conjecture, and nearly as stubborn.