---
title: Relative Dynamical Manin–Mumford Conjecture
url: https://www.emergentmind.com/topics/relative-dynamical-manin-mumford-conjecture
type: topic
---

# Relative Dynamical Manin–Mumford Conjecture

Relative Dynamical Manin–Mumford Conjecture denotes a class of problems in arithmetic and complex dynamics that seek a geometric characterization of subvarieties carrying a Zariski-dense set of dynamically special points. In its modern family-theoretic form, the conjecture concerns an algebraic family of endomorphisms \(\Phi:S\times \mathbb{P}^N\to S\times \mathbb{P}^N\), \(\Phi(s,z)=(s,f_s(z))\), and predicts that an irreducible subvariety \(X\subset S\times \mathbb{P}^N\) flat over \(S\) contains a Zariski-dense set of \(\Phi\)-preperiodic points if and only if a distinguished wedge power of the relative Green current does not vanish on \(X\) [2407.10894]. Closely related relative statements appear in toric dynamics, affine polynomial automorphisms, polynomial dynamics on \(\mathbb{P}^1\times \mathbb{P}^1\), and \(p\)-adic Frobenius-lift settings, where “specialness” is expressed respectively through quotient tori, reversibility, diagonal-preimage relations, or periodicity under Frobenius lifts [1704.02661] [1405.1377] [2009.07609] [1602.04253].

## 1. Family-theoretic conjectural framework

The formulation developed for families on \(S\times \mathbb{P}^N\) begins with the fiberwise preperiodic locus
\[
\operatorname{PrePer}(\Phi)=\{(s,x)\in S\times \mathbb{P}^N : x \text{ is preperiodic for } f_s\},
\]
where \(x\) is preperiodic if \(f_s^n(x)=f_s^m(x)\) for some \(m<n\). The family carries a relative invariant Green current
\[
T_\Phi=\lim_{n\to\infty} d^{-n}(\Phi^n)^*\omega,
\]
with \(\omega=\operatorname{pr}_2^*(\omega_{FS})\). Fiberwise, the slice of \(T_\Phi\) at \(s\) is the usual Green current \(T_{f_s}\) of the map \(f_s\) [2407.10894].

The conjecture is not stated merely in terms of preperiodicity of \(X\) itself. Instead it uses the notion of a \(\Phi\)-special subvariety. An irreducible \(Y\subset S\times \mathbb{P}^N\) is \(\Phi\)-special if, over the function field \(\mathbb{C}(S)\), it is contained in a subvariety \(Z\) carrying a polarizable endomorphism \(\Psi:Z\to Z\) that commutes with an iterate of \(\Phi\), and \(Y\) is preperiodic under \(\Psi\). The associated relative special dimension is
\[
r_{\Phi,X}=\min\{\dim_S Y : X\subset Y,\ Y \text{ is } \Phi\text{-special}\},
\]
where \(\dim_S Y=\dim(Y)-\dim(S)\) is the generic fiber dimension [2407.10894].

The Relative Dynamical Manin–Mumford Conjecture, in the sense used by DeMarco–Mavraki and by subsequent work, asserts the equivalence
\[
X \text{ contains a Zariski-dense set of } \Phi\text{-preperiodic points}
\]
and
\[
T_\Phi^{\wedge r_{\Phi,X}}\wedge [X]\neq 0.
\]
Equivalently, if one defines
\[
\operatorname{rank}_\Phi(X)=\max\{r\ge 0 : T_\Phi^{\wedge r}\wedge [X]\neq 0\},
\]
then the conjecture becomes \(\operatorname{rank}_\Phi(X)=r_{\Phi,X}\) [2407.10894]. A structural subtlety, emphasized in the formulation itself, is that intersections of \(\Phi\)-special subvarieties need not be \(\Phi\)-special, so there need not be a unique minimal special subvariety containing \(X\).

## 2. Relation to classical Manin–Mumford and fixed-map dynamical Manin–Mumford

