Differential Operators on $G(r,n)$-Invariant Functions

技術要約：$G(r, n)$ 不変関数上の微分作用素

問題提起
本論文は、対称群 $S_n$ に関して（具体的には Zemel [1] の研究において）確立された、対称関数およびそれに関連する双対座標の微分に関する古典的な結果を、複素単項式反射群 $G(r, n) := \mu_r \wr S_n$ へと一般化することを目的としている。中心的な課題は、不変微分作用素、双対座標、および Weyl 代数の構造に関する理論を、このより広いクラスの群へと拡張することである（$S_n$ は $r=1$ の特殊なケースとして含まれる）。特有の困難として、$r \ge 2$ の場合に生じる、通常の微分 $\partial_{x_i}$ が（$S_n$ の場合には存在しない）退化を示す、トーリック反射（$x_i \mapsto \zeta x_i, \zeta \in \mu_r$）の存在が挙げられる。

手法
著者らは、主要なツールとして**転送原理（transfer principle）**を採用している。変数 $y_i = x_i^r$ という置換を定義することにより、$G(r, n)$ 不変環 $\mathbb{C}[x]^{G(r,n)}$ を $S_n$ 不変環 $\mathbb{C}[y]^{S_n}$ と同一視する。この識別により、$y$ 変数から $x$ 変数への作用素恒等式の輸送が可能となる。

• 転送メカニズム： この原理は、標準的な微分 $\partial_{y_i}$ を有理作用素 $\Delta_i := \frac{1}{r} x_i^{1-r} \partial_{x_i}$ へと、また差 $y_i - y_j$ を $x_i^r - x_j^r$ へと写像する。
• 直接証明： 著者らは、転送原理のみではすべての結果を導くには不十分であると指摘している。彼らは、対称化された作用素 $D_d$ に対するライプニッツ則、および双対座標 $U_k$ の存在と一意性の定理について、自己完結的な直接証明を提供している。これらは転送から自明には導かれないためである。
• Faà di Bruno 解析： 反射超平面 $x_i=0$ 付近における通常の微分 $\partial_{x_i}$ の挙動を扱うために、著者らは、合成関数 $\eta(x_i^r)$ の反復微分を分析するために、ベル多項式を用いた Faà di Bruno 型の構造公式を利用している。

主な貢献と結果

1. 双対座標と作用素：

   • 本論文は、対称化された微分作用素の族 $\{D_d\}_{1 \le d \le n}$ に対して双対となる、次数 $rk$の$G(r, n)$不変多項式の族${U_k}_{1 \le k \le n}$ の存在と一意性を確立している。
   • これらの作用素は、双対関係 $D_d U_k = \delta_{d,k}$ を満たす。
   • $U_k$ の具体的な公式は、変数 $x_i^r$ の正規化された基本対称関数を用いて提供されている。

2. Weyl 代数の構造：

   • ファミリー $\{U_k\}$ および $\{D_d\}$ は、$G(r, n)$ の判別式において局所化された Weyl 代数 $W_n^{G(r,n)}$ を生成する。
   • 判別式は、$\text{disc}_{G(r,n)}(x) = \prod_{i=1}^n x_i^{r-1} \prod_{1 \le i < j \le n} (x_i^r - x_j^r)$ として明示的に特定されている。
   • これは、$S_n$ で知られている局所化の結果を、非原始群である $G(r, n)$ へと一般化したものである。

3. 全対角線上での挙動：

   • 全対角線（$x_1^r = \dots = x_n^r$）の前像は、原点を通る $r^{n-1}$ 本の直線からなり、これらは群によって推移的に置換されることが示されている。
   • これらの直線上で、転送された作用素 $\Delta_i$ は正則に振る舞うが、通常の微分 $\partial_{x_i}$ は $r \ge 2$ の場合に特定の退化を示す。
   • 著者らは、定数 $\kappa_{d,j}$（ベル多項式を通じて表現される）を用いて、反復された生の微分 $\partial_{x_i}^d U_k$ の閉じた公式を導出している。

4. 孤立した原点における特異性の解消：

   • 本論文は、孤立した点（他の座標は生成的であるが $x_i = 0$ である場合）における作用素 $\Delta_i$ の特異性を解消している。
   • $\Delta_i$ は $x_i=0$ を横切って正則に拡張可能であり、その値は $\Delta_i \phi(0) = \frac{1}{r!} \partial_{x_i}^r \phi(0)$ となる。
   • これにより、少なくとも一つの座標が消滅する場合（かつそれが単一のブロックとしてのみ機能する場合）に有効な、GIT 商 $\mathbb{C}^n / G(r, n)$ の接空間の記述に対する部分的な類似性が得られる。

意義と範囲
本論文は、Zemel [1] の理論を $S_n$ から $G(r, n)$ へと完全に、かつ自己完結的に一般化したものであると主張している。その主要な意義は以下の通りである：

• 転送原理を、対称群から単項式群へと不変理論の結果をリフトするための厳密な手法として確立したこと。
• $r \ge 2$ に特有の新しい現象、すなわち、転送された作用素 $\Delta_i$ と生の微分 $\partial_{x_i}$ の間の乖離、特に全対角線および原点におけるそれらの挙動を特定したこと。
• 反復微分の構造定数および双対座標に関する閉じた公式を提供したこと。

限界と未解決問題
著者らは、複数の座標が同時に原点で一致する場合（すなわち、$p \ge 2$ に対して $x_{i_1} = \dots = x_{i_p} = 0$）に関する結果が部分的であることを明示している。この場合、個々の作用素 $\Delta_{i_k}$ の退化が $y$ 変数の一致と組み合わさり、特異性を生じさせる。これには、ロピタルの規則の反復適用と $r$ 次の極の解消を組み合わせた処理が必要となる。論文では、解の予想される構造（定数 $\kappa_{d,j}$ と一致微分との結合）を概説しているが、公式の完全な確立および結果として得られる導関数の線形独立性の証明については、今後の課題として残されている。同様に、接空間の解析における、要素数が 2 以上の null ブロックのケースも未解決のままである。