The orientation conjecture for stable-pair moduli on Calabi-Yau fourfolds

Let f:XBf:\mathcal{X}\to\mathcal{B} be a smooth projective morphism with connected fibres of relative dimension 44 to a smooth connected affine scheme B\mathcal{B}, with ωX/BOX\omega_{\mathcal{X}/\mathcal{B}}\cong\mathcal{O}_{\mathcal{X}}. Let v~pFpHDR2p(X/B)\widetilde{v}\in\bigoplus_p F^pH^{2p}_{DR}(\mathcal{X}/\mathcal{B}) be a horizontal section. Orientation conjecture. There exists a finite étale cover u:BBu:\mathcal{B}'\to\mathcal{B} such that the symmetric complex E\mathbb{E} restricted to \curlyPv~(q)(X/B){\curly P}^{(q)}_{\widetilde{v}'}(\mathcal{X}'/\mathcal{B}') is orientable, where X=X×BB\mathcal{X}'=\mathcal{X}\times_{\mathcal{B}}\mathcal{B}' and v~=u(v~)\widetilde{v}'=u^*(\widetilde{v}); moreover, the degree of uu can be chosen to divide Ktop0(Xban)tor!\lvert K^0_{\mathrm{top}}(\mathcal{X}_b^{\mathrm{an}})_{\mathrm{tor}}\rvert!. This relative orientation is needed for deformation invariance of numerical invariants, while a canonical orientation is available after passing to a twofold étale cover in the relevant auxiliary construction.

Sources & referencesView supporting material

Primary source

Younghan Bae, Martijn Kool and Hyeonjun Park, “Counting surfaces on Calabi-Yau 4-folds I: Foundations”, arXiv:2208.09474 (2025).

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.