---
title: Dynamical Degree Comparison Conjecture
url: https://www.emergentmind.com/topics/dynamical-degree-comparison-conjecture
type: topic
---

# Dynamical Degree Comparison Conjecture

The Dynamical Degree Comparison Conjecture most commonly denotes the Kawaguchi–Silverman prediction that, for a dominant rational self-map of a smooth projective variety over \(\overline{\mathbf Q}\), the arithmetic degree of a point with Zariski-dense forward orbit equals the first dynamical degree of the map. In the literature, the same label is also used for a comparison between cohomological and numerical dynamical degrees, and, in the affine-space setting of Dang–Favre, for the assertion that the first dynamical degree is an algebraic integer of bounded degree. These formulations are distinct, but all compare asymptotic growth rates arising from iteration and all treat dynamical degree as the geometric benchmark against which other invariants are measured [1501.04205][1611.01124][2509.14584].

## 1. Basic invariants and the arithmetic–geometric comparison

For a smooth projective variety \(X\) of dimension \(d\), a dominant rational map
\[
f\colon X\dashrightarrow X,
\]
and an ample divisor \(H\), the first dynamical degree is defined by
\[
\delta(f)=\lim_{n\to\infty}\bigl((f^n)^*H\cdot H^{d-1}\bigr)^{1/n}.
\]
The limit exists, is independent of the choice of \(H\), and is a birational invariant. It measures the exponential growth of pull-backs of ample classes and hence the geometric complexity of iteration [1501.04205].

On the arithmetic side, if \(h_H\) is a Weil height associated to \(H\) and \(P\) has well-defined forward orbit, one considers
\[
\overline\alpha_f(P)=\limsup_{n\to\infty} h_H\bigl(f^n(P)\bigr)^{1/n},\qquad
\underline\alpha_f(P)=\liminf_{n\to\infty} h_H\bigl(f^n(P)\bigr)^{1/n}.
\]
When these agree, the common value
\[
\alpha_f(P)=\lim_{n\to\infty} h_H\bigl(f^n(P)\bigr)^{1/n}
\]
is the arithmetic degree. Early formulations on global fields emphasized the upper arithmetic degree and proved the fundamental inequality
\[
\overline\alpha_f(P)\le d_f,
\]
together with a uniform height-growth estimate
\[
\hat h_X\bigl(f^n(P)\bigr)\le C(d_f+\varepsilon)^n\hat h_X(P),
\]
where \(C\) depends on \(X\), the height, the map, and \(\varepsilon>0\) [1208.0815].

The guiding principle is that \(\delta(f)\) measures the maximal geometric rate available to the system, while \(\alpha_f(P)\) measures the rate actually realized along a single orbit. The conjectural equality for dense orbits asserts that arithmetic complexity reaches geometric complexity whenever the orbit is sufficiently generic.

## 2. The Kawaguchi–Silverman formulation

In its standard form, the Kawaguchi–Silverman Conjecture states that if \(X\) is a smooth projective variety, \(f\colon X\dashrightarrow X\) is dominant, and \(P\) has Zariski-dense forward orbit, then
\[
\alpha_f(P)=\delta_f.
\]
Many formulations also include the existence of the limit \(\alpha_f(P)\), its algebraicity, and finiteness of the set of all arithmetic degrees arising from \(f\) [1701.04369][1208.0815].

An early projective-space version, formulated for dominant rational self-maps
\[
F\colon \mathbf P^N\dashrightarrow \mathbf P^N,
\]
predicted that the set
\[
\{a_F(P):P\in \mathbf P^N(\mathbf Q)^+\}
\]
is a finite set of algebraic integers and that \(a_F(P)=d_F\) whenever the orbit of \(P\) is Zariski dense. The same work introduced a canonical height
\[
\hat h_F(P)=\limsup_{n\to\infty}\frac{h(F^n(P))}{d_F^n n^{\ell_F}},
\]
with \(\hat h_F(P)>0\Rightarrow a_F(P)=d_F\) [1111.5664].

