BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Benjamin Hutz

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

ResearcherUnclaimed source record
math.NTmath.DSmath.AG

Catalog footprint

What is connected

18works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

18 published item(s)

preprint2022arXiv

Automorphism Groups of Endomorphisms of $\mathbb{P}^1 (\bar{\mathbb{F}}_p)$

For any algebraically closed field $K$ and any endomorphism $f$ of $\mathbb{P}^1(K)$ of degree at least 2, the automorphisms of $f$ are the Möbius transformations that commute with $f$, and these form a finite subgroup of $\operatorname{PGL}_2(K)$. In the moduli space of complex dynamical systems, the locus of maps with nontrivial automorphisms has been studied in detail and there are techniques for constructing maps with prescribed automorphism groups that date back to Klein. We study the corresponding questions when $K$ is the algebraic closure $\bar{\mathbb{F}}_p$ of a finite field. We use the classification of finite subgroups of $\operatorname{PGL}_2(\bar{\mathbb{F}}_p)$ to show that every finite subgroup is realizable as an automorphism group. To construct examples, we use methods from modular invariant theory. Then, we calculate the locus of maps over $\bar{\mathbb{F}}_p$ of degree $2$ with nontrivial automorphisms, showing how the geometry and possible automorphism groups depend on the prime $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Periodic points and tail lengths of split polynomial maps modulo primes

Explicit formulas are obtained for the number of periodic points and maximum tail length of split polynomial maps over finite fields for affine and projective space. This work includes a detailed analysis of the structure of the directed graph for Chebyshev polynomials of non-prime degree in dimension 1 and the powering map in any dimension. The results are applied to an algorithm for determining the type of a given map through analysis of its cycle statistics modulo primes.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Automorphism Groups and Invariant Theory on PN

Let $K$ be a field and $f:\mathbb{P}^N \to \mathbb{P}^N$ a morphism. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group $\text{PGL}_{N+1}$. The group of automorphisms, or stabilizer group, of a given $f$ for this action is known to be a finite group. In this article, we address two mainly computational problems concerning automorphism groups. Given a finite subgroup of $\text{PGL}_{N+1}$ determine endomorphisms of $\mathbb{P}^N$ with that group as subgroup of its automorphism group. In particular, we show that every finite subgroup occurs infinitely often and discuss some associated rationality problems. Inversely, given an endomorphism determine its automorphism group. In particular, we extended the Faber-Manes-Viray fixed-point algorithm for $\mathbb{P}^1$ to endomorphisms of $\mathbb{P}^2$. A key component is an explicit bound on the size of the automorphism group depending on the degree of the endomorphism.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Good reduction and canonical heights of subvarieties

We bound the length of the periodic part of the orbit of a preperiodic rational subvariety via good reduction information. This bound depends only on the degree of the map, the degree of the subvariety, the dimension of the projective space, the degree of the number field, and the prime of good reduction. As part of the proof, we extend the corresponding good reduction bound for points proven by the author for non-singular varieties to all projective varieties. Toward proving an absolute bound on the period for a given map, we study the canonical height of a subvariety via Chow forms and compute the bound between the height and canonical height of a subvariety. This gives the existence of a bound on the number of preperiodic rational subvarieties of bounded degree for a given map. An explicit bound is given for hypersurfaces.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Misiurewicz Points for Polynomial Maps and Transversality

The behavior under iteration of the critical points of polynomial maps plays an essential role in understanding its dynamics. We study the special case where the forward orbits of the critical points are finite. Thurston's theorem tells us that fixing a particular critical portrait and degree leads to only finitely may possible polynomials (up to equivalence) and that, in many cases, their defining equations intersect transversely. We provide explicit algebraic formulae for the parameters where the critical points of the unicritical polynomials and bicritical cubic polynomials have a specified exact period. We pay particular attention to the parameters where the critical orbits are strictly preperiodic, called Misiurewicz points. Our main tool is the generalized dynatomic polynomial. We also study the discriminants of these polynomials to examine the failure of transversality in positive characteristic for unicritical polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Combinatorics of cycle lengths on Wehler K3 Surfaces over finite fields

We study the dynamics of maps arising from the composition of two non-commuting involution on a K3 surface. These maps are a particular example of reversible maps, i.e., maps with a time reversing symmetry. The combinatorics of the cycle distribution of two non-commuting involutions on a finite phase space was studied by Roberts and Vivaldi. We show that the dynamical systems of these K3 surfaces satisfy the hypotheses of their results, providing a description of the cycle distribution of the rational points over finite fields. Furthermore, we extend the involutions to include the case where there are degenerate fibers and prove a description of the cycle distribution in this more general situation.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Determination of all rational preperiodic points for morphisms of PN

For a morphism $f:¶^N \to ¶^N$, the points whose forward orbit by $f$ is finite are called preperiodic points for $f$. This article presents an algorithm to effectively determine all the rational preperiodic points for $f$ defined over a given number field $K$. This algorithm is implemented in the open-source software Sage for $\Q$. Additionally, the notion of a dynatomic zero-cycle is generalized to preperiodic points. Along with examining their basic properties, these generalized dynatomic cycles are shown to be effective.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Multiplier Spectra and the Moduli Space of Degree 3 Morphisms on P1

