Pith. sign in

REVIEW 2 major objections 3 minor 33 references

Independence of multipliers in several variables complex dynamics

T0 review · 2 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The paper proves that any nN_{d,n} distinct eigenvalue functions attached to distinct periodic cycles of period at least 4 are algebraically independent over C, so the multipliers of a generic regular polynomial endomorphism of C^n give…

desk verdict The polynomial half is a real advance; the projective half is not fully proved as written, with Proposition 6.3 outsourcing the key determinant. read the letter →

arxiv 2411.12856 v2 pith:EFDO6PAB submitted 2024-11-19 math.DS math.CV

Igors Gorbovickis , Johan Taflin This is my paper · ORCID
classification math.DSmath.CV MSC 37F1032H5037F45
keywords complexdynamicsseveralvariablesmultipliersofperiodicorbitsalgebraicindependencemonodromymarkedpointsbifurcationmeasureendomorphismsprojectivespace
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 proves that, on the space of regular polynomial endomorphisms of C^n, the multipliers of periodic orbits are independent in the strongest algebraic sense: any nN_{d,n} distinct eigenvalue functions attached to distinct cycles of period at least 4 satisfy no polynomial relation over C. Because nN_{d,n} is exactly the dimension of the moduli space, this means the multipliers supply local coordinates on a dense Zariski open subset of the moduli space. The same conclusion holds for endomorphisms of projective space P^n, with period at least 4 (or 5 in the exceptional quadratic case in dimension 2). If the proof is right, it fills the gap that had limited results on bifurcation measures and on control of critical preperiodic points to dimension 2 in the polynomial setting, extending them to all n ≥ 3.

What carries the argument

The load-bearing object is the space Z^n_{d,p}, the closure of pairs (f, ((z_i,v_i))) where z_i is a non-parabolic periodic point of f of exact period p_i, distinct points lie on distinct orbits, and v_i is a simple eigendirection of the derivative at z_i. The paper proves that the monodromy action of the space of endomorphisms on the fibres of Z^n_{d,p} is transitive, hence that Z^n_{d,p} is irreducible. The argument builds loops out of a one-dimensional theorem asserting that monodromy of unicritical polynomials realizes every permutation of periodic points that commutes with the dynamics, then uses hyperbolic skew-product perturbations with large constants to cancel unwanted permutations and to exchange eigendirections via a loop around a Jordan-block phenomenon. Irreducibility converts local independence of eigenvalue functions at a single map into global algebraic independence across the whole parameter space.

What would settle it

For d=2, n=2, compute the Jacobian determinant of the four period-4 eigenvalue functions along the family \tilde $A^{2}$_2 near the power map: if it vanishes identically on a Zariski open set, Theorem 1.1 is false; equivalently, any explicit nontrivial polynomial identity among nN_{d,n} distinct period-≥4 multiplier functions on the moduli space would be a direct counterexample.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1.1: for any d ≥ 2 and n ≥ 1, any nN_{d,n} distinct eigenvalue functions defined on P^n_d and attached to distinct cycles of periods at least 4 are algebraically independent over C. An eigenvalue function is the analytic continuation of an eigenvalue of the Jacobian along a periodic cycle; local independence at one map forces global algebraic independence once the relevant marked space is irreducible. The proof reduces the problem to showing that the space of pairs (map, marked periodic point with a marked eigendirection) is irreducible, by proving transitivity of the monodromy action on its fibres. A derivative computation at the power map F_0(z)=(z_1^d,\ldots,z_n^d), combined with a counting argument, exhibits points where the selected eigenvalue functions are locally independent. The projective analogue, Theorem 1.2, uses the same mechanism with an explicit period threshold.

Load-bearing premise

The proof borrows its mobility from a one-dimensional fact about unicritical polynomials: that loops in parameter space realize every permutation of periodic points that respects the dynamics; if that fact failed for some period, the transitivity of monodromy in all higher dimensions would collapse.

Editorial extensions

