[論文レビュー] Automorphic equivalence of the representations of Lie algebras

I. P. Shestakov, A. Tsurkov|arXiv (Cornell University)|Oct 9, 2012

Advanced Topics in Algebra参考文献 5被引用数 8

ひとこと要約

この論文は、自明な自己同型群（$\mathrm{Aut}\,k = \{\mathrm{id}_k\}$）をもつ体 $k$ 上で、リー代数表現の自己同型的同値が幾何的同値と一致することを確立する。著者らは2種類のスロットを持つ普遍代数の枠組みを用いてリー代数の表現をモデル化し、1種類のスロットへの新たな還元を介して同値性を示し、群表現に関する先行研究とは異なる手法を提供する。

ABSTRACT

We prove that if a field k is infinite, char(k)=0 and k has not nontrivial automorphisms then automorphic equivalence of representations of Lie algebras coincide with geometric equivalence. We achieve our result by consideration of 1-sorted objects. We suppose that our method can be perspective in the further researches.

研究の動機と目的

• 体 $k$ に対して $\mathrm{char}(k) = 0$ かつ $k$ が無限大であるようなリー代数の表現のための代数幾何学的枠組みを構築すること。
• この枠組みにおいて、表現の幾何的同値および自己同型的同値を定義すること。
• 自己同型的同値が幾何的同値に含まれる条件を確立すること。
• 群表現理論で用いられた既存の手法とは異なる、1種類のスロットへの還元に基づく新たな手法を提供すること。

提案手法

• リー代数の表現は、1つのスロットをリー代数 $L$ に、もう1つのスロットを加群 $V$ に割り当てた2種類のスロットを持つ普遍代数として形式化され、作用 $L \times V \to V$ が2項演算として捉えられる。
• 表現間の準同型は、$\varphi: L_1 \to L_2$ がリー代数の準同型であり、$\psi: V_1 \to V_2$ が線形写像であり、$\varphi(l)\psi(v) = \psi(l\cdot v)$ を満たすようなペア $(\varphi, \psi)$ として定義される。
• 方程式の定義域として、自由表現 $W(X,Y) = (L(X), A(X)Y)$ を導入する。ここで $L(X)$ は自由リー代数、$A(X)Y$ は $Y$ を生成元とする自由 $A(X)$-加群である。
• 方程式はこれらの自由表現上で定義され、$L(X)$ 内の関係および $A(X)Y$ 内の関係として定義され、解は任意の表現への準同型として解釈される。
• 主な技術的革新は、関手 $\mathcal{F}$ を用いた2種類のスロット問題を1種類のスロット構造に還元することであり、これにより [1] および [4] の同値類に関する結果の適用が可能になる。
• 証明は、表現の自己同型的同値が、それに対応する1種類のスロット構造の同値性を意味することを示すことに依拠しており、その結果として幾何的同値が導かれる。

実験結果

リサーチクエスチョン

• RQ1 リー代数表現の自己同型的同値が幾何的同値と一致するのはどのような条件下か？
• RQ2 表現の同値性は、2種類のスロット構造ではなく、1種類のスロット普遍代数への還元によって特徴づけられるか？
• RQ3 底面の体 $k$ に非自明な自己同型が存在しない場合、自己同型的同値と幾何的同値の関係にどのような影響を与えるか？
• RQ4 2種類のスロット表現を1種類のスロット構造に還元する手法は、表現論における既存のアプローチよりも効果的または一般化可能か？

主な発見

• 自明な自己同型群（$\mathrm{Aut}\,k = \{\mathrm{id}_k\}$）をもつ体 $k$ 上のリー代数表現の自己同型的同値は、幾何的同値と一致する。
• この同値性は、群表現に関する先行研究で用いられた手法とは異なる、1種類のスロット普遍代数への新たな還元により確立される。
• 証明は、2種類のスロット表現を1種類のスロット構造に写像する関手 $\mathcal{F}$ に依拠しており、同値類を保存する。
• もし $N_1$ と $N_2$ が表現 $H_1$ と $H_2$ の1種類のスロット像であるならば、$N_1$ と $N_2$ が自己同型的に同値であるならば、それらは幾何的に同値であることが示される。
• 鍵となるステップは、必要な恒等式を保存する唯一の整合的な作用構造が $\mathfrak{p} = p$ であることを示すことであり、これにより $\mathfrak{S} = \mathfrak{S} \cap \mathfrak{Y}$ および $\mathfrak{A}/\mathfrak{Y} \cong \{1\}$ が導かれ、同値性が強制される。
• 主要結果である定理9.1は、$\mathrm{Aut}\,k = \{\mathrm{id}_k\}$ の仮定の下で、$H_1$ と $H_2$ が幾何的に同値であることと、自己同型的に同値であることの必要十分条件であることを確認する。