[論文レビュー] Associative algebras and broken lines

Jacob Lurie, Hiro TANAKA|arXiv (Cornell University)|May 24, 2018

Topological and Geometric Data Analysis参考文献 1被引用数 3

ひとこと要約

本稿では、アソシエイティブ代数構造を通じてモース理論を研究するための幾何的枠組みとして、破れた直線のモジュライスタック $Δ\mathsf{Broken}$ を導入する。$Δ\mathsf{Broken}$ 上の因子的層は、任意のコンパクト生成 $Δ\infty$-圏において非単位的 $A_\infty$-代数とちょうど一致することを確立し、コンパクトなリーマン多様体上のモース複体の式を用いない構成への基礎的段階を提供する。

ABSTRACT

Inspired by Morse theory, we introduce a topological stack Broken, which we refer to as the moduli stack of broken lines. We show that Broken can be presented as a Lie groupoid with corners and provide a combinatorial description of sheaves on Broken with values in any compactly generated infinity-category C. Moreover, we show that factorizable C-valued sheaves (with respect to a natural semigroup structure on the stack Broken) can be identified with nonunital A-infinity-algebras in C. This is a first step in a program whose goal is to present an `equation-free' construction of the Morse complex associated to a compact Riemannian manifold.

研究の動機と目的

• トポロジカルスタックと破れた直線を用いたモース理論の幾何的枠組みの構築を目的とする。
• 破れた直線のモジュライスタック $Δ\mathsf{Broken}$ を、コーナーを持つリー群相に表現可能であるものとして定義し、特徴づけること。
• コンパクト生成 $Δ\infty$-圏 $Δ{C}$ 値の $Δ\mathsf{Broken}$ 上の層を分類すること。
• $Δ\mathsf{Broken}$ 上の $Δ{C}$-値因子的層と $Δ{C}$ 内の非単位的 $A_\infty$-代数との間の対応関係を確立すること。
• コンパクトなリーマン多様体上のモース複体の式を用いない構成の土台を築くこと。

提案手法

• 破れた直線を、$Δ{R}$-作用と有限固定点集合を持つ位相空間として定義し、標準的な直線 $[-∞,\infty]$ の一般化とする。
• 基底空間 $S$ 上の破れた直線の族を、連続的な $Δ{R}$-作用と射影写像を持つ位相空間として定義し、崩壊の許容を可能にする。
• このような族を分類するトポロジカルスタックとしてのモジュライスタック $Δ\mathsf{Broken}$ を構成し、それがコーナーを持つリー群相に表現可能であることを証明する。
• 捩れた矢印圏と左Kan拡張を用いた組合せ論的記述を通じて、$Δ\mathsf{Broken}$ 上の層を記述する。
• デイ畳み込みと余代数的層構造を用いて、因子的層と $A_\infty$-代数構造との関係を確立する。
• ホモトピー不変性と層化技術を適用し、因子的層と非単位的 $A_\infty$-代数との間の対応がホモトピー同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 破れた直線のモジュライスタックは、良好なカテゴリカルおよび微分幾何的性質を持つ幾何的対象としてどのように構成可能か？
• RQ2 コンパクト生成 $Δ\infty$-圏 $Δ{C}$ 値の $Δ\mathsf{Broken}$ 上の層の組合せ論的構造は何か？
• RQ3 破れた直線の連結による半群構造 $Δ\mathsf{Broken}$ は、$Δ{C}$ 内の代数的構造とどのように関係するか？
• RQ4 因子的層は、$A_\infty$-代数などの代数的対象として $Δ\mathsf{Broken}$ 上に分類可能か？
• RQ5 ホモトピー不変性は、$Δ\mathsf{Broken}$ 上の層的構造と代数的構造の同値性を確立する際に果たす役割は何か？

主な発見

• モジュライスタック $Δ\mathsf{Broken}$ は、コーナーを持つリー群相に表現可能であり、破れた直線の族の良好な幾何的モデルを提供する。
• コンパクト生成 $Δ\infty$-圏 $Δ{C}$ 値の $Δ\mathsf{Broken}$ 上の層は、線形順序の圏の捩れた矢印圏を用いた組合せ論的記述を有する。
• $Δ\mathsf{Broken}$ 上の $Δ{C}$-値因子的層は、$Δ{C}$ 内の非単位的 $A_\infty$-代数と同値であり、幾何とホモトピー代数の深い結びつきを確立する。
• 因子的層と非単位的 $A_\infty$-代数との対応はホモトピー同値として実現され、層化と前層 $Δ{G}$ のホモトピー不変性により検証された。
• 証明は、線形順序の圏から捩れた矢印圏への包含写像の制限写像がホモトピー同値であることを示すことに依拠し、層化が点上の値を保存することを用いる。
• この構成は、$S = \mathbf{R}_{\geq 0}$ 上の破れた直線の族に適用され、ファイバーが破れていない直線から破れた直線へと崩壊する様子を示し、スタックが崩壊を捉える能力を示している。