The conjecture is designed to recover classical and fixed-map statements as special cases. When \(S\) is a point, it reduces to the Dynamical Manin–Mumford problem for a single polarized endomorphism of \(\mathbb{P}^N\). In that setting, \(r_{\Phi,X}\) is the minimal dimension of a special subvariety containing \(X\), and the current-theoretic condition becomes the statement that \(X\) itself is special. Thus the family-theoretic formulation specializes to Zhang’s dynamical Manin–Mumford problem for fixed maps [2407.10894].

For abelian families, the same formalism recovers Relative Manin–Mumford. If \(\Phi\) is induced by multiplication \([M]\) on an abelian scheme \(A\to S\), the restriction of \(T_\Phi\) is the Betti form \(\omega_{A,\ell}\), satisfying \([M]^*\omega_{A,\ell}=M^2\omega_{A,\ell}\). In this case \(\operatorname{rank}_{Betti}(X)=2\operatorname{rank}_\Phi(X)\), and \(r_{\Phi,X}\) equals the relative dimension \(g\) of the abelian scheme, so the condition \(T_\Phi^{\wedge g}\wedge [X]\neq 0\) is exactly the maximal Betti-rank condition appearing in Gao–Habegger’s relative Manin–Mumford theorem [2407.10894].

At the opposite extreme, generic endomorphisms of \(\mathbb{P}^n\) exhibit maximal rigidity. For a generic endomorphism \(f:\mathbb{P}^n\to \mathbb{P}^n\) of degree \(d>1\), there are no positive-dimensional proper preperiodic subvarieties, any infinite set of preperiodic points is Zariski dense in \(\mathbb{P}^n\), and any infinite subset of a single orbit is Zariski dense as well [1211.7198]. In such a regime, any relative statement over a family whose very general fibers are generic collapses to the conclusion that a fiber containing a Zariski-dense set of preperiodic points must be the whole fiber.

## 3. Established implications and verified model cases

The most general theorem presently available in the family-theoretic framework is the implication from Green-current nonvanishing to density of preperiodic points. If \(X\subset S\times \mathbb{P}^N\) is irreducible and flat over \(S\), and
\[
T_\Phi^{\wedge r_{\Phi,X}}\wedge [X]\neq 0,
\]
then \(\operatorname{PrePer}(\Phi)\cap X\) is Zariski dense in \(X\) [2407.10894]. The proof passes through a \(\Phi\)-special container \(Y\) of relative dimension \(r_{\Phi,X}\), identifies \(T_\Phi|_Y\) with the invariant current of a commuting polarizable map, uses fiberwise measures of maximal entropy, and then applies hyperbolic sets, holomorphic motions, uniformly laminar currents, and Dujardin’s forced-intersection method to produce Zariski-dense repelling cycles and hence preperiodic points [2407.10894].

The converse direction is known in full for \(N=1\) and for abelian families, but remains open in higher dimension \(N\ge 2\) [2407.10894]. In dimension one, the conjecture is identified with the dichotomy between persistent preperiodicity and dynamical instability of a marked point; in the abelian setting it is equivalent to maximal Betti rank [2407.10894].

A fixed-map verification in dimension two is provided for regular polynomial endomorphisms on \(\mathbb{P}^2\). If \(F\) is a regular polynomial endomorphism of degree \(>1\) and \(Z\subset \mathcal{M}_d\) is a subvariety of the moduli space of effective divisors of degree \(d\) containing a Zariski-dense set of periodic curves under \(F\), then, after replacing \(F\) by an iterate, a generic curve \(C\) with \([C]\in Z\) satisfies \(\deg(C)=\deg(F(C))\), and \(Z\) is invariant under the induced endomorphism \(G=\psi^{-1}\circ F_*\) on the divisor moduli space [2508.13873]. This is explicitly described as a Dynamical Manin–Mumford type statement on the moduli space of divisors and as a weak verification of the relative conjecture for constant families in the case \(K=2\) [2508.13873].

Another verified model case occurs in the \(p\)-adic setting of lifts of Frobenius. For a lift of Frobenius \(F:\mathbb{P}^N_K\to \mathbb{P}^N_K\) over \(K=C_p\), if an irreducible subvariety \(V\) contains a Zariski-dense set of periodic points, then \(V\) is periodic [1602.04253]. An embedding theorem then transfers this statement to polarized lifts of Frobenius on general projective varieties, producing a relative-over-\(O_K\) prototype in which “many periodic points” again force periodicity [1602.04253].

