[論文レビュー] Sheaf quantization and intersection of rational Lagrangian immersions

Tomohiro Asano, Yuichi Ike|arXiv (Cornell University)|May 11, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 4

ひとこと要約

本稿では、微局所的層理論を用いて、余接 bundle 内の有理的ラグランジュ的埋め込みのための層量子化を構成し、純粋に層論的手段による位移エネルギーの上限を導出し、ハミルトニアン像との交点数に対するベッチ数／カップ長さの推定を行う。この手法は、周期的構造を持つ三角化された軌道カテゴリに新たな層量子化を導入し、Tamarkin カテゴリの技法を応用することで、エネルギーおよび交点推定を達成する。

ABSTRACT

We study rational Lagrangian immersions in a cotangent bundle, based on the microlocal theory of sheaves. We construct a sheaf quantization of a rational Lagrangian immersion and investigate its properties in Tamarkin category. Using the sheaf quantization, we give an explicit bound for the displacement energy and a Betti/cup-length estimate for the number of the intersection points of the immersion and its Hamiltonian image by a purely sheaf-theoretic method.

研究の動機と目的

• 余接 bundle 内のコンパクトな部分集合の位移エネルギーを推定するための層論的枠組みの構築を目的とする。
• リーマン・チャードを持つレジェンドリアン部分多様体の鋳型である強有理的ラグランジュ的埋め込みのための層量子化の構成を目的とする。
• フロア理論に依存しない、完全に層論的手段による位移エネルギーの上限の提供を目的とする。
• ラグランジュ的埋め込みとそのハミルトニアン像との交点数に関するベッチ数およびカップ長さの推定を導出することを目的とする。
• 周期的層構成を用いて、Tamarkin カテゴリの手法を非正確かつ非コンパクトなラグランジュ的埋め込みへと拡張することを目的とする。

提案手法

• パrameter 空間が $a$ 未満の最短リーマン・チャード長である $\mathbf{D}^{\mathrm{b}}_{/[1]}(M\times(0,a)\times\mathbb{R}/\theta\mathbb{Z})$ における三角化された軌道カテゴリ内のオブジェクトとして、層量子化を構成する。
• $M\times(0,a)\times\mathbb{R}/\theta\mathbb{Z}$ 上の層の族を用い、それが埋め込みの鋳型レジェンドリアンの層量子化を表す極限オブジェクトに収束することを示す。
• Tamarkin カテゴリ $\mathcal{D}(M)$ 及びその周期的版 $\mathcal{D}^{P}_{\theta}(M)$ を用い、内部ホモロジー函手 $\mathop{{\mathcal{H}}\rm{om}}\nolimits^{\star}$ を介して平行移動距離を定義する。
• 層論的位移エネルギー $e_{\mathcal{D}^{P}(M)_{\theta}}(F,G)$ を、$\tau_{0,c}(Rq_{*}\mathop{{\mathcal{H}}\rm{om}}\nolimits^{\star}(F,G)) = 0$ を満たすような $c$ の下限として定義する。
• 微局所的スポートを制御し、エネルギー推定を導くために、$R\bar{s}_{*}(\bar{q}_{1}^{-1}\mathcal{H} \otimes \bar{q}_{2}^{-1}\mathbf{k}_{M\times P\times\gamma}) \to \mathcal{H}$ の標準的準同型を適用する。
• 微局所的スポートの包含関係 $\operatorname{{\operatorname{SS}}}(\mathcal{H}) \subset T^{*}(M\times P)\times(S^{1}_{\theta}\times\mathbb{R})\times\gamma^{\circ}$ を用い、正しいスポート包含を保証する。

実験結果

リサーチクエスチョン

• RQ1 リーマン・チャードが標準的構成を妨げる場合でも、強有理的ラグランジュ的埋め込みのための層量子化を構成できるか？
• RQ2 フロアホモロジーに依存せずに、層論的データのみを用いてそのような埋め込みの位移エネルギーを上限で評価できるか？
• RQ3 層の微局所的スポートとその関連するラグランジュ的力学との間にはどのような関係があるか？
• RQ4 ラグランジュ的埋め込みとそのハミルトニアン像との交点数を、層不変量を用いてどのように推定できるか？
• RQ5 Tamarkin カテゴリの枠組みを、周期的または軌道的構造へと拡張することで、有理的ラグランジュ的埋め込みを扱えるようにできるか？

主な発見

• 任意の強有理的ラグランジュ的埋め込みについて、$a$ が最短リーマン・チャード長未満である $\mathbf{D}^{\mathrm{b}}_{/[1]}(M\times(0,a)\times\mathbb{R}/\theta\mathbb{Z})$ 内のオブジェクトとして、層量子化が構成される。
• コンパクト部分集合 $A,B \subset T^{*}M$ の位移エネルギー $e(A,B)$ は、任意の $F \in \mathcal{D}^{P}_{A}(M)_{\theta}$, $G \in \mathcal{D}^{P}_{B}(M)_{\theta}$ で射影が適切である場合、$e(A,B) \geq e_{\mathcal{D}^{P}(M)_{\theta}}(F,G)$ を満たす。
• 層論的位移エネルギーは $e_{\mathcal{D}^{P}(M)_{\theta}}(F,G) = \inf\{c \in \mathbb{R}_{\geq 0} \mid \tau_{0,c}(Rq_{*}\mathop{{\mathcal{H}}\rm{om}}\nolimits^{\star}(F,G)) = 0\}$ で与えられる。
• ベッチ数およびカップ長さの推定が、層論的枠組みを用いて、ラグランジュ的埋め込みとそのハミルトニアン像との交点数について導出される。
• 本手法により、[AI20] の主要定理の強化版が得られ、$M\times\mathbb{R}/\theta\mathbb{Z}$ の代わりに $M\times(0,a)\times\mathbb{R}/\theta\mathbb{Z}$ を用いることで、エネルギー推定が改善される。
• パrameter 空間を $(0,a)$ に制限することにより、リーマン・チャードを有する非正確ラグランジュ的埋め込みに対しても、ギュルメールムの層量子化が一般化される。