[論文レビュー] Towards a Diagrammatic Analogue of the Reshetikhin-Turaev Link Invariants

Ami Haviv|arXiv (Cornell University)|Nov 2, 2002

Algebraic structures and combinatorial models参考文献 19被引用数 10

ひとこと要約

本稿は、複素単純 Lie 代数の Etingof-Kazhdan 量子化の図式的類似を構成するため、有向 Jacobi 図形を用いた図式的枠組みを導入する。この枠組みでは、Reshetikhin-Turaev 不変量に類似したフレーム付きリンク不変量 $\mathbf{Z}_{\text{EK}}$ を定義し、輪の図形を有向化したものの指数関数のトレースとして表される、ねじれのない図形における値について簡略化された公式を予想する。また、無向図形から有向図形への自然な写像 $\iota$ を通じて、Kontsevich 積分との関係を確立する。この構成により、有向構造と Lie 代数双代数のデータを用いた量子群の量子化の図式的実現が得られる。

ABSTRACT

By considering spaces of directed Jacobi diagrams, we construct a diagrammatic version of the Etingof-Kazhdan quantization of complex semisimple Lie algebras. This diagrammatic quantization is used to provide a construction of a directed version of the Kontsevich integral, denoted $Z_EK$, in a way which is analogous to the construction of the Reshetikhin-Turaev invariants from the R-matrices of the Drinfel'd-Jimbo quantum groups. Based on this analogy, we conjecture (and prove in a restricted sense) a formula for the value of the invariant $Z_EK$ on the unknot. This formula is simpler than the Wheels formula of [BGRT], but the precise relationship between the two is yet unknown.

研究の動機と目的

• 複素単純 Lie 代数の Etingof-Kazhdan 量子化の図式的類似を、有向 Jacobi 図形を用いて開発すること。
• Reshetikhin-Turaev 不変量の $R$-行列に基づく構成に類似した、フレーム付きリンク不変量 $\mathbf{Z}_{\text{EK}}$ を構成すること。
• ねじれのない図形における $\mathbf{Z}_{\text{EK}}$ の値について、基本的な有向輪の図形の指数関数のトレースとして表される簡略化された公式を予想すること。
• $\iota$ と呼ばれる写像（無向図形から有向図形への写像）を用いて、$\mathbf{Z}_{\text{EK}}$ と Kontsevich 積分との関係を明確にすること。
• この図式的枠組みと、仮想 knot 理論における Polyak の矢印図形との関係を調査すること。

提案手法

• 有向 IHX および STU 関係を法とする有向 Jacobi 図形の代数 $\overset{{}_{\to}}{\mathcal{A}}$ を導入する。
• 有向枠組み内での有向 PBW 同型写像および Verma 加群を定義し、Etingof-Kazhdan 量子化を図式的にモデル化する。
• クーラストランスフォーメーションの構造を有する擬三角的擬 Hopf 代数構造に基づき、Etingof-Kazhdan 手続きを類似させる図式的ねじれを用いて不変量 $\mathbf{Z}_{\text{EK}}$ を構成する。
• KZ 保証子と $\overset{{}_{\to}}{\mathcal{A}}$-空間上の KZ 構造を用い、Reshetikhin-Turaev の構成と類似する方法でリンク不変量を定義する。
• 無向図形から有向図形への写像 $\iota$ を適用し、$\mathbf{Z}_{\text{EK}}$ を Kontsevich 積分と関連付ける。
• 有向 Jacobi 図形の非循環性の概念を用い、有向関係を法とする非循環図形の商として空間 $\overset{{}_{\to}}{\mathcal{P}}$ を定義する。

実験結果

リサーチクエスチョン

• RQ1 複素単純 Lie 代数の Etingof-Kazhdan 量子化は、有向 Jacobi 図形を用いて完全に図式的に実現可能か？
• RQ2 本稿の図式的枠組みによって構成されたフレーム付きリンク不変量 $\mathbf{Z}_{\text{EK}}$ は、Kontsevich 積分と同倹または密接に関係しているか？
• RQ3 ねじれのない図形における $\mathbf{Z}_{\text{EK}}$ の値は、Wheels 公式よりも簡略化された公式を有するか。具体的には、有向輪の図形の指数関数を含む公式か？
• RQ4 $\overset{{}_{\to}}{\mathcal{P}}^{\otimes 2}$ 内に、図式的 $r$-行列を量子化する量子 Yang-Baxter 方程式の解が存在するか？
• RQ5 $\overset{{}_{\to}}{\mathcal{A}}_{\text{EK}}$ の $R$-行列 $R_{\text{EK}}$ は、写像 $j: \overset{{}_{\to}}{\mathcal{P}}^{\otimes 2} \to \overset{{}_{\to}}{\mathcal{A}}^{\otimes 2}$ の像に含まれるか？

主な発見

• 本稿は、有向 Jacobi 図形を用いた Etingof-Kazhdan 量子化の図式的バージョンを構成し、図式的設定における量子化手続きの新たな実現を提供する。
• $\mathbf{Z}_{\text{EK}}$ は、Reshetikhin-Turaev の構成に類似した、有向 Jacobi 図形の空間に値をとるフレーム付きリンク不変量として定義される。
• ねじれのない図形における $\mathbf{Z}_{\text{EK}}$ の値について、予想される公式は $\operatorname{Tr}(\exp(\frac{1}{2} \cdot \text{wheel diagram}))$ として与えられ、Wheels 公式よりも簡潔である。
• 無向図形から有向図形への写像 $\iota$ により、$\mathbf{Z}_{\text{EK}}$ と Kontsevich 積分との関係が確立され、両者の同倹または密接な関係が示唆される。
• 非循環有向 Jacobi 図形の空間 $\overset{{}_{\to}}{\mathcal{P}}$ は、非循環性によって誘導される同型写像を通じて、$\overset{{}_{\to}}{{\mathcal{P}}^{c}}$、つまり有向弦図形の空間と同型である。
• 写像 $j: \overset{{}_{\to}}{\mathcal{P}} \to \overset{{}_{\to}}{\mathcal{A}}$ が単射かどうかは未解決のまま残されており、全射でもないが、$R_{\text{EK}}$ が $j$ の像に含まれるかという疑問が提起されている。