[論文レビュー] Sheaf quantization in Weinstein symplectic manifolds

David Nadler, Vivek Shende|arXiv (Cornell University)|Jul 16, 2020

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

ひとこと要約

本稿は、微局所層理論を用いて、Weinsteinシンプレクティック多様体に対する層論的量子化枠組みを導入し、マスロフデータを介して正確なラグランジュ部分多様体にオブジェクトを割り当てる。主な貢献は、ラグランジュ上の局所系統から、埋め込み多様体上の微層の圏への完全忠実関手を構成し、Fukaya圏のオブジェクトに対する層論的類似を確立することである。

ABSTRACT

Using the microlocal theory of sheaves, we associate a category to each Weinstein manifold. By constructing a microlocal specialization functor, we show that exact Lagrangians give objects in our category, and that the category is invariant under Weinstein homotopy.

研究の動機と目的

• 微局所層理論を用いて、Weinsteinシンプレクティック多様体の層論的量子化を定義すること。
• マスロフデータを備えたWeinstein多様体上に、Weinsteinホモトピーに関して不変な微層の圏を構成すること。
• 正確なラグランジュ部分多様体が、局所系統からの完全忠実関手を通じてこの圏のオブジェクトを生じることを示すこと。
• 接触多様体上の微層に関する先行結果を、マスロフデータを伴うWeinstein多様体の設定に一般化すること。
• ラグランジュ部分多様体と微層の圏のオブジェクトとの間の対応関係を、Fukaya圏の構造に類似した形で確立すること。

提案手法

• 微局所層理論を用いて、Weinstein多様体の接触コスフィアーバンド上に安定圏の層を定義する。
• 微層の間の接触構造の関係を結ぶために、微局所特異化関手を構成し、特にシンプレクティック形式の変形において有効である。
• この方法は、形式 $\lambda \rightsquigarrow \lambda - tdf$ におけるシンプレクティック変形の不変量を生成するための、圏の層に対する近傍サイクルに依存する。
• 主要技術として、相対的外部ホモトピーとストーク計算を用いて、近傍サイクル関手を分析する。
• マスロフデータを、Picard圏へのマスロフ障害のノルムホモトピーとして扱うことで、降下形式を用いる。
• 普遍的 $BPic(\mathcal{C})$-バンドルからの引き戻しによって、$\mu sh_\tau$ を定義し、極化に基づく構成を一般化する。

実験結果

リサーチクエスチョン

• RQ1 微局所層理論をどのように拡張して、Weinsteinシンプレクティック多様体の量子化を定義できるか？
• RQ2 マスロフデータは、Weinsteinホモトピーに関して不変な微層の圏を構成する上で果たす役割は何か？
• RQ3 正確なラグランジュ部分多様体は、自然にこの微層圏のオブジェクトに対応づけられるか？
• RQ4 圏の層に対する近傍サイクル関手は、シンプレクティック形式のシンプレクティック変形とどのように関係するか？
• RQ5 極化に基づく微層圏と一般のマスロフデータに基づく微層圏との関係は何か？

主な発見

• 本稿では、マスロフデータ $\tau$ を備えたWeinstein多様体 $W$ 上に、$\mathcal{C}$-線形安定圏の層 $\mu sh_\tau$ を構成し、これはWeinsteinホモトピーに関して不変である。
• 正確なラグランジュ部分多様体 $L$ は、ラグランジュの内在的構造に一致する二次的マスロフデータが存在する限り、完全忠実関手 $Loc(L) \to \mu sh_\tau(W)$ を通じて $\mu sh_\tau(W)$ のオブジェクトを生じる。
• $\mathcal{C} = \mathrm{mod}\text{-}\mathbb{Z}$ のとき、マスロフデータが存在するための必要十分条件は $2c_1(\xi) = 0$ であり、マスロフデータのホモトピー類は $H^1(V,\mathbb{Z}) \oplus H^2(V,\mathbb{Z}/2\mathbb{Z})$ 上のトロスルをなす。
• 安定極化が常にマスロフデータを誘導することを示し、普遍的 $BPic(\mathcal{C})$-バンドル上で降下が成立することを示すことにより、接触多様体上の微層に関する先行結果を一般化する。
• 圏の層に対する近傍サイクル関手は、$\Psi_t \mu sh_{W_t} \to \mu sh_{W_0}$ という準同型を誘導し、シンプレクティック変形の下でグローバルセクションの局所定数性を示唆する。
• ラグランジュから標準的オブジェクトを定義する障害は、$[L, BPic(\mathcal{C})]$ 内の差 $\ell - \tau$ で測られ、$\mathcal{C} = \mathrm{mod}\text{-}\mathbb{Z}$ のとき、これは $H^1(L,\mathbb{Z}) \oplus H^2(L,\mathbb{Z}/2\mathbb{Z})$ に同型である。