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

At least 3 years old · documented by

Let f:X→Bf:\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/B≅OX\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:B′→Bu:\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.

References

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.