Arithmetic as algebraic geometry