[论文解读] SL(2;R)-representations of a Brieskorn homology 3-sphere

Teruaki Kitano, Yoshikazu Yamaguchi|arXiv (Cornell University)|Feb 24, 2016

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

一句话总结

本文对布里埃斯科恩同调3-球面的不可约SL(2;ℂ)-表示进行分类，证明任何不共轭于SU(2)-表示的此类表示必共轭于SL(2;ℝ)-表示。这些SL(2;ℝ)-表示源于基轨道丛基本群到PSL(2;ℝ)的同态，通过Seifert纤维化覆盖映射建立了明确的对应关系。

ABSTRACT

We classify SL(2;C)-representations of a Brieskorn homology 3-sphere. We show any irreducible representation into SL(2;C) is conjugate to that into either SU(2) or SL(2;R). We also give a construction of SL(2;R)-representations for a Brieskorn homology 3-sphere from PSL(2;R)-representations of the base orbifold fundamental group.

研究动机与目标

• 对布里埃斯科恩同调3-球面的不可约SL(2;ℂ)-表示进行分类。
• 在该背景下，确定不可约SL(2;ℂ)-表示与SU(2)-表示之间的结构性差异。
• 从基轨道丛基本群的PSL(2;ℝ)-表示构造SL(2;ℝ)-表示。
• 在3-球面的SL(2;ℝ)-表示与轨道丛基本群的PSL(2;ℝ)-表示之间建立明确的对应关系。
• 将SL(2;ℝ)-表示的计数与Casson不变量及中心扩张的Euler类联系起来。

提出的方法

• 利用布里埃斯科恩同调3-球面在具有三个锥点的2-轨道丛S²(a₁,a₂,a₃)上的Seifert纤维化结构。
• 利用基本群π₁Σ(a₁,a₂,a₃)的表示⟨x,y,z,h | h中心, x^{a₁}=h^{-b₁}, y^{a₂}=h^{-b₂}, z^{a₃}=h^{-b₃}, xyz=h^b⟩。
• 通过提升轨道丛基本群Γ(a₁,a₂,a₃) = ⟨x,y,z | x^{a₁}=y^{a₂}=z^{a₃}=xyz=1⟩的PSL(2;ℝ)-表示，构造SL(2;ℝ)-表示。
• 应用涉及Euler类e ∈ H²(Γ;ℤ)的迹公式，计算生成元的迹：tr(ρ(x)) = 2cos(π|e|b₁/a₁)，依此类推。
• 利用Seifert纤维化空间之间的覆盖映射，关联不同纤维化中的表示。
• 通过比较迹并利用SL(2;ℝ)-表示由迹数据唯一确定（模共轭）的性质，验证共轭性。

实验结果

研究问题

• RQ1 布里埃斯科恩同调3-球面的所有不可约SL(2;ℂ)-表示是否都共轭于SU(2)或SL(2;ℝ)表示？
• RQ2 能否系统地从基轨道丛基本群的表示构造3-球面的SL(2;ℝ)-表示？
• RQ3 3-球面的SL(2;ℝ)-表示与轨道丛基本群的PSL(2;ℝ)-表示之间存在何种精确对应关系？
• RQ4 SL(2;ℝ)-表示的计数如何与Casson不变量及Euler类等拓扑不变量相关联？
• RQ5 在Euler类诱导的Seifert纤维化序列中，布里埃斯科恩同调3-球面在何种条件下表现为纤维化空间？

主要发现

• 任何布里埃斯科恩同调3-球面的不可约SL(2;ℂ)-表示均共轭于SU(2)-表示或SL(2;ℝ)-表示。
• 不可约SL(2;ℝ)-表示的共轭类数量等于SL(2;ℂ)-Casson不变量与两倍SU(2)-Casson不变量之差。
• 对于Σ(2,3,6n+1)，恰好存在n个不可约SL(2;ℝ)-表示的共轭类，与差值λ_SL(2;ℂ) - 2|λ|一致。
• SL(2;ℝ)-表示通过H²(Γ;ℤ)中Euler类的提升过程，由基轨道丛基本群的PSL(2;ℝ)-表示诱导而来。
• 对于Σ(3,5,7)，当Euler类满足β = -1且β₁/3 + β₂/5 + β₃/7 < 1时，存在四个不同的SL(2;ℝ)-表示，其对应的Seifert空间具有非平凡同调。
• 在Σ(2,3,6n+1)中，生成元Z的迹为2cos(πk/(6n+1))或2cos(π - πk/(6n+1))，具体取决于n−k的奇偶性，从而确认了表示的SL(2;ℝ)性质。