[论文解读] On the SU(2,1) representation space of the Brieskorn homology spheres

Vu The Khoi|ArXiv.org|Nov 14, 2008

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文为Brieskorn同调球面的SU(2,1)表示空间提供了轨迹坐标参数化，使用特定群元素及其换位子的迹。证明了在共轭意义下，不可约表示由$xy$、$x^{-1}y$的迹以及$[x,y]$的迹的虚部唯一分类，并将其应用于表明，尽管在$\Sigma(2,3,11)$中检测到五个连通分支，但轨道空间托莱多不变量在$\mathcal{R}^{*}_{\rm PU(2,1)}(\Sigma(2,3,13))$中无法区分连通分支。

ABSTRACT

In this paper, we give a parameterization of the SU(2,1) representation space of the Brieskorn homology spheres using the trace coordinates. As applications, we give an example which shows that the orbifold Toledo invariant in \cite{krebs} does not distinguish the connected components of the PU(2,1) representation space.

研究动机与目标

• 使用特定群元素及其换位子的迹不变量，为Brieskorn同调球面的SU(2,1)表示空间开发坐标系。
• 通过关键群元素的迹数据，对不可约表示在共轭意义下进行分类。
• 研究轨道空间托莱多不变量在区分PU(2,1)表示空间连通分支方面的有效性。
• 为特定Brieskorn球面$\Sigma(2,3,11)$和$\Sigma(2,3,13)$提供表示空间的显式描述。
• 证明托莱多不变量在某些情况下不足以检测所有连通分支，尽管它是已知的下界工具。

提出的方法

• 利用不变量环理论和秩为二的自由群中的代数关系，推导出SU(2,1)矩阵的迹恒等式。
• 将迹恒等式应用于以坐标形式表达表示空间：$t_{xy}$、$t_{x^{-1}y}$和$\Im(t_{[x,y]})$。
• 基于椭圆元素的特征值类型（正/负）对SU(2,1)中的共轭类进行分类。
• 将主定理应用于计算$\Sigma(2,3,11)$和$\Sigma(2,3,13)$的显式表示，假设$\rho(h) = I$。
• 通过计算机辅助搜索枚举孤立的不可约表示，并在PU(2,1)商空间中验证其互异。
• 将连通分支数量与轨道空间托莱多不变量的取值进行比较，以评估其区分能力。

实验结果

研究问题

• RQ1 Brieskorn同调球面的SU(2,1)表示空间能否通过特定群元素及其换位子的迹坐标进行参数化？
• RQ2 两个Brieskorn同调球面的不可约SU(2,1)表示是否当且仅当$xy$、$x^{-1}y$的迹以及$[x,y]$的迹的虚部相等时共轭？
• RQ3 轨道空间托莱多不变量是否能完全区分Brieskorn同调球面的PU(2,1)表示空间的连通分支？
• RQ4 $\mathcal{R}^{*}_{\rm SU(2,1)}(\Sigma(2,3,11))$和$\mathcal{R}^{*}_{\rm SU(2,1)}(\Sigma(2,3,13))$中存在多少个不可约表示？它们与托莱多不变量有何关系？
• RQ5 即使托莱多不变量提供下界，它是否仍可能无法区分PU(2,1)表示空间中的连通分支？

主要发现

• Brieskorn同调球面的SU(2,1)表示空间完全由迹$t_{xy}$、$t_{x^{-1}y}$和$\Im(t_{[x,y]})$参数化，且共轭性由这些不变量确定。
• 对于$\Sigma(2,3,11)$，在$\mathcal{R}^{*}_{\rm SU(2,1)}$中恰好存在五个不可约表示，且所有表示满足$\rho(h) = I$，它们在$\mathcal{R}^{*}_{\rm PU(2,1)}$中产生五个不同的点，与托莱多不变量的下界一致。
• 对于$\Sigma(2,3,13)$，在$\mathcal{R}^{*}_{\rm SU(2,1)}$中恰好存在八个孤立的不可约表示，且所有表示满足$\rho(h) = I$，它们在$\mathcal{R}^{*}_{\rm PU(2,1)}$中产生八个不同的点。
• 尽管表示空间中有八个连通分支，轨道空间托莱多不变量在$\Sigma(2,3,13)$中仅取七个不同的值，证明其无法区分所有分支。
• 在$\Sigma(2,3,11}$中，托莱多不变量正确检测到五个分支，表明在此情况下其下界是紧的。
• 所列表示中，换位子迹的虚部$\Im(t_{[x,y]})$均为零，表明换位子是特征值位于单位圆上的椭圆元素。