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

Joseph H. Silverman

Joseph H. Silverman contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.DSmath.AG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
19works
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

19 published item(s)

preprint2022arXiv

Orbits on K3 Surfaces of Markoff Type

Let $\mathcal{W}\subset\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$ be a surface given by the vanishing of a $(2,2,2)$-form. These surfaces admit three involutions coming from the three projections $\mathcal{W}\to\mathbb{P}^1\times\mathbb{P}^1$, so we call them $\textit{tri-involutive K3 (TIK3) surfaces}$. By analogy with the classical Markoff equation, we say that $\mathcal{W}$ is of $\textit{Markoff type (MK3)}$ if it is symmetric in its three coordinates and invariant under double sign changes. An MK3 surface admits a group of automorphisms $\mathcal{G}$ generated by the three involutions, coordinate permutations, and sign changes. In this paper we study the $\mathcal{G}$-orbit structure of points on TIK3 and MK3 surfaces. Over finite fields, we study fibral connectivity and the existence of large orbits, analogous to work of Bourgain, Gamburd, Sarnak and others for the classical Markoff equation. For a particular $1$-parameter family of MK3 surfaces $\mathcal{W}_k$, we compute the full $\mathcal{G}$-orbit structure of $\mathcal{W}_k(\mathbb{F}_p)$ for all primes $p\le113$, and we use this data as a guide to find many finite $\mathcal{G}$-orbits in $\mathcal{W}_k(\mathbb{C})$, including a family of orbits of size $288$ parameterized by a curve of genus $9$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Distribution Relation and Inverse Function Theorem in Arithmetic Geometry

We study arithmetic distribution relations and the inverse function theorem in algebraic and arithmetic geometry, with an emphasis on versions that can be applied uniformly across families of varieties and maps. In particular, we prove two explicit versions of the inverse function theorem, the first via general distribution and separation inequalities that may be of independent interest, the second via a careful implementation of classical Newton iteration.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the dynamical and arithmetic degrees of rational self-maps of algebraic varieties

Let f : X --> X be a dominant rational map of a projective variety defined over a global field, let d_f be the dynamical degree of f, and let h_X be a Weil height on X relative to an ample divisor. We prove that h_X(f^n(P)) << (d_f + e)^n h_X(P), where the implied constant depends only on X, h_X, f, and e. As applications, we prove a fundamental inequality a_f(P) \le d_f for the upper arithmetic degree and we construct canonical heights for (nef) divisors. We conjecture that a_f(P) = d_f whenever the orbit of P is Zariski dense, and we describe some cases for which we can prove our conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Dynamical Degrees, Arithmetic Degrees, and Canonical Heights for Dominant Rational Self-Maps of Projective Space

Let F : P^N --> P^N be a dominant rational map. The dynamical degree of F is the quantity d_F = lim (deg F^n)^(1/n). When F is defined over a number field, we define the arithmetic degree of an algebraic point P to be a_F(P) = limsup h(F^n(P))^(1/n) and the canonical height of P to be h_F(P) = limsup h(F^n(P))/n^k d_F^n for an appropriately chosen integer k = k_F. In this article we prove some elementary relations and make some deep conjectures relating d_F, a_F(P), and h_F(P). We prove our conjectures for monomial maps.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Examples of dynamical degree equals arithmetic degree

Let f : X --> X be a dominant rational map of a projective variety defined over a number field. An important geometric-dynamical invariant of f is its (first) dynamical degree d_f= lim SpecRadius((f^n)^*)^{1/n}. For algebraic points P of X whose forward orbits are well-defined, there is an analogous (upper) arithmetic degree a_f(P) = limsup h_X(f^n(P))^{1/n}, where h_X is an ample Weil height on X. In an earlier paper, we proved the fundamental inequality a_f(P) \le d_f and conjectured that a_f(P) = d_f whenever the orbit of P is Zariski dense. In this paper we show that the conjecture is true for several types of maps. In other cases, we provide support for the conjecture by proving that there is a Zariski dense set of points with disjoint orbits and satisfying a_f(P) = d_f.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Primitive Divisors, Dynamical Zsigmondy Sets, and Vojta&#39;s Conjecture

A primitive prime divisor of an element a_n of a sequence (a_1,a_2,a_3,...) is a prime P that divides a_n, but does not divide a_m for all m < n. The Zsigmondy set Z of the sequence is the set of n such that a_n has no primitive prime divisors. Let f : X --> X be a self-morphism of a variety, let D be an effective divisor on X, and let P be a point of X, all defined over the algebraic closure of Q. We consider the Zsigmondy set Z(X,f,P,D) of the sequence defined by the arithmetic intersection of the f-orbit of P with D. Under various assumptions on X, f, D, and P, we use Vojta&#39;s conjecture with truncated counting function to prove that the set of points f^n(P) with n in Z(X,f,P,D) is not Zariski dense in X.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Elliptic Carmichael Numbers and Elliptic Korselt Criteria

Let E/Q be an elliptic curve, let L(E,s)=\sum a_n/n^s be the L-series of E/Q, and let P be a point in E(Q). An integer n > 2 having at least two distinct prime factors will be be called an elliptic pseudoprime for (E,P) if E has good reduction at all primes dividing n and (n+1-a_n)P = 0 (mod n). Then n is an elliptic Carmichael number for E if n is an elliptic pseudoprime for every P in E(Z/nZ). In this note we describe two elliptic analogues of Korselt&#39;s criterion for Carmichael numbers, and we analyze elliptic Carmichael numbers of the form pq.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On a uniform bound for the number of exceptional linear subvarieties in the dynamical Mordell-Lang conjecture

