Source author record

Hector Pasten

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.LO math.CV

Catalog footprint

Research overview

9works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Sobre los teoremas de Shafarevich y Siegel

Presentaremos una nueva demostración del teorema de Shafarevich sobre finitud de curvas elípticas con buena reducción fuera de un conjunto finito de primos dado. Esto da un nuevo punto de entrada a teoremas fundamentales de finitud diofantina tales como el teorema de Siegel sobre la ecuación $S$ -unidad. Nuestro argumento está libre de aproximación diofantina o teoría de trascendencia, y se acerca más a las ideas de Faltings en su demostración de la conjetura de Mordell. -- We present a new proof of Shafarevich's theorem on finiteness of elliptic curves with good reduction outside a given finite set of primes. This gives a new entry point to fundamental diophantine finiteness theorems such as Siegel's theorem on the $S$ -unit equation. Our proof is free from diophantine approximation or transcendence theory, and it is closer to the ideas of Faltings in his proof of Mordell's conjecture .

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2021arXiv

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.

preprint2021arXiv

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.

preprint2014arXiv

Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

We prove a negative solution to the analogue of Hilbert's tenth problem for rings of one variable non-Archimedean entire functions in any characteristic. In the positive characteristic case we prove more: the ring of rational integers is uniformly positive existentially interpretable in the class of $\{0,1,t,+,\cdot,=\}$ -structures consisting of positive characteristic rings of entire functions on the variable $t$ . From this we deduce uniform undecidability results for the positive existential theory of such structures. As a key intermediate step, we prove a rationality result for the solutions of certain Pell equation (which a priori could be transcendental entire functions).

preprint2011arXiv

Representation of powers by polynomials over function fields and a problem of Logic

We solve a generalization of Büchi's problem in any exponent for function fields, and briefly discuss some consequences on undecidability. This provides the first example where this problem is solved for rings of functions in the case of an exponent larger than 3.

preprint2010arXiv

Representation of squares by monic second degree polynomials in the field of $p$ -adic meromorphic functions

We prove a result on the representation of squares by second degree polynomials in the field of $p$ -adic meromorphic functions in order to solve positively Büchi's $n$ squares problem in this field (that is, the problem of the existence of a constant $M$ such that any sequence $(x_n^2)$ of $M$ - not all constant - squares whose second difference is the constant sequence $(2)$ satisfies $x_n^2=(x+n)^2$ for some $x$ ). We prove (based on works by Vojta) an analogous result for function fields of characteristic zero, and under a Conjecture by Bombieri, an analogous result for number fields. Using an argument by Büchi, we show how the obtained results improve some theorems about undecidability for the field of $p$ -adic meromorphic functions and the ring of $p$ -adic entire functions.

preprint2010arXiv

Uniform Definability and Undecidability in Classes of Structures

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define uniformly in the characteristic the equivalence relation " $x\sim y$ if and only if $x$ is an iterate of $y$ throuh the Frobenius map, or vice versa" in large classes of function fields and in polynomial rings.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Hector Pasten

Research overview

Is this your work?

9 publications

Sobre los teoremas de Shafarevich y Siegel

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

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

A Chabauty-Coleman bound for surfaces

A conjecture of Watkins for quadratic twists

Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

Representation of powers by polynomials over function fields and a problem of Logic

Representation of squares by monic second degree polynomials in the field of $p$ -adic meromorphic functions

Uniform Definability and Undecidability in Classes of Structures

See the researcher in context

Building this map preview

Hector Pasten

Research overview

Is this your work?

9 publications

Sobre los teoremas de Shafarevich y Siegel

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

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

A Chabauty-Coleman bound for surfaces

A conjecture of Watkins for quadratic twists

Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

Representation of powers by polynomials over function fields and a problem of Logic

Representation of squares by monic second degree polynomials in the field of ppp-adic meromorphic functions

Uniform Definability and Undecidability in Classes of Structures

See the researcher in context

Building this map preview

Representation of squares by monic second degree polynomials in the field of $p$ -adic meromorphic functions