The conjecture has also been extended from points to higher-dimensional cycles. For a codimension-\(p\) subvariety \(V\subset X\), one defines a \(p\)-th arithmetic degree \(\alpha_p(f;V)\) using arithmetic intersections on the graphs of iterates, and one compares it with the \(p\)-th dynamical degree
\[
\lambda_p(f)=\lim_{n\to\infty}\deg_p(f^n)^{1/n}.
\]
The higher Kawaguchi–Silverman Conjecture predicts that if the forward orbit of \(V\) is Zariski dense in \(X\), then
\[
\alpha_p(f;V)=\alpha_p(f),
\]
while a related product-formula conjecture predicts
\[
\alpha_p(f)=\max\{\lambda_p(f),\lambda_{p-1}(f)\}.
\]
In particular, the case \(p=1\) recovers the original pointwise conjecture [1906.11188].

## 3. Proven cases and principal techniques

Substantial classes of maps are now known to satisfy the arithmetic version of the comparison conjecture.

| Setting | Statement | Source |
|---|---|---|
| Morphisms with \(\operatorname{NS}(X)_\mathbf R\cong\mathbf R\); regular affine automorphisms; positive-entropy surface automorphisms; monomial maps | Full conjecture verified in the forms listed as Conjecture 1 (a–c–d–e) | [1212.3015] |
| Abelian varieties | If \(\phi\colon A\dashrightarrow A\) and \(P\) has Zariski-dense orbit, then \(\alpha(\phi,P)=\delta(\phi)\) | [1501.04205] |
| Surjective endomorphisms on smooth projective surfaces | For every \(P\), the limit \(\alpha_f(P)\) exists; for dense orbit, \(\alpha_f(P)=\delta_f\) | [1701.04369] |
| Product varieties under splitting hypotheses | For dense-orbit points, \(\alpha_f(P)=\delta_f\); if one factor is of general type, no dense orbit exists | [1604.04174] |

The techniques vary with the geometry of the underlying variety. Canonical heights attached to eigendivisors are central when \(f^*D\) scales a nef or ample class. A general nef-height construction applies to morphisms \(f\colon X\to X\) when
\[
f^*D\equiv_{\rm alg} B D,\qquad B>\sqrt{d_f},
\]
yielding a canonical height \(\hat h_{D,f}\) with \(\hat h_{D,f}(P)\neq 0\Rightarrow \alpha_f(P)\ge B\), and therefore \(\alpha_f(P)=d_f\) when \(B=d_f\) [1208.0815].

In affine and surface settings, the arguments also use weak lower canonical heights, \(p\)-adic neighborhoods of periodic points at infinity, and classification-theoretic input. For surfaces, a Perron–Frobenius argument furnishes a nef \(\mathbf R\)-divisor \(D\neq 0\) satisfying
\[
f^*D=\delta_f D,
\]
and the proof is then organized by the Enriques–Kodaira classification, with separate analyses for Kodaira dimensions \(-\infty\), \(0\), \(1\), and \(2\) [1701.04369].

## 4. The abelian-variety theorem as a model case

For abelian varieties, the comparison conjecture admits a particularly explicit structure theorem. If \(A\) is an abelian variety and
\[
\phi\colon A\dashrightarrow A
\]
is dominant, then \(\phi\) is in fact a morphism and decomposes uniquely as
\[
\phi=T_Q\circ f,
\]
where \(f\colon A\to A\) is an isogeny and \(T_Q\) is translation by a point \(Q\in A(K)\). Silverman proved that if \(P\in A(K)\) has Zariski-dense forward orbit, then
\[
\alpha(\phi,P)=\delta(\phi)
\]
[1501.04205].

