[論文レビュー] Rigid Dualizing Complexes via Differential Graded Algebras (Survey)

Amnon Yekutieli|ArXiv.org|Sep 13, 2007

Graph theory and applicationsMathematics被引用数 22

ひとこと要約

本調査は、非平坦な基本変換におけるねじれを扱うために微分的可換代数（DG代数）を用いて、可換ネーター環上における剛性のある双対複体の枠組みを確立する。基本環に関する相対的剛性複体を定義し、それが一意的（同型を除いて）に存在することを証明し、相対的双対複体が剛性かつ函手的であることを用いて、コhen-Macaulayおよびゴレンシュタイン環準同型を特徴付ける。

ABSTRACT

In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the possible presence of torsion, we must use differential graded algebras in the constructions. We then discuss rigid dualizing complexes. Finally we show how rigid complexes can be used to understand Cohen-Macaulay homomorphisms and relative dualizing sheaves.

研究の動機と目的

• 自動同型の除去による、可換環上の双対複体の函手的かつ標準的な枠組みを構築すること。
• 非平坦な設定における導来基底変換の失敗を、ねじれの問題を解消するための微分的可換代数を用いて解決すること。
• 相対的双対複体を誘導する剛性のある複体 $ R_{B/A} $ を用いて、コhen-Macaulayおよびゴレンシュタイン準同型を特徴付けること。
• 環のカルテジアン図式において、剛性と双対性の性質を保つ剛性複体の基底変換定理を確立すること。
• 代数的基盤に基づき、 perverse な coherent な層を用いて、スキーム上の双対複体の幾何的に意味のある構成を提供すること。

提案手法

• 基底環 $ A $ 上の半自由 DG代数を用いて、$ B $-代数の分解を構成し、$ B $ が $ A $ 上に平坦でない場合でも可能にする。
• 射 $ \tilde{B} \to B $ における quasi-isomorphism と、導来圏内での剛性化同型を用いて、$ A $ を基底とする $ B $ 上の剛性複体を定義する。
• 非導来の $ M \otimes_A M $ を置き換えるために、DG設定における導来テンソル積 $ M \otimes^\mathrm{L}_A M $ を用いて剛性を定義する。
• 正則かつネーター的で有限次元のクルル次元をもつ $ \mathbb{K} $ を用いて、可約な環 $ A $ に対する「トラクション」$ \mathbb{K} \to A $ を導入する。
• 相対的双対複体 $ R_{B/A} $ を $ R_{A/\mathbb{K}} $ の相対的版として構成し、$ R_{A/\mathbb{K}} \otimes^\mathrm{L}_A R_{B/A} \cong R_{B/\mathbb{K}} $ を満たすようにする。
• 剛性複体 $ R_{B/A} $ を用いて、$ \operatorname{Spec}B $ の連結成分上での平坦 $ B_i $-加群のシフトの直和として、相対的双対複体 $ \boldsymbol{\omega}_{B/A} $ を定義する。

実験結果

リサーチクエスチョン

• RQ1 ねじれが存在する状況、特に基底変換が平坦でない場合に、双対複体を函手的かつ標準的に行うにはどうすればよいか？
• RQ2 微分的可換代数は、非平坦代数上での剛性複体の構成において果たす役割は何か？
• RQ3 $ A $ がゴレンシュタインのとき、剛性複体 $ R_{B/A} $ は古典的双対複体とどのように関係するか？
• RQ4 コhen-Macaulayおよびゴレンシュタイン的性質を、剛性複体 $ R_{B/A} $ を用いて代数的に特徴付けることができるか？
• RQ5 剛性複体 $ R_{B/A} $ は、環のカルテジアン図式において基底変換の性質を満たすか？もし満たすならば、剛性はどのように保たれるか？

主な発見

• 可約なネーター環に対して、剛性のある双対複体は存在し、同型を除いて一意的であり、古典的双対複体における自動同型の曖昧さを解消する。
• 剛性複体 $ R_{B/A} $ は基底変換の性質を満たす：任意のトラクション $ \mathbb{K} \to A $ に対して $ R_{A/\mathbb{K}} \otimes^\mathrm{L}_A R_{B/A} \cong R_{B/\mathbb{K}} $ が成り立つ。
• $ A $ がゴレンシュタインのとき、剛性複体 $ R_{B/A} $ は $ B $ 上の双対複体であり、相対的双対複体 $ \boldsymbol{\omega}_{B/A} $ は平坦 $ B $-加群のシフトである。
• 本質的に有限型の平坦準同型 $ f^*: A \to B $ は、$ R_{B/A} \cong \bigoplus_i \boldsymbol{\omega}_{B_i/A}[n_i] $ を満たす平坦 $ B_i $-加群 $ \boldsymbol{\omega}_{B_i/A} $ が存在するとき、本質的にコhen-Macaulayである。
• 相対的双対複体 $ \boldsymbol{\omega}_{B/A} $ が可逆であるための必要十分条件は、$ f^* $ が本質的にゴレンシュタインであることである。これはコhomologicalな特徴付けを提供する。
• 基底変換定理が成り立つ：環のカルテジアン図式に対して、相対的双対複体は $ \boldsymbol{\omega}_{B'/A'} \cong A' \otimes_A \boldsymbol{\omega}_{B/A} $ を満たし、剛性が保たれる。