The universal theta divisor over the moduli space of curves

We carry out a complete birational classification of the universal theta divisor Th_g over the moduli space of curves of genus g, and show that Th_g enjoys good rationality properties for g
17 pages. Appeared in Journal de Mathematiques Pures et Appliquees. Typo corrected in statement of Theorem 5