[論文レビュー] 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 $ 重組み（$ m \geq 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.

研究の動機と目的

• 四元数的双曲空間 $ \partial\mathbf{H}_\mathbb{H}^n $ の相異なる $ m $ 個の点の順序付き $ m $ 重組みの空間 $ \mathcal{F}_1(n,m) $ を、$ PSp(n,1) $-作用による同値類として、そのモジュライ空間を構成し記述すること。
• 複素双曲幾何から四元数的双曲幾何へのモジュライ空間理論の拡張を、特に $ m > n+1 $ の場合に目的とすること。
• モーアの行列式から導かれる不変量および特別なグラム四元数行列を用いて、モジュライ空間のパラメータ化を確立すること。
• $ PSp(2,1) $ への離散的で忠実かつ完全にロキドローミックな表現の変形空間を、幾何的不変量を用いて分析すること。
• モジュライ空間を実代数的概形として完全に代数的に記述し、明示的な次元公式を提示すること。

提案手法

• 相異なる境界点の $ m $ 重組みの各 $ PSp(n,1) $-軌道に対して、正規化された特別なグラム四元数行列を標準的代表元として定義する。
• モーアの行列式を用いて四元数行列の不変量を定義し、交比およびカルタンの角不変量の構成を可能にする。
• 四元数的交比 $ \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 相異なる $ m $ 個の点の $ m $ 重組みのモジュライ空間 $ \mathcal{F}_1(n,m) $ は、$ PSp(n,1) $-作用による同値類として、その次元および代数的構造はどのように特定されるか？
• 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} $ の実代数的概形である。
• 相異なる境界点の $ m $ 重組みの各 $ PSp(n,1) $-同値類は、正規化された特別なグラム四元数行列に対して一意に対応する。
• 四元数的交比 $ \mathbb{X}(p_1,p_2,p_3,p_4) $ は、同一直線にのる四元の点配置をパラメータ化するための主要な不変量を提供する。
• 三重組の点に対して四元数的カルタンの角不変量 $ \mathbb{A}_H(p_1,p_2,p_3) $ は、$ \Re(-\langle\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3\rangle_1) > 0 $ を満たすとき、正しく定義され、実数値をとる。
• $ PSp(2,1) $ への離散的で忠実かつ完全にロキドローミックな表現のモジュライ空間は、固定点データ $ (p_i^+, p_i^-) $ およびパラメータ $ (r_i, \beta_i, \theta_i) $ でパラメータ化され、$ r_i > 0 $、$ r_i \neq 1 $、$ 0 \leq \beta_i, \theta_i \leq \pi $ を満たす。
• $ PSp(2,1) $ 内の各ロキドローミック元の共役類は、三重組 $ (r, \beta, \theta) $ によって一意に決定され、全表現類は生成子に対応する全データの集合によって決定される。