Quadratic Chabauty for modular curves and modular forms of rank one

Arithmetic aspects of modular and Shimura varieties (11G18) [https://duckduckgo.com/?q=MSC%2011G30%20%22Curves+of+arbitrary+genus+or+genus+%28%0D%0Ae+1%29+over+global+fields%22 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Rational points (14G05)

Abstract: In this paper, we provide refined sufficient conditions for the quadratic Chabauty method to produce a finite set of points, with the conditions on the rank of the Jacobian replaced by conditions 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 finiteness of this set for any modular curves

X_{m a t h r m n s}^{+} (N)

and

X_{0}^{+} (N)

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.

Review text

The Chabauty-Kim method is a method for determining the set \(X(\mathbb{Q})\) of rational points of a curve \(X\) over \(\mathbb{Q}\) of genus bigger than one. The idea is to locate \(X(\mathbb{Q})\) inside \(X(\mathbb{Q}_p)\) by finding an obstruction to a \(p\)-adic point being global. This leads to a tower of obstructions \[X(\mathbb{Q}_p) \supset X(\mathbb{Q}_p)_1 \supset X(\mathbb{Q}_p)_2 \supset \ldots \supset X(\mathbb{Q}).\] The first obstruction set \(X(\mathbb{Q}_p)_1\) is the one produced by Chabauty's method. In situations when \(X(\mathbb{Q}_p)_1\) is finite, it can often be used to determine \(X(\mathbb{Q})\). In the present paper, the authors study the finiteness of the Chabauty-Kim set \(X(\mathbb{Q}_p)_2\) when \(X\) is one of the modular curves \(X_{\text{ns}}^{+}(N)\) or \(X_0^{+}(N)\) with \(N\) a prime different from \(p\), where \(X_0^{+}(N)\) is the quotient of \(X_0(N)\) by the Atkin-Lehner involution \(w_N\), and \(X_{\text{ns}}^{+}(N)\) is the quotient of \(X(N)\) by the normalizer of a non-split Cartan subgroup. They show that for all prime \(N\) such that \(g(X_0^{+}(N)) \geq 2\), \(X_0^{+}(N)(\mathbb{Q}_p)_2\) is finite for any \(p \neq N\), and for all prime \(N\) such that \(g(X_{\text{ns}}^{+}(N)) \geq 2\) and \(X_{\text{ns}}^{+}(N)(\mathbb{Q}) \neq \emptyset\), \(X_{\text{ns}}^{+}(N)(\mathbb{Q}_p)_2\) is finite for any \(p \neq N\). Their proof proceeds along the lines of the quadratic Chabauty method.

Recommendations

Cites work

Cited in

(13)

Describes a project that uses

Uses Software

This page was built for publication: Quadratic Chabauty for modular curves and modular forms of rank one

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2035580)