Why is one interested in the mod p reduction of modular curves and Shimura varieties?
From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the Hasse-Weil conjecture for modular curves. Are there similar applications for Shimura varieties?