Solutions of Calabi-Yau Differential Operators as Truncated p-adic Series and Efficient Computation of Zeta Functions

TL;DR

The paper introduces a p-adic truncated recurrence method that significantly enhances the efficiency of computing local zeta functions of Calabi-Yau threefolds, enabling calculations for much larger primes than previously possible.

Contribution

It presents a novel p-adic truncated recurrence technique that improves speed and memory efficiency in zeta function computations for Calabi-Yau threefolds.

Findings

Allows computation of zeta functions for primes up to 10^7

Enables analysis of tens of thousands of primes on a desktop

Reduces computational complexity compared to previous methods

Abstract

Recently, a version of the deformation method developed in arXiv:2104.07816 has been used to great effect to compute the local zeta functions of Calabi-Yau threefolds by computing their periods as series with rational coefficients and using this to find a matrix representing the Frobenius action on a $p$-adic cohomology. However, this method rapidly becomes inefficient as the prime $p$ grows, due to the rational period coefficients growing quickly. In this paper, we point out that this problem can be circumvented by a simple process that we call $p$-adically truncated recurrence. This is a recurrence relation whose solutions are $p$-adic numbers modulo $p^A$ for a given $A \in \mathbb{N}$ and thus grow only slowly as $p$ grows. We show that the $p$-adic accuracy $A$ can be chosen such that all $p$-adic digits which contribute to the final result are kept, and therefore we are able to obtain the correct result by using these solutions. The improvements to speed and memory usage allow for computing the local zeta functions for tens of thousands of primes on a desktop computer, and make computing local zeta functions possible even for primes of size $10^6$ to $10^7$. Previously such computations were practically possible for around 1000 first primes. We have implemented this method in a Sage-compatible Python package PFLFunction.