The moduli space of degree $d$ morphisms on $\mathbb{P}^1$ has received much study. McMullen showed that, except for certain families of Lattès maps, there is a finite-to-one correspondence (over $\mathbb{C}$) between classes of morphisms in the moduli space and the multipliers of the periodic points. For degree 2 morphisms Milnor (over $\mathbb{C}$) and Silverman (over $\mathbb{Z}$) showed that the correspondence is an isomorphism. In this article we address two cases: polynomial maps of any degree and rational maps of degree 3.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Almost Newton, sometimes Lattès

Self-maps everywhere defined on the projective space $¶^N$ over a number field or a function field are the basic objects of study in the arithmetic of dynamical systems. One reason is a theorem of Fakkruddin \cite{Fakhruddin} (with complements in \cite{Bhatnagar}) that asserts that a "polarized" self-map of a projective variety is essentially the restriction of a self-map of the projective space given by the polarization. In this paper we study the natural self-maps defined the following way: $F$ is a homogeneous polynomial of degree $d$ in $(N+1)$ variables $X_i$ defining a smooth hypersurface. Suppose the characteristic of the field does not divide $d$ and define the map of partial derivatives $ϕ_F = (F_{X_0},...,F_{X_N})$. The map $ϕ_F$ is defined everywhere due to the following formula of Euler: $\sum X_i F_{X_i} = d F$, which implies that a point where all the partial derivatives vanish is a non-smooth point of the hypersuface F=0. One can also compose such a map with an element of $\PGL_{N+1}$. In the particular case addressed in this article, N=1, the smoothness condition means that $F$ has only simple zeroes. In this manner, fixed points and their multipliers are easy to describe and, moreover, with a few modifications we recover classical dynamical systems like the Newton method for finding roots of polynomials or the Lattès map corresponding to the multiplication by 2 on an elliptic curve.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Effectivity of Dynatomic cycles for morphisms of projective varieties using deformation theory

Given an endomorphism of a projective variety, by intersecting the graph and the diagonal varieties we can determine the set of periodic points. In an effort to determine the periodic points of a given minimal period, we follow a construction similar to cyclotomic polynomials. The resulting zero-cycle is called a dynatomic cycle and the points in its support are called formal periodic points. This article gives a proof of the effectivity of dynatomic cycles for morphisms of projective varieties using methods from deformation theory.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Periods of rational maps modulo primes

Let $K$ be a number field, let $ϕ\in K(t)$ be a rational map of degree at least 2, and let $α, β\in K$. We show that if $α$ is not in the forward orbit of $β$, then there is a positive proportion of primes ${\mathfrak p}$ of $K$ such that $α\mod {\mathfrak p}$ is not in the forward orbit of $β\mod {\mathfrak p}$. Moreover, we show that a similar result holds for several maps and several points. We also present heuristic and numerical evidence that a higher dimensional analog of this result is unlikely to be true if we replace $α$ by a hypersurface, such as the ramification locus of a morphism $ϕ: {\mathbb P}^{n} \to {\mathbb P}^{n}$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Pre-images of quadratic dynamical systems

For a quadratic endomorphism of the affine line defined over the rationals we consider the problem of bounding the number of rational points that eventually land at a given constant after iteration, called pre-images of the constant. In the article "Uniform Bounds on Pre-Images Under Quadratic Dynamical Systems," it was shown that the number of rational pre-images is bounded as one varies the morphism in a certain one-dimensional family. Explicit values of the constant for pre-images of zero and -1 defined over the rational numbers were addressed in subsequent articles. This article addresses an explicit bound for any algebraic image constant and provides insight into the geometry of the "pre-image surfaces."

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Finding Rational Periodic Points on Wehler K3 Surfaces

This article examines dynamical systems on a class of K3 surfaces in $\mathbb{P}^{2} \times \mathbb{P}^{2}$ with an infinite automorphism group. In particular, this article develops an algorithm to find $\mathbb{Q}$-rational periodic points using information modulo $p$ for various primes $p$. The algorithm is applied to exhibit K3 surfaces with $\mathbb{Q}$-rational periodic points of primitive period $1,...,16$. A portion of the algorithm is then used to determine the Riemann zeta function modulo 3 of a particular K3 surface and find a family of K3 surfaces with Picard number two.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On Poonen's Conjecture Concerning Rational Preperiodic Points of Quadratic Maps

The purpose of this note is give some evidence in support of conjectures of Poonen, and Morton and Silverman, on the periods of rational numbers under the iteration of quadratic polynomials. In particular, Poonen conjectured that there are at most 9 periodic points defined over the rational numbers for any map in the family x^2 + c for c rational. We verify this conjecture for c values up to height 10^8. For quadratic number fields, we provide evidence that the upper bound on the exact period of Q-rational periodic point is 6.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the Number of Rational Iterated Pre-images of the Origin Under Quadratic Dynamical Systems

For a quadratic endomorphism of the affine line defined over the rationals, we consider the problem of bounding the number of rational points that eventually land at the origin after iteration. In the article ``Uniform Bounds on Pre-Images Under Quadratic Dynamical Systems,'' by two of the present authors and five others, it was shown that the number of rational iterated pre-images of the origin is bounded as one varies the morphism in a certain one-dimensional family. Subject to the validity of the Birch and Swinnerton-Dyer conjecture and some other related conjectures for the L-series of a specific abelian variety and using a number of modern tools for locating rational points on high genus curves, we show that the maximum number of rational iterated pre-images is six. We also provide further insight into the geometry of the ``pre-image curves.''

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Uniform Bounds on Pre-Images under Quadratic Dynamical Systems

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.

0 citations0 reviewsNo code linkedOpen access