[論文レビュー] An invariant of tangle cobordisms via subquotients of arc rings

Yanfeng Chen, Mikhail Khovanov|ArXiv.org|Oct 2, 2006

Algebraic structures and combinatorial models参考文献 12被引用数 18

ひとこと要約

この論文は、弧の図式をモデルとする次数付き環 $A^{n-k,k}$ 及びその積 $A^n = \prod_{k=0}^n A^{n-k,k}$ を用いて、量子群 $\mathfrak{sl}(2)$ の表現 $V^{\otimes n}$ のカテゴリファイケーションを構成する。tangle 不変量は $A^n$ 上の次数付き両側加群の複体として定義される。主な結果は、有限生成次数付き $A^n$-加群の圏のグローテンディック群が $\mathbb{Z}[q,q^{-1}]$ 上の $V^{\otimes n}$ に同型であり、射影的加群の基底が $q \to -q^{-1}$ の変換を施した $V^{\otimes n}$ の双対自己基底にマッピングされることである。

ABSTRACT

We construct an explicit categorification of the action of tangles on tensor powers of the fundamental representation of quantum sl(2).

研究の動機と目的

• 弧の図式と次数付き環 $A^{n-k,k}$ 及びその積 $A^n$ を用いた、$\mathfrak{sl}(2)$-表現 $V^{\otimes n}$ の直接的な代数的カテゴリファイケーションの構成。
• $(m,n)$-tangle $T$ に対して、次数付き $(A^m, A^n)$-両側加群の複体 $\mathcal{F}(T)$ を定義し、tangle コボルディズムの直接的な代数的実現を提供する。
• 有限生成次数付き $A^n$-加群の圏と $\mathbb{Z}[q,q^{-1}]$-格子 $V^{\otimes n}$ 間のグローテンディック群の同型を確立し、射影的加群の基底が双対自己基底に対応することを特定する。
• tangle コボルディズムがグローテンディック群に誘導する作用が、$V^{\otimes n}$ 上の標準的な $\mathfrak{sl}(2)$-作用を回復することを示す。ただし、パrameter $q$ に符号の反転が生じる。

提案手法

• 弧の図式をモデルとする有限次元商環 $A^{n-k,k}$ をパス代数の商として定義し、tangle の弧の図式を表現する。
• 全テンソル積 $V^{\otimes n}$ を重み空間の直和として符号するため、$A^n = \prod_{k=0}^n A^{n-k,k}$ を構成する。
• 各弧の図式 $a \in B^{n-k,k}$ に対して、$v_1 \otimes v_{-1} + q v_{-1} \otimes v_1$ の適切な位置割り当てによるテンソル積を介し、$V^n$ の基底元 $p_a$ を対応付ける。
• 各 $(m,n)$-tangle $T$ に対して、次数付き $(A^m, A^n)$-両側加群の複体 $\mathcal{F}(T)$ を定義し、テンソル関手がグローテンディック群に写像を誘導することを示す。
• $K_p(A^n\text{-gmod}) \cong V^n$ となる同型を $[P_a] \mapsto p_a$ で与え、$P_a$ を弧の図式 $a$ に付随する非分解射影的加群とする。さらに、誘導された作用が $V^{\otimes n}$ 上の標準的な $\mathfrak{sl}(2)$-作用と一致することを示す。
• 同型の下で、基底 $[P_a]$ が $q \to -q^{-1}$ の置換を施した Lusztig の双対自己基底に一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、弧の図式と次数付き環に基づく直接的な代数的構成を用いて、$\mathfrak{sl}(2)$-表現 $V^{\otimes n}$ をカテゴリファイケーションできるか？
• RQ2 有限生成次数付き $A^n$-加群の圏のグローテンディック群とテンソル積 $V^{\otimes n}$ 間の関係は何か？
• RQ3 tangle 不変量とtangle コボルディズムは、$A^n$ 上の次数付き加群の圏間の関手および自然変換として実現可能か？
• RQ4 グローテンディック群 $K_p(A^n\text{-gmod})$ の非分解射影的加群の基底は、$V^{\otimes n}$ の既知の基底（例：双対自己基底）に対応するか？
• RQ5 tangle コボルディズムがグローテンディック群に誘導する作用は、$V^{\otimes n}$ 上の標準的な量子群作用をどのように回復するか？

主な発見

• グローテンディック群 $K_p(A^n\text{-gmod})$ は $\mathbb{Z}[q,q^{-1}]$ 上の自由加群としてのランク $2^n$ を持ち、$[P_a] \mapsto p_a$ で与えられる写像により $V^n$ に同型である。
• $K_p(A^n\text{-gmod})$ の基底 $\{[P_a] \mid a \in \sqcup_{k=0}^n B^{n-k,k}\}$ は、$q \to -q^{-1}$ の置換を施した $V^{\otimes n}$ の Lusztig 双対自己基底に対応する。
• tangle 不変量 $\mathcal{F}(T)$ はグローテンディック群上で $\mathbb{Z}[q,q^{-1}]$-線形写像を誘導し、$V^{\otimes n}$ 上の標準的な $\mathfrak{sl}(2)$-作用と一致する。
• 最高重量圏や行列式因子を用いない、直接的かつ代数的な $V^{\otimes n}$ のカテゴリファイケーションを提供する。
• $\mathrm{Inv}(V^{\otimes 2n})$ のカテゴリファイケーションを制御する環 $H^n$ は $A_{n,n}$ の部分環 $eA_{n,n}e$ に埋め込まれ、$H^n \otimes_{\mathbb{Z}} \mathbb{C} \cong eA_{n,n}e$ である同型は両側加群構造と整合的である。
• tangle $T$ に対する両側加群の複体 $\mathcal{F}(T)$ は、次数付き $A^n$-加群の導来圏間の完全関手を誘導し、そのグローテンディック群への作用は線形写像 $f_{\text{inv}}(T)$ を回復する。