[論文レビュー] On presentation of Surface Braid Groups

Paolo Bellingeri|ArXiv.org|Oct 12, 2001

Geometric and Algebraic Topology参考文献 8被引用数 12

ひとこと要約

本稿は、$ g \geq 1 $ の種数をもつ、穴あきおよび閉じた可換な曲面上のブレード群および純ブレード群の新しい有限提示を提供する。モーリタによるアーティンのブレード群に関する研究にインspiredされた組合せ的アプローチを用いて、明示的な生成元と関係式を導出し、ブレード関係、曲面ループを含む混合関係、および穴や境界に関する関係を含む。これにより、純ブレード群の均一提示を確立し、増幅イデアルのフィルトレーションに関する性質を証明する。

ABSTRACT

We give presentations of braid groups and pure braid groups on surfaces.

研究の動機と目的

• 可換曲面 $ F $、特に種数 $ g \geq 1 $ の穴あきおよび閉じた曲面に対して、ブレード群 $ B(n,F) $ および純ブレード群 $ P(n,F) $ の明示的な有限提示を提供すること。
• 曲面のトポロジー（ループ $ a_r, b_r $）の生成元と、穴や点除去関係を組み込んだことで、古典的ブレード群の提示を曲面へ一般化すること。
• 純ブレード群 $ P(n,F) $ に対して、ディスク上での標準的提示に類似した均一提示を確立すること。
• 純ブレード群 $ P(n,F) $ の増幅イデアルフィルトレーションの構造を分析し、$ \bigcap_d I(P(n,F))^d = \{0\} $ および $ I(P(n,F))^d / I(P(n,F))^{d+1} $ が $ \mathbb{Z} $-自由加群であることを証明すること。
• 表面純ブレード群が自由群のほぼ直接積であることを示し、増幅イデアルに関する既知の結果の適用を可能にすること。

提案手法

• 種数 $ g \geq 1 $ の $ p $ 個の穴あき曲面に対して、生成元 $ \sigma_1, \dots, \sigma_{n-1} $、曲面ループ $ a_r, b_r $、穴ループ $ z_j $ を用いて、ブレード群 $ B(n,F) $ の提示を導出。関係式はブレードおよびトポロジー的相互作用を符号化する。
• ブレード生成元 $ \sigma_i $ が曲面ループ $ a_r, b_r $ および穴ループ $ z_j $ とどのように可換または共役するかを記述する混合関係 (R1)–(R8) を導入。これは曲面のトポロジーを反映する。
• 閉じた曲面の場合、曲面基本群関係を符号化する関係 (TR): $ [a_1,b_1^{-1}]\cdots[a_g,b_g^{-1}] = \sigma_1\sigma_2\cdots\sigma_{n-1}^2\cdots\sigma_2\sigma_1 $ を含める。
• アーティンのブレード群に対するモーリタの証明にインspiredされた組合せ的技法を用い、幾何的ブレードとホモトピー類に基づいて提示を導出する。
• 純ブレード群 $ P(n,F) $ の増幅イデアルによるフィルトレーションを構成し、関連する順次モジュールがねじれを持たず、分離されていることを証明する。
• ほぼ直接積の理論を適用して、$ P(n,F) $ が自由群の有限反復ほぼ直接積であることを示し、増幅イデアルの望ましい性質が導かれる。

実験結果

リサーチクエスチョン

• RQ1 可換曲面上のブレード群は、ブレードおよび曲面トポロジーを反映する明示的な生成元と関係式でどのように提示できるか？
• RQ2 表面ブレード群の文脈において、ブレード生成元 $ \sigma_i $ と曲面ループ $ a_r, b_r $、穴ループ $ z_j $ の間の定義関係は何か？
• RQ3 ディスク上での標準的提示に類似した、曲面上の純ブレード群 $ P(n,F) $ に対する均一提示を構成できるか？
• RQ4 純ブレード群 $ P(n,F) $ の増幅イデアルフィルトレーションは、$ \bigcap_d I(P(n,F))^d = \{0\} $ を満たし、各商 $ I(P(n,F))^d / I(P(n,F))^{d+1} $ が自由 $ \mathbb{Z} $-加群であるか？
• RQ5 種数 $ g \geq 1 $ の曲面上の純ブレード群は、自由群のほぼ直接積であるか？これにより、群環の技法による構造的解析が可能になるか？

主な発見

• 種数 $ g \geq 1 $ の $ p $ 個の穴あき曲面に対して、ブレード群 $ B(n,F) $ は、生成元 $ \sigma_1, \dots, \sigma_{n-1}, a_1, \dots, a_g, b_1, \dots, b_g, z_1, \dots, z_{p-1} $ と、ブレード関係および混合関係を含む8つの関係族を含む有限提示を有する。
• 種数 $ g \geq 1 $ の閉じた曲面に対しては、$ B(n,F) $ の提示は同じ生成元とブレード関係を含み、混合関係 (R1)–(R4) および曲面基本群関係を符号化する (TR) 関係を含む。
• 純ブレード群 $ P(n,F) $ は、定理6.1で示される均一提示を有する。これはディスク上での $ P_n $ の標準的提示と形式的に類似しており、配置空間内のループに対応する生成元を含む。
• 純ブレード群 $ P(n,F) $ の増幅イデアルフィルトレーションは、$ \bigcap_d I(P(n,F))^d = \{0\} $ を満たし、各商 $ I(P(n,F))^d / I(P(n,F))^{d+1} $ は $ \mathbb{Z} $-自由加群である。
• 純ブレード群 $ P(n,F) $ は自由群のほぼ直接積である。これは、増幅イデアルのべきの交わりが $ \{0\} $ に一致し、順次商が自由であることを示唆する。
• 群 $ Y_{n-1}(F) $ が $ G_n $ のアーベル化上に自明に作用する。これは、ほぼ直接積構造および増幅イデアルの性質を証明するために不可欠である。