[论文解读] 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 $ 个点的配置空间上构造了一个显式的平坦联络，利用该联络，给出了纯 braid 群的受限无幂零完备化李代数与李代数 $ \hat{\mathfrak{t}}_{g,n} $ 之间形式性同构的全新几何证明。此外，该同构被进一步推广为从完整 braid 群到 $ \operatorname{exp}(\hat{\mathfrak{t}}_{g,n})\rtimes S_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.

研究动机与目标

• 通过最小模型理论之外的几何方法，提供纯 braid 群的受限无幂零完备化与 $ \hat{\mathfrak{t}}_{g,n} $ 之间形式性同构的连接基几何证明。
• 通过在亏格 $ g \geq 1 $ 的曲线上构造 $ n $ 个点的配置空间上的平坦联络，将形式性同构从纯 braid 群推广至完整 braid 群。
• 通过平坦联络建立 $ \hat{\mathfrak{t}}_{g,n} $ 的代数结构与单值表示之间的联系，从而实现对底层李代数与解析结构的更深入研究。
• 为高亏格的关联子理论与高亏格 KZB 联络之间的联系奠定基础。

提出的方法

• 在亏格 $ g \geq 1 $ 的复曲线 $ C $ 上的 $ n $ 个互异点的配置空间 $ \operatorname{Cf}_n(C) $ 上构造一个主丛 $ \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} $，确保级数收敛性并保持与 braid 群的受限无幂零完备化的相容性。

实验结果

研究问题

• RQ1 能否通过配置空间上的显式平坦联络重构纯 braid 群的受限无幂零完备化与 $ \hat{\mathfrak{t}}_{g,n} $ 之间形式性同构？
• RQ2 在高亏格情形下，如何将形式性同构从纯 braid 群推广至完整 braid 群？
• RQ3 配置空间基本群的单值表示在几何实现形式性同构中起什么作用？
• RQ4 平坦联络 $ \alpha_{KZ} $ 在单纯映射与配置空间退化下的行为如何？
• RQ5 哪些 $ \mathfrak{t}_{g,n} $-模的代数性质（如性质 (P)）是确保 $ \alpha_{KZ} $ 平坦性的必要条件？

主要发现

• 本文在亏格 $ 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 的形式性结果。
• 该构造可进一步推广为从完整 braid 群 $ B_{g,n} $ 到 $ \operatorname{exp}(\hat{\mathfrak{t}}_{g,n})\rtimes S_n $ 的同态，推广了纯 braid 情形。
• 通过滤子论证与 $ F^{\otimes n} $-模上映射的单射性，结合性质 (P)，证明了 $ \alpha_{KZ} $ 的平坦性，其中关键模块如 $ 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 联络建立了联系，暗示其在数学物理与数论中的广泛应用前景。