The Ramanujan conjecture


Proposition 3.2.   X represents the functor which sends an analytic space S to the isomorphism classes of elliptic curves on S, equipped with a permitted isomorphism R1fZZ2.