[論文レビュー] Beads: From Lie algebras to Lie groups

Stavros Garoufalidis|ArXiv.org|Jan 8, 2002

Geometric and Algebraic Topology参考文献 12被引用数 5

ひとこと要約

本稿は、『ビーズ』を用いた三価グラフで表現されるコンツェビチ積分の有理型形と、特に随伴表現を通じて、リー代数の関数とリー群上の関数との間の明確な対応を確立する。同報は、リー代数を用いて定義される色付きジョーンズ関数が、ローレンツ多項式上の行列を用いて構成される群論的不変量と等価であることを示し、その主要結果として、ホイールの指数関数とワイルの特徴式を用いた重み系の可換性が得られる。

ABSTRACT

The Kontsevich integral of a knot is a powerful invariant which takes values in an algebra of trivalent graphs with legs. Given a Lie algebra, the Kontsevich integral determines an invariant of knots (the so-called colored Jones function) with values in the symmetric algebra of the Lie algebra. Recently A. Kricker and the author constructed a rational form of the Kontsevich integral which takes values in an algebra of trivalent graphs with beads. After replacing beads by an exponential legs, this rational form recovers the Kontsevich integral. The goal of the paper is to explain the relation between beads and functions defined on a Lie group. As an application, we provide a rational form for the colored Jones function of a knot, conjectured by Rozansky. This is a revised version.

研究の動機と目的

• 三価グラフに『ビーズ』を用いたコンツェビチ積分の有理型形と、リー群上で定義される不変量との間の明確な橋渡しを確立すること。
• ロザンスキーが提起した、群論的重み系を用いた色付きジョーンズ関数の有理型形に関する予想を解決すること。
• コンツェビチ積分の有理型形が、随伴表現を含む群レベルの構成によって量子群不変量を回復できることを示すこと。
• 『ビーズ』が指数関数的脚（ヘア）の代わりに有理型として機能することを明確にし、代数的計算を可能にする。

提案手法

• 本稿は、$ \Lambda_{\text{loc}} = \mathbb{Z}[t,t^{-1}]_{(1)} $ におけるビーズを備えた三価グラフの代数に値をとるコンツェビチ積分の有理型形 $ Z^{\text{rat}} $ を構成し、AS、IHX、ホロノミー関係を満たす。
• ビーズを指数関数的脚（ヘア）に置き換える写像 $ \mathrm{Hair}^\nu $ を導入し、$ \mathrm{Hair}^\nu \circ Z^{\text{rat}} $ が元のコンツェビチ積分を回復することを示す。
• 中心的な手法は、リー代数 $ \mathfrak{g} $ から $ S(\mathfrak{g})^\mathfrak{g}[[h]] $ への重み系と、リー群 $ G $ から $ C_{\text{alg},\Delta}(G)^G[[h]] $ への重み系との比較であり、ワイルの特徴式を介して行う。
• 恒等式 $ \mathrm{Ad}(\exp x) = \exp(\mathrm{ad}_x) $ を用いて、$ W_\mathfrak{g}^h \circ \mathrm{Hair}^\nu $ と $ \Phi \circ W_G^h $ を含む図式の可換性を証明する。
• 重み系のホイールへの値は $ \mathrm{ad}_x^{2n} $ のトレースを用いて表現され、行列 $ A \in B(\Lambda \to \mathbb{Z}) $ の行列式の対数がホイール不変量の母関数と関係づけられる。
• ワイルの分母公式と、$ \det(A)(e^{h(\alpha,\lambda)}) $ が群論的重み系に現れることを用い、リー代数的表現と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 ビーズを用いたコンツェビチ積分の有理型形は、どのようにリー群上で定義される不変量と関係づけられるか？
• RQ2 リンクの色付きジョーンズ関数は、随伴表現を通じた群論的構成と一致する有理型形を有するか？
• RQ3 リー代数に付随する重み系は、ホイールの指数関数とホロノミー関係を用いて、リー群上で定義された重み系から回復可能か？
• RQ4 対称代数不変量 $ S(\mathfrak{g})^\mathfrak{g}[[h]] $ と群上の代数的関数 $ C_{\text{alg},\Delta}(G)^G[[h]] $ の間の自然な同型写像が、コンツェビチ積分を尊重するか？
• RQ5 コンツェビチ積分の有理型形における『ビーズ』は、元の積分における指数関数的脚（ヘア）とどのように対応するか？

主な発見

• ビーズを $ \Lambda_{\text{loc}} $ に持つコンツェビチ積分の有理型形 $ Z^{\text{rat}} $ は、$ \mathrm{Hair}^\nu $ を用いてビーズを指数関数的脚に置き換えることで、元のコンツェビチ積分を回復する。
• リー代数 $ \mathfrak{g} $ を用いて定義される色付きジョーンズ関数 $ J_\mathfrak{g} $ は、群 $ G $ の随伴表現を通じて定義される群論的不変量 $ J_G $ と写像 $ \Phi $ に関して同型である。
• 重み系の値は $ W_\mathfrak{g}^h \circ \mathrm{Hair}^\nu(A)(\lambda) = [\lambda - \rho] \prod_{\alpha \succ 0} \frac{1}{\det(A)(e^{h(\alpha,\lambda)})} $ と表され、群論的表現と一致する。
• ホイールへの重み系の値は $ W_\mathfrak{g}^h(\omega_{2n})(x) = \operatorname{tr}(\mathrm{ad}_x^{2n}) = 2\sum_{\alpha \succ 0} \alpha(x)^{2n} $ で与えられ、リー代数のトレースと群の行列式を結びつける。
• 行列 $ A \in B(\Lambda \to \mathbb{Z}) $ の行列式は $ \log(\det(A)(e^h)) = \sum_{n=1}^\infty a_{2n} h^{2n} $ を満たし、この級数が重み系におけるホイール不変量を生成する。
• 図式 $ W_\mathfrak{g}^h \circ \mathrm{Hair}^\nu $ と $ \Phi \circ W_G^h $ の可換性は、恒等式 $ \mathrm{Ad}(\exp x) = \exp(\mathrm{ad}_x) $ を用いて証明され、二つの構成の等価性が確認される。