The integral-model conjecture for Igusa stacks and Shimura varieties
Integral-model conjecture. The composition