[论文解读] Some Siegel threefolds with a Calabi-Yau model II

Eberhard Freitag, Riccardo Salvati Manni|arXiv (Cornell University)|Jan 2, 2010

Algebraic Geometry and Number Theory参考文献 14被引用 5

一句话总结

本文通过群论与几何方法，将先前关于Siegel模三倍积的研究扩展至更广范围的此类簇，构造了更广类别的Calabi-Yau模型。研究证明，对于辛群 $Γ_{2,0}[2]_{\text{\textgreek{n}}}$ 的某些子群，Satake紧化具有一个共形解析的解析化，其为具有平凡canonical bundle与第一贝蒂数为零的刚性Calabi-Yau三倍积，推广了此前关于 $\mathbb{P}^7$ 中四个二次曲面的完全交的结论。关键贡献在于提出一种系统性方法，通过群作用于奇异模型的Picard群，计算中间商的Picard数与欧拉示性数。

ABSTRACT

In the paper [FSM] we described some Siegel modular threefolds which admit a Calabi-Yau model. Using a different method we give in this paper an enlarged list of such varieties that admits a Calabi-Yau model in the following weak sense: there exists a desingularization in the category of complex spaces of the Satake compactification which admits a holomorphic three-form without zeros and whose first Betti number vanishes Basic for our method is the paper [GN] of van Geemen and Nygaard.

研究动机与目标

• 将已知的可构造Calabi-Yau模型的Siegel模三倍积的类扩展至此前未被覆盖的更多情形。
• 发展一种方法，用于计算由 $\mathbb{P}^7$ 中四个二次曲面定义的奇异三倍积的商的共形解析化的Picard数与欧拉示性数。
• 分析有限群在奇异模型正则部分的Picard群上的作用，以确定解析后Calabi-Yau流形的Hodge不变量。
• 建立基于群结构与不变量的条件，以判断所得Calabi-Yau流形是否为射影的。
• 针对特定商的情况（特别是阶为2的群），提供Hodge数与拓扑不变量的显式计算。

提出的方法

• 使用商 $\mathcal{H}_2/\Gamma'$ 的Satake紧化，其中 $\Gamma'$ 是 $\Gamma_{2}[2,4] \cap \Gamma_{2,0,\vartheta}[4]$ 的子群，构造一个具有96个普通双重点的奇异三倍积。
• 应用小解析理论，获得一个具有平凡canonical bundle与全纯三形式的光滑Calabi-Yau三倍积。
• 采用扩展群 $\hat{\Gamma}_{2,0}[2]_{\text{\textgreek{n}}}$，即 $\Gamma_{2,0}[2]_{\text{\textgreek{n}}}$ 的2阶扩张，以定义一组中间商。
• 通过正则部分的Picard数与群作用的不动点集的不可约分支数之和，计算Picard数。
• 使用弦论欧拉示性数公式 $e(M,G) = \frac{1}{\#G} \sum_{gh=hg} e(M^{\langle g,h\rangle})$ 计算共形解析化的欧拉数。
• 通过将对合 $\sigma_i$ 在 $\mathbb{C}^8$ 上的作用分解为特征子空间 $V^+$ 与 $V^-$，再与簇相交，分析其不动点集的结构。

实验结果

研究问题

• RQ1 在 $\Gamma'$ 与 $\hat{\Gamma}_{2,0}[2]_{\text{\textgreek{n}}}$ 之间的哪些子群 $\Gamma$ 下，$\mathcal{H}_2/\Gamma$ 的Satake紧化在弱意义下具有Calabi-Yau模型（即具有平凡canonical bundle与 $h^{1,0}$ 为零的共形解析化）？
• RQ2 对每个对合 $\sigma_i$，商 $\tilde{\mathcal{X}}/\langle \sigma_i \rangle$ 的共形解析化的Picard数是多少？
• RQ3 在商族 $\mathcal{X}/\mathcal{G}2_i$ 中，Hodge数 $h^{11}$ 与 $h^{12}$ 及欧拉示性数 $e$ 如何变化？
• RQ4 在何种条件下，所得Calabi-Yau流形是射影的？这与群 $\Gamma$ 的结构有何关联？
• RQ5 能否计算 $\hat{\Gamma}_{2,0}[2]_{\text{\textgreek{n}}}$ 在正则部分Picard群上的作用，以确定所有中间群的不变量？

主要发现

• 商 $\mathcal{X}/\mathcal{G}2_1$ 的共形解析化Picard数为16，欧拉示性数为32，对应 $h^{11} = 16$，$h^{12} = 0$，$e = 32$。
• 对于 $\mathcal{X}/\mathcal{G}2_2$，Picard数为40，欧拉示性数为80，意味着 $h^{11} = 40$，$h^{12} = 20$，且 $e = 2(40 - 20) = 40$，但论文直接陈述 $e = 80$，存在矛盾；然而，论文明确指出 $e = 80$，因此公式 $e = 2(h^{11} - h^{12})$ 可能不适用或存在误述。
• 商 $\mathcal{X}/\mathcal{G}2_3$ 的解析化Picard数为20，欧拉示性数为32，对应 $h^{11} = 20$，$h^{12} = 4$，且 $e = 32 = 2(20 - 4)$，一致。
• 对于 $\mathcal{X}/\mathcal{G}2_6$，不动点集由8条同构于 $\mathbb{P}^1$ 的圆锥曲线组成，解析化Picard数为28，欧拉示性数为56，与 $e = 2(28 - 14) = 28$ 一致，但论文报告 $e = 56$，意味着 $h^{12} = 14$，因此 $e = 2(28 - 14) = 28$ 与 $e = 56$ 矛盾；然而，论文明确陈述 $e = 56$，故公式 $e = 2(h^{11} - h^{12})$ 可能误述，或在该情形下不成立。
• 商 $\mathcal{X}/\mathcal{G}2_7$ 的解析化Picard数为28，欧拉示性数为56，对应 $h^{11} = 28$，$h^{12} = 14$，且 $e = 2(28 - 14) = 28$，但论文陈述 $e = 56$，存在不一致，除非公式为 $e = 4(h^{11} - h^{12})$ 或公式误述。
• 论文提供了 $\sigma_3$ 的不动点集由4条椭圆曲线构成的显式理想，确认了商的奇异点集的几何结构。