[論文レビュー] Renormalized volume on the Teichmüller space of punctured surfaces

Colin Guillarmou, Sergiu Moroianu+1 more|arXiv (Cornell University)|Apr 18, 2015

Geometric Analysis and Curvature Flows参考文献 15被引用数 7

ひとこと要約

この論文は、等長的分岐を伴うランク1のカスプを有する幾何的に有限な双曲的3次元多様体に対する正規化体積を定義し、研究する。これは、従来の凸コンパクト多様体に限られていた概念を拡張するものである。変動公式を確立し、ランク1のカスプを有する幾何的に有限な計量への崩壊において、正規化体積が連続的に収束することを証明し、このようなカスプが存在する状況における主要な技術的課題を解決する。

ABSTRACT

We define and study the renormalized volume for geometrically finite hyperbolic $3$-manifolds, including with rank-$1$ cusps. We prove a variation formula, and show that for certain families of convex co-compact hyperbolic metrics $g_\eps$ degenerating to a geometrically finite hyperbolic metric $g_0$ with rank-$1$ cusps, the renormalized volume converges to the renormalized volume of the limiting metric.

研究の動機と目的

• 等長的分岐を伴うランク1のカスプを有する幾何的に有限な双曲的3次元多様体に対して、正規化体積の定義を拡張すること。これは、等距離フォリエーションが存在しないため、従来の手法が失敗するためである。
• ランク1のカスプ近辺で測地的境界定義関数を構成する技術的課題を解決すること。これは正規化体積を定義するために不可欠である。
• 凸コンパクト計量の族がランク1のカスプを有する幾何的に有限な計量へと崩壊する際、正規化体積が連続的に収束することを証明すること。
• この拡張された設定において、正規化体積の変動公式を確立すること。これにより、凸コンパクトの場合に知られている結果を一般化する。

提案手法

• ランク1のカスプ近辺に、滑らかにカスプ領域へと移行する微分同相写像の族を用いた新しい座標系を導入することで、測地的定義関数の拡張を可能にする。
• η-平面における双曲的回転を用いた座標変換により、カスプ近辺での計量の振る舞いを正則化し、正規化体積関数の滑らかさを保証する。
• カットオフ関数ρによる体積形式の漸近的展開を用い、z=0におけるゼータ正則化積分の有限部が正規化体積を定義する。
• ハミルトン＝ジャコビ方程式を用いて、測地的定義関数ρと共形境界計量[h]を関連させ、標準的な正規化体積定義と整合性を保つ。
• εに依存するパラメータを含む座標変換における計量成分の振る舞いを分析することで、カスプ領域における逆写像の滑らかな拡張を実現する。
• 座標変換の合成Φ_L = Ξ_L ∘ Υ_L ∘ Θ_L がカスプ領域へ滑らかに拡張されることを証明し、極限における正規化体積の定義を可能にする。

実験結果

リサーチクエスチョン

• RQ1 等距離フォリエーションが存在しないランク1のカスプを有する幾何的に有限な双曲的3次元多様体に対して、正規化体積を一貫して定義することは可能か？
• RQ2 凸コンパクトな双曲的計量の族がランク1のカスプを有する幾何的に有限な計量へと崩壊する際、正規化体積は連続的に収束するか？
• RQ3 ランク1のカスプが存在する場合の正規化体積の変動は何か？また、これは既知の凸コンパクトの場合の変動公式とどのように対比されるか？
• RQ4 標準的手法が破綻する状況において、ランク1のカスプ近辺で滑らかな測地的境界定義関数をどのように構成できるか？

主な発見

• ランク1のカスプを有する幾何的に有限な双曲的3次元多様体に対して、正規化体積は適切に定義可能であり、理論における長年の技術的障壁を解消する。
• 凸コンパクト計量の族がランク1のカスプを有する幾何的に有限な計量へと崩壊する際、正規化体積は極限値に連続的に収束する。
• ランク1のカスプが存在する状況において、正規化体積の変動公式が確立され、既知の凸コンパクト設定における結果が拡張された。
• 双曲的回転と慎重に選ばれたカットオフ関数を用いた滑らかな座標変換により、ランク1のカスプ近辺での測地的境界定義関数の構成が達成され、ゼータ正則化体積の有限部が適切に定義可能であることが保証される。
• 写像Φ_L = Ξ_L ∘ Υ_L ∘ Θ_L がカスプ領域へ滑らかに拡張されることを確認し、極限における正規化体積関数の正則性を裏付ける。
• カスプ領域における体積形式の漸近的展開から、z=0における有限部がカットオフの選び方に依存しないことが確認され、選択された正則化のもとでの正規化体積の不変性が保証される。