Effective homology and periods of complex projective hypersurfaces

Abstract

We introduce a new algorithm for computing the periods of a smooth complex projective hypersurface. The algorithm intertwine 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 of hyperplane sections on the homology of a given section. We provide a SageMath implementation. For example, on a laptop, it makes it possible to compute the periods of a smooth complex quartic surface with hundreds of digits of precision in typically an hour.

arXiv comment38 pages

References in corpus (10)

• On Motives Associated to Graph Polynomials
• A Feynman integral via higher normal functions
• A (Bounded) Bestiary of Feynman Integral Calabi-Yau Geometries
• Sato-Tate distributions and Galois endomorphism modules in genus 2
• Embedding Feynman Integral (Calabi-Yau) Geometries in Weighted Projective Space
• Rigorous computation of the endomorphism ring of a Jacobian
• Creative telescoping for rational functions using the Griffiths-Dwork method
• A database of genus 2 curves over the rational numbers
• Computing Periods of Hypersurfaces
• A numerical transcendental method in algebraic geometry