We study the aggregate implications of production network formation in a quantitative multi-location general equilibrium trade model. Firms search for suppliers and buyers across locations subject to matching frictions, generating a gravity structure of production networks. We develop sufficient...