有界对称域算术商的模子varieties

算术商是由有界对称域除以算术群的商，模子varieties of arithmetic quotients 是指 themselves 由 lower dimension 的算术商构成，生活在算术商上，通过由 group inclusion 派生的嵌入定义。我们展示了此类模子varieties 的存在性，援引了作者此前的工作。如果 $\Gamma$ 是一个在某种意义上是 maximal 的固定算术子群，那么我们引入“$\Gamma$-integral symmetric”子群的概念，这进而定义了“积分模子varieties”的概念，我们证明了在 (isotropic, i.e, non-compact) 算术 variety 上存在有限个此类模子varieties。