Researcher profile

Aaron Levin

Aaron Levin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
4topics
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

17 published item(s)

preprint2022arXiv

Greatest Common Divisors on the Complement of Numerically Parallel Divisors

We prove inequalities involving greatest common divisors of functions at integral points with respect to numerically parallel divisors, generalizing a result of Wang and Yasufuku (after work of Bugeaud-Corvaja-Zannier, Corvaja-Zannier, and the second author). After applying a result of Vojta on integral points on subvarieties of semiabelian varieties, we use geometry and the theory of heights to reduce to the (known) case of $\mathbb{G}_m^n$. In addition to proving results in a broader context than previously considered, we also study the exceptional set in this setting, for both the counting function and the proximity function.

preprint2021arXiv

Descent on elliptic surfaces and arithmetic bounds for the Mordell-Weil rank

We introduce the use of $p$-descent techniques for elliptic surfaces over a perfect field of characteristic not $2$ or $3$. Under mild hypotheses, we obtain an upper bound for the rank of a non-constant elliptic surface. When $p=2$, this bound is an arithmetic refinement of a well-known geometric bound for the rank deduced from Igusa's inequality. This answers a question raised by Ulmer. We give some applications to rank bounds for elliptic surfaces over the rational numbers.

preprint2020arXiv

On the degeneracy of integral points and entire curves in the complement of nef effective divisors

As a consequence of our recently established generalized Schmidt's subspace theorem for closed subschemes in general position, we prove a degeneracy theorem for integral points on the complement of a union of nef effective divisors. A novel aspect of our result is the attainment of a strong degeneracy conclusion (arithmetic quasi-hyperbolicity) under weak positivity assumptions on the divisors. The proof hinges on applying our recent theorem with a well-situated ample divisor realizing a certain lexicographical minimax. We also explore the connections with earlier work by other authors and make a Conjecture regarding (optimal) bounds for the numbers of divisors necessary, including consideration of the question of arithmetic hyperbolicity. Under the standard correspondence between statements in Diophantine approximation and Nevanlinna theory, one obtains analogous degeneration statements for entire curves.

preprint2016arXiv

Integral points and orbits of endomorphisms on the projective plane

We analyze when integral points on the complement of a finite union of curves in $\mathbb{P}^2$ are potentially dense. We divide the analysis of these affine surfaces based on their logarithmic Kodaira dimension $\barκ$. When $\barκ = -\infty$, we completely characterize the potential density of integral points in terms of the number of irreducible components on the surface at infinity and the number of multiple members in a pencil naturally associated to the surface. When integral points are not potentially dense, we show that they lie on finitely many effectively computable curves. When $\barκ = 0$, we prove that integral points are always potentially dense. The bulk of our analysis concerns the subtle case of $\barκ=1$. We determine the potential density of integral points in a number of cases and develop tools for studying integral points on surfaces fibered over a curve. Finally, nondensity of integral points in the case $\barκ=2$ is predicted by the Lang-Vojta conjecture, to which we have nothing new to add. In a related direction, we study integral points in orbits under endomorphisms of $\mathbb{P}^2$. Assuming the Lang--Vojta conjecture, we prove that an orbit under an endomorphism $ϕ$ of $\mathbb{P}^2$ can contain a Zariski-dense set of integral points (with respect to some nontrivial effective divisor) only if there is a nontrivial completely invariant proper Zariski-closed set with respect to $ϕ$. This may be viewed as a generalization of a result of Silverman on integral points in orbits of rational functions. We provide many specific examples, and end with some open problems.

preprint2015arXiv

On non-Archimedean curves omitting few components and their arithmetic analogues

Let k be an algebraically closed field complete with respect to a non-Archimedean absolute value of arbitrary characteristic. Let D_1,...,D_n be effective nef divisors intersecting transversally in an n-dimensional nonsingular projective variety X. We study the degeneracy of non-Archimedean analytic maps from k into $X\setminus \cup_{i=1}^nD_i$ under various geometric conditions. When X is a rational ruled surface and D_1 and D_2 are ample, we obtain a necessary and sufficient condition such that there is no non-Archimedean analytic map from k into $X\setminus D_1 \cup D_2$. Using a dictionary between non-Archimedean Nevanlinna theory and Diophantine approximation, we also study arithmetic analogues of these problems, establishing results on integral points on these varieties over the integers or the ring of integers of an imaginary quadratic field.

preprint2014arXiv

Uniform Boundedness of S-Units in Arithmetic Dynamics

