その他トップ

森田理論
　PDF　｜森田同値の例｜森田理論｜Groupoid上の森田理論｜

　数学で日本人の名前が付いた理論や定理というのは珍しいが、環論に関するすばらしい定理およびその理論として森田紀一氏の仕事が評価されている。元々位相幾何学が専門だった森田は、二つの環をそれ上のmoduleで比べて、森田同値という概念にいたった。
　一番重要な例としては任意の環とその行列環である。これらは、環としては一般的に同型ではない（可換性や整域に着目する）が、森田同値である。
　森田同値の同値な条件に関する有名な森田の同値定理というものがある。これは、RとSが森田同値であることと、End_R(P)とSとが環同型となる射影生成な(S,R)-bimoduleが存在することが同値だということらしい。先の例に述べた全行列環は、End(R^n)と解釈すれば、R^nはprogeneratorであるから辻褄があう。詳しくは、 Charles A. Weibelの「An introduction to homological algebra」【18】かT.Y.Lamの「Lectures on Module and Ring」【19】、日本語では岩本・佐藤の「環と加群のホモロジー代数的理論」【１７】なんかに書いてある。

　森田同値の概念は環だけにとどまらず、GroupoidやOperadにまで拡張されている。Derived categoryで森田理論を展開してあるのがRickard.Jeremyの「Morita theory for derived category」である。DG categoryでもmorita equivalenceという概念もある。いずれにしても、あるcategory上のmodule（categoryからのfunctorと見るべき）というものを考え、特殊なbimoduleを持つという定義の方がいろいろな場面への一般化ができるように思える。
　さらにDG categoryの圏におけるMorita morphismというのは、そのmodel structureのweak equivalenceとして取れるらしい。