Abstract:We prove a relative version of the Picard-Lefschetz theorem, describing the variation of relative homology groups $H_d(Y_t \setminus A_t,B_t\setminus A_t)$ in the fibers of a smooth fiber bundle $Y \to T$ of complex manifolds with $A\cup B \subset Y$ transverse. From this we derive the vanishing of certain iterated variations, a system of constraints dubbed "hierarchy". As applications, we rederive the known analytic structure of Aomoto polylogarithms and massive one loop Feynman integrals. Moreover, we introduce the "simple type" to prove hierarchy constraints in degenerate cases where the Picard-Lefschetz formula does not apply, e.g. the massless triangle or the ice cream cone Feynman diagram. We compare our findings with a "classical" hierarchy of iterated variations (from 1960's $S$-matrix theory) and show how our setup not only explains, but also refines the latter. In order to do so, we need to further resolve the geometry of Feynman motives: We boldly blow up what no one has blown up before.

Principal hierarchy of Infinite-dimensional Frobenius Manifold Underlying the Extended Kadomtsev-Petviashvili Hierarchy

Infinite-dimensional Frobenius Manifolds Underlying the Universal Whitham Hierarchy

Infinite-dimensional Frobenius Manifolds Underlying the genus-zero Universal Whitham Hierarchy

Principal hierarchy of Frobenius manifolds with rational and trigonometric superpotentials

Principal hierarchy of Frobenius manifolds associated with rational and trigonometric Landau-Ginzburg superpotentials

The extended Ablowitz-Ladik hierarchy and a generalized Frobenius manifold

Infinite-dimensional Frobenius Manifolds Underlying the Toda Lattice Hierarchy

Hodge Theory and Deformations of K\"ahler Manifolds

Generalized Frobenius Manifolds with Non-flat Unity and Integrable Hierarchies

A KP-mKP Hierarchy via Operators with Two Derivations

Lagrangian multiforms for Kadomtsev-Petviashvili (KP) and the Gelfand-Dickey hierarchy

Bogoyavlensky–modified KdV hierarchy and toroidal Lie algebra

Bihamiltonian Cohomologies and Integrable Hierarchies II: the Tau Structures

Bilinear Identities for an Extended B-type Kadomtsev–Petviashvili Hierarchy

Topological 1D Gravity, KP Hierarchy, and Orbifold Euler Characteristics of $\overline{\mathcal M}_{g,n}$

Modifying the Kp, the N(Th) Constrained Kp Hierarchies and Their Hamiltonian Structures

Constraints of the Kadomtsev–Petviashvili Hierarchy

Hodge Integrals and Integrable Hierarchies

Hierarchies in relative Picard-Lefschetz theory

Variation of Hodge Structures, Frobenius Manifolds and Gauge Theory

Solutions of the loop equations of a class of generalized Frobenius manifolds