[論文レビュー] Rigidity of inversive distance circle packings revisited

Xu Xu|arXiv (Cornell University)|May 8, 2017

Geometric Analysis and Curvature Flows参考文献 18被引用数 3

ひとこと要約

この論文は、変分原理と凸エネルギー関数を用いて、$(-1, +\infty)$ の逆数距離に対して、逆数距離円被覆のグローバル剛性を証明している。非負の逆数距離に関する先行結果を拡張し、双曲的背景幾何における与えられた組み合わせ的曲率または$\alpha$-曲率が、円被覆計量を一意に決定することを確立している。

ABSTRACT

Inversive distance circle packing metric was introduced by P Bowers and K Stephenson \cite{BS} as a generalization of Thurston's circle packing metric \cite{T1}. They conjectured that the inversive distance circle packings are rigid. For nonnegative inversive distance, Guo \cite{Guo} proved the infinitesimal rigidity and then Luo \cite{L3} proved the global rigidity. In this paper, based on an observation of Zhou \cite{Z}, we prove this conjecture for inversive distance in $(-1, +\infty)$ by variational principles. We also study the global rigidity of a combinatorial curvature introduced in \cite{GJ4,GX4,GX6} with respect to the inversive distance circle packing metrics where the inversive distance is in $(-1, +\infty)$.

研究の動機と目的

• バウアーズとステファソンの、逆数距離が$(-1, +\infty)$ にある場合の逆数距離円被覆の剛性に関する予想を解決すること。
• 非負の逆数距離に制限されたグローバル剛性結果を、全範囲$(-1, +\infty)$ に拡張すること。
• 双曲的逆数距離円被覆計量下での一般化された組み合わせ的曲率（$\alpha$-曲率を含む）のグローバル剛性を調査すること。
• 双曲幾何における、所与の組み合わせ的曲率または$\alpha$-曲率に対応する円被覆計量の一意性を確立すること。

提案手法

• Guo [22] が確立した逆数距離円被覆のための変分原理を用いる。
• ボーベンコ、ピンカル、スプリンボーンによる局所凸関数の拡張を、Luo [28] がさらに発展させたものに適用する。
• エネルギー関数$\widetilde{\mathcal{E}}(u)$ を、凹項$-\widetilde{\mathcal{E}}_{ijk}(u)$ の和と、曲率欠損を含む凸積分項の和として定義する。
• 拡張されたエネルギー$\widetilde{\mathcal{E}}(u)$ が$\mathbb{R}^N$ 上で$C^1$-滑らかで凸であることを証明し、臨界点の一意性を保証する。
• 2つの潜在的計量間の経路における凸性の議論を用いる：両者が同じ曲率を持つならば、エネルギーの微分は恒等的にゼロとなり、半径が同一であることが示される。
• ヘッセ行列$\Lambda^H$ の正定値性を用いて、2つの計量の差がゼロでなければならないことを結論づけ、一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 逆数距離が$(-1, +\infty)$ にある場合、逆数距離円被覆はグローバルに剛性であるか？
• RQ2 非負の逆数距離に制限されたグローバル剛性結果を、$-1$ まで負の値に拡張できるか？
• RQ3 一般化された組み合わせ的$\alpha$-曲率は、双曲的逆数距離円被覆計量を一意に決定するか？
• RQ4 拡張されたエネルギー関数の凸性が、円被覆計量の一意性を証明する際に果たす役割は何か？
• RQ5 変分原理は、$[0, +\infty)$ に制限された先行結果と比較して、$(-1, +\infty)$ の全範囲にどのように拡張されるか？

主な発見

• 逆数距離が$(-1, +\infty)$ にある場合、与えられた組み合わせ的曲率$\overline{K}$ に対して、双曲的逆数距離円被覆計量が高々1つしか存在しないことを証明した。
• 拡張されたエネルギー関数$\widetilde{\mathcal{E}}(u)$ の凸性を用いて、$I > -1$ に対して標準的な組み合わせ的曲率$\overline{K}$ のグローバル剛性を確立した。
• エネルギー関数のヘッセ行列$\Lambda^H$ が正定値であることが示され、これにより同じ曲率を持つ任意の2つの計量は同一でなければならないことが示された。
• 証明手法は$\alpha$-曲率にも適用可能であり、$\alpha\overline{R} \leq 0$ の場合、与えられた$\alpha$-曲率$\overline{R}$ に対して、高々1つの双曲的逆数距離円被覆計量が存在することを示した。
• Luoの非負の逆数距離に関する先行作業を、全区間$(-1, +\infty)$ に一般化し、この範囲でバウアーズとステファソンの長年の予想を解決した。
• エネルギー関数$\widetilde{\mathcal{E}}(u)$ は$C^1$-滑らかで凸であり、臨界点が一意な解に対応することを保証する。これは剛性を証明する上で鍵となる。