Odd Knörrer periodicity as a double cover

技术摘要：奇数 Knörrer 周期性作为双重覆盖

问题陈述
本文探讨了 Knörrer 周期性的全局行为，这是矩阵分解理论中的一个基本等价关系。经典地，Knörrer 周期性表明，若二次型的秩为偶数，则在超势 $w$（即“稳定化”）中添加二次项 $x^2$ 会保持矩阵分解的导出范畴不变；而奇数秩的稳定化则可通过过渡到等变范畴来解决。尽管偶数秩周期性的全局版本已为人熟知（将向量丛上的矩阵分解与底空间的导出范畴联系起来），但关于秩一二次型的全局表述却长期难以企及。具体而言，逐点等价关系 $MF_{|x|=1}(\mathbb{A}^1, x^2) \simeq D^b(2 \text{ pts})$ 暗示了矩阵分解与分支双重覆盖之间的关系，但现有的分级矩阵分解框架不足以处理必要的“奇数”分级数据。

核心难点在于，标准的矩阵分解定义依赖于对象分解为偶部和奇部（$E_0 \leftrightarrows E_1$），这一现象仅存在于偶数分级环中。当线性纤维坐标具有奇数上同调次数时，结构层不再超交换，态射层上的微分不再具有线性性质，且标准的 $RHom$ 定义失效。因此，此类“奇数分级”的朗道 - 吉本斯（LG）模型的矩阵分解导出范畴无法利用传统方法构建。

方法论
作者建立了一个奇数矩阵分解的框架，其中线性纤维坐标 $q$ 具有奇数上同调次数（$|q|=1$）。

1. 定义的重构：不依赖 $E_0 \leftrightarrows E_1$ 的分解或底空间 $X$ 上的 $RHom$，本文采用了 Segal 的对象级定义，并通过将矩阵分解的同伦范畴对拟零对象取 Verdier 商来构建导出范畴（遵循 Orlov 和 Preygel 的方法）。
2. 通过商叠实现从局部到全局：为了恢复内 Hom 的概念并进行从局部到全局的计算，作者观察到，虽然态射在奇数分级空间 $X$ 上不构成层，但在商叠 $[X/\mathbb{Z}_2]$ 上确实构成层。$[X/\mathbb{Z}_2]$ 上诱导的分级是偶数的，从而允许应用基于偶数分级底空间的弯曲代数标准理论。
3. 傅里叶 - 穆凯变换：主要定理通过构造显式的傅里叶 - 穆凯核得以证明。该等价关系是通过线丛全空间与分支双重覆盖上的弯曲双模实现的。证明过程仔细处理了由奇数分级代数张量积的非交换性所产生的 Koszul 符号。

主要贡献与结果

• 定理 A（主要等价关系）：本文建立了分支双重覆盖 $\tilde{X} = \{y^2 = f\} \subset \text{Tot}(L)$ 的导出范畴与对偶线丛 $\text{Tot}(L^{-1})$ 全空间上带有纤维二次势的矩阵分解范畴之间的等价关系。
  $$MF(\text{Tot}(L^{-1}), fq^2) \simeq D^b(\tilde{X})$$
  在此，纤维坐标 $q$ 被赋予奇数次数，使得势函数 $fq^2$ 的总次数为 2。该结果将逐点等价关系 $MF_{|q|=1}(\mathbb{A}^1, q^2) \simeq D^b(2 \text{ pts})$ 推广至全局。

• 推论 B（轨形版本）：针对相关的根叠（商叠）证明了类似的等价关系：
  $$MF([\text{Tot}(L^{-1})/\mathbb{Z}_2], fq^2) \simeq D^b(\sqrt{f}/X)$$
  这完全处于偶数分级矩阵分解的范畴内，因为商叠上的 $\mathbb{Z}_2$ 作用使奇数分级平凡化。

• 解决“迭代悖论”：本文阐明了为何迭代双重覆盖构造不会简单地导致与偶数 Knörrer 周期性相矛盾。当在奇数分级底空间上迭代该构造时，所得代数变为非交换的（具体而言是 Clifford 代数）。这些非交换代数是 Morita 平凡的，从而解决了看似悖论的问题：即迭代的双重覆盖（非平凡）为何应等价于偶数稳定化（平凡）。

• 在镜像对称与分解中的应用：

  • 镜像对称：该框架自然地容纳了涉及轨形曲面和包裹 Fukaya 范畴的一维镜像对称示例，其中奇数分级源于轨形点上的线场。
  • Orlov 型等价关系：该结果为双重覆盖的 Orlov 定理提供了维数约化，将 Fano 分支双重覆盖的导出范畴与仿射轨形上的矩阵分解联系起来。
  • 范畴分解：本文应用该定理，通过 LG 模型的偏紧化来构造和分析奇点的范畴分解（例如 $A_2$ 和 $A_3$ 曲线奇点）。它展示了如何利用已建立的等价关系计算这些分解的核子范畴，并与其他构造（如 Kuznetsov、Kalck 的结果）相吻合。
  • Exoflops：该理论被用于在奇数周期性的背景下重新解释"exoflops"（即奇点分解对应于 LG 模型的偏紧化的现象），展示了如何在没有轨形结构的情况下，通过 GIT 形变实现翻转。

意义与主张
作者主张，这项工作的主要意义在于为需要奇数分级数据的秩一二次型提供了一个严谨的全局表述。文章指出，现有的分级矩阵分解方法因假设超交换性和偶数分解而不足以实现这一目的。通过发展奇数分级矩阵分解理论并证明其与分支双重覆盖的等价性，本文：

1. 将逐点等价关系（1.1）与全局几何构造统一起来。
2. 为理解具有形式为 $fq^2$ 的超势的矩阵分解提供了新工具。
3. 为对角二次型族和奇异双重覆盖背景下的同调投影对偶提供了几何解释。
4. 阐明了迭代双重覆盖与 Clifford 代数之间的关系，解决了关于 Knörrer 周期性迭代的潜在困惑。

本文对未来影响持谨慎态度，指出虽然结果暗示了奇异双重覆盖和最小范畴分解的同调镜像对称之间的联系，但这些是进一步研究的领域，而非当前工作的既定结论。这项工作被呈现为形式化 Knörrer 周期性“奇数”侧面的基础性步骤。