Unlikely intersections in families of polynomial skew products
Pith reviewed 2026-05-10 19:21 UTC · model grok-4.3
The pith
In families of polynomial skew products, two marked points are simultaneously preperiodic for infinitely many parameters if and only if their good heights are equal.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a family F_t of regular polynomial skew products over a number field K with marked points P_t and Q_t in K[t] x K[t], the set of t0 in the algebraic closure where both P_t0 and Q_t0 are preperiodic for F_t0 is infinite if and only if the good height h of P_t equals that of Q_t. The special loci with dense postcritically finite points are the homogeneous families, the split families, and the (x^2, y^2 + b x) family up to conjugacy.
What carries the argument
The good height h_{P_t} built from adelic line bundles on the quasi-projective variety, which coincides with the canonical height on preperiodic points and controls the accumulation of preperiodic parameters.
If this is right
- The classification verifies a special case of Zhong's conjecture on special loci.
- Under degree conditions on P_t, an infinite set of preperiodic parameters forces the forward orbit of P_t to have Zariski closure in a proper subvariety of P^2.
- Special cases of the DeMarco-Mavraki conjecture are conditionally verified as a relative version of the dynamical Manin-Mumford conjecture.
Where Pith is reading between the lines
- This height criterion could be used to find explicit examples of preperiodic parameters by checking height equality in concrete families.
- The results suggest that unlikely intersections are controlled by arithmetic invariants like heights in these dynamical settings.
- Extensions might apply the same method to families in higher dimensions or with more marked points.
Load-bearing premise
The maps are regular polynomial skew products defined over a number field, with the marked points having polynomial coordinates in the parameter and additional unspecified degree conditions for the orbit closure part.
What would settle it
An explicit family of skew products where the good heights of the two marked points differ but infinitely many parameters still make both preperiodic, or where the heights are equal but only finitely many such parameters exist.
read the original abstract
Motivated by the study of unlikely intersection in the moduli space of rational maps, we initiate our investigation on algebraic dynamics for families of regular polynomial skew products in this article. Our goals are threefold. (1) We classify special loci -- which contain a Zariski dense set of postcritically finite points -- in the moduli space of quadratic regular polynomial skew products. More precisely, special loci include families of homogeneous polynomial endomorphisms, families of split endomorphisms, and polynomial endomorphisms of the form $(x^2,y^2+bx)$ up to conjugacy. As a consequence, we verify a special case of a conjecture proposed by Zhong. (2) Let $F_t$ be a family of regular polynomial skew products defined over a number field $K$ and let $P_t, Q_t\in K[t]\times K[t]$ be two initial marked points. We introduce a good height $h_{P_t}(t)$ which is built from the theory of adelic line bundles for quasi projective varieties. We show that the set of parameters $t_0\in \overline{K}$ for which $P_{t_0}$ and $Q_{t_0}$ are simultaneously $F_{t_0}$-preperiodic is infinite if and only if $h_{P_t}=h_{Q_t}$. (3) As an application of $h_{P_t}$, we show that, under some degree conditions of $P_t$, if there is an infinite set of parameters $t_0$ for which the marked point $P_{t_0}$ is preperiodic under $F_{t_0}$, then the Zariski closure of the forward orbit of $P_t$ lives in a proper subvariety of $\mathbb{P}^2$. As a by-product, we conditionally verify a special case of a conjecture of DeMarco--Mavraki which is a relative version of the Dynamical Manin--Mumford Conjecture.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies unlikely intersections in families of regular polynomial skew products on P². It classifies the special loci in the moduli space of quadratic regular polynomial skew products that contain a Zariski-dense set of postcritically finite points: these are (up to conjugacy) families of homogeneous polynomial endomorphisms, split endomorphisms, and maps of the form (x², y² + b x). This verifies a special case of a conjecture of Zhong. For a general family F_t defined over a number field K with marked points P_t, Q_t ∈ K[t] × K[t], the authors introduce a good height h_{P_t} constructed via adelic line bundles on quasi-projective varieties and prove that the set of parameters t₀ ∈ K-bar for which both P_{t₀} and Q_{t₀} are simultaneously F_{t₀}-preperiodic is infinite if and only if h_{P_t} = h_{Q_t}. As an application, under unspecified degree conditions on P_t, an infinite set of preperiodic parameters for P_t implies that the Zariski closure of the forward orbit of P_t lies in a proper subvariety of P²; this conditionally verifies a special case of the DeMarco–Mavraki conjecture (a relative form of the Dynamical Manin–Mumford conjecture).
Significance. If the central claims hold, the work supplies an explicit classification of special loci together with a height-theoretic criterion that detects infinite simultaneous preperiodicity. The adelic-line-bundle construction of the good height is a natural and potentially reusable tool for families on quasi-projective varieties. The conditional verification of the relative Dynamical Manin–Mumford conjecture and the orbit-closure application are concrete advances in higher-dimensional unlikely-intersections problems. The paper therefore strengthens the toolkit for studying post-critically finite parameters and orbit closures in polynomial skew-product families.
major comments (2)
- [part (3)] Part (3) of the main results: the statement invokes 'some degree conditions of P_t' without stating them explicitly. Because the conclusion that the Zariski closure of the forward orbit lies in a proper subvariety of P² depends on these conditions, their omission is load-bearing for the application and for the conditional verification of the DeMarco–Mavraki conjecture.
- [part (2)] The height-equivalence theorem (part (2)): while the 'only if' direction follows from standard Northcott properties once h_{P_t} is shown to be a good height, the 'if' direction (equal heights imply infinitely many common preperiodic parameters) appears to require that the family F_t lies in one of the special loci classified in part (1). The manuscript should clarify whether the equivalence holds for arbitrary regular skew-product families or only after reduction to the classified cases.
minor comments (2)
- The notation h_{P_t}(t) versus h_{P_t} is used interchangeably in the abstract; a uniform notation should be fixed throughout the text.
- The abstract refers to 'regular polynomial skew products' without recalling the precise definition (e.g., the condition that the map is regular at infinity); a brief reminder in the introduction would improve readability.
Simulated Author's Rebuttal
Thank you for the referee's careful reading and constructive comments on our manuscript. We appreciate the positive assessment of the significance of our results. We address the major comments point by point below, indicating the revisions we will make to improve clarity.
read point-by-point responses
-
Referee: Part (3) of the main results: the statement invokes 'some degree conditions of P_t' without stating them explicitly. Because the conclusion that the Zariski closure of the forward orbit lies in a proper subvariety of P² depends on these conditions, their omission is load-bearing for the application and for the conditional verification of the DeMarco–Mavraki conjecture.
Authors: We agree that the degree conditions on P_t were not stated explicitly in the theorem statement of part (3), which affects the readability of the application and the conditional verification of the DeMarco–Mavraki conjecture. In the revised manuscript, we will explicitly state the precise degree conditions on P_t that are used in the proof (specifically, those ensuring the orbit closure lies in a proper subvariety when there are infinitely many preperiodic parameters). We will also add a short explanation of their role in the argument. revision: yes
-
Referee: The height-equivalence theorem (part (2)): while the 'only if' direction follows from standard Northcott properties once h_{P_t} is shown to be a good height, the 'if' direction (equal heights imply infinitely many common preperiodic parameters) appears to require that the family F_t lies in one of the special loci classified in part (1). The manuscript should clarify whether the equivalence holds for arbitrary regular skew-product families or only after reduction to the classified cases.
Authors: The equivalence in part (2) holds for arbitrary families of regular polynomial skew products F_t; the 'if' direction does not require reduction to the special loci classified in part (1). The proof proceeds directly from the construction of the good height h_{P_t} via adelic line bundles on the quasi-projective parameter space: when h_{P_t} = h_{Q_t}, the set of parameters t_0 where both P_{t_0} and Q_{t_0} are preperiodic consists of points of bounded height, and the Northcott property then yields infinitely many such parameters over the algebraic closure. Part (1) addresses a distinct question concerning Zariski-dense sets of postcritically finite maps in the moduli space and is not invoked in the proof of the height equivalence. To prevent misinterpretation, we will add a clarifying remark in the introduction and immediately following the statement of the theorem in part (2). revision: partial
Circularity Check
Minor self-citation present but derivation remains independent
full rationale
The central results rely on standard adelic height constructions from line bundles on quasi-projective varieties and Zariski topology arguments, which are external and do not reduce to the paper's own fitted quantities or equations. The equivalence of infinite simultaneous preperiodic parameters with equal heights h_Pt = h_Qt follows from Northcott properties without internal redefinition. A minor self-citation occurs when verifying a special case of a conjecture proposed by coauthor Zhong, but this is not load-bearing for the main theorems or height equivalence. No self-definitional, fitted-prediction, or ansatz-smuggling patterns are present.
Axiom & Free-Parameter Ledger
axioms (3)
- standard math Standard properties of heights arising from adelic line bundles on quasi-projective varieties
- standard math Zariski topology and the notion of Zariski density in algebraic varieties
- domain assumption Basic facts about preperiodic and postcritically finite points for polynomial endomorphisms
invented entities (1)
-
good height h_Pt
no independent evidence
Reference graph
Works this paper leans on
-
[1]
M. Astorg and F. Bianchi. Higher bifurcations for polynomial skew products. Journal of Modern Dynamics. 18 (2022), 69--99
work page 2022
-
[2]
M. Astorg and F. Bianchi. Hyperbolicity and bifurcations in holomorphic families of polynomial skew products. American Journal of Mathematics. 145 (2023), no. 3, 861--898
work page 2023
-
[3]
E. Artin. Algebraic numbers and algebraic functions. (Reprint of the 1967 original). AMS Chelsea Publishing, Providence, RI, 2006
work page 1967
-
[4]
M. Astorg et al.. A two-dimensional polynomial mapping with a wandering Fatou component. Ann. of Math. (2) 184 (2016), no. 1, 263--313
work page 2016
-
[5]
M. Baker and L. DeMarco. Preperiodic points and unlikely intersections. Duke Mathematical Journal. 159 (2011), no. 1, 1--29
work page 2011
-
[6]
M. Baker and L. DeMarco. Special curves and postcritically finite polynomials. Forum of Mathematics. Pi. 1 (2013), e3, 35
work page 2013
-
[7]
R. Benedetto, P. Ingram, R. Jones, and A. Levy. Attracting cycles in p -adic dynamics and height bounds for postcritically finite maps . Duke Mathematical Journal. 163 (2014), no. 13, 2325--2356
work page 2014
-
[8]
A. Chambert-Loir. Heights and measures on analytic spaces. A survey of recent results, and some remarks . In: Motivic integration and its interactions with model theory and non- A rchimedean geometry. V olume II . London Math. Soc. Lecture Note Ser., Vol. 384, pp. 1--50. Cambridge Univ. Press, Cambridge, 2011
work page 2011
-
[9]
E. Bombieri and Walter Gubler. Heights in D iophantine geometry . New Mathematical Monographs, Vol. 4. Cambridge University Press, Cambridge, 2006
work page 2006
-
[10]
M. H. Baker and R. Rumely. Equidistribution of small points, rational dynamics, and potential theory. Universit\' e de Grenoble. Annales de l'Institut Fourier. 56 (2006), no. 3, 625--688
work page 2006
-
[11]
A. Chamber-Loir. Mesures et \' e quidistribution sur les espaces de B erkovich . Journal f\" u r die Reine und Angewandte Mathematik. [Crelle'sJournal]. 595 (2006), 215--235
work page 2006
-
[12]
A. Chambert-Loir. Heights and measures on analytic spaces. A survey of recent results, and some remarks . In: Motivic integration and its interactions with model theory and non- A rchimedean geometry. V olume II . London Math. Soc. Lecture Note Ser. 384, 1--50. Cambridge Univ. Press, Cambridge, 2011
work page 2011
-
[13]
J. P. Demailly, Complex Analytic and Differential Geometry. Version of June 21, (2012)
work page 2012
-
[14]
L. G. DeMarco, Bifurcations, intersections, and heights. Algebra Number Theory 10 (2016), no. 5, 1031--1056
work page 2016
-
[15]
L. DeMarco. Dynamical moduli spaces and elliptic curves. Annales de la Facult\' e des Sciences de Toulouse. Math\' e matiques. S\' e rie 6. 27 (2018), no. 2, 389--420
work page 2018
-
[16]
L. DeMarco. Critical orbits and arithmetic equidistribution. Proceedings of the I nternational C ongress of M athematicians--- R io de J aneiro 2018. V ol. III . I nvited lectures. World Sci. Publ., Hackensack, NJ., 2018, 1867--1886
work page 2018
-
[17]
R. Dujardin and C. Favre. Distribution of rational maps with a preperiodic critical point. American Journal of Mathematics. 130 (2008), no. 4, 979--1032
work page 2008
-
[18]
R. Dujardin, C. Favre and M. Ruggiero. Polynomial skew products with small relative degree. Preprint at arxiv:2507.09197 https://arxiv.org/abs/2507.09197
-
[19]
R. Dujardin and C. Favre. The dynamical M anin- M umford problem for plane polynomial automorphisms . Journal of the European Mathematical Society (JEMS). 19 (2017), no. 11, 3421--3465
work page 2017
-
[20]
A. Douady and J. H. Hubbard. A proof of T hurston's topological characterization of rational functions . Acta Mathematica. 171 (1993), no. 2, 263--297
work page 1993
-
[21]
L. DeMarco, N. M. Mavraki. Variation of canonical height and equidistribution. American Journal of Mathematics. 142 (2020), no. 2, 443--473
work page 2020
-
[22]
L. DeMarco and N. M. Mavraki. The geometry of preperiodic points in families of maps on P ^N . Preprint arXiv:2407.10894 https://arxiv.org/abs/2407.10894 (2024)
-
[23]
L. DeMarco and N. M. Mavraki, Geometry of PCF parameters in spaces of quadratic polynomials, Algebra Number Theory 19 (2025), no. 11, 2163--2183
work page 2025
-
[24]
L. DeMarco, X. Wang and X. Ye. Torsion points and the L att\`es family . American Journal of Mathematics. 138 (2016), no. 3, 697--732
work page 2016
-
[25]
N. Fakhruddin. Questions on self maps of algebraic varieties. J. Ramanujan Math. Soc. 18 (2003), no. 2, 109--122
work page 2003
-
[26]
C. Favre and T. Gauthier. Classification of special curves in the space of cubic polynomials. International Mathematics Research Notices. IMRN. (2018), no. 2, 362--411
work page 2018
-
[27]
C. Favre and T. Gauthier. The arithmetic of polynomial dynamical pairs. Annals of Mathematics Studies. Vol. 214. Princeton University Press, Princeton, NJ, 2022
work page 2022
-
[28]
C. Favre and J. Rivera-Letelier. \' E quidistribution quantitative des points de petite hauteur sur la droite projective . Mathematische Annalen. 335 (2006), no. 2, 311--361
work page 2006
-
[29]
J. E. Forn ss and N. Sibony. Oka's inequality for currents and applications. Mathematische Annalen. 301 (1995), no. 3, 399--419
work page 1995
- [30]
- [31]
-
[32]
D. Ghioca, L.-C. Hsia, and T. J. Tucker. Preperiodic points for families of polynomials. Algebra & Number Theory. 7 (2013), no. 3, 701--732
work page 2013
-
[33]
D. Ghioca, L.-C. Hsia, and T. J. Tucker. Preperiodic points for families of rational maps. Proceedings of the London Mathematical Society. Third Series. 110 (2015), no. 2, 395--427
work page 2015
-
[34]
D. Ghioca, L.-C. Hsia, and T. J. Tucker. Unlikely intersection for two-parameter families of polynomials. International Mathematics Research Notices. IMRN. 110 (2016), no. 24,7589--7618
work page 2016
- [35]
- [36]
- [37]
-
[38]
D. Ghioca and H. Ye. A dynamical variant of the A ndr\' e - O ort conjecture . International Mathematics Research Notices. IMRN. (2018), no. 8, 2447--2480
work page 2018
-
[39]
L.-C. Hsia and S. Kawaguchi. Heights and periodic points for one-parameter families of H e non maps . Preprint arXiv:1810.03841 https://arxiv.org/abs/1810.03841 (2018)
-
[40]
P. Ingram. Variation of the canonical height for a family of polynomials. Journal f\" u r die Reine und Angewandte Mathematik. [Crelle's Journal]. 685 (2013), 73--97
work page 2013
-
[41]
P. Ingram. Canonical heights for H \' e non maps . Proceedings of the London Mathematical Society. Third Series. 108 (2014), no. 3, 780--808
work page 2014
-
[42]
P. Ingram. Variation of the canonical height for polynomials in several variables. International Mathematics Research Notices. IMRN. (2015), no. 24, 13545--13562
work page 2015
-
[43]
Ji, Non-wandering Fatou components for strongly attracting polynomial skew products
Z. Ji, Non-wandering Fatou components for strongly attracting polynomial skew products. J. Geom. Anal. 30 (2020), no. 1, 124--152
work page 2020
-
[44]
Ji, Non-uniform hyperbolicity in polynomial skew products
Z. Ji, Non-uniform hyperbolicity in polynomial skew products. Int. Math. Res. Not. IMRN 2023 , no. 10, 8755--8799
work page 2023
-
[45]
M. Jonsson. Dynamics of polynomial skew products on C^2 . Mathematische Annalen. 314 (1999), no. 3, 403--447
work page 1999
- [46]
-
[47]
N. M. Mavraki and H. Schmidt. On the dynamical Bogomolov conjecture for families of split rational maps. Duke Math. J. 174 (2025), no. 5, 803--856
work page 2025
-
[48]
D. Masser and U. Zannier. Torsion anomalous points and families of elliptic curves. Comptes Rendus Math\' e matique. Acad\' e mie des Sciences. Paris. 346 (2008), no. 9-10, 491--494
work page 2008
-
[49]
D. Masser and U. Zannier. Torsion anomalous points and families of elliptic curves. American Journal of Mathematics. 132 (2010), no. 6, 1677--1691
work page 2010
-
[50]
D. Masser and U. Zannier. Torsion points on families of squares of elliptic curves. Mathematische Annalen. 352 (2012), no. 2, 453--484
work page 2012
-
[52]
J. H. Silverman. Heights and the specialization map for families of abelian varieties. Journal f\" u r die Reine und Angewandte Mathematik. [Crelle's Journal]. 342 (1983), 197--211
work page 1983
-
[53]
C. Noytaptim and X. Zhong. Towards common zeros of iterated morphisms. Preprint at arxiv:2412.15141 https://arxiv.org/abs/2412.15141 (2024)
-
[54]
J. H. Silverman. Moduli spaces and arithmetic dynamics (CRM Monograph Series). 30. Amer. Math. Soc., Providence, RI, 2012
work page 2012
-
[55]
J. Tate. Variation of the canonical height of a point depending on a parameter. American Journal of Mathematics. 105 (1983), no. 1, 287--294
work page 1983
-
[56]
K. Ueno. Polynomial skew products whose Julia sets have infinitely many symmetries. Kyoto J. Math. 60 (2020), no. 2, 451--471
work page 2020
-
[57]
J. Xie, Algebraicity criteria, invariant subvarieties and transcendence problems from arithmetic dynamics, Peking Math. J. 7 (2024), no. 1, 345--398
work page 2024
-
[58]
X. Yuan. Big line bundles over arithmetic varieties. Inventiones Mathematicae. 178 (2008), no. 3, 603--649
work page 2008
-
[59]
X. Yuan. Algebraic dynamics, canonical heights and A rakelov geometry . Fifth I nternational C ongress of C hinese M athematicians. P art 1, 2 (AMS/IP Stud. Adv. Math., 51, pt. 1). 2, no. 3, 893--929. Amer. Math. Soc., Providence, RI, 2012
work page 2012
-
[60]
X. Yuan and S.-W. Zhang. The arithmetic H odge index theorem for adelic line bundles . Mathematische Annalen. 367 (2017), no. 3--4, 1123--1171
work page 2017
-
[61]
X. Yuan and S. W. Zhang. Adelic line bundles on quasi-projective varieties. Princeton University Press, Princeton, NJ, 2026
work page 2026
-
[62]
U. Zannier. Some problems of unlikely intersections in arithmetic and geometry with appendixes by David Masser. 181. Princeton University Press, Princeton, NJ, 2012
work page 2012
-
[63]
S.-W. Zhang. Small points and adelic metrics. Journal of Algebraic Geometry. 4 (1995), no. 2, 281--300
work page 1995
- [64]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.