Analysis shows decidability of finite orbits in dynamical systems, indicating upper bounds for unramified morphisms.
We prove that for a dynamical system on an algebraic variety over Q̄ generated by finitely many unramified endomorphisms, it is decidable whether a given point has a finite orbit. This is achieved by establishing an effective upper bound for the size of finite orbits in integral algebraic dynamical systems with unramified morphisms.
No takes yet. Share an insight, caveat, or question.
Young Kyun Kim (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: