Analytic torsion for irreducible holomorphic symplectic fourfolds with involution, III: relation with the BCOV invariant

TL;DR

This paper explores the relationship between BCOV invariants and holomorphic torsion invariants for specific Calabi-Yau 4-folds derived from hyperk"ahler manifolds with involution, revealing connections to Borcherds products.

Contribution

It establishes a comparison between BCOV invariants and torsion invariants for Calabi-Yau 4-folds with involution, and expresses the BCOV invariant as a Petersson norm of a Borcherds product in certain cases.

Findings

BCOV invariant related to torsion invariants for specific Calabi-Yau 4-folds.

Expression of BCOV invariant as Petersson norm of Borcherds product in special cases.

Comparison between invariants of Calabi-Yau 4-folds and associated hyperk"ahler manifolds.

Abstract

A Calabi-Yau 4-fold of Camere-Garbagnati-Mongardi is a crepant resolution of the quotient of a hyperk\"ahler 4-fold by an antisymplectic involution. In this paper, we compare two different types of holomorphic torsion invariants; one is the BCOV invariant of the Calabi-Yau 4-fold of Camere-Garbagnati-Mongardi, and the other is the invariant of the corresponding $K3^{[2]}$-type manifold with involution introduced by the author in the preceding papers. As an application, in some special cases, we show that the BCOV invariant of those Calabi-Yau 4-folds is expressed as the Petersson norm of a certain Borcherds product.