Good Reductions of Shimura Varieties of Hodge Type in Arbitrary Unramified Mixed Characteristic, Part I

Adrian Vasiu

Published 2007-07-11, updated 2016-09-08Version 3

We prove the existence of good smooth integral models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic $(0,p)$. As a first application we solve a conjecture of Langlands for Shimura varieties of Hodge type. As a second application we prove the existence in arbitrary unramified mixed characteristic $(0,p)$ of integral canonical models of projective Shimura varieties of Hodge type; this forms progress towards the proof of conjectures of Milne and Reimann. Though the second application was known before in some cases, its proof is new and more of a principle.