[论文解读] Combinatorial Lie bialgebras of curves on surfaces

Moira Chas|ArXiv.org|May 22, 2001

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

一句话总结

本文提出了一种组合算法，通过约化的循环词计算带有边界的曲面上自由同伦类曲线的Goldman-Turaev李双代数结构。证明了对于一条简单非分离曲线，其括号的项数等于与另一条曲线的最小相交数，并提供了计算反例，反驳了Turaev关于余括号表征简单曲线的猜想，同时提出了通过曲线与其逆元的括号关系进行替代表征的可能。

ABSTRACT

Goldman and Turaev found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of curves on a surface. When the surface has non-empty boundary, this vector space has a basis of cyclic reduced words in the generators of the fundamental group and their inverses. We give a combinatorial algorithm to compute this Lie bialgebra on this vector space of cyclic words. Using this presentation, we prove a generalization of Goldman's result relating the bracket to disjointness of curve representatives when one of the classes is simple. We exhibit some examples we found by programming the algorithm which answer negatively Turaev's question about the characterization of simple curves in terms of the cobracket. Further computations suggest an alternative characterization of simple curves in terms of the bracket of a curve and its inverse. Turaev's question is still open in genus zero.

研究动机与目标

• 开发一种纯粹的组合算法，使用循环词在带有边界的曲面上计算Goldman-Turaev李双代数结构。
• 研究Turaev猜想中余括号的消失是否表征简单曲线。
• 探索可能通过与逆曲线括号关系表征简单曲线的替代代数不变量。
• 提供计算证据，支持曲线与其逆元括号项数与最小自相交数之间的定量关系。
• 将Goldman关于不相交性与括号消失的结果推广为涉及项数与最小相交数的定量陈述。

提出的方法

• 将自由同伦类的曲线表示为基本群字母表及其逆元上的约化循环词。
• 通过子词配对和编码在词结构中的相交数据，定义组合操作，特别是李括号和余括号。
• 使用子词对集合（LP1 和 LP2）在无需几何实现的情况下算法化计算括号和余括号。
• 通过计算实现该算法，生成示例并检验关于曲线简单性与相交不变量的猜想。
• 将算法应用于计算曲线与其逆元的括号，并将项数与最小自相交数进行比较。
• 通过在如三 punctured sphere 和双 punctured torus 等曲面上的全面计算验证理论结果。

实验结果

研究问题

• RQ1 若其中一条曲线为简单曲线，其括号中项的数量是否等于其代表元之间最小横截相交点数？
• RQ2 非简单曲线的自由同伦类的余括号是否可能为零，从而反驳Turaev的猜想？
• RQ3 曲线与其逆元的括号是否当且仅当该曲线为简单曲线的倍数时为零？
• RQ4 括号 [α, α⁻¹] 中的项数是否等于 α 的最小自相交点数的两倍？
• RQ5 对于整数 n, m ≠ 0，能否利用 αⁿ 与 αᵐ 的括号来检测 α 的最小自相交数？

主要发现

• 对于一条简单非分离曲线，其与任意其他曲线的括号中项数等于其代表元之间最小横截相交点数。
• 程序找到了 Turaev 猜想的明确反例：在所有负欧拉示性数且亏格大于零的曲面上，存在余括号为零但并非简单曲线倍数的曲线。
• 在三 punctured sphere 上，所有长度 ≤16 的循环词（除周界曲线外）的余括号均非零。
• 在双 punctured torus 上，对于所有长度 ≤15 的循环词，[α, α⁻¹] 中的项数等于 α 的最小自相交点数的两倍。
• 计算证据支持一个猜想：[αⁿ, αᵐ] 中的项数等于 2|m·n| 倍的 α 的最小自相交数。
• 曲线与其逆元的括号提供了一个强有力的候选不变量，用于检测简单性，暗示其可能替代 Turaev 的余括号条件。