The proof begins by factoring the minimal polynomial of the isogeny \(f\) as
\[
F=F_1F_2,\qquad F_1(X)=(X-1)^r,\qquad F_2(1)\ne 0.
\]
From this one defines sub-abelian varieties
\[
A_1=F_1(f)(A),\qquad A_2=F_2(f)(A).
\]
A resultant argument yields \(A=A_1+A_2\) and shows that \(A_1\cap A_2\) is finite, so the addition map
\[
\Psi\colon A_1\times A_2\to A
\]
is an isogeny. The original map lifts to a product map
\[
\Phi=\Phi_1\times \Phi_2
\]
on \(A_1\times A_2\), and one then applies invariance of \(\delta\) and \(\alpha\) under finite covers together with the product formulas
\[
\delta(\phi_Y\times\phi_Z)=\max\{\delta(\phi_Y),\delta(\phi_Z)\},
\qquad
\alpha(\phi_Y\times\phi_Z,(y,z))=\max\{\alpha(\phi_Y,y),\alpha(\phi_Z,z)\}.
\]

The two factors are treated differently. On \(A_1\), one shows that \(Q_1\in (f_1-1)(A_1)\), so \(\Phi_1\) is conjugate by translation to the pure isogeny \(f_1\). On \(A_2\), the unipotent relation \((f_2-1)^r=0\) leads to
\[
\delta(\Phi_2)=1,\qquad \alpha(\Phi_2,P_2)=1.
\]
The combination yields the desired equality on \(A\).

The examples in the same work illustrate the mechanism sharply. For multiplication-by-\(m\),
\[
\phi=[m],\qquad m\ge 2,
\]
one has
\[
\delta(\phi)=m^2,\qquad \alpha(\phi,P)=m^2
\]
for points \(P\) of infinite order. If \(Q\) is torsion, the translated map \(T_Q\circ [m]\) has the same values. If \((f-\mathrm{id})^r=0\), then the translated unipotent case satisfies
\[
\delta(T_Q\circ f)=1,\qquad \alpha(T_Q\circ f,P)=1.
\]

## 5. Higher arithmetic degrees and dense-orbit applications

The higher-dimensional generalization replaces points by cycles and the first dynamical degree by the full sequence \(\lambda_p(f)\). For the graph \(\Gamma_{f^n}\subset X\times X\), one defines
\[
\deg_p(f^n)=\bigl(\pi_{2,n}^*H^p\cdot \pi_{1,n}^*H^{d-p}\bigr),
\qquad
\lambda_p(f)=\lim_{n\to\infty}\deg_p(f^n)^{1/n},
\]
and for a codimension-\(p\) subvariety \(V\subset X\), the arithmetic intersections
\[
\adeg_p(f^n;V)
\]
lead to
\[
\alpha_p(f;V)=\limsup_{n\to\infty}\adeg_p(f^n;V)^{1/n}.
\]
The theory parallels the usual dynamical-degree formalism: it includes birational symmetry, submultiplicativity in degree \(1\), and an arithmetic log-concavity
\[
\alpha_p(f)^2\ge \alpha_{p-1}(f)\alpha_{p+1}(f).
\]
A lower-bound theorem gives
\[
\alpha_p(f)\ge \max\{\lambda_p(f),\lambda_{p-1}(f)\},
\]
and equality is known in several special cases, including birational surface maps and polarized endomorphisms [1906.11188].

A different direction is approximation rather than exact comparison. For a dominant rational self-map of a quasi-projective variety over \(\overline{\mathbf Q}\), Matsuzawa–Xie proved that for every \(\varepsilon>0\), the set of points \(x\) such that \(\alpha_f(x)\) exists and
\[
\alpha_f(x)\ge \lambda_1(f)-\varepsilon
\]
is Zariski dense; in fact it is dense in the adelic topology. They then applied this to the Zariski dense orbit conjecture: if \(f\) is a birational map on a threefold and
\[
\lambda_1(f)>\lambda_3(f),
\]
then, assuming there is no non-constant invariant rational function, \(f\) admits a point with Zariski-dense orbit. In particular, this holds for birational maps on threefolds with first dynamical degree larger than \(1\) [2409.06160].