If this is right

  • The multiplier spectrum of a generic regular polynomial endomorphism of C^n gives local coordinates on a Zariski open subset of \tilde P^n_d; the count is sharp because any nN_{d,n}+1 such functions are automatically algebraically dependent.
  • Corollary 1.3 provides, for each d ≥ 2 and n ≥ 3, a non-empty open set contained in the support of the bifurcation measure and containing no postcritically finite endomorphism, so the bifurcation measure is nonzero in the polynomial moduli spaces \tilde P^n_d for n ≥ 3.
  • Corollary 1.4 gives a uniform control of critical preperiodic points in dimension n ≥ 3: on a dense Zariski open subset of P^n_d, the critical preperiodic points of every map lie in a codimension-2 algebraic subset of bounded degree.
  • Corollary 1.5 answers, with an explicit period bound, the first part of a question about multiplier portraits on moduli space: the multiplier spectrum map is quasi-finite on a Zariski open subset of M^n_d.
  • The irreducibility of the marked periodic-point spaces and marked eigendirection spaces is a structural result likely to be useful beyond the independence theorem.

Reading between the lines

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

  • The paper's own remark that the period threshold is not optimal suggests a concrete program: include cycles of periods 2 and 3 using stronger counting estimates, and determine the exact minimal threshold for each pair (d,n).
  • The same monodromy-transitivity mechanism could be exported to arithmetic settings: over number fields, the Galois action on periodic points and their eigendirections would be constrained by the same permutation group, giving arithmetic analogues of these irreducibility statements.
  • For d=2,n=2 in the projective case, the threshold jumps to 5 because of a weaker counting estimate; testing whether the jump is real by constructing explicit monodromy for period-4 cycles would clarify whether the exceptional case is intrinsic or an artifact of the proof.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper proves algebraic independence of multiplier (eigenvalue) functions for regular polynomial endomorphisms of C^n and for endomorphisms of P^n. Theorem 1.1 states that any nN_{d,n} distinct eigenvalue functions on P^n_d attached to distinct cycles of periods at least 4 are algebraically independent over C; Theorem 1.2 gives an analogous statement on End_d(P^n) with a slightly larger period threshold for d=n=2. The authors also prove irreducibility of spaces of endomorphisms with marked periodic points and marked eigendirections (Theorems 1.6 and 1.7), and they use Theorem 1.1 to extend results of Gauthier-Taflin-Vigny on the bifurcation measure and uniform control of critical preperiodic points from n=2 to n>=3 (Corollaries 1.3 and 1.4). The proof strategy is to establish local independence of selected eigenvalue functions near the power map F_0, then use irreducibility of the marked spaces to pass from local independence to global algebraic independence.

Significance. If the results are fully established, Theorem 1.1 provides the first higher-dimensional analogue of the one-variable multiplier independence theorems and gives local coordinates on a Zariski open subset of the polynomial moduli space, leading to genuinely new consequences for n>=3, including non-vanishing of the bifurcation measure and uniform control of critical preperiodic points. The polynomial case is supported by a detailed and largely coherent chain: Lemma 4.1 computes the relevant derivatives, Lemma 4.2 gives the polynomial structure, and Proposition 5.1 with Lemmas 5.4 and 5.5 supplies the non-degenerate Jacobian. The paper transparently cites the one-dimensional monodromy theorems on which the argument rests and does not appear to be circular. The irreducibility theorems for marked periodic-point and eigendirection spaces are of independent interest. However, the projective Theorem 1.2 currently depends on Proposition 6.3, whose proof contains an explicit deferral and a missing determinant argument; this is a load-bearing gap. The significance of the paper is therefore high for the polynomial case and conditional for the projective case.

