[论文解读] Universal representations of braid and braid-permutation groups

Barbu Berceanu, Ştefan Papadima|ArXiv.org|Aug 4, 2007

Geometric and Algebraic Topology参考文献 10被引用 8

一句话总结

本论文通过有向辫子代数，构建了辫子-置换群（焊接辫子群）的显式、忠实且合理的通用表示，避免了对关联器的依赖。它建立了半关联器与通用3-辫子表示之间的双射，并证明这些表示通过在关联分次层面上保持次数的同构，产生通用的Vassiliev型不变量。

ABSTRACT

Drinfel'd used associators to construct families of universal representations of braid groups. We consider semi-associators (i.e., we drop the pentagonal axiom and impose a normalization in degree one). We show that the process may be reversed, to obtain semi-associators from universal representations of 3-braids. We view braid groups as subgroups of braid-permutation groups. We construct a family of universal representations of braid-permutation groups, without using associators. All representations in the family are faithful, defined over $\bbQ$ by simple explicit formulae. We show that they give universal Vassiliev-type invariants for braid-permutation groups.

研究动机与目标

• 在不依赖关联器的前提下，构造有理数域 ℚ 上辫子-置换群（焊接辫子群）的通用表示。
• 建立半关联器与3-辫子通用表示之间的自然双射，逆转了Drinfel’d的构造。
• 将有向辫子代数定义为有向Artin代数与对称群代数的半直积，推广了Drinfel’d的辫子代数。
• 证明所构造的表示是忠实的，并在关联分次层面上诱导同构，从而产生通用的有限型不变量。
• 证明McCool群（纯焊接辫子群）是1-形式的，并通过下中央列滤子计算其有理李代数。

提出的方法

• 将半关联器定义为两个非交换变量上的形式幂级数，要求在一次齐次项归一化，但不要求满足五边形公理。
• 将有向辫子代数构造为形式为 𝒪ₙ ⋊ ℚ[Σₙ] 的 ℤ-代数，其中 𝒪ₙ 是有向水平弦图代数。
• 通过涉及生成元 vᵢⱼ 指数函数的显式公式，定义焊接辫子群到有向辫子代数中的通用表示。
• 利用焊接辫子群的Malcev完备化及其关联分次李代数，证明McCool群的1-形式性。
• 在焊接辫子群的有理群代数的关联分次与有向辫子代数的关联分次之间建立保持次数的同构。
• 借助群代数的关联分次与有向辫子代数之间的同构，证明所构造的表示是通用的有限型不变量。

实验结果

研究问题

• RQ1 能否在不使用关联器的情况下构造辫子-置换群的通用表示？
• RQ2 是否存在半关联器与3-辫子通用表示之间的自然双射？
• RQ3 所构造的焊接辫子群表示是否产生通用的Vassiliev型不变量？
• RQ4 McCool群是否为1-形式的？其有理关联分次李代数的结构如何？
• RQ5 映射 δₙ:𝒜ₙ*→𝒪ₙ*（将 tᵢⱼ 映射到 vᵢⱼ + vⱼᵢ）是否为单射？它是否意味着所有n-辫子的有限型不变量均源于焊接辫子？

主要发现

• 存在半关联器与3-辫子通用表示之间的自然双射，逆转了标准的Drinfel’d构造。
• 焊接辫子群到有向辫子代数的通用表示是忠实的，且通过显式公式在 ℚ 上定义。
• 这些表示在关联分次层面上诱导零次同构，确认其为通用的Vassiliev型不变量。
• McCool群是1-形式的，其与下中央列滤子相关的有理李代数被显式计算。
• 在关联分次层面上诱导的映射 𝛿ₙ⊗id:𝒜ₙ*⋊ℚ[Σₙ]→𝒪ₙ*⋊ℚ[Σₙ] 是同构，意味着在分次设置下，所有n-辫子的有限型不变量均源于焊接辫子。
• 对于 n ≤ 3，𝛿ₙ 的单射性已得到确认，支持该性质在一般情况下也成立的猜想。