[论文解读] Some bidouble planes with $p_g=q=0$ and $4\leq K^2\leq 7$

Carlos Rito|arXiv (Cornell University)|Mar 15, 2011

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

一句话总结

本论文通过双双覆盖（bidouble coverings）构造了新的代数表面，其类型为一般型，且满足 $p_g = 0$ 与 $K^2 = 4$ 到 $7$，具体构造方式为射影平面的双双覆盖，特别地，也作为奇异曲面（Enriques surface）的双重覆盖。其关键贡献在于识别出那些双 canonical 映射不与非辛对合（non-symplectic involution）复合，且商曲面 $S/i$ 不是有理曲面的情形，从而为这类曲面提供了明确的几何实现。

ABSTRACT

We give a list of possibilities for surfaces of general type with $p_g=0$ having an involution $i$ such that the bicanonical map of $S$ is not composed with $i$ and $S/i$ is not rational. Some examples with $K^2=4,...,7$ are constructed as double coverings of an Enriques surface. These surfaces have a description as bidouble coverings of the plane.

研究动机与目标

• 对满足 $p_g = 0$ 且 $K^2 = 4$ 到 $7$ 的一般型曲面进行分类与构造，要求其存在一个非辛对合 $i$，使得双 canonical 映射不与 $i$ 复合。
• 研究当 $S/i$ 不是有理曲面时，商曲面 $S/i$ 的几何性质，扩展已知的 $p_g = 0$ 曲面分类结果。
• 利用平面的双双覆盖与奇异曲面的双重覆盖，提供此类曲面的显式构造。
• 确定双 canonical 映射不通过由对合 $i$ 诱导的商映射的条件。

提出的方法

• 使用 $\mathbb{P}^2$ 的双双覆盖作为几何构造工具，以实现满足 $p_g = 0$ 且 $K^2 = 4$ 到 $7$ 的曲面。
• 将曲面构造为奇异曲面的双重覆盖，利用奇异曲面的已知结构来控制曲面的不变量。
• 分析对合 $i$ 在曲面上的作用，利用线性系统与上拉性质，判断双 canonical 映射何时不与 $i$ 复合。
• 运用双重与双双覆盖的理论，计算不变量并验证 canonical 类与高阶代数种数（plurigenera）。
• 利用双 canonical 映射仅在与对合复合时才通过商映射的性质，证明在所构造的例子中该条件不成立。
• 通过分析其几何与数值不变量（如不规则性与 Kodaira 维数），验证商曲面 $S/i$ 不是有理曲面。

实验结果

研究问题

• RQ1 在何种条件下，满足 $p_g = 0$ 的曲面 $S$ 的双 canonical 映射不与非辛对合 $i$ 复合？
• RQ2 能否将满足 $p_g = 0$ 且 $K^2 = 4$ 到 $7$ 的一般型曲面构造为奇异曲面的双重覆盖？
• RQ3 当 $S/i$ 不是有理曲面且双 canonical 映射不与 $i$ 复合时，曲面 $S/i$ 的几何与数值不变量为何？
• RQ4 如何利用 $\mathbb{P}^2$ 的双双覆盖显式实现此类曲面？
• RQ5 不变量 $p_g = 0$ 与 $K^2 = 4$ 到 $7$ 对此类对合的存在性与结构施加了何种限制？

主要发现

• 本文构造了满足 $p_g = 0$ 且 $K^2 = 4, 5, 6, 7$ 的一般型曲面的显式例子，这些曲面均存在一个对合 $i$，使得双 canonical 映射不与 $i$ 复合。
• 这些曲面被实现为奇异曲面的双重覆盖，从而为具有此类不变量的曲面提供了几何构造方法。
• 在这些例子中，商曲面 $S/i$ 被证明是非有理的，从而将其与先前已知的情形区分开来。
• 这些曲面具有 $\mathbb{P}^2$ 上的双双覆盖结构，使得不变量可显式计算，且 canonical 类可被验证。
• 构造结果确认，尽管 $i$ 是非辛对合，双 canonical 映射仍不通过由 $i$ 诱导的商映射。
• 本研究扩展了 $p_g = 0$ 曲面的分类，识别出双 canonical 映射与对合结构不复合、且商曲面非有理的新情形。