Explicit quadratic Chabauty over number fields (Q2048861)

Let \(K\) be a number field, \(X\) a smooth projective curve of genus \(g\ge 2\) over \(K\), \(J\) the Jacobian of \(X\) and \(r\) the rank of the Mordell-Weil group of \(J(K)\). Chabauty's method, made effective by Coleman, produces a way to compute, in many cases, the finite set \(X(K)\) of rational points on \(X\), provided that \(r<g\) [\textit{C. Chabauty}, C. R. Acad. Sci., Paris 212, 882--885 (1941; JFM 67.0105.01); \textit{R. F. Coleman}, Ann. Math. (2) 121, 111--168 (1985; Zbl 0578.14038); \textit{W. McCallum} and \textit{B. Poonen}, Panor. Synth. 36, 99--117 (2012; Zbl 1377.11077)]. Replacing the Jacobian with non-abelian Selmer varieties and the abelian integrals with iterated Coleman integrals, \textit{M. Kim} [Invent. Math. 161, No. 3, 629--656 (2005; Zbl 1090.14006); Publ. Res. Inst. Math. Sci. 45, No. 1, 89--133 (2009; Zbl 1165.14020)]. proposed a way to extend Chabauty-Coleman approach to curves having \(r\ge g\). A different method has been introduced in [\textit{J. S. Balakrishnan} et al., J. Reine Angew. Math. 720, 51--79 (2016; Zbl 1350.11067)] for hyperelliptic curves with a model \(y^2=f(x)\) where \(f\) is a monic polynomial of odd degree without multiple roots, when \(K={\mathbb{Q}}\) and \(r=g\). This method involves \(p\)-adic Arakelov theory and intersection theory on arithmetic surfaces. In the paper under review, the authors extends this method to the case of an algebraic number field \(K\). They also consider bielliptic curves of genus \(2\), extending to number fields the result proved for \(K={\mathbb{Q}}\) in [\textit{J. S. Balakrishnan} and \textit{N. Dogra}, Duke Math. J. 167, No. 11, 1981--2038 (2018; Zbl 1401.14123)]. They illustrate their method by giving several examples, some with \(r\) up to \(4\), where the approach of [\textit{S. Siksek}, Algebra Number Theory 7, No. 4, 765--793 (2013; Zbl 1330.11043)] fails. They describe the algorithm for elliptic curves and for curves of genus \(2\) over quadratic fields.