論文要約：$W_n(K)$ 対する極大部分代数の一族

1. 研究の背景と問題設定

• 対象: $K$ を標数 0 の代数閉体とし、$P_n = K[x_1, \dots, x_n]$ を $n$ 変数の多項式環とする。$W_n(K)$ は $P_n$ 上のすべての $K$-微分（ベクトル場）からなるリー代数であり、$P_n$ 上の自由加群（ランク $n$）として記述される。
• 問題: $W_n(K)$ の極大部分代数（maximal subalgebras）の構造は、$n=1$ の場合（$W_1$）には完全に記述されているが、$n \ge 2$ の場合には未解決な問題が多く残されている。特に、既知の極大部分代数の例は限られており、その分類や性質の理解が不十分である。
• 目的: $n \ge 2$ に対して、$W_n(K)$ の新しい極大部分代数の族を構成し、その性質（極大性、同型性、イデアル構造など）を明らかにすること。また、ランク $n$ を持つ極大部分代数の一般的な性質についても考察する。

2. 主要な手法と定義

• 標準的 grading: $W_n(K)$ には標準的な次数付け（grading）が導入されている。$W_n = \bigoplus_{j \ge -1} W_n^{[j]}$ であり、$W_n^{[j]}$ は次数 $j+1$ の斉次多項式係数を持つ微分からなる。
• Euler 微分: $E_n = \sum_{i=1}^n x_i \frac{\partial}{\partial x_i}$ と定義される。この演算子が部分代数に含まれる場合、その部分代数は grading に関してgraded になることが示される（Lemma 2）。
• ランク（Rank）: $P_n$-加群としてのランクを $rk(S) = \dim_{R_n} (R_n \otimes_{P_n} S)$ で定義する（$R_n$ は有理関数体）。
• 多項式部分代数: $P_n$-部分加群である部分代数（$P_n L = L$）を「多項式部分代数」と呼ぶ。

3. 主要な結果

定理 1: 極大部分代数 $m_s(K)$ の構成と性質

整数 $s$ ($1 \le s \le n-1$) に対して、以下の部分集合 $m_s(K)$ を定義する：
$$m_s(K) = \left\{ \sum_{i=1}^s f_i \frac{\partial}{\partial x_i} + \sum_{j=s+1}^n g_j \frac{\partial}{\partial x_j} \;\middle|\; f_i \in P_s, \; g_j \in P_n \right\}$$
ここで $P_s = K[x_1, \dots, x_s]$ である。

この部分代数 $m_s(K)$ について以下の性質が証明された：

1. 極大性: $m_s(K)$ は $W_n(K)$ の極大部分代数である。
   • 証明の概要: $m_s(K)$ を真に含む任意の部分代数 $S$ が存在すると仮定し、$S$ が $m_s(K)$ に属さない斉次微分を含むことを示す。Euler 微分 $E_n$ を用いた共役作用（adjoint action）を繰り返すことで、$S$ が $W_n(K)$ のすべての生成元を含むことを導き、$S = W_n(K)$ となることを示す。
2. イデアル構造:
   • $I_s = \left\{ \sum_{j=s+1}^n g_j \frac{\partial}{\partial x_j} \mid g_j \in P_n \right\}$ は $m_s(K)$ のイデアルであり、$I_s \cong P_s \otimes W_{n-s}$ に同型である。
   • 商代数 $m_s(K)/I_s$ は $W_s(K)$ に同型である。
   • $I_s$ は $m_s(K)$ における唯一の非自明なイデアルである（極大かつ極小イデアル）。
3. 非同型性: 異なる $s, t$ ($s \neq t$) に対して、$m_s(K)$ と $m_t(K)$ は同型ではない。
   • 証明の概要: 可解部分代数の導来長さ（derived length）$d^\star$ を用いる。$d^\star(W_n(K)) = 2n$ であるのに対し、$m_s(K)$ の可解部分代数の最大導来長さは $\max(2s, 2(n-s))$ となる。$s \neq t$ ならばこの値が異なり、したがって代数同型となり得ない。

補足（Remark 1）: 変数の分割 $\{1, \dots, n\} = I \cup J$ に対して同様に定義される部分代数 $m_I(K)$ も極大であり、$m_s(K)$ と自己同型写像によって共役である。

定理 2: ランク $n$ を持つ極大部分代数の一般論

$W_n(K)$ の極大部分代数 $M$ がランク $n$ を持つ場合、以下の性質が成り立つ：

1. 多項式部分代数でない場合:
   • $M$ が多項式部分代数ではなく、かつランク $< n$ の非零イデアルを含むならば、$M$ はランク $k < n$ の「極大多項式イデアル」$M_0$ を一意に持つ。
   • さらに、商代数 $M/M_0$ はランク $< n-k$ のイデアルを含まない。
2. 多項式部分代数の場合:
   • $M$ が多項式部分代数ならば、$P_n$ のある非零イデアル $I$ に対して、ランク $n$ の部分代数 $I W_n$ を含む。

4. 手法の技術的詳細

• 極大性の証明: 部分代数 $S$ が $m_s(K)$ を真に含むとき、その差 $S \setminus m_s(K)$ に属する微分 $D$ を取り、その係数多項式が変数 $x_{i_0}$ ($i_0 > s$) に依存している点を利用する。
  • 偏微分 $\frac{\partial}{\partial x_{i_0}}$ との交換子（commutator）を繰り返すことで、係数の次数を下げる操作を行う。
  • Euler 微分 $x_{i_0} \frac{\partial}{\partial x_{i_0}}$ との交換子を用いて、係数を定数化し、最終的に $x_{i_0} \frac{\partial}{\partial x_j}$ ($j \le s$) のような演算子を生成する。
  • これらの演算子を用いて、任意の多項式係数を持つ微分 $f \frac{\partial}{\partial x_j}$ を生成できることを示し、$S = W_n(K)$ を導く。
• 同型性の否定: 可解部分代数の導来長さ（derived length）という不変量を利用した。$W_n$ の可解部分代数の最大導来長さは $2n$ であり、$m_s(K)$ の構造から導かれる最大導来長さは $s$ と $n-s$ に依存する値となる。この不変量の不一致が同型性の否定に直結する。

5. 意義と貢献

• 構造論への寄与: $n \ge 2$ における $W_n(K)$ の極大部分代数の具体的な例を系統的に提示し、その分類の第一歩を踏み出した。特に、$n=1$ の場合とは異なり、パラメータ $s$ によって非同型な無限族が存在することを示した。
• イデアル構造の解明: 極大部分代数 $m_s(K)$ が単純な商 $W_s$ と非可換なイデアル $I_s$ の半直積のような構造を持ち、かつ $I_s$ が一意であることを明らかにした。
• 一般理論の発展: ランク $n$ を持つ極大部分代数の分類に関する一般的な定理（定理 2）を提供し、多項式部分代数と非多項式部分代数の振る舞いの違いを理論的に整理した。
• 応用可能性: 微分幾何学における多項式ベクトル場の対称性や、リー代数の表現論における部分代数の分類問題に対して、新たな視点と道具を提供する。

この論文は、無限次元リー代数 $W_n(K)$ の複雑な構造を理解する上で重要なステップであり、今後の極大部分代数の完全分類に向けた基礎的な結果を提供している。