[論文レビュー] Errata: On the Homology of Completion and Torsion

Marco Porta, Liran Shaul+1 more|arXiv (Cornell University)|Jun 19, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用数 5

ひとこと要約

この論文は、可換代数における完成と torsion のホモロジーに関する著者らの以前の研究における2つの誤りを是正する。定理7.12（GM双対性）における誤った証明は、導来函手とテレスコープ複体を用いた修正された準同型写像の議論により是正され、$rak{a}$-torsion 加群の圏が厚い（thick）であるのは $rak{a}$ が有限生成である場合に限ることを明確にする。これは、弱くプロレジュラーなイデアルが有限生成であることから、本論文の文脈では常に成り立つ。主たる貢献は、導来カテゴリにおけるグロタンディーク＝マルグランジュ双対性の修正され、厳密な証明がなされたことである。

ABSTRACT

In this note we correct two errors in our paper "On the Homology of Completion and Torsion", arXiv:1010.4386, that appeared in Algebras and Representation Theory (2014).

研究の動機と目的

• 『PSY』の定理7.12における誤った証明を是正する。この証明は一般には成り立たない準同型写像を主張している。
• $rak{a}$-torsion 加群の部分カテゴリが $\mathsf{Mod} A$ の厚い部分カテゴリであるのは $rak{a}$ が有限生成である場合に限ることを明確にする。本論文の枠組みでは弱くプロレジュラーなイデアルが有限生成であることから、この条件は満たされている。
• テレスコープ複体と導来函手を用いて、導来カテゴリにおけるグロタンディーク＝マルグランジュ双対性の修正され、厳密な証明を提供する。
• 『PSY』における導来双対性の結果の有効性を回復するため、誤ったホモーロジックの主張を、正しい準同型写像の議論に置き換える。

提案手法

• $\operatorname{Hom}(u,\operatorname{id}): T\otimes_A P \to \operatorname{Hom}_A(T, T\otimes_A P)$ が準同型写像であるという誤った主張を、導来函手を用いた修正されたバージョンに置き換える。
• [PSY, 系5.8] における同型 $v^{\mathrm{R}}_{\boldsymbol{a},M}: \mathrm{R}\Gamma_{\frak{a}}(M) \xrightarrow{\simeq} \operatorname{Tel}(A;\boldsymbol{a})\otimes_A M$ を用いて、完成とテンソル積を関連付ける。
• [PSY, 系5.25] における同型 $\operatorname{tel}^{\mathrm{L}}_{\boldsymbol{a},M}: \operatorname{Hom}_A(\operatorname{Tel}(A;\boldsymbol{a}), M) \xrightarrow{\simeq} \mathrm{L}\Lambda_{\frak{a}}(M)$ を用いて、torsion とホモロジー複体を関連付ける。
• $\operatorname{Hom}_A(\operatorname{id}, u\otimes\operatorname{id}): \operatorname{Hom}_A(T, T\otimes_A M) \to \operatorname{Hom}_A(T, M)$ が導来函手と同型 $\mathrm{L}\Lambda_{\frak{a}}(\sigma^{\mathrm{R}}_M)$ を用いて準同型写像であることを確立する。
• ホモロジー-テンソル随伴性を用いて、複雑な図式を同値な形に変換し、補題5〜8を用いて準同型写像の確認が可能になるようにする。
• K-射影的および K-インジェクティブな解体を用いて、問題を複体のホモトピー圏における準同型写像の確認に還元する。

実験結果

リサーチクエスチョン

• RQ1 『PSY』の定理7.12におけるオリジナルの証明はなぜ失敗するのか。具体的にどの主張が誤っているのか。
• RQ2 $\frak{a}$-torsion 加群の圏が $\mathsf{Mod} A$ の厚い部分カテゴリであるのはどのような条件下か。
• RQ3 導来カテゴリにおける導来双対性同型写像は、修正された準同型写像の議論によって回復可能か。
• RQ4 導来函手 $\mathrm{R}\Gamma_{\frak{a}}$ と $\mathrm{L}\Lambda_{\frak{a}}$ は、テレスコープ複体 $\operatorname{Tel}(A;\boldsymbol{a})$ とどのように作用するか。
• RQ5 K-射影的および K-インジェクティブな解体は、修正された証明における導来同型写像の確認に果たす役割は何か。

主な発見

• $A = \mathbb{K}[[t]]$ および $P = A$ を用いた反例により、$\operatorname{Hom}(u,\operatorname{id}): T\otimes_A P \to \operatorname{Hom}_A(T, T\otimes_A P)$ が準同型写像であるというオリジナルの主張は誤りであることが示された。
• 修正された主張は、$\operatorname{Hom}_A(\operatorname{id}, u\otimes\operatorname{id}): \operatorname{Hom}_A(T, T\otimes_A M) \to \operatorname{Hom}_A(T, M)$ が導来函手と同型 $\mathrm{L}\Lambda_{\frak{a}}(\sigma^{\mathrm{R}}_M)$ を用いて準同型写像であるというものである。
• 圏 $\mathsf{Mod}_{\frak{a}\textup{-tor}} A$ は、$\frak{a}$ が有限生成である場合に限り、$\mathsf{Mod} A$ の厚いアーベル部分圏である。本論文の設定では弱くプロレジュラーなイデアルが有限生成であることから、この条件は満たされている。
• 定理9の修正証明により、$\mathrm{R}\Gamma_{\frak{a}}$、$\mathrm{L}\Lambda_{\frak{a}}$ およびテレスコープ複体を含む図式が導来カテゴリにおいて同型写像を介して可換であることが示された。
• 証明は、誤ったホモーロジックの主張を正しいものに置き換え、すべての写像がホモロジー-テンソル随伴性と K-射影的解体を用いて準同型写像であることを確認することで成り立っている。
• 修正された議論により、導来カテゴリにおけるグロタンディーク＝マルグランジュ双対性の有効性が回復され、鍵となるステップは誤った準同型写像の主張を導来函手による正しいものに置き換えることであった。