[論文レビュー] Wheeling: A diagrammatic analogue of the Duflo isomorphism

Dylan P. Thurston|arXiv (Cornell University)|Jun 11, 2000

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

ひとこと要約

この論文は、ヴァシルエフ不変量とコンツェビッチ積分を用いて、ドゥフロ同型の図式的類似を構成し、ホップリンクの位相的性質「1+1=2」（アバクス算術における）を用いて、ドゥフロ写像の乗法性を証明する。主要な結果として、双曲正弦関数を含む明示的なべき級数を用いて、輪の関係式における係数を固定する。

ABSTRACT

We construct and prove a diagrammatic version of the Duflo isomorphism between the invariant subalgebra of the symmetric algebra of a Lie algebra and the center of the universal enveloping algebra. This version implies the original for metrized Lie algebras (Lie algebras with an invariant non-degenerate bilinear form). As an application of this isomorphism, we will compute the Kontsevich integral of the unknot and the Hopf link to all orders. At the core of the proof, we use an elementary property of the Hopf link which can be summarized by the equation ``1+1=2'' in abacus arithmetic: doubling one component of the Hopf link is equivalent to taking the connected sum of two Hopf links. This property of the Hopf link turns out, when suitably interpreted, to be exactly the property required for the Duflo map to be multiplicative. To compute the Kontsevich integral of the unknot, we use a property of the unknot that can be summarized by ``n * 0 = 0'': the n-fold connected cabling of the unknot is again an unknot.

研究の動機と目的

• リー代数の対称代数の不変部分代数と普遍包あくり代数の中心の間のドゥフロ同型の図式的バージョンを構成すること。
• この図式的同型が、計量的リー代数に対して元のドゥフロ同型を示すこと。
• 図式的技法を用いて、ねじれとホップリンクのコンツェビッチ積分をすべての位数で計算すること。
• ホップリンクの位相的性質を形式的に『1+1=2』（アバクス算術における）として表現し、ドゥフロ写像の乗法性を確立すること。
• ねじれの不変性をケーブル化の観点から分析することで、輪の関係式における係数を特定すること。

提案手法

• 論文は、コンツェビッチ積分を普遍のヴァシルエフ不変量として用い、図式の空間から普遍包あくり代数への図式的写像 Φ を導入する。
• ホップリンクの『1+1=2』性質（1つの成分を二重化することは、2つのホップリンクの連結和に等しい）を用いて、写像 Φ が乗法的であることを証明する。
• 写像 Υ は χ∘∂j¹ᐟ² として定義され、χ はPBW写像、j¹ᐟ² は随伴表現の双曲正弦関数を含む補正因子である。
• ねじれのコンツェビッチ積分は、ねじれの n 重ケーブル化がねじれをもたらすという性質（『n·0=0』として形式化）を用いて計算される。
• sl₂ リー代数における不変量の評価を用いて、輪の関係式の係数を固定する。図式とトレース形式の明示的関係が用いられる。
• 帰納法と図式的恒等式を用いた証明であり、特に ⟨(⌣)ⁿ, (⌣)ⁿ⟩ ≡ (2n+1)! が sl₂ の関係式を法として成立する。

実験結果

リサーチクエスチョン

• RQ1 ヴァシルエフ不変量を用いて、ドゥフロ同型を完全に図式的枠組みで再定式化することは可能か？
• RQ2 ホップリンクのどの位相的性質が、図式的ドゥフロ写像の乗法性を保証するか？
• RQ3 ねじれのケーブル化における不変性は、輪の関係式における係数にどのような制約を課えるか？
• RQ4 すべての位数において、ねじれのコンツェビッチ積分の明示的形は何か？
• RQ5 sl₂表現の文脈において、図式的恒等式から輪の関係式を導出することは可能か？

主な発見

• 図式的ドゥフロ同型は乗法的であり、その証明はホップリンクの成分を二重化することと2つのホップリンクの連結和が位相的に同値であるという事実に依存する。
• ねじれのコンツェビッチ積分はすべての位数で計算され、その係数は輪の関係式によって決定されるべきべき級数をもたらす。
• 輪の関係式の生成関数における xⁿ の係数は 1/(4ⁿ(2n+1)!) であると判明し、明示的公式 ∑aₙxⁿ = ½ log(sinh(x/2)/(x/2)) が得られる。
• sl₂ リー代数において、図式 Ω′ は ⟨Ω′, (⌣)ⁿ⟩ = (1/24 ΘGraph)ⁿ を満たし、ΘGraph ≡ 6 であるため、輪写像の正規化が固定される。
• 2つのホップリンクの連結和の像と、成分を二重化したものの像が一致することを検証することで、写像 Φ が乗法的であることが示され、図式的形での『1+1=2』恒等式が確認される。
• sl₂ 関係式を法として ⟨(⌣)ⁿ, (⌣)ⁿ⟩ を評価すると (2n+1)! が得られ、これは輪の関係式における係数を固定する上で不可欠である。