任意特征域下Culler-Shalen理论的入门指南

Culler和Shalen于1983年的经典工作中，将3流形中的必需曲面关联到其$\text{SL}_2(\mathbb{C})$-character variety的理想点，并通过树上的群作用建立了character variety的代数几何与3流形拓扑之间的联系。本文在任意特征域下建立该理论的一般基础，方法同样适用于任意代数闭域。例子包括特征2下$A$-多项式的变化、一个无可检测必需曲面的闭Haken双曲3流形，以及仅在特征2下检测到必需曲面的闭Haken双曲3流形。