Arithmetic vector bundles and automorphic forms on Shimura varieties. I