[論文レビュー] Grothendieck-Teichmueller group, operads and graph complexes: a survey

Sergei Merkulov|arXiv (Cornell University)|Apr 30, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 50被引用数 5

ひとこと要約

本稿は、特徴値がゼロの体上のグローテンディーク＝タイヒミュラー群、ブレード群、およびそれらのプルニポテンシャル完備化を代数的および位相的手段を用いて調査する。本稿では、純ブレード群のプルニポテンシャル完備化 $ \widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ が $ \widehat{F}_2(\mathbb{K}) \times \mathbb{K}$ に同型であることを確立し、$ \widehat{\mathbb{B}}_3(\mathbb{K}) \simeq \mathbb{K}$ であることを示している。これは、特徴値がゼロの状況下でブレード群表現の背後にある深い代数的構造とその変形が、本質的に特定される。

ABSTRACT

This paper attempts to provide a more or less self-contained introduction into theory of the Grothendieck-Teichmueller group and Drinfeld associators using the theory of operads and graph complexes.

研究の動機と目的

• 特徴値がゼロの体上の純ブレード群およびそのプルニポテンシャル完備化の代数的および位相的構造を明確化すること。
• 純ブレード群 $\mathbb{P}\mathbb{B}_3$ のプルニポテンシャル完備化と、自由リー代数の完備化および一様次元ベクトル空間の積との同型を確立すること。
• 中心的元 $(b_1b_2)^3$ が $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ のアーベル的因子を生成することを示すこと。
• $\widehat{\mathbb{B}}_3(\mathbb{K})$ が $\mathbb{K}$ に同型であることを示し、この設定下でのブレード群の完備化の単純化を強調すること。
• ブレード群表現およびグラフ複体を介して、グローテンディーク＝タイヒミュラー群を理解するための幾何的および代数的基盤を提供すること。

提案手法

• ブレード群の代数的定義を、アーティン生成子 $b_i$ 及びそれらのブレード関係を用いて $\mathbb{B}_n$ および $\mathbb{P}\mathbb{B}_n$ として定義する。
• プルニポテンシャル完備化関手を $\mathbb{B}_n$ および $\mathbb{P}\mathbb{B}_n$ に適用し、$\widehat{\mathbb{B}}_2(\mathbb{K}) \simeq \widehat{F}_1(\mathbb{K}) \simeq \mathbb{K}$ を示す。
• 配置空間 $C_n(\mathbb{C})$ のホモトピー完全列を用いて、半直積構造 $\mathbb{P}\mathbb{B}_{n+1} \simeq F_n \rtimes \mathbb{P}\mathbb{B}_n$ を導出する。
• 交叉切断を介してファイブレーション $C_{n+1}(\mathbb{C}) \to C_n(\mathbb{C})$ が分裂することを用い、繰り返し半直積分解を確立する。
• ブレード関係 $b_1b_2b_1 = b_2b_1b_2$ および $(b_1b_2)^3$ の中心性を用いて、$\mathbb{P}\mathbb{B}_3$ の構造を導出する。
• $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ が $\lambda \in \mathbb{K}$ に対して $[b_1^2]^\lambda$、$[b_2^2]^\lambda$、および $[(b_1b_2)^3]^\lambda$ で生成され、最初の2つの生成子間に関係がないことを利用する。

実験結果

リサーチクエスチョン

• RQ1 特徴値がゼロの体 $\mathbb{K}$ に対して、プルニポテンシャル完備化 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ の構造は何か？
• RQ2 中心的元 $(b_1b_2)^3$ は、$\mathbb{P}\mathbb{B}_3$ 及びその完備化の群構造にどのように影響を与えるか？
• RQ3 $\widehat{\mathbb{B}}_3(\mathbb{K})$ が $\mathbb{K}$ に同型である一方で、$\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ が $\widehat{F}_2(\mathbb{K}) \times \mathbb{K}$ に同型であるのはなぜか？
• RQ4 ファイブレーション $C_{n+1}(\mathbb{C}) \to C_n(\mathbb{C})$ は、$\mathbb{P}\mathbb{B}_{n+1}$ の半直積分解をどのように導くか？
• RQ5 ブレード関係 $b_1b_2b_1 = b_2b_1b_2$ は、$\mathbb{B}_3$ 及びその完備化の代数的構造を決定づける役割を果たすか？

主な発見

• $\mathbb{B}_2$ が生成子 $b_1$ の自由群であることから、プルニポテンシャル完備化 $\widehat{\mathbb{B}}_2(\mathbb{K})$ は $\mathbb{K}$ に同型である。
• 純ブレード群 $\mathbb{P}\mathbb{B}_2$ は $b_1^2$ の自由群に同型であり、そのプルニポテンシャル完備化 $\widehat{\mathbb{P}\mathbb{B}}_2(\mathbb{K})$ は $\mathbb{K}$ に同型である。
• プルニポテンシャル完備化 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ は $\widehat{F}_2(\mathbb{K}) \times \mathbb{K}$ に同型であり、ここで $\widehat{F}_2(\mathbb{K})$ は2生成子の自由群の完備化である。
• 元 $(b_1b_2)^3$ は $\mathbb{B}_3$ および $\mathbb{P}\mathbb{B}_3$ の両方で中心的であり、$\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ の $\mathbb{K}$-因子を生成する。
• ブレード群 $\mathbb{B}_3$ のプルニポテンシャル完備化 $\widehat{\mathbb{B}}_3(\mathbb{K})$ は、$(b_1b_2)^3$ の中心性および追加の関係の不在により $\mathbb{K}$ に同型である。
• ファイブレーション $C_{n+1}(\mathbb{C}) \to C_n(\mathbb{C})$ は、分裂完全列 $1 \to F_n \to \mathbb{P}\mathbb{B}_{n+1} \to \mathbb{P}\mathbb{B}_n \to 1$ を誘導し、繰り返し半直積構造 $\mathbb{P}\mathbb{B}_{n+1} \simeq F_n \rtimes \cdots \rtimes F_1$ をもたらす。