[論文レビュー] The Weil-Petersson Isometry Group

Howard Masur, Michael Wolf|ArXiv.org|Aug 8, 2000

Geometric and Algebraic Topology参考文献 14被引用数 12

ひとこと要約

本稿は、$3g-3+n > 1$ かつ $(g,n) \neq (1,2)$ のとき、テイコフ空間 $T_{g,n}$ 上のワイエル・ペトリュ度量の任意の等距変換が、拡張されたマッピングクラス群 $\mathrm{Mod}^*(g,n)$ の元によって誘導されることを証明する。証明では、等距変換を度量化空間に拡張し、曲線複体への作用を用いて等距変換をマッピングクラスと特定する。さらに、ワイエル・ペトリュ測地線に沿った双曲的長さ関数の凸性を応用して、内部で等距変換が自明であることを示し、結果としてマッピングクラスによって誘導されることを導く。

ABSTRACT

We prove that every Weil-Petersson isometry of the Teichmuller space T(g,n) is induced by an element of the extended mapping class group; here 3g-3+n > 1 and (g,n) is not (1,2). Our method follows Ivanov's proof of the Royden's analogous theorem for the Teichmuller metric: we study the action of an isometry on the frontier of the metric completion of the Teichmuller space, and show that the isometry then induces an automorphism on the relevant complex of curves. Some synthetic geometry of the Weil-Petersson metric completes the proof.

研究の動機と目的

• ワイエル・ペトリュ度量に対するロイデン型定理を確立し、古典的なテイコフ度量に関する結果に類似した結果を得ること。
• $T_{g,n}$ 上のワイエル・ペトリュ度量の任意の等距変換が、拡張マッピングクラス群 $\mathrm{Mod}^*(g,n)$ の元によって生じることを示すこと。
• 等距変換を $T_{g,n}$ の度量化空間に拡張し、ピンチされた曲線に対応する低次元テイコフ空間の族からなるフロンティアを含むこと。
• 曲線複体 $C(F)$ への誘導作用を用いて、等距変換をマッピングクラスと特定すること。既知の $C(F)$ の自己同型に関する結果を活用する。
• 背理法を用いて、等距変換が $T_{g,n}$ 上で自明であることを証明する。これは、測地線に沿った長さ関数の凸性と、CAT(0)空間における固定点推定を組み合わせることで達成する。

提案手法

• 与えられたワイエル・ペトリュ等距変換を、ピンチされた曲線に対応する低次元テイコフ空間の族からなるフロンティア $A_{g,n}$ を含む $T_{g,n}$ の度量化空間に拡張する。
• 拡張された等距変換がフロンティアの各成分を保存することを示し、曲線複体 $C(F)$ への自己写像を誘導する。
• イヴァノフの定理（およびコルクマズとルオによる拡張）を用いて、$C(F)$ への誘導自己同型が $\mathrm{Mod}^*(g,n)$ の元から生じることを結論づける。
• ヴォルパートの結果（双曲的長さ関数 $l_c(x)$ がワイエル・ペトリュ測地線に沿って凸である）を応用し、固定点集合を分析する。
• $I$-不変集合 $B_0$ における点へのワイエル・ペトリュ距離の平均として $I$-不変関数 $D(x)$ を構成し、厳密凸性を用いて一意な固定点 $y_0$ を特定する。
• 固定点 $y_0$ から各最大ピンチフロンティア成分までの距離を推定し、それが一様に有界であることを示す。これにより、等距変換が $T_{g,n}$ 上で自明である場合を除き、矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 $T_{g,n}$ 上のワイエル・ペトリュ度量の任意の等距変換が、拡張マッピングクラス群 $\mathrm{Mod}^*(g,n)$ の元によって生じるか。
• RQ2 等距変換の作用は、$T_{g,n}$ の度量化空間、特にピンチされたリーマン面に対応するフロンティアにどのように拡張されるか。
• RQ3 曲線複体 $C(F)$ への誘導作用を用いて、等距変換をマッピングクラスと特定できるか。この特定はどのような条件下で成立するか。
• RQ4 ワイエル・ペトリュ測地線に沿った双曲的長さ関数 $l_c(x)$ の凸性が、等距変換が自明であることを示す際に果たす役割は何か。
• RQ5 CAT(0)空間における固定点集合と、双曲幾何から得られる幾何的推定を組み合わせることで、非自明な等距変換を除外する方法は何か。

主な発見

• $3g-3+n > 1$ かつ $(g,n) \neq (1,2)$ のとき、$T_{g,n}$ のワイエル・ペトリュ等距変換はすべて、拡張マッピングクラス群 $\mathrm{Mod}^*(g,n)$ の元によって誘導される。
• 等距変換は度量化空間に連続的に拡張され、フロンティア $A_{g,n}$ の各成分を保存する。$A_{g,n}$ は、ノードまたは穴のある曲面の低次元テイコフ空間の族からなる。
• 曲線複体 $C(F)$ への誘導作用は自己同型であり、既知の結果から、これは $\mathrm{Mod}^*(g,n)$ の元から生じる。
• 等距変換の固定点集合は空でなく、各最大ピンチフロンティア成分から一様に近い。距離は $2\epsilon + 3\rho$ で有界である。
• ワイエル・ペトリュ距離関数の厳密凸性と長さ関数 $l_c(x)$ の凸性により、不変集合上の重心的議論を用いて一意な固定点 $y_0$ を構成できる。
• 一般の CAT(0)固定点理論（適切な固定点集合がすべてのフロンティア成分に一様に近いことは不可能）と矛盾するため、固定点集合は $T_{g,n}$ 全体に及ぶ。これにより等距変換は自明であり、結果としてマッピングクラスによって誘導されることが証明される。