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

Benjamin Hutz

Benjamin Hutz 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
9works
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

9 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
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

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