## 4. Toric and monomial relative formulations

A particularly explicit relative theorem is available for monomial maps on algebraic tori and toric varieties. For an integer matrix \(A\in M_N(\mathbb{Z})\), the associated monomial endomorphism on the torus \(T=(\mathbb{G}_m)^N\) is
\[
f_A(x_1,\dots,x_N)=\left(\prod_{j=1}^N x_j^{a_{1j}},\dots,\prod_{j=1}^N x_j^{a_{Nj}}\right).
\]
On a toric variety \(X(\Delta)\), it extends to a \(T\)-equivariant rational self-map \(\varphi_A:X(\Delta)\dashrightarrow X(\Delta)\), with well-defined locus
\[
X(\Delta)_{\varphi_A}=X(\widetilde{\Delta}_A),\qquad \widetilde{\Delta}_A=\bigcap_{k\ge 1}\Delta_{A^k},
\]
and orbit decomposition
\[
X(\Delta)_{\varphi_A}=\bigsqcup_{\sigma\in \widetilde{\Delta}_A} O_\sigma
\]
determined by the orbit–cone correspondence [1704.02661].

On each torus orbit \(O_\sigma\), the restriction is again monomial, and the preperiodic points take a uniform algebraic form:
\[
\operatorname{PrePer}(\varphi_A)\cap O_\sigma = G_\sigma^{\mathrm{div}},
\]
where \(G_\sigma\subset O_\sigma\) is a connected algebraic subgroup and \(G_\sigma^{\mathrm{div}}=G_\sigma\cdot T_{\mathrm{tor}}\) is its divisible hull [1704.02661]. This yields a stratumwise quotient map
\[
\pi_\sigma: O_\sigma\to O_\sigma/G_\sigma
\]
that transforms preperiodic points into torsion points in the quotient torus.

The resulting relative Dynamical Manin–Mumford statement is orbitwise. If \(Y\subset X(\Delta)_{\varphi_A}\) is a closed irreducible subvariety and \(\sigma\) is the unique cone such that \(Y\cap O_\sigma\) is Zariski dense in \(Y\), then preperiodic points are Zariski dense in \(Y\) if and only if
\[
\pi_\sigma(Y\cap O_\sigma)
\]
is a torsion translate of an algebraic subgroup of \(O_\sigma/G_\sigma\) [1704.02661]. When \(G_\sigma=\{1\}\), this reduces to Laurent’s theorem for torsion points on tori. The theorem is “relative” because the correct specialness condition is not imposed on \(Y\) itself but only after quotienting by the subgroup that captures the intrinsic preperiodic structure of the relevant toric stratum.

This toric theory is closely tied to arithmetic invariants. For monomial maps, the dynamical degrees satisfy \(\delta_p(f_A)=\rho(\wedge^p A)\), and the arithmetic degrees on toric varieties are exactly \(\{1,\rho(f_1),\dots,\rho(f_s)\}\), where the \(f_i\) are the irreducible factors of \(\det(A-tI)\) over \(\mathbb{Z}\) [1704.02661]. These height-growth results support the orbitwise classification but do not yield a general canonical-height characterization of preperiodicity, since the normalized canonical-height sequence may have infinitely many accumulation points [1704.02661].

## 5. Non-abelian relative phenomena

In non-abelian affine dynamics, the relative Dynamical Manin–Mumford problem can require a different notion of specialness. For a Hénon-type polynomial automorphism \(f\) of \(\mathbb{A}^2\), Dujardin and Favre formulate a relative problem for curves \(C\subset \mathbb{A}^2\) containing infinitely many periodic points. Their conjecture is that this occurs if and only if there exists an involution \(\sigma\) with \(\operatorname{Fix}(\sigma)=C\) and some \(n\ge 1\) such that
\[
\sigma\circ f^n\circ \sigma=f^{-n}.
\]
Thus specialness is expressed through time-reversal symmetry rather than preperiodicity of the curve itself [1405.1377].

