Birational invariance conjecture for the BCOV-type invariant of involutions on irreducible holomorphic symplectic fourfolds

Let L2L_2 be the Beauville–Bogomolov lattice of a manifold of K3[2]K3^{[2]}-type. Let MM be an admissible sublattice of L2L_2, let K1,K2KT(M)\mathcal{K}_1,\mathcal{K}_2\in\operatorname{KT}(M) be Kähler-type chambers, and let (X1,ι1)(X_1,\iota_1) and (X2,ι2)(X_2,\iota_2) be manifolds of K3[2]K3^{[2]}-type with involution of types (M,K1)(M,\mathcal{K}_1) and (M,K2)(M,\mathcal{K}_2), respectively. Birational invariance conjecture. If there exists a μ2\mu_2-equivariant birational map between (X1,ι1)(X_1,\iota_1) and (X2,ι2)(X_2,\iota_2), then

τM,K1(X1,ι1)=τM,K2(X2,ι2).\tau_{M,\mathcal{K}_1}(X_1,\iota_1)=\tau_{M,\mathcal{K}_2}(X_2,\iota_2).

This is expected from the birational invariance of the BCOV invariant for Calabi–Yau manifolds and the preceding result in the paper; the asserted birational invariance of τM,K\tau_{M,\mathcal{K}} is not established in the supplied context.

Sources & referencesView supporting material

Primary source

Dai Imaike, “Analytic torsion for irreducible holomorphic symplectic fourfolds with involution, III: relation with the BCOV invariant”, arXiv:2412.00041 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.