[论文解读] Categorical Plücker Formula and Homological Projective Duality

Qingyuan Jiang, Naichung Conan Leung+1 more|arXiv (Cornell University)|Apr 4, 2017

Algebraic structures and combinatorial models参考文献 40被引用 12

一句话总结

本文通过同调投影对偶性（HPD）建立了一个范畴化的普吕克公式，利用核为 P† 的傅里叶-穆凯伊变换，构造了 D(X) 到 D(H_Y) 的 P-线性全纯忠实嵌入。关键贡献在于通过张量积与对偶运算诱导出 D(H_Y) 的对偶分解，从而在 HPD 结构下精确地范畴化了导出范畴中的普吕克公式。

ABSTRACT

Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair $(X,Y)$, then analogue of HP-duality theorem holds for their intersections with another HP-dual pair $(S,T)$, provided that they intersect properly. We also prove a relative version of our main result. Taking $(S,T)$ to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem.

研究动机与目标

• 通过导出范畴扩展经典普吕克公式至范畴框架。
• 通过同调投影对偶性（HPD）在导出范畴的超平面截面之间建立对偶性。
• 利用傅里叶-穆凯伊变换构造从 D(X) 到 D(H_Y) 的 P-线性全纯忠实函子。
• 通过对原始 HPD 分解应用对偶与扭转变换，推导出 D(H_Y) 的对偶分解。
• 计算全纯忠实函子 F 的核 P†，并证明其源自原始 HPD 核的对偶。

提出的方法

• 本文使用以 O_Q ∈ D(H_Q ×_P ×P Δ_P) 为核的傅里叶-穆凯伊变换 Φ^L_P|Q，定义从 D(X) 到 D(H_Y) 的 P-线性函子。
• 在 D(X) 上应用对偶函子 (−)∨，并与 O_{P*}(1) 的张量积复合，构造协变函子 F: D(X) → D(H_Y)。
• 函子 F 表示为 F = ⊗O_{P*}(1) ∘ (Φ^L_P|Q)^op ∘ Φ_O_Q|X^op，其中 (−)^op 表示如文中定义的对偶函子。
• 通过沿 f: X → P 的基变换计算 F 的核 P†，利用 f''*O_Q 得到 D(H_X) 中的核 O_Q|X。
• 通过对原始 HPD 分解进行对偶化，再施加 O_{P*}(1) 的扭转变换，推导出 D(H_Y) 的新半正交分解。
• 本文使用范畴论中的图表追逐法与导出范畴的基变换性质，验证了函子 F 的全纯忠实性与 P-线性性。

实验结果

研究问题

• RQ1 如何利用导出范畴与同调投影对偶性，对经典普吕克公式进行范畴化重构？
• RQ2 当原始 HPD 分解被对偶化并施加扭转变换后，D(H_Y) 的对偶分解结构是怎样的？
• RQ3 P-线性结构的傅里叶-穆凯伊核 P† 与原始 HPD 核 P 之间有何关系？
• RQ4 全纯忠实函子 F: D(X) → D(H_Y) 的核 P† 的显式形式是什么？
• RQ5 对偶与扭转变换如何将原始 HPD 分解转化为 D(H_Y) 的新半正交分解？

主要发现

• 导出范畴 D(X_T) 允许分解 D(X_T) = E_X_T，且 D(Y_S) 允许包含 B^i(3−N) ⊠ D(P) 的分解，其中 i = 1 到 N−2。
• D(X) → D(H_Y) 的 P-线性全纯忠实嵌入的像是恰好为 E_Y_S，且在对偶等价下满足 E_X_T ≃ E_Y_S。
• 函子 F: D(X) → D(H_Y) 是全纯忠实且 P-线性的，其核 P† 通过基变换计算为原始 HPD 核的对偶。
• D(H_Y) 的对偶分解为 D(H_Y) = ⟨F(D(X)), (B^{N−2})^∨(1) ⊠ D(P), ..., (B^1)^∨(N−2) ⊠ D(P)⟩。
• F 的核 P† 被证明为 (Φ^L_P|Q)^op ∘ Φ_O_Q|X^op，其结构源自沿 f: X → P 的 O_Q 的基变换。
• 该构造证实，HPD 分解的对偶在施加 O_{P*}(1) 扭转变换后，生成 D(H_Y) 的新半正交分解，从而实现了范畴化的普吕克公式。