The canonicity of the integral models of RSZ Shimura varieties

Abstract

We show that the integral models of Shimura varieties of Rapoport, Smithling and Zhang in relation to variants of the arithmetic Gan-Gross-Prasad conjecture, the arithmetic fundamental lemma conjecture and the arithmetic transfer conjecture are canonical in the sense prescribed by Pappas. In particular, we prove that they are isomorphic to the models constructed by Kisin and Pappas.