Shimura curves and the abc conjecture

In this work we develop a framework that enables the use of Shimura curve parametrizations of elliptic curves to approach the abc conjecture, leading to a number of new unconditional applications over Q and, more generally, totally real number fields. Several results of independent interest are obtained along the way, such as bounds for the Manin constant, a study of the congruence number, extensions of the Ribet-Takahashi formula, and lower bounds for the L2-norm of integral quaternionic modular forms.The methods require a number of tools from Arakelov geometry, analytic number theory, Galois representations, complex-analytic estimates on Shimura curves, automorphic forms, known cases of the Colmez conjecture, and results on generalized Fermat equations.& COPY; 2023 Published by Elsevier Inc.