Geometry of Shimura varieties and positivity of automorphic line ...