Locally finite sets of derivations

技術要約：局所有限な導来の集合

問題提起
本論文は、個々の導来（derivation）の局所有限性と、それらが生成するリー代数の局所有限性の間の関係を調査している。$k$上の代数を$B$とし、$\text{Der}_k(B)$を$k$-導来のリー代数とする。部分集合 $\Delta \subseteq \text{Der}_k(B)$ が**局所有限（locally finite）**であるとは、すべての $b \in B$ が、$\Delta$に属するすべての導来に対して不変な有限次元部分空間 $U \subseteq B$ に含まれることを指す。この部分集合は、すべての有限部分集合が局所有限であるとき、**弱局所有限（weakly locally finite）**であるという。

中心となる問いは、以下の条件の下で、個々の導来が局所有限なリー部分代数 $L \subseteq \text{Der}_k(B)$ は、どのような場合に弱局所有限になるか、ということである。すなわち、$L \subseteq \text{LFD}_k(B)$ である場合である。弱局所有限な代数は必ず局所有限な導来からなることは自明であるが、その逆は、追加の仮定なしには一般には成立しない。著者らは、この逆が成立するための $B$ および $L$ に関する構造的条件を特定することを目的としている。

手法および定義
著者らは、$B$ が（可換または結合的である必要はない）任意の $k$-代数であるという、非常に一般的な枠組みの中で研究を行っている。ここで、**導来有限（derivation-finite）**な代数という概念が導入される。代数 $B$ が導来有限であるとは、すべての要素に対して零となる導来が零導来のみであるような有限部分集合 $S \subseteq B$ が存在することを指す。本論文は、代数幾何学における多くの標準的な代数（例：有限生成代数、その局所化、および準アフィン多様体上の正則関数の環）がこの条件を満たすことを確立している。

その手法は以下に基づいている：

1. 線形代数的テクニック： 有限次元部分空間に対する導来の作用の分析、およびリー括弧 $[D, E] = D \circ E - E \circ D$ の性質の利用。
2. 帰納法およびツォルンの補題を用いた議論： 具体的には、反復されたリー括弧から導かれる集合の列を構成し、局所有限性を拡張するための極大性を用いた議論を用いる。
3. 反例の構成： クロールの問題（$m$個の要素によって生成されるが、$(m-1)$個の要素のあらゆる部分集合が冪零である無限次元結合代数）に対するゴロドの反例を利用して、「導来有限」という仮定の必要性を実証する。

主要な結果
本論文は、$B$ が導来有限な代数であると仮定した場合の、以下の主要な定理および系を確立している：

1. 反復括弧に関する定理： $S \subseteq \text{LFD}_k(B)$ がリー括弧に関して閉じているとする。列 $S_0 = S$ および $S_{n+1} = \{[D, E] \mid D, E \in S_n\}$ を定義する。もしこの下降列のいずれかの集合 $S_n$ が弱局所有限であれば、元の集合 $S$ は弱局所有限である。
2. 可解リー代数： もし $L$ が $\text{Der}_k(B)$ の可解なリー部分代数であり、$L \subseteq \text{LFD}_k(B)$ であるならば、$L$ は弱局所有限である。これは、特定の多項式環に限定されていた従来の知見を一般化するものである。
3. 拡張とフィルター：
   • もし $L$ が弱局所有限であり、$[\Delta, \Delta] \subseteq L$ かつ $[\Delta, L] \subseteq L$ を満たす $\Delta \subseteq \text{LFD}_k(B)$ が存在するならば、$\Delta \cup L$ によって生成されるリー代数は弱局所有限である。
   • 任意の体 $k$ 上の準アフィン多様体 $X$ に対して、もし $L$ が局所有限な導来からなる $\text{Der}_k(\mathcal{O}_X(X))$ の可解なリー部分代数であれば、$L$ は弱局所有限であり、局所有限なリー部分代数による可算増加フィルターを備える。
4. 可積分性： $k$ が標数ゼロの代数閉体であり、$X$ が既約アフィン多様体である特定のケースにおいて、著者らはそのような可解リー代数 $L$ が局所可積分（locally integrable）（局所有限な部分代数による可算上昇フィルターを持つ）であることを示しており、これは [AZ26] の用語と一致する。

反例と仮定の必要性
本論文は、$B$ が導来有限であるという仮定が不可欠であることを証明している。第4節において、著者らは（導来有限ではない）無限個の変数を持つ可換多項式環 $B$ を構成し、任意の $m \ge 2$ に対して、$m$ 生成のリー部分代数 $L_m \subseteq \text{Der}_k(B)$ を構成している。この代数 $L_m$ は、すべて局所冪零（したがって局所有限）な導来からなる。しかし、$L_m$ は弱局所有限ではない。さらに、$L_m$ のすべての $(m-1)$ 生成部分代数は冪零かつ局所有限である。これは、導来有限の条件がない場合、局所有限な導来の有限生成リー代数が必ずしも弱局所有限になるとは限らないことを示している。

意義および主張
著者らは、得られた結果が、特定の多項式環から任意の導来有限な代数へと、リー代数の導来の弱局所有限性に関する一般的な基準を提供するものであると述べている。本論文は、これらの結果が、アフィン多様体の自己同型群のボレル部分群および局所冪零導来のリー代数に関する著者らの今後の研究で使用されることを意図していることを明記している。本論文は新しい実験的な応用を提案するものではなく、むしろ代数幾何学における導来代数の構造に関する理論的基礎を固めるものである。