[论文解读] Matrix factorizations from SYZ transformations

Kwokwai Chan, Naichung Conan Leung|arXiv (Cornell University)|Jun 19, 2010

Nonlinear Waves and Solitons参考文献 10被引用 8

一句话总结

本文通过SYZ镜像变换，几何地解释了在 $\mathbb{P}^1$ 和 $\mathbb{P}^2$ 中，带有平坦 U(1)-联络的拉格朗日子流形纤维与它们镜像 Landau-Ginzburg 超势能的矩阵因子分解之间的对应关系。通过将拉格朗日子流形形变为多截面，并计算具有特定边界条件的全纯圆盘，作者利用SYZ傅里叶变换构造了矩阵因子分解，展示了在这些情形下，范畴镜像对称与SYZ猜想的一致性。

ABSTRACT

It is known that Lagrangian torus fibers of the moment map of a toric Fano manifold $X$, equipped with flat $U(1)$-connections, are mirror to matrix factorizations of the mirror superpotential $W:\check{X} ightarrow\bC$. Via SYZ mirror transformations, we describe how this correspondence, when $X$ is $\bP^1$ or $\bP^2$, can be explained in a geometric way.

研究动机与目标

• 通过几何方式解释在 toric Fano 流形上，A-brane（带有平坦 U(1)-联络的拉格朗日子流形纤维）与矩阵因子分解之间的对应关系，以调和范畴镜像对称与SYZ猜想。
• 通过利用SYZ傅里叶变换对圆盘计数数据进行构造，证明该对应关系与SYZ镜像变换相容。
• 提供一种基于形变拉格朗日多截面与全纯圆盘枚举的几何机制，用于在 $\mathbb{P}^1$ 和 $\mathbb{P}^2$ 情形下生成镜像矩阵因子分解。
• 识别出在形变拉格朗日设置下，奇异全纯圆盘可光滑化的几何与拓扑条件（例如，平衡条件与路径相容性）。

提出的方法

• 将 $\mathbb{P}^1$ 或 $\mathbb{P}^2$ 中的中心拉格朗日子流形纤维 $L_0$ 在 moment 多面体内部的开子集 $U$ 上形变为一个多截面拉格朗日子流形 $L$。
• 定义一个矩阵值函数 $\Psi_{L,\nabla}(x)$，用于计数边界位于 $L \cup L_x$ 上的全纯圆盘，其中 $L_x$ 是 $x \in U$ 上的纤维，上边界弧位于 $L$，下边界弧位于 $L_x$。
• 对 $\Psi_{L,\nabla}$ 应用SYZ变换（纤维傅里叶变换），以生成镜像超势能 $W: \check{X} \to \mathbb{C}$ 的矩阵因子分解 $M_0$。
• 对形变拉格朗日子流形 $L$ 施加几何约束，包括允许的路径对与平衡条件，以确保所计数的全纯圆盘是非退化的且可光滑化的。
• 利用圆盘分量的 moment 映射像，强制要求圆盘分量位于方向 $(1,0)$、$(0,1)$ 或 $(-1,-1)$，以确保三段圆盘的可积性条件 $v_1 + v_2 + v_3 = 0$ 成立。
• 利用圆盘计数数据，显式构造 $\mathbb{P}^1$ 与 $\mathbb{P}^2$ 的矩阵因子分解，其条目涉及坐标 $z$、$z_1$、$z_2$ 以及参数 $q^{1/3}$、$q^{2/3}$。

实验结果

研究问题

• RQ1 如何通过SYZ变换几何地解释 toric Fano 流形上的 A-brane 与镜像上矩阵因子分解之间的对应关系？
• RQ2 形变拉格朗日子流形 $L$ 需满足何种条件，才能确保在SYZ傅里叶变换下，全纯圆盘计数产生良定义的矩阵因子分解？
• RQ3 为何光滑化参数的选择（例如 $O(\epsilon)$ 与 $O(\epsilon^2)$）对于确定构造中所计数的圆盘构型至关重要？
• RQ4 形变拉格朗日结构中的平衡条件与路径相容性如何确保奇异全纯圆盘的可光滑化？
• RQ5 该构造能否推广至其他 toric del Pezzo 曲面，特别是那些具有更复杂奇点（如 $\mathbb{P}^2$ 在三点处的爆破）的情形？

主要发现

• 对于 $\mathbb{P}^1$，通过形变拉格朗日多截面的圆盘计数数据的SYZ变换，构造出矩阵因子分解 $M_0 = \begin{pmatrix} 0 & z - \sqrt{q} \\ 1 - \frac{\sqrt{q}}{z} & 0 \end{pmatrix}$。
• 对于 $\mathbb{P}^2$，显式构造出 $4 \times 4$ 矩阵因子分解 $M_0$，其来源于具有四个每纤维交点的形变拉格朗日子流形 $L$ 上的全纯圆盘计数，涉及项如 $z_1 - q^{1/3}$ 与 $1 - \frac{q^{1/3}}{z_1}$。
• 该构造依赖于对奇异拉格朗日子流形 $L$ 的精确光滑化选择，其中交点之间的相对距离被设为 $O(\epsilon)$ 或 $O(\epsilon^2)$，以控制所计数的圆盘构型。
• 平衡条件——要求三个圆盘分量的 moment 映射像之和为零——确保了可积性，是形变构型中存在光滑全纯圆盘的关键。
• 该方法为为何带有平坦联络的拉格朗日子流形纤维对应于矩阵因子分解提供了几何解释，解决了SYZ图像与范畴镜像对称之间的张力。
• 该方法在 $\mathbb{P}^2$ 在三点处的爆破情形下失效，原因在于形变拉格朗日子流形可能存在不可光滑化的情况，提示在更高复杂度情形下需要更精细的构造。