2003/03/28 by Siman Wong, Wong, Siman
Mathematics · #Advanced Algebra and Geometry #Algebraic Geometry and Number Theory #Finite Group Theory Research #math.AG #math.NT #msc:11D41 #msc:11G30 #msc:14G25
paper · pdf · doi:10.48550/arxiv.math/0303368
arxiv created 2003/03/28 · arxiv updated 2009/11/30
Let k be a number field, and let S be a finite set of maximal ideals of the ring of integers of k. In his 1962 ICM address, Shafarevich asked if there are only finitely many k-isomorphism classes of algebraic curves of a fixed genus g≥ 1 with good reduction outside S. He verified this for g=1 by reducing the problem to Siegel's theorem. Parshin extended this argument to all hyperelliptic curves (cf. also the work of Oort). The general case was settled by Faltings' celebrated work. In this note we give a short proof of Shafarevich's conjecture for hyperelliptic curves, by reducing the problem to the case g=1 using the Theorem of de Franchis plus standard facts about discriminants of hyperelliptic equations.