[論文レビュー] 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 この手法は、異なる矢印付き図形を区別できるか。また、特定の構成に対する定量的重みは何か。

主な発見

• 3本の交差しない矢印を持つ図形における 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} $ に等しい。
• 2組の隣接する矢印を持つ第二の 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} $ に等しく、10個のラベル付き構成の寄与を合算することで導出された。
• gl(N)、sp(N)、so(2N)、so(2N+1) の向きなし重み系が、平均化写像を用いて計算した結果は、バーナタンの [BN1] の結果と完全に一致し、一貫性が確認された。
• so(2N) および so(2N+1) に対してユニタリ基底変換を用いることで、一貫したテンソル評価が可能となり、内積における共役線形性は矢印の先端および末尾における適切な符号および係数調整により処理された。