[論文レビュー] Microlocal sheaf categories and the $J$-homomorphism

Xin Jin|arXiv (Cornell University)|Apr 29, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 6

ひとこと要約

本稿は、多様体の余接 bundle 内の滑らかで正確なラグラングジャンの微局所層のカテゴリの分類写像について、位相的記述を確立する。微局所層理論と安定ホモトピー論を用いて、分類写像が $U/O$ への安定ガウス写像および $J$-ホモモルフィズムのデロープ化 $B\mathrm{Pic}(\mathbf{S})$ を通じて因数分解されることを示し、コンパクトなラグラングジャンに対してこの写像がホモトピー的に自明であることを証明する。これにより、アブーザイド–クレーグによる結果が層論的手段によって再現される。

ABSTRACT

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally assigns a locally constant sheaf of categories on $L$ with fiber equivalent to the category of $\mathbf{k}$-spectra $\mathrm{Mod}(\mathbf{k})$. We show that the classifying map for the local system of categories factors through the stable Gauss map $L ightarrow U/O$ and the delooping of the $J$-homomorphism $U/O ightarrow B\mathrm{Pic}(\mathbf{S})$. As an application, combining with previous results of Guillermou [Gui], we recover a result of Abouzaid--Kragh [AbKr] on the triviality of the composition $L ightarrow U/O ightarrow B\mathrm{Pic}(\mathbf{S})$, when $L$ is in addition compact.

研究の動機と目的

• 滑らかな正確なラグラングジャン $L \subset T^*X$ 上の微局所層カテゴリの分類写像について、位相的記述を提供すること。
• 問題 1.1 を解決するため、分類写像が安定ガウス写像 $L \to U/O$ および $J$-ホモモルフィズムのデロープ化 $BJ: U/O \to B\mathrm{Pic}(\mathbf{S})$ を通じて因数分解されることを示すこと。
• コンパクトな正確なラグラングジャンに対して、分類写像の自明性を層論的証明により与え、アブーザイド–クレーグの結果を再現すること。

提案手法

• カシワラ–シュピーザの微局所層理論を用い、滑らかな正確なラグラングジャン $L \subset T^*X$ 上に、ファイバーが $\mathrm{Mod}(\mathbf{k})$ に同値な局所定数層のカテゴリを割り当てる。
• 局所系統のカテゴリを分類する写像 $L \to B\mathrm{Pic}(\mathbf{k})$ を構成し、安定ガウス写像を介して $U/O$ を通じて因数分解されることを示す。
• ボット周期性およびスペクトル分解を用いて、$U/O$ のホモトピー型を分析し、特に $\Omega(U/O) \simeq \mathbf{Z} \times BO$ を得る。
• モース変換および $U/O$ 内の経路を用いて、局所系統のカテゴリのモノドロミーをモデル化する。
• ファイブレーション的単体的カテゴリ $\mathsf{QHam}_L(U/O)^{op}$ から $\mathrm{Pr}_{\mathsf{st}}^\mathsf{L}$ 内の関手への標準的関手 $F_L$ を導入し、対応関係のカテゴリを符号化する。
• $J$-ホモモルフィズムのデロープ化および自然写像 $B\mathrm{Pic}(\mathbf{S}) \to B\mathrm{Pic}(\mathbf{k})$ を用いて、球体スペクトルと一般の環スペクトルとの関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな正確なラグラングジャン $L \subset T^*X$ 上の微局所層カテゴリの分類写像をどのように位相的に記述できるか？
• RQ2 分類写像 $L \to B\mathrm{Pic}(\mathbf{k})$ は $U/O$ および $J$-ホモモルフィズムを経由して因数分解可能か？
• RQ3 コンパクトなラグラングジャンに対して、合成写像 $L \to U/O \to B\mathrm{Pic}(\mathbf{S})$ のホモトピー類は何か？
• RQ4 フロアホモトピー型に依存しない微局所層理論を用いて、この合成写像の自明性を証明できるか？
• RQ5 モース変換および $U/O$ 内の対応関係は、局所系統のカテゴリのモノドロミーをどのように符号化するか？

主な発見

• 滑らかな正確なラグラングジャン $L \subset T^*X$ 上の微局所層カテゴリの分類写像は、安定ガウス写像 $L \to U/O$ および $J$-ホモモルフィズムのデロープ化 $BJ: U/O \to B\mathrm{Pic}(\mathbf{S})$ を通じて因数分解される。
• 任意のコンパクトな滑らかな正確なラグラングジャン $L \subset T^*X$ に対して、合成写像 $L \to U/O \to B\mathrm{Pic}(\mathbf{S})$ はホモトピー的に自明である。
• この結果により、アブーザイド–クレーグの定理が、フロアホモトピー型に依存しない層論的手段により再証明される。
• $\mathbf{k} = \mathbf{Z}$ の場合、障害類はマスロフ類および第二相対ステイフェル＝ブライトン類として特定される。
• この構成は、任意の可換環または $\mathbb{E}_2$ 環スペクトル $\mathbf{k}$ に対して有効であり、通常の環の場合の一般化である。
• この枠組みは一般の基底多様体 $X$ の場合にまで拡張可能であり、$\infty$-圏的設定において普遍的に成立する。