[論文レビュー] The smooth loop stack of a differentiable stack

David Roberts, Raymond F. Vozzo|arXiv (Cornell University)|Feb 25, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 4

ひとこと要約

本稿では、リー群ガロア X に付随する微分スタック 𝒳 への滑らかなループのスタックを表す、Fréchet--Lie 群ガロア Map(S¹,X) を導入する。この群ガロアをアナファンクターの表現として構成することにより、Homスタック 𝒢Hom(S¹,𝒳) の明示的で微分可能なモデルが得られ、無限次元リー群ガロアの技法を用いて微分スタックの文脈におけるループ空間の研究が可能になる。

ABSTRACT

We define a Fr\'echet--Lie groupoid Map(S^1,X) of anafunctors from the circle into a Lie groupoid X. This provides a presentation of the Hom-stack \cHom(S^1,\cX), where \cX is the differentiable stack associated to X.

研究の動機と目的

• 微分スタック 𝒳 に関連する Homスタック 𝒢Hom(S¹,𝒳) の微分可能で幾何的なモデルを提供すること。
• 微分スタックにおけるループ空間の明確なリー群ガロア表現の欠如に応えること。
• アナファンクターを用いて、Fréchet--Lie 群ガロア Map(S¹,X) を 𝒢Hom(S¹,𝒳) の表現として定義し、その特徴づけを行うこと。
• 無限次元微分構造を用いて微分スタックの枠組みを、ループ空間を含むように拡張すること。

提案手法

• 円周 S¹ からリー群ガロア X へのアナファンクターの群ガロア Map(S¹,X) を構成すること。
• その射の空間に Fréchet多様体構造を導入することで、Map(S¹,X) に Fréchet--Lie 群ガロアの構造を与えること。
• Homスタック 𝒢Hom(S¹,𝒳) のスタック的性質と整合性を保つために、アナファンクターの圏を用いること。
• Map(S¹,X) が微分スタックの2-圏において Homスタック 𝒢Hom(S¹,𝒳) を正しく提示することを検証すること。
• 無限次元微分幾何学の技法を用いて、ループ空間上の Fréchet 構造を扱うこと。
• 構成がモラータ同値に関して不変であることを保証し、スタック的性質を保存すること。

実験結果

リサーチクエスチョン

• RQ1 微分スタックへの滑らかなループのスタックに対して、微分可能な群ガロアモデルをどのように構成できるか？
• RQ2 Homスタック 𝒢Hom(S¹,𝒳) を提示する適切な無限次元リー群ガロア構造は何か？
• RQ3 S¹ から X へのアナファンクターは、微分圏における Homスタック の明確な提示を提供できるか？
• RQ4 Fréchet--Lie 群ガロア Map(S¹,X) とスタック的ループ空間 𝒢Hom(S¹,𝒳) との関係は何か？
• RQ5 微分スタックの文脈における Homスタック のループ空間の構造的および幾何的性質は何か？

主な発見

• 群ガロア Map(S¹,X) は Fréchet--Lie 群ガロアとして構成され、スタック 𝒳 のループ空間の微分可能なモデルを提供する。
• アナファンクター形式を用いることで、Map(S¹,X) は Homスタック 𝒢Hom(S¹,𝒳) を正しく提示し、スタック的正しさを保証する。
• この構成により、元のリー群ガロア X と整合する、明確な無限次元微分構造がループ空間に与えられる。
• 得られた群ガロア Map(S¹,X) はモラータ同値に関して不変であり、Hom構成のスタック的性質を反映している。
• この方法により、アナファンクターを通じて無限次元リー群ガロアと微分スタックの間の橋渡しがなされる。
• 古典的なループ空間構成がスタック的設定に一般化され、さらなる幾何的・位相的解析が可能になる。