Explicit estimates in inter-universal Teichmüller theory

Abstract

In the final paper of a series of papers concerning interuniversal Teichmüller theory, Mochizuki verified various numerically non-effective versions of the Vojta, ABC, and Szpiro Conjectures over number fields. In the present paper, we obtain various numerically effective versions of Mochizuki's results. In order to obtain these results, we first establish a version of the theory of étale theta functions that functions properly at arbitrary bad places, i.e., even bad places that divide the prime "2". We then proceed to discuss how such a modified version of the theory of étale theta functions affects inter-universal Teichmüller theory. Finally, by applying our slightly modified version of inter-universal Teichmüller theory, together with various explicit estimates concerning heights, the j-invariants of "arithmetic" elliptic curves, and the prime number theorem, we verify the numerically effective versions of Mochizuki's results referred to above. These numerically effective versions imply effective diophantine results such as an effective version of the ABC inequality over mono-complex number fields [i.e., the rational number field or an imaginary quadratic field] and an effective version of a conjecture of Szpiro. We also obtain an explicit estimate concerning "Fermat's Last Theorem" (FLT) -i.e., to the effect that FLT holds for prime exponents > 1.615 • 10 14 -which is sufficient to give an alternative proof of the first case of Fermat's Last Theorem.

The abcd conjecture, uniform boundedness, and dynamical systems

“…-It is worth noting the significant attention that Szpiro's conjecture has received since the 2012 release of Shinichi Mochizuki's four preprints claiming a proof via inter-universal Teichmüller theory. These four papers have since been published [44,45,46,47] with an additional follow-up article [49], although the academic disagreements have not yet been completely resolved to the author's knowledge (c.f. [9,13,32,48,58]).…”

Construction of Arithmetic Teichmuller spaces II: Proof of a local prototype of Mochizuki's Corollary 3.12

“…In particular, Mochizuki's log-Kummer Indeterminacy Ind3 emerges quite naturally from my point of view (Theorem 10.15.1). As Mochizuki reminds us in [Mochizuki, 2022], Indetermincay Ind3 is central to his proof of [Mochizuki, 2021c, Corollary 3.12]. § 10.2 Let X/E be a geometrically connected, smooth, quasi-projective variety over a p- p n .…”