Quadratic Chabauty for modular curves and modular forms of rank one

In this paper, we provide refined sufficient conditions for the quadratic Chabauty method on a curve X to produce an effective finite set of points containing the rational points X(Q)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$X({\mathbb {Q}})$$\end{document}, with the condition on the rank of the Jacobian of X replaced by condition on the rank of a quotient of the Jacobian plus an associated space of Chow–Heegner points. We then apply this condition to prove the effective finiteness of X(Q)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$X({\mathbb {Q}})$$\end{document} for any modular curve X=X0+(N)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$X=X_0^+(N)$$\end{document} or Xns+(N)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$X_\mathrm{{ns}}^+(N)$$\end{document} of genus at least 2 with N prime. The proof relies on the existence of a quotient of their Jacobians whose Mordell–Weil rank is equal to its dimension (and at least 2), which is proven via analytic estimates for orders of vanishing of L-functions of modular forms, thanks to a Kolyvagin–Logachev type result.