[論文レビュー] Rigidity of Polyhedral Surfaces

Feng Luo|ArXiv.org|Dec 22, 2006

Advanced Mathematical Theories and Applications参考文献 24被引用数 77

ひとこと要約

本稿は、微分余弦法則とラプラス変換に基づく変分原理を用いて、多面体的表面の剛性に関する結果を確立する。曲率に類似した不変量 ϕλ、ψλ、kλ を導入し、等長写像を除いて一意に多面体的計量を決定する。λ ≥ 0 に対して、テイヒミュラー空間のパラメータ化および凸多面体的モデルへの応用を含む。

ABSTRACT

We study rigidity of polyhedral surfaces and the moduli space of polyhedral surfaces using variational principles. Curvature like quantities for polyhedral surfaces are introduced. Many of them are shown to determine the polyhedral metric up to isometry. The action functionals in the variational approaches are derived from the cosine law and the Lengendre transformation of them. These include energies used by Colin de Verdiere, Braegger, Rivin, Cohen-Kenyon-Propp, Leibon and Bobenko-Springborn for variational principles on triangulated surfaces. Our study is based on a set of identities satisfied by the derivative of the cosine law. These identities which exhibit similarity in all spaces of constant curvature are probably a discrete analogous of the Bianchi identity.

研究の動機と目的

• 変分法を用いて多面体的計量と曲率に類似した不変量との関係を理解すること。
• ユークリッド、球面、双曲幾何における境界付きまたは境界なしの多面体的表面の局所的および大域的剛性を確立すること。
• λ ≥ 0 に対して、辺の不変量 ψλ を用いて境界付き曲面のテイヒミュラー空間の明示的かつ凸なパラメータ化を構成すること。
• リビン、ライボン、ボベンコ＝スプリンボーンらの先行研究における変分的アプローチを統一的かつ一般化するため、微分余弦法則の共通フレームを構築すること。
• 離散的曲率不変量とリーマン・ゼータ関数やディログラーミット関数などの特殊関数との関係を探索すること。

提案手法

• 定曲率空間における三角形の微分余弦法則およびその恒等式を導出し、バイアーニ恒等式に類似するものとする。
• λ をパrameterとする3つの曲率に類似した不変量の族を導入：ϕλ（辺に面する角）、ψλ（隣接角）、kλ（頂点における全角）。
• 余弦法則から導かれるエネルギー汎関数のラプラス変換を用いて、変分原理の作用汎関数を定義する。
• 幾何的三角形のモジュライ空間上での閉微分形式を用いて、解の凸性および一意性を証明する。
• 辺の長さおよび角の不変量を用いて、ψλ を用いたテイヒミュラー空間のパラメータ化を、凸多面体として構成する。
• sinλ(t)、cosλ(t)、tanλ(t/2) を含む1形式の積分が、リョバチェフスキー関数やディログラーミット関数などの特殊関数と関係することを示す。

実験結果

リサーチクエスチョン

• RQ1 ϕλ、ψλ、kλ という曲率に類似した不変量が、等長写像を除いて多面体的計量を一意に決定できるか？
• RQ2 微分余弦法則および関連エネルギー汎関数の作用下で、幾何的三角形のモジュライ空間はどのように振る舞うか？
• RQ3 境界付き曲面のテイヒミュラー空間は、どの程度 ψλ 不変量を用いてパラメータ化可能であり、そのパラメータ化の幾何的構造はどのようなものか？
• RQ4 球面および双曲三角形において、導出された1形式とリョバチェフスキー関数などの特殊関数との関係は何か？
• RQ5 本稿の変分原理は、リビン、ライボン、ボベンコ＝スプリンボーンらの先行研究のアプローチをどのように統一的または一般化するか？

主な発見

• ϕλ、ψλ、kλ 不変量は、等長写像を除いて多面体的計量を一意に決定する。ψ0 および ϕ0 は、リビンおよびライボンの既知の不変量を回復する。
• λ ≥ 0 に対して、ψλ によるパラメータ化は、境界付き曲面のテイヒミュラー空間を、凸多面体に微分同相写像する。
• ψλ によるテイヒミュラー空間の像は、導出されたエネルギー汎関数および閉1形式を用いて明示的に凸多面体として記述される。
• ψλ および ϕλ に関連する1形式は閉形式であるため、モジュライ空間上に well-defined なポテンシャル関数（エネルギー）が存在することが保証される。
• λ = 0、−1、1 の場合の1形式の積分は、明示的にリョバチェフスキー関数および幾何的体積（例：理想双曲的八面体や角柱）と関係づけられる。
• 本研究は、すべての定曲率空間において余弦法則の微分が満たす恒等式を通じて、バイアーニ恒等式の離散的アナロジーを提供する。