[论文解读] 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对Hitchin表示进入$\mathsf{PSL}_d(\mathbb{R})$的分类的全新证明。该结果依赖于无穷小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闭包技术，为Guichard对Hitchin表示进入$\mathsf{PSL}_d(\mathbb{R})$的分类提供全新证明。
• 通过极值根的Hasse图表征可能作为无穷小Zariski闭包出现的李代数。

提出的方法

• 本文使用分裂实代数群相关旗流形中完全正性和正三元旗的理论。
• 通过旗空间中的极小极限集概念，限制离散子群可能的Zariski闭包。
• 通过在部分旗流形上利用逼近性及正锥体内吸引不动点的性质，分析元素的作用。
• 为例外李群（$\mathsf{F}_4$、$\mathsf{G}_2$、$\mathsf{E}_6$）的极值根构造Hasse图，以对闭包的可能李代数结构进行分类。
• 利用配对（pinning）和对偶Borel子群的定义，构造正旗集合$\mathcal{F}_{>0}$，这是识别正三元旗的核心。
• 利用具有正三元旗的极限集的群元素必保持某种旗配置的性质，从而对Zariski闭包的李代数施加约束。

实验结果

研究问题

• RQ1 在具有极小极限集和正三元旗的离散子群下，其Zariski闭包的李代数的半单部分可能为哪些半单李代数？
• RQ2 完全正性和旗配置的性质如何约束此类Zariski闭包的结构？
• RQ3 能否利用无穷小Zariski闭包技术重新推导出Hitchin表示进入$\mathsf{PSL}_d(\mathbb{R})$的分类？
• RQ4 极值根的Hasse图在分类此类闭包的可能李代数中起什么作用？
• RQ5 在给定条件下，哪些分裂实单李代数（A、D、E、F4、G2、E6型）可作为无穷小Zariski闭包的半单部分出现？

主要发现

• 具有极小极限集和正三元旗的离散子群的Zariski闭包的李代数的半单部分，微分同构于A、D或E型分裂实形式的简单李代数的直积。
• 此类闭包的分类由根系中极值根的Hasse图决定，该图编码了正旗可能配置与逼近作用的结构。
• 对于$\mathsf{F}_4$，Hasse图$\mathcal{H}^{\mathsf{F}_4}_{\varpi_\alpha}$有17层，$\mathcal{H}^{\mathsf{F}_4}_{\varpi_\beta}$有12层，反映了旗结构的复杂性。
• 本文建立了从$\mathcal{H}^{\mathsf{E}_6}_\alpha$到$\mathcal{H}^{\mathsf{F}_4}_\alpha$的满射映射$\mathbb{T}^f$，并带有特定标记，揭示了$\mathsf{E}_6$与$\mathsf{F}_4$的Hasse图之间的结构关联。
• 该结果为Guichard对Hitchin表示进入$\mathsf{PSL}_d(\mathbb{R})$的分类提供了全新证明，确认此类表示的Zariski闭包为A型分裂实形式的直积。
• 证明了正表示的无穷小Zariski闭包必为A、D或E型分裂实形式的直积，且在给定条件下不可能出现其他类型。