[論文レビュー] Quantum invariants of 3-manifolds: integrality, splitting, and perturbative expansion

Thang T. Q. Lê|ArXiv.org|Apr 15, 2000

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

ひとこと要約

本稿は、任意の単純リー代数に対して、量子パラメータが奇素数の単位根である場合に、3次元多様体の量子不変量の整数性および摂動的展開を、射影的および中心関連不変量への分解を用いて確立する。射影的量子不変量が常に代数的整数であることを示し、有理ホモロジー球面に対する大塚の理論に類似した摂動的展開を示す。

ABSTRACT

We consider quantum invariants of 3-manifolds associated with arbitrary simple Lie algebras. Using the symmetry principle we show how to decompose the quantum invariant as the product of two invariants, one of them is the invariant corresponding to the projective group. We then show that the projective quantum invariant is always an algebraic integer, if the quantum parameter is a prime root of unity. We also show that the projective quantum invariant of rational homology 3-spheres has a perturbative expansion a la Ohtsuki. The presentation of the theory of quantum 3-manifold is self-contained.

研究の動機と目的

• 量子群理論における単位根での理論に依存せずに、任意の単純リー代数に対する自己完結的な量子3次元多様体不変量の理論を構築すること。
• キルビー＝メルビンおよびコウノ＝タカタの結果を一般化し、量子不変量を射影的不変量と中心関連弱不変量の積に分解すること。
• 量子パラメータが奇素数の単位根である場合に、射影的量子不変量が常に代数的整数であることの確立。
• 有理ホモロジー3次元球面に対して、射影的量子不変量が形式的変数 ℏ における摂動的展開をもつことの証明し、sl₂ に対する大塚の理論を拡張すること。
• すべての単純リー代数にわたる既存の整数性および摂動的結果を統一・一般化し、d ≠ 1 かつ r が素数である場合を含む。

提案手法

• 対称性原理を用いて、量子不変量 τᵍᴹ(q) を τᴾᵍᴹ(q) × τᴳᴹ(q) に分解し、τᴾᵍᴹ が射影的群に対応し、τᴳᴹ が中心群に対応することを示す。
• 命題1.6の整数性結果を適用し、r が奇素数のとき、一般に ℚ(q¹ᐟ²) に値をとるパラメータであるにもかかわらず、τᴾᵍᴹ(q) ∈ ℤ[q] であることを示す。
• 重み格子の代わりに根格子を用いて射影的不変量を構成することで、r が d で割り切れない場合でもモジュラーカテゴリを構成可能となるようにする。
• ロザンスキーのガウス積分法にインspiredされた摂動的展開技術を用い、q = 1 の周りで ℏ = log q を用いて τᴾᵍᴹ(q) を展開する。
• 格子点 μ ∈ ρ + (Pᵣ ∩ Y) における和を離散ガウス積分として分析し、フレーミング項と二次項を分離する。
• q^(β|μ) = exp(ℏ(β|μ)) の展開を用い、μ における次数 j の項を抽出し、偶数次のみを保持して ℏ における形式的べき級数を構成する。

実験結果

リサーチクエスチョン

• RQ1 任意の単純リー代数に対して、r が d で割り切れない場合でも、3次元多様体の量子不変量が射影的不変量と中心関連不変量の積に分解可能か？
• RQ2 r が奇素数の単位根であるとき、射影的量子不変量 τᴾᵍᴹ(q) は常に代数的整数か？
• RQ3 有理ホモロジー3次元球面に対して、射影的量子不変量は ℏ = log q における摂動的展開をもつか？
• RQ4 τᴾᵍᴹ(q) の摂動的展開は、 surgery 表現のリンク形式およびフレーミングデータとどのように関係するか？
• RQ5 整数性および摂動的構造が、d > 1 を含むすべての単純リー代数に一様に確立可能か？

主な発見

• r が奇素数のとき、射影的量子不変量 τᴾᵍᴹ(q) は常に代数的整数であり、一般に ℚ(q¹ᐟ²) に値をとる不変量 τᵍᴹ(q) とは異なり、ℤ[q] に属する。
• r が det(aᵢⱼ) と素数のとき、すべての単純リー代数に対して分解 τᵍᴹ = τᴾᵍᴹ × τᴳᴹ が成り立ち、τᴳᴹ は H₁(M; ℤ) およびリンク形式によって定まる弱不変量である。
• 有理ホモロジー3次元球面に対して、τᴾᵍᴹ(q) は ℏ = log q における摂動的展開をもち、ℚ((ℏ)) ∩ ℤ[[ℏ]] に係数をもつ形式的べき級数として表現可能である。
• 摂動的展開は、指数関数項 q^(β|μ) = exp(ℏ(β|μ)) の展開を行い、μ における偶数次項を抽出することで構成され、(2j−1)!! および |β|² を含む表現が得られる。
• レンズ空間および対角リンク行列に対しては、z_bᵢ 要素および bᵢ⁻ʲ と (2j−1)!! を含む係数を用いて、摂動的展開を明示的に計算可能である。
• 一般の場合では、レンズ空間との連結和分解を用いて対角の場合に還元され、摂動的不変量がすべての有理ホモロジー3次元球面に拡張可能となる。