Eine kanonische Pullback-Homomorphismus, der cohomologische Klassen, Extensionsklassen oder ähnliche Obstruktionsdaten von einem Quotienten, Teilobjekt oder einfacheren Modell in ein größeres Umgebungsobjekt trägt; konkret ist es die durch Vorcomposition mit einem Strukturmorphismus induzierte Abbildung, sodass Klassen des Quellobjekts im größeren Objekt realisiert werden.

Prinzip

Zu einem Morphismus p: X → Y (häufig eine Projektion auf einen Quotienten oder die Inklusion von fixierten Koeffizienten) induziert die Komposition mit p eine Abbildung p^*: H^*(Y; −) → H^*(X; −) bzw. ein analoges Ext/Pullback auf Extensionsklassen; die ordnende Idee ist der transport von Invarianten durch fonktorielle Pullbacks.

Demonstration

In der Gruppenkohomologie: Ist N ⊲ G normal und M ein G-Modul, so ist die Inflation die Homomorphismusinf: H^n(G/N, M^N) → H^n(G, M), erhalten durch Vorcomposition von Kokzyklen mit der Projektion G → G/N, wodurch Quotientenklassen als Klassen von G realisiert werden.

Fehlanwendung

Inflation fälschlich als stets spaltend oder als Erhalter von Zerlegungsarten anzunehmen; etwa ohne Prüfung von Verschwindungsbedingungen oder Fixpunkthypothesen der Koeffizienten von der Injektivität oder Surjektivität von inf auszugehen, führt zu falschen Schlüssen.

Konsequenz

Richtig angewendet bettet Inflation lage-spezifische Obstruktionen in das Umgebungsobjekt ein und erlaubt ihre Wechselwirkung mit feinerer Struktur; sie wandelt grobe Invarianten in nutzbare cohomologische Informationen des Umgebungsobjekts um, die mit Restriktion oder Transfer verglichen werden können.

Umkehrung

Das Gegenstück ist Corestriction/Transfer oder Restriktion: statt Klassen herabzuschicken (Corestriction/Transfer) oder ambienten Klassen auf ein Teilobjekt einzuschränken, hebt Inflation Klassen vom Quotienten bzw. einfacheren Bereich ins größere Objekt hoch.

Abgrenzung

Gilt, wenn ein kanonischer Morphismus zwischen Objekten existiert (z. B. Projektion auf einen Quotienten oder Inklusion fixierter Punkte), der in der gewählten (Co)homologie- oder Extensions-Theorie ein fonktorielles Pullback induziert; sie erzeugt an sich keine neuen Klassen und kann ohne Hypothesen zu Koeffizienten oder Endlichkeitsbedingungen schlecht verhalten sein.

Semantische Spannung

Nahe an der Restriktionsidee (ambienten Klassen zu einem Teilobjekt ziehen) und an Corestriction/Transfer (Klassen nach oben schieben); die Spannungsfrage ist, ob man ‚Hochziehen ins größere Objekt‘ (Inflation) oder ‚Einschränkung auf das Teilobjekt‘ (Restriction) betrachtet – abhängig von der Richtung im Grunddiagramm.

Synthese

Inflation ist der kanonische fonktorielle Pullback, der cohomologische oder Extensionsdaten, die auf einem Quotienten oder einfacheren Modell definiert sind, im größeren Umgebungsobjekt realisiert, wodurch Vergleiche mit anderen Abbildungen und die Untersuchung der Reflexion grober Invarianten in feiner Struktur möglich werden.