[論文レビュー] Lagrangian Shadows and Triangulated Categories

Paul Biran, Octav Cornea+1 more|arXiv (Cornell University)|Jun 18, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 34被引用数 8

ひとこと要約

本稿は、ラグランジュ的コボルディズムとそのシャドウ——投影されたコボルディズム面の面積を測る幾何的不変量——を用いて、ラグランジュ的交差におけるエネルギーに基づく剛性を確立する。シャドウ面積が小さいと強い交差剛性（例えば最小交差数）が生じることを示し、弱く正確または単調なシンプレクティック多様体におけるラグランジュ部分多様体のクラスに、フィルター付き $A_\infty$-圏を技術的基盤として用いた新しい擬距離を構成する。

ABSTRACT

Under certain assumptions (such as weak exacteness or monotonicity) we show that splitting Lagrangians through cobordism has an energy cost and, from this cost being smaller than certain explicit bounds, we deduce some strong forms of rigidity of Lagrangian intersections. As a consequence, we construct some new pseudo-metrics and metrics on certain classes of Lagrangian submanifolds. We also fit these constructions in a more general setting, independent of Lagrangian cobordism. As a main technical tool, we develop aspects of the theory of (weakly) filtered A-infinity categories.

研究の動機と目的

• ラグランジュ的コボルディズムにおける幾何的エネルギー制約を確立し、ラグランジュ的多様体 $L$ がコボルディズムによって $L_1, \dots, L_k$ に分割される際のエネルギーコスト（シャドウ $\mathcal{S}(V)$ で測る）を示す。
• 低シャドウコボルディズムがラグランジュ的交差数に強い剛性をもたらすことを証明し、幾何的エネルギーと位相的不変量を結びつける。
• シャドウエネルギーと交差剛性を用いて、ラグランジュ部分多様体のクラスに新しい擬距離および距離を定義する。
• 幾何的結果の背後にある代数的構造を支えるために、弱くフィルター付き $A_\infty$-圏の枠組みを構築する。
• コボルディズムシャドウに依存しないが、依然としてラグランジュ部分多様体に擬距離を導くことができる代替のエネルギーコストを探る。

提案手法

• ラグランジュ的コボルディズム $V \subset \mathbb{R}^2 \times M$ のシャドウ $\mathcal{S}(V)$ を、$\mathbb{R}^2$ 上へのその射影の面積に有界領域を加えたものとして定義し、$L$ を $L_1, \dots, L_k$ に分割する際のエネルギーコストとして用いる。
• 弱く正確または単調なラグランジュ的多様体とコボルディズムを用いて、シャドウエネルギーの有限性と非退化性を保証する。
• フィルター付き $A_\infty$-圏の技法を用い、導来フクヤカカテゴリ内の代数的構造と幾何的コボルディズム分解を関連付ける。
• 作用のシフトを制御したモジュール写像 $\phi^\prime, \phi^{\prime\prime}$ 間のチェーンホモトピー推定を確立し、モジュールのフィルトレーションを制御する。
• 作用シフトと $\epsilon$-項を用いて、モジュール $\mathcal{M}^\prime$ のフィルトレーションレベル $\kappa^\prime$ の再帰的推定を導出する。
• シャドウエネルギーの上限 $\mathcal{S}(V) < \frac{1}{2}\delta^\prime$ を用いて、$\#(N \cap L) \geq \sum \#(N \cap L_i)$ を強制し、低エネルギーと交差剛性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 弱く正確または単調なシンプレクティック多様体において、$L \not\subset \bigcup L_i$ を仮定した場合、ラグランジュ的多様体 $L$ をコボルディズムによって $L_1, \dots, L_k$ に分割するための最小エネルギーコスト（シャドウサイズ）は何か？
• RQ2 ラグランジュ的多様体 $L$ と $L_1, \dots, L_k$ の間の低シャドウコボルディズムは、$L$ と他のラグランジュ的多様体 $N$ 間の交差数に下界を強いるか？
• RQ3 コボルディズムのシャドウエネルギーを用いて、ラグランジュ部分多様体のクラスに新しい擬距離を定義できるか？
• RQ4 コボルディズムシャドウに依存しないが、依然としてラグランジュ部分多様体に擬距離を導くことができる代替のエネルギー不変量は存在するか？
• RQ5 フィルター付き $A_\infty$-圏は、フクヤカカテゴリにおける幾何的エネルギーと代数的分解の相互作用をどのように表現するか？

主な発見

• 定理Aは、任意の弱く正確なコボルディズム $V:L \leadsto (L_1, \dots, L_k)$ に対して、$L \not\subset \bigcup L_i$ のとき、正の下界 $\delta > 0$ が存在し、$\mathcal{S}(V) \geq \frac{1}{2}\delta$ が成り立つことを示す。
• 定理B(a) は、$\mathcal{S}(V) < \frac{1}{2}\delta^\prime$ のとき、一般位置にとった弱く正確な任意の $N$ に対して $\#(N \cap L) \geq \sum_{i=1}^k \#(N \cap L_i)$ が成り立つことを示す。
• 定理B(b) は、$\mathcal{S}(V) < \frac{1}{4}\delta^{\prime\prime}$ のときにも同様の不等式が成り立つことを示し、より鋭い剛性の閾値を示している。
• 著者らは、シャドウエネルギーを距離関数として用いて、弱く正確または単調なラグランジュ的多様体のクラスに新しい擬距離を構成した。
• フィルター付き $A_\infty$-圏の枠組みにより、作用シフトとチェーンホモトピーの精密な制御が可能となり、モジュールのフィルトレーションに対する定量的推定が導出可能となった。
• 式 (16) の再帰的推定 $\kappa^\prime \leq \max\{\dots\}$ は、作用シフトを制御したモジュール写像の合成におけるフィルトレーションレベルの境界を体系的に与える。