$\mathbb T$-homogeneous locally nilpotent derivations of trinomial algebras

技术摘要：三项式代数的 T-齐次局部幂零导子

问题陈述
本文研究了三项式代数上的局部幂零导子（LNDs）。三项式代数是由相容关系系统定义的交换有限生成代数，其中每个关系均为三项式（即含三项的多项式）。这些代数作为允许复杂度为 1 的环面作用的正规有理半射影簇的 Cox 环而出现。核心问题在于描述那些关于复杂度为 1 的自然环面作用 $T$ 齐次的局部幂零导子。

虽然此前已研究了特定拟环面 $H$ 下的齐次 LND（即“初等”导子），但本工作聚焦于 $T$-齐次 LND，其中 $T$ 是 $H$ 的连通分支。一个关键动机在于：对于非唯一分解整环（非阶乘）簇，$T$ 是 $H$ 的真子群，这可能允许存在非 $H$-齐次的 $T$-齐次 LND。此外，理解 LND 的齐次分量对于分析任意 LND 至关重要，因为对应于度数牛顿多面体顶点的齐次分量被保证是局部幂零的。

方法论
作者结合了代数技术与几何约化策略：

1. 代数分解与互质性：分析高度依赖于 $T$ 的特征群分次的性质。作者利用三项式代数中的变量两两互质，且 LND 的核是阶乘闭的这一事实。他们根据导子消去哪些变量来分解导子，区分作用于“三项式”变量（$T_{ij}$）和“自由”变量（$S_k$）的导子。
2. 约化至曲面情形：对于由涉及 $k^2$ 中向量的关系定义的 2 型三项式代数，作者将描述任意高维簇上 LND 的问题约化为三项式曲面的情形。这是通过考虑由特定导子支撑中未涉及的变量生成的域的代数闭包来实现的。
3. 组合与环面几何：对于曲面情形，本文利用具有环面作用的簇上齐次 LND 的组合描述。
   • 对于某些情形（例如 $x^2 + y^2 + z^\gamma = 0$，其中 $\gamma > 2$），该簇与环面簇相关，从而允许使用 Demazure 根来分类齐次 LND。
   • 对于 $x^2 + y^2 + z^2 = 0$ 的情形，其中该簇相对于作用环面在标准意义上并非环面簇，作者应用半射影曲线（特别是 $\mathbb{P}^1$）上的适当多面体除子理论来分类水平型 LND。
4. 显式构造：本文通过将曲面层面的解提升回一般三项式代数，构建了这些导子的显式公式，确保所得映射在商代数上是良定义的。

主要贡献与结果

本文根据关系结构区分了两类三项式代数：

1. 1 型三项式代数：
由形式为 $T_i^{l_i} - T_{i+1}^{l_{i+1}} - (a_{i+1} - a_i) = 0$ 的关系定义。

• 分类：作者证明，1 型代数上的任何 $T$-齐次 LND 都是“副本”（即由核中元素缩放的标量倍数）的“初等”LND 或关于自由变量 $S_k$ 的偏导数。
• 显式公式：他们提供了这些导子的显式公式（定理 2.2），表明它们由索引元组 $C = (c_1, \dots, c_r)$ 确定，其中特定指数等于 1。
• 刚性与半刚性：本文提供了刚性判据的新证明（推论 2.4），并建立了半刚性判据（推论 3.2）。若所有非零 LND 均等价（共享相同的核），则代数称为半刚性。判据取决于自由变量的存在性以及关系中的特定指数。

2. 2 型三项式代数：
由涉及单项式和 $k^2$ 中向量的矩阵列线性相关性的关系定义。

• 等价类：定理 4.1 描述了 $T$-齐次 LND 的等价类。与 1 型不同，2 型代数承认那些不是初等导子副本的 $T$-齐次 LND。
• 无限族：作者确定了单个元组 $C$ 对应无限多个 LND 等价类的条件（例如，当指数的某些整除条件满足时）。
• 单关系的显式公式：对于由单项三项式关系 $T_0^{l_0} + T_1^{l_1} + T_2^{l_2} = 0$ 定义的代数，定理 4.4 和构造 4.3 提供了所有 $T$-齐次 LND 的显式公式。这些包括涉及复系数（单位根）以及指数特定奇偶性条件的情形。
• 半刚性：导出了半刚性判据（推论 4.2），表明 2 型代数是半刚性的，当且仅当它们是刚性的，或者在移除一个自由变量后约化为刚性代数。

意义
本文在以下几个领域声称具有重要意义：

• 先前工作的扩展：它将齐次 LND 的研究从“初等”$H$-齐次情形推广到更广泛的 $T$-齐次情形，揭示了专门存在于非阶乘设定中的新导子。
• 结构洞察：通过提供显式公式和分类定理，这项工作阐明了三项式簇的自同构群（特别是 $\mathbb{G}_a$-子群）的结构。
• 方法效用：将高维三项式簇上的问题约化为三项式曲面的约化技术，提供了一种强大的工具，用于分析复杂代数上的 LND，而无需在每个情形下都诉诸多维多面体除子的全部复杂性。
• 刚性判据：结果提供了更精细的判据，用于确定这些代数何时是刚性的（不接受非零 LND）或半刚性的，这些是研究代数簇及其对称性的基本性质。

作者强调，他们对 2 型的证明依赖于复杂度为 1 的环面作用上 LND 的组合描述，从而架起了抽象环面几何与三项式簇上显式代数计算之间的桥梁。