[论文解读] The Moduli Space of Points in the Boundary of Quaternionic Hyperbolic Space

Goashun Gou, Yue-Ping Jiang|Osaka City University (Osaka City University)|Dec 26, 2017

Algebraic and Geometric Analysis参考文献 13被引用 3

一句话总结

本论文利用摩尔行列式定义不变量——具体为四元数交叉比和卡坦的角不变量——构建并描述了在四元数双曲空间边界上模等距变换的有序 m 元组（m ≥ 4）的模空间，从而在 m > n+1 时确立了维度为 $2m^2 - 6m + 5 - \binom{m-2}{n-1} - \binom{m-2}{n} - \cdots - \binom{m-2}{m-n-1}$ 的实代数簇。该方法通过归一化的特殊-格拉姆四元数矩阵实现了完全参数化。

ABSTRACT

Let $\mathcal{F}_1(n,m)$ be the space of ordered m-tuples of pairwise distinct points in $\partial \mathbf{H}_{\mathbb{H}}^n$ up to its isometry group $PSp(n,1)$. It is a real $2m^2-6m+5-\sum^{m-n-1}_{i=1}{m-2 \choose n-1+i}$ dimensional algebraic variety when $m>n+1$. In this paper, we construct and describe the moduli space of $\mathcal{F}_1(n,m)$, in terms of the Cartan's angle and cross-ratio invariants, by applying the Moore's determinant.

研究动机与目标

• 构建并描述模空间 $\mathcal{F}_1(n,m)$，即 $\partial\mathbf{H}_\mathbb{H}^n$ 中模 $PSp(n,1)$ 作用的有序 $m$-元组的 distinct 点的模空间。
• 将模空间理论从复双曲几何推广至四元数双曲几何，尤其针对 $m > n+1$ 的情形。
• 利用由摩尔行列式导出的不变量及特殊-格拉姆四元数矩阵，建立模空间的参数化。
• 通过几何不变量分析 $PSp(2,1)$ 中离散、忠实、完全双曲表示的形变空间。
• 提供模空间的完整代数描述，将其表示为具有显式维度公式的实代数簇。

提出的方法

• 将归一化的特殊-格拉姆四元数矩阵定义为每个 $PSp(n,1)$-轨道中 $m$-元组边界点的典范代表。
• 利用摩尔行列式定义四元数矩阵的不变量，从而实现交叉比与卡坦角不变量的构造。
• 通过四元数交叉比 $\mathbb{X}(p_1,p_2,p_3,p_4) = \langle\mathbf{p}_3,\mathbf{p}_1\rangle_1 \langle\mathbf{p}_3,\mathbf{p}_2\rangle_1^{-1} \langle\mathbf{p}_4,\mathbf{p}_2\rangle_1 \langle\mathbf{p}_4,\mathbf{p}_1\rangle_1^{-1}$ 对共轭零向量四元组进行参数化。
• 对三元组定义四元数卡坦角不变量 $\mathbb{A}_H(p_1,p_2,p_3) = \arccos\left( \frac{\Re(-\langle\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3\rangle_1)}{|\langle\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3\rangle_1|} \right)$，其中 $\langle\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3\rangle_1 = \langle\mathbf{p}_1,\mathbf{p}_2\rangle_1 \langle\mathbf{p}_2,\mathbf{p}_3\rangle_1 \langle\mathbf{p}_3,\mathbf{p}_1\rangle_1$。
• 证明每个 $PSp(n,1)$-同构类唯一对应一个归一化的特殊-格拉姆矩阵，从而可通过矩阵不变量直接研究模空间。

实验结果

研究问题

• RQ1 模空间 $\mathcal{F}_1(n,m)$（即 $\partial\mathbf{H}_\mathbb{H}^n$ 中模 $PSp(n,1)$ 作用的 $m$-元组 distinct 点）的维度与代数结构为何？
• RQ2 四元数交叉比与卡坦角不变量如何用于四元数双曲几何中模空间的参数化？
• RQ3 摩尔行列式能否有效用于定义四元数矩阵的不变量，以描述点构型的模空间？
• RQ4 点构型的几何与 $PSp(2,1)$ 中离散、忠实、完全双曲表示的形变空间之间有何关系？
• RQ5 由特殊-格拉姆矩阵导出的不变量如何完整捕捉模空间结构？归一化在实现唯一性中起什么作用？

主要发现

• 当 $m > n+1$ 时，模空间 $\mathcal{F}_1(n,m)$ 是一个实代数簇，其维度为 $2m^2 - 6m + 5 - \sum_{i=1}^{m-n-1} \binom{m-2}{n-1+i}$。
• 每个 $PSp(n,1)$-同构类的 distinct 边界点 $m$-元组唯一对应一个归一化的特殊-格拉姆四元数矩阵。
• 四元数交叉比 $\mathbb{X}(p_1,p_2,p_3,p_4)$ 为四元零向量构型的参数化提供了关键不变量。
• 当 $\Re(-\langle\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3\rangle_1) > 0$ 时，四元数卡坦角不变量 $\mathbb{A}_H(p_1,p_2,p_3)$ 是良好定义且取实数值的。
• $PSp(2,1)$ 中离散、忠实、完全双曲表示的模空间由固定点数据 $(p_i^+, p_i^-)$ 以及参数 $(r_i, \beta_i, \theta_i)$ 参数化，其中 $r_i > 0$，$r_i \neq 1$，且对 $\mathbb{H}$ 有 $0 \leq \beta_i, \theta_i \leq \pi$。
• 每个 $PSp(2,1)$ 中双曲元素的共轭类由三元组 $(r, \beta, \theta)$ 唯一确定，而整个表示类由其生成元对应的全部此类数据集决定。