Local fields, iterated extensions, and Julia Sets
Pith reviewed 2026-05-23 04:59 UTC · model grok-4.3
The pith
The qualitative behavior of iterated preimage extensions over local fields depends only on the valuation of c.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let K be complete with a discrete valuation v. The extension obtained by adjoining all iterated preimages under f_c(z) = z^ell - c has qualitative behavior depending only on v(c). This completes the classification for all ell greater than or equal to 2 and relates the ramification to the Berkovich Julia set of f_c.
What carries the argument
The tower of extensions generated by all preimages of a point under iteration of the unicritical polynomial f_c, with its properties controlled by the valuation of c.
If this is right
- The full classification of these extensions holds for every degree ell at least 2 without prior restrictions.
- Ramification behavior in the extension is determined by the valuation of c.
- The ramification structure corresponds to features of the Berkovich Julia set.
Where Pith is reading between the lines
- Similar results might apply when the base field is not complete or the polynomial is not unicritical.
- This dependence could allow faster determination of ramification in related dynamical systems over local fields.
- Links between field extensions and Berkovich spaces may help analyze other arithmetic dynamical problems.
Load-bearing premise
The map is a unicritical polynomial of the form z to the ell minus c and the field is complete with respect to a discrete valuation.
What would settle it
A pair of values c1 and c2 with the same valuation but yielding extensions with different ramification indices or different qualitative properties would show the claim is false.
read the original abstract
Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$. For $\alpha \in K$, let $K_\infty$ be the extension obtained by adjoining all iterated preimages of $\alpha$ under a unicritical polynomial $f_c(z)=z^\ell - c \in K[z]$. We study the extension $K_\infty/K$ and show that its qualitative behavior depends only on the valuation of $c$. This removes the previous restrictions on $\ell$ in work of Anderson--Hamblen--Poonen--Walton and completes the classification for all $\ell \ge 2$. We also relate the ramification to the structure of the Berkovich Julia set of $f_c$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the infinite extension K_∞/K obtained by adjoining all iterated preimages of a point α under the unicritical polynomial f_c(z) = z^ℓ − c over a field K complete with respect to a discrete valuation v of residue characteristic p. It asserts that the qualitative behavior of this extension (including its ramification) depends only on the valuation v(c), thereby removing prior restrictions on the degree ℓ from the work of Anderson–Hamblen–Poonen–Walton and completing the classification for all ℓ ≥ 2. The paper further relates the ramification structure to the Berkovich Julia set of f_c.
Significance. If the claimed dependence on v(c) alone holds and the proofs are correct, the result would complete an existing classification of ramification in iterated preimage extensions for unicritical polynomials over local fields, eliminating degree restrictions that limited earlier work. The explicit link between ramification filtrations and the structure of the Berkovich Julia set would also supply a concrete bridge between local arithmetic and non-Archimedean dynamics.
major comments (1)
- The abstract asserts that the qualitative behavior depends only on v(c) and that the ramification statements are proved, but the supplied text contains only the abstract; without the actual derivation or verification of the key ramification claims, the central assertion cannot be checked and therefore receives a low soundness assessment.
Simulated Author's Rebuttal
We thank the referee for their report. The major comment concerns the availability of the full derivations; we address this point directly below. The manuscript on arXiv:2501.17961 contains the complete proofs.
read point-by-point responses
-
Referee: The abstract asserts that the qualitative behavior depends only on v(c) and that the ramification statements are proved, but the supplied text contains only the abstract; without the actual derivation or verification of the key ramification claims, the central assertion cannot be checked and therefore receives a low soundness assessment.
Authors: The full manuscript text, including all derivations and verifications of the ramification claims for the extension K_∞/K, is available in the complete paper (arXiv:2501.17961). The abstract is a summary only; the body establishes that the qualitative behavior depends only on v(c) for all ℓ ≥ 2 by removing prior degree restrictions from Anderson–Hamblen–Poonen–Walton, with explicit arguments linking the ramification filtration to the Berkovich Julia set. These proofs can be checked from the full text. revision: no
Circularity Check
No significant circularity; direct mathematical classification
full rationale
The paper claims a classification result for the extension K_∞/K depending only on v(c), extending prior work by removing ℓ restrictions and linking to Berkovich Julia sets. This is presented as a theorem under the stated hypotheses (complete discrete valuation field, unicritical f_c of degree ℓ ≥ 2). No equations, parameters, or self-citations are shown reducing the central claim to a fit or definition by construction. The cited prior work (Anderson--Hamblen--Poonen--Walton) has non-overlapping authors, and the result is framed as an independent proof completing the classification. This is the expected non-finding for a self-contained number-theoretic argument.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption K is a field complete with respect to a discrete valuation v of residue characteristic p.
- domain assumption f_c(z) = z^ℓ - c is a unicritical polynomial in K[z] with ℓ ≥ 2.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We study the extension K_∞/K and show that its qualitative behavior depends only on the valuation of c... relate the ramification to the structure of the Berkovich Julia set of f_c.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Newton polygon of (z+y)^ℓ−y^ℓ−d... v((ℓ n))=k−v(n)
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.