Bielliptic modular curves (Q1293694): Difference between revisions

Let \(C\) be a smooth curve of genus at least 2 defined over a number field \(K\). By Falting's theorem (ex-Mordell conjecture) \(C\) has only finitely many \(K\)-rational points. In order to generalize this result it is considered the set \(\Gamma_d(C,K)=\{P\in C(L) ; [L:K]\leq d\}\) of points of degree at most \(d\) in \(C\). In the case \(d=2\), \textit{D. Abramovich} and \textit{J. Harris}, Compos. Math. 78, 227-238 (1991; Zbl 0748.14010)] show that the existence of infinitely many quadratic points is equivalent to \(C\) being hyperelliptic or bielliptic. In this paper the author considers the family of modular curves \(X_0(N)\) admitting infinitely many quadratic points. This family consists of all hyperelliptic and bielliptic modular curves. Hyperelliptic modular curves were completely determined by the work of [\textit{A. Ogg}, [Bull. Soc. Math. Fr. 102, 1-61 (1974; Zbl 0314.10018)]. The author completely determines the classification of modular curves \(X_0(N)\) that are bielliptic.