[论文解读] Gepner point and strong Bogomolov-Gieseker inequality for quintic 3-folds

Yukinobu Toda|arXiv (Cornell University)|May 2, 2013

Algebraic Geometry and Number Theory参考文献 12被引用 7

一句话总结

该论文提出了关于五次3- folds 上稳定层的更强的 Bogomolov-Gieseker 不等式，其动机来自镜像对称与 Gepner 点稳定性条件。该猜想预测，当第一陈类为 −H/2 的秩二层的归一化判别式下限约为 1.5139，该结果在秩二情形下通过 Clifford 型界与分级矩阵因子化的稳定性论证得以证明。

ABSTRACT

We propose a conjectural stronger version of Bogomolov-Gieseker inequality for stable sheaves on quintic 3-folds. Our conjecture is derived from an attempt to construct a Bridgeland stability condition on graded matrix factorizations, which should correspond to the Gepner point via mirror symmetry and Orlov equivalence. We prove our conjecture in the rank two case.

研究动机与目标

• 为五次3- folds 上的稳定层提出一个更强的 Bogomolov-Gieseker 不等式的猜想，其动机来自弦论模空间中的 Gepner 点。
• 通过分级矩阵因子化，建立 Bridgeland 稳定性条件在 Gepner 点与稳定层的陈特征之间的联系。
• 在秩二情形下证明该猜想不等式，为所提出的更强不等式提供一个具体的检验案例。
• 通过提出五次曲面上稳定一致系统的一般 Clifford 型界，将该方法推广至五次曲面。

提出的方法

• 从五次3- folds 上的凝聚层导出范畴中 Gepner 型稳定性条件的期望出发，推导出该猜想不等式。
• 利用 Orlov 的等价性，将导出范畴与定义多项式的分级矩阵因子化联系起来。
• 应用 Seidel-Thomas 变换与张量平移，在 Gepner 点构造候选稳定性条件。
• 在分级矩阵因子化范畴上定义一个斜率函数 μ′，以分析一致系统的 μ′-稳定性。
• 利用光滑五次曲线上的 Clifford 定理，对线丛的次数进行有界，并在不等式不成立时导出矛盾。
• 通过证明当 c₁(F)·h ≥ 3 时，可推出所需的判别式下界 1.5139…，从而证明秩二情形下的猜想。

实验结果

研究问题

• RQ1 能否为五次3- folds 上的稳定层提出更强的 Bogomolov-Gieseker 不等式，特别是在 Gepner 点处？
• RQ2 在 Gepner 点稳定性条件下，归一化判别式 Δ(E)·H / rank(E)² 的精确数值下限是多少？
• RQ3 分级矩阵因子化的结构如何与五次3- folds 上 Bridgeland 稳定性条件的构造相关联？
• RQ4 能否为五次曲面上的稳定一致系统建立类似三维情形的 Clifford 型界？
• RQ5 能否利用线丛与曲线交点的几何约束，证明五次3- folds 上秩二层的猜想不等式？

主要发现

• 所提出的更强 Bogomolov-Gieseker 不等式预测，在五次3- folds 上，对于满足 c₁(E)/rank(E) = −H/2 的 H-斜率稳定秩二层，其归一化判别式的下限约为 1.5139。
• 通过证明：对任意满足 rank(F) = 1 的 μ′-稳定一致系统 (𝒪_S^⊕2 → F)，均有 c₁(F)·h ≥ 3，从而在秩二情形下验证了该猜想。
• 该证明依赖于将 Clifford 定理应用于线丛在光滑五次曲线 C ∈ |h| 上的限制，从而对整体截面维数进行有界。
• 当假设 c₁(F)·h ≤ 2.7636… 时，会导出 h⁰(ℒ|C) ≤ 2 且为严格不等式，违反了由 μ′-稳定性所要求的 h⁰(F) ≥ 2，从而产生矛盾。
• 该猜想不等式与 Gepner 型稳定性条件的中心荷相关，常数 1.5139… 属于 ℚ(e²π√−i/5)。
• 为五次曲面上的稳定一致系统提出了一个类似的猜想 Clifford 型界 1.3818…，并提供了秩二情形下的证明。