[論文レビュー] Infinitesimal rigidity of convex surfaces through the second derivative of the Hilbert-Einstein functional I: Polyhedral case

Ivan Izmestiev|arXiv (Cornell University)|May 25, 2011

Geometric Analysis and Curvature Flows参考文献 19被引用数 5

ひとこと要約

本稿では、境界辺長を固定したまま内部辺長を変化させる変形を施した歪められた多面体における離散ヒルベルト＝アインシュタイン汎関数の2階微分を用いて、凸多面体の無限小剛性に関する新しい証明を提示する。主な結果は、無限小剛性が、辺の曲率に関する径方向長に対するヤコビ行列の核の次元が3に等しいことと同値であることを示しており、従来の体積に基づく証明とは双対的な枠組みを提供し、双曲的および高次元設定における剛性結果への道筋を開く。

ABSTRACT

The paper is centered around a new proof of the infinitesimal rigidity of convex polyhedra. The proof is based on studying derivatives of the discrete Hilbert-Einstein functional on the space of "warped polyhedra" with a fixed metric on the boundary. This approach is in a sense dual to using derivatives of the volume in order to prove the Gauss infinitesimal rigidity of convex polyhedra, which deals with deformations that preserve face normals and face areas. In the spherical and in the hyperbolic-de Sitter space, there is a perfect duality between the Hilbert-Einstein functional and the volume, as well as between both kinds of rigidity. We also discuss directions for future research, including elementary proofs of the infinitesimal rigidity of hyperbolic (cone-)manifolds and development of a discrete Bochner technique.

研究の動機と目的

• 離散ヒルベルト＝アインシュタイン汎関数の2階微分を用いた、凸多面体の無限小剛性に関する新しい証明を確立すること。
• 頂点の位置ではなく内部計量を変形することにより、体積に基づく証明とは双対的な枠組みを導入すること。
• 境界計量を固定した歪められた多面体へのこのアプローチの一般化を通し、径方向長パラメータを用いた曲率変動の解析を可能にすること。
• 双曲的多様体、コン回路多様体、および高次元離散アインシュタイン計量へのこの手法の拡張の基盤を築くこと。
• カービ・ウェイル剛性および凸多面体的境界をもつ双曲的多様体の無限小剛性の素朴な証明への道筋を提供すること。

提案手法

• 内部点から頂点までの径方向距離を変化させることで、凸多面体の内部計量を変形し、境界辺長を固定する。
• 内部辺回りの全二面角が2πからずれる「歪められた多面体」を定義し、曲率項κ_i = 2π - ω_iを導入する。
• 径方向長に関する辺の曲率のヤコビ行列∂κ_ij / ∂r_klを解析することで、無限小変形を研究する。
• このヤコビ行列の核の次元がちょうど3に等しいことを示すことにより、無限小剛性を証明する。これは自明な等長変換に対応する。
• 球面的および双曲的空間におけるヒルベルト＝アインシュタイン汎関数と体積の双対性を活用し、計量剛性とガウス剛性を結びつける。
• シュレントカーとの共同研究で得られた結果（m個の内部頂点に対してヤコビ行列が正確にm個の正の固有値を持つ）を応用し、境界のみのケースでは負定値スペクトルが得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 固定境界計量を持つ歪められた多面体における離散ヒルベルト＝アインシュタイン汎関数の2階微分を用いて、凸多面体の無限小剛性を証明できるか？
• RQ2 ユークリッド空間のケースに類似した双曲的および球面的幾何における計量剛性とガウス剛性の間に双対性が存在するか？
• RQ3 この手法を用いて、閉じた双曲的3次元多様体のカービ・ウェイル剛性を示すために、∂κ_ij/∂r_klの核の次元が3nに等しいことを示せるか？
• RQ4 このアプローチを、凸多面体的境界をもつコンパクトな双曲的多様体の無限小剛性を示すために適応できるか？
• RQ5 この枠組みを用いて、チーリングの消失定理を再証明する離散ボッハナー技法を開発できるか？

主な発見

• 凸多面体の無限小剛性は、曲率κ_iに関する径方向長r_jに対するヤコビ行列∂κ_i/∂r_jの核の次元がちょうど3に等しいことと同値であり、これはR³の自明な等長変換に対応する。
• m個の内部頂点とn個の面上の頂点をもつ三角形分割された凸多面体に対して、ヤコビ行列∂κ_ij/∂r_klの核の次元は3m + nに等しい。
• すべての点が頂点または辺上にある場合、ヤコビ行列∂κ_ij/∂r_klは正確にm個の正の固有値を持つ。これは境界のみのケースでは負定値スペクトルを示唆する。
• この手法により、ヒルベルト＝アインシュタイン汎関数と体積の双対性を通じて、計量剛性とガウス剛性の双対性が確立され、球面的および双曲的空間における既知の双対性に類似している。
• このアプローチにより、閉じた双曲的3次元多様体に対して、ker(∂κ_ij/∂r_kl)の次元が3nに等しいことを確認することで、カービ・ウェイル剛性の素朴な証明が可能になる可能性がある。
• このフレームワークは、2π未満の角を持つ双曲的コン回路多様体の無限小剛性の証明への道筋を示唆し、高次元における離散アインシュタイン計量の定義へもつながる。