[论文解读] Orbit configuration spaces associated to discrete subgroups of PSL(2,R)

Fred Cohen, Toshitake Kohno+1 more|ArXiv.org|Oct 24, 2003

Ophthalmology and Eye Disorders被引用 3

一句话总结

本文建立了三个不同李代数之间的同构关系：一个源自离散子群在 PSL(2,R) 中的轨道配置空间的基本群的下降中心列，另一个源自这些配置空间的环路空间的高阶同伦群模挠子群，第三个源自曲面上的水平弦图。关键结果是，这些李代数在度数重编号后彼此同构，其显式表示由生成元 $ B_{i,j}^{\tau} $ 和基于群 $ G $ 参数化的无穷小辫子关系构成。

ABSTRACT

The purpose of this article is to analyze several Lie algebras associated to "orbit configuration spaces" obtained from a group G acting freely, and properly discontinuously on the upper 1/2-plane H^2. The Lie algebra obtained from the descending central series for the associated fundamental group is shown to be isomorphic, up to a regrading, to (1) the Lie algebra obtained from the higher homotopy groups of "higher dimensional arrangements" modulo torsion, as well as (2)the Lie obtained from horizontal chord diagrams for surfaces. The resulting Lie algebras are similar to those studied in [13, 14, 15, 2, 7, 8, 6]. The structure of a related graded Poisson algebra defined below and obtained from an analogue of the infinitesimal braid relations parametrized by G is also addressed.

研究动机与目标

• 建立源自 PSL(2,R) 的离散子群相关不同几何与代数构造的三个不同李代数之间的同构关系。
• 分析上半平面中轨道配置空间基本群的下降中心列所得到的李代数的结构。
• 将该李代数与 $ \mathbb{H}^2 \times \mathbb{C}^q $ 中配置空间的环路空间的高阶同伦群模挠子群联系起来。
• 将所得李代数与曲面上的水平弦图联系起来，证明其在度数重编号下同构。
• 在这些轨道配置空间的迭代环路空间的同调上定义并研究一个分次 Poisson 代数结构，其关系源自无穷小辫子关系。

提出的方法

• 将轨道配置空间 $ \mathrm{Conf}^G(M,n) $ 定义为 $ M $ 中 $ n $ 元组点的集合，使得其 $ G $-轨道两两不相交，其中 $ M = \mathbb{H}^2 $ 或 $ \mathbb{H}^2 \times \mathbb{C}^q $。
• 从基本群 $ \pi_1(\mathrm{Conf}^G(\mathbb{H}^2,n)) $ 的下降中心列构造李代数 $ E_0^*(P_n(S_g)^0)_q $，并将其分次移位 $ 2q $。
• 利用 Künneth 定理和同调中本原元素的理论，将 $ \mathrm{Prim} H_*(\Omega X) $ 与分次李代数 $ L $ 的通用包络代数 $ U[L] $ 联系起来。
• 为 $ 1 \leq j < i \leq n $，$ \sigma \in G $ 定义度数为 $ 2q $ 的生成元 $ B_{i,j}^\sigma $，并通过关系呈现该李代数：(a) 不相交对的消失关系，(b) 和 (c) 用于嵌套三元组，(d) 反对称性与 Jacobi 恒等式。
• 构造映射 $ E^2: \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^q, n) \to \Omega^2 \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^{q+1}, n) $，其在度数 $ 2q+1 $ 上诱导同调同构，并证明其环路版本在 $ H_{2q}(-;\mathbb{Z}) $ 上诱导同构。
• 在 $ \mathbb{F} $ 为特征零的域时，定义 $ H_*(\Omega^k X; \mathbb{F}) $ 上的分次 Poisson 代数结构，其 Poisson 杏括号 $ \lambda_{k-1} $ 由 Browder 运算诱导，且关系与无穷小辫子关系一致。

实验结果

研究问题

• RQ1 由轨道配置空间基本群的下降中心列导出的李代数是否与由高阶同伦群模挠子群导出的李代数同构？
• RQ2 能否证明曲面上水平弦图的李代数结构与轨道配置空间基本群的下降中心列所导出的李代数同构？
• RQ3 迭代环路空间的同调上分次 Poisson 代数的精确结构是什么？其与无穷小辫子关系有何关联？
• RQ4 $ E^2 $ 映射是否在首个非零同调度数上诱导同调同构？其在关联不同复维数的配置空间中起什么作用？
• RQ5 生成元 $ B_{i,j}^\sigma $ 及其关系如何编码轨道配置空间的拓扑与群论结构？

主要发现

• 由轨道配置空间基本群的下降中心列得到的李代数 $ E_0^*(P_n(S_g)^0)_q $ 与 $ \Omega \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^q, n) $ 的同调中本原元素的李代数同构，仅在度数上重编号 $ 2q $。
• 李代数 $ E_0^*(P_n(S_g)^0)_q $ 的通用包络代数与 $ \Omega \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^q, n) $ 的完整同调同构，表明同调完全由李代数结构决定。
• 该李代数由度数为 $ 2q $ 的元素 $ B_{i,j}^\sigma $ 自由生成，关系为：(a) 不相交对的消失关系，(b) 和 (c) 用于嵌套三元组 $ j < s < i $，(d) 标准分次李代数公理。
• 在 $ H_*(\Omega^k \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^q, n); \mathbb{F}) $ 上的分次 Poisson 代数同构于由 $ B_{i,j}^\sigma $ 生成的自由 Poisson 代数，其度数为 $ 2q+1-k $，关系与无穷小辫子关系一致。
• $ E^2: \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^q, n) \to \Omega^2 \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^{q+1}, n) $ 在度数 $ 2q+1 $ 上诱导同调同构，其环路版本在 $ H_{2q}(-; \mathbb{Z}) $ 上也诱导同构。
• 环路映射 $ \Omega(E^2) $ 在同调中的像恰好是度数为 $ 2q $ 的类生成的子代数，表明该构造捕捉了配置空间的本质同调数据。