Pith. sign in

REVIEW 5 minor 60 references

Moduli spaces of polynomial maps and multipliers at small cycles

T0 review · 0 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The period-1 and period-2 multipliers of a degree-$d$ polynomial map give a finite, birational description of its moduli space: generic conjugacy classes are uniquely determined by these small-cycle multipliers, and every degenerating…

desk verdict Periods 1 and 2 suffice for a finite birational model of P_d; the proof chains check out end to end, with only minor presentation issues. read the letter →

arxiv 2412.19335 v1 pith:F2OQFA6F submitted 2024-12-26 math.DS math.AG

Valentin Huguin This is my paper · ORCID
classification math.DSmath.AG MSC 37F4637P4537F1037P0537P30
keywords modulispaceofpolynomialmapsmultiplierspectrumperiod-1andperiod-2cyclesbirationalmorphismfinitemaximalescaperatedegenerationcomplexdynamics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that, for every degree $d \geq 2$, the elementary symmetric functions of the multipliers at all cycles of periods 1 and 2 give a finite birational morphism from the moduli space $\mathcal{P}_d$ onto its image $\Sigma_d^{(2)}$. In plain terms, a generic conjugacy class of polynomials is the unique class with its period-1 and period-2 multipliers, and every degenerating family of polynomials is detected by unbounded period-1 or period-2 multipliers. Previous results required all sufficiently large periods for such conclusions; the paper reduces the data to the two shortest periods and gives sharp quantitative rates. This proves a conjecture of Hutz and Tepper and extends the statement beyond the complex numbers to arbitrary algebraically closed valued fields of characteristic 0.

What carries the argument

The object carrying the argument is the multiplier spectrum morphism $\operatorname{Mult}_d^{(P)}$, built from the dynatomic and multiplier polynomials $\Phi_f^{(p)}$ and $\chi_f^{(p)}$: the coefficients of $\chi_f^{(p)}$ are the elementary symmetric functions of the multipliers at period-$p$ cycles. For the degeneration half, the machinery is the Green function $g_f$ and its maximal escape rate $M_f$; a two-islands lemma and an inequality comparing the modulus of a multiplier at a repelling periodic point with the modulus of an annulus (Archimedean) or with the ratio of disk radii (non-Archimedean) force a fixed point or period-2 point with large multiplier unless $M_f$ is controlled. For the uniqueness half, the machinery is the first variation of multipliers at $f_0(z)=z^d$: Gorbovickis' formula gives the Jacobian matrices $A_1,A_2$, the key matrix $A=A_2A_1^{-1}$ has pairwise distinct first-column entries, and Fujimura's enumeration theorem upgrades the orbit description to a complete count of isospectral classes. The identity $f_0(z)=z^d$ and its roots of unity organize the whole perturbation calculation.

What would settle it

Find a degenerating sequence of degree-$d$ complex polynomials with uniformly bounded period-1 and period-2 multipliers; Theorem A says no such sequence exists. Alternatively, compute the period-1 and period-2 multiplier spectra for all quartics outside the composition-swap family from Appendix B: the paper predicts that every pair of distinct nonconjugate quartic classes with equal spectra is exactly a swap $h_1 \circ h_2$ versus $h_2 \circ h_1$, so any other isospectral pair would refute Theorem C.

Watch

Extended reading notes

Core claim

The central claim is the Main Theorem: the multiplier spectrum morphism $\operatorname{Mult}_d^{(2)}$ is finite and birational onto its image $\Sigma_d^{(2)}$. The proof splits into Theorem A and Theorem C. Theorem A shows that a sequence of degree-$d$ complex polynomials degenerates in $\mathcal{P}_d(\mathbb{C})$ exactly when $\max\{M_f^{(1)}, M_f^{(2)}\} \to +\infty$, with Theorem B giving optimal quantitative bounds: for $d \geq 4$, either $M_f^{(1)} \geq \frac{d-1}{d-2} M_f$ or $M_f^{(2)} \geq C_d M_f$, where $C_d$ is $\frac{2(d-1)}{d}$ for even $d$ and $\frac{2d}{d+1}$ for odd $d$. Theorem C states that a nonempty Zariski-open set of conjugacy classes has a unique class with the same period-1 and period-2 multipliers; the paper shows this by perturbing around $f_0(z)=z^d$ and proving that the only permutations compatible with both spectra are the cyclic conjugacies. Together these establish finiteness and birationality, and hence that $\operatorname{Mult}_d^{(P)}$ is finite and birational for every $P \geq 2$.

