[论文解读] 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 组合骨架——由牛顿多面体的星形剖分与相位赋值构建——成为 Liouville 拉格朗日子骨架。关键结果是：通过热带化选择合适的 exhausting 上调和函数时，Liouville 流将超曲面收缩至 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.

研究动机与目标

• 解决一个猜想：光滑仿射超曲面在 $(\mathbb{C}^*)^n$ 中的 RSTZ 组合骨架可在某种精确辛结构下实现为 Liouville 拉格朗日子骨架。
• 通过热带几何导出的上调和函数，显式构造超曲面上的精确辛结构。
• 证明该结构下的 Liouville 流将超曲面收缩至 RSTZ 骨架，从而确认其拉格朗日性质。
• 将 RSTZ 骨架构造扩展至包含相位数据 $\Theta$，并证明在合适的辛结构下其可实现为拉格朗日子骨架。

提出的方法

• 在 $(\mathbb{C}^*)^n$ 上定义一个上调和函数 $\varphi$，即到点 $p_\epsilon = (\log \epsilon, \dots, \log \epsilon)$ 的对数尺度下平方距离，由此诱导出辛形式 $\omega = -dd^c \varphi$ 和 Liouville 1-形式 $\lambda = -d^c \varphi$。
• 在 $T^*M_T \cong M_T \times N_\mathbb{R}$ 中构造 RSTZ 骨架 $\Lambda_{\mathcal{T},\Theta}$，作为以牛顿多面体 $Q$ 的星形剖分 $\mathcal{T}$ 和相位赋值 $\Theta$ 为指标的锥形拉格朗日子流形。
• 利用热带化定义对数尺度中的局部化超曲面 $\widetilde{\mathcal{H}}$，根据定义方程在相位与振幅控制下的行为，将区域划分为“良好”与“不良”两类。
• 通过分情况讨论分析 $\varphi|_{\widetilde{\mathcal{H}}}$ 的临界点：当单形 $\tau$ 不包含 0（非紧胞）时，以及当其包含 0（紧或顶点相关）时。
• 证明在“良好”区域中，$\varphi|_{\widetilde{\mathcal{H}}}$ 的所有临界点均位于所有系数为实正数的正区域，利用梯度流与单项式的线性无关性。
• 通过修改后的超曲面 $\widetilde{\mathcal{H}}_{10}$ 近似“不良”区域（其中 $0 < \chi_\alpha < 1$），证明 Hausdorff 距离与法丛距离衰减为 $O(e^{-c\sqrt{\beta}})$，从而确保不存在额外的临界点。

实验结果

研究问题

• RQ1 光滑仿射超曲面在 $(\mathbb{C}^*)^n$ 中的 RSTZ 组合骨架是否可在超曲面上某个精确辛结构下实现为 Liouville 拉格朗日子骨架？
• RQ2 热带几何与对数尺度结构如何促进构造一个上调和函数，使其 Liouville 流将超曲面收缩至 RSTZ 骨架？
• RQ3 相位赋值 $\Theta$ 与剖分 $\mathcal{T}$ 需满足何种条件，才能确保 Liouville 流不会在 RSTZ 骨架外部产生临界点？
• RQ4 在截断函数非平凡的“不良”区域中，超曲面上的上调和函数临界点集是否可被控制，且是否保持在正区域之内？
• RQ5 原始超曲面 $\widetilde{\mathcal{H}}$ 与修改后超曲面 $\widetilde{\mathcal{H}}_{10}$ 之间的 Hausdorff 距离是否关于 $\beta$ 指数衰减？

主要发现

• 在由 $\varphi = |\operatorname{Log}(z) - p_\epsilon|^2$ 构造的特定精确辛结构下，RSTZ 骨架 $\Lambda_{\mathcal{T},\Theta}$ 被实现为超曲面 $\mathcal{H}$ 的 Liouville 拉格朗日子骨架。
• 在“良好”区域中，$\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}$ 之间的 Hausdorff 距离为 $O(e^{-c\sqrt{\beta}})$（$c > 0$），且该界同样适用于其单位法丛。
• 通过近似 $\widetilde{\mathcal{H}}_{10}$，证明了在 $\widetilde{\mathcal{H}}$ 的“不良”区域中不存在临界点，因为 $\widetilde{\mathcal{H}}_{10}$ 在正区域外无此类临界点。