At the level of Aggregation, invariants specify what must remain fixed when heterogeneous agents, markets, and interactions are summarized into system-level quantities. Unlike Choice and Interaction, this layer does not preserve internal coherence of decisions or compatibility of strategies. It preserves consistency of totals, balances, and intertemporal linkages that make aggregate descriptions intelligible at all.
Aggregation invariants arise not from behavior or optimization, but from closure requirements. Once a system boundary is defined and variables are aggregated, certain relations must hold exactly for the description to be coherent. These invariants constrain how stocks, flows, and resources relate across sectors and across time, regardless of the mechanisms or strategic processes operating beneath them.
Because aggregation compresses structure, most forms of invariance do not survive. What remains are invariants tied to balance, solvency, and definitional consistency. These preserved structures do not explain macroeconomic behavior; they ensure that any macroeconomic explanation is internally consistent before interpretation or modeling begins.
SAT – Structure – Invariants – Aggregation & Dynamics (Macroeconomic Systems)
| Invariant | What stays fixed | What variation must respect |
|---|---|---|
| Balance | Accounting equalities and stock–flow closure | All aggregate changes preserve accounting identities |
| Symmetry | Aggregate relations under sector relabeling | Repartitioning sectors does not alter total identities |
| Stability | Intertemporal solvency | Aggregate paths remain bounded over time |
| Optimality | — | — |
| Distribution | Growth or accounting decomposition form | Aggregate measures preserve the same decomposition structure |
Taken together, the invariants of Aggregation define the outer boundary of admissible macroeconomic representations. They guarantee that aggregate quantities balance, that intertemporal claims are coherent, and that system-wide descriptions do not create or destroy structure without account. Violations at this level do not signal instability or inefficiency; they signal logical or accounting impossibility within the chosen system definition.
Crucially, aggregation invariants do not generate dynamics, select equilibria, or imply optimality. They are silent about causation and behavior. Their role is restrictive, not generative: they rule out incoherent aggregate states and paths, but they do not determine which admissible ones will occur.
Aggregation invariants therefore mark the limit of law-like structure in economics. Beyond this point, economic analysis necessarily moves from invariants to models, from constraints to assumptions, and from structure to interpretation. Making these invariants explicit clarifies what macroeconomic theories must respect—and why so much of macroeconomics necessarily operates outside the domain of laws.