[論文レビュー] Invariants of links with flat connections in their complements.II. Holonomy R-matrices related to quantized universal enveloping algebras at roots of 1

Rinat Kashaev, Nicolai Reshetikhin|ArXiv.org|Feb 21, 2002

Advanced Topics in Algebra参考文献 11被引用数 7

ひとこと要約

この論文は、1の根における量子化普遍包あらゆる代数の普遍R行列の正則部を特殊化することで、ホロノミーR行列を構成する。これらのR行列は、補集合に平坦接続をもつねじれの不変量をもたらし、量子不変量を一般化し、1の根における表現論と漸近的極限を通じて幾何的・位相的不変量と結びつける。

ABSTRACT

Holonomy R-matrices parametrized by finite-dimensional representations are constructed for quantized universal enveloping algebras of simple Lie algebras at roots of 1.

研究の動機と目的

• 1の根における量子化普遍包あらゆる代数のホロノミーR行列を、普遍R行列の正則部を用いて構成すること。
• 補集合に平坦接続をもつねじれ不変量の枠組みを、1の根の場合にまで拡張すること。
• これらの不変量と、双曲的体積や1の根におけるジョーンズ多項式などの幾何的不変量との関係を確立すること。
• 自明な平坦接続の極限および大きなレベル $ l $ の下でのこれらの不変量の漸近的挙動を調べること。
• 複素Lie群におけるChern-Simons理論を用いて、これらの不変量を記述するトポロジカル量子場理論の基礎を築くこと。

提案手法

• 1の根における $ U_q(\frak{g}) $ の普遍R行列の正則部を用い、$ G \times G $ 上の作用素値関数を構成し、ホロノミーヤンガーバクスターベル方程式を満たす。
• 1の根における量子化普遍包あらゆる代数の整数的形 $ \upsilon^M_\varepsilon(\frak{g}) $ を用い、生成子を $ \overline{E_i} = (q_i - q_i^{-1})E_i $ で正規化する。
• ねじれに値を割り当てるファンクター $ F $ を用い、有限次元 $ \mathcal{U}^M_\varepsilon(\frak{g}) $-加群 $ V $ に対して $ \text{End}(V) $ の元を割り当てる。ホロノミーR行列構造によりゲージ不変性が保証される。
• 最長ワイル群元の縮小分解を用いて正の根の凸順序と、対応する根ベクトル $ E_{\beta_a}, F_{\beta_a} $ の基底を定義する。
• Gのドレッシング作用により、ホロノミーR行列がゲージ変換に対して不変であることが示され、結果として得られるねじれ不変量の位相的不変性が保証される。
• 漸近的解析により、$ q \to \varepsilon $ の極限で、普遍R行列の正則部が[RT]および[Ka]の1の根における不変量を一般化するものとなることが示唆される。

実験結果

リサーチクエスチョン

• RQ1 1の根における量子化普遍包あらゆる代数から、ホロノミーR行列をどのように構成できるか。
• RQ2 普遍R行列の正則部が、平坦接続をもつねじれの不変量を生成する役割を果たすのはどのような仕組みか。
• RQ3 これらの不変量は、1の根におけるジョーンズ多項式などの既知の不変量とどのように関係しているか。
• RQ4 自明な平坦接続の極限におけるこれらの不変量の幾何的意味は何か。
• RQ5 特に複素Lie群におけるChern-Simons理論を用いて、これらの不変量を記述するトポロジカル量子場理論を定式化できるか。

主な発見

• 1の根における $ U_q(\frak{g}) $ の普遍R行列の正則部は、ホロノミーヤンガーバクスターベル方程式を満たすホロノミーR行列をもたらす。
• これらのホロノミーR行列は、補集合に平坦接続をもつねじれのゲージ不変な不変量をもたらす。
• G = SL_2 の場合、3次元多様体がねじれの補集合であるとき、[BB]で構成された不変量と一致する。
• 平坦接続が自明で、G = SL_2 の場合、不変量は[Ka]で構成されたものと一致し、1の根におけるジョーンズ多項式に関連する。
• 極限 $ \phi \to 1 $（自明な平坦接続）において、不変量は、次元 $ \ell^{\Delta_+} $ の可約だが分解不能な表現に対して[RT]の不変量に還元される。
• 著者らは、これらの不変量が、$ l $ が非常に大きい極限において、補集合の双曲的体積に関係しているかもしれないと予想している。これは、既知の漸近的挙動を一般化するものである。