major comments (2)
  1. [Section 6.2, Proposition 6.3] The proof of Proposition 6.3 is incomplete at a load-bearing point. After stating that for d=2 one uses a weaker inequality, the text says 'We leave the remaining details to the reader.' The missing details are not cosmetic: unlike Proposition 5.1, the Jacobian matrix is not block-diagonal, because the first N_{d,n} rows (the m=0 directions with chosen indices k_j) enter the same determinant as the block-diagonal rows for k=1,...,n. Lemma 6.2 only gives degree bounds and non-proportionality of monomials within individual blocks; it does not prove that the full (n+1)N_{d,n} by (n+1)N_{d,n} determinant is nonzero after interleaving the rows, nor that the choice of k_j with i_{k_j} nonzero is compatible with every admissible multi-index. The asserted inequality p n N_{d,n} < (d^{p-1} - d[p/2])(d^{p-1}-1)^{n-2}(d^{p-2}-1) for d=2 is also not verified in the text. Since Proposition 6.3 is used to prove Theorem 1.2, the projective case, Corollary 1.5, and the claimed answer to the Doyle-Silverman question are not fully established until this gap is closed.
  2. [Lemma 6.2, last case] In the proof of Lemma 6.2, the comparison of the polynomials Q_{0,k,\tilde I} and Q_{k,k,\tilde I'} is delegated to 'Proposition 4.4 from [17]' without reproducing the argument. This is a citation to the authors' own earlier one-variable paper, and it is not immediately clear that the cited proposition addresses the exact multi-index comparison needed here. The equivalence should either be proved in the present paper or the precise reference should be expanded with the relevant statement, since this comparison is part of the chain leading to the projective theorem.
minor comments (3)
  1. [Proposition 5.1 and Section 6.2] The symbol I is used both for the set of admissible multi-indices and for the enumeration map I : {1,...,N_{d,n}} -> I; this overloaded notation is confusing and should be changed.
  2. [Throughout] The manuscript contains numerous spacing and formatting artifacts in the arXiv text, such as 'Cn', 'P n d', and 'MUL TIPLIERS'; these should be cleaned in the final version.
  3. [Section 6.1, proof of Theorem 1.1] The proof of Theorem 1.1 says the result follows 'directly from Theorem 1.7 and Proposition 1.8 exactly as discussed in Section 1.4'; since this reduction is the conceptual core of the paper, it would be better to restate the key implication locally rather than only referring to the strategy section.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation of Theorem 1.1 rests on an external one-dimensional monodromy theorem and self-contained local Jacobian computations; the cited prior works by the authors are independent, not inputs repackaged as predictions.

full rationale

The central chain for Theorem 1.1 is: Theorem 2.1 (Bousch/Schleicher) supplies one-dimensional monodromy; Section 2 builds the transitivity of monodromy for X^n_{d,p} and Z^n_{d,p}; Section 4 computes the derivatives of the diagonal-entry functions rho_{k,w0} at the base map F0; Section 5 selects periodic points with prescribed periods and proves each block Jacobian has nonzero determinant using the counting Lemma 5.4 and inequality Lemma 5.5; Section 6 passes from rho functions to actual eigenvalue functions via Lemma 3.2. No step fits a parameter to the target independence or defines an input in terms of the conclusion. The n=1 branch cites the authors' earlier results [17,18], but these are published, parameter-free theorems that do not assume the present result, so they are independent support rather than circularity. The projective Theorem 1.2 follows the same strategy, with Proposition 6.3 replacing Proposition 5.1. I flag a non-circular proof gap: in the proof of Proposition 6.3 the authors state "We leave the remaining details to the reader" after noting that the Jacobian is no longer block diagonal; the missing determinant argument for the mixed m=0 and m=k blocks is load-bearing for Theorem 1.2. The claimed d=2 inequality in Proposition 6.3 is also left unchecked. This is a completeness/correctness concern, not a circularity reduction. The corollaries depend on [15] (by the second author and collaborators), but that dependency is a transparent application of prior results, not a self-referential derivation of the main theorem. Score 0.

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

The proof is a standard derivation from external theorems and new lemmas. No numerical parameters are fitted to data, and no new objects are postulated. The heaviest external inputs are the one-variable monodromy theorem and the analytic and arithmetic results of [15] used in the final applications.

assumptions (5)
  • standard math Theorem 2.1: loops in the space of unicritical polynomials induce all permutations of periodic points of z^d that commute with the dynamics (Bousch [4], Schleicher [31]).
    External one-dimensional monodromy theorem, quoted as Theorem 2.1 and used to build higher-dimensional monodromy.
  • standard math The quotient M^n_d = End_d(P^n)/PGL_{n+1}(C) is a geometric affine variety with finite stabilizers (Petsche-Szpiro-Tepper [30, Proposition 10]).
    Used to define \tilde P^n_d as the image of P^n_d and to give the dimension of the moduli space.
  • standard math Implicit Function Theorem and standard analytic continuation of periodic points and their eigenvalues on the Zariski open sets P^n_d(pmax) and \tilde P^n_d(pmax).
    Underpins the definition of eigenvalue functions and the local independence computations in Sections 3 and 4.
  • standard math The one-dimensional multiplier independence results of Gorbovickis [17] and [18].
    Covers the base case n=1 and is cited in Lemma 6.2 to compare monomial degrees via Proposition 4.4 of [17].
  • domain assumption For the corollaries, the Bedford-Jonsson Lyapunov formula (12) [3, Theorem 3.2] and the main structural results of Gauthier-Taflin-Vigny [15] (Theorem 3.4, Theorem 4.1, Theorem 7.2) are assumed.
    These support Section 7 only; they are not used to prove Theorems 1.1 or 1.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Independence of multipliers in several variables complex dynamics." pith.science (2026). https://pith.science/paper/EFDO6PAB

@misc{pith2026241112856,
  author       = {Pith},
  title        = {Pith review of: Independence of multipliers in several variables complex dynamics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EFDO6PAB}},
  note         = {Machine review of arXiv:2411.12856}
}
abstract

