BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Hector Pasten

Hector Pasten contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.LOmath.CV

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

8 published item(s)

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 .

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access