Bounds on the Chabauty-Kim locus of hyperbolic curves (Q6624409)

Let \(X/\mathbb{Q}\) be a smooth proper connected curve of genus \(g \geq 2\) and let \(p\) be a prime of good reduction. In [\textit{M. Kim}, Publ. Res. Inst. Math. Sci. 45, No. 1, 89--133 (2009; Zbl 1165.14020)], it is proved under the assumption of the Bloch-Kato Conjecture that the Chabauty-Kim locus \(X(\mathbb{Q}_p)_{\infty}\) is finite for every such curve \(X\), and hence it is verified that the set of rational points is also finite. In this paper, it is proved that the size \(X(\mathbb{Q}_p)_{\infty}\) is bounded by \N\[\N\#X(\mathbb{Q}_p)_{\infty} \leq \kappa_p \cdot (p + 1 + 2g\sqrt{p}) \cdot \prod_{\ell} n_{\ell} \cdot (4g - 2)^{2^{2r+4}} \cdot (2g)^{2^{4r+7}},\N\]\Nwhere \(r\) is the Mordell-Weil rank of the Jacobian of \(X\), \(n_{\ell}\) is the number of irreducible components on the mod-\(\ell\) special fibre of the minimal regular model of \(X\), and \N\[\N\kappa_p = \begin{cases} 1+\frac{p-1}{(p-2) \log(p)} & \text{if} \, p \neq 2,\\\N2 + \frac{2}{\log(2)} & \text{if} \, p = 2. \end{cases}\N\]\NThis result is proved using the effective Chabauty-Kim method, and generalizing bounds provided by Coleman and Balakrishnan-Dogra using the abelian and quadratic Chabauty methods. Since \(X(\mathbb{Q})\subseteq X(\mathbb{Q}_p)_{\infty}\) for all \(p\), the above result establishes a bound on the size of \(X(\mathbb{Q})\). Thus, assuming the Tate-Shafarevich and Bloch-Kato Conjectures, the following bound is given for the size of \(X(\mathbb{Q})\): \N\[\N\#X(\mathbb{Q}) \leq \kappa_p \cdot (p + 1 + 2g\sqrt{p}) \cdot \prod_{\ell} n_{\ell} \cdot (4g - 2)^{2^{2r+4}} \cdot (2g)^{2^{4r+7}}.\N\]