Search arXivSearch

arXiv · 2601.16173

Fixed-point proportion of geometric iterated Galois groups

Abstract

In 1980, Odoni initiated the study of the fixed-point proportion of iterated Galois groups of polynomials motivated by prime density problems in arithmetic dynamics. The main goal of the present paper is to completely settle the longstanding open problem of computing the fixed-point proportion of geometric iterated Galois groups of polynomials. Indeed, we confirm the well-known conjecture that Chebyshev polynomials are the only complex polynomials whose geometric iterated Galois groups have positive fixed-point proportion. Our proof relies on methods from group theory, ergodic theory, martingale theory and complex dynamics. This result has direct applications to the proportion of periodic points of polynomials over finite fields. The general framework developed in this paper applies more generally to rational functions over arbitrary fields and generalizes, via a unified approach, previous partial results, which have all been proved with very different methods.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jorge Fariña-Asategui, Santiago Radi. 2026-01-22. Fixed-point proportion of geometric iterated Galois groups. https://arxiv.org/abs/2601.16173

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT