[论文解读] A vanishing theorem on fake projective planes with enough automorphisms

JongHae Keum|arXiv (Cornell University)|Jul 29, 2014

Finite Group Theory Research参考文献 11被引用 8

一句话总结

本文证明了具有大自守群（阶为21或9）的伪复射影平面的线丛的消去定理，表明对所有 $ i $ 有 $ H^i(X, 2L) = 0 $，其中 $ L $ 为一个正则生成元或 canonical bundle 的立方根。这证实了长度为3的例外序列的存在，支持了 Galkin 等人关于伪复射影平面导出范畴的猜想。

ABSTRACT

For every fake projective plane $X$ with automorphism group of order 21, we prove that $H^i(X, 2L)=0$ for all $i$ and for every ample line bundle $L$ with $L^2=1$. For every fake projective plane with automorphism group of order 9, we prove the same vanishing for every cubic root (and its twist by a 2-torsion) of the canonical bundle $K$. As an immediate consequence, there are exceptional sequences of length 3 on such fake projective planes.

研究动机与目标

• 建立具有阶为21或9的自守群的伪复射影平面上线丛的消去定理。
• 确认 Galkin、Katzarkov、Mellit 和 Shinder 所猜想的此类曲面上长度为3的例外序列的存在。
• 为自守群作用下的商的结构提供几何洞察，特别是阶为7和阶为3的商的奇点解析。
• 为尚未通过几何方法构造的伪复射影平面的分类与几何构造做出贡献。

提出的方法

• 利用伪复射影平面关于阶为7的自守群的商的椭圆纤维结构来分析上同调消去。
• 应用 Riemann–Roch 定理来界定 $ h^0(X, 4L) $，表明其等于3，这与 $ H^0(X, 2L) $ 非零的假设矛盾。
• 采用群论与上同调技术分析自守群对线丛及其扭线丛的作用。
• 利用当 $ H_1(X, Z) $ 无3 torsion 时 canonical bundle $ K_X $ 的立方根的唯一性，确保其在自守群作用下不变。
• 分析商曲面的最小解析解，表明 $ I_9 $-纤维的重数为1，这是关键的技术细节。
• 利用导出范畴框架，将消去结果解释为 $ D^b(\text{coh}(X)) $ 中例外序列的存在。

实验结果

研究问题

• RQ1 对于自守群满足 $ \text{Aut}(X) \to 7:3 $ 的伪复射影平面，是否对所有 $ i $ 都有 $ H^i(X, 2L) = 0 $，其中 $ L $ 为正则生成元？
• RQ2 在 $ \text{Aut}(X) \to 7:3 $ 的情况下，对 $ K_X $ 的立方根 $ L_0 $，是否也成立相同的消去性质？
• RQ3 对于自守群满足 $ \text{Aut}(X) \to C_3^2 $ 的伪复射影平面，是否对满足 $ \tau^*(2L) \to 2L $ 的 $ L $，有 $ H^i(X, 2L) = 0 $？
• RQ4 是否可以确认在具有大自守群的伪复射影平面上存在长度为3的例外序列？
• RQ5 阶为7的商曲面的最小解析解中，$ I_9 $-纤维的结构是怎样的？

主要发现

• 对于所有满足 $ \text{Aut}(X) \to 7:3 $ 的伪复射影平面，对所有 $ i $ 和每个满足 $ L^2 = 1 $ 的正则生成元 $ L $，都有 $ H^i(X, 2L) = 0 $。
• 对同一类曲面，对所有 $ i $，有 $ H^i(X, 2L_0) = H^i(X, L_0) = 0 $，其中 $ L_0 $ 为 $ K_X $ 的唯一立方根。
• 对于满足 $ \text{Aut}(X) \to C_3^2 $ 的伪复射影平面，对满足 $ \tau^*(2L) \to 2L $ 的 $ L $，包括 $ L_0 $ 及其2阶扭线丛，均有 $ H^i(X, 2L) = 0 $。
• 在阶为7的商曲面的最小解析解中，$ I_9 $-纤维的重数为1，这是此前未确定的不变量。
• 消去结果表明，线丛 $ \fancyscript{O}_X, -L_0, -2L_0 $ 在此类曲面上构成长度为3的例外序列。
• 伪复射影平面的导出范畴 admits 一个半正交分解 $ D^b(\text{coh}(X)) = \big\< 2L, L, \fancyscript{O}_X, \fancyscript{A} \big\rangle $，且满足 $ HH_*(\fancyscript{A}) = 0 $。