Source author record

Alon Levy

Alon Levy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.DS math.NT math.AG

Catalog footprint

What is connected

8works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2015arXiv

Finite ramification for preimage fields of postcritically finite morphisms

Given a finite endomorphism $φ$ of a variety $X$ defined over the field of fractions $K$ of a Dedekind domain, we study the extension $K(φ^{-\infty}(α)) : = \bigcup_{n \geq 1} K(φ^{-n}(α))$ generated by the preimages of $α$ under all iterates of $φ$. In particular when $φ$ is post-critically finite, i.e., there exists a non-empty, Zariski-open $W \subseteq X$ such that $φ^{-1}(W) \subseteq W$ and $φ: W \to X$ is étale, we prove that $K(φ^{-\infty}(α))$ is ramified over only finitely many primes of $K$. This provides a large supply of infinite extensions with restricted ramification, and generalizes results of Aitken-Hajir-Maire in the case $X = \mathbb{A}^1$ and Cullinan-Hajir, Jones-Manes in the case $X = \mathbb{P}^1$. Moreover, we conjecture that this finite ramification condition characterizes post-critically finite morphisms, and we give an entirely new result showing this for $X = \mathbb{P}^1$. The proof relies on Faltings' theorem and a local argument.

preprint2015arXiv

Isolated Periodic Points in Several Nonarchimedean Variables

Let $φ: \mathbb{P}^{n}_{F} \to \mathbb{P}^{n}_{F}$ where $F$ is a complete valued field. If $x$ is a fixed point, such that the action of $φ$ on $T_{x}$ has eigenvalues $λ_{1}, \ldots, λ_{n}$, with $λ_{1}, \ldots, λ_{r}$ not contained in the multiplicative group generated by $λ_{r+1}, \ldots, λ_{n}$, then $φ$ has a codimension-$r$ fixed formal subvariety. Under mild assumptions, this subvariety is analytic. We use this to prove two results. First, we generalize results of Rivera-Letelier on isolated periodic points to higher dimension: if $F$ is $p$-adic, and each $|λ_{i}| \leq 1$, then there is an analytic neighborhood of $x$ without any other periodic points. And second, we prove Zhang's conjecture that there exists a $\overline{\mathbb{Q}}$-point with Zariski-dense forward orbit in two cases, extending results of Amerik, Bogomolov, and Rovinsky.

preprint2014arXiv

The McMullen Map in Positive Characteristic

McMullen proved the moduli space of complex rational maps can be parametrized by the spectrum of all periodic-point multipliers up to a finite amount of data, with the well-understood exception of Lattès maps. We generalize his method to large positive characteristic. McMullen's method is analytic; a modified version of the method using rigid analysis works over a function field over a finite field of characteristic larger than the degree of the map. Over a finite field with such characteristic it implies that, generically, rational maps can indeed be parametrized by their multiplier spectra up to a finite-to-one map. Moreover, the set of exceptions, that is positive-dimension varieties in moduli space with identical multipliers, maps to just a finite set of multiplier spectra. We also prove an application, generalizing a result of McMullen over the complex numbers: there is no generally convergent purely iterative root-finding algorithm over a non-archimedean field whose residue characteristic is larger than either the degree of the algorithm or the degree of the polynomial whose roots the algorithm finds.

preprint2013arXiv

Attracting cycles in p-adic dynamics and height bounds for post-critically finite maps

A rational function of degree at least two with coefficients in an algebraically closed field is post-critically finite (PCF) if all of its critical points have finite forward orbit under iteration. We show that the collection of PCF rational functions is a set of bounded height in the moduli space of rational functions over the complex numbers, once the well-understood family known as flexible Lattes maps is excluded. As a consequence, there are only finitely many conjugacy classes of non-Lattes PCF rational maps of a given degree defined over any given number field. The key ingredient of the proof is a non-archimedean version of Fatou's classical result that every attracting cycle of a rational function over the complex numbers attracts a critical point.

preprint2013arXiv

Isotriviality and the space of morphisms on projective varieties

Let $K=k(C)$ be the function field of a smooth projective curve $C$ over an infinite field $k$, let $X$ be a projective variety over $k$. We prove two results. First, we show with some conditions that a $K$-morphism $ϕ: X_K \to X_K$ of degree at least two is isotrivial if and only if $ϕ$ has potential good reduction at all places $v$ of $K$. Second, let $(X,ϕ), (Y,ψ)$ be dynamical systems where $X,Y$ are defined over $k$ and $g:X_{K} \to Y_{K}$ a dominant $K$-morphism, such that $g \circ ϕ= ψ\circ g$. We show under certain conditions that if $ϕ$ is defined over $k$, then $ψ$ is defined over $k$.

preprint2012arXiv

An Algebraic Proof of Thurston's Rigidity for a Polynomial

We study rational self-maps of $\mathbb{P}^{1}$ whose critical points all have finite forward orbit. Thurston's rigidity theorem states that outside a single well-understood family, there are finitely many such maps over $\mathbb{C}$ of fixed degree and critical orbit length. We provide an algebraic proof of this fact for tamely ramified maps for which at least one of the critical points is periodic. We also produce wildly ramified counterexamples.

preprint2012arXiv

Uniform bounds for pre-periodic points in families of twists

Let phi be a morphism of projective N-space defined over a number field K. We prove that there is a bound B depending only on phi such that every twist of phi has no more than B K-rational preperiodic points. (This result is analagous to a result of Silverman for abelian varieties.) For two specific families of quadratic rational maps over Q, we find the bound B explicitly.

preprint2011arXiv

The Semistable Reduction Problem for the Space of Morphisms on $\mathbb{P}^{n}$

We restate the semistable reduction theorem from geometric invariant theory in the context of spaces of morphisms on $\mathbb{P}^{n}$. For every complete curve $C$ downstairs, we get a $\mathbb{P}^{n}$-bundle on an abstract curve $D$ mapping finite-to-one onto $C$, whose trivializations correspond to not necessarily complete curves upstairs with morphisms corresponding to identifying each fiber with the morphism the point represents. Finding a trivial bundle is equivalent to finding a complete $D$ upstairs mapping finite-to-one onto $C$; we prove that in every space of morphisms, there exists a curve $C$ for which no such $D$ exists. In the case when $D$ exists, we bound the degree of the map from $D$ to $C$ in terms of $C$ for $C$ rational and contained in the stable space.