[论文解读] Bloch's conjecture for surfaces with involutions and of geometric genus zero

Vladimir Guletskiĭ|arXiv (Cornell University)|Apr 13, 2017

Algebraic Geometry and Number Theory参考文献 25被引用 4

一句话总结

该论文证明了：对于具有几何亏格零和正则对合的光滑射影曲面 S，Bloch 猜想成立当且仅当其在去奇异化商曲面 W = S/ι 上成立。该等价关系使得能够将猜想的有效性从 S 转移到 W，从而证明了包括数值 Godeaux 曲面、一半的 Campedelli 曲面、Craighero-Gattazzo 曲面以及某些 Catanese 曲面在内的众多曲面均满足 Bloch 猜想。此外，该研究还表明：具有正则对合且商曲面为 Enriques 型的 K3 曲面具有有限维动机。

ABSTRACT

Let $S$ be a smooth projective surface with $p_g=0$, let $ι$ be a regular involution acting on $S$, and let $W$ be the resolution of singularities of the quotient surface $S/ι$. In the paper we prove that Bloch's conjecture holds for the surface $S$ if and only if it holds for the surface $W$. This yields Bloch's conjecture for all surfaces $S$ whenever the same conjecture is true for the desingularized quotient $W$. In particular, Bloch's conjecture holds true for all numerical Godeaux surfaces with involutions, a "half" of Campedelli surfaces with involutions, the surface of Craighero and Gattazzo, some Catanese surfaces and other examples. Applying the same method to $K3$-surfaces, we prove that if a $K3$-surface $S$ admits a regular involution whose quotient is of Enriques type, then the motive $M(S)$ is finite-dimensional.

研究动机与目标

• 通过将曲面 S 上满足 pg=0 和正则对合的 Bloch 猜想与去奇异化商曲面 W 关联，建立验证该猜想的判别准则。
• 将 S 上 Bloch 猜想的验证问题简化为 W 上相同猜想的验证，从而为一大类曲面简化了问题。
• 将该方法应用于具体曲面（如数值 Godeaux 曲面、Campedelli 曲面、Craighero-Gattazzo 曲面和 Catanese 曲面），以在新情况下确认 Bloch 猜想。
• 将该框架扩展至具有正则对合且商曲面为 Enriques 型的 K3 曲面，证明其动机的有限维性。

提出的方法

• 利用曲面 S 上正则对合 ι 的作用构造商曲面 S/ι，该曲面可能具有奇点。
• 对 S/ι 的奇点进行去奇异化，得到光滑曲面 W，即去奇异化商曲面。
• 通过动机不变量与上同调不变量，建立 Bloch 猜想在 S 上成立与在 W 上成立之间的等价关系。
• 借助关于 W 的已知结果，推导出 S 上猜想的真值，特别是当 W 为一般型曲面或 Enriques 型曲面时。
• 将相同方法应用于具有正则对合的 K3 曲面，通过分析商曲面的双有理类型，推导出动机 M(S) 的性质。
• 利用商曲面为 Enriques 型这一事实，结合动机理论中的已知结果，证明动机 M(S) 为有限维。

实验结果

研究问题

• RQ1 在何种条件下，对于满足 pg=0 和正则对合 ι 的曲面 S，Bloch 猜想成立？
• RQ2 S 上 Bloch 猜想的有效性与去奇异化商曲面 W = S/ι 上的有效性之间有何关系？
• RQ3 能否利用该等价关系验证如数值 Godeaux 曲面或 Craighero-Gattazzo 曲面等特定曲面的猜想？
• RQ4 对于存在正则对合且商曲面为 Enriques 型的 K3 曲面 S，其动机 M(S) 有何性质？
• RQ5 当商曲面为 Enriques 型时，M(S) 的有限维性是否成立？

主要发现

• 对于满足 pg=0 和正则对合的曲面 S，Bloch 猜想成立当且仅当其在去奇异化商曲面 W = S/ι 上成立。
• 所有具有对合的数值 Godeaux 曲面均满足该猜想，且一半具有对合的 Campedelli 曲面也满足该猜想。
• 通过约化至 W，验证了 Craighero-Gattazzo 曲面和某些 Catanese 曲面的猜想。
• 对于具有正则对合且商曲面为 Enriques 型的 K3 曲面，其动机 M(S) 被证明为有限维。
• 该方法提供了一种从商曲面到原曲面的一般性转移原则，显著扩展了已知满足 Bloch 猜想的曲面范围。
• S 与 W 之间的等价关系使得能够借助 W 上的已知结果推导出 S 上的新结论，尤其在动机与上同调有限性方面。