This shifts the comparison problem from an equality for a prescribed dense orbit to a broader principle: near-maximal arithmetic growth can be produced densely, and spectral gaps among dynamical degrees can force orbit denseness.

## 6. Cohomological, family-theoretic, and affine-space variants

A second major usage of the term concerns the comparison between pull-back on \(\ell\)-adic cohomology and pull-back on numerical cycle classes. For a dominant regular morphism \(f\colon X\to X\) on a smooth projective variety over an algebraically closed field, one defines
\[
\chi_i(f)=\rho\bigl(f^*|_{H^i(X,\mathbf Q_\ell)}\bigr),\qquad
\lambda_i(f)=\rho\bigl(f^*|_{N^i_\mathbf R(X)}\bigr).
\]
The corresponding Dynamical Degree Comparison Conjecture asks for
\[
\chi_i(f)=\lambda_i(f)
\]
for all \(i\). Truong proved this equality for dominant regular morphisms, and therefore also \(\chi(f)=\lambda(f)\). In positive characteristic, the statement follows under the weaker assumption that either \(K=\overline{\mathbf F}_p\) or the Fundamental Conjecture \(D\) holds for \(X\times X\) [1611.01124].

Hu–Truong developed a further framework around a quantitative Lefschetz-type conjecture \(G_r\). In their approach, \(G_r\) implies trace-degree bounds and, together with the standard conjecture \(D\), yields a norm comparison conjecture whose consequences include the cohomological–numerical DDC and a generalized semisimplicity conjecture for polarized endomorphisms. They obtained applications to abelian varieties and Kummer surfaces, and also proved a comparison result for effective finite correspondences of abelian varieties [2102.04405]. In a related direction, Hu–Truong–Xie proved under Standard Conjecture \(D\) a weaker form of DDC via log-concave envelopes, together with uniform bounds on Jordan-block sizes for polarized endomorphisms over \(\overline{\mathbf F}_q\) [2503.09432]. For abelian varieties, the equality \(\chi_{2k}(f)=\lambda_k(f)\) was also proved directly, together with a parity result on eigenvalues in prime characteristic [1909.12296].

There is also a family-theoretic comparison problem. For a one-parameter family \(f_T\) of dominant rational maps on \(\mathbf P^N\), Silverman–Call conjectured that for every \(\varepsilon>0\), the set
\[
S_\varepsilon=\{t\in T(\mathbf C):\delta(f_t)\le \delta(f_T)-\varepsilon\}
\]
is finite. They proved that a uniform degree-ratio bound, formulated as Conjecture 8, implies this finiteness, established that conjecture for monomial maps, and exhibited both positive and negative examples for related two-family questions [1609.02119].

Finally, in the notation of Dang–Favre, the expression “Dynamical Degree Comparison Conjecture” also refers to the affine-space assertion that for
\[
f\in \mathrm{End}(\mathbb A^n_k),
\]
the first dynamical degree
\[
\lambda(f)=\lim_{r\to\infty}(\deg(f^r))^{1/r}
\]
is an algebraic integer of degree at most \(n\). In dimension four, this has been proved for affine-triangular automorphisms, and, when \(\operatorname{char}(k)\neq 2\), for quadratic automorphisms up to affine conjugacy. The same work gives additional results for permutation-elementary maps and two special quadratic maps in dimension five [2509.14584].

Across these variants, several open directions recur: extending the arithmetic comparison to arbitrary rational self-maps on general smooth projective varieties beyond group varieties; treating semi-abelian varieties, holomorphic endomorphisms of Calabi–Yau manifolds, or rational maps on moduli spaces; proving the degree-ratio criterion beyond monomial maps in families; clarifying “geometric independence” for exceptional sets; and extending the affine-space algebraicity statement to higher dimensions under mild hypotheses [1501.04205][1609.02119][2509.14584].

Source: https://www.emergentmind.com/topics/dynamical-degree-comparison-conjecture