[论文解读] Combinatorial Formulas for Classical Lie Weight Systems on Arrow Diagrams

Louis Leung|ArXiv.org|Dec 12, 2008

Algebraic structures and combinatorial models参考文献 5被引用 4

一句话总结

本文通过马宁三元组和李双代数，从经典李代数出发，为定向与非定向弦图推导出显式的组合公式。通过为箭头图分配张量，构建权重系统，并证明将这些系统与平均映射复合后，所得结果与巴-塔南的非定向权重系统一致，从而验证了 gl(N)、so(2N)、sp(N) 和 so(2N+1) 的构造一致性。

ABSTRACT

In 2002 Haviv gave a way of assigning Lie tensors to directed trivalent graphs. Weight systems on oriented chord idagrams modulo 6T can then be constructed from such tensors. In this paper we give explicit combinatorial formulas of weight systems using Manin triples constrcted from classical Lie algebras. We then compose these oriented weight systems with the averaging map to get weight systems on unoriented chord diagrams and show that they are the same as the ones obtained by Bar-Natan in 1991. In the last section we carry out calculations on certain examples.

研究动机与目标

• 通过从经典李代数导出的李双代数，为定向弦图构造显式的组合权重系统。
• 通过平均映射将这些定向权重系统扩展至非定向图，并验证其与已知结果的一致性。
• 为 gl(N)、so(2N)、sp(N) 和 so(2N+1) 李代数提供显式的计算公式。
• 证明通过平均映射得到的非定向权重系统与巴-塔南在 [BN1] 中构造的结果一致，从而验证该方法在多种经典李代数类型上的有效性。

提出的方法

• 利用对称非退化不变双线性形式导出的马宁三元组，从经典李代数构造李双代数。
• 利用李双代数结构为箭头图分配张量，通过满足不等式和等式条件的指标三元组求和来计算取值。
• 对 so(2N) 和 so(2N+1) 进行基变换，以新正交基表示权重系统，实现张量计算的一致性。
• 将定向权重系统与平均映射复合，对箭头方向进行对称化，得到非定向权重系统。
• 在新基下使用线性展开与消去规则计算最终权重值，结果与 [BN1] 中已知结果一致。
• 通过组合计数指标三元组 (α, β, μ) 的显式计算，结合等式条件（如 1、1/2、1/4）的权重，对样本图进行计算。

实验结果

研究问题

• RQ1 如何通过马宁三元组从经典李代数导出箭头图上权重系统的显式组合公式？
• RQ2 将定向权重系统与平均映射复合后得到的权重系统是否能重现巴-塔南的非定向权重系统？
• RQ3 在一致的正交基下，gl(N)、so(2N)、sp(N) 和 so(2N+1) 的显式张量表达式与权重值是什么？
• RQ4 基变换如何影响正交与辛李代数权重系统的计算？
• RQ5 该方法能否区分不同箭头图？特定构型的定量权重是多少？

主要发现

• 对于具有三个非交叉箭头的 gl(N) 图，权重为 $ a + \frac{1}{2}b + \frac{1}{4}c $，其中 $ a = \binom{N}{3} $，$ b = \binom{N}{2} $，$ c = \frac{N}{4} $，总和为 $ \binom{N}{3} + \binom{N}{2} + \frac{N}{4} $。
• 对于第二个 gl(N) 图，其包含两对相邻箭头，权重为 $ 2\binom{N}{3} + 2\binom{N}{2} + \frac{N}{4} $，证实该系统能区分非同构图。
• 图 26 中 so(2N) 图的权重为 $ \frac{N}{4} + \binom{N}{2} $，通过分解为具有适当权重的环状构型计算得出。
• 图 27 中 so(2N+1) 图的总权重为 $ -4\binom{3}{3} - 7\binom{N}{2} + \frac{11N}{8} $，由十个带标签构型的贡献求和得出。
• 通过平均映射计算的 gl(N)、sp(N)、so(2N) 和 so(2N+1) 的非定向权重系统与巴-塔南在 [BN1] 中的结果完全一致，验证了构造的一致性。
• 对 so(2N) 和 so(2N+1) 使用酉基变换，实现张量计算的一致性，通过在箭头头尾处适当地调整符号与系数，处理内积中的共轭线性。