[論文レビュー] A Note on Support in Triangulated Categories

Aaron Bergman|ArXiv.org|Apr 24, 2008

Algebraic structures and combinatorial models参考文献 17被引用数 3

ひとこと要約

この論文は、コンパクトな対象からの全ホモロジー空間が有限次元であることで定義される、三角圏におけるコンパクトなsupporthの新しい概念を導入する。この論文は、一貫した層や加群の導来圏におけるコンパクトなsupporth対象が、それぞれ、適切なsupporthまたは有限次元のコホロロジーに対応することを確立し、導来モラータ同値性および特異点におけるDブレーン物理学への応用を示している。

ABSTRACT

In this note, I define a notion of a compactly supported object in a triangulated category. I prove a number of propositions relating this to traditional notions of support and give an application to the theory of derived Morita equivalence. I also discuss a connection to supersymmetric gauge theories arising from D-branes at a singularity.

研究の動機と目的

• 小コプロダクトを持つ三角圏におけるコンパクトにsupporthされた対象を定義し、それらを研究すること。
• 代数幾何学および表現論における古典的なsupporthの概念と、この新しいコンパクトなsupporthの概念との関係を明らかにすること。
• コンパクトにsupporthされた部分圏と、適切なsupporthまたは有限次元コホロロジーを持つ部分圏との同値性を確立すること。
• 結果を導来モラータ同値性および特異点におけるDブレーンから生じる超対称ゲージ理論に応用すること。
• 曲線の構造層に対するExt-有限性条件を用いて、適切なsupporthのホモロジー的基準を提供すること。

提案手法

• すべてのコンパクトな ℱ に対して ∑ᵢ dim Hom(ℱ, 𝒪[i]) の有限性により、コンパクトにsupporthされた対象を定義する。
• ホモロジー関手の長完全系列を用いて、コンパクトにsupporthされた対象の全部分圏が三角圏であることを証明する。
• ハイパコホロロジーのスペクトル系列と切断技術を用いて、コンパクトなsupporthとコホロロジー的有限性との関係を確立する。
• 適切性の評価基準を用いて、曲線の構造層からの有限次元のExt次元が適切なsupporthを示すことを示す。
• 多様体の滑らかさを活用して、完全複体が有界であることを保証し、古典的supporth理論と比較可能にする。
• スペクトル系列と長完全系列を用いて、問題をコホロロジー加群および層のExt群に還元する。

実験結果

リサーチクエスチョン

• RQ1 D^b(Coh(X)) 内の有界複体が導来圏においてコンパクトにsupporthされるのはいつか？
• RQ2 滑らかなネーター多様体において、コホロロジー層のコンパクトなsupporthと適切なsupporthの正確な関係は何か？
• RQ3 A-Mod における複体のコンパクトなsupporthは、そのコホロロジー加群が有限次元であることにどのように関係するか？
• RQ4 構造層が曲線 C であるものからのExt-有限性を用いて、コンパクトにsupporthされた部分圏を特徴づけられるか？
• RQ5 コンパクトなsupporthが導来モラータ同値性および特異点におけるDブレーン配置に与える影響は何か？

主な発見

• 三角圏におけるコンパクトにsupporthされた対象の部分圏は、三角圏であり、シフトおよび拡張に関して閉じている。
• ネーター多様体 X に対して、一貫した層の有界複体は、すべてのコホロロジー層が適切なsupporthを持つときかつそのときに限り、コンパクトにsupporthされる。
• 体上の代数 A に対して、A-加群の有界複体は、すべてのコホロロジー加群が有限次元であるときかつそのときに限り、コンパクトにsupporthされる。
• 非特異的曲線 C の構造層から、一貫した層 𝒪_C への有限次元のExt群が存在するならば、その層は適切なsupporthを持つ。
• 滑らかなネーター多様体において、D^c(Coh(X)) のコンパクトにsupporthされた部分圏は、コホロロジー層が適切なsupporthを持つ複体の全部分圏と同値である。
• 滑らかさの仮定の下で、すべての支持内にある非特異的曲線 C に対して ∑ᵢ dim Hom(𝒪_C, 𝒪_C[i]) の有限性が、コンパクトなsupporth条件と同値である。