[論文レビュー] The realization problem for von Neumann regular rings

Pere Ara|arXiv (Cornell University)|Feb 13, 2008

Rings, Modules, and Algebras参考文献 26被引用数 22

ひとこと要約

この論文は、ヴォイナッチュ・正則環における実現問題の進展を調査し、任意の可算な錐型の修正モノイドは、ある可算体上では実現可能であるが、任意の非可算体上では実現不可能である例を示している。主な貢献は、可算体 $ K $ に対して、$ \mathcal{V} $-モノイドが非可換的で、非可算体上に持ち上げられない可算な正則 $ K $-代数の構成である。

ABSTRACT

We survey recent progress on the realization problem for von Neumann regular rings, which asks whether every countable conical refinement monoid can be realized as the monoid of isoclasses of finitely generated projective right $R$-modules over a von Neumann regular ring $R$.

研究の動機と目的

• 任意の可算な錐型の修正モノイドが、あるヴォイナッチュ・正則環 $ R $ に対して $ \mathcal{V}(R) $ として現れるかどうかを調査すること、これは実現問題として知られている。
• ヴォイナッチュ・正則環における実現問題と分離性の関係を検討すること。
• モノイドの実現と、その環における両側イデアルの格子との関係を分析すること。
• 実現可能性が、特に可算体と非可算体の区別において、基礎体の濃度に依存するかどうかを特定すること。

提案手法

• モノイド上の代数的順序を用い、錐型モノイドを修正モノイドに順序埋め込みする。
• ベルガマンとヴェルングの結果を応用し、非分離的可算な錐型修正モノイドの存在を示す。
• 可算部分代数の列の合併として、$ \prod_{n=1}^\infty M_n(K) $ 内に、可算な正則 $ K $-代数 $ S_{\infty} $ を構成する。この構成には、厳密に収束する擬似逆元の列を用いる。
• ランク関数 $ N((x_n)) = \sum_{n=1}^\infty 2^{-n} N_n(x_n) $ を用いて、$ \mathcal{V}(S_\infty) $ のモノイド構造と非可換性を検証する。
• レヴィットパス代数 $ Q $ の中で、$ I = \text{Soc}(Q) \cong M_\infty(K) $ というイデアルを用い、正則だが単位的正則でない可算な代数を構築する。
• $ \Phi^{-1}(Q) $ の構成を用いて、逆像環に正則性と安定性の性質を持ち上げ、$ \mathcal{V}(S_\infty) $ が適切に定義され、非可換的であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の可算な錐型の修正モノイドは、あるヴォイナッチュ・正則環 $ R $ に対して $ \mathcal{V}(R) $ として実現可能だろうか？
• RQ2 ヴォイナッチュ・正則環上でのモノイドの実現可能性は、基礎体の濃度に依存するだろうか？
• RQ3 モノイドが可算体上では実現可能だが、いかなる非可算体上でも実現不可能である例は存在するだろうか？
• RQ4 可算なヴォイナッチュ・正則 $ K $-代数で、その $ \mathcal{V} $-モノイドが非可換的（従って分離的でない）であるようなものが存在するだろうか？
• RQ5 実現問題とディルワースの合同格子問題との関係は何か？

主な発見

• 可算な錐型の修正モノイドが存在し、ある可算な正則 $ K $-代数 $ S_{\infty} $ に対して $ \mathcal{V}(S_\infty) $ として実現可能であるが、いかなる非可算体 $ F $ 上でも実現不可能である。
• $ \mathcal{V}(S_\infty) $ は非可換的であり、$ a \neq b $ を満たす元 $ a, b $ が $ a + a = a + b = b + b $ を満たす例が存在することから示される。これは $ S_\infty $ が分離的でないことを意味する。
• $ S_{\infty} $ の構成は、行列代数の直積内での厳密に収束する擬似逆元の列に依存しており、正則性と可算性を保証する。
• $ S_\infty $ は正則だが単位的正則でない。これは、直接的有限でない商を許容するためであり、$ \mathcal{V}(S_\infty) $ が可換でないことを防ぐ。
• $ \mathcal{V}(S_\infty) $ は命題 4.1 の仮定を満たし、非可換的であるため、非可算体上では実現不可能であることが確認される。
• この例は、モノイドのヴォイナッチュ・正則環上での実現可能性が、モノイドが可算であっても、体の濃度に敏感であることを示している。