Arithmetic on Algebraic Varieties