[论文解读] Exceptional collections on 2-adically uniformised fake projective planes

Najmuddin Fakhruddin|arXiv (Cornell University)|Oct 11, 2013

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

一句话总结

该论文构建了三个伪射影平面（经2-adic统一，覆盖群无扭）上长度为3的线丛例外系。通过在𝔽₂上的特殊纤维上使用谱序列与上同调计算，计算了该例外系右正交子范畴的Hochschild上同调，证明其为Hochschild同调平凡的准幻象范畴，并提出一个关于此类范畴K₀与挠群关系的猜想，可能推动Bloch猜想的发展。

ABSTRACT

We show that there exist exceptional collections of length 3 consisting of line bundles on the three fake projective planes that have a 2-adic uniformisation with torsion free covering group. We also compute the Hochschild cohomology of the right orthogonal of the subcategory of the bounded derived category of coherent sheaves generated by these exceptional collections.

研究动机与目标

• 在具有无扭覆盖群的2-adic统一伪射影平面上的凝聚层有界导出范畴中，建立最大长度（3）例外系存在的证明。
• 计算此类例外系的右正交子范畴的Hochschild上同调，将其识别为一个准幻象范畴。
• 通过提出关于准幻象范畴K₀群的猜想，为Bloch关于零循环的猜想提供证据。
• 利用Spec(ℤ₂)上的正规适当模型及上同调专门化，将计算简化为𝔽₂上的显式几何计算。
• 探讨是否存在一个立方根的canonical线丛——此前猜想为必要条件——是否实际上对这类例外系是冗余的。

提出的方法

• 利用Mustafin和Kurihara构造的ℤ₂上的形式方案模型，该模型在Spec(ℤ₂)上具有正规适当模型，其特殊纤维同构于ℙ²_𝔽₂在其有理点处的 blows up。
• 应用Grothendieck的存在定理，将线丛与上同调类从特殊纤维上提升至通用纤维，从而支持下降论证。
• 采用Kuznetsov的admissible子范畴Hochschild上同调谱序列，由于例外系的特定结构，该谱序列在E₁项退化。
• 通过Galois理论专门化与PGL₃(ℤ₂)的作用，将伪射影平面上线丛的上同调群计算归约为ℙ²_𝔽₂上的显式计算。
• 利用例外系中Ext群的对偶性，匹配ℙ²中观察到的上同调模式，通过对称性与Serre对偶性实现维数计算。
• 应用Hochschild上同调限制映射的函子性及结构层的已知情形，证明从HH⁴(ℬ, 𝒟ᵇ(M))到HH⁴(𝒟ᵇ(M))的映射是满射。

实验结果

研究问题

• RQ1 在具有无扭覆盖群的2-adic统一伪射影平面上的凝聚层有界导出范畴中，是否存在长度为3的例外系？
• RQ2 此类例外系的右正交子范畴的Hochschild上同调为何？其同调是否在所有n下为零？
• RQ3 此类例外系的存在是否可用于逼近p_g = 0曲面上Bloch关于零循环的猜想？
• RQ4 存在最大例外系是否需要canonical线丛有立方根？该条件是否可被放宽？
• RQ5 能否通过专门化与Galois下降，将这些曲面上线丛的上同调结构归约为ℙ²_𝔽₂上的显式计算？

主要发现

• 对于每个经2-adic统一且具有无扭覆盖群的三个伪射影平面，其𝒟ᵇ(M)中均存在一个由线丛构成的长度为3的例外系。
• 该例外系的右正交子范畴𝒜为一个准幻象范畴，其Hochschild同调平凡：对所有n有HHₙ(𝒜) = 0。
• 𝒜的Hochschild上同调维数为(0,0,0,0,30,54,27,0,0,…)，通过例外系Ext群上的谱序列退化计算得出。
• 谱序列在E₁项退化，原因在于非零Ext群的特定模式，其由𝔽₂上特殊纤维的上同调计算决定。
• 从HH⁴(ℬ, 𝒟ᵇ(M))到HH⁴(𝒟ᵇ(M))的映射是满射，从而可从全导出范畴的已知Hochschild上同调完全计算出HH•(𝒜)。
• 作者猜想，任何准幻象子范畴的K₀(𝒜)均为挠群，若成立，则将意味着这些伪射影平面对Bloch猜想成立。