[論文レビュー] On the integrality of Witten-Reshetikhin-Turaev 3-manifold invariants

Anna Beliakova, Qi Chen+1 more|Zurich Open Repository and Archive (University of Zurich)|Oct 22, 2010

Geometric and Algebraic Topology参考文献 18被引用数 4

ひとこと要約

本稿は、任意の3次元多様体に色付きリンクを備えた場合、$SU(2)$および$SO(3)$量子群のWitten–Reshetikhin–Turaev（WRT）不変量が、任意の単位根において代数的整数であることを証明する。著者らは、量子$sl(2)$グローバー代数の新しい基底を確立し、色付きジョーンズ多項式のブロック分解を可能にし、可除性結果およびロスコ形式の直交性を用いて整数性を証明する。これにより、すべての3次元多様体およびすべての単位根に対して、長年の整数性予想が解決される。

ABSTRACT

We prove that the SU(2) and SO(3) Witten-Reshetikhin-Turaev invariants of any 3-manifold with any colored link inside at any root of unity are algebraic integers.

研究の動機と目的

• 任意の3次元多様体に色付きリンクを備えた場合、$SU(2)$および$SO(3)$のWRT不変量が、任意の単位根において代数的整数であるかどうかという、長年の未解決問題を解決すること。
• 従来の結果（主に素数次の単位根またはホモロジー球面に限られていた）を、より広い範囲に拡張すること。
• ロスコ形式および中心の奇数部と整合する新しい正規直交基底を、量子$sl(2)$グローバー代数の環に構築すること。
• 色付きジョーンズ多項式が整数ブロックに分解可能であることを証明し、非ホモロジー球面多様体に対してもハビロの統一不変量的手法を一般化すること。
• すべての正規化（特に射影的$SO(3)$バージョンを含む）において、$SU(2)$および$SO(3)$不変量の完全な整数性を確立すること。

提案手法

• 量子$sl(2)$グローバー代数の環に、ロスコ形式において中心の奇数部と直交する新しい基底$P_k^{( u)'}$を導入する。
• アンダーソンの数論的恒等式から導かれる一般化された可除性結果（定理2.2）を用い、リーやハビロの先行結果を拡張する。
• 基底変換$V_n$から$P_k^{( u)'}$を用いて、色付きジョーンズ多項式を整数ブロックの和として表現し、ブロック単位の整数性解析を可能にする。
• 量子トレースおよびロスコペアリングを用いて、フレーム付きリンクのWRT不変量と色付きジョーンズ多項式を関連付け、トレース保存性により代数的整数性を保証する。
• 特に偶数位数のアーベル群に対して、分類結果を用いて一般の手術表示を対角連結行列に還元する。
• トゥーリングの普遍不変量$J_T$を用いてリンク不変量を表現し、各ブロック係数が$q$-整数環に属することを示し、単位根への特殊化後に整数性が保証されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 任意の3次元多様体に色付きリンクを備えた場合、$SU(2)$のWRT不変量は、素数順ではなく、すべての単位根においても整数であるか？
• RQ2 $SO(3)$のWRT不変量は、単位根が奇数次で素数でない場合でも、任意の3次元多様体およびリンクに対して代数的整数のままであるか？
• RQ3 色付きジョーンズ多項式は、個々のブロックがWRT不変量に整数的に寄与するような、整数ブロックに分解可能か？
• RQ4 $SU(2)$不変量の整数性は、すべての標準的正規化（特に射影的$SO(3)$バージョンを含む）においても保たれるか？
• RQ5 $SU(2)$に用いられたブロック分解法は、より高いランクのリー群へ一般化可能か？

主な発見

• $SU(2)$の任意の3次元多様体に任意の色付きリンクを備えた場合、任意の単位根におけるWRT不変量は代数的整数である。
• $SO(3)$の任意の3次元多様体に任意の色付きリンクを備えた場合、任意の奇数次の単位根におけるWRT不変量は代数的整数である。
• 色付きジョーンズ多項式は、量子$sl(2)$グローバー代数の環における新しい正規直交基底を用いて、整数ブロックに分解可能である。
• 各ブロック係数は$\mathbb{Z}[q^{\pm 1/4}]$に属し、このようなブロックの量子トレースは$\frac{(q^{k+1};q)_{k+1}}{1-q}\mathbb{Z}[q^{\pm 1/4}]$に属する。これにより、単位根への特殊化後に整数性が保証される。
• $SU(2)$不変量の整数性は、文脈に応じて用いられるすべての正規化（特に射影的$SO(3)$バージョンを含む）においても整数性を示唆する。
• $SU(2)$と$SO(3)$の不変量の関係は、奇数次の単位根において、空または基本表現で色付けされたリンクに限らず、任意の色付きリンクに一般化され、先行研究の結果を拡張する。