Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.36300

On Vojta's harder implication, height inequalities for admissible pairs, points of bounded degree and Deligne-Mumford stacks

Nathan Grieve
View original source ↗Read source document ↗Export metadata ↓

Abstract

We expand on the concept of \emph{admissible pairs} from \cite{Levin:GCD} and explore its relation with the main Diophantine arithmetic inequalities, with discriminant term and for points of bounded degree, that have been predicted by Vojta \cite{Vojta:1998}. In this context, among other new results, we prove a \emph{harder implication} which is in the spirit of Vojta's approach to the abc Conjecture (from \cite{Vojta:1998}). As our main result, and application of our viewpoint here, we deduce for the case of certain general type nonsingular Deligne-Mumford stacks, with projective course moduli space, a form of the Bombieri-Lang Conjecture for $(D_0,S)$-integral points of bounded degree. A key input for this is a slicing theorem, for Deligne-Mumford stacks, that was obtained by Abramovich and Várilly-Alvarado, \cite{Abramovich:VarillyAlvarado:Pera:2017}, and building on earlier work of Kresch and Vistoli \cite{Kresch:Vistoli:2004}. Another important ingredient is an inequality of Silverman, from \cite{Silverman:1984}, which bounds the discriminant of points in projective space in terms of their heights. As an illustration of our results, we discuss them within the context of the interesting work of Abramovich and Harris \cite{Abramovich:Harris:1991} and others.

Explore related subjects

math.NTmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nathan Grieve. 2026-09-28. On Vojta's harder implication, height inequalities for admissible pairs, points of bounded degree and Deligne-Mumford stacks. https://arxiv.org/abs/2609.36300

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Asymptotic Fermat for signatures $(r,r,p)$ using the modular approach

Let $K$ be a totally real field, and $r\geq 5$ a fixed rational prime. In this paper, we use the modular method as presented in the work of Freitas and Siksek to study non-trivial, primitive solutions $(x,y,z) \in \mathcal{O}_K^3$ of the signature $(r,r,p)$ equation $x^r+y^r=z^p$ (where $p$ is a prime that varies). An adaptation of the modular method is needed, and we follow the work of Freitas which constructs Frey curves over totally real subfields of $K(ζ_r)$. When $K=\mathbb{Q}$ we get that for most of the primes $5\leq r<150$ with $r\equiv 3,5\mod 8$ there are no non-trivial, primitive integer solutions $(x,y,z)$ with $2|z$ for signatures $(r,r,p)$ when $p$ is sufficiently large. Similar results hold for quadratic fields, for example when $K=\mathbb{Q}(\sqrt{2})$ there are no non-trivial, primitive solutions $(x,y,z)\in \mathcal{O}_K^3$ with $\sqrt{2}|z$ for signatures $(5,5,p), (11,11,p), (13,13,p)$ and sufficiently large $p$.

math.NT↗
arXiv2026

Algebraic approximations to linear combinations of S-units

Let $Γ\subset \bar{\Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers, let $α_1,\ldots,α_m$ be non-zero algebraic numbers, and let $\varepsilon >0$ be fixed. In this paper, we prove that there exist only finitely many tuples $(u_1, \ldots, u_m, q, p)\in Γ^m\times\mathbb{Z}^2$ with $d = [\mathbb{Q}(u_1, \ldots, u_m):\mathbb{Q}]$ such that for any two tuples $(u_1,\ldots,u_m)$ and $(u'_1,\ldots,u'_m)$, we have $\frac{u_{i_1}}{u_{i_2}}\neq \frac{u'_{i_1}}{u'_{i_2}}$ for $1\leq i_1\neq i_2\leq m$ and it is stable under Galois conjugation over $\Q$, $\max\{|α_1 qu_1|, \ldots, |α_m qu_m|\}>1$, the tuple $(α_1qu_1, \ldots, α_mq u_m)$ is not pseudo-Pisot and \[0< \left|\sum_{i=1}^m α_iq u_i - p\right|<\frac{1}{\left(\prod_{i=1}^mH( u_i)\right)^{\varepsilon} |q|^{md+\varepsilon}},\] where $H(u_i)$ denotes the absolute Weil height. This result extends one of the main results of Corvaja-Zannier \cite{corv}. In addition, we prove a result similar to \cite[Theorem 1.4]{kul} in a more general setting. In our proofs, we exploit the subspace theorem based on the work of Corvaja-Zannier.

math.NT↗
arXiv2026

Rational points on modular curves via maps to elliptic curves with rank zero

A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le \mathrm{GL}_2(\mathbb{Z}/N\mathbb{Z})$, there is a modular curve $X_G$ whose rational points parametrize elliptic curves for which the image of the mod $N$ Galois representation is contained in $G$. If $X_G$ admits a map to an elliptic curve $E/\mathbb{Q}$ for which $E(\mathbb{Q})$ has rank $0$, then its rational points can be effectively determined, provided that a map $X_G \to E$ is known. In this article, we give a method for constructing such maps. Using this method, together with existing methods and results, we systematically determine the rational points of $X_G$ for more than $99\%$ of modular curves of level at most $70$.

math.NT↗