[論文レビュー] The bounded Borel class and complex representations of 3-manifold groups

Michelle Bucher, Marc Burger+1 more|arXiv (Cornell University)|Dec 10, 2014

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

ひとこと要約

本稿は、3次元多様体の基本群からPSL(n,C)への表現に対して、Goncharovのフラグ不変量から導かれる有界コサイクルを用いて、有界ボレル類不変量を定義する。この不変量が、PSL(2,C)のn次元非可約複素表現に共役である表現に対してのみ最大値に達することを証明し、双曲的体積および群のグロモフノルムを用いたミルナー＝ヴォドジッチ型不等式を、鋭い上界とともに確立する。

ABSTRACT

If $Γ

研究の動機と目的

• 3次元多様体群のPSL(n,C)への表現に対して、有界コhomologyを用いて連続的かつ有界な不変量を定義すること。
• 境界が非コンパクトでクーパスを持つ双曲的3次元多様体に対してボレル不変量を定義する際の困難を克服すること。
• この不変量の鋭い上界を、双曲的体積および群のグロモフノルムの観点から確立すること。
• 最大不変量に達する表現が、PSL(2,C)のn次元非可約表現に共役であるものであることを同定すること。
• PSL(n,C)の3次元有界コhomologyを研究し、ボレル類が明示的なノルムを伴い、生成元として同定されることを示すこと。

提案手法

• 3次元多様体MのコンパクトコアNの相対的基本類に引き戻された有界類βb(n)の評価として、ボレル不変量B(ρ)を定義する。
• Cn内の4つの完全フラグの4重対の空間上で有界コサイクルを定義し、Goncharovの不変量Bnを一般化する。
• Γ-不変な装飾ϕ: ∂H³ → F(Cn)を構成することで、B(ρ)を三角形分割における理想四面体上の和としての式に変換する。
• モノードの安定性結果を活用し、有界コhomology技術を用いてH3cb(PSL(n,C), R)を分析する。
• 境界上で作用するより大きな群Γξのエルゴディシティを証明し、測度論的技法を用いて剛性結果を得る。
• Cn内の平面と直線の双対設定を用いてコサイクルを定義・分析し、ファルベルとワンの研究と明示的に比較する。

実験結果

リサーチクエスチョン

• RQ1 Γを有限体積の双曲的3次元多様体の基本群とするとき、表現ρ: Γ → PSL(n,C)に対するボレル不変量B(ρ)の最大値は何か？
• RQ2 どの表現ρ ∈ Hom(Γ, PSL(n,C))がこの最大値に達するか？
• RQ3 境界の基本群がアーメンである非コンパクト3次元多様体に対して、ボレル不変量はどのように定義され、計算されるか？
• RQ4 有界コホモロジー群H3cb(PSL(n,C), R)の構造は何か？また、ボレル類は生成元か？
• RQ5 有界類βb(n)は、SL(n−1,C) ⊂ SL(n,C)の左コーナー埋め込みおよび非可約表現πn: SL(2,C) → SL(n,C)の下でどのように制限されるか？

主な発見

• 不等式 |B(ρ)| ≤ n(n²−1)/6 · Vol(M) が成り立ち、等号成立はρがπn|Γまたはその複素共役に共役である場合に限る。
• 有界類βb(n) ∈ H3cb(PSL(n,C), R)は有界コホモロジー群の生成元であり、Gromovノルムは ‖βb(n)‖ = n(n²−1)/6 · v3 である。ここでv3はH³内での最大理想四面体の体積である。
• 不変量B(ρ)は明示的な式 B(ρ) = ∑ᵢ Bn(ϕ(P₀ⁱ), ϕ(P₁ⁱ), ϕ(P₂ⁱ), ϕ(P₃ⁱ)) で与えられ、一般性や重心分割を仮定せず、任意の装飾ϕに対して有効である。
• 左コーナー埋め込みSL(n−1,C) → SL(n,C)の下で、有界類βb(n)はβb(n−1)に制限され、非可約表現πn: SL(2,C) → SL(n,C)の下では(n(n²−1)/6)·βb(2)に制限される。
• 群Γξ = ⟨Λξ, γξ⟩はIsom(H³)上でエルゴディックに作用し、測度論的技法を用いて装飾の剛性を証明する。
• βb(n)を定義する有界コサイクルは、フラグの退化配置へも拡張可能であり、Goncharovの構成を一般化し、一般性のある状況でも不変量を定義可能にする。