[论文解读] The moduli space of points in quaternionic projective space

Wensheng Cao|arXiv (Cornell University)|May 18, 2017

Algebraic and Geometric Analysis参考文献 19被引用 4

一句话总结

该论文利用旋转归一化和块归一化算法，构建了四元数射影空间及其边界上 m 元组的模空间。关键贡献是通过格拉姆矩阵刻画了四元数双曲三角形，证明了在 ℍ²ᴴ 中存在一个 (r₁,r₂,r₃;𝒜)-三角形当且仅当 det G ≤ 0，且等式成立当且仅当这些点在 ℍ 上线性相关。

ABSTRACT

Let $\mathcal{M}(n,m;\F \bp^n)$ be the configuration space of $m$-tuples of pairwise distinct points in $\F \bp^n$, that is, the quotient of the set of $m$-tuples of pairwise distinct points in $\F \bp^n$ with respect to the diagonal action of ${ m PU}(1,n;\F)$ equipped with the quotient topology. It is an important problem in hyperbolic geometry to parameterize $\mathcal{M}(n,m;\F \bp^n)$ and study the geometric and topological structures on the associated parameter space. In this paper, by mainly using the rotation-normalized and block-normalized algorithms, we construct the parameter spaces of both $\mathcal{M}(n,m; \bhq)$ and $\mathcal{M}(n,m;\bp(V_+))$, respectively.

研究动机与目标

• 参数化四元数射影空间正部中 m 个互异点的模空间 𝒟(n,m;ℙ(V₊))。
• 将双曲几何中的模问题研究扩展到四元数情形，特别是针对 m ≥ 3 的情况。
• 开发几何不变量——特别是归一化的格拉姆矩阵——以在 PU(1,n;ℍ) 作用下对点构型进行分类。
• 以格拉姆矩阵的行列式为依据，刻画四元数双曲三角形的存在性。
• 通过几何不变量为研究三角群在 Sp(n,1) 中的离散且忠实表示提供基础。

提出的方法

• 使用旋转归一化和块归一化算法，将 ℙ(V₊) 中的 m 元组在 PU(1,n;ℍ) 作用下约化为典范形式。
• 对提升 𝐩 ∈ ℍ^{n+1,m} 定义格拉姆矩阵 G(𝐩) = 𝐩*J𝐩，该矩阵在 U(1,n;ℍ) 变换下保持不变。
• 通过归一化固定 gᵢᵢ = 1，g₁₂ ≥ 0，g₁₃ ≥ 0，且 g₂₃ = r₁(cos𝒜 + i sin𝒜)，其中 sin𝒜 ≥ 0，以实现唯一性。
• 利用格拉姆矩阵的符号差 i(G) 根据惯性分类构型为抛物型、椭圆型或双曲型。
• 推导出三点构型的行列式公式 det G = 1 − (r₁² + r₂² + r₃²) + 2r₁r₂r₃ cos𝒜。
• 使用条件 det G ≤ 0 作为 ℍ²ᴴ 中 (r₁,r₂,r₃;𝒜)-三角形存在的必要且充分条件。

实验结果

研究问题

• RQ1 四元数双曲空间边界 ∂ℍⁿᴴ 上 m 个互异点的模空间结构是什么？
• RQ2 如何参数化四元数射影空间正部 ℙ(V₊) 中 m 元组的模空间？
• RQ3 在 PU(1,n;ℍ) 作用下，哪些几何不变量（如角不变量或格拉姆矩阵）可用于分类点构型？
• RQ4 在 ℍ²ᴴ 中，(r₁,r₂,r₃;𝒜)-三角形存在的条件是什么？
• RQ5 当三点构型的格拉姆矩阵行列式为零时，其几何意义是什么？

主要发现

• 在 ℍ²ᴴ 中存在一个 (r₁,r₂,r₃;𝒜)-三角形当且仅当 det G ≤ 0，其中 det G = 1 − (r₁² + r₂² + r₃²) + 2r₁r₂r₃ cos𝒜。
• 当且仅当三个点在 ℍ 上线性相关时，即存在不全为零的 λᵢ ∈ ℍ 使得 p₁λ₁ + p₂λ₂ + p₃λ₃ = 0，有 det G = 0。
• 在 ℙ(V₊) 中的三元组的归一化格拉姆矩阵由 r₁, r₂, r₃ ≥ 0 和 𝒜 ∈ [0, π/2] 唯一确定，且满足 sin𝒜 ≥ 0。
• 格拉姆矩阵的符号差 i(G) 可对构型进行分类：(1,0,0) 为抛物型，(2,0,0) 为椭圆型，(1,1,0) 或 (2,1,0) 为双曲型。
• 参数空间 (1,1,1;0)-三角形为 ℂ − {0,1}，推广了复数情形。
• 此处定义的角不变量 𝒜 与 Cao 和 Huang (2015) 中的不同，突显了不同的几何归一化方式。