Searcharxiv⌕ Search

arXiv subjects

Hector Pasten

Publications and source records attributed to Hector Pasten.

At least 37 records · Page 2Linked to original sources
arXiv2023

A criterion for non-density of integral points

We give a general criterion for Zariski degeneration of integral points in the complement of a divisor $D$ with $n$ components in a variety of dimension $n$ defined over $\mathbb{Q}$ or over a quadratic imaginary field. The key condition is that the intersection of the components of $D$ is not well-approximated by rational points, and we discuss several cases where this assumption is satisfied. We also prove a GCD bound for algebraic points in varieties, which can be of independent interest.

math.NT↗
arXiv2023

The largest prime factor of $n^2+1$ and improvements on subexponential $ABC$

We combine transcendental methods and the modular approaches to the $ABC$ conjecture to show that the largest prime factor of $n^2+1$ is at least of size $(\log_2 n)^2/\log_3n$ where $\log_k$ is the $k$-th iterate of the logarithm. This gives a substantial improvement on the best available estimates, which are essentially of size $\log_2 n$ going back to work of Chowla in 1934. Using the same ideas, we also obtain significant progress on subexpoential bounds for the $ABC$ conjecture, which in a case gives the first improvement on a result by Stewart and Yu dating back over two decades. Central to our approach is the connection between Shimura curves and the $ABC$ conjecture developed by the author.

math.NT↗
arXiv2023

Effectivity for existence of rational points is undecidable

The analogue of Hilbert's tenth problem over $\mathbb{Q}$ asks for an algorithm to decide the existence of rational points in algebraic varieties over this field. This remains as one of the main open problems in the area of undecidability in number theory. Besides the existence of rational points, there is also considerable interest in the problem of effectivity: one asks whether the sought rational points satisfy determined height bounds, often expressed in terms of the height of the coefficients of the equations defining the algebraic varieties under consideration. We show that, in fact, Hilbert's tenth problem over $\mathbb{Q}$ with (finitely many) height comparison conditions is undecidable.

math.NT↗
arXiv2023

Intersecting the torsion of elliptic curves

In 2007, Bogomolov and Tschinkel proved that given two complex elliptic curves $E_1$ and $E_2$ along with even degree-$2$ maps $π_j\colon E_j\to \mathbb{P}^1$ having different branch loci, the intersection of the image of the torsion points of $E_1$ and $E_2$ under their respective $π_j$ is finite. They conjectured (also in works with Fu) that the cardinality of this intersection is uniformly bounded independently of the elliptic curves. As it has been observed in the literature, the recent proof of the Uniform Manin-Mumford conjecture implies a full solution of the Bogomolov-Fu-Tschinkel conjecture. In this work we prove a generalization of the Bogomolov-Fu-Tschinkel conjecture where instead of even degree-$2$ maps one can use any rational functions of bounded degree on the elliptic curves as long as they have different branch loci. Our approach combines Nevanlinna theory with the Uniform Manin-Mumford conjecture. With similar techniques, we also prove a result on lower bounds for ranks of elliptic curves over number fields.

math.NT↗
arXiv2023

Hilbert's tenth problem for lacunary entire functions of finite order

In the context of Hilbert's tenth problem, an outstanding open case is that of complex entire functions in one variable. A negative solution is known for polynomials (by Denef) and for exponential polynomials of finite order (by Chompitaki, Garcia-Fritz, Pasten, Pheidas, and Vidaux), but no other case is known for rings of complex entire functions in one variable. We prove a negative solution to the analogue of Hilbert's tenth problem for rings of complex entire functions of finite order having lacunary power series expansion at the origin.

math.LO↗
arXiv2022

On the fibres of an elliptic surface where the rank does not jump

For a non-constant elliptic surface over $\mathbb{P}^1$ defined over $\mathbb{Q}$, it is a result of Silverman that the Mordell--Weil rank of the fibres is at least the rank of the group of sections, up to finitely many fibres. If the elliptic surface is non-isotrivial one expects that this bound is an equality for infinitely many fibres, although no example is known unconditionally. Under the Bunyakovsky conjecture, such an example has been constructed by Neumann and Setzer. In this note we show that the Legendre elliptic surface has the desired property, conditional on the existence of infinitely many Mersenne primes.

math.NT↗
arXiv2022

Non-Diophantine sets in rings of functions

Except for a limited number of cases, a complete classification of the Diophantine sets of polynomial rings and fields of rational functions seems out of reach at present. We contribute to this problem by proving that several natural sets and relations over these structures are not Diophantine.

math.NT↗
arXiv2022

Superficies elípticas y el décimo problema de Hilbert

A negative solution to Hilbert's tenth problem for the ring of integers $O_F$ of a number field $F$ would follow if $\mathbb{Z}$ were Diophantine in $O_F$. Denef and Lipshitz conjectured that the latter occurs for every number field $F$. In this note we show that the conjecture of Denef and Lipshitz is a consequence of a well-known conjecture on elliptic surfaces. -- Es sabido que se obtendría una solución negativa al décimo problema de Hilbert para el anillo de enteros $O_F$ de un campo de números $F$ si $\mathbb{Z}$ fuera diofantino en $O_F$. Denef y Lipshitz conjeturaron que esto último ocurre para todo $F$. En esta nota se demuestra que la conjetura de Denef y Lipshitz es consecuencia de una conocida conjetura sobre superficies elípticas.

math.NT↗
arXiv2022

