Ind-Objekte und Pro-Objekte

Ind-Objekte und Pro-Objekte sind in der Mathematik ein Ersatz für induktive bzw. projektive Limites, wenn diese in einer Kategorie nicht existieren.

Definition

Sei <math>C</math> eine Kategorie und <math>h \colon C\to C^\wedge,\ X\mapsto h_X=C({-},X)</math> die kovariante Yoneda-Einbettung (<math>C^\wedge=\text{Set}^{C^{\text{op}}}</math> ist die Kategorie der kontravarianten Funktoren von <math>C</math> in die Kategorie <math>\text{Set}</math> der Mengen). Die Kategorie <math>\text{Ind}(C)</math> der Ind-Objekte in <math>C</math> ist eine volle Unterkategorie von <math>C^\wedge</math>. Ein Objekt <math>X\in C^\wedge</math> liegt genau dann in <math>\text{Ind}(C)</math>, wenn es eine kleine filtrierende Indexkategorie und einen Funktor <math>Y \colon I\to C</math> gibt, so dass <math>X</math> isomorph zu <math>\varinjlim_{i\in I} h_{Y(i)}</math> ist. (<math>I</math> heißt filtrierend, wenn gilt: <math>I</math> ist nicht leer; für <math>i,j\in I</math> existiert <math>k\in I</math> mit Morphismen <math>i\to k</math> und <math>j\to k</math>; für zwei Morphismen <math>f,g \colon i\to j</math> in <math>I</math> existiert ein Morphismus <math>h \colon j\to k</math>, so dass <math>hf=hg</math>. Ist <math>I</math> eine Halbordnung, dann ist <math>I</math> genau dann filtrierend, wenn <math>I</math> gerichtet ist.) Die Objekte von <math>\text{Ind}(C)</math> werden auch ind-darstellbare Funktoren genannt, vgl. Darstellbarkeit (Kategorientheorie).