The motivation for this shift is geometric: Bedford–Smillie proved that a Hénon-type automorphism admits no invariant algebraic curve, so the classical conclusion “\(C\) is preperiodic” is unavailable in the affine plane [1405.1377]. What is proved are strong necessary conditions. If a curve contains infinitely many periodic points, then \(\mathrm{Jac}(f)\) is algebraic and every Galois conjugate has modulus \(1\); under a transversality hypothesis, \(\mathrm{Jac}(f)\) is a root of unity [1405.1377]. Conversely, if there is an archimedean place \(v\) with \(|\mathrm{Jac}(f)|_v\neq 1\), then no curve contains infinitely many periodic points [1405.1377]. In this setting, the relative DMM phenomenon is therefore mediated by reversibility and Jacobian rigidity.

A different relative variant appears for polynomial dynamics on \(\mathbb{P}^1\times \mathbb{P}^1\), where one studies pairs of points belonging to the same small orbit or grand orbit of a base point \(\alpha\). For a non-exceptional polynomial \(f\) of degree \(d\ge 2\) and a non-preperiodic \(\alpha\), if a geometrically irreducible non-fibral curve \(C\subset \mathbb{A}^2\) satisfies \(C(\overline{\mathbb{Q}})\cap \mathcal{S}_\alpha^2\) infinite, then
\[
(f^{\circ n},f^{\circ n})(C)=\Delta
\]
for some \(n\ge 0\), where \(\Delta\) is the diagonal [2009.07609]. Under a \(v\)-adic escape condition and good reduction coprime to \(d\), the analogous grand-orbit statement becomes
\[
(f^{\circ n},f^{\circ m})(C)=\Delta
\]
for some \(n,m\ge 0\) [2009.07609]. Here the relative special subvarieties are precisely fibral curves and iterated preimages of the diagonal; for exceptional maps one must enlarge the classification to “stratified” curves coming from the underlying algebraic-group structure [2009.07609].

## 6. Techniques, limitations, and open directions

The subject is methodologically heterogeneous. In the family-theoretic formulation on \(S\times \mathbb{P}^N\), the central tools are Bedford–Taylor products, invariant Green currents, measures of maximal entropy, hyperbolic sets, holomorphic motions, and laminar-current intersection theory [2407.10894]. In the toric setting, the key inputs are orbit–cone correspondence, lattice quotients, spectral radii of exterior powers, and Laurent’s theorem on torsion translates [1704.02661]. In affine plane problems, equidistribution of small points, Green functions \(G_v^\pm\), Pesin theory, and non-archimedean renormalization dominate [1405.1377]. For Frobenius lifts, perfectoid inverse limits, tilting, and characteristic-\(p\) approximation replace complex-analytic methods [1602.04253].

Several limitations are explicit. The general conjectural equivalence
\[
X \text{ has dense } \Phi\text{-preperiodic points}\quad \Longleftrightarrow\quad T_\Phi^{\wedge r_{\Phi,X}}\wedge [X]\neq 0
\]
is proved only in the direction from current nonvanishing to density; the converse remains open for \(N\ge 2\) outside known cases such as \(N=1\) and abelian families [2407.10894]. The classification of \(\Phi\)-special subvarieties is intrinsically delicate because intersections of special loci need not remain special [2407.10894]. For families of regular polynomial endomorphisms on \(\mathbb{P}^2\), stronger degree-stabilization statements require additional hypotheses controlling the line at infinity and excluding certain critical-orbit coincidences [2508.13873]. In the affine plane, the full equivalence between infinitely many periodic points on a curve and time-reversal symmetry remains conjectural [1405.1377].

The accumulated evidence nevertheless points to a coherent principle. Across families on projective space, toric compactifications, affine polynomial automorphisms, and orbit-relative problems on \(\mathbb{P}^1\times \mathbb{P}^1\), dense sets of dynamically special points do not occur arbitrarily. They are forced by hidden geometric structure: maximal Green-current rank, quotient-torus torsion geometry, reversibility, diagonal-preimage relations, or Frobenius-type periodicity [2407.10894] [1704.02661] [1405.1377] [2009.07609] [1602.04253]. The Relative Dynamical Manin–Mumford Conjecture is the attempt to express this principle in a single invariant language for algebraic families of dynamical systems.

Source: https://www.emergentmind.com/topics/relative-dynamical-manin-mumford-conjecture