[論文レビュー] Solution non universelle pour le problème KV-78

Luc Albert, Pascale Harinck+1 more|arXiv (Cornell University)|Feb 14, 2008

Advanced Topics in Algebra参考文献 9被引用数 10

ひとこと要約

本論文は、1978年に神保とヴェルヌによって提起されたKashiwara–Vergne予想（KV-78）の可解解が、一般のLie代数において次数8でトレース恒等式を満たさないことを示している。コンピュータ代数システム（MapleおよびMatlabとLafreeパッケージを併用）を用いて、次数16までLie級数を計算し、次数8で非ゼロのトレース差異が生じることを示し、解が普遍的でないことを証明した。この結果は、可解解が任意のLie代数に拡張されないことを確認するが、可解Lie代数および二次Lie代数では成立する。

ABSTRACT

In 78' M. Kashiwara and Vergne conjectured some property on the Campbell-Hausdorff series in such way a trace formula is satisfied. They proposed an explicit solution in the case of solvable Lie algebras. In this note we prove that this "solvable solution" is not universal. Our method is based on computer calculation. Furthermore our programs prove up to degree 16, Drinfeld's Lie algebra $\mathfrak{grt}_1$ coincides with the Lie algebra $\hat{kv_2}$ defined in \cite{AT}.

研究の動機と目的

• 一般のLie代数に対するKashiwara–Vergneの可解解の普遍性を調査すること。
• 提案された解が可解の場合を除いてもトレース恒等式を満たすかどうかを特定すること。
• Drinfeldのgrt₁とKV₂ Lie代数の関係を、[AT]で提唱されたように、次数16までに一致するかを検証すること。
• 一般の場合における可解解が失敗する正確な次数を同定すること。

提案手法

• 著者らは、MapleおよびMatlabに加えてLafreeパッケージを用いて、Campbell–Hausdorff級数および関連するFおよびG関数の次数16までのLie級数項を計算した。
• 冗長性を低減し、ストレージおよび計算を最適化するために、Lie要素をHall基底で表現した。
• トレース恒等式（3）は、左辺（tr(adX∘∂XF + adY∘∂YG)）と右辺（adZを含むトレース式）の差を計算することで評価された。
• 特に、次数8で非ゼロの差異が計算され、x⁴y²xy − x⁴yxy² + 5(x³yx²y² − x³y²x²y)のような項のトレースにおいて、トレース恒等式の破綻が証明された。
• 具体的な例としてgl(3,R) × V（Vは標準表現）を用い、トレース差異が数値的に確認された。
• 著者らは、二次および可解の場合の既知の解と比較し、これらの設定では一貫性が確認された。

実験結果

リサーチクエスチョン

• RQ1 Kashiwara–Vergneの可解解は、すべての有限次元Lie代数に対してトレース恒等式を満たすか？
• RQ2 一般のLie代数の場合、可解解がKV-78トレース条件を満たさなくなる正確な次数は何か？
• RQ3 可解解は普遍的であるか、それとも可解または二次Lie代数のような制限されたクラスでのみ成立するのか？
• RQ4 [AT]で提唱されたように、Drinfeldのgrt₁とKV₂ Lie代数は、次数16までに一致するか？

主な発見

• KashiwaraとVergneが提唱した可解解は、一般のLie代数において次数8でトレース恒等式を満たさない。
• 次数8におけるトレース差異は、8·tr(x⁴y²xy − x⁴yxy² − x²y⁴xy + x²yxy⁴) + 40·tr(x³yx²y² − x³y²x²y + x²y³xy² − x²y²xy³)として明示的に計算され、これは非ゼロである。
• 二次Lie代数の場合には差異が消えるため、可解解が二次代数でも成立することは、以前のsl(2,R)の観察と一致する。
• コンピュータで検証された計算により、次数16までにDrinfeldのLie代数grt₁と[AT]で定義されたLie代数ˆkv₂が一致することが確認され、AlekseevとTorossianの予想を支持する。
• この結果は、可解解が可解および二次の場合に限り成立するが、普遍的ではないことを示唆する。
• 次数8での失敗は、非二次Lie代数における非自明なトレース異常によるものであり、可解または二次の設定ではそのような異常は存在しない。