>>751
＜Frey curve＞
https://en.wikipedia.org/wiki/Abc_conjecture#cite_ref-1
abc conjecture
(抜粋)
The precise statement is given below. The abc conjecture originated as the outcome of attempts by Oesterle and Masser to understand the Szpiro conjecture about elliptic curves.[1]

Citations
[1]
https://www.maths.nottingham.ac.uk/plp/pmzibf/notesoniut.pdf
Fesenko, Ivan (2015), "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki" (PDF), European Journal of Mathematics, 1 (3): 405?440, doi:10.1007/s40879-015-0066-0.
(抜粋)
P4
1.3. Conjectural inequalities for the same property.
(a) the effective Mordell conjecture ? a conjectural extension of the Faltings?Mordell theorem which involves an effective bound on the height of rational points of the curve C over the number field K in the Faltings theorem in terms of data associated to C and K,
(b) the Szpiro conjecture, see below,
(c) the Masser?Oesterle conjecture, a.k.a. the abc conjecture (whose statement over Q is well known^6 , and which has an extension to arbitrary algebraic number fields, see Conj. 14.4.12 of [6]),
(d) the Frey conjecture, see Conj. F.3.2(b) of [15],
(f) arithmetic Bogomolov?Miyaoka?Yau conjectures (there are several versions).

The Szpiro conjecture was stated several years before^7 the work of Faltings, who learned much about the subject related to his proof from Szpiro.
Using the Frey curve^8, it is not difficult to show that (c) and (d) are equivalent and that they imply (b), see e.g. see sect. F3 of [15] and references therein.
Using Belyi maps as in 1.1, one can show the equivalence of (c) and (a).
For the equivalence of (c) and (e) see e.g. Th. 14.4.16 of [6]
and [47]. For implications (e) ⇒ (f) see [48].

Footnote
^8 y^2 = x(x+a)(x?b) where a,b,a+b are non-zero coprime integers