[論文レビュー] Brane structures in microlocal sheaf theory

Xin Jin, David Treumann|arXiv (Cornell University)|Apr 13, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 48被引用数 11

ひとこと要約

本稿は、正確なラグランジュ部分多様体 $L \subset T^*M$ 上のブレーン構造の $∞$-圏の層を導入し、ナドラー＝ザスロー同型の完全に層論的である構成を提供する。これはフロア理論的手法に代わる、微局所層理論に基づく構成である。本稿は、$L$ 上の局所定数層の $∞$-圏から、$M$ 上のスペクトルの層で特異的補足が $\Lambda$ に含まれるものへの完全忠実かつハミルトニアン不変な函手を確立する。

ABSTRACT

Let $L$ be an exact Lagrangian submanifold of a cotangent bundle $T^* M$, asymptotic to a Legendrian submanifold $Λ\subset T^{\infty} M$. We study a locally constant sheaf of $\infty$-categories on $L$, called the sheaf of brane structures or $\mathrm{Brane}_L$. Its fiber is the $\infty$-category of spectra, and we construct a Hamiltonian invariant, fully faithful functor from $Γ(L,\mathrm{Brane}_L)$ to the $\infty$-category of sheaves of spectra on $M$ with singular support in $Λ$.

研究の動機と目的

• ナドラー＝ザスロー同型の完全に層論的である構成を提供し、フロア理論的手法を避ける。
• ナドラー＝ザスローの結果を環上の局所定数層から $∞$-圏のスペクトル上の局所定数層へ一般化する。
• 正確なラグランジュ部分多様体上にブレーン構造の $∞$-圏の層を定義し、その位相的およびシンプレクティック的不変量を捉える。
• ブレーン構造層の全体切断から、$M$ 上の特異的補足が $\Lambda$ に含まれるスペクトルの層へのハミルトニアン不変かつ完全忠実な函手を確立する。
• 係数を $∞$-環スペクトルに拡張し、一般化されたコホモロジー理論およびクラスター代数への応用を可能にする。

提案手法

• 正確なラグランジュ部分多様体 $L \subset T^*M$ 上に、ファイバーがスペクトルの $∞$-圏である局所定数層 $\mathrm{Brane}_L$ を構成する。
• 波面射影を用いて、$L$ のシンプレクティック的および位相的データを $M \times \mathbb{R}$ に符号化し、特異的超曲面から $L$ を再構成可能であるようにする。
• $∞$-圏の層に対する降下理論を適用し、$\mathrm{Brane}_L$ の全体切断が $\Lambda$ に特異的補足を持つ $M$ 上の層の $∞$-圏に再現されることを証明する。
• $∞$-トポスの降下性およびヴァン・カンペン性を用いて、$\Gamma(L, \mathrm{Brane}_L) \to \mathrm{Sh}_\Lambda(M; \mathrm{Sp})$ なる完全忠実かつハミルトニアン不変な函手を確立する。
• $∞$-トポスおよび生成的 $∞$-圏の理論に依拠し、特に $\mathrm{Sh}(X; \mathcal{E}) \simeq \mathrm{Shv}(X) \otimes \mathcal{E}$ の同型を用いて、環スペクトル係数の取り扱いを行う。
• コロイドが $∞$-トポスでヴァン・カンペンであることを用いて、スペクトルの層の降下を証明し、函手が適切に定義されかつ完全忠実であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ナドラー＝ザスロー同型は、フロア理論を一切用いずに、微局所層理論のみで再構成可能か？
• RQ2 正確なラグランジュ部分多様体 $T^*M$ 内のシンプレクティック的および位相的構造を符号化する正しい層論的対象は何か？
• RQ3 $L$ 上の局所定数層から $M$ 上の層への函手は、$∞$-環スペクトル係数へどのように拡張可能か？
• RQ4 波面超曲面は、ラグランジュ部分多様体およびその関連する層論的不変量を再構成するために果たす役割は何か？
• RQ5 ハミルトニアン不変性は、$∞$-圏的枠組みの中でどのように現れるか？

主な発見

• 本稿は、正確なラグランジュ部分多様体 $L \subset T^*M$ 上に、その全体切断が $\Lambda$ に特異的補足を持つ $M$ 上のスペクトルの層の $∞$-圏を分類する、$∞$-圏の層 $\mathrm{Brane}_L$ を構成する。
• $\Gamma(L, \mathrm{Brane}_L)$ が、$\Lambda$ に特異的補足を持つ $M$ 上のスペクトルの層の $∞$-圏 $\mathrm{Sh}_\Lambda(M; \mathrm{Sp})$ に、ハミルトニアン不変な函手により完全忠実に埋め込まれることが示された。
• この構成は完全に層論的であり、ナドラーとザスローのフロア理論的手法に代わるものであり、$∞$-環スペクトル係数に対しても有効である。
• $∞$-トポスのヴァン・カンペン性を用いて、被覆シーヴ上でのスペクトルの層の降下を確立し、函手が適切に定義されかつ完全忠実であることを保証した。
• 非コンパクトな正確なラグランジュ部分多様体に対しても理論が適用可能であり、クラスター代数やティルティング層に関連する例を含む。コンパクトなラグランジュ部分多様体に限らない。
• 結果として、ナドラー＝ザスロー定理が $∞$-圏および環スペクトルの設定に一般化され、カテゴライズド・ミラー対称性のための層論的基盤が提供された。