[論文レビュー] 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 は論文で定義された反転関手を表す。
• 核 P† は、f: X → P 沿いのベースチェンジを用いて計算され、f''*O_Q を用いて D(H_X) 内の核 O_Q|X を得る。
• D(H_Y) の分解は、元の HPD 分解を双対化し、その後 O_{P*}(1) でねじる操作を施すことにより得られ、新たな半直交分解が得られる。
• 論文は、導来圏における図式走査とベースチェンジの性質を用いて、関手 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) は i = 1 から N−2 まで B^i(3−N) ⊠ D(P) を含む分解を持つ。
• P-線形で完全忠実な埋め込み D(X) → D(H_Y) の像は正確に 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) の新たな半直交分解が得られ、それが圏的プラüッカー公式を実現することが確認された。