[论文解读] G-Actions on Riemann Surfaces and the associated Group of Singular Orbit Data

Ralph Grieder|ArXiv.org|Feb 6, 1999

Geometric and Algebraic Topology参考文献 9被引用 3

一句话总结

本文引入了紧致、连通、定向的黎曼曲面上有限群作用的奇异轨道数据群 $ B_G $，证明其在 $ G $-等变连通和下构成阿贝尔群。本文完全计算了任意有限群 $ G $ 的 $ B_G $，证明了从 $ G $-等变 bordism 群 $ \Omega_G $ 到 $ B_G $ 的自然满射，其核同构于 $ H_2(G;\mathbb{Z}) $，并建立了 $ B_G $ 与 $ G $ 的表示理论之间的深刻联系，特别是复特征标的实性。

ABSTRACT

Let $G$ be a finite group. To every smooth $G$-action on a compact, connected and oriented Riemann surface we can associate its data of singular orbits. The set of such data becomes an Abelian group $B_G$ under the $G$-equivariant connected sum. The map which sends $G$ to $B_G$ is functorial and carries many features of the representation theory of finite groups. In this paper we will give a complete computation of the group $B_G$ for any finite group $G$. There is a surjection from the $G$-equivariant cobordism group of surface diffeomorphisms $Ω_G$ to $B_G$. We will prove that the kernel of this surjection is isomorphic to $H_2(G;Z)$. Thus $Ω_G$ is an Abelian group extension of $B_G$ by $H_2(G;Z)$. Finally we will prove that the group $B_G$ contains only elements of order two if and only if every complex character of $G$ has values in $R$. This property shows a strong relationship between the functor $B$ and the representation theory of finite groups.

研究动机与目标

• 定义并研究与紧致、连通、定向黎曼曲面上光滑 $ G $-作用相关的奇异轨道数据的阿贝尔群 $ B_G $。
• 建立映射 $ G \mapsto B_G $ 的函子性，并揭示其与有限群表示理论之间的结构类比。
• 显式计算任意有限群 $ G $ 的 $ B_G $，揭示其代数结构。
• 将 $ B_G $ 与 $ G $-等变 bordism 群 $ \Omega_G $ 联系起来，识别自然满射 $ \Omega_G \to B_G $ 的核为 $ H_2(G;\mathbb{Z}) $。
• 确定 $ B_G $ 中所有元素阶为二的条件，并将其与 $ G $ 的复特征标的实性联系起来。

提出的方法

• 将黎曼曲面上 $ G $-作用的奇异轨道数据定义为具有固定点数据的各向稳定子子群的共轭类的集合。
• 通过 $ G $-等变连通和运算，为这类数据的集合赋予群结构，从而构成阿贝尔群 $ B_G $。
• 利用 $ G $-等变 bordism 的结构，将 $ \Omega_G $ 与 $ B_G $ 联系起来，证明自然满射 $ \Omega_G \to B_G $ 的核同构于 $ H_2(G;\mathbb{Z}) $。
• 应用代数拓扑工具，包括群上同调与等变 bordism 理论，分析 $ B_G $ 的结构。
• 利用特征标理论分析 $ G $ 的所有复特征标取实数值的条件，并将其与 $ B_G $ 的 2-挠元联系起来。
• 利用 $ B_G $ 的函子性推导结构约束，并计算任意有限群的 $ B_G $。

实验结果

研究问题

• RQ1 与紧致、连通、定向黎曼曲面上光滑 $ G $-作用相关的群 $ B_G $ 的完整代数结构是什么？
• RQ2 $ B_G $ 如何与 $ G $-等变 bordism 群 $ \Omega_G $ 相关联？自然满射 $ \Omega_G \to B_G $ 的核是什么？
• RQ3 在 $ G $ 的何种群论条件下，$ B_G $ 中的所有元素阶均为二？
• RQ4 群 $ B_G $ 如何反映 $ G $ 的表示理论，特别是复特征标的实性？
• RQ5 映射 $ G \mapsto B_G $ 是否函子性？它从有限群表示理论中继承了哪些结构特征？

主要发现

• 对于任意有限群 $ G $，群 $ B_G $ 已被完全计算，且在 $ G $-等变连通和运算下构成阿贝尔群。
• 存在从 $ G $-等变 bordism 群 $ \Omega_G $ 到 $ B_G $ 的自然满射，其核同构于 $ H_2(G;\mathbb{Z}) $，因此 $ \Omega_G $ 是 $ B_G $ 与 $ H_2(G;\mathbb{Z}) $ 的阿贝尔群扩张。
• 当且仅当 $ G $ 的每个复特征标取值于 $ \mathbb{R} $ 时，$ B_G $ 仅包含阶为二的元素，这将 $ B_G $ 与表示的实性联系起来。
• 映射 $ G \mapsto B_G $ 是函子性的，并展现出与有限群表示理论的结构类比。
• 通过构造 $ B_G $，为 $ G $-作用于黎曼曲面提供了新的拓扑不变量，丰富了等变拓扑与群表示理论之间的联系。
• 本文通过 $ B_G $ 实现了对奇异轨道数据的完整分类，为研究曲面上的等变结构提供了新工具。