##  [Inflation](/inflation-0) 

 Definition

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

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

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

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

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

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

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

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

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.