[論文レビュー] Continuity of the renormalized volume under geometric limits

Franco Vargas Pallete|arXiv (Cornell University)|May 25, 2016

Geometric and Algebraic Topology参考文献 10被引用数 5

ひとこと要約

本稿は、幾何的に有限な双曲的3次元多様体の幾何的極限における正規化体積の連続性を確立し、体積が恰好のクラス—すなわち、凸核の境界が完全に測地的である—において最小値をとることを証明している。この結果は、正規化体積に関する先行研究を拡張し、幾何的収束における連続性と、極限における体積比較の議論に依拠している。

ABSTRACT

We extend the concept of renormalized volume for geometrically finite hyperbolic $3$-manifolds, and show that is continuous for geometrically convergent sequences of hyperbolic structures over an acylindrical 3-manifold $M$ with geometrically finite limit. This allows us to show that the renormalized volume attains its minimum (in terms of the conformal class at $\partial M = S$) at the geodesic class, the conformal class for which the boundary of the convex core is totally geodesic.

研究の動機と目的

• 幾何的に有限な双曲的3次元多様体に対する正規化体積の定義を拡張すること。
• このような多様体に対して、正規化体積が幾何的極限において連続であることを確立すること。
• アーシャルな3次元多様体において、正規化体積が恰好のクラスでそのグローバル最小値に達することを証明すること。
• 最小値が、凸核の境界が完全に測地的である場合に正確に達することを示すこと。

提案手法

• クライン群の幾何的収束と表現の代数的収束を用いて、極限構造を分析する。
• 基本多面体の理論とその引き戻しを適用し、短い測地線とカスプの崩壊を研究する。
• 測地線が境界面に関して「分離されている」ことおよび「絡みついていない」ことの概念を用いて、極限におけるトポロジーを制御する。
• 収束するクライン群の系列の[BBCL]記述を用いて、極限計量に収束する近傍の系列を構成する。
• 正規化体積の連続性（定理1）を適用し、体積を最小化する極限計量が臨界点でなければならないことを示す。
• カスプが体積を厳密に増加させること（定理6.5.6 [Thu]）と体積比較を用いて、極限が完全に測地的でない場合には矛盾が生じることを導く。

実験結果

リサーチクエスチョン

• RQ1 幾何的に有限な双曲的3次元多様体に対して、正規化体積は幾何的極限において連続か？
• RQ2 アーシャルな3次元多様体において、正規化体積は恰好のクラスで最小値に達するか？
• RQ3 凸共補構造の幾何的極限が正規化体積の臨界点であるための、トポロジカルおよび幾何的条件は何か？
• RQ4 正規化体積の最小値は、凸核境界の完全な測地性によって特徴付けられるか？

主な発見

• 幾何的に有限な双曲的3次元多様体に対して、正規化体積は幾何的極限において連続である。
• 正規化体積は、凸核の境界が完全に測地的である恰好のクラスにおいて、正確にグローバル最小値に達する。
• 最小化列の極限において、計量は正規化体積の臨界点でなければならないが、これは凸核境界が完全に測地的でない限り不可能である。
• 凸核の体積は、恰好のクラスにおける正規化体積に等しく、この値は非自明なカスプを持ついかなる計量の体積よりも厳密に小さい。
• カスプの存在は体積を厳密に増加させ、これは最小体積の極限が成立する前提に反する。したがって、極限が完全に測地的でない限り矛盾が生じる。
• この議論は、部分列の代数的収束を保証し、恰好のクラスが一意の最小化子としての役割を果たすことを可能にするアーシャル構造に依存している。