[論文レビュー] Lagrangian Skeleta of Hypersurfaces in $(\mathbb{C}^*)^n$

Peng Zhou|arXiv (Cornell University)|Mar 1, 2018

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

ひとこと要約

本稿は、$(\mathbb{C}^*)^n$ 内の滑らかなアフィン超曲面（ローレンツ多項式で定義）に対して、正確なシンプレクティック構造を構成し、RSTZの組み合わせ的スケルトン（ニュートン多面体のスターサイナリゼーションと位相割り当てから構成）が、リークヴィルラグランジュスケルトンとして実現されることを示す。主な結果は、トロピカル化を用いて適切な包み込み擬サブハーモニック関数を選べば、リークヴィルフローが超曲面をRSTZスケルトンへ収縮し、それがシンプレクティックトポロジーにおける真のラグランジュスケルトンとして実現されることである。

ABSTRACT

Let $W(z_1, \cdots, z_n): (\mathbb{C}^*)^n o \mathbb{C}$ be a Laurent polynomial in $n$ variables, and let $\mathcal{H}$ be a generic smooth fiber of $W$. In \cite{RSTZ} Ruddat-Sibilla-Treumann-Zaslow give a combinatorial recipe for a skeleton for $\mathcal{H}$. In this paper, we show that for a suitable exact symplectic structure on $\mathcal{H}$, the RSTZ-skeleton can be realized as the Liouville Lagrangian skeleton.

研究の動機と目的

• 滑らかなアフィン超曲面 $\mathcal{H} \subset (\mathbb{C}^*)^n$ のRSTZの組み合わせ的スケルトンが、ある正確なシンプレクティック構造のもとでリークヴィルラグランジュスケルトンとして実現可能であるという予想を解決すること。
• トロピカル幾何学から得られる擬サブハーモニック関数を用いて、超曲面に明示的な正確なシンプレクティック構造を構成すること。
• この構造におけるリークヴィルフローが超曲面をRSTZスケルトンへ収縮することを示し、それがラグランジュ的性質を有することを確認すること。
• 位相データ $\Theta$ を含むRSTZスケルトン構成を拡張し、適切なシンプレクティック構造のもとでそれがラグランジュスケルトンとして実現されることを証明すること。

提案手法

• 点 $p_\epsilon = (\log \epsilon, \dots, \log \epsilon)$ からの対数スケール上での距離の二乗として、$(\mathbb{C}^*)^n$ 上に擬サブハーモニック関数 $\varphi$ を定義し、これによりシンプレクティック形式 $\omega = -dd^c \varphi$ とリークヴィル1-形式 $\lambda = -d^c \varphi$ を得る。
• スターサイナリゼーション $\mathcal{T}$ と位相割り当て $\Theta$ を用いて、ニュートン多面体 $Q$ のスターサイナリゼーションに基づく、$T^*M_T \cong M_T \times N_\mathbb{R}$ 内の錐的ラグランジュスケルトン $\Lambda_{\mathcal{T},\Theta}$ を構成する。
• トロピカル化を用いて、対数スケール上での局所化された超曲面 $\widetilde{\mathcal{H}}$ を定義し、位相と振幅の制御下での定義式の挙動に基づき「良い」領域と「悪い」領域に分ける。
• $\varphi|_{\widetilde{\mathcal{H}}}$ の臨界点を、単体 $\tau$ が原点 $0$ を含む場合（コンパクトまたは頂点に基づくセル）と含まない場合（非コンパクトセル）に分けて解析する。
• 「良い」領域では、すべての臨界点が、定義式の係数がすべて実数かつ正である正の領域内に存在することを、勾配フローと単項式の線形独立性を用いて示す。
• 「悪い」領域（$0 < \chi_\alpha < 1$）は、切り上げ閾値をずらした修正された超曲面 $\widetilde{\mathcal{H}}_{10}$ で近似し、$O(e^{-c\sqrt{\beta}})$ のオーダーでハウスドルフ距離および正規バンドル距離が減少することを証明することで、余分な臨界点が存在しないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなアフィン超曲面 $\mathcal{H} \subset (\mathbb{C}^*)^n$ のRSTZの組み合わせ的スケルトンは、超曲面に適切な正確なシンプレクティック構造を導入すれば、リークヴィルラグランジュスケルトンとして実現可能か？
• RQ2 トロピカル幾何学および対数スケール構造は、リークヴィルフローが超曲面をRSTZスケルトンへ収縮するような擬サブハーモニック関数の構成をどのように支援するか？
• RQ3 位相割り当て $\Theta$ およびサイナリゼーション $\mathcal{T}$ にどのような条件を課すと、リークヴィルフローがRSTZスケルトンの外に臨界点を発生させないか？
• RQ4 切り上げ関数が非自明な「悪い」領域において、超曲面上の擬サブハーモニック関数の臨界点集合は制御可能か？ また、それらは正の領域内に留まるか？
• RQ5 元の超曲面 $\widetilde{\mathcal{H}}$ と修正された超曲面 $\widetilde{\mathcal{H}}_{10}$ 間のハウスドルフ距離は $\beta$ に関して指数的に小さいか？

主な発見

• 特定の正確なシンプレクティック構造 $\varphi = |\operatorname{Log}(z) - p_\epsilon|^2$ を用いることで、超曲面 $\mathcal{H}$ のRSTZスケルトン $\Lambda_{\mathcal{T},\Theta}$ がリークヴィルラグランジュスケルトンとして実現される。
• 「良い」領域における擬サブハーモニック関数 $\varphi|_{\widetilde{\mathcal{H}}}$ のすべての臨界点は、定義式の係数がすべて実数かつ正である正の領域内に存在する。
• $0 \notin \tau$ の場合、$\varphi$ の臨界点は面 $F_\tau = P \cap \tau^\vee$ 上にあり、勾配フローによりRSTZスケルトンの外に臨界点が存在しないことが保証される。
• $0 \in \tau$ の場合、$d\varphi \in \mathbb{R}_{+}$-生成の $\alpha_1, \dots, \alpha_{k-1}$ および $\sum f_{\alpha_i} = 1$ かつ実数 $f_{\alpha_i}$ の条件から、臨界点ではすべての $f_{\alpha_i} > 0$ であることが強制され、負値や虚数値は除外される。
• $\widetilde{\mathcal{H}}$ と $\widetilde{\mathcal{H}}_{10}$ 間のハウスドルフ距離は、ある $c > 0$ に対して $O(e^{-c\sqrt{\beta}})$ であり、同様のバインドが単位正規バンドルに対しても成り立つ。
• 「悪い」領域における $\widetilde{\mathcal{H}}$ の臨界点の不在は、$\widetilde{\mathcal{H}}_{10}$ を用いた近似により確立され、ここでは正の領域から離れて臨界点が存在しない。