Load-bearing premise

For the generic-uniqueness half, the proof relies on two cited results it does not reprove: Gorbovickis' formula for the first variation of a multiplier at $z^d$, which supplies the nondegenerate Jacobian, and Fujimura's theorem that a generic fixed-point spectrum is realized by at most $(d-1)!$ monic centered polynomials; if either failed, birationality would not follow from the argument given, and the non-Archimedean results additionally assume residual characteristic $0$ or greater than $d$.

Editorial extensions

If this is right

  • If the Main Theorem is correct, $\operatorname{Mult}_d^{(P)}$ is a finite birational morphism onto its image for every $P\geq 2$, so no strengthening for larger periods is needed for finiteness or birationality.
  • Degeneration in $\mathcal{P}_d(\mathbb{C})$ is detected by the shortest cycles, with the explicit optimal rates of Theorem B: $M_f^{(1)}\geq \frac{d-1}{d-2}M_f$ or $M_f^{(2)}\geq C_d M_f$ for $d\geq 4$.
  • The same inequalities hold for all algebraically closed valued fields of characteristic 0 (Corollary A.1) and, over number fields, for critical height versus heights of period-1 and period-2 multipliers (Corollary A.2).
  • The Hutz--Tepper conjecture that generic conjugacy classes are determined by period-1 and period-2 multipliers is true.
  • For $d=2,3$, the period-1 multipliers alone give an isomorphism onto the image; for $d\geq4$, the additional period-2 data is necessary because the period-1 map is neither quasifinite nor surjective.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One testable consequence the paper leaves implicit is that birationality gives a rational inverse on a Zariski-open subset, so a generic polynomial can in principle be reconstructed from its period-1 and period-2 multipliers by algebraic elimination; the quartic equations in Appendix B give the first nontrivial explicit case.
  • The sharpness construction via Puiseux series suggests that numerical experiments on families such as $z^2(z-t)^{d-2}$ should observe multiplier growth exactly at the rates in Theorem B, providing a direct computational check.
  • The same two-islands strategy may apply to other one-dimensional dynamical moduli spaces, but for rational maps the flexible Latt\`es exception and McMullen's example show that period-1 and period-2 multipliers cannot be finite without excluding such families, so the rational analogue would need a different global argument.
  • The paper's dependence on residue characteristic $0$ or $>d$ points to a concrete open question: whether the non-Archimedean inequalities persist for residue characteristic $2,3,\dots,d$, where the disk Riemann--Hurwitz lemma fails.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies the multiplier spectrum morphism Mult_d^(P) on the moduli space P_d of degree-d polynomial maps modulo affine conjugation. The main result is that for every d ≥ 2, Mult_d^(2), built from the elementary symmetric functions of the multipliers at all cycles of periods 1 and 2, is a finite birational morphism from P_d onto its image Sigma_d^(2); for d = 2,3, Mult_d^(1) is an isomorphism onto its image. The proof is split into two parts: Theorem A/B, asserting that degeneration in P_d(C) forces unbounded period-1 or period-2 multipliers, with explicit optimal asymptotic rates in terms of the maximal escape rate M_f and a non-Archimedean analogue under a residue-characteristic assumption, and Theorem C, asserting that a generic conjugacy class is uniquely determined by its period-1 and period-2 multipliers. The arguments use Green-function level sets, two-islands lemmas, annulus modulus bounds, and an infinitesimal computation at f_0(z)=z^d based on Gorbovickis's formula and Fujimura's bound.

Significance. If correct, the main theorem substantially strengthens the quasifiniteness and birationality results previously known only for sufficiently large P, and it settles the Hutz–Tepper conjecture for polynomial maps. The quantitative Theorem B is a genuine strength: the constants are derived in closed form, are shown to be optimal by explicit families, and the non-Archimedean version of the statement is proved under a clearly stated and necessary residue-characteristic hypothesis. The paper has several further virtues: the central auxiliary lemmas (for example, Lemma 22, Lemma 25, Lemma 32, and Lemma 61) are proved in the text; the combinatorial bookkeeping is checkable; and the limitations of the non-Archimedean result are not hidden. The main external inputs, Gorbovickis's formula (Lemma 73) and Fujimura's theorem (Lemma 72), are published results and are cited precisely, so their use does not undermine the proof, although the dependence should be kept visible.

minor comments (5)
  1. [Section 3.5] The paragraph beginning 'To conclude this section, let us apply here Theorem A to establish results about the morphism Mult_d^(2).' is repeated verbatim at the start of Section 3.5; one copy should be deleted.
  2. [Appendix B] The formulas (B.1)-(B.5), attributed to SageMath, are not accompanied by code, output logs, or reproducible elimination scripts. Since Proposition 86 is not used in the proof of the main theorem this is not load-bearing, but for verifiability the author should either document the computation or state that it is checked by exact elimination.
  3. [Section 5.2] After shrinking U1, the proof asserts that Lambda_f^(1) lies in Xi for all f in U1, but the verification is omitted. A one-sentence argument using continuity of the relevant partial sums of 1/(1 - lambda_j) at f0 would make the application of Lemma 72 fully explicit.
  4. [Notation throughout] The conjugation action appears repeatedly as a notation artifact such as 'phi /squaresmallsolidf'; the published version should use a conventional symbol, for instance phi . f or f^phi, consistently.
  5. [Section 4.6] The sharpness examples in Propositions 65 and 66 are intricate and convincing, but the exposition would benefit from a short table or diagram summarizing the disk components, their degrees, and the resulting multiplier contributions for the cases d even and d odd.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the main theorems are proved in-paper from internally derived lemmas, with the only external inputs being published results by Fujimura and Gorbovickis that are not self-citations and are used exactly as stated.

full rationale

The derivation chain is self-contained. Theorem B follows in the Archimedean case from Lemmas 25 and 32, and in the non-Archimedean case from Lemmas 58 and 61, all proved in the paper; the constants C_d are obtained in closed form by minimizing (d-1)/2(1/j+1/(d-j)) and are shown optimal by explicit examples (Propositions 65, 66 and Corollaries 69, 70), not fitted to any data. Theorem A is an immediate consequence of Theorem B, and finiteness of Mult_d^(2) follows through properness (Corollary 35, Lemma 36). Theorem C is proved via Lemma 71, whose core nondegeneracy statement (Lemma 77 and Claim 78) is computed in the paper from the explicitly inverted Jacobian A1 (Claim 74) and the explicit matrix A2 in (5.5); the trigonometric injectivity argument for phi(x)=(1-x^2)/(x-a) is carried out in the text. The only genuinely external ingredients are Fujimura's bound (Lemma 72, [Fuj07]) and Gorbovickis's derivative formula (Lemma 73, [Gor16]); both are published, cited precisely, and authored by other mathematicians, so they constitute independent support rather than circularity. The in-preparation references [Fav24] and [Gon24] are mentioned only as alternative or related work and are not load-bearing. The non-Archimedean statement is explicitly restricted to residue characteristic 0 or greater than d, and Remark 50 shows this restriction is necessary; this does not affect the Main Theorem over C. The duplicated paragraph in Section 3.5, the orphan reference to 'Theorem 1.2', and the unlogged SageMath computations in Appendix B are presentation issues, not circular steps.

Assumptions & free parameters 0 free parameters · 10 assumptions · 0 invented entities

No free parameters are fitted anywhere: all constants in Theorem B are derived in closed form and proven optimal via explicit examples (Propositions 65 and 66, Corollaries 69 and 70). The paper introduces no new postulated entities; the two-islands lemma and the sublevel-set combinatorics are proved, not assumed. The listed axioms are standard background, the two published external lemmas used as black boxes (Fujimura, Gorbovickis), and the explicitly stated residue-characteristic domain restriction in the non-Archimedean case.

assumptions (10)
  • standard math Holomorphic fixed-point formula: for every degree-d polynomial with no fixed-point multiplier equal to 1, sum_j 1/(1 - lambda_j) = 0, giving the relation d + sum_j (-1)^j (d - j) sigma_j = 0 in Q[P_d].
    Used in Sections 2.2, 3.4, and 4.5 to guarantee a fixed-point multiplier with |lambda| at least 1 when M_f = 0, and to define Sigma_d^(1).
  • standard math Schwarz lemma and contraction in the Poincare metric (Lemmas 28 and 31).
    Used to show the intersection S in Proposition 28 is a single point and to relate |f'(z0)| to moduli of annuli in Lemma 31.
  • standard math Riemann-Hurwitz formula for proper holomorphic maps of simply connected domains (Lemmas 19 and 23) and for non-Archimedean disks (Lemma 49).
    The critical-point counting underlying the two-islands lemma requires e = C + 1; the disk version fails when the degree reaches the residue characteristic (Remark 50).
  • standard math Grotzsch's inequality for moduli of subannuli and the conformal modulus facts of Section 3.3.
    The lower bounds in Lemma 32 and the Archimedean proof of Theorem B rest on these.
  • standard math Ostrowski's theorem classifying Archimedean absolute values, with scaling M_f = s M_sigma(f) and M_f^(p) = s M_sigma(f)^(p).
    Reduces the Archimedean case of Theorem B to polynomials over C.
  • standard math Botcher coordinates at infinity for complex polynomials (Section 3.1) and their non-Archimedean disk analogues (Claims 51 and 53, Lemma 54).
    Used to compute moduli and radii of sublevel-set components, e.g., the exact modulus of the annulus {d^k eta_1 < g_f < d^k eta_2}.
  • standard math Fujimura's theorem [Fuj07]: on the complement of the exceptional locus Xi, the fixed-point multiplier morphism has fibers of size at most (d-1)! (Lemma 72).
    External published black box used to turn the S_{d-1}-orbit description (5.2) into the complete enumeration needed for generic uniqueness.
  • standard math Gorbovickis's formula [Gor16]: partial rho_0 / partial a_k at f0(z) = z^d equals d^{p-1}(k-d) times sum_j z0^{d j (k-d)} for a period-p point z0 (Lemma 73).
    Supplies the Jacobians A1 and A2 at f0; the entire perturbation argument for Theorem C depends on these expressions.
  • standard math The moduli space P_d exists as a geometric quotient over Q of dimension d-1 (Section 2.1, via Lemmas 9 and 10 and Claim 12, following SGA 3 and Silverman).
    Defines the domain of Mult_d^(P) and underlies the algebraic statements about finiteness and the scheme-theoretic image.
  • domain assumption Non-Archimedean standing hypothesis: residue characteristic is 0 or greater than d (start of Section 4); also degeneration in P_d(C) is characterized by M_f going to infinity (cited to Branner-Hubbard).
    Explicitly stated and necessary: Lemma 49 and the transfer argument (Claim 52) need |j| = 1 for j at most d; the failure is documented in Remark 50.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Moduli spaces of polynomial maps and multipliers at small cycles." pith.science (2026). https://pith.science/paper/F2OQFA6F

@misc{pith2026241219335,
  author       = {Pith},
  title        = {Pith review of: Moduli spaces of polynomial maps and multipliers at small cycles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F2OQFA6F}},
  note         = {Machine review of arXiv:2412.19335}
}
abstract

Fix an integer $d \geq 2$. The space $\mathcal{P}_{d}$ of polynomial maps of degree $d$ modulo conjugation by affine transformations is naturally an affine variety over $\mathbb{Q}$ of dimension $d -1$. For each integer $P \geq 1$, the elementary symmetric functions of the multipliers at all the cycles with period $p \in \lbrace 1, \dotsc, P \rbrace$ induce a natural morphism $\operatorname{Mult}_{d}^{(P)}$ defined on $\mathcal{P}_{d}$. In this article, we show that the morphism $\operatorname{Mult}_{d}^{(2)}$ induced by the multipliers at the cycles with periods $1$ and $2$ is both finite and birational onto its image. In the case of polynomial maps, this strengthens results by McMullen and by Ji and Xie stating that $\operatorname{Mult}_{d}^{(P)}$ is quasifinite and birational onto its image for all sufficiently large integers $P$. Our result arises as the combination of the following two statements: $\mathord{\bullet}$ A sequence of polynomials over $\mathbb{C}$ of degree $d$ with bounded multipliers at its cycles with periods $1$ and $2$ is necessarily bounded in $\mathcal{P}_{d}(\mathbb{C})$. $\mathord{\bullet}$ A generic conjugacy class of polynomials over $\mathbb{C}$ of degree $d$ is uniquely determined by its multipliers at its cycles with periods $1$ and $2$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

60 extracted references · 56 canonical work pages

  1. [1]

    Beardon, Iteration of rational functions, Graduate Texts in Mathematics, vol

    Alan F. Beardon, Iteration of rational functions, Graduate Texts in Mathematics, vol. 132, Springer-Verlag, New York, 1991, Complex analytic dynamical systems. 1128089

    work page 1991

  2. [2]

    Benedetto, Non- A rchimedean holomorphic maps and the A hlfors I slands theorem , Amer

    Robert L. Benedetto, Non- A rchimedean holomorphic maps and the A hlfors I slands theorem , Amer. J. Math. 125 (2003), no. 3, 581--622. 1981035

    work page 2003

  3. [3]

    , An A hlfors islands theorem for non- A rchimedean meromorphic functions , Trans. Amer. Math. Soc. 360 (2008), no. 8, 4099--4124. 2395165

    work page 2008

  4. [4]

    198, American Mathematical Society, Providence, RI, 2019

    , Dynamics in one non-archimedean variable, Graduate Studies in Mathematics, vol. 198, American Mathematical Society, Providence, RI, 2019. 3890051

    work page 2019

  5. [5]

    Walter Bergweiler, The role of the A hlfors five islands theorem in complex dynamics , Conform. Geom. Dyn. 4 (2000), 22--34. 1741773

    work page 2000

  6. [6]

    Hubbard, The iteration of cubic polynomials

    Bodil Branner and John H. Hubbard, The iteration of cubic polynomials. I . T he global topology of parameter space , Acta Math. 160 (1988), no. 3-4, 143--206. 945011

    work page 1988

  7. [7]

    Xavier Buff, On the B ieberbach conjecture and holomorphic dynamics , Proc. Amer. Math. Soc. 131 (2003), no. 3, 755--759. 1937413

    work page 2003

  8. [8]

    Caramello, Jr., Introduction to orbifolds, arXiv:1909.08699v6, 2022

    Francisco C. Caramello, Jr., Introduction to orbifolds, arXiv:1909.08699v6, 2022

    arXiv 1909

Show all 60 references
  1. [9]

    Gamelin, Complex dynamics, Universitext: Tracts in Mathematics, Springer-Verlag, New York, 1993

    Lennart Carleson and Theodore W. Gamelin, Complex dynamics, Universitext: Tracts in Mathematics, Springer-Verlag, New York, 1993. 1230383

    1993

  2. [10]

    Jacek Ch a dzy\' n ski and Tadeusz Krasi\' n ski, A set on which the ojasiewicz exponent at infinity is attained , Ann. Polon. Math. 67 (1997), no. 2, 191--197. 1460600

    1997

  3. [11]

    5, 1031--1056

    Laura DeMarco, Bifurcations, intersections, and heights, Algebra Number Theory 10 (2016), no. 5, 1031--1056. 3531361

    2016

  4. [12]

    Douady and J

    A. Douady and J. H. Hubbard, \' E tude dynamique des polyn\^ o mes complexes. P artie I , Publications Math\' e matiques d'Orsay [Mathematical Publications of Orsay], vol. 84-2, Universit\' e de Paris-Sud, D\' e partement de Math\' e matiques, Orsay, 1984. 762431

    1984

  5. [13]

    DeMarco and Curtis T

    Laura G. DeMarco and Curtis T. McMullen, Trees and the dynamics of polynomials, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 41 (2008), no. 3, 337--382. 2482442

    2008

  6. [14]

    Dom\' nguez, Connectedness properties of J ulia sets of transcendental entire functions , Complex Variables Theory Appl

    P. Dom\' nguez, Connectedness properties of J ulia sets of transcendental entire functions , Complex Variables Theory Appl. 32 (1997), no. 3, 199--215. 1457686

    1997

  7. [15]

    , Dynamics of transcendental meromorphic functions, Ann. Acad. Sci. Fenn. Math. 23 (1998), no. 1, 225--250. 1601879

    1998

  8. [16]

    A. \` E . Er\" e menko and G. M. Levin, Estimation of the characteristic exponents of a polynomial, Teor. Funktsi Funktsional. Anal. i Prilozhen. (1992), no. 58, 30--40. 1258059

    1992

  9. [17]

    Charles Favre, Blow-up of multipliers in meromorphic families of rational maps, In preparation, 2024

    2024

  10. [18]

    214, Princeton University Press, Princeton, NJ, 2022

    Charles Favre and Thomas Gauthier, The arithmetic of polynomial dynamical pairs, Annals of Mathematics Studies, vol. 214, Princeton University Press, Princeton, NJ, 2022. 4529887

    2022

  11. [19]

    Masayo Fujimura and Masahiko Taniguchi, A compactification of the moduli space of polynomials, Proc. Amer. Math. Soc. 136 (2008), no. 10, 3601--3609. 2415044

    2008

  12. [20]

    Methods Funct

    Masayo Fujimura, The moduli space of rational maps and surjectivity of multiplier representation, Comput. Methods Funct. Theory 7 (2007), no. 2, 345--360. 2376676

    2007

  13. [21]

    Chen Gong, Multipliers of rational maps and rescaling limits, In preparation, 2024

    2024

  14. [22]

    Systems 36 (2016), no

    Igors Gorbovickis, Algebraic independence of multipliers of periodic orbits in the space of polynomial maps of one variable, Ergodic Theory Dynam. Systems 36 (2016), no. 4, 1156--1166. 3492973

    2016

  15. [23]

    Rin Gotou, Dynamical systems of correspondences on the projective line II : degrees of multiplier maps , arXiv:2309.15404v1, 2023

    2023 arXiv

  16. [24]

    Thomas Gauthier, Y\^ u suke Okuyama, and Gabriel Vigny, Approximation of non-archimedean L yapunov exponents and applications over global fields , Trans. Amer. Math. Soc. 373 (2020), no. 12, 8963--9011. 4177282

    2020

  17. [25]

    Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique

    A. Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique. IV . \' E tude locale des sch\' e mas et des morphismes de sch\' e mas. II , Inst. Hautes \' E tudes Sci. Publ. Math. (1965), no. 24, 231. 199181

    1965

  18. [26]

    Algebra Number Theory Appl

    Benjamin Hutz and Michael Tepper, Multiplier spectra and the moduli space of degree 3 morphisms on P ^ 1 , JP J. Algebra Number Theory Appl. 29 (2013), no. 2, 189--206. 3136590

    2013

  19. [27]

    u ller theory and applications to geometry, topology, and dynamics. V ol. 1 , Matrix Editions, Ithaca, NY, 2006, Teichm\

    John Hamal Hubbard, Teichm\" u ller theory and applications to geometry, topology, and dynamics. V ol. 1 , Matrix Editions, Ithaca, NY, 2006, Teichm\" u ller theory, With contributions by Adrien Douady, William Dunbar, Roland Roeder, Sylvain Bonnot, David Brown, Allen Hatcher,...

    2006

  20. [28]

    Patrick Ingram, A finiteness result for post-critically finite polynomials, Int. Math. Res. Not. IMRN (2012), no. 3, 524--543. 2885981

    2012

  21. [29]

    Pi 11 (2023), Paper No

    Zhuchao Ji and Junyi Xie, Homoclinic orbits, multiplier spectrum and rigidity theorems in complex dynamics, Forum Math. Pi 11 (2023), Paper No. e11, 37. 4585467

    2023

  22. [30]

    , The multiplier spectrum morphism is generically injective, arXiv:2309.15382v2, 2024

    2024

  23. [31]

    Jan Kiwi, Rescaling limits of complex rational maps, Duke Math. J. 164 (2015), no. 7, 1437--1470. 3347319

    2015

  24. [32]

    Serge Lang, Fundamentals of D iophantine geometry , Springer-Verlag, New York, 1983. 715605

    1983

  25. [33]

    211, Springer-Verlag, New York, 2002

    , Algebra, third ed., Graduate Texts in Mathematics, vol. 211, Springer-Verlag, New York, 2002. 1878556

    2002

  26. [34]

    6, Oxford University Press, Oxford, 2002, Translated from the French by Reinie Ern\' e , Oxford Science Publications

    Qing Liu, Algebraic geometry and arithmetic curves, Oxford Graduate Texts in Mathematics, vol. 6, Oxford University Press, Oxford, 2002, Translated from the French by Reinie Ern\' e , Oxford Science Publications. 1917232

    2002

  27. [35]

    Yusheng Luo, Trees, length spectra for rational maps via barycentric extensions, and B erkovich spaces , Duke Math. J. 171 (2022), no. 14, 2943--3001. 4491710

    2022

  28. [36]

    8, Cambridge University Press, Cambridge, 1986, Translated from the Japanese by M

    Hideyuki Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1986, Translated from the Japanese by M. Reid. 879273

    1986

  29. [37]

    Curt McMullen, Families of rational maps and iterative root-finding algorithms, Ann. of Math. (2) 125 (1987), no. 3, 467--493. 890160

    1987

  30. [38]

    I ( B erkeley, CA , 1986), Math

    , Automorphisms of rational maps, Holomorphic functions and moduli, V ol. I ( B erkeley, CA , 1986), Math. Sci. Res. Inst. Publ., vol. 10, Springer, New York, 1988, pp. 31--60. 955807

    1986

  31. [39]

    Mumford, J

    D. Mumford, J. Fogarty, and F. Kirwan, Geometric invariant theory, third ed., Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], vol. 34, Springer-Verlag, Berlin, 1994. 1304906

    1994

  32. [40]

    John Milnor, Remarks on iterated cubic maps, Experiment. Math. 1 (1992), no. 1, 5--24. 1181083

    1992

  33. [41]

    , Geometry and dynamics of quadratic rational maps, Experiment. Math. 2 (1993), no. 1, 37--83, With an appendix by the author and Lei Tan. 1246482

    1993

  34. [42]

    , On L att\` e s maps , Dynamics on the R iemann sphere, Eur. Math. Soc., Z\" u rich, 2006, pp. 9--43. 2348953

    2006

  35. [43]

    J. S. Milne, Algebraic groups, Cambridge Studies in Advanced Mathematics, vol. 170, Cambridge University Press, Cambridge, 2017, The theory of group schemes of finite type over a field. 3729270

    2017

  36. [44]

    London Math

    Patrick Morton and Pratiksha Patel, The G alois theory of periodic points of polynomial maps , Proc. London Math. Soc. (3) 68 (1994), no. 2, 225--263. 1253503

    1994

  37. [45]

    Silverman, Periodic points, multiplicities, and dynamical units, J

    Patrick Morton and Joseph H. Silverman, Periodic points, multiplicities, and dynamical units, J. Reine Angew. Math. 461 (1995), 81--122. 1324210

    1995

  38. [46]

    322, Springer-Verlag, Berlin, 1999, Translated from the 1992 German original and with a note by Norbert Schappacher, With a foreword by G

    J\" u rgen Neukirch, Algebraic number theory, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 322, Springer-Verlag, Berlin, 1999, Translated from the 1992 German original and with a note by Norbert Schappacher, With a forew...

    1999

  39. [47]

    Krzysztof Jan Nowak, Some elementary proofs of P uiseux's theorems , Univ. Iagel. Acta Math. (2000), no. 38, 279--282. 1812118

    2000

  40. [48]

    152 (2012), no

    Y\^ u suke Okuyama, Repelling periodic points and logarithmic equidistribution in non-archimedean dynamics, Acta Arith. 152 (2012), no. 3, 267--277. 2885787

    2012

  41. [49]

    Pakovich, On mutually semiconjugate rational functions, Arnold Math

    F. Pakovich, On mutually semiconjugate rational functions, Arnold Math. J. 5 (2019), no. 2-3, 339--354. 4031360

    2019

  42. [50]

    Fedor Pakovich, Recomposing rational functions, Int. Math. Res. Not. IMRN (2019), no. 7, 1921--1935. 3938311

    2019

  43. [51]

    186, American Mathematical Society, Providence, RI, 2017

    Bjorn Poonen, Rational points on varieties, Graduate Studies in Mathematics, vol. 186, American Mathematical Society, Providence, RI, 2017. 3729254

    2017

  44. [52]

    China Ser

    WeiYuan Qiu and YongCheng Yin, Proof of the B ranner- H ubbard conjecture on C antor J ulia sets , Sci. China Ser. A 52 (2009), no. 1, 45--65. 2471515

    2009

  45. [53]

    I : P ropri\' e t\' e s g\' e n\' e rales des sch\' e mas en groupes , Lecture Notes in Mathematics, vol

    Sch\' e mas en groupes. I : P ropri\' e t\' e s g\' e n\' e rales des sch\' e mas en groupes , Lecture Notes in Mathematics, vol. Vol. 151, Springer-Verlag, Berlin-New York, 1970, S\' e minaire de G\' e om\' e trie Alg\' e brique du Bois Marie 1962/64 (SGA 3), Dirig\' e par M....

    1970

  46. [54]

    Rev\^ e tements \' e tales et groupe fondamental , Lecture Notes in Mathematics, vol. Vol. 224, Springer-Verlag, Berlin-New York, 1971, S\' e minaire de G\' e om\' e trie Alg\' e brique du Bois Marie 1960--1961 (SGA 1), Dirig\' e par Alexandre Grothendieck. Augment\' e de deux...

    1971

  47. [55]

    Silverman, The space of rational maps on P ^ 1 , Duke Math

    Joseph H. Silverman, The space of rational maps on P ^ 1 , Duke Math. J. 94 (1998), no. 1, 41--77. 1635900

    1998

  48. [56]

    241, Springer, New York, 2007

    , The arithmetic of dynamical systems, Graduate Texts in Mathematics, vol. 241, Springer, New York, 2007. 2316407

    2007

  49. [57]

    30, American Mathematical Society, Providence, RI, 2012

    , Moduli spaces and arithmetic dynamics, CRM Monograph Series, vol. 30, American Mathematical Society, Providence, RI, 2012. 2884382

    2012

  50. [58]

    Toshi Sugiyama, The moduli space of polynomial maps and their fixed-point multipliers, Adv. Math. 322 (2017), 132--185. 3720796

    2017

  51. [59]

    I mprovement to the algorithm and monic centered polynomials , Ergodic Theory Dynam

    , The moduli space of polynomial maps and their fixed-point multipliers: II . I mprovement to the algorithm and monic centered polynomials , Ergodic Theory Dynam. Systems 43 (2023), no. 11, 3777--3795. 4651585

    2023

  52. [60]

    4, 961--978

    Franco Vivaldi and Spyros Hatjispyros, Galois theory of periodic orbits of rational maps, Nonlinearity 5 (1992), no. 4, 961--978. 1174226

    1992

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.