曲面上Z_{p}^{m}作用的拓扑分类
几何拓扑
2007-05-23 v1 代数几何
摘要
设S ~ \widetilde{S} S 为亏格g g g 的闭(紧无边界)定向曲面,G G G 为同构于Z p m \mathbf{Z}_{p}^{m} Z p m 的群,其中p p p 为素数。G G G 在S S S 上的一个作用为一对( S ~ , f ) (\widetilde{S},f) ( S , f ) ,其中f f f 是G G G 在S ~ \widetilde{S} S 的保向自同胚群中的一个表示。两个作用( S ~ , f ) (\widetilde{S},f) ( S , f ) 与( S ′ ~ , f ′ ) (\widetilde{S^{\prime}},f^{\prime}) ( S ′ , f ′ ) 称为强(相应弱)等价,若存在同胚ψ ~ : S ~ → S ~ ′ \widetilde{\psi}:\widetilde{S}\to \widetilde{S}^{\prime} ψ : S → S ′ ,将S ~ \widetilde{S} S 的定向映为S ~ ′ \widetilde{S}^{\prime} S ′ 的定向,使得对所有h ∈ G h\in G h ∈ G 有f ′ ( h ) = ψ ~ ∘ f ( h ) ∘ ψ ~ − 1 f^{\prime}(h)=\widetilde{\psi}\circ f(h)\circ \widetilde{\psi}^{-1} f ′ ( h ) = ψ ∘ f ( h ) ∘ ψ − 1 (相应存在自同构α ∈ A u t ( G ) \alpha \in Aut(G) α ∈ A u t ( G ) 使得f ′ ∘ α ( h ) = ψ ~ ∘ f ( h ) ∘ ψ ~ − 1 f^{\prime}\circ \alpha (h)=\widetilde{\psi}\circ f(h)\circ \widetilde{\psi}^{-1} f ′ ∘ α ( h ) = ψ ∘ f ( h ) ∘ ψ − 1 )。我们给出强与弱等价类的完整描述。我们工作的主要思想是:Z p m \mathbf{Z}_{p}^{m} Z p m 在曲面上的无不动点作用给出了Z p m \mathbf{Z}_{p}^{m} Z p m 上的一个双线性反对称形式。例如,我们证明:G G G 在轨道空间亏格为g g g 的曲面上的弱等价类与如下集合一一对应:该集合由正整数k k k (k ≤ m − n k\leq m-n k ≤ m − n ,k = ( m − n ) \func m o d 2 k=(m-n)\func{mod}2 k = ( m − n ) \func m o d 2 ,g ≥ 1 / 2 ( m − n + k ) g\geq {1/2}(m-n+k) g ≥ 1/2 ( m − n + k ) )以及A u t ( G ) Aut(G) A u t ( G ) 在由非平凡元素组成且无序r r r -元组[ C 1 , . . . , C r ] [C_{1},...,C_{r}] [ C 1 , ... , C r ] 集合上的作用轨道构成,这些元素生成同构于Z p n \mathbf{Z}_{p}^{n} Z p n 的子群且满足∑ 1 r C i = 0 \sum_{1}^{r}C_{i}=0 ∑ 1 r C i = 0 。我们用此结果描述具有同构于Z p m \mathbf{Z}_{p}^{m} Z p m 的自同构群的复代数曲线的模空间。
引用
@article{arxiv.math/0011249,
title = {Topological classification of Z_{p}^{m} actions on surfaces},
author = {Antonio F. Costa and Sergei M. Natanzon},
journal= {arXiv preprint arXiv:math/0011249},
year = {2007}
}