[論文レビュー] The moduli space of points in quaternionic projective space

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

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

ひとこと要約

本稿は、回転正規化およびブロック正規化アルゴリズムを用いて、クaternion的射影空間およびその境界における相異なる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.

研究の動機と目的

• クォータニオン的射影空間の正の部分 ℙ(V₊) における相異なるm個の点のm重組みのモジュライ空間 𝒟(n,m;ℙ(V₊)) をパラメータ化すること。
• 双曲幾何におけるモジュライ問題の研究を、特に m ≥ 3 の場合にクォータニオン的設定へ拡張すること。
• PU(1,n;ℍ)作用による点の配置を分類するための幾何的不変量（特に正規化されたグラム行列）を構築すること。
• クォータニオン的双曲三角形の存在を、そのグラム行列の行列式の観点から特徴付けすること。
• 幾何的不変量を用いて、三角形群の Sp(n,1) における離散的かつ忠実な表現を研究する基盤を提供すること。

提案手法

• PU(1,n;ℍ)作用の下で、ℙ(V₊) 内のm個の点の組を、回転正規化およびブロック正規化アルゴリズムを用いて標準形に還元する。
• 各点の上への代表元 𝐩 ∈ ℍ^{n+1,m} を用いて、G(𝐩) = 𝐩*J𝐩 と定義されるグラム行列を導入し、U(1,n;ℍ) 変換に対して不変であることを示す。
• 正規化により、gᵢᵢ = 1、g₁₂ ≥ 0、g₁₃ ≥ 0、g₂₃ = r₁(cos𝒜 + i sin𝒜)（sin𝒜 ≥ 0）となるように固定し、一意性を達成する。
• グラム行列の符号数 i(G) を用いて、配置を放物型、楕円型、双曲型に分類する。
• 3点配置に対して、det G = 1 − (r₁² + r₂² + r₃²) + 2r₁r₂r₃ cos𝒜 という行列式の公式を導出する。
• ℍ²ᴴ に (r₁,r₂,r₃;𝒜)-三角形が存在するための必要十分条件として、det G ≤ 0 を用いる。

実験結果

リサーチクエスチョン

• RQ1 クォータニオン的双曲空間の境界 ∂ℍⁿᴴ における相異なるm個の点のm重組みのモジュライ空間の構造は何か？
• RQ2 クォータニオン的射影空間の正の部分 ℙ(V₊) におけるm個の点のm重組みのモジュライ空間をどのようにパラメータ化できるか？
• RQ3 PU(1,n;ℍ)作用の下で点の配置を分類するための幾何的不変量（例えば、角不変量やグラム行列）は何か？
• RQ4 どのような条件下で、ℍ²ᴴ に (r₁,r₂,r₃;𝒜)-三角形が存在するか？
• RQ5 3点配置のグラム行列の行列式がゼロとなるのはいつか？そして幾何学的には何を意味するか？

主な発見

• ℍ²ᴴ に (r₁,r₂,r₃;𝒜)-三角形が存在するための必要十分条件は、det G ≤ 0 であり、ここで det G = 1 − (r₁² + r₂² + r₃²) + 2r₁r₂r₃ cos𝒜 である。
• det G = 0 が成り立つのは、3点が ℍ 上で線形従属である、すなわち、すべてがゼロでない λᵢ ∈ ℍ が存在して p₁λ₁ + p₂λ₂ + p₃λ₃ = 0 が成り立つときのみである。
• ℙ(V₊) 内の3点の組みの正規化グラム行列は、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) のものとは異なり、異なる幾何的正規化を示している。