[论文解读] Remarks on Automorphism and Cohomology of Cyclic Coverings

Renjie Lyu, Xuanyu Pan|arXiv (Cornell University)|May 18, 2017

Algebraic Geometry and Number Theory参考文献 21被引用 6

一句话总结

本文证明了在维度至少为二的射影空间的光滑有限循环覆盖（排除二次曲面）上，自同构群在上同调上的作用是忠实的。通过霍奇理论、形变理论以及正特征情形下的提升准则，本文证明了非平凡自同构在 $ H^n_{\text{ét}}(X, \mathbf{Q}_l) $ 上的作用是非平凡的，将经典的托里elli型结果推广至特征零与正特征下的此类代数簇。

ABSTRACT

For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant deformation theory and automorphism groups for complex cyclic coverings. The proof uses the decomposition of the sheaf of differential forms due to Esnault and Viehweg. In positive characteristics, a lifting criterion of automorphisms reduces the faithfulness problem to characteristic zero. To apply this criterion, we prove the degeneration of the Hodge-de Rham spectral sequences for a family of smooth finite cyclic coverings, and the infinitesimal Torelli theorem for finite cyclic coverings defined over an arbitrary field.

研究动机与目标

• 确定在特征零下，射影空间的光滑有限循环覆盖 $ X \to \mathbb{P}^n_{\mathbb{C}} $（$ n \geq 2 $）的自同构群是否在 $ H^n(X, \mathbb{C}) $ 上忠实作用。
• 通过提升技巧与晶体上同调，将此忠实性结果推广至正特征情形。
• 为复数域上的循环覆盖建立无穷小托里elli定理与形变理论，以分析自同构表示。
• 通过几何与上同调论证，解决二维循环覆盖及例外情形下的忠实性问题。
• 证明非二次曲面的循环覆盖的自同构群是有限的，从而支持忠实性猜想。

提出的方法

• 利用埃斯纳尔与维赫韦格关于循环覆盖上微分形式层的分解，分析其上同调行为。
• 应用等变形变理论与科达伊-斯宾塞映射，研究有限群 $ G $ 在上同调上平凡作用时，形变函子 $ \text{Def}_X^G $ 的障碍。
• 采用 [23, 定理 1.7] 中的提升准则，通过将自同构提升至文环 $ W(K) $，将正特征情形约化至特征零情形。
• 依赖于霍奇–德拉姆谱序列的退化性，以及任意域上有限循环覆盖的无穷小托里elli定理。
• 利用晶体上同调与 étale 与晶体上同调之间的比较同构，将正特征下自同构的作用与特征零下的作用关联起来。
• 应用格罗滕迪克–莱夫谢茨定理与 Picard 群的无 torsion 性质，证明二维情形下自同构群的有限性。

实验结果

研究问题

• RQ1 对于光滑复有限循环覆盖 $ X \to \mathbb{P}^n_{\mathbb{C}} $（$ n \geq 2 $）且 $ X $ 不是二次曲面的情形，其自同构群 $ \operatorname{Aut}(X) $ 是否在 $ H^n(X, \mathbb{C}) $ 上忠实作用？
• RQ2 能否通过提升准则，将正特征下自同构在 étale 上同调上的忠实性约化至特征零情形？
• RQ3 当有限群 $ G \subset \operatorname{Aut}(X) $ 在上同调上平凡作用时，其等变形变函子 $ \text{Def}_X^G $ 在何种条件下保持无阻碍？
• RQ4 循环覆盖的无穷小托里elli定理如何支持自同构表示的忠实性？
• RQ5 二维循环覆盖的自同构群 $ \operatorname{Aut}(X) $ 的结构如何？为何标准论证在此情形下失效？

主要发现

• 对于光滑复有限循环覆盖 $ X \to \mathbb{P}^n_{\mathbb{C}} $（$ n \geq 2 $），若 $ X $ 不是二次曲面，则其自同构群在 $ H^n(X, \mathbb{C}) $ 上忠实作用。
• 在正特征下，对于 $ n \geq 2 $ 且非二次曲面的循环覆盖 $ X $，其自同构群 $ \operatorname{Aut}(X) $ 在 $ H^n_{\text{ét}}(X, \mathbb{Q}_l) $ 上忠实作用。
• 复数域上的循环覆盖满足无穷小托里elli定理，确保科达伊–斯宾塞映射能检测出对 $ (X, G) $ 的非平凡形变。
• 在任意域上，有限循环覆盖的霍奇–德拉姆谱序列退化，从而实现了德拉姆上同调与 étale 上同调之间的比较。
• 通过 $ \operatorname{Aut}_L(D) $ 的有限性与无穷小自同构的平凡性，证明了非二次曲面循环覆盖的自同构群是有限的。
• 对于两个例外情形——在 $ \mathbb{P}^2 $ 上三重覆盖分支于三次曲线，以及在四次曲线上二重覆盖——通过爆破论证与法诺曲面结构建立了忠实性。