“…In fact, by compactifying the quotient of ^ by Sp(2g, Z), Satake and Bailey- Borel [1966] give a compactification JK g of Jt g such that JK g is a projective variety and J# g -^g has codimension 2 in Jf g , showing in particular that there are no nonconstant holomorphic functions on J( g . MUMFORD. A third, and purely algebraic, construction of the moduli space of curves was given as an application by Mumford and Deligne of Mumford's "Geometric Invariant Theory" (Mumford [1965], DeligneMumford [1969]). Here the extra structure tacked on to a curve is exactly that of a particular projective embedding: namely, we consider curves C embedded in projective space P 5^-6 by the linear system of sections of the third power of the canonical bundle (w c ) 03 (the third power is chosen because it gives an embedding of any curve of genus > 2, and is the smallest power to do so).…”