[論文レビュー] Polygons in hyperbolic geometry 1: Rigidity and inversion of the n-inequality

Rolf Walter|arXiv (Cornell University)|Aug 19, 2010

Mathematics and Applications参考文献 2被引用数 6

ひとこと要約

この論文は、固定された辺長を保つ場合の双曲多角形の剛性を確立し、辺長の保存のもとで唯一剛性を持つのは、同一直線上にあるか、または円周上に頂点をもつ凸な共円多角形であることを証明している。双曲空間におけるこのような多角形の存在のための必要十分条件を示すために、一般化された $n$-不等式の逆を導入し、ケイリー＝クラインモデルと、円の群論的性質に基づく長さスペクトルの閉包条件を用いて、双曲空間における $n$-不等式が成立することは、そのような多角形の存在に必要かつ十分であることを示している。

ABSTRACT

Certain topics on polygons are extended from Euclidean to hyperbolic geometry. This first part deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The non-Euclidean versions are more difficult due to the existence of three different types of circles in the hyperbolic plane. The second part will be concerned with the problem of maximizing the area of polygons with fixed sidelengths. By the metric character of these problems it is necessary to dispense to a certain extent with classical hyperbolic trigonometry because angles must be replaced by length quantities. So this first part also takes regard of this technical aspect.

研究の動機と目的

• 固定された辺長を保つ場合の双曲幾何における多角形の剛性が成立する条件を確立すること。
• 凸性や単純性に依存しない、所定の辺長をもつ双曲 $n$-角形の存在を調査すること。
• 一般化された三角不等式（$n$-不等式）を逆転させ、双曲空間における多角形の存在に必要な十分な条件を特定すること。
• 角に依存しない測度幾何学的手法を用いて、ユークリッドにおける多角形の剛性および長さスペクトル制約に関する結果を双曲的設定に拡張すること。

提案手法

• 幾何的枠組みとしてケイリー＝クラインモデルが用いられ、双曲空間の点は単位円板の内部に、直線は弦として表現される。
• 点と直線を $ \mathbb{R}^3$ 上の斉次座標で表現し、距離と接続関係を定義する擬ユークリッド内積 $\langle x,y \rangle = x_0y_0 - x_1y_1 - x_2y_2$ を用いる。
• 双曲的円（距離円、直線、アスキー円）の生成群を用いて、長さスペクトルの閉包条件を導出し、剛性の証明に不可欠な役割を果たす。
• 一般化された $n$-不等式の逆を、距離円または基底直線に明示的な多角形を構成することで得る。この際、$\sinh$ および $\sin$ 関数を用いた三角恒等式が用いられる。
• 帰納法と双曲余弦定理を用いて一意性を証明し、$n$-不等式における等号成立が同一直線上で単調な順序付けを意味することを示す。
• 点および直線のベクトルの正規化により、測度計算の整合性を保ち、双曲面 $\mathbb{H} \subset \mathbb{R}^3$ への埋め込みを可能にする。

実験結果

リサーチクエスチョン

• RQ1 固定された辺長を保つ場合、どの双曲 $n$-角形が等長変形のもとで剛性を示すか？
• RQ2 凸性や閉包性に依存しない、所定の辺長をもつ双曲 $n$-角形の存在を保証する辺長の条件は何か？
• RQ3 一般化された $n$-不等式をどのように逆転させ、このような多角形を明示的に構成できるか？
• RQ4 なぜ双曲幾何において、唯一同一直線上または共円な多角形のみが非自明な剛性を示すのか？
• RQ5 距離円、直線、アスキー円という3種類の円が、長さスペクトルおよび多角形構成において果たす役割は何か？

主な発見

• 固定された辺長のもとで双曲平面上で剛性を示すのは、同一直線上にある多角形と、凸な共円多角形（頂点が円周上にある多角形）に限られる。
• 一般化された $n$-不等式は、与えられた辺長 $L_1, \dots, L_n$ をもつ双曲 $n$-角形の存在に、必要かつ十分である。これはコロナリー5.4で述べられている。
• $L_n = L_1 + \cdots + L_{n-1}$ のとき、多角形は直線上にあり、単調に順序付けられており、剛体運動を除いて一意的である。
• もし $n$-不等式が厳密に成立する場合、総角 $\Phi(R, L_n)$ を調整することで、距離円 $\mathcal{S}(R)$ 上に向き付きの凸多角形を構成できる。
• 閉じる辺の長さを正しく保つために、恒等式 $\sinh\left(\frac{d(Z_1,Z_n)}{2}\right) = \sinh\left(\frac{L_n}{2}\right)$ が利用される。
• 剛体運動を除いて一意的であるのは、同一直線上または共円な場合に限られ、これによりそれらが非同一直線の剛性構成の唯一の可能性であることが証明される。