BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Michelle Manes appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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ín, Manes, Miller, and Mocz.
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$, $π$, 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}.
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.
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.
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.
In 2011, Vàrilly-Alvarado and the last author constructed an Enriques surface $X$ over $\mathbb{Q}$ with an étale-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àrilly-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.
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.
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$.
We find the limiting proportion of periodic points in towers of finite fields for polynomial maps associated to algebraic groups, namely pure power maps z^d and Chebyshev polynomials.
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.
Let phi and psi be endomorphisms of the projective line of degree at least 2, defined over a noetherian commutative ring R with unity. From a dynamical perspective, a significant question is to determine whether phi and psi are conjugate (or to answer the related question of whether a given map phi has a nontrivial automorphism). We show that the space of automorphisms of P^1 conjugating phi to psi is a finite subscheme of PGL(2) (respectively that the automorphism group of phi is a finite group scheme). We construct efficient algorithms for computing the set of conjugating maps (resp. the group of automorphisms) when R is a field. Each of our algorithms takes advantage of different dynamical structures, so context (e.g., field of definition and degree of the map) determines the preferred algorithm. We have implemented them in Sage when R is a finite field or the field of rational numbers, and we give running times for computing automorphism groups for hundreds of random endomorphisms of P^1. These examples demonstrate the superiority of these new algorithms over a naive approach using Groebner bases.
For a number field K with absolute Galois group G_K, we consider the action of G_K on the infinite tree of preimages of a point in K under a degree-two rational function phi, with particular attention to the case when phi commutes with a non-trivial Mobius transfomation. In a sense this is a dynamical systems analogue to the l-adic Galois representation attached to an elliptic curve, with particular attention to the CM case. Using a result about the discriminants of numerators of iterates of phi, we give a criterion for the image of the action to be as large as possible. This criterion is in terms of the arithmetic of the forward orbits of the two critical points of phi. In the case where phi commutes with a non-trivial Mobius transfomation, there is in effect only one critical orbit, and we give a modified version of our maximality criterion. We prove a Serre-type finite-index result in many cases of this latter setting.
We study the Mahler measure of the three-variable Laurent polynomial x + 1/x + y + 1/y + z + 1/z - k where k is a parameter. The zeros of this polynomial define (after desingularization) a family of K3-surfaces. In favorable cases, the K3-surface has Picard number 20, and the Mahler measure is related to its L-function. This was first studied by Marie-Jose Bertin. In this work, we prove several new formulas, extending the earlier work of Bertin.
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.
We describe an explicit parameter space for the set of all quadratic rational maps on $\pp^1$ defined over a field $K$, up to conjugacy over $K$.
For any elements b,c of a number field K, let G(b,c) denote the backwards orbit of b under the map f_c: C-->C given by f_c(x)=x^2+c. We prove an upper bound on the number of elements of G(b,c) whose degree over K is at most some constant B. This bound depends only on b, [K:Q], and B, and is valid for all b outside an explicit finite set. We also show that, for any N>3 and any b in K outside a finite set, there are only finitely many pairs of complex numbers (y,c) for which [K(y,c):K]<2^(N-3) and the value of the N-th iterate of f_c(x) at x=y is b. Moreover, the bound 2^(N-3) in this result is optimal.