Mumford conjecture David Mumford Haboush's theorem Ib Madsen Jacobian variety Manin-Mumford conjecture Michael Weiss (mathematician) Michel Raynaud