arXivDaily arXiv每日学术速递 周一至周五更新
今晚才能更新了~~大家休息下再来吧
arXiv 2008.08441math.AGmath.DG
收藏

拟射影 Calabi-Yau 4 流形上 DT 不变量的定向

Orientations for DT invariants on quasi-projective Calabi-Yau 4-folds

ETH Zürich(苏黎世联邦理工学院)

Arkadij Bojko

AI总结:

本文研究拟射影 Calabi-Yau 4 流形上 DT 不变量的定向问题,通过紧化与规范理论定向构造,证明了模叠的可定向性,并推广至稳定对与 Hilbert 概形。

摘要:

对于 Calabi-Yau 4 流形 $(X,\omega)$,其中 $X$ 是拟射影的,$\omega$ 是其典范丛 $K_X$ 的一个无处消失截面,紧支撑完美复形的(导出)模叠 $\mathcal{M}_X$ 是 $-2$-移辛的,因此在 Borisov-Joyce 的意义下具有定向丛 $O^\omega\to \mathcal{M}_X$,这是定义 $X$ 的 Donaldson-Thomas 型不变量所必需的。我们首先将 Cao-Gross-Joyce/Joyce-Upmeier 的可定向性结果推广到射影 spin 4 流形。然后,对于任何光滑射影紧化 $Y$,使得 $D=Y\backslash X$ 是严格正规交叉,我们在叠 $\mathcal{M}_{Y}\times_{\mathcal{M}_D}\mathcal{M}_{Y}$ 上定义定向丛,并将其表示为来自规范理论的定向丛的回拉,这些定向丛是利用 $X$ 的二重上的正 Dirac 算子构造的。因此,我们将定向丛 $O^\omega\to \mathcal{M}_X$ 与紧支撑 K-理论分类空间上的规范理论定向联系起来。利用后者在 Joyce-Upmeier 假设的紧支撑版本下的可定向性,我们得到 $\mathcal{M}_X$ 的可定向性。我们还证明了稳定对模空间和真子概形的 Hilbert 概形的可定向性。最后,我们考虑了定向在直和下的相容性。

英文摘要:

For a Calabi-Yau 4-fold $(X,ω)$, where $X$ is quasi-projective and $ω$ is a nowhere vanishing section of its canonical bundle $K_X$, the (derived) moduli stack of compactly supported perfect complexes $\mathcal{M}_X$ is $-2$-shifted symplectic and thus has an orientation bundle $O^ω\to \mathcal{M}_X$ in the sense of Borisov-Joyce, necessary for defining Donaldson-Thomas type invariants of $X$. We first extend the orientability result of Cao-Gross-Joyce/Joyce-Upmeier to projective spin 4-folds. Then for any smooth projective compactification $Y$, such that $D=Y\backslash X$ is strictly normal crossing, we define orientation bundles on the stack $\mathcal{M}_{Y}\times_{\mathcal{M}_D}\mathcal{M}_{Y}$ and express these as pullbacks of orientation bundles from gauge theory, constructed using positive Dirac operators on the double of $X$. As a result, we relate the orientation bundle $O^ω\to \mathcal{M}_X$ to a gauge-theoretic orientation on the classifying space of compactly supported K-theory. Using orientability of the latter under the compactly supported version of the assumption of Joyce-Upmeier, we obtain orientability of $\mathcal{M}_X$. We also prove orientability of moduli spaces of stable pairs and Hilbert schemes of proper subschemes. Finally, we consider the compatibility of orientations under direct sums.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