[論文レビュー] Sheaf Quantization of Legendrian Isotopy

Peng Zhou|arXiv (Cornell University)|Apr 24, 2018

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

ひとこと要約

この論文は、特異的接触構造におけるLegendrian同相型の可縮的層の導来圏が、Weinstein超曲面の同相型に埋め込まれるとき、その不変性を確立する。層の量子化と凸的チューブ近傍を用いて、著者たちは同相型に沿って層を拡張し、一意に持ち上げられることを証明し、時間的全域でカテゴリの同値性を保証する。これは特異的Legendrianに対しても、環境接触構造に幾何的条件が課された場合に成立する。

ABSTRACT

Let $\{Λ^\infty_t\}$ be an isotopy of Legendrians (possibly singular) in a unit cosphere bundle $S^*M$. Let $Sh(M, Λ^\infty_t)$ be the differential graded (dg) derived category of constructible sheaves on $M$ with singular support at infinity contained in $Λ^\infty_t$. We prove that if the isotopy of Legendrians embeds into an isotopy of Weinstein hypersurfaces, then the categories $Sh(M, Λ^\infty_t)$ are invariant.

研究の動機と目的

• 可縮的層の導来圏がLegendrian同相型に沿って特異的台を持つ場合、その変形においても不変である条件を特定すること。
• Guillermou-Kashiwara-Schapiraの古典的結果（接触同相型に関するもの）を特異的Legendrianへ拡張すること。
• Legendrian特異点の非特徴的変形を、層論的枠組みで定式化すること。
• 層カテゴリが不変であるための幾何的基準（Weinstein超曲面同相型への埋め込み）を確立すること。
• Nadlerの木構造変形結果を、同相型にトポロジカルおよび幾何的制約を組み込む形で一般化すること。

提案手法

• 著者たちは、同相型内の各Legendrianに沿って、凸的チューブ近傍の族を定義し、横断的接触ベクトル場と制御された収縮率を保証する。
• 接触ベクトル場のフローを用いて、近傍のLegendrianから元のものに戻す層の縮小を実行し、フローの層の量子化を構成する。
• コンactification写像に沿ったテンソル積とプッシュフォワードを用いたカーネル構成により、時間スライスから同相型パラメータの近傍への層の持ち上げが可能になる。
• 縮小フローのGromov-Hausdorff極限が、ターゲットLegendrianに収束することが示され、特異的台が保存されることを保証する。
• 射の空間上のホモトピー同値性の議論により、拡張の一意性が証明され、パラメータ区間の可縮性に依存する。
• コンパクト区間の有限被覆上で帰納的にグローバルな拡張を構成し、局所的拡張と重複領域での整合性を用いる。

実験結果

リサーチクエスチョン

• RQ1 可縮的層の導来圏がLegendrian同相型に沿って特異的台を持つ場合、どのような条件下で変形においても不変であるか？
• RQ2 同相型がグローバル接触同相型に拡張できない場合でも、非特徴的変形が層の量子化によって実現可能か？
• RQ3 環境接触多様体にどのような幾何的構造が、Legendrian同相型に沿った層カテゴリの不変性を保証するか？
• RQ4 凸的チューブ近傍を用いて、Legendrian同相型に沿って層の拡張と一意的な持ち上げをどのように構成できるか？
• RQ5 Reebフローと非可縮性（displaceability）は、同相型における層カテゴリの安定性を決定づける役割を果たすか？

主な発見

• 導来圏 $ Sh(M, \bar{\rho}_t) $ は、Weinstein超曲面同相型に埋め込まれるLegendrian同相型において不変である。
• 任意のコンパクト区間 $ K \times M $ に対して、$ \rho > 0 $ が存在し、任意の層 $ F_t \to Sh(M, \bar{\rho}_t) $ が $ M \times (t-\rho, t+\rho) $ 上に一意に拡張可能であり、同相型と整合的である。
• 縮小フロー $ X_s^{-T} $ の層の量子化は、Gromov-Hausdorffの意味でターゲットLegendrian $ \bar{\rho}_s $ に収束し、特異的台が保存されることを保証する。
• 層の拡張は自然的かつ一意に同型を除いて定まり、拡張関手は特異的台条件を保存する。
• グローバルな層 $ M \times I $ は、コンパクト区間上で有限帰納的拡張を用い、局所的拡張と重複領域での整合性を統合して構成される。
• 本結果は、幾何的埋め込み条件の下で、古典的接触同相型不変性が特異的Legendrianへ一般化されることを示している。