[论文解读] On Abelian Automorphism Groups of Hypersurfaces

Zhiwei Zheng|arXiv (Cornell University)|Apr 20, 2020

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

一句话总结

该论文在特定提升和互素条件之下，对复射影空间中光滑超曲面上的有限交换群的忠实线性作用进行了分类。通过引入特定单项式类型的“简单多项式”，并利用特征理论与对角作用分析其自同构群，作者确定了光滑超曲面所有可能的线性自同构阶数，证明对于三次四fold，此类阶数必须整除21、30、32、33、36或48之一——每种阶数在同构意义下唯一实现。

ABSTRACT

Given integers $d\ge 3$ and $N\ge 3$. Let $G$ be a finite abelian group acting faithfully and linearly on a smooth hypersurface of degree $d$ in the complex projective space $\mathbb{P}^{N-1}$. Suppose $G\subset PGL(N, \mathbb{C})$ can be lifted to a subgroup of $GL(N,\mathbb{C})$. Suppose moreover that there exists an element $g$ in $G$ such that $G/\langle g angle$ has order coprime to $d-1$. Then all possible $G$ are determined (Theorem 4.3). As an application, we derive (Theorem 4.8) all possible orders of linear automorphisms of smooth hypersurfaces for any given $(d,N)$. In particular, we show (Proposition 5.1) that the order of an automorphism of a smooth cubic fourfold is a factor of 21, 30, 32, 33, 36 or 48, and each of those 6 numbers is achieved by a unique (up to isomorphism) cubic fourfold.

研究动机与目标

• 对复射影空间中次数 $d \geq 3$ 的光滑超曲面，在提升与互素条件之下，对所有有限交换群的忠实线性作用进行分类。
• 确定任意光滑 $(N-2)$-fold（次数为 $d$）的线性自同构的所有可能阶数。
• 将该分类应用于三次四fold（即 $d=3$，$N=6$），识别所有可能的自同构阶数，并证明其在同构意义下的唯一性。

提出的方法

• 通过 $N$ 个特征 $\lambda_i: G \to \mathbb{C}^\times$ 表示阿贝尔群作用，将问题转化为群作用下单项式不变性问题。
• 引入由类型 $K$ 和 $T$ 的单项式构成的“简单多项式”，其支持可实现光滑且 $G$-不变的超曲面。
• 利用条件 $G/\langle g \rangle$ 的阶与 $d-1$ 互素，以约束群结构并确保作用可提升。
• 通过特征值赋值 $\zeta_n^{\sigma_i}$ 分析对角自同构，将群阶数与单项式不变性条件相联系。
• 将分类应用于 $(d,N) = (3,6)$ 的情形，证明任何自同构阶数必整除21、30、32、33、36或48。
• 通过证明任何此类自同构必保持与唯一一个简单多项式相同的单项式支撑，从而证明每个阶数所对应的三次四fold在同构意义下唯一。

实验结果

研究问题

• RQ1 在 $G/\langle g \rangle$ 的阶与 $d-1$ 互素的条件下，哪些有限交换群可忠实、线性且可提升地作用于复射影空间 $\mathbb{P}^{N-1}$ 中次数 $d \geq 3$ 的光滑超曲面上？
• RQ2 对任意 $(d,N)$，光滑超曲面的线性自同构的所有可能阶数有哪些？
• RQ3 对于三次四fold（$d=3$，$N=6$），哪些整数可作为线性自同构的阶数？这些阶数是否唯一实现？

主要发现

• 所有可能的线性自同构阶数均通过定理4.8确定，该定理对任意 $(d,N)$ 分类了此类阶数。
• 对于三次四fold，任何线性自同构的阶数必须整除21、30、32、33、36或48之一。
• 六个值21、30、32、33、36、48中的每一个，均作为某个（在同构意义下唯一的）光滑三次四fold的自同构阶数被实现。
• 每个此类三次四fold的自同构群是阶数恰好为上述六个值之一的循环群，其群结构由定义多项式的单项式类型决定。
• 该分类依赖于构造“简单多项式”，其单项式支撑在特定对角作用下保持不变，并证明任何此类自同构必须保持相同的单项式结构。
• 通过证明任何光滑三次多项式若存在阶数 $n$ 的自同构（$n$ 属于该集合），则其单项式支撑必与对应简单多项式的支撑相同（至多坐标置换），从而确立了每个阶数对应三次四fold的唯一性。