On the ordinary Hecke orbit conjecture

We prove the ordinary Hecke orbit conjecture for Shimura varieties of Hodge type at primes of good reduction. We make use of the global Serre–Tate coordinates of Chai as well as recent results of D’Addezio about the monodromy groups of isocrystals. The new ingredients in this paper are a general monodromy theorem for Hecke-stable subvarieties for Shimura varieties of Hodge type, and a rigidity result for the formal completions of ordinary Hecke orbits. Along the way, we show that classical Serre–Tate coordinates can be described using unipotent formal groups, generalising a result of Howe.