[論文レビュー] Classical Chern-Simons on manifolds with spin structure

Jerome A. Jenquin|ArXiv.org|Apr 25, 2005

Advanced Operator Algebra Research参考文献 17被引用数 7

ひとこと要約

本稿は、スピン構造を備えた3次元多様体上における古典的スピン-チャーン・シモンズゲージ理論を導入し、アティヤ・パトディ・シモンズのη不変量を、ねじれたディラック作用素のスペクトル不変量によって精製する。作用は、2つのディラック作用素のξ/2不変量の差から構成されるパフリアン線束上のユニタリな要素であり、ランクゼロの表現条件のおかげで計量に依存せず、スピンTQFTの古典的基盤を提供する。

ABSTRACT

We construct a 2+1 dimensional classical gauge theory on manifolds with spin structure whose action is a refinement of the Atiyah-Patodi- Singer eta-invariant for twisted Dirac operators. We investigate the properties of the Lagrangian field theory for closed, spun 3-manifolds and compact, spun 3-manifolds with boundary where the action is interpreted as a unitary element of a Pfaffian line of twisted Dirac operators. We then investigate the properties of the Hamiltonian field theory over 3-manifolds of the form (R x Y), where Y is a closed, spun 2-manifold. From the action we derive a unitary line bundle with connection over the moduli stack of flat gauge fields on Y.

研究の動機と目的

• スピン構造を備えた3次元多様体上に、アティヤ・パトディ・シモンズのη不変量を精製する古典的ゲージ場理論を構築すること。
• ブランシェーとモーゲストが構築したスピンTQFTの古典的場理論的双対を提供すること。これらの不変量はスピン構造を組み込んでいる。
• 今後の研究で提示される量子スピン-チャーン・シモンズ理論の幾何学的およびスペクトル的基盤を確立すること。
• 2次元多様体上の平坦接続のモジュライスタック上に、接続を伴うユニタリ線束を、古典的作用から導出すること。
• 古典的作用が表現の差にのみ依存することを示し、計量の選択に対して不変であることを保証すること。

提案手法

• 理論は、スピン構造 (X,Σ) を備えたコンパクトな3次元多様体 M 上に定式化され、コンパクトなリー群 G とランクゼロの仮想表現 ρ（レベル）を用いる。
• 古典的場は、G-バンドルと接続 (P,A) であり、M 上の恒等写像を被覆するバンドル同型写像によって対称性が与えられる。
• 2つの実表現 ρ₁ と ρ₂ に対して ρ₂−ρ₁=ρ が成り立つとき、作用は (ξ/2)(D₂(A)) − (ξ/2)(D₁(A)) mod 1 として定義される。ここで ξ はAPS指数定理から得られるスペクトル不変量である。
• ディラック作用素 D₁(A) と D₂(A) は、それぞれ G 接続 A を表現 ρ₁ および ρ₂ に結合させることで、スピン多様体上で構成される。
• ランクゼロ条件のおかげで、APS指数定理を用いることで、作用が M 上の計量に依存しないことが示される。
• 理論は、Y が閉じたスピンを備えた2次元多様体である形の ℝ×Y のような多様体上でハミルトニアン形式に拡張され、Y 上の平坦 G 接続のモジュライスタック上に、接続を伴うユニタリ線束が得られる。

実験結果

リサーチクエスチョン

• RQ1 スピン構造を備えた3次元多様体上に、その作用がアティヤ・パトディ・シモンズのη不変量を精製する古典的ゲージ理論をどのように構築できるか？
• RQ2 ねじれたディラック作用素とそのξ不変量の観点から、作用関数の幾何学的およびスペクトル的構造は何か？
• RQ3 古典的作用は表現 ρ₁ と ρ₂ の選択にどのように依存するのか？また、ρ₂−ρ₁ がランクゼロのとき、なぜ計量に依存しないのか？
• RQ4 パフリアン線束とその接続は、スピン-チャーン・シモンズ理論の古典的定式化において果たす役割は何か？
• RQ5 ℝ×Y 上の古典的理論は、Y 上の平坦接続のモジュライスタック上に、どのようにして接続を伴うユニタリ線束を生じさせるか？

主な発見

• 古典的作用は、ねじれたディラック作用素のパフリアン線束上のユニタリな要素であり、1 を法としての ξ/2 不変量の差として定義される。
• 仮想表現 ρ に対してランクゼロ条件が成り立つため、作用は3次元多様体上の計量に依存しない。
• SU(2) に対しては、レベル空間 E⁴(BSU₂) は ℤ·1′ に同型であり、標準表現 ρ が ℂ² 上に作用するとき、λ(ρ−4) によって生成される。
• SO(3) に対しては、レベル空間 E⁴(BSO₃) は ℤ·1 に同型であり、1 = λ(id_{SO₃}−3) であり、w₂(1) は H²(BSO₃; ℤ/2ℤ) 内の非自明な元である。
• 2:1被覆 SU₂→SO₃ によって誘導される引き戻し写像 β*: E⁴(BSO₃) → E⁴(BSU₂) は、k·1 を 2k·1′ に送る乗法的写像として作用する。
• 古典的理論は計量に依存しないスペクトル的構成を提供し、フリード、ホプキンズ、テレマンの研究に影響を与える量子スピン-チャーン・シモンズ理論の基盤をなす。