[論文レビュー] Prime Order Automorphisms of Riemann Surfaces

Jane Gilman|ArXiv.org|Jan 10, 2007

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

ひとこと要約

本稿では、コンpakトなリーマン面の genus $ g \geq 2 $ における素数位の conformal 自己同型写像に対して、Schreier-Reidemeister の書き換え手法を用いて、適応的ホモロジー基底の存在を詳細に証明する。固定点のない自己同型写像への理論の拡張、明示的な例と交差行列の計算、および有限位の写像類がホモロジー上での作用によって一意に決定されることを含む新たな帰結を確立する。

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.

研究の動機と目的

• コンパクトなリーマン面の genus $ g \geq 2 $ における素数位の conformal 自己同型写像に対して、適応的ホモロジー基底の存在を完全かつ厳密に証明すること。
• 従来あまり検討がなかった固定点のない自己同型写像のケースに理論を拡張すること。
• 構築された基底のための交差行列を明示的に計算すること。
• 適応的基底の存在から生じる新たな帰結、特にホモロジー作用による有限位の写像類の一意性についての考察。
• 先行研究で不十分に記述されていた Schreier-Reidemeister の書き換え手法の明確化と拡張、理解の妨げとなる曖昧さを解消すること。

提案手法

• 商曲面 $ S_0 = S / \langle h \rangle $ の基本群に Schreier-Reidemeister の書き換え手法を適用し、素数位の自己同型写像 $ h $ の作用に適したホモロジー基底を構成する。
• 適応的基底は、$ i = 1, \dots, g_0 $、$ j = 0, \dots, p-1 $ に対して、$ \{ h^j(A_i), h^j(B_i) \} $ のサイクルの集合として定義され、固定点の情報を捉える追加のサイクルを含む。
• 交差行列は、曲面のシンプレクティック構造を用いて計算され、基底要素間の幾何的交差数から明示的な成分が導かれる。
• $ h $ のホモロジー基底への作用は、共役と書き換え規則を経て得られる $ 6 \times 6 $ 行列として表現され、シンプレクティック性が確認される。
• 行列がシンプレクティック変換の定義的性質を満たし、群作用を尊重することを示すことにより、構成の妥当性を検証する。
• $ t = 0 $（固定点のない自己同型写像）のケースは別個に取り扱い、書き換えおよび基底構成に適合する修正が施される。

実験結果

リサーチクエスチョン

• RQ1 任意の素数位の conformal 自己同型写像について、コンパクトなリーマン面の genus $ g \geq 2 $ において、適応的ホモロジー基底が存在するか？ これには固定点のないケースも含む。
• RQ2 Schreier-Reidemeister の書き換え手法を、このような基底を完全に詳細に構成するためにどのように体系的に適用できるか？
• RQ3 非自明な例における適応的基底の交差行列の明示的形は何か？
• RQ4 適応的基底の存在から生じる新たな代数的・幾何的帰結は何か？
• RQ5 有限位の写像類のホモロジー上での作用が、その写像類を一意に決定するまでの程度はどの程度か？

主な発見

• 任意の素数位の conformal 自己同型写像について、コンパクトなリーマン面の genus $ g \geq 2 $ において、固定点のないケースを含めて適応的ホモロジー基底が存在する。
• Schreier-Reidemeister の書き換え手法が完全に詳細に記述され、基底の構成に適用され、先行研究における曖昧さが解消された。
• $ p = 3 $、$ t = 5 $、シグネチャ $ (1,1,2,1,1) $ の明示的例が構築され、$ \{ -1, 0, 1 \} $ の成分をもつ $ 6 \times 6 $ の交差行列が得られた。
• $ h $ のホモロジー基底への作用は、$ 6 \times 6 $ 行列として表現され、それがシンプレクティックであることが確認され、$ Sp(6, \mathbb{Z}) $ のシンプレクティック群と整合することが裏付けられた。
• 写像類群のホモモルフィズム $ \pi: MCG(S_g) \to Sp(2g, \mathbb{Z}) $ を有限位の元に制限した場合、それが単射であることが示され、有限位の写像類がホモロジー上での作用によって一意に決定されることを意味する。
• 適応的基底の存在は、商曲面の genus $ g_0 \neq 0 $ である場合、素数位の自己同型写像が、互いに交わらない単純閉曲線の集合を不変にすることを示唆する。