Integral models of reductive groups and integral Mumford-Tate groups

TL;DR

This paper investigates the classification of integral models of reductive groups over local and global fields, establishing finiteness results and connections to moduli spaces of abelian varieties with specified Mumford-Tate groups.

Contribution

It proves finiteness of lattice classes corresponding to a given integral model and links this to the structure of special subvarieties in moduli spaces.

Findings

Finitely many lattices correspond to a single integral model up to equivalence.

There are finitely many special subvarieties with a fixed integral Mumford-Tate group.

The results connect algebraic group models to geometric structures in moduli spaces.

Abstract

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 $\Lambda$ in the vector space $V$ defines a model $\hat{G}_{\Lambda}$ of $G$ over $\mathscr{O}_K$. One may wonder to what extent $\Lambda$ is determined by the group scheme $\hat{G}_{\Lambda}$. In this paper we prove that up to a natural equivalence relation on the set of lattices there are only finitely many $\Lambda$ corresponding to one model $\hat{G}_{\Lambda}$. 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.