pith. sign in

arxiv: 2605.21666 · v1 · pith:H2K3HW47new · submitted 2026-05-20 · 🧮 math.NT

2007: An Arboreal Odyssey: A View of Arboreal Galois Representations and Applications, from Early in the Subject's History

Rafe Jones This is my paper

Pith reviewed 2026-05-22 09:06 UTC · model grok-4.3

classification 🧮 math.NT
keywords arboreal Galois representationspreimage treesiteration of rational functionsGalois groupsarithmetic dynamicsnumber theory
0
0 comments X

The pith

Arboreal Galois representations arise as the Galois groups acting on the infinite preimage trees of iterated rational functions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper surveys the emerging field of arboreal Galois representations as it stood in 2007, shortly after renewed interest followed Odoni's 1980s work. It defines these representations through the Galois action on preimage trees and explores their structure along with early applications in number theory and dynamics. A sympathetic reader would care because the document records ideas and examples from the subject's revival period, providing context for references that appear in later papers. The informal manuscript style offers an unfiltered snapshot rather than a polished formal account.

Core claim

Arboreal Galois representations are the images of absolute Galois groups acting faithfully on the tree of all preimages under repeated application of a fixed rational function. The survey collects definitions, concrete examples over number fields, and initial results on the size and structure of these images as they were understood in the mid-2000s.

What carries the argument

The arboreal representation of a rational function, which records the Galois group as a subgroup of the automorphism group of the infinite preimage tree.

If this is right

  • The representations connect classical inverse Galois problems to questions about orbits under rational maps.
  • For many polynomials the image is expected to have finite index in the full automorphism group of the tree.
  • These groups encode arithmetic information about the density of primes with prescribed splitting in dynamical extensions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Later surveys in the same author's work likely develop the informal examples and questions posed here into more systematic results.
  • Computational verification of specific arboreal images today could be compared directly against the early cases listed in the 2007 text to measure progress in techniques.
  • The tree structures described open natural links to profinite group theory that subsequent research may have pursued independently.

Load-bearing premise

The informal 2007 content remains useful or accurate enough for modern readers who encounter references to specific pieces of it in recent work.

What would settle it

A side-by-side check showing that a concrete example or structural claim from the 2007 text differs in an essential way from its current formulation in the literature would falsify the assumption of continued utility.

read the original abstract

The study of arboreal Galois representations (that is, Galois groups arising from iteration of polynomial and rational functions) originated with work of Odoni in the 1980s. Beginning in the early 2000s it underwent a period of renewed interest, which continues to this day. Written in 2007, this survey article gives a sense of the subject from the early days of this renewal. It is presented here as a document of historical interest -- precisely as originally written -- and because some recent work has referenced specific pieces of it. It was written as an informal document, and not intended to be published. Much, though not all, of the content overlaps with the 2013 survey article ``Galois representations from pre-image trees: an arboreal survey" of the author.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript is a 2007 informal survey on arboreal Galois representations (Galois groups arising from iteration of polynomials and rational functions). It states that the subject originated with Odoni's work in the 1980s, experienced renewed interest beginning in the early 2000s, and continues today. The text is presented explicitly as a historical document of interest because recent work has referenced specific pieces of it, with the author noting substantial overlap with their own 2013 survey article and emphasizing that it was never intended for publication.

Significance. If the historical timeline and overview accurately reflect the state of the field as understood in 2007, the document supplies useful context for tracing the early development of arboreal representations and their applications, particularly for readers who encounter citations to this early informal material in contemporary papers.

minor comments (2)
  1. [Abstract] The abstract and introductory framing clearly identify the piece as an informal 2007 document, but the manuscript would benefit from an explicit statement (perhaps in a new prefatory note) of which specific sections or examples have been superseded by later results, to assist modern readers.
  2. Because the text was written informally and not for publication, some passages contain conversational phrasing or asides that could be tightened for journal style without altering the historical voice; for instance, any parenthetical remarks on open questions from 2007 should be clearly labeled as such.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript as a historical document providing useful context on the early development of arboreal Galois representations. We appreciate the recognition that the timeline and overview reflect the state of the field as understood in 2007, and we are pleased with the recommendation for minor revision despite the absence of specific issues raised.

Circularity Check

0 steps flagged

No significant circularity; informal historical survey with no derivations

