[論文レビュー] Flat connections on configuration spaces and formality of braid groups of surfaces

Benjamin Enriquez|arXiv (Cornell University)|Dec 5, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 7

ひとこと要約

本稿は、種数 $g \geq 1$ の複素曲線上の $n$ 個の点の配置空間に明示的な平坦接続を構成し、それによって純ぶらうど群のプルーニル完備化のリー代数とリー代数 $\hat{\mathfrak{t}}_{g,n}$ 間の形式的同型写像の幾何的証明を提供する。さらに、この同型写像を全ぶらうど群へと拡張し、モノドロミーと平坦接続を通じて、形式的結果のより深い代数的・解析的理解を可能にする。

ABSTRACT

We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid group of n points on a surface and an explicitly presented Lie algebra t_{g,n} (Bezrukavnikov), and to extend it to a morphism from the full braid group of the surface to the semidirect product exp(hat t_{g,n}) rtimes S_n.

研究の動機と目的

• 純ぶらうど群のプルーニル完備化のリー代数と $\hat{\mathfrak{t}}_{g,n}$ 間の形式的同型写像を、最小モデル理論による既存の結果に代えて、幾何的・接続に基づく証明を提供すること。
• 種数 $g \geq 1$ の曲線上の $n$ 個の点の配置空間に平坦接続を構成することで、形式的同型写像を全ぶらうど群へ拡張すること。
• 平坦接続を通じて $\hat{\mathfrak{t}}_{g,n}$ の代数的構造とモノドロミー表現との関係を確立し、それにより背後にあるリー代数的・解析的構造のより深い理解を可能にすること。
• アソシエータの高種数理論および高種数KZB接続への接続を築く基盤を提供すること。

提案手法

• 種数 $g \geq 1$ の複素曲線 $C$ 上の $n$ 個の相異なる点の配置空間 $\operatorname{Cf}_n(C)$ 上に主 bundle $\mathcal{P}_n$ を構成し、平坦接続 $\alpha_{KZ}$ を備える。
• リー代数 $\mathfrak{t}_{g,n}$ の生成子 $v^i$、$t_{ij}$ および関係式を用いて、平坦接続 $\alpha_{KZ}$ を明示的に定義し、Knizhnik-Zamolodchikov や楕円型 KZ-Bernard 接続を一般化する。
• 基本群 $\pi_1(\operatorname{Cf}_n(C))$ のモノドロミー表現を用いて、形式的同型写像 $\operatorname{Lie}(P_{g,n})^\mathbb{C} \simeq \hat{\mathfrak{t}}_{g,n}$ を回復する。
• 単体的ホモオーモルフィズムとフィルトレーション技術を用い、接続 $\alpha_{KZ}$ の退化挙動を分析し、平坦性を証明する。
• テンソルカテゴリ $F^{\otimes n}$-加群と性質 (P) を導入し、特定の写像の単射性を検証する。これは平坦性の証明に不可欠である。
• リー代数 $\mathfrak{t}_{g,n}$ の完備化を用いて $\hat{\mathfrak{t}}_{g,n}$ を定義し、収束性とぶらうど群のプルーニル完備化との整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 純ぶらうど群のプルーニル完備化のリー代数と $\hat{\mathfrak{t}}_{g,n}$ 間の形式的同型写像は、配置空間に明示的な平坦接続を用いて再構成可能か？
• RQ2 高種数において、形式的同型写像は純ぶらうど群から全ぶらうど群へどのように拡張可能か？
• RQ3 配置空間の基本群のモノドロミー表現は、形式的同型写像の幾何的実現において果たす役割は何か？
• RQ4 平坦接続 $\alpha_{KZ}$ は単体的写像や配置空間の退化においてどのように振る舞うか？
• RQ5 平坦接続 $\alpha_{KZ}$ の平坦性を保証するために必要な、$\mathfrak{t}_{g,n}$-加群の代数的性質（例えば性質 (P)）は何か？

主な発見

• 本稿は、種数 $g \geq 1$ の曲線 $C$ に対して、配置空間 $\operatorname{Cf}_n(C)$ 上に平坦接続 $\alpha_{KZ}$ を構成し、形式的同型写像の幾何的実現を提供する。
• 接続 $\alpha_{KZ}$ のモノドロミーは、$\operatorname{Lie}(P_{g,n})^\mathbb{C}$ と $\hat{\mathfrak{t}}_{g,n}$ 間の同型写像を誘導し、微分幾何学的手法により Bezrukavnikov の形式的結果を回復する。
• この構成は、全ぶらうど群 $B_{g,n}$ から $\operatorname{exp}(\hat{\mathfrak{t}}_{g,n})\rtimes S_n$ への準同型へと拡張され、純ぶらうど群の場合を一般化する。
• 平坦接続 $\alpha_{KZ}$ の平坦性は、フィルトレーションの議論と $F^{\otimes n}$-加群上に定義された写像の単射性を用いて証明され、特に $M_{\alpha\beta}$ や $M_{\alpha\beta\gamma}$ のような主要な加群に対して性質 (P) が鍵的役割を果たす。
• 証明により、$\operatorname{gr}_0{\mathfrak{t}}_{g,n}[2]$ と $\operatorname{gr}_1{\mathfrak{t}}_{g,n}[2]$ が性質 (P) を満たすことが示され、接続の平坦性を検証する上で不可欠であることがわかった。
• 本稿は、アソシエータの高種数理論の基盤を提供し、高種数KZB接続と接続する。これは数理物理学および数論分野における広範な応用を示唆する。