[論文レビュー] Rigid Dualizing Complexes on Schemes

Amnon Yekutieli, James J. Zhang|arXiv (Cornell University)|May 29, 2004

Algebraic structures and combinatorial models参考文献 23被引用数 7

ひとこと要約

この論文は、非可換代数幾何学で最初に開発された概念を活用して、スキーム上のグローテンディーク双対性のための新しい枠組みとして剛性のある双対複体を導入する。複雑な整合性チェックを回避することで、正則ネーター的基底環上の有限型スキームに対して主要な双対性結果を確立し、算術幾何への応用を可能にする。

ABSTRACT

In this paper we present a new approach to Grothendieck duality on schemes. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. We obtain most of the important features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to finite type schemes over a regular noetherian finite dimensional base ring, and hence are suitable for arithmetic geometry.

研究の動機と目的

• 長時間にわたる整合性検証を回避する、スキーム上のグローテンディーク双対性の新たな洗練されたアプローチを開発すること。
• 非可換代数幾何学から起源を持つ剛性のある双対複体の概念を、スキームの文脈にまで拡張すること。
• 正則ネーター的かつ有限次元の基底環上の有限型スキームに対して、グローテンディーク双対性の核心的性質を確立すること。
• 一般の正則基底環上で作業することで、算術幾何への応用に適した枠組みを提供すること。

提案手法

• 非可換幾何におけるヴァン・デン・ベルクの研究から得た剛性のある双対複体の概念を、基礎的な道具として採用すること。
• 双対複体の構成において、双対性同型の検証を簡素化する剛性条件を用いること。
• 剛性条件を適用して、さまざまな双対性写像間の複雑な整合性チェックの必要性を排除すること。
• 算術幾何において広く適用可能であるように、正則ネーター的基底環上の有限型スキームに焦点を当てる。
• 剛性性質を用いて、双対複体が同型を除いて一意に特徴付けられることを示し、構成や比較を簡素化すること。

実験結果

リサーチクエスチョン

• RQ1 剛性のある双対複体は、スキーム上のグローテンディーク双対性のためのより効率的な枠組みを提供するために適応可能か？
• RQ2 剛性条件は、双対性理論における従来の整合性検証をどのように簡素化または置き換え可能か？
• RQ3 このアプローチは、技術的負担を最小限に抑えながら、標準的なグローテンディーク双対性の特徴をどの程度回復できるか？
• RQ4 この方法は、特に算術的状況において、正則ネーター的基底環上の有限型スキームへ自然に拡張可能か？

主な発見

• 剛性のある双対複体は、正則ネーター的基底環上の有限型スキームに、標準的かつ一意に特徴付けられた双対複体を提供する。
• この方法は、双対性同型間の広範な整合性チェックの必要性を回避し、グローテンディーク双対性の構成を洗練させる。
• この枠組みは、トレース写像や双対性定理といったグローテンディーク双対性の本質的特徴を、よりアクセスしやすい形でうまく回復している。
• このアプローチは算術幾何に適用可能であり、数体の整数環を含む、正則ネーター的かつ有限次元の基底環上で動作する。