[Paper Review] Periods and Igusa Zeta functions

Prakash Belkale, Patrick Brosnan|ArXiv.org|Feb 9, 2003

Advanced Mathematical Identities2 references3 citations

TL;DR

This paper proves that the coefficients in the Laurent series expansion of Igusa zeta functions with rational polynomials are periods—mathematical constants defined as absolutely convergent integrals of rational functions over semi-algebraic sets. The result establishes a deep link between number theory and mathematical physics, showing that certain Feynman amplitude coefficients (up to gamma factors) are periods, thereby supporting the philosophical principle that transcendental numbers in physics are often periods.

ABSTRACT

We show that coefficients in the Laurent series of Igusa Zeta functions are periods. This will be used in a subsequent paper (by P. Brosnan) to show that certain numbers occurring in study of Feynman amplitudes (upto gamma factors) are periods.

Motivation & Objective

• To establish that the Laurent series coefficients of Igusa zeta functions with rational polynomials are periods, as defined by Kontsevich and Zagier.
• To generalize the notion of Igusa zeta functions to include rational functions and semi-algebraic sets defined over algebraic reals.
• To provide a mathematical foundation for the observation that certain Feynman amplitude coefficients in quantum field theory are periods.
• To demonstrate that the absence of gamma factors in the Laurent series of these amplitudes does not preclude their period nature, using resolution of singularities and Picard-Fuchs equations.

Proposed method

• Uses Atiyah’s theorem on meromorphic continuation of $ f^s \Gamma $ to define Igusa zeta functions as meromorphic distributions.
• Applies resolution of singularities to transform the integral into a form where convergence and period structure become evident.
• Employs Picard-Fuchs equations to analyze the differential equations satisfied by the integrals, showing that their solutions are periods.
• Reduces the integral over a semi-algebraic set to a holomorphic integral on a resolved variety, ensuring absolute convergence.
• Uses the definition of periods as absolutely convergent integrals of rational functions over semi-arithmetic sets with Lebesgue measure.
• Applies the resolution theorem to a divisor defined by the vanishing locus of the defining functions of the semi-algebraic set, ensuring holomorphicity of the pullback form.

Experimental results

Research questions

• RQ1 Are the Laurent series coefficients of Igusa zeta functions with rational polynomials periods, as per Kontsevich and Zagier’s definition?
• RQ2 Can the definition of Igusa zeta functions be extended to rational functions and semi-algebraic sets over $\overline{\mathbb{Q}}$ while preserving the period property?
• RQ3 Does the absence of gamma factors in the Laurent series of certain Feynman amplitudes imply that the coefficients are periods?
• RQ4 Can the structure of the Picard-Fuchs equation for such integrals be used to prove the period nature of the coefficients?
• RQ5 Is the convergence of the integral over a semi-algebraic set equivalent to the holomorphicity of the pullback form under a proper birational morphism?

Key findings

• The coefficients $ a_i $ in the Laurent series expansion of $ I(s) = \int_{\Delta_n} f^s \omega $ at any integer $ s_0 $ are periods when $ f \in \mathbb{Q}[x_0,\dots,x_n] $.
• The result generalizes to semi-algebraic sets $ C \subset \mathbb{R}^n $ defined over $ \overline{\mathbb{Q}} $, and to rational functions $ f \in \overline{\mathbb{Q}}(x_0,\dots,x_n) $, preserving the period property.
• The integral $ \int_C f^s \omega $ is absolutely convergent if and only if the pullback of the differential form under a resolution is holomorphic on the resolved set.
• The use of Picard-Fuchs equations confirms that the solutions to the differential equations governing the integrals are periods, with no gamma factors appearing in the final coefficients.
• The resolution of singularities ensures that the integral can be transformed into a form where convergence and period structure are manifest.
• The final result confirms that the principal parts of Laurent series for primitive Feynman diagrams (in scalar field theories) are periods, supporting empirical observations by Kreimer and Broadhurst.