[論文レビュー] Virtual betti numbers of symmetric spaces

Ian Agol|ArXiv.org|Nov 27, 2006

Mathematical Dynamics and Fractals参考文献 1被引用数 13

ひとこと要約

この論文は、正の最初のベッチ数をもつ閉じた算術的双曲的3次元多様体が、任意に大きな最初のベッチ数をもつ有限被覆をもつことを証明している。この主張は、調和形式、対称空間上の群作用、および可換子の力学を用いて、G-不変でない調和形式が、有限索引部分群の下で次第に大きなコホモロジー部分空間を生成することを示す。

ABSTRACT

We prove that a closed arithmetic hyperbolic 3-manifold with positive first betti number has virtually infinite first betti number.

研究の動機と目的

• 特定の算術的双曲的3次元多様体が、任意に大きな最初のベッチ数をもつ有限被覆をもつことを確立すること。
• 格子による不変な調和形式を分析することによって、対称空間における仮想的ベッチ数の理解を拡張すること。
• 格子の下で非G-不変な調和k-形式が存在するならば、コホモロジー階数が増加する有限索引部分群が存在することを示すこと。
• 可換子の力学と位相的閉包の議論を用いて、合同格子を超えた仮想的ベッチ数の結果を一般化すること。
• 他のG-不変な楕円型作用素とその対称空間上の不変解に適用可能な枠組みを提供することにより、算術的幾何学および位相幾何学への広範な適用可能性を示唆すること。

提案手法

• ホッジ理論を用いて、多様体上の調和k-形式とそのコホモロジーとの関係を特定し、特に対称空間への引き戻しに注目する。
• 格子Λの可換子の調和k-形式の空間への作用を分析し、非G-不変な調和形式の群作用による軌道の張るベクトル空間Vを構成する。
• G作用が調和形式の空間に連続であることと、可換子のG内での閉包を用いて、Vが有限次元ならばG-不変でなければならないことを示す。
• Vが有限次元であると仮定したときの矛盾を導出し、Vが無限次元でなければならないことを証明する。これにより、任意に大きなコホモロジーをもつ部分群の構成が可能になる。
• 調和形式の部分空間を次第に大きく固定する有限索引部分群Γ = ∩g_jΛg_j^{-1}を構成し、最初のベッチ数の増加を示す。
• Gが正規部分群によって固定される部分空間に自明に作用するならば、その部分空間はG-不変でなければならないという事実を用いる。非G-不変な形式に対しては、これは矛盾を引き起こす。

実験結果

リサーチクエスチョン

• RQ1 正の最初のベッチ数をもつ閉じた算術的双曲的3次元多様体は、任意に大きな最初のベッチ数をもつ有限被覆をもてるか？
• RQ2 格子の下で非G-不変な調和k-形式が存在するとき、コホモロジー階数が増加する有限索引部分群が存在する条件は何か？
• RQ3 可換子の力学の手法を用いて、対称空間における仮想的ベッチ数の増加を証明するには、どの程度まで適用可能か？
• RQ4 この結果は、非均一格子や合同格子を超えたより一般的な算術的群に対しても拡張可能か？
• RQ5 この枠組みは、他のG-不変な楕円型作用素とその対称空間上の不変解へ一般化可能か？

主な発見

• 任意の正の最初のベッチ数β¹(M) > 0 をもつ閉じた算術的双曲的3次元多様体Mに対して、すべてのi ≥ 1についてβ¹(M_i) ≥ iを満たす有限被覆M_iが存在する。
• 主なメカニズムは、普遍被覆H³上の非G-不変な調和1-形式の存在であり、これは可換子作用の下でΛ-不変な形式の無限次元空間を生成する。
• このような形式の群作用による軌道の張る空間が有限次元であると仮定したときの矛盾により、その空間が無限次元でなければならないことが示され、これにより任意に大きなコホモロジーをもつ部分群の構成が可能になる。
• この結果は、ボレルとセールの合同格子に関する先行研究を、単純等長群における任意の均一な算術的ねじれのない格子へ一般化する。
• この手法は調和形式に限らず、ラプラシアンの固有形式などG-不変な楕円型作用素の解に対しても適用可能であり、固有値の重複度も有限被覆で任意に大きくできることが示唆される。
• 証明は、可換子の閉包と調和形式の空間への群作用の連続性に強く依存している。