[論文レビュー] NIL geodesic triangles and their interior angle sums

Jenő Szirmai|arXiv (Cornell University)|Nov 17, 2016

Mathematics and Applications参考文献 5被引用数 4

ひとこと要約

この論文は、ターフォンの幾何構成予想に含まれる3次元一様空間であるニル幾何における測地的三角形の内角の和を調査する。モルナールの射影モデルとリーマン計量を用いて、測地的三角形の内角の和が、三角形の配置に応じてπより大きいか、等しいか、またはπより小さいことが示され、ユークリッドの法則に反し、非定曲率幾何における角の和の挙動を拡張する。

ABSTRACT

In this paper we study the interior angle sums of geodesic triangles in $\NIL$ geometry and prove that it can be larger, equal or less than $π$. We use for the computations the projective model of $\NIL$ introduced by E. {Molnár} in \cite{M97}.

研究の動機と目的

• ニル幾何（非定曲率のターフォン幾何）における測地的三角形の内角の和の挙動を分析すること。
• ニル幾何における角の和が、ユークリッド幾何のパターン（和 = π）に従うのか、それとも双曲的または球面的幾何に似たようにずれるのかを特定すること。
• 明示的な幾何的構成を用いて、内角の和がπより厳密に大きい、小さい、または等しい測地的三角形が存在することを確立すること。
• 特に、これまで包括的な取り扱いがなかった非リーマン的で非定曲率の3次元幾何、特にニル幾何における角の和の理解のギャップを埋めること。

提案手法

• ヘイセンベルク群構造に由来する特定のリーマン計量を備えた、E. モルナールによるニル幾何の射影モデルを用いる。このモデルでは、空間が3次元射影空間に埋め込まれる。
• 無限小長さの平方を表す標準的なリーマン計量を適用する：(ds)² = (dx)² + (1 + x²)(dy)² - 2x dy dz + (dz)²。
• 計量から導かれる測地線の式を用いて、指定された頂点を持つ三角形の辺の長さと内角を計算する。
• 2つの族に分けた直角測地的三角形を分析する：繊維に類似した（中心に沿ってz座標が変化する）ものと、双曲的パターンに類似した（xとyが双曲的パターンで変化する）もの。
• モデル空間内のユークリッド線分に沿った頂点の連続的パラメータ化を用いて、角の和の連続性を示す。
• 中間値の定理を適用して、角の和がπ未満の配置とπを超える配置を結ぶことで、角の和が正確にπである三角形が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 ニル幾何における測地的三角形の内角の和がπを超えることは可能か？
• RQ2 同じ幾何において、内角の和がπ未満またはπと等しいことは可能か？
• RQ3 ニル幾何におけるどのような幾何的配置が、角の和をπから逸脱させ、頂点の位置に応じてどのように変化するか？
• RQ4 角の和がπ未満からπを超えるように変化する連続的な測地的三角形の経路が存在するか？ これは、角の和が正確にπである三角形の存在を示唆する。
• RQ5 ニル幾何における角の和の挙動は、S²×R、H²×R、SL₂(R)、Solなどの他のターフォン幾何とどのように比較できるか？

主な発見

• 繊維に類似した直角測地的三角形で、z座標が大きい場合に、内角の和がπを超えることが、実証された。
• 双曲的パターンに類似した直角測地的三角形で、x³座標が大きい場合に、内角の和がπ未満であることが示され、πに下からの収束が確認された。
• 中間値の定理により、角の和がπに正確に等しい三角形が存在することが証明された：角の和がπ未満の三角形からπを超える三角形への連続的変形によって、角の和が正確にπである三角形が得られる。
• 頂点がx³軸に沿って無限遠に近づく極限において、直角測地的三角形の角の和は、頂点が繊維に沿って動くか双曲的パターンに従って動くかに関わらず、πに近づく。
• 数値表により、y² = y³ = 1/3 かつ x³ = 100 の双曲的パターンに類似した三角形では、角の和が3.13493であり、π（≈3.14159）に近く、下からの収束が確認された。
• x³ = 100 かつ y² = y³ = 1/100 の繊維に類似した三角形では、角の和が3.13160に達し、πに下からの漸近的挙動を示し、極端な配置においてπに近づく傾向が確認された。