[論文レビュー] Smooth Functors vs. Differential Forms

Urs Schreiber, Konrad Waldorf|arXiv (Cornell University)|Feb 5, 2008

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

ひとこと要約

この論文は、滑らかな多様体のパス2群重み付き図式と微分形式の間の圏的同値性を確立し、滑らかなファンクターと1形式の既知の対応を一般化する。滑らかな2ファンクターが非アーベルgerbeの接続、滑らかなファンクターの微分、BF理論の臨界点に対応することを示し、主な結果は、統合および曲率の公式を通じて2ファンクターと微分形式の間の正確な辞書である。

ABSTRACT

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in several fields, namely as connections on (non-abelian) gerbes, as curvatures of smooth functors and as critical points in BF theory. We demonstrate further that our dictionary provides a powerful tool to discuss the transgression of geometric objects to loop spaces.

研究の動機と目的

• 滑らかなファンクターと1形式の既知の対応を、滑らかな2ファンクターと2形式へ一般化すること。
• 特に高次ゲージ理論において、圏論と微分幾何学の概念の間の体系的な辞書を確立すること。
• 滑らかな2ファンクターが非アーベルgerbe、ファンクターの微分、BF理論における古典的解といった物理的・幾何的文脈において自然に生じることを示すこと。
• 2ファンクターと微分形式の対応を用いて、多様体からそのループ空間への幾何的構造のトレランスを体系的に記述するためのツールを開発すること。

提案手法

• 滑らかな多様体 X のパス2群重み付き図式 P₂(X) を構成し、2-射は経路間の細いホモトピー類として定義する。
• 群の分類空間構成を一般化し、リー2群 𝔾 に付随する2圏 B𝔾 を導入する。
• 滑らかな2ファンクター F: P₂(X) → B𝔾 を定義し、それがリー代数の群部の値をとる1形式 A とモジュール部の値をとる2形式 B のペア (A, B) に一対一に対応することを示す。
• 曲率が 3形式 d⁢B + α*(B ∧ A) で与えられることを示すことにより、主定理を確立する。ここで α は群がモジュールに作用する作用である。
• トレランス写像を用いて2ファンクターをループ空間に持ち上げ、LX 上の誘導された構造がループ空間上の1ファンクターに対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかなファンクターと1形式の対応を、滑らかな多様体上の2ファンクターと2形式へどのように一般化できるか。
• RQ2 非アーベルgerbeの文脈において、滑らかな2ファンクターの背後にある正確な圏的および微分幾何的構造は何か。
• RQ3 高次ゲージ理論の文脈において、滑らかな2ファンクターはBF理論の臨界点とどのように関係するか。
• RQ4 2ファンクターと微分形式を用いて、多様体からそのループ空間への幾何的構造のトレランスを体系的に記述できるか。

主な発見

• 滑らかな2ファンクター F: P₂(X) → B𝔾 は、X 上の 𝔤-値1形式 A と 𝔪-値2形式 B のペア (A, B) に一対一に対応し、曲率条件を満たす。
• 滑らかな2ファンクターの曲率は、3形式 d⁢B + α*(B ∧ A) で与えられ、これは非アーベルgerbe接続の曲率と一致する。
• ホモトピーが細かい場合、2ファンクターは細いホモトピーに対して不変であり、したがって2ファンクターは細いホモトピー類空間 B²X を通して因数分解される。
• 滑らかな2ファンクターをループ空間 LX にトレランスすると、LX 上の滑らかなファンクターが得られ、これはループ空間上の1接続に対応する。
• 3パラメータ族のビゴンに沿った2ファンクターのホロノミーの微分により、曲率3形式が得られ、微分幾何学との整合性が確認される。
• この構成により、高次ゲージ場をループ空間にトレランスする体系的なフレームワークが得られ、表面ホロノミーおよび高次ホロノミー不変量の研究が可能になる。