[論文レビュー] Describing coherent sheaves on projective spaces via Koszul duality

Gunnar Fløystad|ArXiv.org|Dec 29, 2000

Algebraic structures and combinatorial models参考文献 14被引用数 8

ひとこと要約

この論文は、コーサル双対性を用いて、射影空間上の整合的層の研究のための新しい枠組みを確立する。外積代数上の次数付き自由加群の複体が、対称代数加群の複体よりもより自然で計算的に効果的な道具であることを示している。主な貢献は、ホモトピー圏における自由外積代数加群のアセロウス複体のファンクター的かつ明示的な分解（テート分解）の構成であり、これはBGG対応を代数的に実現し、古典的定理の新たな証明とホロックス＝マーフィー束の直接的構成を可能にする。

ABSTRACT

A new section on projections of coherent sheaves from a projective space to a lower-dimensional projective space has been added. Also some of the notation has been altered to bring it into line with the joint paper with Eisenbud and Schreyer.

研究の動機と目的

• 射影空間上の整合的層の研究を、外積代数の次数付き加群の導来圏を用いて再定式化し、対称代数のアプローチよりも自然であると主張する。
• 整合的層に対して、次数付き外積代数加群の自由加群の複体としての明示的かつファンクター的な分解（テート分解）を構成し、コホモロジーのデータを複体構造に直接結びつける。
• この枠組みを用いて、カステルヌオヴォ＝マーフィー正則性定理の新たな代数的証明を提供する。
• P²上の安定なランク2束に関するバートの定理を、すべての射影空間上の整合的層へ一般化し、元の結果を系として得る。
• テート分解形式を用いて、P⁴上のホロックス＝マーフィー束を直接代数的に構成する。

提案手法

• 論文は、対称代数 S(W) 上の次数付き加群 ⊕ₙ H⁰(F(n)) と、外積代数 E(V) 上の次数付き加群の複体との間で、E(V) の次数付き双対 ω_E を用いてコーサル双対性を適用する。
• T(F) = ⊕ᵢ ω_E(p−i) ⊗ Hⁱ(F)(p−i) の形をした複体を構成し、これはアセロウスかつ F のテート分解をなす。
• テート分解 T(F) は、自由 E(V)-加群のアセロウス複体のホモトピー圏 K⁰(E(V)-cF) の対象であり、写像 F ↦ T(F) は、Dᵇ(coh/P(W)) から K⁰(E(V)-cF) へのファンクター T に拡張される。
• このファンクター T がカテゴリの同値であることが示され、BGG対応がより明示的かつ計算に適した形で実現される。
• ω_E が E(V)-加群として自由（dim V だけシフトされたもの）であるという事実を活用し、複体内の微分の核の最小自由分解を可能にする。
• この構成を用いて、チャーン類やコホモロジーを計算し、表現論的データを含む複体からホロックス＝マーフィー束の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 外積代数上の次数付き加群の複体を対称代数の代わりに用いることで、BGG対応をより明示的かつ代数的に構成可能にすることができるか？
• RQ2 テート分解形式が、P⁴上のホロックス＝マーフィー束を直接的に代数的に構成するのに役立つだろうか？
• RQ3 この外積代数枠組みを用いて、カステルヌオヴォ＝マーフィー正則性定理をより自然に証明できるか？
• RQ4 この方法を用いて、P²上の安定なランク2束に関するバートの定理を、すべての射影空間上の整合的層へ一般化できるか？
• RQ5 この外積代数分解枠組みの中で、P(W) 上のシュール束 S_λ(Ω(1)) のコホモロジー群はどのように分解されるか？

主な発見

• 射影空間 P(W) 上の整合的層 F のテート分解 T(F) は、形として ⊕ᵢ ω_E(p−i) ⊗ Hⁱ(F)(p−i) のアセロウス複体であり、ファンクター的かつ明示的に BGG対応を実現する。
• この構成により、複体が正則性の閾値を超えて正確になることの証明を通じて、カステルヌオヴォ＝マーフィー正則性定理の直接的な代数的証明が得られる。
• P⁴上のホロックス＝マーフィー束は、特定の表現論的データを持つ E(V)-加群の複体のコホモロジーとして構成され、チャーン類 c₁ = −1 および c₂ = 4 を得る。
• この方法によりバートの定理が一般化される：任意の射影空間上の整合的層 F に対して、i > 0 かつ n が十分に大きいときの Hⁱ(F(n)) の消滅は、テート分解の構造に埋め込まれている。
• シュール束 S_λ(Ω(1)) のコホモロジーは、Hʳ(S_λ(Ω(1))(a−r)) ≅ S_{λ_a}W と分解され、r = f_λ(a) のときであり、それ以外の場合は0であり、テート分解のすべての成分は ω_E(−r) ⊗ S_μW の形をとる。
• ホロックス＝マーフィー束を定義する複体は、N-不変である。ここで N は SL₅(k) 内の位数125のヘイゼンベルク群の正規化部分群であり、V₁, V₂ は次元5、U は次元2の N-表現である。