full rationale

This document is presented explicitly as an informal 2007 historical survey of the origins and early development of arboreal Galois representations, not a research article containing novel claims, equations, proofs, or predictions. Its central content is a high-level timeline noting Odoni's 1980s work and renewed interest from the early 2000s, with transparent caveats about non-publication intent and overlap with the author's separate 2013 survey. No load-bearing steps exist that reduce by definition, fitted inputs, or self-citation chains to the paper's own inputs; the absence of any technical derivations or parameter fits means the circularity score is 0 and the derivation chain is self-contained as a review.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper is a historical survey and introduces no new mathematical parameters, axioms, or entities.

pith-pipeline@v0.9.0 · 5669 in / 940 out tokens · 23925 ms · 2026-05-22T09:06:31.111904+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 2 internal anchors

  1. [1]

    Finitely ramified iterated extensions.Int

    Wayne Aitken, Farshid Hajir, and Christian Maire. Finitely ramified iterated extensions.Int. Math. Res. Not., (14):855–880, 2005

    work page 2005

  2. [2]

    Density of prime divisors of linear recurrences.Mem

    Christian Ballot. Density of prime divisors of linear recurrences.Mem. Amer. Math. Soc., 115(551):viii+102, 1995

    work page 1995

  3. [3]

    Bertrand

    D. Bertrand. Galois representations and transcendental numbers. InNew advances in transcen- dence theory (Durham, 1986), pages 37–55. Cambridge Univ. Press, Cambridge, 1988

    work page 1986

  4. [4]

    The image of an arboreal galois representation.preprint

    Nigel Boston and Rafe Jones. The image of an arboreal galois representation.preprint

    work page

  5. [5]

    Settled polynomials over finite fields.preprint

    Nigel Boston and Rafe Jones. Settled polynomials over finite fields.preprint

    work page

  6. [6]

    Arboreal galois representations.Geom

    Nigel Boston and Rafe Jones. Arboreal galois representations.Geom. Dedicata, 124(1):27–35 (electronic), 2007

    work page 2007

  7. [7]

    L. V. Dieulefait. Explicit determination of the images of the Galois representations attached to abelian surfaces withEnd(A) =Z.Experiment. Math., 11(4):503–512 (2003), 2002

    work page 2003

  8. [8]

    Primitive divisors of elliptic divisibility sequences.J

    Graham Everest, Gerard Mclaren, and Thomas Ward. Primitive divisors of elliptic divisibility sequences.J. Number Theory, 118(1):71–89, 2006

    work page 2006

  9. [9]

    Bounding the area of the mandelbrot set

    Yuval Fisher and Jay Hill. Bounding the area of the mandelbrot set. Available at http://citeseer.ist.psu.edu/35134.html

    work page

  10. [10]

    Linear dependence in Mordell-Weil groups.J

    Wojciech Gajda and Krzysztof Gornisiewicz. Linear dependence in Mordell-Weil groups.J. Reine Angew. Math., to appear

    work page

  11. [11]

    Grimmett and David R

    Geoffrey R. Grimmett and David R. Stirzaker.Probability and random processes. Oxford Univer- sity Press, New York, third edition, 2001

    work page 2001

  12. [12]

    Silverman.Diophantine geometry, volume 201 of Graduate Texts in Mathematics

    Marc Hindry and Joseph H. Silverman.Diophantine geometry, volume 201 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2000. An introduction

    work page 2000

  13. [13]

    The density of prime divisors in the arithmetic dynamics of quadratic polynomials

    Rafe Jones. The density of prime divisors in the arithmetic dynamics of quadratic polynomials. available at http://arxiv.org/abs/math/0612415

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    Iterated Galois towers, their associated martingales, and thep-adic Mandelbrot set

    Rafe Jones. Iterated Galois towers, their associated martingales, and thep-adic Mandelbrot set. Compositio Math., 43(5):1108–1126, 2007

    work page 2007

  15. [15]

    Galois theory of iterated endomorphisms

    Rafe Jones and Jeremy Rouse. Iterated endomorphisms of abelian algebraic groups. Available at http://arxiv.org/abs/0706.2384. Theorem numbers in this article reference v1

    work page internal anchor Pith review Pith/arXiv arXiv

  16. [16]

    Kowalski

    E. Kowalski. Some local-global applications of Kummer theory.Manuscripta Math., 111(1):105– 139, 2003

    work page 2003

  17. [17]

    McMullen

    Curtis T. McMullen. Frontiers in complex dynamics.Bulletin of the AMS, 31(2):155–172, 1994

    work page 1994

  18. [18]

    On primespfor whichddividesord p(g).Funct

    Pieter Moree. On primespfor whichddividesord p(g).Funct. Approx. Comment. Math., 33:85– 95, 2005. 20 RAFE JONES

    work page 2005

  19. [19]

    American Mathematical Society, Providence, RI, 2005

    Volodymyr Nekrashevych.Self-similar groups, volume 117 of Mathematical Surveys and Mono- graphs. American Mathematical Society, Providence, RI, 2005

    work page 2005

  20. [20]

    R. W. K. Odoni. The Galois theory of iterates and composites of polynomials.Proc. London Math. Soc.(3), 51(3):385–414, 1985

    work page 1985

  21. [21]

    R. W. K. Odoni. On the prime divisors of the sequencew n+1 = 1 +w 1 · · ·w n.J. London Math. Soc.(2), 32(1):1–11, 1985

    work page 1985

  22. [22]

    R. W. K. Odoni. Realising wreath products of cyclic groups as Galois groups.Mathematika, 35(1):101–113, 1988

    work page 1988

  23. [23]

    On the order of the reduction of a point on an abelian variety.Math

    Richard Pink. On the order of the reduction of a point on an abelian variety.Math. Ann., 330(2):275–291, 2004

    work page 2004

  24. [24]

    J. M. Pollard. A Monte Carlo method for factorization.Nordisk Tidskr. Informationsbehandling (BIT), 15(3):331–334, 1975

    work page 1975

  25. [25]

    Kenneth A. Ribet. Kummer theory on extensions of abelian varieties by tori.Duke Math. J., 46(4):745–761, 1979

    work page 1979

  26. [26]

    Propri´ et´ es galoisiennes des points d’ordre fini des courbes elliptiques.Invent

    Jean-Pierre Serre. Propri´ et´ es galoisiennes des points d’ordre fini des courbes elliptiques.Invent. Math., 15(4):259–331, 1972

    work page 1972

  27. [27]

    A reciprocity law in non-solvable extensions.J

    Goro Shimura. A reciprocity law in non-solvable extensions.J. Reine Angew. Math., 221:209–220, 1966

    work page 1966

  28. [28]

    Silverman

    Joseph H. Silverman. Wieferich’s criterion and the abc-conjecture.J. Number Theory, 30(2):226– 237, 1988

    work page 1988

  29. [29]

    Silverman.p-adic properties of division polynomials and elliptic divisibility sequences

    Joseph H. Silverman.p-adic properties of division polynomials and elliptic divisibility sequences. Math. Ann., 332(2):443–471, 2005

    work page 2005

  30. [30]

    Silverman.The arithmetic of dynamical systems, volume 241 of Graduate Texts in Mathematics

    Joseph H. Silverman.The arithmetic of dynamical systems, volume 241 of Graduate Texts in Mathematics. Springer, New York, 2007

    work page 2007

  31. [31]

    Silverman and Nelson Stephens

    Joseph H. Silverman and Nelson Stephens. The sign of an elliptic divisibility sequence.J. Ra- manujan Math. Soc., 21(1):1–17, 2006

    work page 2006

  32. [32]

    Galois groups overQof some iterated polynomials.Arch

    Michael Stoll. Galois groups overQof some iterated polynomials.Arch. Math. (Basel), 59(3):239– 244, 1992

    work page 1992

  33. [33]

    On the iteration of certain quadratic maps over GF (p).Discrete Math., 277(1-3):219–240, 2004

    Troy Vasiga and Jeffrey Shallit. On the iteration of certain quadratic maps over GF (p).Discrete Math., 277(1-3):219–240, 2004

    work page 2004

  34. [34]

    A. Vasiu. Surjectivity criteria forp-adic representations. II.Manuscripta Math., 114(4):399–422, 2004

    work page 2004

  35. [35]

    Memoir on elliptic divisibility sequences.Amer

    Morgan Ward. Memoir on elliptic divisibility sequences.Amer. J. Math., 70:31–74, 1948

    work page 1948