[论文解读] A regular homotopy version of the Goldman-Turaev Lie bialgebra, the Enomoto-Satoh traces and the divergence cocycle in the Kashiwara-Vergne problem

Nariya Kawazumi|arXiv (Cornell University)|May 31, 2014

Algebraic structures and combinatorial models参考文献 11被引用 7

一句话总结

本文引入了Goldman-Turaev李双代数的正则同伦版本，以解释Kashiwara-Vergne问题中的散度上循环以及Enomoto-Satoh迹作为精化Turaev余括张结构的一部分。通过引入框架的旋转数并相对于正则同伦生成元的对数完成，作者证明了余括张在Johnson核上消失，从而几何地解释了Enomoto-Satoh迹为何阻碍Johnson同态的满射性。

ABSTRACT

By introducing a refinement of the Goldman-Turaev Lie bialgebra, we interpret the divergence cocycle in the Kashiwara-Vergne problem and the Enomoto-Satoh obstructions for the surjectivity of the Johnson homomorphisms as some part of a regular homotopy version of the Turaev cobracket.

研究动机与目标

• 将Goldman-Turaev李双代数扩展至捕捉比原始构造更精细不变量的正则同伦设定。
• 将Kashiwara-Vergne问题中的散度上循环解释为正则同伦版本Turaev余括张的产物。
• 将Enomoto-Satoh迹——Johnson同态满射性的障碍——解释为此精化余括张结构的内在特征。
• 提供原始Turaev余括张的分次商未能检测Enomoto-Satoh迹的几何解释，原因在于其在单圆诞生-消亡移动下的不变性。
• 通过Enomoto-Satoh迹的拉回，建立零亏格中的框架纯辫群与Kashiwara-Vergne问题之间的联系。

提出的方法

• 定义曲面 $S$（带边）上浸入自由环的正则同伦集合 $\hat{\pi}^+$，并赋予其通过单圆插入作用的无限循环群 $\langle r \rangle$。
• 引入 $S$ 的框架 $f$，其诱导旋转数 $\operatorname{rot}_f: \hat{\pi}^+ \to \mathbb{Z}$，并利用 $\tilde{\Phi}_f = (\Phi, \operatorname{rot}_f)$ 将 $\hat{\pi}^+$ 与 $\hat{\pi} \times \mathbb{Z}$ 识别。
• 在 $\mathbb{Q}\hat{\pi}^+$ 上构造正则同伦版本的Goldman括张 $[\,,\,]^+$ 和Turaev余括张 $\delta^+$，取值于 $\mathbb{Q}\hat{\pi}^+ \otimes_{\mathbb{Q}\langle r\rangle} \mathbb{Q}\hat{\pi}^+$。
• 对增强理想完成李双代数，得到 $\widehat{\mathbb{Q}\hat{\pi}^+}$ 和 $\mathbb{Q}[[\rho]]$，其中 $\rho = \log r$，从而可使用形式幂级数。
• 定义正则同伦版本的Johnson同态 $\tau^+$，取值于 $\widehat{\mathbb{Q}\hat{\pi}^+}/\mathbb{Q}[[\rho]]1$，并证明在最大Torelli群 $\mathcal{I}^L(S)$ 上有 $\delta^+ \circ \tau^+ = 0$。
• 利用同构 $\tilde{\Phi}_f(\tau^+(t_C)) = \frac{1}{2}|(\log C)^2|$ 计算扭结德恩变换的像，其中 $C$ 为同调平凡曲线，并将其与Enomoto-Satoh迹关联。

实验结果

研究问题

• RQ1 如何对Turaev余括张进行精化，以检测已知在余括张标准商中不可见的Enomoto-Satoh迹？
• RQ2 为何标准Turaev余括张未能捕捉Kashiwara-Vergne问题中的散度上循环？
• RQ3 正则同伦版本的Goldman-Turaev李双代数能否为Johnson同态满射性的障碍提供几何解释？
• RQ4 框架与旋转数在构造正则同伦类环的精化李双代数结构中起什么作用？
• RQ5 Enomoto-Satoh迹到框架纯辫群的拉回与Kashiwara-Vergne散度上循环有何关系？

主要发现

• 正则同伦版本的Turaev余括张 $\delta^+$ 在Johnson同态 $\tau^+$ 限制于Johnson核 $\mathcal{K}(S)$ 的像上消失，为满射性障碍提供了几何解释。
• 恒等式 $\mathsf{ES}_f \circ \tau|_{\mathcal{K}(S)} = 0$ 成立，表明Enomoto-Satoh迹在Johnson核上消失，确认其作为障碍的作用。
• 对于具有 $n \geq 2$ 个边界分量的零亏格曲面，Enomoto-Satoh迹 $\mathsf{ES}_f$ 沿包含映射 $\iota: \Sigma_{0,n+1} \to \Sigma_{n,1}$ 的拉回，等于Kashiwara-Vergne散度上循环，至多相差一个低次项同态。
• 在 $\tilde{\Phi}_f \circ \tau^+$ 下，沿同调平凡曲线 $C$ 的德恩变换 $t_C$ 的像为 $\frac{1}{2}|(\log C)^2|$，与框架无关，且位于完备李代数的中心。
• 德恩变换的正则同伦版本对数公式给出 $\tilde{\Phi}_f(\tau^+(t_C)) = \frac{1}{2}|(\log C)^2|$，与 $\delta^+ \circ \tau^+$ 在 $\mathcal{K}(S)$ 上消失一致。
• 在框架纯辫群的交换子群 $[FP_n, FP_n]$ 上，有 $\mathsf{ES}_f \circ \tau = 0$，表明该迹在此子群上消失，与零亏格情形一致。