Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper addresses the complexity of quadratic Chabauty computations for $X_0(N)^*$ by developing a strategy to construct a global $p$-adic height that eliminates local height contributions at primes of bad reduction for squarefree $N$. The core of this strategy involves explicitly describing the minimal regular model of $X_0(N)^*$ at bad primes, proving its semi-stability, and leveraging linear conditions derived from its components. The existence of such a $p$-adic height is established for all squarefree levels $N>714$, enabling new rational point determinations on several $X_0(N)^*$ curves.
A global $p$-adic height is constructed that nullifies bad reduction contributions in quadratic Chabauty, unlocking computations for a vast class of modular curves.
Quadratic Chabauty computations for $X_0(N)^*$ are complicated by local height contributions at primes of bad reduction. For squarefree $N$, we explain a strategy for constructing a global $p$-adic height for which all the contributions at the primes of bad reduction vanish. As our first main result, we show that such a $p$-adic height exists for all squarefree levels $N>714$. In order to do this, we first give an explicit description of the minimal regular model of $X_0(N)^*$ at primes of bad reduction, and show this model is semi-stable. Each component of this model gives rise to a linear condition which ensures that the contribution at that component vanishes. Using embeddings of quadratic orders into quaternion algebras, we obtain an upper bound for the number of these conditions; when the genus of $X_0(N)^*$ is greater than one more than this bound, there is enough freedom to choose a suitable correspondence, simplifying quadratic Chabauty computations. As an application, we determine the rational points on several curves $X_0(N)^*$ for which this was not done before.