Figure 2 - available via license: Creative Commons Attribution 4.0 International
Content may be subject to copyright.
The simple loops ℓi's around the critical points represent a basis of the homotopy group π1(C \ Σ, b).
Source publication
We introduce a new algorithm for computing the periods of a smooth complex projective hypersurface. The algorithm intertwines with a new method for computing an explicit basis of the singular homology of the hypersurface. It is based on Picard–Lefschetz theory and relies on the computation of the monodromy action induced by a one-parameter family o...
Contexts in source publication
Context 1
... Vanishing cycles. We assume that ∞ ∈ P 1 is a regular value (i.e. not a critical value) of f : Y → P 1 and consider C = P 1 \ {∞}. A basis of π 1 (C \ Σ, b), the fundamental group of C \ Σ pointed at b, is given by loops (ℓ 1 , . . . , ℓ r ) around the elements t 1 , . . . , t r of Σ (Fig. 2). Under the hypothesis that f is a Lefschetz fibration, the monodromy action on H n−1 (X b ) along these paths are described by the Picard-Lefschetz formula (Lamotke, 1981, §6.3.3): for 1 ≤ i ≤ ...
Citations
We study the geometry and Hodge theory of the cubic hypersurfaces attached to two-loop Feynman integrals for generic physical parameters. We show that the Hodge structure attached to planar two-loop Feynman graphs decomposes into mixed Tate pieces and the Hodge structures of families of hyperelliptic, elliptic or rational curves depending on the space-time dimension. For two-loop graphs with a small number of edges, we give more precise results. In particular, we recover a result of Bloch (Double box motive. SIGMA 2021;17,048) that in the well-known double-box example, there is an underlying family of elliptic curves, and we give a concrete description of these elliptic curves. We show that the motive for the non-planar two-loop tardigrade graph is that of a K3 surface. In an appendix by Eric Pichon-Pharabod, we argue via high-precision numerical computations that the Picard number of this K3 surface is generically 11 and we compute the expected lattice polarization. Lastly, we show that generic members of the ice cream cone family of graph hypersurfaces correspond to the pairs of sunset Calabi–Yau varieties.
