Two restricted ABC conjectures (Q2220462)

An \(abc\) sum is a triple of positive coprime integers \((a,b,c)\) such that \(a+b=c\). The radical of a positive integer \(n\) is \(r(n)=\sum_{p\mid n} \log p\). For \(n\) a positive integer, we write \(n=\prod_p p^{v_p(n)}\). The \(abc\)-conjecture of Masser and Oesterlé states that for any \(\varepsilon>0\), there exists a constant \(M>0\) such that, for any \(abc\) sum, the inequality \[ \log c < r(abc) +\varepsilon\log c +M \tag{abc}\] holds. In [\textit{J. S. Ellenberg}, Indag. Math., New Ser. 11, No. 2, 197--200 (2000; Zbl 0986.11019); \textit{J. Oesterlé}, Astérisque 161, 165--186 (1988; Zbl 0668.10024)] the following statement is proved. Assume \(D\) is a positive integer and \(M\) a constant such that abc holds for all \(abc\) sum for which \(D\) divides \(abc\). Define \(n=D\prod_{p\mid D}(1-(1/p))\). Then for all \(abc\) sum we have \[ \log c < r(abc) +n\varepsilon\log c +M+ \log (2n2^n). \] A result in the other direction is the following statement of [\textit{S. Mochizuki}, Math. J. Okayama Univ. 52, 1--28 (2010; Zbl 1221.14024)]: Let \(V\) be a finite set of prime numbers; assume that for every even integer \(G\), there exists a function \(\psi_G\) such that \(\psi_G(c)=o(c)\) as \(c\to\infty\) and such that \[ \log c < r(abc) +\psi_G(c) \] for every \(abc\) sum such that \(v_p(abc)<v_p(G)\) for all \(p\in V\). Then for every \(\varepsilon>0\) there exists \(M>0\) such that abc holds for all \(abc\) sums. \par In the paper under review, the author extends both results to number fields in place of the field of rational numbers.