Module-Valued 2-Local Derivations on Reductive Lie Algebras

技術的要約：簡約リー環上の加群値2局所導来

問題提起
本論文は、有限次元の簡約リー環 $\mathfrak{g}$ から任意の有限次元 $\mathfrak{g}$-加群 $V$ への2局所導来（2-local derivation）の分類を扱う。写像 $\Delta: \mathfrak{g} \to V$ は、任意の要素のペア $x, y \in \mathfrak{g}$ に対して、$\Delta(x) = D_{x,y}(x)$ かつ $\Delta(y) = D_{x,y}(y)$ を満たす真の導来 $D_{x,y}: \mathfrak{g} \to V$ が存在する場合に2局所導来であると定義される。中心的な問いは、すべてのこのような2局所導来が必然的に線形導来となるのか、それとも非線形な「例外的な」写像が存在するのかという点である。

著者らは先行研究に基づいている：Šemrlによる2局所導来の導入 [3]、有限次元半単純リー環上の2局所導来は導来であることの証明 [1]、および単純 $\mathfrak{sl}_2(\mathbb{C})$-加群に関する加群値形式化 [4] である。

手法
証明戦略は、簡約リー環 $\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$ （ここで $\mathfrak{s} = [\mathfrak{g}, \mathfrak{g}]$ は半単純、$\mathfrak{z} = Z(\mathfrak{g})$ は中心）への分解を通じて進行する。分析は以下の2つの主要な構成要素に分けられる：

1. 半単純の場合 ($\mathfrak{g} = \mathfrak{s}$):

   • 簡約化: 完全可約性と、導来が加群の消滅子（annihilator）上で消滅するという事実を用いて、問題を $V$ が既約かつ非自明で忠実な $\mathfrak{s}$-加群であるケースへと簡約化する。
   • アフィン実現者 (Affine Realizers): 2局所導来 $\Delta$ について、集合 $R_x(\Delta) = \{v \in V : xv = \Delta(x)\}$ は空でないアフィン空間であるという事実を利用する。これらの空間の共通部分は、$\Delta = D_v$ となる大域的なベクトル $v$ の存在を決定する。
   • 代数幾何学と群作用: $\mathfrak{s}$ に随伴する単連結代数群 $G$ の表現を用いる。カルタン部分環における $V$-正則な要素、および $\exp_G(E)$ と $\exp_G(F)$ （ここで $E, F$ はルートベクトル들의 和）の作用を利用することで、特定の部分空間の和が直和であることを確立する。
   • 半単純要素: 命題3.2は、任意の2局所導来がすべての半単純要素において内的な導来 $D_v$ と一致することを示す。
   • べき零要素: 非半単純要素 $x = s + e$ に対して、著者らはJacobson–Morozovの定理を用いてべき零部分 $e$ を $\mathfrak{sl}_2$-三つ組へと埋め込む。半単純作用素と $\mathfrak{sl}_2$-加群に関する技術的な補題（補題4.1）を用いて、もし導来が半単純要素上で消滅していれば、2局所条件によってべき零部分上でも消滅することが強制されることを示す。

2. 簡約の場合 ($\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$):

   • 加群の分解: 加群 $V$ を $sV \oplus V^s$ に分解する。
   • アーベル成分: 中心 $\mathfrak{z}$ 上の挙動は、アーベルリー環上の2局所導来を分類する補題5.1を用いて分析される。これは、そのような写像が線形導来と、不動点集合 $M^{\mathfrak{a}}$ への同次写像の和であることを確立している。
   • 統合: 半単純部分の結果（これらは内的な導来である）とアーベル部分の結果を組み合わせることで、$\mathfrak{g}$ 上の完全な2局所導来の集合を特徴付ける。

主要な貢献と結果

• 定理1.1 (半単純の場合): 有限次元半単純リー環 $\mathfrak{s}$ から有限次元 $\mathfrak{s}$-加群 $V$ へのすべての2局所導来は導来である。これは、単純リー環に対する従来の成果を、任意の加群を持つ半単純の場合へと一般化したものである。
• 定理1.2 (簡約分類): 簡約リー環 $\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$ に対して、2局所導来の集合は以下で与えられる：
  $$2\text{LocDer}(\mathfrak{g}, V) = \text{Der}(\mathfrak{g}, V) + \{H \circ \text{pr}_{\mathfrak{z}} : H \in \text{Homog}(\mathfrak{z}, V^{\mathfrak{g}})\}$$
  ここで $\text{Homog}$ は同次写像を表す。これは、すべての2局所導来 $\Delta$ が以下の形式を持つことを意味する：
  $$\Delta(s + z) = (s + z)u + f(z) + H(z)$$
  ここで $u \in V^{\mathfrak{s}}$ であり、$f$ は $\mathfrak{z}$ から $V^{\mathfrak{s}}$ への線形導来、$H$ は $\mathfrak{z}$ から $V^{\mathfrak{g}}$ への同次写像である。
• 系1.3 (線形性の条件): 2局所導来が導来であるための必要十分条件は、$\dim \mathfrak{z} \le 1$ または $V^{\mathfrak{g}} = 0$ であることである。
  • $\dim \mathfrak{z} \ge 2$ かつ $V^{\mathfrak{g}} \neq 0$ の場合、非線形な同次写像である例外的な2局所導来が存在する。
  • $V$ が完全可約であれば、形式は $\Delta(s+z) = (s+z)v + H(z)$ に簡略化される。

意義
本論文は、その結論が「非線形なGleason–Kahane–Żelazko原理のリー加群版」として機能すると主張している。概念的には、簡約リー環の文脈において、「2点実現可能性」（2局所導来であること）という条件が、中心および加群の不動点に関連する特定のケースを除いて、「大域的な実現者」（単一の導来）の存在を強制するのに十分であることを示している。この研究は、リー環のコホモロジーおよび加群論における局所から大域への性質の理解を拡張し、非線形な2局所導来が発生する正確な構造的条件（中心の次元および不変量の存在）を特定している。