Der Prozess, einen Teil einer algebraischen Struktur entlang eines Morphismus zurückzuziehen oder zu vergessen – typischerweise Restriktion der Skalare, Pullback von Moduln oder Garben oder das Weglassen zusätzlicher Operationen, so dass ein Objekt Struktur über einer anderen Basis erhält; formal durch Vorcomposition mit der definierenden Abbildung erzeugt.

Prinzip

Gegeben ein Morphismus f: A → B von Algebren, Ringen oder Räumen sendet die Restriktion (auch Änderung-der-Struktur-Restriktion) ein B-Objekt auf ein A-Objekt, indem die Wirkungs- oder Strukturabbildung mit f vorbelegt wird; die ordnende Idee ist die Funktorialität algebraischer Strukturen unter Basenwechsel in kontravarianter Richtung.

Demonstration

Beispiel: Restriktion der Skalare für Moduln: Ein B-Modul M wird ein A-Modul f^*M, indem a ∈ A mittels f(a) ∈ B wirkt. Bei Garben führt das Zurückziehen entlang einer stetigen Abbildung f: X → Y zu f^{-1}F oder f^*F, also zu den Restriktionen der Struktur auf den Quellraum.

Fehlanwendung

Restriktion mit Extension/Induktion (covarianter Basenwechsel) zu verwechseln oder nicht nachzuverfolgen, wie Exactness- und Endlichkeits-Eigenschaften sich unter Restriktion verhalten; anzunehmen, dass Eigenschaften (Projektivität, Flatness, Endlichkeit) ohne Prüfung erhalten bleiben, ist riskant.

Konsequenz

Richtige Anwendung liefert eine systematisch definierte Sichtweise auf Objekte über verschiedenen Basen, erlaubt Vergleich von Invarianten vor und nach Basenwechsel und erzeugt Adjunktionen mit Extension- bzw. Induktionsfunktoren, zentral für Descent- und kohomologische Rechnungen.

Umkehrung

Die Umkehrung ist Extension/Induktion oder Erweiterung der Skalare, die Struktur entlang f vorwärtsschiebt, um Objekte über der Zielbasis zu erzeugen; während Restriktion vergisst oder zieht zurück, baut Extension neue Struktur über der größeren Basis auf.

Abgrenzung

Gilt, wenn ein Morphismus zwischen Basen existiert, der Vorcomposition erlaubt (Algebra-Maps, stetige Abbildungen, Schema-Morphismen); erzeugt nicht von selbst neuen algebraischen Inhalt und erhält ohne zusätzliche Hypothesen nicht notwendigerweise wünschenswerte Endlichkeits- oder Exactness-Eigenschaften.

Semantische Spannung

Nahe an Extension/Induktion und an Vergissfunktoren; die Spannung liegt darin, die kontravariante Restriktion (Pullback/Vergessen) von der kovarianten Extension (Pushforward/Induktion) und ihre unterschiedlichen Erhaltungseigenschaften zu unterscheiden.

Synthese

Die Strukturwechsel-Restriktion ist der kanonische Pullback/Vergessprozess, der ein Objekt über der Zielbasis durch Vorcomposition der wirkenden Aktion als Objekt über der Quellbasis betrachtet und so die kontravariante Seite der Basenwechsel-Adjunktionen bildet.