[論文レビュー] Bulging deformations of convex $RP^2$-manifolds

William M. Goldman|arXiv (Cornell University)|Feb 4, 2013

Geometric and Algebraic Topology参考文献 2被引用数 6

ひとこと要約

本稿では、測度付き geodesic ラミネーションに関連する $\ mathrm{SL}(3,\mathbb{R})$ の1パラメータ部分群を用いて、凸 $\ mathbb{R}P^2$-多様体に対するぶつぶつ変形（bulging deformations）を導入する。これは、サーフェスのオイラー標数が負である場合に、Thurstonの地震変形と quakebend 変形を一般化するものである。主な貢献は、Weyl チャンバー値の横断的測度を用いて、凸領域の境界を変形する構成を提供することであり、Teichmüller 理論を $\ mathbb{R}P^2$-構造へと拡張するものである。

ABSTRACT

We define deformations of $RP^2$-manifolds.

研究の動機と目的

• ハイパボリックなサーフェスからの Thurston の地震変形を、$\ mathrm{SL}(3,\mathbb{R})$-作用を用いて、凸 $\\mathbb{R}P^2$-多様体へと一般化する変形を構成すること。
• Weyl チャンバーの $\ mathfrak{sl}(3,\mathbb{R})$ のカルタン部分代数に値をとる測度付き geodesic ラミネーションに基づく変形手順を定義すること。
• $\mathrm{PSL}(2,\mathbb{C})$ 内の quakebend 変形を、$\ mathrm{SL}(3,\mathbb{R})$ の1パラメータ部分群を用いて $\ mathbb{R}P^2$ の設定へ一般化すること。
• 境界 $\ partial\Omega$ が $C^1$ ではあるが $C^2$ ではない場合に、このような変形が凸領域 $\ Omega$ の境界にどのように作用するかを記述すること。
• オイラー標数 $\ chi(S) < 0$ を持つサーフェス上の凸 $\ mathbb{R}P^2$-構造の変形空間を理解するための枠組みを確立すること。

提案手法

• 変形は、geodesic ラミネーションの葉の両側の座標に、$H_t = \exp(a(t,0)) = \mathrm{diag}(e^t, 1, e^{-t})$ という1パラメータ部分群を適用することで構成される。
• 横断的測度は、正の根 $\alpha_{12}, \alpha_{23}$ に対応する、$\{a(s,t) \mid s \geq t \geq -\frac{1}{2}s\}$ という Weyl チャンバーに値をとる。
• $H_t$ が $\mathbb{R}P^2$ に作用することで、図2に示すような円錐曲線の弧が生成され、これが境界 $\partial\Omega$ の変形に用いられる。
• この構成は、区分的円錐曲線へ一般化され、ラミネーションに沿ってぶつぶつデータを蓄積することで変形が定義される（図5参照）。
• 変形プロセスは $\ Omega$ の凸性を保ち、$\ mathbb{R}P^2$-構造の空間への連続的作用を誘導する。
• 変形空間のパrametrization を定義するには、特に根系と Weyl 群を用いた $\ mathfrak{sl}(3,\mathbb{R})$ のリー代数構造に依存している。

実験結果

リサーチクエスチョン

• RQ1 オイラー標数 $\ chi(S) < 0$ を持つサーフェス上の $\ mathbb{R}P^2$-構造へ、Thurston の地震変形をどのように一般化できるか。
• RQ2 Weyl チャンバーの $\ mathfrak{sl}(3,\mathbb{R})$ のカルタン部分代数に値をとる測度付き geodesic ラミネーションが、凸 $\ mathbb{R}P^2$-多様体の変形に果たす役割は何か。
• RQ3 1パラメータ部分群 $\ mathrm{SL}(3,\mathbb{R})$ が、凸領域 $\ Omega$ の境界にどのように作用してぶつぶつ変形を生成するか。
• RQ4 これらの変形は、$\ partial\Omega$ の正則性をどのように保つか、あるいは変化させるか。特に $\ partial\Omega$ が $C^1$ ではあるが $C^2$ ではない場合に注目する。
• RQ5 凸 $\ mathbb{R}P^2$-構造の変形空間は、このようなぶつぶつデータを用いて、Teichmüller 空間と同様にパrametrization できるか。

主な発見

• 1パラメータ部分群 $H_t = \mathrm{diag}(e^t, 1, e^{-t})$ が geodesic ラミネーションの葉の両側に作用することで、ぶつぶつ変形が構成される。
• 変形の横断的測度は、正の根 $\alpha_{12}$ と $\alpha_{23}$ に対応する、Weyl チャンバー $\{a(s,t) \mid s \geq t \geq -\frac{1}{2}s\}$ に値をとる。
• $H_t$ の作用により、図2に示すように三角形に接する円錐曲線の弧が生成され、これが境界 $\partial\Omega$ の変形に用いられる。
• $S$ がハイパボリックなサーフェスである場合、ぶつぶつ変形は Thurston の地震変形に還元され、$\partial\tilde{S}$ は変化しない。
• 凸 $\ mathbb{R}P^2$-多様体の境界 $\partial\Omega$ は $C^1$ であるが $C^2$ ではない。その微分は、1より大きく2より小さい指数の Hölder 継続性を示す。
• $\mathrm{SL}(3,\mathbb{R})$-作用を用いて、$\ mathrm{PSL}(2,\mathbb{C})$ 内の quakebend 変形を $\ mathbb{R}P^2$ の設定へ一般化する構成が可能である。