[論文レビュー] Descent of semidualizing complexes for rings with the approximation property

Lars Winther Christensen, Sean Sather-Wagstaff|arXiv (Cornell University)|Dec 12, 2006

Advanced Topics in Algebra参考文献 10被引用数 1

ひとこと要約

この論文は、近似性質を備えた可換ノエター局域環 R とその完成 bR の間で、半双対的複体の間の全単射対応を確立する。有限生成ホモロジーをもつ複体の近似結果を用いて、半双対的複体の降下性を証明し、Hinich と Rotthaus の双対複体に関する結果を回復し、R がコhen–マカウレイかつ同特徴的である場合の半双対的 R-加群の同型類の有限性を解決する。

ABSTRACT

Let R be a commutative noetherian local ring with completion b R. When R has the approximation property, we prove an approximation result for complexes with finitely generated homology. This is used to investigate descent of semidualizing complexes from b R to R. We show that, if R has the approximation property, then there is a bijective correspondence between semidualizing b R-complexes and semidualizing R-complexes. In particular, we recover a result of Hinich and Rotthaus stating that every ring with the approximation property has a dualizing complex. As an application of the descent theorem, we prove a new version of a classical result on uniform annihilation of homology modules of perfect complexes. Finally, we resolve the finiteness question for the set of isomorphism classes of semidualizing R-modules, when R is Cohen–Macaulay and equicharacteristic.

研究の動機と目的

• R が近似性質を備えるとき、完成 bR から環 R への半双対的複体の降下を調査すること。
• 近似性質を備える R に対して、半双対的 bR-複体と半双対的 R-複体の間の全単射対応を確立すること。
• 近似性質を備える環に対して双対複体の存在に関する Hinich と Rotthaus の結果を回復すること。
• R がコhen–マカウレイかつ同特徴的である場合に、半双対的 R-加群の同型類の有限性の問題を解決すること。
• 完全複体のホモロジー加群に対する古典的均一消去結果の新しい版を証明すること。

提案手法

• 近似性質を備える環上で、有限生成ホモロジーをもつ複体の近似結果を用いる。
• 近似性質を用いて、R とその完成 bR 間で半双対的複体を上げ下げする。
• 特に導来圏と双対性理論を用いたホモロジー代数的手法を採用する。
• 完成写像 R → bR の構造を活用して、基底変換下での複体の挙動を制御する。
• 対応の全単射性を用いて、有限性および存在に関する結果を導出する。
• 降下定理を適用して、完全複体のホモロジー加群に対する古典的均一消去結果を強化する。

実験結果

リサーチクエスチョン

• RQ1 R の近似性質が、R とその完成 bR の間で半双対的複体の全単射対応を保証するか？
• RQ2 近似性質のもとで、半双対的複体の降下性を確立でき、双対複体への影響は何か？
• RQ3 R がコhen–マカウレイかつ同特徴的である場合、半双対的 R-加群の同型類の集合は有限か？
• RQ4 近似性質は、完全複体のホモロジーに対する均一消去定理の新しい版をどのように促進するか？
• RQ5 R にどのような構造的条件が課わられると、bR から R への半双対的複体の制御された降下が可能になるか？

主な発見

• R が近似性質を備えるとき、半双対的 bR-複体と半双対的 R-複体の間には全単射対応が存在する。
• 主な降下結果の帰結として、任意の近似性質を備える環に対して双対複体の存在が回復される。
• R がコhen–マカウレイかつ同特徴的であるとき、半双対的 R-加群の同型類の集合は有限である。
• 降下定理を用いて、完全複体のホモロジー加群に対する古典的均一消去結果の新しい版が証明された。
• 近似性質により、R 上の複体のホモロジー的構造がその完成 bR を通じて効果的に制御可能になる。
• 有限生成ホモロジーをもつ複体のホモロジー的近似技術を通じて、半双対的複体の降下性が確立された。