加群の局所化

可換環論や代数幾何学において、加群の局所化 (localization of a module) は環上の加群に分母を導入する構成である。正確には、与えられた加群 "M" から
を含む新しい加群 "S"−1"M" を構成する系統的な方法である。ここで分母の "s" は "R" のある与えられた部分集合 "S" を動く。
この技術は、特に代数幾何学において、加群と層論との関係のように、基本的となっている。加群の局所化は環の局所化を一般化する。
定義.
この記事において、"R" は単位元 1 をもつ可換環、"M" は "R" 加群とする。
"S" を "R" の積閉集合とする、すなわち 1 ∈ "S" であり、任意の "s", "t" ∈ "S" に対し、積 "st" も "S" の元であるとする。すると "S" についての "M" の局所化 (localization) は、"S"−1"M" と表記され、次のような加群として定義される。集合としては、対 ("m", "s") の同値類からなる、ただし "m" ∈ "M", "s" ∈ "S" であり、2つのそのような対 ("m", "s"), ("n", "t") は、ある元 "u" ∈ "S" が存在して
となるときに同値であると考える。この同値類を
と表すのが一般的である。
この集合を "R" 加群にするために、
および "a" ∈ "R" に対し
と定義する。定義が well-defined であること、すなわち分数の代表系の取り方に依らずに結果が定まることは直ちに確認できる。同値関係の1つの興味深い特徴づけは、"S" の元に対して消約律が成り立つような最小の関係（集合と考えて）であるというものである。つまり、すべての "s" ∈ "S" に対して "rs"/"us" = "r"/"u" が成り立つような最小の関係なのである。
1つの場合が特に重要である。"S" が素イデアル p ⊂ "R" の補集合（これは素イデアルの定義によって積閉である）であれば、局所化は formula_5 の代わりに "M"p と書かれる。加群 "M" の台 は "M"p ≠ 0 なる素イデアル p 全体の集合である。"M" を "R" のスペクトルから "R" 加群への関数
と見て、この対応は関数の台である。素イデアルにおける加群の局所化は加群の「局所的な性質」を反映してもいる。特に、より一般の状況が局所化された加群についての主張に帰着できる場合が多くある。というのも、"R" 加群 "M" が自明であることとそのすべての素イデアルあるいは極大イデアルにおける局所化が自明であることは同値なのである。
テンソル積による解釈.
加群の局所化は、標準的な写像によって環の局所化とのテンソル積と同型である。
局所化をこのように考えることはしばしばと呼ばれる。
テンソル積として、局所化は通常の普遍性を満たす。
平坦性.
定義から、加群の局所化は完全関手であること、言い換えると（テンソル積で読み替えて）"S"−1"R" が "R" 上の平坦加群であることが分かる。この事実は、特に開集合 Spec("S"−1"R") の Spec("R") の中への包含（環のスペクトルを参照）は平坦射であると言うことで、代数幾何学で平坦性を使うのに基本的である。
（準）連接層.
加群の局所化のことばで、局所環付き空間上の準連接層と連接層を定義することができる。代数幾何学では、スキーム "X" に対する準連接 "O""X" 加群は任意の "R" 加群 "M" の局所化の Spec("R") 上の層に局所的にモデルされた加群である。連接 "O""X" 加群は "R" 上の有限表示加群に局所的にモデルされたそのような層である。