[论文解读] Some (big) irreducible components of the moduli space of minimal surfaces of general type with $p_g=q=1$ and $K^2=4$

Roberto Pignatelli|ArXiv.org|Jan 8, 2008

Algebraic Geometry and Number Theory参考文献 11被引用 3

一句话总结

该论文构建了八族具有 $p_g = q = 1$ 且 $K^2 = 4$ 的极小一般型曲面的无理映射族，所有族均为模空间的不可约分支。作者证明在双 canonical 线丛在阿爾巴內塞纤维化下的直接像为线丛直和的条件下，这些分支的维数为 5 或 4——严格大于预期维数。

ABSTRACT

In this paper we study the minimal surfaces of general type with $p_g=q=1$ and $K^2=4$ whose Albanese general fibre has genus 2, classifying those such that the direct image (under the Albanese morphism) of the bicanonical sheaf is sum of line bundles. We find 8 unirational families, all of dimension strictly bigger than the expected one. These families are pairwise disjoint irreducible components of the moduli space of minimal surfaces of general type.

研究动机与目标

• 对具有 $p_g = q = 1$ 且 $K^2 = 4$ 的极小一般型曲面进行分类，其阿爾巴內塞纤维化具有 2 阶纤维。
• 研究阿爾巴內塞态射 $\alpha$ 下的直接像 $\alpha_*\omega_S^2$ 的结构。
• 确定 $\alpha_*\omega_S^2$ 为线丛直和的条件是否导致模空间的不可约分支。
• 解释为何这些分支的维数严格大于由示性理论所预期的维数。
• 将所构造的族与现有构造（特别是 Polizzi 的 4 维族）进行比较。

提出的方法

• 应用关于 2 阶纤维的结构定理，分析阿爾巴內塞纤维化的相对 canonical 代数。
• 利用相对双 canonical 映射，并研究作为双曲对合商所得的二次曲面束的几何性质。
• 通过分析双 canonical 曲线与阿爾巴內塞态射临界点的交点，对 $h^1(\mathcal{T}_S)$ 进行上界估计。
• 将 $\alpha_*\omega_S^2$ 为线丛直和的条件作为关键技术假设，以对可能的族进行分类。
• 通过分析节点的存在性与二次曲面束的结构，将所构造的族与 Polizzi 的构造进行比较。
• 利用 $h^1(\mathcal{T}_S)$ 的上同调界来证明分支的不可约性，将其与双 canonical 系统的子系统联系起来。

实验结果

研究问题

• RQ1 对于具有 $p_g = q = 1$，$K^2 = 4$ 且 $\alpha_*\omega_S^2$ 可分解为线丛直和的曲面族，其是否为模空间的不可约分支？
• RQ2 为何所构造的八个族的维数均严格大于预期维数 3？
• RQ3 $\alpha_*\omega_S^2$ 的直和分量个数是否为形变不变量或拓扑不变量？
• RQ4 Polizzi 的 4 维节点曲面族与本文所构造的新族有何关系？
• RQ5 若将 $\alpha_*\omega_S^2$ 为线丛直和的条件放宽，是否仍能保持分支的不可约性？

主要发现

• 模空间包含八个不可约分支：一个维数为 5，七个维数为 4。
• 所有八个族均为无理映射族，且每个族中的一般曲面具有充分正的 canonical 线丛。
• 每个分支的维数均超过由标准示性理论所得的预期下界 3。
• Polizzi 的 4 维节点曲面族是 5 维分支 $\mathcal{M}_{2,3}$ 的真子族，其余维数为 1。
• 尽管该条件为闭合条件，却导致了不可约分支，这一结果出人意料。
• 仅在 $\mathcal{M}_{2,3}$ 族中达到 $h^1(\mathcal{T}_S) \leq 5$ 的上界，此时存在一束通过临界点的双 canonical 曲线。