The strengthened Zariski dense orbit conjecture for birational maps of dynamical degree one

About 4 years old · traced to

Let XX be a smooth projective variety defined over an algebraically closed field KK of characteristic 00, and let ϕ:X⇢X\phi:X\dashrightarrow X be a birational self-map. Its first dynamical degree is λ1(ϕ)=lim⁡n→∞((ϕn)∗L⋅Ld−1)1/n\lambda_1(\phi)=\lim_{n\to\infty}((\phi^n)^*\mathcal{L}\cdot\mathcal{L}^{d-1})^{1/n} for an ample line bundle L\mathcal{L} on XX, where d=dim⁡Xd=\dim X. A subvariety Y⊂XY\subset X is invariant under ϕ\phi if ϕ∣Y\phi|_Y induces a dominant rational self-map of YY. The strengthened Zariski dense orbit conjecture. If λ1(ϕ)=1\lambda_1(\phi)=1, exactly one of the following holds: there exists a non-constant rational function f:X⇢P1f:X\dashrightarrow\mathbb{P}^1 such that f∘ϕ=ff\circ\phi=f, or there exists a proper subvariety Y⊂XY\subset X containing every proper invariant subvariety Z⊂XZ\subset X. This strengthens the usual Zariski dense orbit conjecture by replacing the existence of a dense orbit with a common proper container for all proper invariant subvarieties; the source presents it as open.

References

Primary source

Jason Bell and Dragos Ghioca, “A conjecture strengthening the Zariski dense orbit problem for birational maps of dynamical degree one”, arXiv:2202.06364 (2022).

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.