Integral models of reductive groups and integral Mumford-Tate groups
Let $G$ be a reductive algebraic group over a $p$-adic field or number field $K$, and let $V$ be a $K$-linear faithful representation of $G$. A lattice $Λ$ in the vector space $V$ defines a model $\hat{G}_Λ$ of $G$ over $\mathscr{O}_K$. One may wonder to what extent $Λ$ is determined by the group scheme $\hat{G}_Λ$. In this paper we prove that up to a natural equivalence relation on the set of lattices there are only finitely many $Λ$ corresponding to one model $\hat{G}_Λ$. Furthermore, we relate this fact to moduli spaces of abelian varieties as follows: let $\mathscr{A}_{g,n}$ be the moduli space of principally polarised abelian varieties of dimension $g$ with level $n$ structure. We prove that there are at most finitely many special subvarieties of $\mathscr{A}_{g,n}$ with a given integral generic Mumford-Tate group.