[论文解读] On rigidity of trinomial hypersurfaces and factorial trinomial varieties

Sergey Gaifullin|arXiv (Cornell University)|Feb 16, 2019

Algebraic Geometry and Number Theory参考文献 18被引用 8

一句话总结

本文在特征为零的代数闭域上，建立了三项式超曲面与因子三项式簇的刚性与柔性准则。通过分析局部幂零导子（LNDs）及特殊自同构群 SAut(X)，作者推广了 Arzhantsev 的结果，证明：一项式超曲面是刚性的，当且仅当其定义方程中所有指数均至少为 2，除非处于一个特定的例外情形。该研究还提供了柔性的一个充分条件，并将理论扩展至因子三项式簇，通过指数条件刻画其刚性。

ABSTRACT

Trinomial varieties are affine varieties given by some special system of equations consisting of polynomials with three terms. Such varieties are total coordinate spaces of normal rational varieties with torus action of complexity one. For an affine variety X we consider the subgroup SAut(X) of the automorphism group generated by all algebraic subgroups isomorphic to the additive group of the ground field. An affine variety X is rigid if SAut(X) is trivial. In opposite an affine variety is flexible if SAut(X) acts transitively on the regular locus. Arzhantsev proved a criterium for a factorial trinomial hypersurface to be rigid. We give two generalizations of Arzhantsev's result: a criterium for an arbitrary trinomial hypersurface to be rigid and a criterium for a factorial trinomial variety to be rigid. Also a sufficient condition for a trinomial hypersurface to be flexible is obtained.

研究动机与目标

• 将 Arzhantsev 对因子三项式超曲面刚性的判别准则推广至一般三项式超曲面。
• 为因子三项式簇建立刚性准则，将已知结果扩展至更广义的簇类。
• 识别三项式超曲面具有柔性的充分条件，以补充刚性分析。
• 阐明 Makar-Limanov 不变量 ML(X) 的结构及其在非刚性情形下分离 SAut(X)-轨道的作用。
• 基于定义三项式方程中的指数值，提供刚性条件的完整分类。

提出的方法

• 作者通过局部幂零导子（LNDs）与 Ga-作用之间的对应关系，分析由同构于加法群 Ga 的代数子群生成的特殊自同构群 SAut(X) 的作用。
• 利用 Makar-Limanov 不变量 ML(X) 作为检测刚性的工具，其中 ML(X) 的平凡性意味着刚性。
• 论文构造了特定的 LNDs γ_ij，其核已知，以界定 ML(X)，并运用超越次数论证，证明 ML(X) 包含于由某些变量生成的子代数中。
• 在柔性分析中，作者利用足够多的 LNDs 存在性，证明 SAut(X) 在正则部分上作用传递，依赖引理 15 控制轨道结构。
• 三项式簇的分类基于其定义方程的结构：T₀^{l₀} + T₁^{l₁} + T₂^{l₂} = 0，特别关注指数值与最大公因数条件。
• 分析区分了 Type 1 与 Type 2 三项式簇，其对具有指数 1 的变量数量施加不同条件。

实验结果

研究问题

• RQ1 在 Arzhantsev 研究的因子情形之外，一般三项式超曲面在何种条件下是刚性的？
• RQ2 三项式方程中指数 l_ij 的何种条件可确保三项式簇非刚性？
• RQ3 在何种条件下，三项式超曲面是柔性的，即 SAut(X) 在其正则部分上作用传递？
• RQ4 在非刚性三项式簇中，Makar-Limanov 不变量 ML(X) 如何与 SAut(X) 的轨道结构相关联？
• RQ5 对于具有多个指数为 2 的变量的三项式超曲面，ML(X) 的精确结构是什么？

主要发现

• 一项式超曲面是刚性的，当且仅当所有指数 l_ij ≥ 2，除非处于例外情形：其形式为 V(T₀₁²T₀₂²ᵐ⁰²⋯ + T₁₁²T₁₂²ᵐ¹²⋯ + T₂₁^{l₂₁}⋯)，且满足特定指数约束。
• 对于因子三项式簇，当且仅当在每个单项式中（最多一个，即 Type 1 情形，或两个，即 Type 2 情形）存在一对 (i,j) 满足 l_ij = 1 时，簇是非刚性的。
• Makar-Limanov 不变量 ML(X) 包含于由变量 T_ij（其中 i=2 且 j≥2）生成的子代数中，且在某些条件下（如 n₀ ≥ 2 且 k₁ = n₁）等式成立。
• 当 T₁₁ 的指数为 2，且其他 T₁j 的指数均 ≥2 时，ML(X) 包含 K[T₀₂,…,T₀n₀,T₁₂,…,T₁n₁]，且 ML(X) 可分离 SAut(X) 的一般轨道。
• 当 k₁ = n₁ 时，有 ML(X) = K[T₀₂,…,T₀n₀]，且轨道结构满足每个纤维 W(a₁,…,aₙ₀) 是单个 SAut(X)-轨道，表明 ML(X) 可分离轨道。
• 本文对三项式超曲面与因子三项式簇的刚性与柔性提供了完整分类，给出了指数值与最大公因数的显式条件。