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

技術的サマリー：三項多項式環の T-同次局所冪零導分

問題の定義
本論文は、三項多項式（3 項からなる多項式）である互換的な関係式の系によって定義される可換有限生成環である三項多項式環上の局所冪零導分（LND）を調査する。これらの環は、 complexity 1 のトーラス作用を許容する正規有理半射影多様体のコックス環として現れる。中心的な問題は、complexity 1 の自然なトーラス作用 $T$ に関して同次であるような LND を記述することである。

特定の準トーラス $H$ に関する同次 LND（「初等的」導分）は以前に研究されていたが、本研究は $H$ の中立成分である $T$ に関する $T$-同次 LND に焦点を当てる。重要な動機は、非階乗的（non-factorial）多様体において $T$ は $H$ の真部分群であり、$H$-同次ではない $T$-同次 LND が存在する可能性がある点にある。さらに、LND の同次成分を理解することは、任意の LND を解析する上で不可欠である。なぜなら、次数のニュートン多面体の頂点に対応する同次成分は局所冪零であることが保証されているからである。

手法
著者は、代数的手法と幾何学的な縮小戦略の組み合わせを採用する：

1. 代数分解と互素性：解析は、$T$ の指標群による次数付けの性質に大きく依存する。著者は、三項多項式環の変数が互いに素であり、かつ LND の核が階乗的に閉じているという事実を利用する。導分がどの変数を零化するかに基づいて導分を分解し、「三項多項式」変数（$T_{ij}$）に作用する導分と「自由」変数（$S_k$）に作用する導分を区別する。
2. 曲面の場合への縮小：Type 2 の三項多項式環（$k^2$ 内のベクトルを含む関係式によって定義される）については、任意の高次元多様体上の LND を記述する問題を、三項多項式曲面の場合に帰着させる。これは、特定の導分の支（support）に関与しない変数によって生成される体の代数的閉包を考慮することで達成される。
3. 組合せ論的およびトーリック幾何：曲面の場合については、トーラス作用を持つ多様体上の同次 LND の組合せ論的記述を利用する。
   • 特定のケース（例：$\gamma > 2$ における $x^2 + y^2 + z^\gamma = 0$）では、多様体がトーリック多様体に関連しており、Demazure 根を用いて同次 LND を分類できる。
   • 標準的な意味で作用するトーラスに関してトーリックではない $x^2 + y^2 + z^2 = 0$ のケースでは、著者は半射影曲線（特に $\mathbb{P}^1$）上の適切な多面体除子の理論を適用して、水平型 LND を分類する。
4. 明示的構成：本論文は、曲面レベルからの解を一般的な三項多項式環へ持ち上げることで、これらの導分の明示的な公式を構成し、結果として得られる写像が商環上で well-defined であることを保証する。

主要な貢献と結果

本論文は、関係式の構造によって定義される 2 種類の三項多項式環を区別する：

1. Type 1 三項多項式環
$T_i^{l_i} - T_{i+1}^{l_{i+1}} - (a_{i+1} - a_i) = 0$ の形式の関係式によって定義される。

• 分類：著者は、Type 1 環上の任意の $T$-同次 LND が、「初等的」LND または自由変数 $S_k$ に関する偏微分の「レプリカ」（核内の要素によるスカラー倍）であることを証明する。
• 明示的公式：特定の指数が 1 となるインデックスの組 $C = (c_1, \dots, c_r)$ によって決定されるこれらの導分の明示的公式を提供する（定理 2.2）。
• 剛性と半剛性：剛性基準（系 2.4）の新たな証明を提供し、半剛性基準（系 3.2）を確立する。代数が半剛性であるとは、すべての非ゼロ LND が同値（同じ核を共有する）であることを意味する。これらの基準は、自由変数の存在と関係式における特定の指数に依存する。

2. Type 2 三項多項式環
単項式と $k^2$ 内のベクトルを含む行列の列の線形従属を要求する関係式によって定義される。

• 同値類：定理 4.1 は、$T$-同次 LND の同値類を記述する。Type 1 と異なり、Type 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）。これにより、Type 2 環が半剛性であるのは、それらが剛性であるか、単一の自由変数を除去後に剛性環に帰着する場合に限られることが示される。

重要性
本論文は、以下の分野において重要性を主張する：

• 先行研究の拡張：「初等的」$H$-同次の場合から、より広範な $T$-同次の場合へと同次 LND の研究を一般化し、特に非階乗的設定においてのみ存在する新たな導分を明らかにする。
• 構造的洞察：明示的公式と分類定理を提供することで、三項多項式多様体の自己同型群（特に $\mathbb{G}_a$ 部分群）の構造を明確にする。
• 方法的有用性：高次元の三項多項式多様体上の問題を三項多項式曲面へ写す縮小手法は、すべてのケースで多次元多面体除子の完全な複雑さに頼ることなく、複雑な代数上の LND を解析するための強力なツールを提供する。
• 剛性基準：これらの代数が剛性（非ゼロ LND を許容しない）または半剛性であるかどうかを決定するための洗練された基準を提供する。これらは、代数多様体とその対称性の研究における基本的な性質である。

著者は、Type 2 に関する証明が complexity 1 のトーラス作用上の LND の組合せ論的記述に依存しており、抽象的なトーリック幾何と三項多項式多様体上の明示的な代数計算の間のギャップを埋めていることを強調している。