[論文レビュー] The symplectic properties of the PGL(n,C)-gluing equations

Stavros Garoufalidis, Christian K. Zickert|arXiv (Cornell University)|Oct 9, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 12

ひとこと要約

この論文は、コンパクトな向き付け可能3次元多様体の理想三角形分割に対するPGL(n,C)-接続方程式のシンプレクティック性を確立し、NeumannのPGL(2,C)に対するシンプレクティック結果を一般化する。係数行列(A|B)の行がシンプレクティックに直交しており、H₂(𝐽𝑔)の中間ホモロジー群がH₁(∂M; ℤ/nℤ)への写像によって特徴づけられることを示し、PGL(n,C)-Chern-Simons理論の基礎的構造を確認する。

ABSTRACT

In a previous article we studied PGL(n,C)-representations of a 3-manifold via a generalization of Thurston's gluing equations. Neumann has proved some symplectic properties of Thurston's gluing equations that play an important role in recent developments of exact and perturbative Chern-Simons theory. In this paper, we prove the symplectic properties of the PGL(n,C)-gluing equations for all ideal triangulations of compact oriented 3-manifolds.

研究の動機と目的

• 3次元多様体のPGL(n,C)-表現に対するThurstonの接続方程式のシンプレクティック性を、PGL(2,C)からPGL(n,C)に拡張すること。
• すべての理想三角形分割に対して一般化されたPGL(n,C)-接続方程式のシンプレクティック構造を確立すること。
• 中間ホモロジー群H₂(𝐽𝑔)の構造を特定し、境界の第一ホモロジー群H₁(∂M; ℤ/nℤ)との関係を明らかにすること。
• これらの接続方程式がPGL(n,C)-Chern-Simons理論において果たす役割を支持するホモロジー的枠組みを提供すること。

提案手法

• 3次元多様体Mの理想三角形分割に関連するチェイン複体𝐽𝑔を構成し、PGL(n,C)-接続方程式を符号化する。
• 形状座標を定義し、それらを用いて接続方程式を行列AとBの形に表現する。行列の成分は辺と面の接続関係から導かれる。
• チェイン群間の写像βとβ*を導入し、β*∘β = 0を証明することで、複体が適切に定義されていることを保証する。
• 境界における交差積を用いて写像δ: H₁(∂M; ℤⁿ⁻¹) → H₃(𝐽𝑔)を定義し、カスプ方程式と複体のホモロジーとの関係を明示する。
• 写像μとνを介してH₂(𝐽𝑔)とH₁(∂M; ℤ/nℤ)の間に双対性を確立し、μがνの逆写像であることを証明する。
• Neumann-Zagierのシンプレクティック枠組みを一般化された方程式に適用し、(A|B)の行がシンプレクティックに直交していることを示す。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体の理想三角形分割に対するPGL(n,C)-接続方程式は、元々のThurstonのPGL(2,C)方程式と同様にシンプレクティック性を示すか？
• RQ2 PGL(n,C)-接続方程式に関連するチェイン複体の中央ホモロジー群H₂(𝐽𝑔)の構造は何か？
• RQ3 カスプ方程式は境界のホモロジーとどのように関係しているのか？写像δはこの関係において果たす役割は何か？
• RQ4 H₂(𝐽𝑔)とH₁(∂M; ℤ/nℤ)の間に自然な同型写像が存在するか？また、それは接続方程式とどのように関係するか？
• RQ5 PGL(n,C)-接続方程式のシンプレクティック構造を用いて、PGL(n,C)-Chern-Simons理論における不変量を定義できるか？

主な発見

• PGL(n,C)-接続方程式における係数行列(A|B)の行は、n=2の場合の主要な性質を一般化してシンプレクティックに直交している。
• 写像μとνを介してH₂(𝐽𝑔)はH₁(∂M; ℤ/nℤ)に同型であり、これらは互いに逆写像である。
• 写像δ: H₁(∂M; ℤⁿ⁻¹) → H₃(𝐽𝑔)はδᵣ = (n−r)δ′ᵣを満たし、カスプ方程式と複体のホモロジーとの関係を明示する。
• カスプ方程式は線形化され、β*の核に属していることが示され、チェイン複体の構造と整合していることが確認される。
• ホモロジー群H₄(𝐽𝑔)は torsion を除いて自明であり、H₅(𝐽𝑔)は消えるため、複体が高次元で適切に振る舞うことが確認される。
• 一般化された接続方程式はH³(𝐽𝑔; ℂ* / {±1})に適切なコホモロジー類を定義し、そのδ′*による像はカスプパラメータC(z)に対応する。