[論文レビュー] L-infinity spaces and derived loop spaces

Ryan Grady, Owen Gwilliam|arXiv (Cornell University)|Apr 22, 2014

Fuzzy and Soft Set Theory被引用数 4

ひとこと要約

本稿は、曲がった $L_\infty$ 代数とMaurer-Cartan方程式を用いて、形式的モジュライ問題を記述する滑らかな多様体から単体的集合への関手として定式化された $L_\infty$ 空間——つまり、導来微分幾何学の導来スタックの計算的に取り扱いやすいクラス——を導入することで、導来微分幾何学を前進させる。これらの空間にベクトル bundle とシフトされたシンプレクティック構造を構築し、特に de Rham および Betti の導来ループ空間を詳細に分析することで、Costello の形式主義による摂動的量子場理論の幾何的枠組みを提供する。

ABSTRACT

We develop further the approach to derived differential geometry introduced in Costello's work on the Witten genus. In particular, we introduce several new examples of L-infinity spaces, discuss vector bundles and shifted symplectic structures on L-infinity spaces, and examine in some detail the example of derived loop spaces. This paper is background for a companion paper, in which we define a quantum field theory on a derived stack, building upon Costello's definition of an effective field theory.

研究の動機と目的

• Costello の導来微分幾何学の枠組みを、計算的に取り扱いやすい導来スタックのクラスとして $L_\infty$ 空間を導入することによって拡張すること。
• 量子場理論への応用を目的として、$L_\infty$ 空間上にベクトル bundle とシフトされたシンプレクティック形式という幾何的構造を構築すること。
• de Rham および Betti の導来ループ空間を特に重要な $L_\infty$ 空間の例として分析し、物理的意義を明らかにすること。
• Costello の有効場理論形式主義に基づき、非摂動的量子場理論の構成のための基盤的ツールを提供すること。

提案手法

• 滑らかな多様体から単体的集合への関手として $L_\infty$ 空間を定義し、曲がった $L_\infty$ 代数を用いて形式的モジュライ問題をモデル化する。
• $L_\infty$ 代数におけるMaurer-Cartan方程式を用いて無限小変形を記述し、$L_\infty$ 空間の点関手を構成する。
• Dold-Kan対応を活用した層論的およびホモトピー論的メソッドにより、$L_\infty$ 空間上のベクトル bundle を構築する。
• 導来臨界点の概念とAKSZ構成を用いて、$L_\infty$ 空間上のシフトされたシンプレクティック構造を導入する。
• 導来ループ空間 $\mathcal{L}_{\text{dR}}X$ を定数写像に沿った de Rham 空間の完成として記述し、$\mathcal{L}_{\mathcal{B}}X$ をBetti ループ空間として定義する。
• ホモトピー極限とČech図式を用いて、$L_\infty$ 空間のホモトピー理論における弱同値を証明し、Dold-Kan対応と分区画の議論を応用する。

実験結果

リサーチクエスチョン

• RQ1 曲がった $L_\infty$ 代数とMaurer-Cartan方程式を用いて、$L_\infty$ 空間を導来スタックとして体系的に構成する方法は何か？
• RQ2 $L_\infty$ 空間上に自然に定義できる幾何的構造（例えばベクトル bundle やシフトされたシンプレクティック形式）は何か？
• RQ3 導来ループ空間、特に de Rham および Betti のループ空間は、どのように $L_\infty$ 空間として現れ、それらの幾何的および物理的意義は何か？
• RQ4 ホモトピー極限とČech図式は、特に変形理論の文脈において、$L_\infty$ 空間のホモトピー的性質を検証する上で果たす役割は何か？
• RQ5 $L_\infty$ 空間の枠組みは、Costello の摂動的量子場理論をより非摂動的状況へ拡張するのをどのように支援するか？

主な発見

• de Rham ループ空間 $\mathcal{L}_{\text{dR}}X$ が $L_\infty$ 空間であることが示され、定数写像に沿ったその完成が、Čech図式上のホモトピー極限として記述される。
• Betti ループ空間 $\mathcal{L}_{\mathcal{B}}X$ は、滑らかなループ空間の導来強化として構成され、ループ空間のホモトピー型を捉えている。
• $L_\infty$ 空間上のベクトル bundle は、構造層上の加群の層として定義され、Dold-Kan対応を用いた明示的構成がなされる。
• $L_\infty$ 空間上のシフトされたシンプレクティック構造は、AKSZ構成によって実現され、古典的シンプレクティック幾何学を導来設定へ一般化する。
• アーベル的 $L_\infty$ 代数のMaurer-Cartan空間のČech図式のホモトピー極限は、全複体のDold-Kan単体的集合と弱同値であり、降下性と一貫性が保証される。
• Čech図式のホモトピー極限間の写像の纤维が、cochain複体の準同型写像に基づく弱同値であることが示され、滑らかな切断における分区画の議論が根拠となる。