[論文レビュー] The A_infty de Rham theorem and integration of representations up to homotopy

Camilo Arias Abad, Florian Schaetz|arXiv (Cornell University)|Nov 21, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用数 3

ひとこと要約

この論文は、チェンの反復積分を用いて、リー代数ダルの表現をホモトピー的意味で統合する A∞-関手を構成し、その無限群族への統合を実現する。これは、古典的リー理論を高次構造へと拡張するものであり、平行移動をスーパー接続および高次表現へと一般化するホモトピー論的一般化された de Rham 定理が鍵となる。

ABSTRACT

We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends the usual integration of representations in Lie theory. We discuss several examples including Lie algebras and Poisson manifolds. The construction is based on an A_infty version of de Rham's theorem due to Gugenheim. The integration procedure we explain here amounts to extending the construction of parallel transport for superconnections, introduced by Igusa and Block-Smith, to the case of certain differential graded manifolds.

研究の動機と目的

• 古典的リー理論をホモトピー的表現へ拡張するため、ホモトピー的整合性を持つ統合関手を構成すること。
• チェンの反復積分を用いて A∞-構造へ一般化された de Rham 定理を構築すること。
• リー代数ダルの表現をその無限群族へ統合する統一的枠組みを提供すること。
• 高次ホモトピー情報が消える場合に通常の表現理論が特殊ケースとして回復されることを示すこと。
• A∞-関手を微分幾何的多様体上で用いて、スーパー接続と高次 holonomy の間の関係を確立すること。

提案手法

• 微分形式を特異コチェインへと階層レベルで持ち上げるため、チェンの反復積分を用いる。
• ゲューゲンハイムによる de Rham 定理の A∞-版を適用し、リー代数ダル上の微分形式とその無限群族上の特異コチェインとの関係を確立する。
• de Rham複体上の A∞-構造を用いて、R: Rep∞(A) → ˆRep∞(Π∞(A)) という A∞-関手を構成する。
• ゲージ不変性とムーラー＝カルタン要素によるねじれを用いて、A∞-意味での関手的および整合性を保証する。
• スuspension s と構造写像 bn を用いて、表現に関連する次数付きベクトル空間上の A∞-代数を定義する。
• id_E ⊗ψ のテンソル積構成を用いて、次数付き代数上のモジュールへ A∞-関手を拡張する。

実験結果

リサーチクエスチョン

• RQ1 リー代数ダルのホモトピー的表現は、どのようにその無限群族の表現へ統合されるか？
• RQ2 チェンの反復積分は、表現のカテゴリの間の A∞-関手を構成する際に果たす役割は何か？
• RQ3 A∞-de Rham 定理は、古典的 de Rham コホモロジーをどのように高次ホモトピー構造へ一般化するか？
• RQ4 この構成は、どのようにして平坦接続および表現の古典的統合を回復するのか？
• RQ5 スーパー接続とポアソン構造は、この A∞-フレームワークにおける高次平行移動にどのように統合されるか？

主な発見

• 論文は、リー代数ダル A のホモトピー的表現をその無限群族 Π∞(A) の単位的ホモトピー的表現へ統合する well-defined な A∞-関手 R: Rep∞(A) → ˆRep∞(Π∞(A)) を構成している。
• この構成は、ゲューゲンハイムによる A∞-版 de Rham 定理に依拠しており、チェンの反復積分によって実現され、微分形式と特異コチェインの間の quasi-isomorphism を提供する。
• 通常の表現（すなわち平坦接続）に制限した場合、A∞-関手 R はリー理論における古典的表現の統合を回復する。
• この方法は、イグーザおよびブロック＝スミスによるスーパー接続に関する研究を一般化し、A∞-構造を介して高次ホモトピー情報へ平行移動を拡張する。
• A∞-関手はゲージ不変であり、ムーラー＝カルタン要素によるねじれを尊重しており、変形のもとでも整合性を保つ。
• この枠組みは、リー代数、リー代数ダルの随伴表現、およびポアソン多様体といった重要な幾何的例へ適用可能であり、無限群族がシンプレクティックホモトピー型を捉える。