Zariski-dense orbit conjecture

Let kk be an algebraically closed field of characteristic 00. Let XX be an irreducible quasi-projective variety over kk, and let ff be a dominant rational self-map of XX. The condition that ff has no nonconstant invariant rational functions is

{gk(X):gf=g}=k,\{g\in k(X):g\circ f=g\}=k,

where k(X)k(X) is the function field of XX.

Zariski-dense orbit conjecture. There exists xX(k)x\in X(k) whose forward orbit under ff is well-defined and Zariski-dense in XX.

The source presents a proof of this conjecture for a general split polynomial endomorphism of (P1)2(\mathbb P^1)^2 whose factors all have the same degree d2d\geq2. The general statement supplied here is not resolved in the source, so its database status is open.

Sources & referencesView supporting material

Primary source

Geng-Rui Zhang, “On the multiplier spectrum of polynomials”, arXiv:2511.13437 (2026).

Additional references

8 papers in this index state this conjecture (2020–2025). The statement above is taken from the most recent of them; the others are arXiv:2409.06160, arXiv:2311.16369, arXiv:2309.07005, arXiv:2308.00289, arXiv:2307.12097, arXiv:2107.03559, arXiv:2005.03628.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.