[論文レビュー] Maximal Representations of Surface Groups: Symplectic Anosov Structures

Marc Burger, Alessandra Iozzi+2 more|ArXiv.org|Jun 4, 2005

Geometry and complex manifolds参考文献 26被引用数 5

ひとこと要約

この論文は、曲面群の基本群からSp(2n,R)への最大表現が、ヒルベルト対称空間上での離散的で、忠実であり、Anosov力学的である作用をもたらし、関連する極限集合がコンパクト化におけるリクチフィエイブルな円周をなすことを確立する。主な貢献は、このような表現がシンプレクティックAnosov構造を誘導することの証明であり、最大トーラルト不変量と幾何学的・力学的剛性を結びつける。

ABSTRACT

Let G be a connected semisimple Lie group such that the associated symmetric space X is Hermitian and let Gamma be the fundamental group of a compact orientable surface of genus at least 2. We survey the study of maximal representations, that is the subset of Hom(Gamma,G) which is a union of components characterized by the maximality of the Toledo invariant. Then we concentrate on the particular case G=SP(2n,R), and we show that the image of Gamma under any maximal representation is a discrete faithful realization of Gamma as a Kleinian group of complex motions in X with an associated Anosov system, and whose limit set in an appropriate compactification of X is a rectifiable circle.

研究の動機と目的

• ヒルベルト対称空間をもつ半単純リー群への曲面群の最大表現をトーラルト不変量によって特徴付けること。
• G = Sp(2n,R)の場合に、最大表現が離散的で忠実であり、Anosov力学的である作用をもたらすことを確立すること。
• このような表現の極限集合が、対称空間の自然なコンパクト化におけるリクチフィエイブルな円周であることを証明すること。
• 有界コホノロジーとAnosov力学を、最大表現の幾何的構造と結びつけること。
• Anosov構造を通じて、ヒッチン成分や正則表現の理解をシンプレクティック設定へと拡張すること。

提案手法

• G = Sp(2n,R)に対して、Hom(Γg, G)における最大表現を定義・特徴付けるためにトーラルト不変量の使用。
• シンプレクティックAnosov構造の適用により、画像ρ(Γg)が対称空間X上でKleinian群として離散的かつ忠実に作用することの証明。
• 普遍被覆の境界からラグランジュン・グラスマンニアンL(V)へのρ-等長連続写像φ: S¹ → L(V)の構成。
• ラグランジュン・グラスマンニアン上の因果的構造の使用と、Q(L₀)をSym(L₀)に同定することにより、φの像の分析。
• 内積⟨⟨A,B⟩⟩ = tr(AB)を用いたSym(L₀)における正定値二次形式の錐の開凸鋭錐条件を用いてリクチフィエイブル性の証明。
• 語長ℓ(γ)の下界を、リーマン距離d(0, γ·0)により、Milnor–Svarc補題の適用。

実験結果

リサーチクエスチョン

• RQ1 曲面群からSp(2n,R)への最大表現から生じる力学的・幾何的構造は何か？
• RQ2 ヒルベルト対称空間への最大表現の文脈において、シンプレクティックAnosov構造はどのように出現するか？
• RQ3 対称空間Xのコンパクト化におけるρ(Γg)の極限集合の性質は何か？
• RQ4 トーラルト不変量は、境界写像のAnosov性およびリクチフィエイブル性とどのように関係するか？
• RQ5 有界コホノロジー技法を用いて、このような表現の存在性および剛性を確立できるか？

主な発見

• 最大表現ρ: Γg → Sp(2n,R)は、ヒルベルト対称空間X上でのΓgの離散的かつ忠実な作用をもたらす。
• 画像ρ(Γg)は、Xにおける複素運動のKleinian群であり、シンプレクティックAnosov構造をもつ。
• 境界写像φ: S¹ → L(V)は単射かつ連続であり、その像はラグランジュン・グラスマンニアンにおけるリクチフィエイブルな円周である。
• 極限集合のリクチフィエイブル性は、L₀上での正定値二次形式の錐の凸性および鋭錐性に起因する。
• 距離d(J(u), J(gₜu))は2Atのオーダーで少なくとも線形に増加し、Anosov力学が成立する。
• 下界d(J₀, ρ(γ)J₀) ≥ 2Ad(0, γ·0) − 2Cにより、動的変位が語長ℓ(γ)と結びつく。