We establish the independence of multipliers for polynomial endomorphisms of $\mathbb C^n$ and endomorphisms of $\mathbb P^n.$ This allows us to extend results about the bifurcation measure and the critical height obtained in \cite{arXiv:2305.02246} to the case of polynomial endomorphisms of $\mathbb C^n$ for $n\geq 3$. An important step in the proof is the irreducibility of the spaces of endomorphisms with $N$ marked periodic points, which is of independent interest.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 31 canonical work pages

  1. [15]

    Gauthier, J

    T. Gauthier, J. Taflin, and G. Vigny, Sparsity of postcritically finite maps of Pk and beyond: A complex analytic approach, 2023. arXiv:2305.02246

    work page arXiv 2023

  2. [17]

    Gorbovickis, Algebraic independence of multipliers of periodic orbits i n the space of rational maps of the Riemann sphere , Mosc

    I. Gorbovickis, Algebraic independence of multipliers of periodic orbits i n the space of rational maps of the Riemann sphere , Mosc. Math. J. 15 (2015), no. 1, 73–87, 181–182. MR3427412

    work page 2015

  3. [18]

    Systems 36 (2016), no

    , Algebraic independence of multipliers of periodic orbits i n the space of polynomial maps of one variable , Ergodic Theory Dynam. Systems 36 (2016), no. 4, 1156–1166. MR3492973

    work page 2016

  4. [1]

    Matthieu Arfeux and Jan Kiwi, Irreducibility of periodic curves in cubic polynomial modu li space , Proc. Lond. Math. Soc. (3) 127 (2023), no. 3, 792–835. MR4639956

    work page 2023

  5. [2]

    Reine Angew

    Giovanni Bassanelli and Fran¸ cois Berteloot,Bifurcation currents in holomorphic dynamics on Pk, J. Reine Angew. Math. 608 (2007), 201–235. MR2339474 (2008g:32052)

    work page 2007

  6. [3]

    Bedford and M

    E. Bedford and M. Jonsson, Dynamics of regular polynomial endomorphisms of Ck, Amer. J. Math. 122 (2000), no. 1, 153–212. MR1737260

    work page 2000

  7. [4]

    Bousch, Sur quelques probl´ emes de la dynamique holomorphe, 1992

    T. Bousch, Sur quelques probl´ emes de la dynamique holomorphe, 1992. Th` ese, Universit´ e de Paris-Sud

    work page 1992

  8. [5]

    Laura DeMarco, Holly Krieger, and Hexi Ye, Uniform Manin-Mumford for a family of genus 2 curves , Ann. of Math. (2) 191 (2020), no. 3, 949–1001. MR4088354

    work page 2020

Show all 33 references
  1. [6]

    , Common preperiodic points for quadratic polynomials , J. Mod. Dyn. 18 (2022), 363–413. MR4470542

    2022

  2. [7]

    Laura DeMarco and Niki Myrto Mavraki, Dynamics on P1: preperiodic points and pairwise stability , Compos. Math. 160 (2024), no. 2, 356–387. MR4685664

    2024

  3. [8]

    Vesselin Dimitrov, Ziyang Gao, and Philipp Habegger, Uniformity in Mordell-Lang for curves , Ann. of Math. (2) 194 (2021), no. 1, 237–298. MR4276287

    2021

  4. [9]

    Dinh and N

    T.-C. Dinh and N. Sibony, Dynamique des applications d’allure polynomiale , J. Math. Pures Appl. (9) 82 (2003), no. 4, 367–423. MR1992375 (2004e:37063)

    2003

  5. [10]

    Douady and P

    A. Douady and P. Sentenac, Un tour de valse , Etude dynamique des polynˆ omes complexes, partie ii., 1995

    1995

  6. [11]

    Doyle and J

    J. Doyle and J. Silverman, Moduli spaces for dynamical systems with portraits , Illinois J. Math. 64 (2020), no. 3, 375–465. MR4132597

    2020

  7. [12]

    Dujardin, Non-density of stability for holomorphic mappings on Pk, J

    R. Dujardin, Non-density of stability for holomorphic mappings on Pk, J. ´Ec. polytech. Math. 4 (2017), 813–843. MR3694096

    2017

  8. [13]

    Fakhruddin, The algebraic dynamics of generic endomorphisms of Pn, Algebra Number Theory 8 (2014), no

    N. Fakhruddin, The algebraic dynamics of generic endomorphisms of Pn, Algebra Number Theory 8 (2014), no. 3, 587–608. MR3218803

    2014

  9. [14]

    214, Princeton University Press, Pri nceton, NJ, [2022] ©2022

    Charles Favre and Thomas Gauthier, The arithmetic of polynomial dynamical pairs , Annals of Math- ematics Studies, vol. 214, Princeton University Press, Pri nceton, NJ, [2022] ©2022. MR4529887

    2022

  10. [16]

    Gauthier and G

    T. Gauthier and G. Vigny, The geometric dynamical northcott and bogomolov propertie s, 2019. Ann. Sci. Ecole Norm. Sup, to appear

    2019

  11. [19]

    https://arxiv.org/abs/2412.19335

    Valentin Huguin, Moduli spaces of polynomial maps and multipliers at small cy cles, 2024. https://arxiv.org/abs/2412.19335

    2024 arXiv

  12. [20]

    Benjamin Hutz, Multipliers and invariants of endomorphisms of projective space in dimension greater than 1 , J. Th´ eor. Nombres Bordeaux32 (2020), no. 2, 439–469. MR4174278

    2020

  13. [21]

    Ingram, The critical height is a moduli height , Duke Math

    P. Ingram, The critical height is a moduli height , Duke Math. J. 167 (2018), no. 7, 1311–1346. MR3799700

    2018

  14. [22]

    Silverman, Post-critically finite maps on Pn for n ≥ 2 are sparse, 2019

    Patrick Ingram, Rohini Ramadas, and Joseph H. Silverman, Post-critically finite maps on Pn for n ≥ 2 are sparse, 2019

    2019

  15. [23]

    Zhuchao Ji and Junyi Xie, Dao for curves , 2023

    2023

  16. [24]

    Pi 11 (2023), Paper No

    , Homoclinic orbits, multiplier spectrum and rigidity theor ems in complex dynamics , Forum Math. Pi 11 (2023), Paper No. e11, 37. MR4585467

    2023

  17. [25]

    arXiv:2309.15382

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

    2024

  18. [26]

    Translated from the Polish by Maciej Klimek

    Stanis/suppress law /suppress Lojasiewicz,Introduction to complex analytic geometry , Birkh¨ auser Verlag, Basel, 1991. Translated from the Polish by Maciej Klimek. MR1131081

    1991

  19. [27]

    Niki Myrto Mavraki and Harry Schmidt, On the dynamical bogomolov conjecture for families of split rational maps, arXiv, 2022

    2022

  20. [28]

    McMullen, Families of rational maps and iterative root-finding algori thms, Ann

    C. McMullen, Families of rational maps and iterative root-finding algori thms, Ann. of Math. (2) 125 (1987), no. 3, 467–493. MR890160

    1987

  21. [29]

    Morton, Galois groups of periodic points , J

    P. Morton, Galois groups of periodic points , J. Algebra 201 (1998), no. 2, 401–428. MR1612390

    1998

  22. [30]

    Algebra 322 (2009), no

    Clayton Petsche, Lucien Szpiro, and Michael Tepper, Isotriviality is equivalent to potential good re- duction for endomorphisms of PN over function fields , J. Algebra 322 (2009), no. 9, 3345–3365. MR2567424

    2009

  23. [31]

    Schleicher, Internal addresses of the Mandelbrot set and Galois groups o f polynomials, Arnold Math

    D. Schleicher, Internal addresses of the Mandelbrot set and Galois groups o f polynomials, Arnold Math. J. 3 (2017), no. 1, 1–35. MR3646529

    2017

  24. [32]

    Xinyi Yuan and Shou-Wu Zhang, Adelic line bundles over quasi-projective varieties , 2021

    2021

  25. [33]

    Yugang Zhang, Arithmetic properties of families of plane polynomial auto morphisms, 2024. Constructor University, Bremen, Campus Ring 1, 28759 Breme n, Germany Email address : igorbovickis@constructor.university Institut de Math ´ematiques de Bourgogne, UMR 5584 CNRS, Universi...

    2024

Pith tools

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