四元数双曲空间边界中点的模空间

令$\mathcal{F}_1(n,m)$为$\partial \mathbf{H}_{\mathbb{H}}^n$中两两不同点的有序$m$元组模其等距群$PSp(n,1)$的空间。当$m>n+1$时，它是一个实$2m^2-6m+5-\sum^{m-n-1}_{i=1}{m-2 \choose n-1+i}$维代数簇。本文借助Moore行列式，利用Cartan角与不变量交比构造并描述了$\mathcal{F}_1(n,m)$的模空间。