[論文レビュー] Infinitesimal Zariski closures of positive representations

Andrés Sambarino|arXiv (Cornell University)|Dec 18, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 10

ひとこと要約

この論文は、分岐実単純代数的群の離散部分群のZariski閉包のリー代数の半単純部を、最小極限集合と正のフラッグ三重組の存在という条件下で分類する。その結果、このような閉包は、A、D、またはE型の単純リー代数の分岐実形式の積に一致することが示され、これによりGuichardによるPSL_d(R)へのHitchin表現の分類に対する新たな証明が得られる。この結果は無限小Zariski閉包技術と極値根のHasse図に依拠している。

ABSTRACT

We classify the (semi-simple parts of the) Lie algebra of the Zariski closure of a discrete subgroup of a split simple real-algebraic Lie group, whose limit sets are minimal and such that the limit set in the space of full flags contains a positive triple of flags (as in Lusztig). We then apply our result to obtain a new proof of Guichard's classification of Zariski closures of Hitchin representations into $PSL_d(\mathbb{R}).$

研究の動機と目的

• 分岐実単純代数的群における離散部分群のZariski閉包のリー代数の半単純部を、特定の力学的・幾何的条件下で分類すること。
• 極限集合とフラッグ構成の分析を通じて、正表現のZariski閉包の構造を理解すること。
• 無限小Zariski閉包技術を用いて、PSL_d(R)へのHitchin表現の分類を再証明すること。
• 極値根のHasse図を用いて、このような閉包として生じ得るリー代数の可能性を特徴づけること。

提案手法

• 論文は、分岐実代数的群に付随するフラッグ多様体における完全正則性理論および正のフラッグ三重組の理論を用いる。
• フラッグ空間における最小極限集合の概念を適用し、離散部分群の可能なZariski閉包を制約する。
• 部分フラッグ多様体への作用を、正の錐の内部における近接性と吸引固定点を用いて近接性の観点から分析する。
• 例外的リー群（F_4、G_2、E_6）の極値根のHasse図を構成し、閉包のリー代数構造の可能性を分類する。
• ピンニングおよび対になるBorel部分群を用いて、正のフラッグの集合F_{>0}を定義し、これが正の三重組の特定に中心的役割を果たす。
• 極限集合に正のフラッグ三重組を含む群の元は、特定のフラッグ構成を保存する必要があるため、Zariski閉包のリー代数に制約が生じる。

実験結果

リサーチクエスチョン

• RQ1 最小極限集合と正のフラッグ三重組を備えた離散部分群のZariski閉包のリー代数の半単純部として生じ得る可能性のある半単純リー代数は何か？
• RQ2 完全正則性およびフラッグ構成の性質が、このようなZariski閉包の構造にどのように制約を加えるか？
• RQ3 無限小Zariski閉包技術を用いて、PSL_d(R)へのHitchin表現の分類を再導出できるか？
• RQ4 極値根のHasse図は、このような閉包としてのリー代数の可能性を分類する上で果たす役割は何か？
• RQ5 与えられた条件下で、A、D、E、F4、G2、E6型の分岐実単純リー代数のうち、どれが無限小Zariski閉包の半単純部として現れる可能性があるか？

主な発見

• 最小極限集合と正のフラッグ三重組を備えた離散部分群のZariski閉包のリー代数の半単純部は、A、D、またはE型の単純リー代数の分岐実形式の積に同型である。
• このような閉包の分類は、根系における極値根のHasse図によって決定され、正のフラッグの配置と近接作用の可能性を符号化している。
• F_4に対して、Hasse図H^{F_4}_{\varpi_\alpha}は17段階、H^{F_4}_{\varpi_\beta}は12段階であり、フラッグ構造の複雑さを反映している。
• 論文は、特定のラベル付けを伴う全射写像T^f: H^{E_6}_\alpha \to H^{F_4}_\alphaを確立し、E_6とF_4のHasse図の間の構造的関係を示している。
• この結果により、PSL_d(R)へのHitchin表現の分類に対するGuichardの証明が新たな形で得られ、このような表現のZariski閉包がA型の分岐実形式の積に一致することが確認された。
• 正表現の無限小Zariski閉包が、A、D、またはE型の分岐実形式の積に一致することが示され、与えられた条件下ではそれ以外の型はあり得ない。