[論文レビュー] Regularity of limit sets of Anosov representations

Tengren Zhang, Andrew Zimmer|arXiv (Cornell University)|Mar 26, 2019

Mathematical Dynamics and Fractals参考文献 9被引用数 10

ひとこと要約

本稿は、PGL_d(R) への 1-Anosov 表現の極限集合が射影空間の C^α-部分多様体であるための必要十分条件を確立する。表現が m-Anosov であり、フラッグ三重に横断性条件を満たすならば、1-極限集合は C^α-正則であり、最適な α は表現の固有値データによって定まる。この結果は、Benoist の可除凸領域に関する研究を一般化し、スペクトルデータに基づく鋭い正則性閾値を提供する。

ABSTRACT

In this paper we establish necessary and sufficient conditions for the limit set of a projective Anosov representation to be a differentiable submanifold of projective space with Holder continuous derivatives. We also calculate the optimal value of the Holder constant in terms of the eigenvalue data of the Anosov representation.

研究の動機と目的

• PGL_d(R) への 1-Anosov 表現の極限集合が α > 1 に対して C^α-部分多様体であるような正確な条件を同定すること。
• Anosov 表現の固有値データを用いて最適な正則性指数 α を特徴付けること。
• Benoist の可除凸領域に関する正則性結果を、より広いクラスの Anosov 表現へ一般化すること。
• 1-極限集合の正則性がフラッグ写像の横断性と表現のスペクトル的性質によって支配されることを確立すること。

提案手法

• 著者らは ρ-制御集合を定義し、それらを用いて P(R^d) 内の 1-極限集合 M = ξ^(1)(∂∞Γ) の微分可能性を分析する。
• 横断性条件を導入する：任意の相異なる x,y,z ∈ ∂∞Γ に対して、和 ξ^(1)(x) + ξ^(1)(z) + ξ^(d−m)(y) が直和である。
• この手法は、特に 1-フラッグ写像 ξ^(1) と m-フラッグ写像 ξ^(m) を含む、Anosov 表現および関連フラッグ写像の理論に依拠している。
• Lie 環の分解と Cartan 対合の作用を用いて、表現の微分の固有値構造を分析する。
• 関連する一パラメータ部分群の固有値比を分析することで最適な α を計算する。特に、最大固有値とその随伴作用における減衰率に注目する。
• 動的性質と表現論的技法（特に、1-Anosov 場合に還元するための既約表現の使用）を組み合わせた証明である。

実験結果

リサーチクエスチョン

• RQ1 1-Anosov 表現の 1-極限集合が、ある α > 1 に対して P(R^d) の C^α-部分多様体であるための条件は何か？
• RQ2 Anosov 表現の固有値データから最適な正則性指数 α をどのように計算できるか？
• RQ3 フラッグ三重に対する横断性条件が、極限集合の C^α-正則性を保証するために果たす役割は何か？
• RQ4 極限集合の正則性は、PGL_d(R) 内の関連する一パラメータ部分群のスペクトルデータとどのように関係するか？
• RQ5 正則性閾値は鋭く、表現論的不変量を用いて明示的に決定可能か？

主な発見

• 表現が m-Anosov であり、フラッグ三重に横断性条件を満たすならば、1-極限集合 M = ξ^(1)(∂∞Γ) は P(R^d) の C^α-部分多様体（ある α > 1）である。
• 最適な正則性指数 α は、Anosov 表現の固有値データによって決定され、特に関連する一パラメータ部分群における最大固有値とその次の最大固有値の比に依存する。
• 点 ξ^(1)(x) における M の接空間は、正確に ξ^(m)(x) に一致し、M の接バンドルと m-フラッグ写像の間の自然な同一視が確立される。
• 条件（m-Anosov 性と横断性）は、表現空間 Hom(Γ, PGL_d(R)) 内で開であるため、微小変形に対しても正則性結果が安定する。
• この結果は、Benoist の実双曲空間内の可除凸領域に関する定理を、1-Anosov 表現の全クラスへ一般化する。
• 実双曲格子や Hitchin 表現の場合は、正則性閾値 α は明示的に計算可能であり、次元 d と表現のスペクトルギャップに依存する。