[論文レビュー] The half-twist for U_q(g) representations

Noah Snyder, Peter Tingley|arXiv (Cornell University)|Oct 1, 2008

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

ひとこと要約

本稿では、普遍 R-行列が $ R = (t^{-1} \bigotimes t^{-1})\Delta(t) $ であり、リボン元が $ C = t^{-2} $ であるような特別な元 $ t $ を持つ半リボンホップ代数の概念を導入する。また、キリロフ＝レシェティヒンの公式を用いて $ U_q(\mathfrak{g}) $ が位相的半リボン構造を備えることを証明するが、$ t^{-2} $ が $ \mathfrak{sl}_2 $ の標準的リボン元と一致しないことから、標準的量子群の規約と不整合が生じることを明らかにする。

ABSTRACT

We introduce the notion of a half-ribbon Hopf algebra, which is a ribbon Hopf algebra along with a distinguished element $t$ corresponding to twisting a ribbon by 180 degrees (the half-twist). We show that U_q(g) is a (topological) half-ribbon Hopf algebra, but only if one uses a modified ribbon element. We then discuss some consequences of using this modified ribbon element.

研究の動機と目的

• 半リボンホップ代数の概念を定義・形式化し、位相的半ねじれ要素 $ t $ を備えたリボンホップ代数の拡張を提供すること。
• 半ねじれを含むリボンの位相的圏 $ \mathcal{HRIB}(S) $ から半リボンホップ代数の表現圏への関手を構成すること。
• $ U_q(\mathfrak{g}) $、特に $ \mathfrak{sl}_2 $ が、$ t^{-2} $ が標準的リボン元と一致するような半リボン構造を備えるかどうかを調査すること。
• 異なるリボン元の関係性と、それらが量子不変量およびスキーン理論に与える影響を明確化すること。

提案手法

• 特別な元 $ t $ を用いて、$ R = (t^{-1} \otimes t^{-1})\Delta(t) $ および $ C = t^{-2} $ を満たす半リボンホップ代数を定義し、リボンおよび準三角的構造と整合することを保証する。
• 半ねじれを許容するリボンの位相的圏 $ \mathcal{HRIB}(S) $ を構成し、標準的リボン圏に存在しない180度のねじれを含める。
• キリロフ＝レシェティヒンの公式 $ R = (X^{-1} \otimes X^{-1})\Delta(X) $ を用い、$ X $ を $ U_q(\mathfrak{g}) $ 内の候補となる半リボン元 $ t $ と特定する。
• $ X^{-2} $ が $ U_q(\mathfrak{sl}_2) $ において標準的リボン元でないことを示し、$ t^{-2} $ が標準的リボン元と等しくなるような $ t $ が存在しないことを証明する。
• 中心的群的元を用いたリボン元の変更と、それらが不変量および関手的構成に与える影響を分析する。
• $ \mathcal{HRIB}(S) $ から $ \mathcal{H}\text{-rep} $ への関手 $ \mathcal{F} $ を構築し、半ねじれを含む標準的量子群関手を拡張する。

実験結果

リサーチクエスチョン

• RQ1 任意のリボンホップ代数は、$ R = (t^{-1} \otimes t^{-1})\Delta(t) $ および $ C = t^{-2} $ を満たす半リボン元 $ t $ を持つだろうか？
• RQ2 $ U_q(\mathfrak{sl}_2) $ に対して、$ t^{-2} $ が標準的リボン元と一致するような半リボン元 $ t $ が存在するだろうか？
• RQ3 ホップ代数 $ \mathcal{H} $ が要素 $ t $ を用いて半リボン構造を備えるための条件は何か？
• RQ4 リボン元の変更が得られるリンク不変量およびスキーン理論的構成に与える影響は何か？

主な発見

• キリロフ＝レシェティヒンの公式から得られる要素 $ X $ は、$ U_q(\mathfrak{g}) $ に位相的半リボン構造をもたらし、完成化の意味で半リボンホップ代数とみなせる。
• $ U_q(\mathfrak{sl}_2) $ に対しては、$ t^{-2} $ が標準的リボン元と一致するような半リボン元 $ t $ は存在せず、Frobenius-Schur 指標の不一致が原因である。
• $ U_q(\mathfrak{sl}_2) $ の標準的リボン元は、$ U_q(\mathfrak{sl}_2) $ の完成化内の任意の $ t $ に対して $ t^{-2} $ として表現できないため、根本的な障害が存在する。
• $ X^{-2} $ を標準的リボン元の代わりに用いることで、不変量に負の符号が生じにくくなり、スキーン理論的構成が簡略化される。
• $ \mathcal{HRIB}(S) $ から $ \mathcal{H}\text{-rep} $ への関手 $ \mathcal{F} $ は、標準的量子群不変量を半ねじれを含む形に拡張し、新たな位相的解釈を可能にする。
• 中心的群的元を位数2で変更すると、不変量は $ (FS_{v_1}(V)/FS_{v_2}(V))^{\#L} $ の係数倍に変化し、成分数に依存する。