algebraic cycles, Shimura varieties, and explicit methods in the theory of abelian