[論文レビュー] Genealogy of Nonperturbative Quantum-Invariants of 3-Manifolds: The Surgical Family

Thomas Kerler|arXiv (Cornell University)|Jan 20, 1996

Algebraic structures and combinatorial models被引用数 9

ひとこと要約

本稿は、リュバシキンの不変量 τ_L がリシェチキン＝トゥレイの τ_RT とヘニングス＝カウフマン＝ラドフォードの τ_HKR を両方一般化することを示すことにより、3次元多様体の非摂動的量子不変量の統一的枠組みを確立する。非可換三角ホップ代数において、Henningsのアルゴリズムを用いて τ_RT を直接計算できる標準的な中心的元 Q を導入し、τ_L が拡張されたTQFTから生じる最も一般的な不変量であることを証明する。さらに、A = U_q(sl_2) のレンズ空間に対して τ_HKR / τ_RT が1番目のホモロジー群の位数に一致することを示す。

ABSTRACT

We study the relations between the invariants $\ au_{RT}$, $\ au_{HKR}$, and $\ au_L$ of Reshetikhin-Turaev, Hennings-Kauffman-Radford, and Lyubashenko, respectively. In particular, we discuss explicitly how $\ au_L$ specializes to $\ au_{RT}$ for semisimple categories and to $\ au_{HKR}$ for Tannakian categories. We give arguments for that $\ au_L$ is the most general invariant that stems from an extended TQFT. We introduce a canonical, central element, {\\sf Q}, for a quasi-triangular Hopf algebra, $\\A$, that allows us to apply the Hennings algorithm directly, in order to compute $\ au_{RT}$, which is originally obtained from the semisimple trace-subquotient of $\\A-mod$. Moreover, we generalize Hennings' rules to the context of cobordisms, in order to obtain a TQFT for connected surfaces compatible with $\ au_{HKR}\\,$. As an application we show that, for lens spaces and $\\A=U_q(sl_2)\\,$, the ratio of $\ au_{HKR}$ and $\ au_{RT}$ is the order of the first homology group. In the course of this paper we also outline the topology and the algebra that enter invariance proofs, which contain no reference to 2-handle slides, but to other moves that are local. Finally, we give a list of open questions regarding cellular invariants, as defined by Turaev-Viro, Kuperberg, and others, their relations among each other, and their relations to the surgical invariants from above.

研究の動機と目的

• 3次元多様体の主な非摂動的量子不変量 τ_RT、τ_HKR、τ_L 間の代数的および圏論的関係を明確化すること。
• τ_L が拡張されたトポロジカル量子場理論（TQFT）から生じる最も一般的な不変量であることを示すこと。
• 非可換三角ホップ代数に標準的な中心的元 Q を構成し、そのことでHenningsのアルゴリズムを用いて半単純化の段階を飛ばして τ_RT を直接計算可能にすること。
• Henningsの規則をcobordismへ一般化し、連結な曲面に対するTQFTを構成し、τ_HKR と整合性を持つこと。
• 手術による不変量（τ_L、τ_RT、τ_HKR）とセルラーモデルによる不変量（例：Turaev-Viro、Kuperberg）との関係を探索し、この分野における未解決問題を特定すること。

提案手法

• 非可換三角ホップ代数 A に対して、A 内の標準的中心的元 Q ∈ A を導入し、A-mod の半単純トレース部分商に移る前段階で、Henningsのアルゴリズムを直接適用して τ_RT を計算可能にする。
• τ_L が半単純圏では τ_RT に、Tannakian圏では τ_HKR に特殊化されることを示し、統一的な系統的関係を確立する。
• Henningsの規則をcobordismへ一般化することで、連結な曲面に対するTQFTを構成し、τ_HKR と整合性を保つ。
• 2-ハンドルスライドではなく、局所的移動に基づく代数的および位相的議論を用いて、構築された不変量の不変性を証明する。
• A = U_q(sl_2) のレンズ空間に対して、フレームワークを適用し、τ_HKR / τ_RT の比を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 不変量 τ_RT、τ_HKR、τ_L 間の代数的および圏論的関係は何か。τ_L はそれぞれの状況でどのように特殊化されるか。
• RQ2 半単純化を経由せずに、ホップ代数に標準的な元を用いてHenningsのアルゴリズムにより τ_RT を直接計算できるか。
• RQ3 τ_L は拡張TQFTから生じる最も一般的な不変量であり、その普遍性を保証する構造的性質は何か。
• RQ4 手術による不変量（手術で定義されるもの）とセルラーモデルによる不変量（例：Turaev-Viro、Kuperberg）との間の正確な関係は何か。
• RQ5 A = U_q(sl_2) のレンズ空間に対して、τ_HKR / τ_RT の値は何か。そしてそれはどのように位相的に解釈されるか。

主な発見

• 不変量 τ_L は τ_RT と τ_HKR を統一し、半単純圏では τ_RT に、Tannakian圏では τ_HKR に特殊化される。
• 非可換三角ホップ代数に標準的な中心的元 Q を導入することで、半単純化を経由せずにHenningsのアルゴリズムを用いて τ_RT を直接計算可能になる。
• τ_L が拡張TQFTから生じる最も一般的な不変量であることが示され、理論における基盤的役割が確立される。
• A = U_q(sl_2) のレンズ空間に対して、τ_HKR / τ_RT は1番目のホモロジー群の位数に一致し、明確な位相的解釈が得られる。
• 不変性の証明は2-ハンドルスライドではなく局所的移動に基づくため、より洗練され、代数的に透明な基礎が得られる。
• 本稿は、手術的不変量とセルラーモデル的不変量の相互作用に関する未解決の問題を特定し、量子不変量の広範な枠組みにおける未解決の接続を浮き彫りにしている。