[論文レビュー] Dimension and rank for mapping class groups

Jason Behrstock, Yair N. Minsky|ArXiv.org|Dec 15, 2005

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

ひとこと要約

この論文は、写像類群の漸近的コーンにおける局所コンパクト集合の最大位相次元が、そのアーベル部分群の最大ランクに等しいことを確立し、Brock-Farbランク予想を証明する。著者らは、漸近的コーンにおける積領域とR-ツリーの再帰的構成を用いて、写像類群およびWeil-Petersson計量を備えたテイコフラー空間における準フラットの次元が、自由アーベル部分群のランクによって有界であることを示す。

ABSTRACT

We study the large scale geometry of the mapping class group, MCG. Our main result is that for any asymptotic cone of MCG, the maximal dimension of locally compact subsets coincides with the maximal rank of free abelian subgroups of MCG. An application is an affirmative solution to Brock-Farb's Rank Conjecture which asserts that MCG has quasi-flats of dimension N if and only if it has a rank N free abelian subgroup. We also compute the maximum dimension of quasi-flats in Teichmuller space with the Weil-Petersson metric.

研究の動機と目的

• 写像類群の幾何的ランクがそのアーベル部分群の最大ランクに等しいという、Brock-Farbランク予想を解決すること。
• 写像類群およびWeil-Petersson計量を備えたテイコフラー空間における準フラットの最大次元を特定すること。
• 写像類群の漸近的コーンとそのアーベル部分群の代数的ランクとの間の幾何的・構造的関係を確立すること。
• パンツグラフモデルを用いて、写像類群における次元論的解析をテイコフラー空間へ拡張すること。
• 粗い幾何学と漸近的コーンを用いた、Hamenstädtの結果に対するランク予想の別証明を提供すること。

提案手法

• 写像類群の漸近的コーン内に、各々がF × Aに位相的に同相であるような部分集合族Pを構成する。ここでFはR-ツリーであり、Aは部分表面写像類群の漸近的コーンである。
• M^ω(S) → F への射影写像π_Pを定義し、Pの外では局所定数であり、P上で制限すると射影となるようにする。
• これらの射影の分離性を用いて、漸近的コーン内の局所コンパクト集合の位相次元を有界化する。
• 曲面の複雑さに関する帰納法を用い、問題を低ランクの部分表面へ還元し、次元論的補題を適用する。
• パンツグラフモデルにこの手法を適応し、BrockのパンツグラフとWeil-Peterssonテイコフラー空間との合同写像性結果を活用する。
• パンツグラフ内に対応する積領域および分離構造を確立し、同じ帰納的議論により次元有界性を導く。

実験結果

リサーチクエスチョン

• RQ1 写像類群における準フラットの最大次元は何か？ また、アーベル部分群の代数的ランクとはどのように関係するか？
• RQ2 写像類群の漸近的コーンは、その位相次元によって自由アーベル部分群の最大ランクを反映しているか？
• RQ3 Weil-Petersson計量を備えたテイコフラー空間の漸近的コーンにおける局所コンパクト集合の最大次元は何か？
• RQ4 Weil-Petersson計量を備えたテイコフラー空間の幾何的ランクは、そのアーベル部分群の代数的ランクとどのように比較できるか？
• RQ5 写像類群およびテイコフラー空間における準フラットの次元は、漸近的コーン内での再帰的幾何的構成によって特徴付けられるか？

主な発見

• 写像類群の漸近的コーンにおける局所コンパクト集合の最大位相次元は、そのアーベル部分群の最大ランクに等しく、曲面の genus g と境界成分数 p を用いて 3g − 3 + p で与えられる。
• この結果により、Brock-Farbランク予想が正当化される：写像類群がランクNの自由アーベル部分群をもつことと、次元Nの準フラットをもつことは同値である。
• Weil-Petersson計量を備えたテイコフラー空間の幾何的ランクは正確に ⌊(3g + p − 2)/2⌋ であり、パンツグラフモデルにおけるアーベル部分群の最大ランクと一致する。
• テイコフラー空間の次元有界性は、パンツグラフの構造に起因し、パンツ分解における非円形部分表面の数が、最大積因子数を決定する。
• 証明は、漸近的コーン内での積領域およびR-ツリー射影の新規な帰納的構成を用い、分離集合の次元を制御可能にする。
• この手法は、Hamenstädtのホモロジー的およびトレイントラックに基づく証明とは異なる、新たな幾何的位相的戦略を提供する。