[論文レビュー] Anosov Flows, Surface Groups and Curves in Projective Space

François Labourie|ArXiv.org|Jan 19, 2004

Geometric and Algebraic Topology参考文献 5被引用数 4

ひとこと要約

本論文は、表面群の PSL(n,R) への表現が、n=2 の古典的テイコフラー理論および n=3 の凸 RP^2 幾何学を一般化して、表面の凸射影構造のホロノミーに一致することを確立する。Higgs bundle 手法と幾何解析を用いて、このような表現が離散的で忠実であり、射影空間内の Frenet 曲線を保存することを証明し、その成分は次元 χ(S)(1−n²) の球体と位相同相である。

ABSTRACT

In 1990, Hitchin's proved a component of the space of representations of a surface group in SL(n,R) is homeomorphic to a ball. For n=2,3 this component has been identified with the holonomies of geometric structures (hyperbolic for n=2, or real projective for n=3). In the preprint "Anosov flows, Surface groups and Curves in Projective Space", we extend this interpretation to higher dimension and show every representation in Hitchin's component is attached to a (special) curve in projective space, thus giving a geometric interpretation of these representations. We also prove these representations are faithful, discrete and purely loxodromic (or hyperbolic)

研究の動機と目的

• n=2（テイコフラー空間）および n=3（凸実射影構造）における Hitchin の成分の幾何的解釈を、より高い n へ一般化すること。
• Hitchin の成分に属する表現が射影空間内の Frenet 曲線を保存することを確立し、凸曲線の概念を拡張すること。
• Higgs バンド手法を超えた幾何的・代数的技法を用いて、このような表現が離散的で忠実であることを証明すること。
• 外自動同型群の Hitchin の成分への作用を分析し、その位相的性質および力学的性質を特定すること。

提案手法

• 表現空間の非可約性および位相的性質を分析するための Higgs バンド技法の使用。
• 射影空間 P(R^n) 内の超凸および Frenet 曲線の定義と研究。これは、相異なる点における接続フラッグの直和を要件とする。
• p-次元部分空間のグラスマン多様体への連続的かつ ρ-不変な写像の構成。この写像は Frenet フラッグ条件を満たす。
• 境界点における極限過程の適用により、群作用の下での不変性を導出する。
• 自己同型バンドル内に平行切断が存在しないことの利用により、表現の非可約性を証明する。
• 代数的群論およびリー代数の議論を用いて、ある部分空間を保存する表現が、特定の交差条件を満たす場合、非可約でないか、群が可約であるかのいずれかであることを示す。

実験結果

リサーチクエスチョン

• RQ1 π₁(S) から PSL(n,R) への Hitchin の成分に属する表現は、n > 3 のとき、P(R^n) 内の Frenet 曲線を保存するか？
• RQ2 Hitchin の成分の幾何的構造は、表面上の凸射影構造のホロノミーとして特徴付けられるか？
• RQ3 Hitchin の成分に属するすべての表現は離散的で忠実であるか。Higgs バンド手法を超えた方法でこれを示すにはどうすればよいか？
• RQ4 π₁(S) の外自動同型群は、Hitchin の成分にどのように作用するか？
• RQ5 グラスマン多様体内の部分空間を保存する表現が、非可約でないのはどのような条件下か？

主な発見

• Rep(π₁(S), PSL(n,R)) の Hitchin の成分は、Hitchin の結果を拡張して、次元 χ(S)(1−n²) の球体と位相同型である。
• n が奇数のとき、1 つの Hitchin の成分がある。n が偶数のとき、同型な 2 つの成分がある。
• Hitchin の成分に属するすべての表現は、P(R^n) 内の Frenet 曲線を保存する。すなわち、連続的かつ超凸で、適切に定義された接続フラッグが、直和条件を満たす。
• ρ-不変な Frenet 曲線の存在は、表現が離散的で忠実であることを示唆する。
• ある (n−k)-次元部分空間 A が、境界の非空な開集合上で dim(ξ^{k+1}(y) ∩ A) ≥ 1 を満たすならば、有限指数部分群への制限は非可約でない。
• すべての元が実的可約で、すべての有限指数部分群が非可約であるような SL(n,R) の部分群は、離散的でなければならない。この条件下で忠実性が証明される。