Suppose that $X$ is a smooth projective variety over $\mathbb C$ and $\phi : X \to X$ is an endomorphism. Let $p \in V$ be a point and $V \subset X$ a subvariety. The dynamical Mordell-lang conjecture predicts that the set of $n$ for which $\phi^n(p)$ lands in $V$ is the union of a finite set and finitely many arithmetic progressions. When $\phi$ is \'etale, the conjecture is a theorem of Bell--Ghioca--Tucker.
One can ask similar questions for other classes of maps, and there are some general results (I have in mind "The Dynamical Mordell--Lang Problem for Noetherian spaces", by the same authors).
I'm curious about the case of K\"ahler manifolds. Superficially this looks very similar to the case of projective varieties, but in the non-algebraic setting it appears that entirely different methods would be needed: the usual proof requires picking an arithmetic model and doing some $p$-adic analysis.
Has anyone thought about this, e.g. on non-projective K3s? Am I missing an easy counterexample?