pith. sign in

arxiv: 2604.04881 · v1 · submitted 2026-04-06 · 🧮 math.DS · math.AG· math.NT

Unlikely intersections in families of polynomial skew products

Pith reviewed 2026-05-10 19:21 UTC · model grok-4.3

classification 🧮 math.DS math.AGmath.NT
keywords polynomial skew productspreperiodic pointsunlikely intersectionsadelic heightspostcritically finitedynamical Manin-Mumfordmoduli space
0
0 comments X

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.

The paper 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 loci include families of homogeneous polynomial endomorphisms, split endomorphisms, and maps of the form (x squared, y squared plus b times x) up to conjugacy. It defines a good height for marked points using adelic line bundles and proves that the parameters where two marked points are both preperiodic form an infinite set exactly when the two heights are equal. This height is applied to show that infinite preperiodicity of one point implies the Zariski closure of its orbit lies in a proper subvariety under suitable degree conditions, giving a conditional verification of a relative dynamical Manin-Mumford conjecture.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. 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.
  2. 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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 3 axioms · 1 invented entities

The paper relies on standard background from algebraic geometry and arithmetic dynamics; the main addition is the construction of the good height from existing adelic theory rather than new axioms or entities.

axioms (3)
  • standard math Standard properties of heights arising from adelic line bundles on quasi-projective varieties
    Invoked to define the good height h_Pt used in the preperiodicity criterion
  • standard math Zariski topology and the notion of Zariski density in algebraic varieties
    Used to state that special loci contain a Zariski dense set of postcritically finite points
  • domain assumption Basic facts about preperiodic and postcritically finite points for polynomial endomorphisms
    Core background for the study of unlikely intersections in dynamical systems
invented entities (1)
  • good height h_Pt no independent evidence
    purpose: To provide an arithmetic measure of marked points in the family that detects simultaneous preperiodicity
    Constructed from the theory of adelic line bundles; no independent falsifiable prediction outside the paper is stated

pith-pipeline@v0.9.0 · 5666 in / 1751 out tokens · 65251 ms · 2026-05-10T19:21:06.091802+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

