[论文解读] SL(3,C)-Character Varieties and RP2-Structures on a Trinion

Sean Lawton|arXiv (Cornell University)|Jul 3, 2014

Advanced Topics in Algebra参考文献 16被引用 7

一句话总结

本文为自由群两个生成元的 SL(3,C)-表示的不变量环提供了最小生成集和定义关系，证明了特征簇 X 是 C^9 中的超曲面，并通过所选生成元显式展示了 Out(F2) 对称性。该研究在该不变量环上构造了泊松代数结构，并推导出明确的代数条件，以区分特征簇中凸实射影结构（RP2-structures）的模空间。

ABSTRACT

Denote the free group on two letters by F2 and the SL(3,C)-representation variety of F2 by R = Hom(F2, SL(3, C)). There is a SL(3,C)-action on the coordinate ring of R, and the geometric points of the subring of invariants is an affine variety X. We determine explicit minimal generators and defining relations for the subring of invariants and show X is a hyper-surface in C9. Our choice of generators exhibit Out(F2) symmetries which allow for a succinct expression of the defining relations. We then show C[X] is a Poisson algebra with respect to a presentation of F2 imposed by a punctured surface. We work out the bracket on all generators when the surface is a thrice punctured sphere, or a trinion. The moduli space of convex real projective structures on a trinion, denoted by P,is a subset of X. Lastly, we determine explicit conditions in terms of C[X] that distinguish this moduli space.

研究动机与目标

• 确定自由群 F2 的 SL(3,C)-表示的不变量环的最小生成集和定义关系。
• 证明特征簇 X 是 C^9 中的超曲面，并通过所选生成元显式展示其 Out(F2) 对称性。
• 利用带 puncture 的曲面表示，为不变量环 C[X] 赋予泊松代数结构。
• 通过 C[X] 中的显式代数条件，将三叶形上凸实射影结构的模空间 P 作为 X 的子集加以识别。
• 为推广至更高秩或更复杂曲面提供清晰且对称的框架。

提出的方法

• 将 SL(3,C)-表示簇 R = Hom(F2, SL(3,C)) 构造为 C^9 中的仿射簇，其坐标对应于表示生成元的矩阵。
• 将特征簇 X 定义为 R 在 SL(3,C) 共轭作用下的商，通过不变子环 C[R]^SL(3,C) 的谱实现。
• 识别出 C[X] 的 9 个显式代数独立生成元，并推导其定义多项式关系，证明 X 是 C^9 中的超曲面。
• 利用三重打孔球面（三叶形）的曲面结构，在 C[X] 上诱导泊松括号，并在所有生成元上显式计算该括号。
• 应用 Goldman 等人的结果，将凸 RP2-结构的模空间 P 特征化为 X 的半代数子集。
• 通过 Casimirs 和参数 s,t 的显式方程，验证特征映射在 P 上的纤维，使用符号计算（Mathematica）进行验证。

实验结果

研究问题

• RQ1 自由群两个生成元的 SL(3,C)-特征簇的最小生成集和完整定义关系是什么？
• RQ2 如何在不变量环及其关系中显式展现表示簇的 Out(F2) 对称性？
• RQ3 当曲面为三叶形时，特征簇上出现何种泊松结构？如何在生成元上显式计算该结构？
• RQ4 在不变量环中，哪些代数条件可将三叶形上凸 RP2-结构的模空间与整个特征簇区分开来？
• RQ5 如何利用 Casimirs 和几何参数描述特征映射在 RP2-模空间上的纤维？

主要发现

• 特征簇 X 是 C^9 中的超曲面，其显式定义关系由 9 个不变量的最小生成集导出。
• 不变量环 C[X] 允许由三叶形曲面结构诱导的泊松代数结构，且在所有生成元上显式计算了括号关系。
• 生成元表现出 Out(F2) 对称性，从而实现了不变量环的简洁且清晰的表述。
• 三叶形上凸 RP2-结构的模空间 P 通过不变量中的显式多项式不等式被特征化为 X 的半代数子集。
• P 上特征映射的纤维完全由 Casimirs 和几何参数 s,t 的方程确定，经符号计算验证。
• 边界单值变换的最大特征值 λ1, λ2, λ3 满足涉及不变量的三次方程，且 t_{(±4)} 可有理地用 s,t 和这些特征值表示。