Two restricted ABC conjectures

DOI10.1016/J.JNT.2020.10.020MaRDI QIDQ2220462zbMATH OpenOpenAlexWikidataFDO

Authors Machiel van Frankenhuijsen

Publication date 25 January 2021

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.09493

zbMATH Keywords

Belyi functioneffective abc conjectureFermat curverestricted abc conjectureuniform abc conjecture

Mathematics Subject Classification ID

Linear Diophantine equations (11D04) Diophantine inequalities (11D75) Number-theoretic analogues of methods in Nevanlinna theory (work of Vojta et al.) (11J97) Rational points (14G05) Arithmetic varieties and schemes; Arakelov theory; heights (14G40)

Abstract: Ellenberg proved that the abc conjecture would follow if this conjecture were known for sums $a+b=c$ such that $Dmidabc$ for some integer~$D$. Mochizuki proved a theorem with an opposite restriction, that the full abc conjecture would follow if it were known for abc sums that are not highly divisible. We prove both theorems for general number fields.

Review text

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.

Recommendations

• scientific article; zbMATH DE number 58544
• On the \(abc\) conjecture
• A height inequality for rational points on elliptic curves implied by the abc-conjecture
• The \(abc\)-conjecture
• scientific article; zbMATH DE number 2162689

Cites work

• A lower bound in the \(abc\) conjecture
• ABC implies the radicalized Vojta height inequality for curves
• Congruence ABC implies ABC
• Diophantine approximations and value distribution theory
• scientific article; zbMATH DE number 5666639 (Why is no real title available?)
• scientific article; zbMATH DE number 4093562 (Why is no real title available?)
• scientific article; zbMATH DE number 1313469 (Why is no real title available?)
• scientific article; zbMATH DE number 2162966 (Why is no real title available?)
• scientific article; zbMATH DE number 3187049 (Why is no real title available?)
• On the \(abc\) conjecture
• On the Oesterlé-Masser conjecture
• Separated Belyi maps
• The ABC conjecture implies Vojta's height inequality for curves

Cited in

(9)

• Near miss \(abc\)-triples in general number fields
• On the number of ABC solutions with restricted radical sizes
• The \(abc\)-conjecture for algebraic numbers
• A generalization of the \(abc\)-conjecture over function fields
• The (ABC) Conjecture and the radical index of integers
• A note on \(p\)-rational fields and the abc-conjecture
• Congruence ABC implies ABC
• On the abcabc conjecture in algebraic number fields
• On the radical of a perfect number

This page was built for publication: Two restricted ABC conjectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220462)