Sei weiter <math>h \colon C\to(\text{Set}^C)^\text{op},\ X\mapsto h^X=C(X,{-})</math> die kontravariante Yoneda-Einbettung. Dann ist <math>\text{Pro}(C)</math> die volle Unterkategorie von <math>(\text{Set}^C)^\text{op}</math> bestehend aus Objekten, die isomorph zu <math>\varprojlim_{i\in I} h^{Y(i)}</math> für ein projektives System <math>Y \colon I^\text{op}\to C</math> sind. Die Objekte von <math>\text{Pro}(C)</math> werden auch pro-darstellbare Funktoren genannt.<ref>Der Begriff der Pro-Darstellbarkeit wird in der Deformationstheorie auch abweichend benutzt, siehe Remark 6.2.2 in: {{#invoke:Vorlage:Literatur|f}}</ref> Es ist <math>\text{Pro}(C)=\text{Ind}(C^\text{op})^\text{op}</math>.

Statt der generischen Bezeichnung Ind- bzw. Pro-Objekt spricht man ggf. konkret von Pro-Gruppen oder Ind-Schemata usw.

Alternative Beschreibung

Sei <math>\text{Ind'}(C)</math> die Kategorie der Paare <math>(I,Y)</math> bestehend aus einer kleinen filtrierenden Kategorie <math>I</math> und einem Funktor <math>Y \colon I\to C</math>, wobei die Morphismen von <math>(I_1,Y_1)</math> nach <math>(I_2,Y_2)</math> durch

<math>\varprojlim_{i_1\in I_1}\varinjlim_{i_2\in I_2} C(Y_1(i_1), Y_2(i_2))</math>

gegeben sind. Der Funktor <math>\text{Ind'}(C)\to\text{Set}^{C^\text{op}}</math> ist volltreu, sein essentielles Bild ist nach Definition <math>\text{Ind}(C)</math>. Als Merkhilfe für die Reihenfolge kann dienen, dass die Identität kein Element in

<math>\varinjlim_{i_2\in I} \varprojlim_{i_1\in I} C(Y(i_1), Y(i_2))</math>

definiert.

Wegen dieser Beschreibung schreibt man Objekte von <math>\text{Ind}(C)</math> auch oft in der Form <math>\text{``}{\varinjlim_{i\in I}}\text{} Y(i)</math> oder, wenn klar ist, dass nicht der induktive Limes in <math>C</math> gemeint ist, einfach <math>\varinjlim_{i\in I} Y(i)</math>.

Analog ist <math>\text{Pro}(C)</math> äquivalent zur Kategorie der projektiven Systeme <math>(I,Y)</math> mit Morphismen

<math>\varprojlim_{i_2\in I_2} \varinjlim_{i_1\in I_1} C(Y_1(i_1), Y_2(i_2))</math>

Pro-Objekte werden auch als <math>\text{``}{\varprojlim_{i\in I}}\text{} Y(i)</math> notiert.

Bemerkungen

Für <math>X\in C</math> und ein induktives System <math>Y \colon I\to C</math> ist

<math>\text{Ind}(C)\left(X,\text{``}{\varinjlim_{i\in I}}\text{} Y\right)=\varinjlim_{i\in I} C(X, Y(i))</math>

Für <math>X\in C</math> und ein projektives System <math>Y \colon I^\text{op}\to C</math> ist

<math>\text{Pro}(C)\left(\text{``}{\varprojlim_{i\in I}}\text{} Y,X\right)=\varinjlim_{i\in I} C(Y(i), X)</math>

Wenn <math>\text{``}{\varinjlim_{i\in I}}\text{} Y</math> in <math>C^\wedge</math> isomorph zu <math>h_X</math> für ein <math>X\in C</math> ist, dann ist <math>X</math> ein induktiver Limes von <math>Y</math> in <math>C</math>. Die Umkehrung dieser Aussage gilt aber nicht. Beispiel: Ist <math>(I,Y)</math> das induktive System der endlich erzeugten Untergruppen von <math>\Q</math>, dann ist (siehe oben)

<math>\text{Ind}(\text{Ab})\left(\Q,\text{``}{\varinjlim_{i\in I}}\text{} Y\right)=\varinjlim_{i\in I} \text{Ab}(\Q, Y(i))=0\ne\text{Ab}(\Q,\varinjlim_{i\in I} Y(i))=\Q</math>

Die Voraussetzungen an die Indexkategorien sind wesentlich, weil jedes Objekt <math>X\in C^\wedge</math> induktiver Limes des Systems <math>(C\downarrow X)\to C^\wedge</math> ist (die so genannte Grothendieck-Konstruktion; siehe Kommakategorie für die Notation).
Ist <math>C</math> eine kleine Kategorie, in der endliche Limites existieren, dann ist ein Funktor <math>X \colon C\to\text{Set}</math> genau dann ind-darstellbar, wenn er linksexakt ist. Dabei bewirkt die Linksexaktheit, dass die Kategorie <math>C\downarrow X</math> in der Grothendieck-Konstruktion filtrierend ist.

Beispiele

Ist <math>C</math> die Kategorie der endlichen Mengen, ist <math>\text{Ind}(C)</math> äquivalent zur Kategorie aller Mengen und <math>\text{Pro}(C)</math> äquivalent zur Kategorie der booleschen Räume (d. h. total unzusammenhängenden kompakten Hausdorffräume). Die Äquivalenz ist in beiden Fällen durch die Auswertung des induktiven bzw. projektiven Limes in der größeren Kategorie gegeben, wobei im zweiten Fall endliche Mengen mit der diskreten Topologie ausgestattet werden, um sie als boolesche Räume aufzufassen.<ref>Der wesentliche Beweisschritt ist ausgeführt in Lemma 1.1.16 (a) in: Luis Ribes, Pavel Zalesskii: Profinite Groups. Springer Berlin 2000 ISBN 978-3-540-66986-9</ref>
Ist <math>C</math> die Kategorie der endlichen Gruppen, ist <math>\text{Pro}(C)</math> äquivalent zur Kategorie der proendlichen Gruppen.
Ist <math>C</math> die Kategorie der endlich präsentierten Moduln über einem Ring <math>R</math>, ist <math>\text{Ind}(C)</math> kanonisch äquivalent zur Kategorie aller <math>R</math>-Moduln.

Literatur

{{#invoke:Vorlage:Literatur|f}}
Michael Artin, Alexander Grothendieck, Jean-Louis Verdier: Séminaire de géométrie algébrique du Bois-Marie. Théorie des topos et cohomologie étale des schémas. (SGA 4) 1963–1964. Lecture notes in mathematics 269. Springer, Berlin 1972, ISBN 978-3-540-05896-0
{{#invoke:Vorlage:Literatur|f}}

Einzelnachweise

Vorlage:Navigationsleiste Kategorientheorie