REVIEW 4 major objections 3 minor 36 references
Polynomial skew products with small relative degree
T0 review · 4 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read When no critical branch lands in it, the fastest-converging set W of a superattracting germ is a lamination of analytic curves, represented as an average of curve currents over a non-Archimedean Cantor set.
desk verdict A serious, important structural theorem for superattracting germs: Theorem D gives a uniformly laminar Cantor bouquet, and the paper deserves a careful referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the non-Archimedean skew product $f_\diamond$ induced on the Berkovich affine line over $\mathbb{C}((z))$: points of the open unit ball are irreducible formal curve germs, type 1 points are Puiseux parametrizations, and the invariant set $K$ is the set of points whose orbits do not converge to the Gauss point $\zeta_g$. The mechanism is the comparison of two parametrizations of the Berkovich tree—the multiplicity $m(x)$ (order of tangency with $\{z=0\}$) and the generic multiplicity $b(x)$—together with the critical-slope formula $A(f_\diamond(x)) = (A(x)+g_{\mathrm{Jac}(f)}(x))/d$, which controls how diameters and Jacobian norms transform along orbits. Under a Markov partition by open balls whose boundary points have generic multiplicity one, the dynamics of $f_\diamond$ on $K$ is conjugated to a subshift of finite type; a graph transform on the corresponding blown-up model is contracting, which forces each itinerary to converge to a unique analytic curve $C(x)$ of uniformly bounded multiplicity, yielding the integral representation.
What would settle it
Take a concrete example satisfying the hypothesis, for instance $f(z,w)=(z^4,w^2-z^4)$, and compute, for two distinct itineraries in the Markov partition, the limiting Puiseux series obtained by iterating the graph transform. If the two resulting curves intersect at any point outside the origin, or if the Lelong number of $dd^c g$ along one of them is not $1/m(x)$, the lamination statement and the integral representation $T=\int_K [C(x)]/m(x)\,d\mu_{\mathrm{na}}(x)$ would be false.
Extended reading notes
Core claim
The central discovery is Theorem D: for a germ $f(z,w)=(z^d, w^c + zh(z,w))$ with $2\le c<d$, whenever no critical branch of $f$ belongs to the invariant set $K$ (equivalently, no irreducible component of the critical locus other than $\{z=0\}$ lies in $W$), every point $x\in K$ is represented by a convergent Puiseux series with uniformly bounded multiplicity $m(x)$, and the invariant positive closed $(1,1)$ current $T=dd^c g$ equals the average $T=\int_K [C(x)]/m(x)\,d\mu_{\mathrm{na}}(x)$, where $C(x)$ is the analytic curve parameterized by $t\mapsto (t^{m(x)}, \phi_x(t^{m(x)}))$. In particular $T$ is uniformly laminar outside the origin and $W$ is a union of analytic curves through the origin. The proof runs through three intermediate results: a two-rate contraction theorem for the basin, a dichotomy showing $K$ is either a Cantor set of type 1 points or a single transverse curve, and a theorem controlling curve multiplicities by the recurrence of the critical set.
Load-bearing premise
The argument rests on assuming that no critical curve of the map, other than the distinguished line $\{z=0\}$, is contained in the fastest-converging set $W$ (equivalently, no critical branch belongs to the non-Archimedean invariant set $K$); if a critical branch does lie there, the uniform bound on curve multiplicities and the integral representation of $T$ are not established.
Editorial extensions
If this is right
- If no critical branch lies in $K$, the invariant current is uniformly laminar outside the origin, and $W$ is the support of a lamination by Riemann surfaces with Cantor transversals.
- The identity $T = \int_K [C(x)]/m(x)\,d\mu_{\mathrm{na}}(x)$ holds, so the non-Archimedean ergodic measure determines the complex Green current completely, and the curves $C(x)$ for $x\in K$ are the leaves of the lamination.
- The multiplicity of every curve in $K$ is uniformly bounded under the no-critical-branch-in-$K$ hypothesis; without it, periodic critical points in $C_+$ produce non-rigid points in $K$ and rigid points of arbitrarily large multiplicity.
- Every orbit near the origin has asymptotic contraction rate either $c$ or $d$, and $W=\{g=-\infty\}$ is exactly the set of rate-$d$ orbits; this two-rate dichotomy is a direct corollary of the convergence of $c^{-n}\log|f^n|$ to $g$.
- If $f$ is conjugated to a product map, $T$ is concentrated on a single smooth curve; otherwise $T$ gives no mass to any curve, as a consequence of the Siu-decomposition argument in Theorem 7.1.
Reading between the lines
- Inference: the dichotomy in Theorem B suggests the non-laminar regime is precisely the presence of a critical branch in $K$; constructing the open recurrent case of Question 5.4 would decide whether non-rigid points form a positive-measure set.
- Inference: the integral representation gives an effective numerical algorithm: once the Markov partition and the edges of the graph $\Gamma$ are known, iterating the contraction estimates determines each curve $C(x)$ and multiplicity $m(x)$, so the transverse Cantor structure and its dimension can be computed from the transition matrix.
- Inference: because the proof first reduces to multiplicity one by a base change, the same averaging construction might extend to maps with critical branches in $K$ by replacing $[C(x)]$ with the limiting valuation currents considered in the paper's geometric model, which would address the open convergence question for Puiseux series there.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies holomorphic germs f in (C^2,0) having a totally invariant line L={z=0} with f^*L=dL and whose restriction to L is superattracting of order c, with 2≤c<d. It proves a formal normal form as a polynomial skew product (z^d, P(z,w)), transfers the dynamics to the Berkovich affine line over C((z)), and introduces an invariant compact set K supporting a canonical ergodic measure µna. The main non-Archimedean result, Theorem C, controls the multiplicity of points in K by recurrence of critical branches. The main complex result, Theorem D, asserts that when no critical branch belongs to K, the invariant current T=dd^c g admits the integral representation (5) as an average of integration currents over the curves in K and is uniformly laminar outside the origin. The paper contains detailed proofs of many preparatory results, including the formal conjugacy theorem, the construction of K and µna, and the equidistribution and mixing properties of µna, and it gives explicit examples illustrating the possible behaviors.
Significance. If the main claims hold, this is a substantial contribution connecting local holomorphic dynamics in C^2 with non-Archimedean dynamics on the Berkovich affine line. The paper is notable for its parameter-free structure: the critical set, the invariant set K, and the measure µna are all defined directly from f, with no fitted parameters, and the main theorems are derived from previous results rather than from numerical or heuristic input. The explicit examples in Section 6 and the honest statement of the open recurrent critical case in Question 5.4 are strengths. The formal conjugacy argument in Theorem 6.1 and the graph-transform contraction scheme in Section 8 are elegant and potentially influential. However, several load-bearing steps are only sketched, and the proof of uniform laminarity in Section 8.8 contains an unjustified step; these need to be addressed before the central claims can be regarded as fully established.
major comments (4)
- [§4.2, Theorem 4.5] Theorem 4.5 is the foundation for the multiplicity estimates, but it is proved only as a 'Sketch of proof'. Corollary 4.6, Proposition 4.7, and consequently Theorem 4.1 and Corollary 4.2 all rely on the classification of generic multiplicity and on the statement that when m(x)<b(x) there is a unique open ball with boundary x and multiplicity m(x). Please provide a complete proof or a precise reference containing all details, and check that the proof of Proposition 4.7 does not silently use assertions from the sketch.
- [§8.8, uniform laminarity of T(f)] The proof of uniform laminarity is incomplete at the point where the paper considers two currents S1 and S2 with intersecting plaques. The sentence 'any transverse intersection between S1 and S2 at the limit must originate from a self-intersection of f^{-n}(Γ)' is not justified. Convergence of pull-backs of smooth curves does not by itself exclude transverse intersections in the limit current, and the asserted 'uniformly bounded geometry' of the preimages is not proved in detail. Since uniform laminarity is part of Theorem D, this step needs a rigorous argument.
- [§8.5–§8.6, Propositions 8.7 and 8.9] Two central geometric lemmas in the proof of Theorem D are delegated to the reader: Proposition 8.7 states that the details of the inductive construction of the free model are left to the reader, and Proposition 8.9 leaves the proof of the Lipschitz estimate for T2 and the valuation estimate (43) to the reader. These estimates are load-bearing for the convergence of the graph transform in Lemma 8.10 and hence for the representation (5). Please include complete proofs or precise references.
- [§4.4, proof of Theorem 4.1(1)] In the proof of Theorem 4.1(1), the intervals (f^ℓ(x̂_n), y_j(ℓ)) may contain a critical point of C\C+. The assertion that ν=1 on these intervals is only explained by saying that they are disjoint from T+ and contain at most one such critical point; if the critical point lies strictly inside the interval, the critical slope is not constant and the interval must be split at that point. Please write out this subdivision explicitly.
minor comments (3)
- [§4.3, Lemma 4.8] The phrase 'outside the critical tree' in the proof of Lemma 4.8 is confusing: the hypothesis is only that the critical slope is constant on the interval, which can happen also on the critical tree. The formula (28) from Corollary 4.4 suffices for the argument; the wording should be corrected.
- [§3.4, Theorem 3.10] In the mixing proof, the duality identity involving (f⋄)_*(φµna) should be justified by approximation or by the explicit description in Remark 3.8; as written it is implicit.
- [§2.2, proof of Theorem 2.2] In the equation after (13), the notation r_i and e_i is introduced but the identity d m_i = e_i m is stated without a short explanation; a one-sentence justification would improve readability.
Circularity Check
No significant circularity: Theorem D is derived from the map's own Berkovich dynamics, and the one self-citation (DFR23) is a standard formal-curve lemma that is not load-bearing for the central claim.
full rationale
The paper contains no fitted parameters, no prediction of a quantity that was used as input, and no definition of the target object in terms of itself. The sets K and KL, the measure µna, the Green function g, and the current T = ddcg are all constructed directly from f via non-Archimedean dynamics and potential theory. Theorem D is proved by a graph-transform contraction (Proposition 8.9) and equidistribution (Corollary 7.3 and Lemma 8.11); the 1/m(x) factor in the integral representation arises from the base-change degree computation, not from an Ansatz. The formal conjugacy to skew-product form is proved in Theorem 6.1 by an explicit induction with coboundary solutions, and the transfer to the Berkovich open unit ball is justified by the coefficient conditions |a0| < 1, |a1| = 1, and |ai| < 1 described in Section 8.1. The only self-citation with any load-bearing content is [DFR23, Theorem 2.1], used inside the proof of Theorem 2.6(iv) to obtain a formal invariant curve in periodic root-of-unity balls; this is a standard formal linearization fact, is applied to a peripheral part of the dynamics, and does not assume Theorem D or the existence of the laminar current. The main hypothesis 'no critical branch belongs to K' is an explicit restriction rather than a relabeling: Proposition 8.1 proves its equivalence with the condition C ⊂ W, and the recurrent critical case is openly left open in Question 5.4, which is a scope limitation, not a circular step. Therefore the integral representation (5) is a genuine theorem under its stated hypothesis, and no step in the derivation reduces by construction to its input.
Assumptions & free parameters
assumptions (6)
- standard math Berkovich affine line A1,an_K consists of multiplicative seminorms, with type-1 to type-4 points, Gauss point, diameter and capacity functions.
- standard math For polynomial maps on Berkovich space over a field of residual characteristic 0, diam(f(x)) = diam(x) |f'(x)|.
- standard math Equidistribution for rational maps on the Berkovich projective line: (f^n)^* δ_x / deg^n converges to the invariant measure.
- standard math Valuative tree results of Favre-Jonsson: approximation of valuations by divisorial ones, multiplicity functions, and the correspondence between germs of curves and rigid points.
- standard math Böttcher coordinates for one-dimensional superattracting germs w ↦ w^c.
- domain assumption A formal invariant curve exists for maps of the form (z^d, c w + O(z,w^2)) with c<d, from DFR23 Theorem 2.1.
Cite this review
Pith. "Pith review of Polynomial skew products with small relative degree." pith.science (2026). https://pith.science/paper/DKS4C2X6
@misc{pith2026250709197,
author = {Pith},
title = {Pith review of: Polynomial skew products with small relative degree},
year = {2026},
howpublished = {\url{https://pith.science/paper/DKS4C2X6}},
note = {Machine review of arXiv:2507.09197}
}
abstract
We investigate the local dynamics of a proper superattracting holomorphic germ $f$ in $(\mathbb{C}^2,0)$ possessing a totally invariant line $L$ such that $f^*L = d L$ with $d\ge 2$, and such that $f|_L$ has a superattracting fixed point at $0$ of order $2 \le c < d$. We prove that any such map is formally conjugated to a skew product of the form $(z^d, P(z,w))$, where $P \in \mathbb{C}[[z]][w]$ is polynomial in $w$ of degree $c$, hence it induces a natural dynamics on the Berkovich affine line over $\mathbb{C}(\!(z)\!)$. Such non-Archimedean skew products were recently studied by Birkett and Nie-Zhao. On the non-Archimedean side, we focus on the restriction of the dynamics on the Berkovich open unit ball (which naturally contains all irreducible analytic germs at the origin). We exhibit an invariant compact set $\mathcal{K}$ outside of which all points tend to $L$, and which supports a natural ergodic invariant measure. By a careful analysis of local intersection numbers, we prove that the growth of multiplicity of iterated curves is controlled by the recurrence properties of the critical set. In particular, when no critical branch of $f$ belongs to $\mathcal{K}$, any point in $\mathcal{K}$ corresponds to a curve of uniformly bounded multiplicity at $0$. We then return to the complex picture and show the existence of an invariant pluripolar positive closed $(1,1)$-current $T$, outside of which all orbits converge to $0$ at super-exponential speed $c$. Under the same assumption on the critical branches as above, we prove that $T$ admits a geometric representation as an average of currents of integration over the curves in $\mathcal{K}$, with respect to the natural invariant measure. In particular, $T$ is uniformly laminar outside the origin.
Reference graph
Works this paper leans on
-
[1]
Xavier Buff, Adam Epstein, and Sarah Koch. B \"o ttcher coordinates. Indiana Univ. Math. J. , 61(5):1765--1799, 2012
work page 2012
- [2]
-
[3]
Richard A. P. Birkett. Skew products on the B erkovich projective line. arxiv:2310.17628, 2023
arXiv 2023
-
[4]
Dynamics of regular polynomial endomorphisms of C ^k
Eric Bedford and Mattias Jonsson. Dynamics of regular polynomial endomorphisms of C ^k . Amer. J. Math. , 122(1):153--212, 2000
work page 2000
-
[5]
Polynomial diffeomorphisms of C ^2
Eric Bedford, Mikhail Lyubich, and John Smillie. Polynomial diffeomorphisms of C ^2 . IV . T he measure of maximal entropy and laminar currents. Invent. Math. , 112(1):77--125, 1993
1993
-
[6]
Matthew Baker and Robert Rumely. Potential theory and dynamics on the B erkovich projective line , volume 159 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2010
work page 2010
-
[7]
On the dynamics near infinity of some polynomial mappings in C ^2
Tien Cuong Dinh, Romain Dujardin, and Nessim Sibony. On the dynamics near infinity of some polynomial mappings in C ^2 . Math. Ann. , 333(4):703--739, 2005
work page 2005
-
[8]
Distribution of rational maps with a preperiodic critical point
Romain Dujardin and Charles Favre. Distribution of rational maps with a preperiodic critical point. Am. J. Math. , 130(4):979--1032, 2008
work page 2008
Show all 36 references
-
[9]
Degenerations of complex dynamical systems
Laura DeMarco and Xander Faber. Degenerations of complex dynamical systems. II : Analytic and algebraic stability. Math. Ann. , 365(3-4):1669--1699, 2016
2016
-
[10]
On the dynamical Manin - Mumford conjecture for plane polynomial maps
Romain Dujardin, Charles Favre, and Matteo Ruggiero. On the dynamical Manin - Mumford conjecture for plane polynomial maps. arXiv:2312.14817, 2023
2023 arXiv
-
[11]
Suites d'applications m\'eromorphes multivalu\'ees et courants laminaires
Tien-Cuong Dinh. Suites d'applications m\'eromorphes multivalu\'ees et courants laminaires. J. Geom. Anal. , 15(2):207--227, 2005
2005
-
[12]
Laminar currents and birational dynamics
Romain Dujardin. Laminar currents and birational dynamics. Duke Math. J. , 131(2):219--247, 2006
2006
-
[13]
Geometric methods in holomorphic dynamics
Romain Dujardin. Geometric methods in holomorphic dynamics. In I CM --- I nternational C ongress of M athematicians. V ol. 5. S ections 9--11 , pages 3460--3482. EMS Press, Berlin, 2023
2023
-
[14]
Normalized B erkovich spaces and surface singularities
Lorenzo Fantini. Normalized B erkovich spaces and surface singularities. Trans. Amer. Math. Soc. , 370(11):7815--7859, 2018
2018
-
[15]
Classification of 2-dimensional contracting rigid germs and K ato surfaces
Charles Favre. Classification of 2-dimensional contracting rigid germs and K ato surfaces. I . J. Math. Pures Appl. (9) , 79(5):475--514, 2000
2000
-
[16]
The valuative tree , volume 1853 of Lecture Notes in Mathematics
Charles Favre and Mattias Jonsson. The valuative tree , volume 1853 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2004
2004
-
[17]
Valuative analysis of planar plurisubharmonic functions
Charles Favre and Mattias Jonsson. Valuative analysis of planar plurisubharmonic functions. Invent. Math. , 162(2):271--311, 2005
2005
-
[18]
Eigenvaluations
Charles Favre and Mattias Jonsson. Eigenvaluations. Ann. Sci. \'Ecole Norm. Sup. (4) , 40(2):309--349, 2007
2007
-
[19]
A non- Archimedean Montel 's theorem
Charles Favre, Jan Kiwi, and Eugenio Trucco. A non- Archimedean Montel 's theorem. Compos. Math. , 148(3):966--990, 2012
2012
-
[20]
Th\'eorie ergodique des fractions rationnelles sur un corps ultram\'etrique
Charles Favre and Juan Rivera-Letelier. Th\'eorie ergodique des fractions rationnelles sur un corps ultram\'etrique. Proc. Lond. Math. Soc. (3) , 100(1):116--154, 2010
2010
-
[21]
Rigidit \'e , expansion et entropie en dynamique non-archim \'e dienne
Charles Favre and Juan Rivera-Letelier. Rigidit \'e , expansion et entropie en dynamique non-archim \'e dienne. arXiv:2504.20280, 2025
2025
-
[22]
On the growth of local intersection multiplicities in holomorphic dynamics: a conjecture of A rnold
William Gignac. On the growth of local intersection multiplicities in holomorphic dynamics: a conjecture of A rnold. Math. Res. Lett. , 21(4):713--731, 2014
2014
-
[23]
Growth of attraction rates for iterates of a superattracting germ in dimension two
William Gignac and Matteo Ruggiero. Growth of attraction rates for iterates of a superattracting germ in dimension two. Indiana Univ. Math. J. , 63(4):1195--1234, 2014
2014
-
[24]
Local dynamics of non-invertible maps near normal surface singularities
William Gignac and Matteo Ruggiero. Local dynamics of non-invertible maps near normal surface singularities. Mem. Amer. Math. Soc. , 272(1337), 2021
2021
-
[25]
Hubbard and Peter Papadopol
John H. Hubbard and Peter Papadopol. Superattractive fixed points in C n . Indiana Univ. Math. J. , 43(1):321--365, 1994
1994
-
[26]
Dynamics of B erkovich spaces in low dimensions
Mattias Jonsson. Dynamics of B erkovich spaces in low dimensions. In Berkovich spaces and applications , volume 2119 of Lecture Notes in Math. , pages 205--366. Springer, Cham, 2015
2015
-
[27]
Puiseux series polynomial dynamics and iteration of complex cubic polynomials
Jan Kiwi. Puiseux series polynomial dynamics and iteration of complex cubic polynomials. Ann. Inst. Fourier , 56(5):1337--1404, 2006
2006
-
[28]
Entropy and flatness in local algebraic dynamics
Mahdi Majidi-Zolbanin, Nikita Miasnikov, and Lucien Szpiro. Entropy and flatness in local algebraic dynamics. Publ. Mat., Barc. , 57(2):509--544, 2013
2013
-
[29]
Berkovich dynamics of twisted rational maps
Hongming Nie and Shengyuan Zhao. Berkovich dynamics of twisted rational maps. J. Geom. Anal. , 34(12):Paper No. 355, 32, 2024
2024
-
[30]
Contracting rigid germs in higher dimensions
Matteo Ruggiero. Contracting rigid germs in higher dimensions. Ann. Inst. Fourier (Grenoble) , 63(5):1913--1950, 2013
1913
-
[31]
Another construction of a Cantor bouquet at a fixed indeterminate point
Tomoko Shinohara. Another construction of a Cantor bouquet at a fixed indeterminate point. Kyoto J. Math. , 50(1):205--224, 2010
2010
-
[32]
A non- Archimedean Ohsawa - Takegoshi extension theorem
Matthew Stevenson. A non- Archimedean Ohsawa - Takegoshi extension theorem. Math. Z. , 291(1-2):279--302, 2019
2019
-
[33]
Wandering F atou components and algebraic J ulia sets
Eugenio Trucco. Wandering F atou components and algebraic J ulia sets. Bull. Soc. Math. France , 142(3):411--464, 2014
2014
-
[34]
A construction of B \"o ttcher coordinates for holomorphic skew products
Kohei Ueno. A construction of B \"o ttcher coordinates for holomorphic skew products. Nonlinearity , 32(7):2694--2720, 2019
2019
-
[35]
Dynamics semi-conjugated to a subshift for some polynomial mappings in C^2
Gabriel Vigny. Dynamics semi-conjugated to a subshift for some polynomial mappings in C^2 . Publ. Mat. , 51(1):201--222, 2007
2007
-
[36]
Cantor bouquet of holomorphic stable manifolds for a periodic indeterminate point
Yoshikazu Yamagishi. Cantor bouquet of holomorphic stable manifolds for a periodic indeterminate point. Nonlinearity , 14(1):113--120, 2001
2001
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.