Reductions of GKZ Systems and Applications to Cosmological Correlators
Thomas W. Grimm, Arno Hoefnagels
TL;DR
The paper presents an algorithm to reduce GKZ differential systems, arising from integrals in quantum field theory and cosmology, to smaller, solvable subsystems when a parameter is resonant. By introducing reduction operators and a resonance/face/pyramid criterion, it shows how to systematically obtain partial solution bases and reconstruct the full solution space from simpler pieces. The single-exchange cosmological integral serves as a detailed benchmark, where all reduction operators are derived and used to obtain a complete basis of solutions in terms of physical variables, with locality emerging as a consequence of the reduction structure. The work connects GKZ reducibility with locality/Twists and offers a practical framework that can generalize to other Feynman integrals and period-type problems, potentially simplifying complex calculations across physics and geometry.
Abstract
A powerful approach to computing Feynman integrals or cosmological correlators is to consider them as solution to systems of differential equations. Often these can be chosen to be Gelfand-Kapranov-Zelevinsky (GKZ) systems. However, their naive construction introduces a significant amount of unnecessary complexity. In this paper we present an algorithm which allows for reducing these GKZ systems to smaller subsystems if a parameter associated to the GKZ systems is resonant. These simpler subsystems can then be solved separately resulting in solutions for the full system. The algorithm makes it possible to check when reductions happen and allows for finding the associated simpler solutions. While originating in the mathematical theory of D-modules analyzed via exact sequences of Euler-Koszul homologies, the algorithm can be used without knowledge of this framework. We motivate the need for such reduction techniques by considering cosmological correlators on an FRW space-time and solve the tree-level single-exchange correlator in this way. It turns out that this integral exemplifies an interesting relation between locality and the reduction of the differential equations.