Let K be a number field and let S be a finite set of places of K which contains all the Archimedean places. For any f(z) in K(z) of degree d at least 2 which is not a d-th power in \bar{K}(z), Siegel's theorem implies that the image set f(K) contains only finitely many S-units. We conjecture that the number of such S-units is bounded by a function of |S| and d (independently of K and f). We prove this conjecture for several classes of rational functions, and show that the full conjecture follows from the Bombieri--Lang conjecture.

preprint2013arXiv

Linear forms in logarithms and integral points on higher-dimensional varieties

We apply inequalities from the theory of linear forms in logarithms to deduce effective results on S-integral points on certain higher-dimensional varieties when the cardinality of S is sufficiently small. These results may be viewed as a higher-dimensional version of an effective result of Bilu on integral points on curves. In particular, we prove a completely explicit result for integral points on certain affine subsets of the projective plane. As an application, we generalize an effective result of Vojta on the three-variable unit equation by giving an effective solution of the polynomial unit equation f(u,v)=w, where u,v, and w are S-units, |S|\leq 3, and f is a polynomial satisfying certain conditions (which are generically satisfied). Finally, we compare our results to a higher-dimensional version of Runge's method, which has some characteristics in common with the results here.

preprint2013arXiv

On the p-adic Second Main Theorem

We study the Second Main Theorem in non-archimedean Nevanlinna theory, giving an improvement to the non-archimedean Second Main Theorems of Ru and An in the case where all the hypersurfaces have degree greater than one and all intersections are transverse. In particular, under a transversality assumption, if f is a nonconstant non-archimedean analytic map to P^n and D_1,..,D_q are hypersurfaces of degree d, we prove the defect relation \sum_{i=1}^qδ_f(D_i)\leq n-1+1/d, which is sharp for all positive integers n and d.

preprint2013arXiv

The Nagell-Ljunggren equation via Runge's method

The Diophantine equation (x^n-1)/(x-1)=y^q has four known solutions in integers x, y, q and n with |x|, |y|, q > 1 and n > 2. Whilst we expect that there are, in fact, no more solutions, such a result is well beyond current technology. In this paper, we prove that if (x,y,n,q) is a solution to this equation, then n has three or fewer prime divisors, counted with multiplicity. This improves a result of Bugeaud and Mihailescu.

preprint2012arXiv

Siegel's Theorem and the Shafarevich Conjecture

It is known that in the case of hyperelliptic curves the Shafarevich conjecture can be made effective, i.e., for any number field k and any finite set of places S of k, one can effectively compute the set of isomorphism classes of hyperelliptic curves over k with good reduction outside S. We show here that an extension of this result to an effective Shafarevich conjecture for Jacobians of hyperelliptic curves of genus g would imply an effective version of Siegel's theorem for integral points on hyperelliptic curves of genus g.

preprint2011arXiv

Ideals of degree one contribute most of the height

Let $k$ be a number field, $f(x)\in k[x]$ a polynomial over $k$ with $f(0)\neq 0$, and $Ø_{k,S}^*$ the group of $S$-units of $k$, where $S$ is an appropriate finite set of places of $k$. In this note, we prove that outside of some natural exceptional set $T\subset Ø_{k,S}^*$, the prime ideals of $Ø_k$ dividing $f(u)$, $u\in Ø_{k,S}^*\setminus T$, mostly have degree one over $\Q$; that is, the corresponding residue fields have degree one over the prime field. We also formulate a conjectural analogue of this result for rational points on an elliptic curve over a number field, and deduce our conjecture from Vojta's Conjecture. We prove this conjectural analogue in certain cases when the elliptic curve has complex multiplication.

preprint2011arXiv

Rational preimages in families of dynamical systems

Given a rational function of degree at least two defined over a number field k, we study the cardinality of the set of rational iterated preimages. We prove bounds for the cardinality of this set as the rational function varies in certain families. Our proofs are based on unit equations and a method of Runge for effectively determining integral points on certain affine curves. We also formulate and state a uniform boundedness conjecture for iterated preimages of rational functions and relate this conjecture to other well-known conjectures in arithmetic dynamics.

preprint2010arXiv

The exceptional set in Vojta's conjecture for algebraic points of bounded degree

We study the dependence on various parameters of the exceptional set in Vojta's conjecture. In particular, by making use of certain elliptic surfaces, we answer in the negative the often-raised question of whether Vojta's conjecture holds when extended to all algebraic points (that is, if the conjecture holds without fixing a bound on the degree of the algebraic points).