{"id":"edbd43f6-ad2f-4fd5-a17f-b46302e38441","arxiv_id":"2411.12856","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For regular polynomial endomorphisms of C^n and endomorphisms of P^n, any family of as many multipliers as the moduli dimension, from distinct cycles of period at least four (or five in one exceptional case), is algebraically independent.","lead":"For maps of multidimensional spaces, the multipliers of periodic orbits act as independent algebraic coordinates on the space of maps, extending a known two-dimensional result to all dimensions. This unlocks new results about bifurcations, postcritically finite maps, and explicit period bounds in projective dynamics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 depends on Proposition 6.3, whose proof is explicitly left to the reader; the missing determinant argument for the non-block-diagonal projective Jacobian is the load-bearing gap.","rationale":"The reader's weakest-assumption pick, Theorem 2.1, is an external trust point: if Bousch-Schleicher monodromy failed, the whole Section 2 construction would collapse. I agree that this is load-bearing, but it is a quoted theorem rather than an internal omission, and the authors' citation to [4,31] is specific. The more concrete, manuscript-internal gap is Proposition 6.3, where the text explicitly defers the remaining proof details. That proposition is indispensable for Theorem 1.2, the projective analogue that also feeds Corollary 1.5 and the positive answer to a question of Doyle-Silverman. I found no fatal flaw in the polynomial case: the algebraic-independence reduction via irreducibility of Z^n_{d,p}, the local computation at the power map, the counting lemmas, and the descent from \\rho functions to true eigenvalue functions are coherent. The determinant argument in Proposition 5.1 is supported by Lemma 4.2's non-proportional monomials; the projective extension requires the same argument in a setting where the Jacobian is no longer block diagonal, and that step is not written out. A complete derivation of Proposition 6.3, even in the smallest nontrivial case, would settle whether the omitted details hide a real obstruction or merely tedious bookkeeping. Since the reader already assigned CONDITIONAL, my concern does not move the verdict; it sharpens the reason for conditionality.","tokens_in":36983,"tokens_out":16016,"duration_ms":167340,"concrete_test":"Work out Proposition 6.3 completely for the minimal projective case d=2, n=2, for which (n+1)N_{d,n}=9, with all periods p_{k,j}=5. Using Lemma 6.2, write the explicit 9 by 9 Jacobian matrix of the listed functions with respect to the directions (m, \\tilde I), choose the periodic points from Proposition 5.1 via the counting argument, and compute the determinant as a polynomial in the marked coordinates for one fixed enumeration of admissible multi-indices. If the determinant is not identically zero, the omitted induction is recoverable; if it vanishes for some enumeration, the proof of Proposition 6.3 as stated is incomplete and Theorem 1.2 is not established by the manuscript.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The polynomial-case chain for Theorem 1.1 is substantial and internally coherent, modulo the one-dimensional monodromy input Theorem 2.1. The projective Theorem 1.2, however, rests on Proposition 6.3 in Section 6.2, and the proof of that proposition contains an explicit deferral: after stating the modified inequality, the authors write 'We leave the remaining details to the reader.' The missing details are not cosmetic. Unlike Proposition 5.1, the Jacobian for the functions in Proposition 6.3 is not block diagonal, because the directions m=0 (perturbations homogeneous in z_0) and m=k are mixed; Lemma 6.2 only supplies degree bounds and non-proportionality of monomials for individual blocks. One must still prove that the full (n+1)N_{d,n} by (n+1)N_{d,n} determinant is nonzero after interleaving the first N rows, which use selected indices k_j, with the block-diagonal rows, and that the choice k_j with i_{k_j} nonzero is compatible with every admissible multi-index. The weaker inequality stated for d=2 is also not verified in the text. This is a genuine gap: Theorem 1.2, Corollary 1.5, and the Doyle-Silverman application are not fully established until Proposition 6.3 is completed.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":37143,"tokens_out":8105,"duration_ms":81602,"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":[{"comment":"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.","section":"Section 6.2, Proposition 6.3"},{"comment":"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.","section":"Lemma 6.2, last case"}],"minor_comments":[{"comment":"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.","section":"Proposition 5.1 and Section 6.2"},{"comment":"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.","section":"Throughout"},{"comment":"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.","section":"Section 6.1, proof of Theorem 1.1"}],"recommendation":"major_revision","confidential_remarks":"The polynomial case appears to be rigorously established and constitutes a substantial contribution. The projective case is impaired by the missing determinant argument in Proposition 6.3. I recommend asking the authors to supply a complete proof of Proposition 6.3, including the full Jacobian determinant calculation and the verification of the stated inequality for d=2. If the missing argument cannot be provided, Theorem 1.2 and its corollaries should be explicitly marked as conditional or withdrawn, leaving Theorem 1.1 and the irreducibility theorems as the main results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The polynomial half is a real advance; the projective half is not fully proved as written. Theorem 1.1, the algebraic independence of multipliers for regular polynomial endomorphisms of C^n, n>=3, is supported by a detailed, coherent chain: monodromy transitivity from the one-dimensional input, irreducibility of marked periodic point spaces (Theorems 1.6 and 1.7), local independence at the power map, and a determinant argument. The explicit period threshold (>=4) and the new irreducibility results are genuine contributions. The proof of Proposition 5.1 with the counting lemmas is credible; I did not find a gap there. The paper also extends [15] to polynomial maps in higher dimension, which is valuable.\n\nThe soft spot is exactly where the stress-test puts it. Theorem 1.2 rests on Proposition 6.3, and the proof of Proposition 6.3 contains the sentence 'We leave the remaining details to the reader' after noting that the Jacobian is no longer block diagonal. This is not a cosmetic omission. The m=0 directions mix with the m=k directions, so the full (n+1)N_{d,n} determinant requires an interleaving argument that is not present. The weaker inequality for d=2 is also just asserted as 'one can check.' Until that determinant argument is written out, Theorem 1.2, Corollary 1.5, and the Doyle-Silverman application are conditional.\n\nMinor notes: Theorem 2.1 (monodromy of unicritical polynomials) is quoted from Bousch and Schleicher; that is a standard external input, and the authors cite it transparently. Self-citation of [17],[18] is appropriate here. The paper is honest about what is new and what is taken from earlier work.\n\nBottom line: this is a serious paper that deserves a full referee report. The polynomial case is a substantial result in itself. The projective case needs completion, not just cosmetic polishing. I would recommend accepting for peer review with a request that Proposition 6.3 be made rigorous, or that Theorem 1.2 be stated as conditional on a verified lemma.","headline":"The polynomial half is a real advance; the projective half is not fully proved as written, with Proposition 6.3 outsourcing the key determinant.","tokens_in":37787,"tokens_out":2207,"would_cite":true,"duration_ms":21050,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37F10","32H50","37F45"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["complex dynamics","several variables","multipliers of periodic orbits","algebraic independence","monodromy","marked periodic points","bifurcation measure","endomorphisms of projective space"],"falsifier":"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.","tokens_in":36668,"feed_emoji":"🌀","tokens_out":8880,"duration_ms":79812,"temperature":0.7,"pith_summary":"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.","feed_headline":"Periodic-cycle multipliers are algebraically independent","feed_subtitle":"They are local coordinates on the moduli space, extending bifurcation results to polynomial maps of C^n for n ≥ 3.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the one-dimensional monodromy realization theorem for quadratic unicritical polynomials, the base input for every loop construction.","marker":"[4]"},{"why":"Extends the realization theorem to degree-d unicritical polynomials, giving the full permutation group of periodic points commuting with the dynamics.","marker":"[31]"},{"why":"Provides the bifurcation-measure and critical-height results that Theorem 1.1 is used to extend to polynomial endomorphisms of C^n for n ≥ 3.","marker":"[15]"},{"why":"Defines the geometric quotient moduli space for endomorphisms of P^n and fixes its dimension, which sets the number of independent eigenvalue functions in Theorems 1.1 and 1.2.","marker":"[30]"},{"why":"Establishes the one-variable polynomial case of algebraic independence that serves as the base case for Proposition 5.1.","marker":"[18]"},{"why":"Supplies the Lyapunov-formula relation between bifurcation measure and critical height used in the proof of the corollaries.","marker":"[3]"}],"fun_headline_variants":["Multiplier independence proven for C^n endomorphisms, n≥3","Irreducible marked spaces imply multiplier independence in C^n","Multipliers as local coordinates: higher-dimensional independence","Multiplier independence extends bifurcation theory to C^n"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Multiplier independence proven for C^n endomorphisms, n≥3","Irreducible marked spaces imply multiplier independence in C^n","Multipliers as local coordinates: higher-dimensional independence","Multiplier independence extends bifurcation theory to C^n"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001412,"raw_usage":{"total_tokens":5635,"prompt_tokens":810,"completion_tokens":4825,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":426,"completion_tokens_details":{"reasoning_tokens":4757}},"tokens_in":426,"tokens_out":4825,"duration_ms":33479,"temperature":1.0,"reasoning_tokens":4757,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T17:07:50.217755+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Bousch, Sur quelques probl´ emes de la dynamique holomorphe, 1992","cited_arxiv_id":null,"evidence_quote":"Supplies the one-dimensional monodromy realization theorem for quadratic unicritical polynomials, the base input for every loop construction."},{"cited_title":"Schleicher, Internal addresses of the Mandelbrot set and Galois groups o f polynomials, Arnold Math","cited_arxiv_id":null,"evidence_quote":"Extends the realization theorem to degree-d unicritical polynomials, giving the full permutation group of periodic points commuting with the dynamics."},{"cited_title":"Gauthier, J","cited_arxiv_id":null,"evidence_quote":"Provides the bifurcation-measure and critical-height results that Theorem 1.1 is used to extend to polynomial endomorphisms of C^n for n ≥ 3."},{"cited_title":"Algebra 322 (2009), no","cited_arxiv_id":null,"evidence_quote":"Defines the geometric quotient moduli space for endomorphisms of P^n and fixes its dimension, which sets the number of independent eigenvalue functions in Theorems 1.1 and 1.2."},{"cited_title":"Systems 36 (2016), no","cited_arxiv_id":null,"evidence_quote":"Establishes the one-variable polynomial case of algebraic independence that serves as the base case for Proposition 5.1."},{"cited_title":"Bedford and M","cited_arxiv_id":null,"evidence_quote":"Supplies the Lyapunov-formula relation between bifurcation measure and critical height used in the proof of the corollaries."}],"review_version":1}