[論文レビュー] 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 $-可換なコボルディズム群 $ \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 $-可換コボルディズム群 $ \Omega_G $ の関係を特定し、自然な上への写像 $ \Omega_G \to B_G $ の核が $ H_2(G;\mathbb{Z}) $ に同型であることを同定すること。
• すべての $ B_G $ の元が位数2である条件を特定し、これと $ G $ の複素特徴標の実性を結びつけること。

提案手法

• リーマン面上の $ G $-作用の特異軌道のデータを、固定点の情報を伴った各同型類の安定部分群の集合として定義する。
• $ G $-可換な接続和演算を用いて、このようなデータの集合に群構造を導入し、アーベル群 $ B_G $ を構成する。
• $ G $-可換コボルディズムの構造を用いて $ \Omega_G $ と $ B_G $ を関連付け、自然な上への写像 $ \Omega_G \to B_G $ の核が $ H_2(G;\mathbb{Z}) $ に同型であることを示す。
• 群コホモロジーと可換バーンズ理論などの代数的トポロジーの道具を用い、$ B_G $ の構造を分析する。
• 特徴標理論を用いて、$ G $ のすべての複素特徴標が実数値をとる条件を分析し、これと $ B_G $ の2階捩れとの関係を明らかにする。
• $ B_G $ の函手的性質を活用し、任意の有限群に対して $ B_G $ の構造的制約を導出し、計算を行う。

実験結果

リサーチクエスチョン

• RQ1 滑らかな $ G $-作用がコンパクトで、連結かつ向き付け可能なリーマン面上に作用する場合、関連する群 $ B_G $ の完全な代数的構造は何か？
• RQ2 $ B_G $ は $ G $-可換コボルディズム群 $ \Omega_G $ とどのように関係しているのか？ また、自然な上への写像 $ \Omega_G \to B_G $ の核は何か？
• RQ3 $ G $ にどのような群論的条件が満たされると、$ B_G $ のすべての元が位数2であるか？
• RQ4 $ B_G $ は $ G $ の表現理論、特に複素特徴標の実性をどのように反映しているか？
• RQ5 写像 $ G \mapsto B_G $ は函手的か？ また、有限群の表現理論から何を構造的特徴として継承しているか？

主な発見

• 任意の有限群 $ G $ に対して、群 $ B_G $ が完全に計算されており、$ G $-可換な接続和演算に関してアーベル群であることが示されている。
• $ G $-可換コボルディズム群 $ \Omega_G $ から $ B_G $ への自然な上への写像が存在し、その核は $ H_2(G;\mathbb{Z}) $ に同型であるため、$ \Omega_G $ は $ H_2(G;\mathbb{Z}) $ を通して $ B_G $ に拡張されたアーベル群である。
• $ B_G $ に含まれるすべての元が位数2であるための必要十分条件は、$ G $ のすべての複素特徴標が $ \mathbb{R} $ 値をとることであり、これにより $ B_G $ と表現の実性が結びつけられる。
• $ G \mapsto B_G $ の写像は函手的であり、有限群の表現理論と類似した構造的類似性を示している。
• $ B_G $ の構成は、リーマン面上の $ G $-作用に対する新しい位相的不変量を提供し、可換トポロジーと群の表現理論との関係を豊かにしている。
• 本稿では、$ B_G $ を用いた特異軌道データの完全分類を確立し、表面における可換構造を研究するための新しいツールを提供している。