[論文レビュー] Point Configurations and Cayley-Menger Varieties

Ciprian S. Borcea|ArXiv.org|Jul 12, 2002

Geometric and Algebraic Topology参考文献 11被引用数 21

ひとこと要約

本稿は、ユークリッド空間、ヘルミート空間、クaternion的空間内の点配置を、距離に基づく不変量のザリスキ閉包を通じて、ケイリー＝メンジャーマニフォールド、エルミート＝グラム多様体、パフリアン多様体といった行列式的多様体に結びつける、深い代数的幾何的枠組みを確立する。特に平面の場合のこれらの多様体の幾何学的性質が、剛体グラフの実現を支配し、カルビ・ヤウ多様体内の特別なラグランジュ部分多様体を生じることを示している。

ABSTRACT

Equivalence classes of $n$-point configurations in Euclidean, Hermitian, and quaternionic spaces are related, respectively, to classical determinantal varieties of symmetric, general, and skew-symmetric bilinear forms. Cayley-Menger varieties arise in the Euclidean case, and have relevance for mechanical linkages, polygon spaces and rigidity theory. Applications include upper bounds for realizations of planar Laman graphs with prescribed edge-lengths and examples of special Lagrangians in Calabi-Yau manifolds.

研究の動機と目的

• R^d, C^d, H^d における n 点配置の研究を、代数的幾何的不変量によって統一すること。
• 複素射影空間における二乗距離不変量のザリスキ閉包を通じて、配置の同値類を特徴づけること。
• 行列式的多様体を用いて、古典的距離幾何学を複素数およびクォータニオン的設定に拡張すること。
• この枠組みを機械的リンクアージェンス、平面のラーマングラフ、カルビ・ヤウ多様体内の特別なラグランジュ部分多様体に応用すること。
• デザルグの定理とハルヴィッツの分類に基づく制約のもとで、オクタニオン的ケースを極限ケースとして探求すること。

提案手法

• n 点配置が R^d に写される際の二乗距離写像の像のザリスキ閉包として、C 上のケイリー＝メンジャーマニフォールド $CM^{d,n}(\mathbb{C})$ を定義する。
• $CM^{d,n}(\mathbb{C})$ を、スケーリングを除き、ランク ≤ d で非負固有値をもつ対称行列の多様体と同一視する。
• 実内積をヘルミート形式およびクォータニオン形式に置き換えることで、複素数およびクォータニオン的設定に一般化し、$HG^{d,n}(\mathbb{C})$ および $PG^{d,n}(\mathbb{C})$ を得る。
• 行列のランクによる射影空間の層化を用いて、d=1 の場合に $CM^{d,n}(\mathbb{C})$ をヴェロネーゼ埋め込みおよびセグレ埋め込みに関連付ける。
• 線形断面と双対性を用いて、多角形空間およびカルビ・ヤウの複素化を研究する。
• クォータニオン的配置の実的局所と八次多項式方程式を用いて、カルビ・ヤウ超曲面内の特別なラグランジュ 3-トーラスを構成する。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド的、ヘルミート的、クォータニオン的空間内の点配置を、代数的幾何的不変量を用いて一様に記述する方法は何か？
• RQ2 合同と相似の下での R^d 内の n 点配置の空間の正確な代数的幾何的構造は何か？
• RQ3 ケイリー＝メンジャーマニフォールドは、剛体理論および所定の辺長をもつ平面のラーマングラフの実現数とどのように関係するか？
• RQ4 カルビ・ヤウ多様体内の特別なラグランジュ部分多様体は、クォータニオン的配置多様体の実点から構成可能か？
• RQ5 オクタニオン的ケースはこの枠組みにおいて果たす役割は何か？なぜ n ≤ 4 に制限されるのか？

主な発見

• ケイリー＝メンジャーマニフォールド $CM^{d,n}(\mathbb{C})$ は、R^d 内の n 点配置が二乗距離写像によって写される像のザリスキ閉包であり、ランク ≤ d の対称行列と一致する。
• d=1 の場合、$CM^{1,n}(\mathbb{C})$ は $\mathbb{P}^{n-2}$ の二次ヴェロネーゼ埋め込みであり、これにより高次元のすべての $CM^{d,n}(\mathbb{C})$ の幾何学的性質が支配される。
• 平面のケイリー＝メンジャーマニフォールド $CM^{2,n}(\mathbb{C})$ の次数は、2n−3本の辺と所定の長さをもつ一般に剛体なグラフの実現数に対する上界を与える。
• n=5 の場合、平面的配置は実数上で定義されたエリュインズ面を生成し、その複素化はレイエ合同を回復する。
• カルビ・ヤウ三重多様体内の特別なラグランジュ 3-トーラスは、クォータニオン的配置の実的局所として構成可能であり、H 内の八次多項式方程式によって実現される。
• オクタニオン的ケースは n ≤ 4 および d=1,2,3 に制限され、$G_{\mathbb{O}}^{d,n}(\mathbb{C})$ は最終ケースにおいてセベリ多様体に対応する。