Searcharxiv⌕ Search

arXiv subjects

Michelle Manes

Publications and source records attributed to Michelle Manes.

At least 19 recordsLinked to original sources
arXiv2025

Local fields, iterated extensions, and Julia Sets

Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$. For $\alpha \in K$, let $K_\infty$ be the extension obtained by adjoining all iterated preimages of $\alpha$ under a unicritical polynomial $f_c(z)=z^\ell - c \in K[z]$. We study the extension $K_\infty/K$ and show that its qualitative behavior depends only on the valuation of $c$. This removes the previous restrictions on $\ell$ in work of Anderson--Hamblen--Poonen--Walton and completes the classification for all $\ell \ge 2$. We also relate the ramification to the structure of the Berkovich Julia set of $f_c$.

math.NT↗
arXiv2022

Dynamical Mahler Measure: A survey and some recent results

We study the dynamical Mahler measure of multivariate polynomials and present dynamical analogues of various results from the classical Mahler measure as well as examples of formulas allowing the computation of the dynamical Mahler measure in certain cases. We discuss multivariate analogues of dynamical Kronecker's Lemma and present some improvements on the result for two variables due to Carter, Lal\'in, Manes, Miller, and Mocz.

math.NT↗
arXiv2022

The Fibonacci Sequence is Normal Base 10

In this paper, we show that the concatenation of the Fibonacci sequence is \textit{normal} in base $10$, meaning every string of a given length, $k$, occurs as frequently as every other string of length $k$ (there are as many $1$'s as $2$'s and as many $704$'s and $808$'s). Although we know that almost every number is normal, we can name very few of them. It is still unclear if $e$, $\pi$, or $\sqrt{2}$ are normal. We show that concatenating the Fibonacci sequence behind a decimal creates a normal number in every base of the form $5^x\times2^y$. We then provide evidence that potentially extends our result to all integer bases, and claim that the Fibonacci concatenation is \textit{absolutely normal}.

math.NT↗
arXiv2021

Two-variable polynomials with dynamical Mahler measure zero