63 extracted references · 63 canonical work pages

  1. [1]

    Astorg and F

    M. Astorg and F. Bianchi. Higher bifurcations for polynomial skew products. Journal of Modern Dynamics. 18 (2022), 69--99

  2. [2]

    Astorg and F

    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

  3. [3]

    E. Artin. Algebraic numbers and algebraic functions. (Reprint of the 1967 original). AMS Chelsea Publishing, Providence, RI, 2006

  4. [4]

    Astorg et al

    M. Astorg et al.. A two-dimensional polynomial mapping with a wandering Fatou component. Ann. of Math. (2) 184 (2016), no. 1, 263--313

  5. [5]

    Baker and L

    M. Baker and L. DeMarco. Preperiodic points and unlikely intersections. Duke Mathematical Journal. 159 (2011), no. 1, 1--29

  6. [6]

    Baker and L

    M. Baker and L. DeMarco. Special curves and postcritically finite polynomials. Forum of Mathematics. Pi. 1 (2013), e3, 35

  7. [7]

    Benedetto, P

    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

  8. [8]

    Chambert-Loir

    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

  9. [9]

    Bombieri and Walter Gubler

    E. Bombieri and Walter Gubler. Heights in D iophantine geometry . New Mathematical Monographs, Vol. 4. Cambridge University Press, Cambridge, 2006

  10. [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

  11. [11]

    Chamber-Loir

    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

  12. [12]

    Chambert-Loir

    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

  13. [13]

    J. P. Demailly, Complex Analytic and Differential Geometry. Version of June 21, (2012)

  14. [14]

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

  15. [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

  16. [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

  17. [17]

    Dujardin and C

    R. Dujardin and C. Favre. Distribution of rational maps with a preperiodic critical point. American Journal of Mathematics. 130 (2008), no. 4, 979--1032

  18. [18]

    Dujardin, C

    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. [19]

    Dujardin and C

    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

  20. [20]

    Douady and J

    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

  21. [21]

    DeMarco, N

    L. DeMarco, N. M. Mavraki. Variation of canonical height and equidistribution. American Journal of Mathematics. 142 (2020), no. 2, 443--473

  22. [22]

    DeMarco and N

    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. [23]

    DeMarco and N

    L. DeMarco and N. M. Mavraki, Geometry of PCF parameters in spaces of quadratic polynomials, Algebra Number Theory 19 (2025), no. 11, 2163--2183

  24. [24]

    DeMarco, X

    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

  25. [25]

    Fakhruddin

    N. Fakhruddin. Questions on self maps of algebraic varieties. J. Ramanujan Math. Soc. 18 (2003), no. 2, 109--122

  26. [26]

    Favre and T

    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

  27. [27]

    Favre and T

    C. Favre and T. Gauthier. The arithmetic of polynomial dynamical pairs. Annals of Mathematics Studies. Vol. 214. Princeton University Press, Princeton, NJ, 2022

  28. [28]

    Favre and J

    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

  29. [29]

    J. E. Forn ss and N. Sibony. Oka's inequality for currents and applications. Mathematische Annalen. 301 (1995), no. 3, 399--419

  30. [30]

    Gauthier

    T. Gauthier. Dynamical pairs with an absolutely continuous bifurcation measure. Annales de la Facult\' e des Sciences de Toulouse. Math\' e matiques. S\' e rie 6. 32 (2023), no. 2, 203--230

  31. [31]

    Gao and P

    Z. Gao and P. Habegger. The Relative Manin-Mumford Conjecture, preprint at arxiv:2303.05045v2 https://arxiv.org/abs/2303.05045v2

  32. [32]

    Ghioca, L.-C

    D. Ghioca, L.-C. Hsia, and T. J. Tucker. Preperiodic points for families of polynomials. Algebra & Number Theory. 7 (2013), no. 3, 701--732

  33. [33]

    Ghioca, L.-C

    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

  34. [34]

    Ghioca, L.-C

    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

  35. [35]

    Ghioca, H

    D. Ghioca, H. Krieger, K.-D. Nguyen, and H. Ye. A case of the dynamical A ndr\' e - O ort conjecture . International Mathematics Research Notices. IMRN. (2016), no. 3, 738--758

  36. [36]

    Ghioca, H

    D. Ghioca, H. Krieger, K.-D. Nguyen, and H. Ye. The dynamical A ndr\' e - O ort conjecture: unicritical polynomials . Duke Mathematical Journal. 166 (2017), no. 1, 1--25

  37. [37]

    Ghioca, K

    D. Ghioca, K. D. Nguyen and H. Ye. The dynamical Manin-Mumford conjecture and the dynamical Bogomolov conjecture for split rational maps. J. Eur. Math. Soc. (JEMS) 21 (2019), no. 5, 1571--1594

  38. [38]

    Ghioca and H

    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

  39. [39]

    Hsia and S

    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. [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

  41. [41]

    P. Ingram. Canonical heights for H \' e non maps . Proceedings of the London Mathematical Society. Third Series. 108 (2014), no. 3, 780--808

  42. [42]

    P. Ingram. Variation of the canonical height for polynomials in several variables. International Mathematics Research Notices. IMRN. (2015), no. 24, 13545--13562

  43. [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

  44. [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

  45. [45]

    M. Jonsson. Dynamics of polynomial skew products on C^2 . Mathematische Annalen. 314 (1999), no. 3, 403--447

  46. [46]

    Ji and J

    Z. Ji and J. Xie. DAO for curves. Preprint arXiv:2302.02583 https://arxiv.org/abs/2302.02583 (2023)

  47. [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

  48. [48]

    Masser and U

    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

  49. [49]

    Masser and U

    D. Masser and U. Zannier. Torsion anomalous points and families of elliptic curves. American Journal of Mathematics. 132 (2010), no. 6, 1677--1691

  50. [50]

    Masser and U

    D. Masser and U. Zannier. Torsion points on families of squares of elliptic curves. Mathematische Annalen. 352 (2012), no. 2, 453--484

  51. [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

  52. [53]

    Noytaptim and X

    C. Noytaptim and X. Zhong. Towards common zeros of iterated morphisms. Preprint at arxiv:2412.15141 https://arxiv.org/abs/2412.15141 (2024)

  53. [54]

    J. H. Silverman. Moduli spaces and arithmetic dynamics (CRM Monograph Series). 30. Amer. Math. Soc., Providence, RI, 2012

  54. [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

  55. [56]

    K. Ueno. Polynomial skew products whose Julia sets have infinitely many symmetries. Kyoto J. Math. 60 (2020), no. 2, 451--471

  56. [57]

    Xie, Algebraicity criteria, invariant subvarieties and transcendence problems from arithmetic dynamics, Peking Math

    J. Xie, Algebraicity criteria, invariant subvarieties and transcendence problems from arithmetic dynamics, Peking Math. J. 7 (2024), no. 1, 345--398

  57. [58]

    X. Yuan. Big line bundles over arithmetic varieties. Inventiones Mathematicae. 178 (2008), no. 3, 603--649

  58. [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

  59. [60]

    Yuan and S.-W

    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

  60. [61]

    Yuan and S

    X. Yuan and S. W. Zhang. Adelic line bundles on quasi-projective varieties. Princeton University Press, Princeton, NJ, 2026

  61. [62]

    U. Zannier. Some problems of unlikely intersections in arithmetic and geometry with appendixes by David Masser. 181. Princeton University Press, Princeton, NJ, 2012

  62. [63]

    S.-W. Zhang. Small points and adelic metrics. Journal of Algebraic Geometry. 4 (1995), no. 2, 281--300

  63. [64]

    X. Zhong. Polynomial endomorphisms of ^2 with many periodic curves Preprint arXiv:2508.13873 https://arxiv.org/abs/2508.13873 (2025)