[論文レビュー] Geometric and algebraic presentations of Weinstein domains

Oleg Lazarev|arXiv (Cornell University)|Oct 2, 2019

Geometric and Algebraic Topology参考文献 32被引用数 5

ひとこと要約

この論文は、Weinstein多様体における幾何的ハンドル相互作用とその包絡Fukayaカテゴリにおける代数的関係の間の対応を確立し、インデックス $n$ と $n-1$ のハンドルの交差が非可換なねじれ複体を誘導することを示している。特筆すべきは、特異的コホモロジーからグローテンディーク群への全射写像を構成し、シンプレクティックコホモロジーをデニストレースと関連づけ、Legendrianの $C^0$-近さを遮断する $C^0$-連続なViterbo函手を構成することで、導来モラータ同値を用いた異種のWeinstein提示を可能にした点である。

ABSTRACT

We prove that geometric intersections between Weinstein handles induce algebraic relations in the wrapped Fukaya category, which we use to study the Grothendieck group. We produce a surjective map from middle-dimensional singular cohomology to the Grothendieck group, show that the geometric acceleration map to symplectic cohomology factors through the categorical Dennis trace map, and introduce a Viterbo functor for $C^0$-close Weinstein hypersurfaces, which gives an obstruction for Legendrians to be $C^0$-close. We show that symplectic flexibility is a geometric manifestation of Thomason's correspondence between split-generating subcategories and subgroups of the Grothendieck group, which we use to upgrade Abouzaid's split-generation criterion to a generation criterion for Weinstein domains. Thomason's theorem produces exotic presentations for certain categories and we give geometric analogs: exotic Weinstein presentations for standard cotangent bundles and Legendrians whose Chekanov-Eliashberg algebras are not quasi-isomorphic but are derived Morita equivalent.

研究の動機と目的

• Weinstein多様体における幾何的ハンドル付加が包絡Fukayaカテゴリにどのように代数的関係を誘導するかを理解すること。
• ラグランジュアン共コアとベルト球面の間の幾何的および代数的交差数のカテゴリカル的解釈を確立すること。
• Legendrianが $C^0$-近接でないことを遮断する $C^0$-連続なViterbo函手を構成すること。
• トーマソンの対応を用いてアボウザイドの分裂生成基準を、完全生成基準へと拡張すること。
• 標準的余接束やChekanov-Eliashberg代数が非同型だが導来モラータ同値であるようなLegendrianに対して、異種のWeinstein提示を生成すること。

提案手法

• $(n-1)$-ハンドルの $h$-原理を用いて、$n-1$-ハンドル体に実現された非可換ラグランジュアンディスクの可縮性を解析し、$n$-ハンドル共コアのねじれ複体として記述する。
• Legendrian付加球面 $\Lambda^{n-1}$ とコisotropicベルト球面 $\Gamma^n$ 間の交差データから、正負の交差数をパラメータとする $\mathcal{W}(X)$ 内の非可換ねじれ複体を構成する。
• $m$ 個のストップを持つディスクの部分的に包絡されたFukayaカテゴリ（$A_{m-1}$-クワイバー表現と擬似同値）を用いて、$n-1$-ハンドルのスケルトンをモデル化し、非可換性を導出する。
• デニストレース写像を用いて、幾何的加速写像とシンプレクティックコホモロジーとの関係を確立し、カテゴリカルトレースを通じて因数分解されることを示す。
• 定理1.21を適用して、単一の $n$-ハンドルを $2s-1$ 個の平行な共コアに置き換えるWeinsteinホモトピーを実行し、異なるLegendrian球面 $\Lambda_s$ を生成する。
• $WH(L,C)$ の有限次元性を活用して、異なる $s$ に対して $D_s$ を区別し、非同型な対象としての非同相性を示し、したがって非同相なLegendrianを示す。

実験結果

リサーチクエスチョン

• RQ1 Weinstein多様体における $n$-ハンドルと $(n-1)$-ハンドルの幾何的交差が、包絡Fukayaカテゴリにどのように代数的関係を誘導するか？
• RQ2 中間次元の特異的コホモロジーから $\mathcal{W}(X)$ のグローテンディーク群への全射写像が存在するか？ そして、シンプレクティック不変量とどのように関係するか？
• RQ3 カテゴリカルな文脈において、シンプレクティックコホモロジーへの加速写像がデニストレース写像を通じて因数分解されるか？
• RQ4 Legendrianが $C^0$-近接でないことを遮断する $C^0$-連続なViterbo函手を構成可能か？ その結果の意味は何か？
• RQ5 Chekanov-Eliashberg代数が非同型だが導来モラータ同値であるような標準的余接束やLegendrianに対して、異種のWeinstein提示が存在するか？

主な発見

• 中間次元の特異的コホモロジーから $\mathcal{W}(X)$ のグローテンディーク群への全射写像を構成し、トポロジーとカテゴリカル不変量を結びつけた。
• 幾何的加速写像がシンプレクティックコホモロジーへと写す際に、カテゴリカルデニストレース写像を通じて因数分解されることを示し、シンプレクティック理論と代数的K理論の間の橋渡しを確立した。
• $C^0$-連続なViterbo函手を導入し、滑らかな同相でもあるが $C^0$-近接でないLegendrianに対して新たな遮断を提供した。
• 標準的余接束 $T^*S^n$ に対して、異種のWeinstein提示を構成した。異なるLegendrian球面 $\Lambda_s$ が非同型のChekanov-Eliashberg代数を持つが、対応する領域はホモトピー同値である。
• 任意のWeinstein多様体 $X$ に対して、閉じた正確ラグランジュアン $L$ と $WH(L,C) \neq 0$ を満たす場合、無限に多くの非Legendrian同相な $\Lambda_s$ が存在し、$X_0 \cup H^n_{\Lambda_s}$ が $X$ とWeinsteinホモトピー的である。これは、異なるランクの共コア対象 $D_s$ を通じて実現される。
• 単一の $n$-ハンドルの共コアは $\mathcal{W}(X)$ を生成するが、$T^*S^n_{flex}$ のようなフレキシブルな領域では、共コアは分裂生成にしかならない。これは、生成と分裂生成の間の明確な違いを示している。