We discuss several aspects of the dynamical Mahler measure for multivariate polynomials. We prove a weak dynamical version of Boyd--Lawton formula and we characterize the polynomials with integer coefficients having dynamical Mahler measure zero both for the case of one variable (Kronecker's lemma) and for the case of two variables, under the assumption that the dynamical version of Lehmer's question is true.

math.NT↗
arXiv2021

Some Applications of Dynamical Belyi Polynomials

We give necessary and sufficient conditions for post-critically finite polynomials to have persistent bad reduction at a given prime. We also answer in the negative a pair of questions posed by Silverman about conservative polynomials. Our proofs rely on conservative dynamical Belyi polynomials as exemplars of PCF (resp. conservative) maps.

math.NT↗
arXiv2020

Cubic post-critically finite polynomials defined over $\mathbb{Q}$

We describe and implement an algorithm to find all post-critically finite (PCF) cubic polynomials defined over $\mathbb{Q}$, up to conjugacy over $\text{PGL}_2(\bar{\mathbb{Q}})$. We describe normal forms that classify equivalence classes of cubic polynomials while respecting the field of definition. Applying known bounds on the coefficients of post-critically bounded polynomials to these normal forms simultaneously at all places of $\mathbb{Q}$, we create a finite search space of cubic polynomials over $\mathbb{Q}$ that may be PCF. Using a computer search of these possibly PCF cubic polynomials, we find fifteen which are in fact PCF.

math.NT↗
arXiv2019

Dessins d'Enfants for Single-Cycle Belyi Maps

Riemann's Existence Theorem gives the following bijections: (1) Isomorphism classes of Belyi maps of degree $d$. (2) Equivalence classes of generating systems of degree $d$. (3) Isomorphism classes of dessins d'enfants with $d$ edges. In previous work, the first author and collaborators exploited the correspondence between Belyi maps and their generating systems to provide explicit equations for two infinite families of dynamical Belyi maps. We complete this picture by describing the dessins d'enfants for these two families.

math.NT↗
arXiv2019

An alternate proof of idempotent relations among periodic points and quotients

We give a short proof of an idempotent relation formula for counting periodic points of endomorphisms defined over finite fields. The original proof of this result, due to Walton, uses formal manipulation of arithmetic zeta functions, whereas we deduce the result directly from a related theorem of Kani and Rosen.

math.NT↗
arXiv2018

Current Trends and Open Problems in Arithmetic Dynamics

Arithmetic dynamics is the study of number theoretic properties of dynamical systems. A relatively new field, it draws inspiration partly from dynamical analogues of theorems and conjectures in classical arithmetic geometry, and partly from $p$-adic analogues of theorems and conjectures in classical complex dynamics. In this article we survey some of the motivating problems and some of the recent progress in the field of arithmetic dynamics.

math.NT↗
arXiv2018

Arboreal representations for rational maps with few critical points

Jones conjectures the arboreal representation of a degree two rational map will have finite index in the full automorphism group of a binary rooted tree except under certain conditions. We prove a version of Jones' Conjecture for quadratic and cubic polynomials assuming the $abc$-Conjecture and Vojta's Conjecture. We also exhibit a family of degree $2$ rational maps and give examples of degree $3$ polynomial maps whose arboreal representations have finite index in the appropriate group of tree automorphisms.

math.NT↗
arXiv2017

Dynamical Belyi maps

We study the dynamical properties of a large class of rational maps with exactly three ramification points. By constructing families of such maps, we obtain infinitely many conservative maps of degree $d$; this answers a question of Silverman. Rather precise results on the reduction of these maps yield strong information on the rational dynamics.

math.NT↗
arXiv2016

A classification of degree $2$ semi-stable rational maps $\mathbb{P}^2\to\mathbb{P}^2$ with large finite dynamical automorphism group

Let $K$ be an algebraically closed field of characteristic $0$. In this paper we classify the $\text{PGL}_3(K)$-conjugacy classes of semi-stable dominant degree $2$ rational maps $f:{\mathbb P}^2_K\dashrightarrow{\mathbb P}^2_K$ whose automorphism group $$\text{Aut}(f):=\{\phi\in\text{PGL}_3(K): \phi^{-1}\circ f\circ\phi=f\}$$ is finite and of order at least $3$. In particular, we prove that $\#\text{Aut}(f)\le24$ in general, that $\#\text{Aut}(f)\le21$ for morphisms, and that $\#\text{Aut}(f)\le6$ for all but finitely many conjugacy classes of $f$.

math.AG↗
arXiv2015

Finite ramification for preimage fields of postcritically finite morphisms

Given a finite endomorphism $\varphi$ of a variety $X$ defined over the field of fractions $K$ of a Dedekind domain, we study the extension $K(\varphi^{-\infty}(\alpha)) : = \bigcup_{n \geq 1} K(\varphi^{-n}(\alpha))$ generated by the preimages of $\alpha$ under all iterates of $\varphi$. In particular when $\varphi$ is post-critically finite, i.e., there exists a non-empty, Zariski-open $W \subseteq X$ such that $\varphi^{-1}(W) \subseteq W$ and $\varphi : W \to X$ is \'etale, we prove that $K(\varphi^{-\infty}(\alpha))$ 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.

math.NT↗
arXiv2015

Insufficiency of the Brauer-Manin obstruction for Enriques surfaces

In 2011, V\`arilly-Alvarado and the last author constructed an Enriques surface $X$ over $\mathbb{Q}$ with an \'etale-Brauer obstruction to the Hasse principle and no algebraic Brauer-Manin obstruction. In this paper, we show that the nontrivial Brauer class of $X_{\bar{\mathbb{Q}}}$ does not descend to $\mathbb{Q}$. Together with the results of V\`arilly-Alvarado and the last author, this proves that the Brauer-Manin obstruction is insufficient to explain all failures of the Hasse principle on Enriques surfaces. The methods of this paper build on the ideas in several recent papers by the last author and various collaborators: we study geometrically unramified Brauer classes on $X$ via pullback of ramified Brauer classes on a rational surface. Notably, we develop techniques which work over fields which are not necessarily separably closed, in particular, over number fields.

math.NT↗
arXiv2014

Bad reduction of genus $3$ curves with complex multiplication

Let $C$ be a smooth, absolutely irreducible genus-$3$ curve over a number field $M$. Suppose that the Jacobian of $C$ has complex multiplication by a sextic CM-field $K$. Suppose further that $K$ contains no imaginary quadratic subfield. We give a bound on the primes $\mathfrak{p}$ of $M$ such that the stable reduction of $C$ at $\mathfrak{p}$ contains three irreducible components of genus $1$.

math.NT↗
arXiv2013

The field of definition for dynamical systems on P^N

Let Hom^N_d be the set of morphisms of degree d from P^N to itself. For f an element of PGL_{N+1}, let phi^f represent the conjugation action f^{-1} phi f. Let M^N_d = Hom_d^N/PGL_{N+1} be the moduli space of degree d morphisms of P^N. A field of definition for class of morphisms is a field over which at least one morphism in the class is defined. The field of moduli for a class of morphisms is the fixed field of the set of Galois elements fixing that class. Every field of definition contains the field of moduli. In this article, we give a sufficient condition for the field of moduli to be a field of definition for morphisms whose stabilizer group is trivial.

math.NT↗
arXiv2012

A census of quadratic post-critically finite rational maps defined over Q

We find all quadratic post-critically finite (PCF) rational maps defined over the rationals. We describe an algorithm to search for possibly PCF maps. Using the algorithm, we eliminate all but twelve rational maps, all of which are verifiably PCF. We also give a complete description of possible rational preperiodic structures for quadratic PCF maps defined over Q.

math.NT↗