[論文レビュー] The Dijkgraaf-Witten invariants of Seifert 3-manifolds with orientable bases

Haimiao Chen|arXiv (Cornell University)|Jul 1, 2013

Geometric and Algebraic Topology参考文献 13被引用数 3

ひとこと要約

本稿では、有限群Γのねじれ量子二重の表現論を用いて、基底が可定向であるSeifert 3次元多様体のDijkgraaf-Witten不変量について閉形式の公式を導出する。主な結果は、ねじれ量子二重の既約キャラクターを用いて不変量を表現するものであり、自明なコサイクルの場合の先行研究を一般化し、ガウス和および射影的表現を用いた明示的な計算手法を提供する。

ABSTRACT

We derive a formula for the Dijkgraaf-Witten invariants of orientable Seifert 3-manifolds with orientable bases.

研究の動機と目的

• 可定向基底を有するSeifert 3次元多様体のDijkgraaf-Witten不変量を計算すること。これは、豊かな位相的構造を有するが、Dijkgraaf-Wittenフレームワークにおいてはこれまで計算が限られていたクラスの3次元多様体である。
• これまで自明なコサイクルまたは特定のクラス（例：円周バンドル）に対してのみ知られていたDijkgraaf-Witten不変量の結果を、非自明なU(1)値3次コサイクルを有する一般の場合へ拡張すること。
• 有限群Γのねじれ量子二重の既約キャラクターを用いて不変量を表現する公式を確立することにより、具体的な計算を可能にする。
• 群コhomologyおよびファンクター圏を用いた体系的な代数的枠組みを提供し、これらの位相的不変量の計算を簡略化すること。

提案手法

• 本稿では、分類空間BΓの単体的モデルを用い、3次コサイクルωをΓ³ → U(1)を満たす関数として表現する。
• Dijkgraaf-Witten不変量は、π₁(M) → Γの群準同型の和として定義され、ωの引き戻しと基本類[M]とのペアリングが重みとして付与される。
• 計算は、Seifert 3次元多様体を標準的パーツ（例：Σg;n,1 × S¹および立体トーラス）に分解し、各パーツ上で表現論的データを用いて不変量を計算することで行われる。
• ベース空間Σg;n,1 × S¹上の不変量は、ねじれ量子二重の作用を用い、関連するホップ代数における余乗法と乗法の写像を用いて計算される。
• ドゥーン手術のパーツ（ST）に対しては、射影的表現とガウス和を含むキャラクター和を用いて、写像(f_j)_*Z^ω(ST)が計算される。
• 最終的な不変量は、ベースとドゥーン手術パーツからの写像の合成により得られ、ねじれ量子二重表現上のトレースとして表される。

実験結果

リサーチクエスチョン

• RQ1 非自明なコサイクルωを有する可定向基底を有するSeifert 3次元多様体に対して、Dijkgraaf-Witten不変量はどのように計算可能か？
• RQ2 このクラスの3次元多様体におけるDijkgraaf-Witten不変量の背後にある代数的構造は何か？また、Γのねじれ量子二重とどのように関係しているか？
• RQ3 不変量は、ねじれ量子二重の既約キャラクターを用いて表現可能か？その明示的公式は何か？
• RQ4 射影的表現およびガウス和は、特にℤmのような特定の群に対して不変量の明示的評価において果たす役割は何か？
• RQ5 不変量はSeifert不変量(a_j, b_j)および群構造（特にmが合成数のとき）にどのように依存するか？

主な発見

• 可定向基底を有するSeifert 3次元多様体M_O(g; (a₁,b₁), ..., (aₙ,bₙ))のDijkgraaf-Witten不変量は、ねじれ量子二重の既約表現ρの和として与えられ、(D_ρ)^{n+2g-1}とη^ω_ρ(a_j,b_j)を含むキャラクター和が重みとして付与される。
• Γ = ℤmおよびω = μ_ℓの場合、不変量はガウス和とリーマン・ヤコビ記号を用いて表現され、mの素因数pに対してS_p(a) = ∑_{k=0}^{p-1} ζ_p^{ak²}として明示的に評価可能である。
• キャラクター和η^ω_ρ(a_j,b_j)は合同式の解の和として計算され、mが合成数のときζ_{m²}と二次ガウス和を含む公式が得られる。
• 公式は各h ∈ ℤ_mに対してs ∈ ℤ_mの有限和に還元され、ρ^ℓ_{h,s}はρ^ℓ_{h,s}(x) = ζ_{m²}^{ℓh̃x̃ + m(s̃x̃)}で与えられる。
• 最終的な不変量は、ねじれ量子二重上のトレースとして、ベースとドゥーン手術パーツからの写像の合成により計算され、既約表現の有限和として得られる。
• 計算により、不変量がd_j = gcd(a_j, m)、a_j/d_jの逆元c_j（mod m_j）、およびℤmのp-主成分による群構造に依存することが明らかになった。