A canonical pullback homomorphism that carries cohomological classes, extension classes, or similar obstruction data from a quotient, subobject, or simpler model into a larger ambient object; concretely, it is the map induced by precomposition with a structural morphism so that classes defined on a smaller or quotient object are realized in the bigger object.

Principle

Given a morphism p: X → Y (often a projection to a quotient or an inclusion of coefficient-fixed points), composition with p induces a map p^*: H^*(Y; −) → H^*(X; −) or an analogous Ext/pullback on extension classes; the organizing idea is transport of invariants along functorial pullback.

Demonstration

In group cohomology: if N ⊲ G is normal and M is a G-module, inflation is the homomorphism inf: H^n(G/N, M^N) → H^n(G, M) obtained by composing cocycles with the projection G → G/N, thereby realizing classes of the quotient as classes of G.

Misapplication

Treating inflation as a map that always splits or preserves decomposition types; for instance assuming inf is injective or surjective without checking vanishing conditions or fixed-point hypotheses on coefficients can lead to erroneous conclusions.

Consequence

When correctly applied, inflation embeds quotient-level obstructions into the ambient object and allows their interaction with finer structure; it converts coarse invariants into ambient cohomological information that can be further compared with restriction or transfer maps.

Reversal

The inverse notion contrasts with corestriction/transfer or restriction: rather than pushing classes down (transfer/corestriction) or restricting ambient classes to a subobject, inflation pulls up classes from a quotient or simpler domain to the larger object.

Boundary

Applies when there is a canonical map between objects (e.g. projection to a quotient or inclusion of fixed points) that induces a functorial pullback on the chosen (co)homology or extension theory; does not by itself produce new classes beyond those coming from the source and may fail to be well-behaved without hypotheses on coefficients or finiteness.

Semantic Tension

Near to the notion of restriction (pulling ambient classes to a subobject) and to transfer/corestriction (pushing classes upward); the tension is whether one reads ‘pullback to larger object’ (inflation) or ‘restriction to subobject’ (restriction) depending on which arrow in the underlying diagram is being precomposed.

Synthesis

Inflation is the canonical functorial pullback that realizes cohomological or extension data defined on a quotient or simpler object as classes in a larger ambient object, enabling comparison with other maps (restriction, transfer) and further analysis of how coarse invariants reflect finer structure.