ミッチェルの埋め込み定理

ミッチェルの埋め込み定理について

ミッチェルの埋め込み定理（またはフレイド・ミッチェルの定理）は、アーベル圏における重要な結果です。この定理は、ある小さなアーベル圏が、実際には加群の圏として理解できることを示します。これにより、アーベル圏内での図を追跡し、さまざまな証明を支援する道が開かれます。具体的には、定理は、任意の小さなアーベル圏 $A$ が、ある環 $R$ と完全忠実な充満関手 $F: A o R ext{-Mod}$ を持つことを示しています。ここで、$R$ は単位元を持つが可換である必要はありません。

定理の内容

ミッチェルの埋め込み定理の核心は、アーベル圏の対象が $R$ 加群として表現可能であり、射はそれに伴う $R$ 線型写像として解釈できるという点です。また、射の核や余核、完全列、和は、加群の文脈での性質と同様に振る舞います。ただし、A の射影的対象や単射的対象が、必ずしも射影的または単射的な $R$ 加群に対応するわけではないことに留意が必要です。

証明の概略

定理の証明においては、ある左完全関手の圏 $L$ をアーベル圏 $A$ からアーベル群の圏 $Ab$ へのものとし、この中で反変埋め込みを考えます。まず、各 $A ext{ in } A$ に対して、関手 $H(A) = h_A$ を定義します。この $h_A$ は共変 $Hom$ 関手であり、その性質によって、$H$ は忠実充満となります。ここで、米田の補題によって $H$ の左完全性が示され、さらに $H$ の右完全性の証明は難易度が上がります。

次に、$L$ がアーベル圏であることを示すために、局所化の理論を用います。この部分が証明における難所です。その後、$L$ が単射的余生成対象を持つことを確認します。自己準同型環 $R = Hom_L(I, I)$ を考え、この環が所望の性質を満たすことを示します。

埋め込み定理の応用

このようにして導かれた反変完全忠実な充満埋め込みを $G: L o R ext{-Mod}$ と定義します。そして合成関手 $GH: A o R ext{-Mod}$ を得ることにより、所望の共変完全忠実充満埋め込みを実現するのです。これにより、ミッチェルの埋め込み定理は大変大きな意味を持つことがわかります。また、完全圏に対するガブリエル・キレンの埋め込み定理がこの証明と非常に似ていることにも注目してください。

ミッチェルの埋め込み定理は、理論的な側面だけでなく、具体的な応用や他の数学分野との関係性についても重要な示唆を与えています。

もう一度検索