[论文解读] Prime Order Automorphisms of Riemann Surfaces

Jane Gilman|ArXiv.org|Jan 10, 2007

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

一句话总结

本文通过施莱弗-赖德迈斯特重写过程，提供了对高亏格 $ g \geq 2 $ 紧黎曼曲面上素数阶共形自同构的适配同调基存在的详细证明。研究将理论扩展至无不动点自同构的情形，构造了一个显式例子并计算了其交点矩阵，进一步推导出新结论，包括有限阶映射类由其在同调上的作用唯一确定。

ABSTRACT

Recently there has been renewed interest in the mapping-class group of a compact surface of genus $g \ge 2$ and also in its finite order elements. A finite order element of the mapping-class group will be a conformal automorphisms on some Riemann surface of genus $g$. Here we give the details of the proof that there is an {\sl adapted basis} for any conformal automorphism of prime order on a surface of genus $g$ and extend the original result to apply to fixed point free automorphisms. An adapted basis is one that reflects the action of the automorphism in the optimal manner described below. The proof uses the Schreier-Reidemeister rewriting process. We find some new consequences of the existence of an adapted basis. We also construct an explicit example of such a basis and compute its intersection matrix.

研究动机与目标

• 为高亏格 $ g \geq 2 $ 的紧黎曼曲面上的素数阶共形自同构，提供一个完整且严谨的适配同调基存在的证明。
• 将理论扩展至此前研究较少的无不动点自同构情形。
• 为所构造的此类基的一个显式例子，计算其交点矩阵。
• 从适配基的存在性出发，推导出新的代数或几何结论，特别是关于有限阶映射类由其同调作用唯一确定的问题。
• 澄清并扩展先前工作中应用的施莱弗-赖德迈斯特重写过程，该过程此前被认为过于简略，难以完全理解。

提出的方法

• 将施莱弗-赖德迈斯特重写过程应用于商曲面 $ S_0 = S / \langle h \rangle $ 的基本群，以构造与素数阶自同构 $ h $ 作用相适应的同调基。
• 适配基被定义为一组环路 $ \{ h^j(A_i), h^j(B_i) \} $，其中 $ i = 1, \dots, g_0 $，$ j = 0, \dots, p-1 $，并附加捕捉不动点数据的环路。
• 通过曲面的辛结构计算交点矩阵，其显式条目由基元素之间的几何交点数导出。
• 自同构 $ h $ 在同调基上的作用以 $ 6 \times 6 $ 矩阵表示，通过共轭与重写规则推导，并验证其为辛矩阵。
• 通过证明该矩阵满足辛变换的定义性质并尊重群作用，验证了构造的有效性。
• 对 $ t = 0 $（无不动点自同构）的情形单独处理，并对重写与基构造过程进行相应修改。

实验结果

研究问题

• RQ1 对于任意高亏格 $ g \geq 2 $ 的紧黎曼曲面上的素数阶共形自同构（包括无不动点情形），是否存在适配同调基？
• RQ2 如何系统性地应用施莱弗-赖德迈斯特重写过程，以完整细节构造此类基？
• RQ3 在非平凡例子中，适配基的交点矩阵具有何种显式形式？
• RQ4 适配基的存在性会引出哪些新的代数或几何结论？
• RQ5 有限阶映射类在同调上的作用在多大程度上唯一确定该映射类？

主要发现

• 对于高亏格 $ g \geq 2 $ 的紧黎曼曲面上任意素数阶共形自同构，包括无不动点情形，适配同调基均存在。
• 施莱弗-赖德迈斯特重写过程被完整详尽地展开并应用于基的构造，解决了先前表述中的模糊之处。
• 构造了一个显式例子，其中 $ p = 3 $，$ t = 5 $，特征为 $ (1,1,2,1,1) $，得到一个 $ 6 \times 6 $ 的交点矩阵，其条目属于 $ \{ -1, 0, 1 \} $。
• 自同构 $ h $ 在同调基上的作用由一个 $ 6 \times 6 $ 矩阵表示，经验证为辛矩阵，确认其与辛群 $ Sp(6, \mathbb{Z}) $ 一致。
• 映射类群同态 $ \pi: MCG(S_g) \to Sp(2g, \mathbb{Z}) $ 限制在有限阶元素上为单射，表明有限阶映射类由其在同调上的作用唯一确定。
• 适配基的存在性意味着：若商曲面亏格 $ g_0 \neq 0 $，则素数阶自同构是可约的，因为它们保持一组不相交的简单闭曲线。