Middle convolution for Lie algebra representations

技術的概要：リー代数表現における中間畳み込み

問題の提示
元々カッツによって punctured リーマン球面上の局所系のために導入された中間畳み込み関手は、常微分方程式、剛性局所系、および加法的デリニュ・シンプソン問題の研究において基本的な道具となっている。この関手の代数的バージョンは、フックス系（デットワイラー・ライター）および超平面配置の補集合上の対数接続（原岡）に対して確立されているが、これらの構成を包含する統一的なリー代数的枠組みは欠けていた。具体的には、自由リー代数、ドリフトルド・コホノリー代数、およびホロノミーリー代数など、編み群や配置補集合の基本群の無限小 analogue として機能するリー代数上の加群の圏に直接、中間畳み込み関手を定義する必要性があった。

手法
著者は、半直和リー代数 $L_n \rtimes_{\theta_g} \mathfrak{g}$ の普遍包絡代数上の有限次元加群の圏に定義された「中間畳み込み関手」($mc_\lambda$) を構成する。ここで、$L_n$ は自由リー代数であり、$\mathfrak{g}$ は無限小編み作用から導かれる準同型写像 $\theta_g$ を通じて $L_n$ に作用するリー代数である。

この構成は以下の数段階を経て行われる：

1. 変形ロング・ムーディ関手：著者はまず、ロング・ムーディ関手の 1 パラメータ変形 ($LM^{df}_\lambda$) を導入する。古典的なロング・ムーディ関手は、群環の増大イデアルを用いてより大きな編み群から編み群の表現を構成するが、その無限小リー代数 analogue は、スカラー $\lambda$ によって定義される 1 次元加群 $K_\lambda$ を用いた $H_1(L_{n+1}, V \otimes K_\lambda)$ という第 1 ホモロジー群を通じて定義される。
2. 中間畳み込みの定義：中間畳み込み関手 $mc_\lambda$ は、直和 $H_1(L(x_i), V \otimes K_\lambda)$ から $H_1(L_{n+1}, V \otimes K_\lambda)$ への特定の写像の余核として定義される。この構成は、幾何学的な中間畳み込みと同様に、「自明な」部分加群と不変部分空間を商として取り除く効果を持つ。
3. 一般化と両立性：本論文は、このリー代数的関手がロング・ムーディ関手（極限 $\lambda \to 0$ において）を一般化し、$\mathfrak{g}$ が自明な場合にデットワイラー・ライターの加法的中間畳み込みを回復することを確立する。
4. 幾何学的実現：超平面配置 $\mathcal{A}$ の補集合のホロノミーリー代数 $h(M(\mathcal{A}))$ に対して、著者は対数 Pfaffian 系とホロノミーリー代数上の加群の間の同値性（コホノの定理）を利用する。配置の $Y$-閉包（$Y$ は原点を通る直線）を考慮することで、リー代数的中間畳み込みが対数接続に対する原岡の中間畳み込みに対応することを示す。
5. リーマン・ヒルベルト対応：最後に、本論文はド・ラーム関手と圏の同値性を組み合わせ、局所系に対する位相的中間畳み込み ($MC_\chi$) とリー代数的中間畳み込みの間の対応を確立する。

主要な貢献と結果

• リー代数中間畳み込みの定義：本論文は、$U(L_n \rtimes_{\theta_g} \mathfrak{g})\text{-mod}$ 上の自己関手として $mc_\lambda$ を定義する。これは無限小ロング・ムーディ関手の自然な一般化であることが示される。
• 既知の構成の回復：
  • ロング・ムーディ：関手 $mc_\lambda$ は変形ロング・ムーディ関手 $LM^{df}_\lambda$ を通じて分解する。$\mathfrak{g} = P_n$（ドリフトルド・コホノ代数）かつ $\lambda = 0$ の場合、$mc_0$ は元のロング・ムーディ関手を回復する。
  • デットワイラー・ライター：$\mathfrak{g} = \{0\}$ の場合、関手 $mc_\lambda$ はフックス系に対するデットワイラー・ライターの加法的中間畳み込みを回復する。
  • 原岡：超平面配置の補集合のホロノミーリー代数に対して、$mc_\lambda$ は配置の $Y$-閉包上の対数接続に対する原岡の中間畳み込みと両立する。
• 合成則：本論文は、中間畳み込み関手が特定の一般性条件（既約性と固有値に関する非共鳴条件）を満たす加群に対して、合成則 $mc_\lambda \circ mc_\mu \cong mc_{\lambda+\mu}$ および $mc_{-\lambda} \circ mc_\lambda \cong \text{id}$ を満たすことを証明する。これはカッツの元の関手の基本的な性質を反映している。
• 既約性の保存：加群 $V$ が $U(L_n)$-加群として既約であれば、$mc_\lambda(V)$ も既約であることが示される。
• リーマン・ヒルベルト対応：定理 5.2 は、指標 $\chi$ が $\chi(1) = \exp(2\pi i \lambda)$ によって $\lambda$ と関連付けられ、かつ特定の固有値条件が満たされる場合、リー代数的中間畳み込み（ド・ラーム関手に続く）の結果と、局所系に対する位相的中間畳み込み ($MC_\chi$) の結果との間の同型を確立する。

意義
本論文は、編み群表現、フックス系、および超平面配置の補集合上の対数接続という異なる文脈における中間畳み込み作用素のための統一的な代数的枠組みを提供する。この作用素をリー代数加群上で直接定式化することにより、ロング・ムーディ関手の圏論的研究と剛性局所系の解析的理論の間のギャップを埋める。この設定におけるリーマン・ヒルベルト対応の確立は、リー代数的構成が位相的中間畳み込みの正しい無限小 counterpart であることを確認し、それによって中間畳み込み手法の適用範囲をホロノミーリー代数の表現論および対数特異点を持つ微分方程式の研究へと拡張する。