Let F : P^n --> P^n be a morphism of degree d > 1 defined over C. The dynamical Mordell--Lang conjecture says that the intersection of an orbit O_F(P) and a subvariety X of P^n is usually finite. We consider the number of linear subvarieties L in P^n such that the intersection of O_F(P)and L is &#34;larger than expected.&#34; When F is the d&#39;th-power map and the coordinates of P are multiplicatively independent, we prove that there are only finitely many linear subvarieties that are &#34;super-spanned&#34; by O_F(P), and further that the number of such subvarieties is bounded by a function of n, independent of the point P or the degree d. More generally, we show that there exists a finite subset S, whose cardinality is bounded in terms of n, such that any n+1 points in O_F(P)-S are in linear general position in P^n.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

An algebraic approach to certain cases of Thurston rigidity

In the moduli space of polynomials of degree 3 with marked critical points c_1 and c_2, let C_{1,n} be the locus of maps for which c_1 has period n and let C_{2,m} be the locus of maps for which c_2 has period m. A consequence of Thurston&#39;s rigidity theorem is that the curves C_{1,n} and C_{2,m} intersect transversally. We give a purely algebraic proof that the intersection points are 3-adically integral and use this to prove transversality. We also prove an analogous result when c_1 or c_2 or both are taken to be preperiodic with tail length exactly 1.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Height Estimates for Equidimensional Dominant Rational Maps

Let F : W --> V be a dominant rational map between quasi-projective varieties of the same dimension. We give two proofs that h_V(F(P)) >> h_W(P) for all points P in a nonempty Zariski open subset of W. For dominant rational maps F : P^n --> P^n, we give a uniform estimate in which the implied constant depends only on n and the degree of F. As an application, we prove a specialization theorem for equidimensional dominant rational maps to semiabelian varieties, providing a complement to Habegger&#39;s recent theorem on unlikely intersections.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

On a Dynamical Brauer-Manin Obstruction

Let F : X --> X be a morphism of a variety defined over a number field K, let V be a K-subvariety of X, and let O_F(P)= {F^n(P) :n=0,1,2,...} be the orbit of a point P in X(K). We describe a local-global principle for the intersection of V and O_F(P). This principle may be viewed as a dynamical analog of the Brauer-Manin obstruction. We show that the rational points of V(K) are Brauer--Manin unobstructed for power maps on P^2 in two cases: (1) V is a translate of a torus. (2) V is a line and P has a preperiodic coordinate. A key tool in the proofs is the classical Bang-Zsigmondy theorem on primitive divisors in sequences. We also prove analogous local-global results for dynamical systems associated to endomoprhisms of abelian varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Canonical heights and the arithmetic complexity of morphisms on projective space

Let F and G be morphisms of degree at least 2 from P^N to P^N that are defined over the algebraic closure of Q. We define the arithmetic distance d(F,G) between F and G to be the supremum over all algebraic points P of |h_F(P)-h_G(P)|, where h_F and h_G are the canonical heights associated to the morphisms F and G, respectively. We prove comparison theorems relating d(F,G) to more naive height functions and show that for a fixed G, the set of F satisfying d(F,G) < B is a set of bounded height. In particular, there are only finitely many such F defined over any given number field.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Nonarchimedean Green functions and dynamics on projective space

Let F: P^N_K --> P^N_K be a morphism of degree d > 1 defined over a field K that is algebraically closed and complete with respect to a nonarchimedean absolute value. We prove that a modified Green function G_F associated to F is Holder continuous on P^N(K) and that the Fatou set F is equal to the set of points at which G_F is locally constant. Further, G_F vanishes precisely on the set of points P such that F has good reduction at every point in the forward orbit of P. We also prove that the iterates of F are locally uniformly Lipschitz on the Fatou set of F.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Variation of Periods Modulo p in Arithmetic Dynamics

Let F : V --> V be a self-morphism of a quasiprojective variety defined over a number field K and let P be a point in V(K) with infinite orbit under iteration of F. For each prime ideal p of good reduction, let m_p(F,P) be the size of the F-orbit of the reduction of P modulo p. Fix any e > 0. We show that for almost all primes p, in the sense of analytic density, the orbit size m_p(F,P) is larger than (log(N(p)))^(1-e), where N(p) is the norm of the ideal p.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

On the independence of Heegner points associated to distinct quadratic imaginary fields

Let E/Q be an elliptic curve with a fixed modular parametrization F : X_0(N) --> E and let P_1,...,P_r be Heegner points on E attached to the rings of integers of distinct quadratic imaginary field k_1,...,k_r. We prove that if the odd parts of the class numbers of k_1,...,k_r are larger than a constant C=C(E,F) depending only on E and F, then the points P_1,...,P_r are independent in E/(torsion). We also discuss a possible application to the elliptic curve discrete logarithm problem.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

The space of rational maps on P^1

The set of morphisms $\f:\PP^1\to\PP^1$ of degree $d$ is parametrized by an affine open subset $\Rat_d$ of $\PP^{2d+1}$. We consider the action of~$\SL_2$ on $\Rat_d$ induced by the {\it conjugation action\/} of $\SL_2$ on rational maps; that is, $f\in\SL_2$ acts on~$\f$ via $\f^f=f^{-1}\circ\f\circ f$. The quotient space $\M_d=\Rat_d/\SL_2$ arises very naturally in the study of discrete dynamical systems on~$\PP^1$. We prove that~$\M_d$ exists as an affine integral scheme over~$\ZZ$, that $\M_2$ is isomorphic to~$Å^2_\ZZ$, and that the natural completion of~$\M_2$ obtained using geometric invariant theory is isomorphic to~$\PP^2_\ZZ$. These results, which generalize results of Milnor over~$\CC$, should be useful for studying the arithmetic properties of dynamical systems.

0 citations0 reviewsNo code linkedOpen access