Rigid analytic geometry Arithmetic problems mathematics