Modular and Shimura varieties Arithmetic problems mathematics