[論文レビュー] Faithfully flat descent for projectivity of modules

Alexander Perry|arXiv (Cornell University)|Oct 30, 2010

Rings, Modules, and Algebras参考文献 3被引用数 8

ひとこと要約

この論文は、射影的加群の性質が忠実に平坦な環準同型に沿って降下することを確立し、レイノーとグルソンの元々の証明における欠陥を是正する。カプランスキーの『デヴィッサージュ』技法と『ミタグレーファー』条件を導入することで、加群が射影的であることと、平坦かつミタグレーファー条件を満たすこととは同値であり、この性質が忠実に平坦な環準同型に沿って降下することを示し、結局、$ M \bigotimes_R S $ が忠実に平坦な $ R \to S $ に対して射影的であれば、$ M $ 自身も射影的であることを示す。

ABSTRACT

We give a self-contained exposition of the proof of faithfully flat descent for projectivity of modules. This fills a gap in the proof given in the literature.

研究の動機と目的

• レイノーとグルソンの研究における忠実に平坦な降下による射影的性質の証明における誤りを是正すること。
• 平坦なミタグレーファー加群であるという性質が、忠実に平坦な環準同型に沿って降下することを確立すること。
• デヴィッサージュおよびフィルトレーション技法を用いて、忠実に平坦な降下を介して加群の射影的性質が降下することを証明すること。
• 加群が射影的であることと、平坦かつミタグレーファー条件を満たすこととは同値であることを示すこと。
• 忠実に平坦な写像に沿った基底変換が射影的であるような任意の加群は、自身も射影的であることを示すこと。

提案手法

• カプランスキーのデヴィッサージュを用いて、加群を可算生成射影的加群の直和に分解する。
• 射影的加群の特徴づけとして、加群に『ミタグレーファー』条件を導入する。
• 可算生成加群が射影的であることと、平坦かつミタグレーファー条件を満たすこととは同値であることを証明する。
• 平坦なミタグレーファー加群であるという性質が、忠実に平坦な環準同型に沿って降下することを確立する。
• 順序数による整列されたフィルトレーションを、超限帰納法を用いて加群 $ M $ に構成し、各段階の商加群が射影的であることを保証する。
• $ S $ が $ R $ に対して平坦であることを利用し、部分加群を押し上げ、基底変換において直和分解を保つ。

実験結果

リサーチクエスチョン

• RQ1 加群の射影的性質は、忠実に平坦な環準同型に沿って降下するか？ もしそうであれば、どのような条件下で？
• RQ2 平坦なミタグレーファー加群であるという性質が、忠実に平坦な拡張に沿って降下可能であるか？
• RQ3 すべての射影的加群は、可算生成射影的加群の直和として表せるか？
• RQ4 文献に正しい証明がない状況において、デヴィッサージュ技法を変種して射影的性質の降下を証明できるか？
• RQ5 加群の構造的条件のうち、特に平坦性およびフィルトレーションと関連して、射影的性質を保証するものは何か？

主な発見

• 加群が射影的であることと、平坦かつミタグレーファー条件を満たすこととは同値である。
• 平坦なミタグレーファー加群であるという性質が、忠実に平坦な環準同型に沿って降下することを、補題 9.2 で証明した。
• 忠実に平坦な $ R \to S $ に対して $ M \bigotimes_R S $ が射影的であれば、加群 $ M $ 自身も射影的である。
• すべての射影的加群は、カプランスキーのデヴィッサージュを備えており、可算生成射影的加群の直和として表せる。
• 順序数によるフィルトレーションと部分加群の押し上げを用いて、射影的性質の降下が確立された。
• レイノーとグルソンの元々の証明における誤りは、ミタグレーファー条件の欠落した降下ステップを特定し、それを証明することで是正された。