On the arithmetic case of Vojta's conjecture with truncated counting functions

We prove a Diophantine approximation inequality for rational points in varieties of any dimension, in the direction of Vojta's conjecture with truncated counting functions. Our results also provide a bound towards the $abc$ conjecture which in several cases is subexponential. The main theorem gives a lower bound for the truncated counting function relative to a divisor with sufficiently many components, in terms of the proximity to an algebraic point. Furthermore, we show that the Lang-Waldschmidt conjecture implies a special case of Vojta's conjecture with truncation in arbitrary dimension. Our methods are based on the theory of linear forms in logarithms and a geometric construction.

math.NT↗
arXiv2021

Arithmetic derivatives through geometry of numbers

We define certain arithmetic derivatives on $\mathbb{Z}$ that respect the Leibniz rule, are additive for a chosen equation $a+b=c$, and satisfy a suitable non-degeneracy condition. Using Geometry of Numbers, we unconditionally show their existence with controlled size. We prove that any power-saving improvement on our size bounds would give a version of the $abc$ Conjecture. In fact, we show that the existence of sufficiently small arithmetic derivatives in our sense is equivalent to the $abc$ Conjecture. Our results give an explicit manifestation of an analogy suggested by Vojta in the eighties, relating Geometry of Numbers in arithmetic to derivatives in function fields and Nevanlinna theory. In addition, our construction formalizes the widespread intuition that the $abc$ Conjecture should be related to arithmetic derivatives of some sort.

math.NT↗
arXiv2021

Notes on the DPRM property for listable structures

A celebrated result by M. Davis, H. Putnam, J. Robinson, and Y. Matiyasevich shows that a set of integers is listable if and only if it is positive existentially definable in the language of arithmetic. We investigate analogues of this result over structures endowed with a listable presentation. When such an analogue holds, the structure is said to have the DPRM property. We prove several results addressing foundational aspects around this problem, such as uniqueness of the listable presentation, transference of the DPRM property under interpretation, and its relation with positive existential bi-interpretability. A first application of our results is the rigorous proof of (strong versions of) several folklore facts regarding transference of the DPRM property. Another application of the theory we develop is that it will allow us to link various Diophantine conjectures to the question of whether the DPRM property holds for global fields. This last topic includes a study of the number of existential quantifiers needed to define a Diophantine set.

math.LO↗
arXiv2021

A Chabauty-Coleman bound for surfaces

Building on work by Chabauty from 1941, Coleman proved in 1985 an explicit bound for the number of rational points of a curve $C$ of genus $g\ge 2$ defined over a number field $F$, with Jacobian of rank at most $g-1$. Namely, in the case $F=\mathbb{Q}$, if $p>2g$ is a prime of good reduction, then the number of rational points of $C$ is at most the number of $\mathbb{F}_p$-points plus a contribution coming from the canonical class of $C$. We prove a result analogous to Coleman's bound in the case of a hyperbolic surface $X$ over a number field, embedded in an abelian variety $A$ of rank at most one, under suitable conditions on the reduction type at the auxiliary prime. This provides the first extension of Coleman's explicit bound beyond the case of curves. The main innovation in our approach is a new method to study the intersection of a $p$-adic analytic subgroup with a subvariety of $A$ by means of overdetermined systems of differential equations in positive characteristic.

math.NT↗
arXiv2021

A conjecture of Watkins for quadratic twists

Watkins conjectured that for an elliptic curve $E$ over $\mathbb{Q}$ of Mordell-Weil rank $r$, the modular degree of $E$ is divisible by $2^r$. If $E$ has non-trivial rational $2$-torsion, we prove the conjecture for all the quadratic twists of $E$ by squarefree integers with sufficiently many prime factors.

math.NT↗
arXiv2019

Elliptic curves with long arithmetic progressions have large rank

For any family of elliptic curves over the rational numbers with fixed $j$-invariant, we prove that the existence of a long sequence of rational points whose $x$-coordinates form a non-trivial arithmetic progression implies that the Mordell-Weil rank is large, and similarly for $y$-coordinates. We give applications related to uniform boundedness of ranks, conjectures by Bremner and Mohanty, and arithmetic statistics on elliptic curves. Our approach involves Nevanlinna theory as well as Rémond's quantitative extension of results of Faltings.

math.NT↗
arXiv2019

Bivariate polynomial injections and elliptic curves

For every number field $k$, we construct an affine algebraic surface $X$ over $k$ with a Zariski dense set of $k$-rational points, and a regular function $f$ on $X$ inducing an injective map $X(k)\to k$ on $k$-rational points. In fact, given any elliptic curve $E$ of positive rank over $k$, we can take $X=V\times V$ with $V$ a suitable affine open set of $E$. The method of proof combines value distribution theory for complex holomorphic maps with results of Faltings on rational points in sub-varieties of abelian varieties.

math.NT↗
arXiv2019

Towards Hilbert's Tenth Problem for rings of integers through Iwasawa theory and Heegner points

For a positive proportion of primes $p$ and $q$, we prove that $\mathbb{Z}$ is Diophantine in the ring of integers of $\mathbb{Q}(\sqrt[3]{p},\sqrt{-q})$. This provides a new and explicit infinite family of number fields $K$ such that Hilbert's tenth problem for $O_K$ is unsolvable. Our methods use Iwasawa theory and congruences of Heegner points in order to obtain suitable rank stability properties for elliptic curves.

math.NT↗