[論文レビュー] Difference Equations Compatible with Trigonometric KZ Differential Equations

V. Tarasov, Alexander Varchenko|ArXiv.org|Feb 16, 2000

Numerical methods for differential equations被引用数 10

ひとこと要約

本稿では、Lie代数 𝔤 に対する三角的 Knizhnik-Zamolodchikov (KZ) 微分方程式と可換な、パラメータ λ ∈ 𝔥 における力学的差分方程式系を導入する。これらの方程式は、𝔤-加群のインタウィニング作用素と、それらから導かれるアフィン R-行列を用いて構成される。主な結果は、E₈、F₄、G₂を除くすべての単純Lie代数において、力学的差分方程式が三角的KZ方程式と可換であることであり、Weyl群作用とインタウィニング作用素の恒等式を用いて証明される。

ABSTRACT

The trigonometric KZ equations associated with a Lie algebra $\g$ depend on a parameter $λ\in\h$ where $\h\subset\g$ is the Cartan subalgebra. We suggest a system of dynamical difference equations with respect to $λ$ compatible with the KZ equations. The dynamical equations are constructed in terms of intertwining operators of $\g$-modules.

研究の動機と目的

• Lie代数 𝔤 に対して、三角的KZ微分方程式と可換な力学的差分方程式系を構成すること。
• 𝔤-加群のインタウィニング作用素を用いて、力学的差分方程式と三角的KZ方程式の可換性を確立すること。
• CherednikのアフィンR行列フレームワークを、Weyl群と𝔤-加群に関連する有理関数を用いた具体的な構成へ一般化すること。
• 𝔰𝔩_N およびすべてのマイナスクル双対基本重みをもつ単純Lie代数において可換性を証明し、すべての単純Lie代数へ拡張可能であると仮説を立てる。

提案手法

• 力学的差分方程式は、Weyl群の元 w と有限次元 𝔤-加群 V に関連する有理関数 𝔹_{w,V}(λ) を用いて構成される。
• アフィンR行列は、λ と z 変数を変数とする、作用素値関数として定義され、普遍包あらたえ代数のテンソル積の値をとる。
• Weyl群作用を用いた共役恒等式により、力学的差分作用素が三角的KZ接続作用素 ∇_j(λ,κ) と可換であることを証明する。
• 構成は、インタウィニング作用素の1-コサイクル性と、拡張Weyl群がパラメータ空間 λ に作用することに依存する。
• 𝔰𝔩_N に対して、力学的差分作用素と結合系の解行列式の明示的公式が導出される。
• 証明はWeyl群の元に関する帰納法と、基本的反射への還元に依存し、基本的重みと根系の構造を活用する。

実験結果

リサーチクエスチョン

• RQ1 Lie代数 𝔤 に対して、三角的KZ微分方程式と可換な力学的差分方程式系を構成可能か？
• RQ2 𝔤-加群のインタウィニング作用素はWeyl群とどのように関係し、アフィンR行列を定義するために用いられるか？
• RQ3 力学的差分方程式と三角的KZ方程式の可換性を保証するLie代数の条件は何か？
• RQ4 マイナスクル双対基本重みをもつLie代数に限らず、可換性の結果を一般化可能か？
• RQ5 三角的KZ方程式の超幾何的解は、提案された力学的差分方程式を満たすか？

主な発見

• E₈、F₄、G₂を除くすべてのマイナスクル双対基本重みをもつ単純Lie代数において、力学的差分方程式は三角的KZ方程式と可換である。これは 𝔰𝔩_N に対しても成り立つ。
• 可換性は共役恒等式により証明される：すべての w ∈ 拡張Weyl群 W^b に対して G̃_w^{V} ∇_j(λ,κ) = {}^{w^{-1}}∇_j(λ,κ) G̃_w^{V} が成り立つ。
• 𝔤 = 𝔰𝔩_N の場合、KZ方程式と力学的方程式の結合系の解行列式が明示的に計算される。
• 力学的方程式は、CherednikのアフィンR行列構成の特別な場合であり、F は z₁,…,zₙ に関するメロモルフィック関数の代数、λ ∈ 𝔥 である。
• 有理的極限において、この系は標準的な（有理的）KZ可換力学的方程式に退化し、[FMTV] の結果が回復される。
• 著者らは、マイナスクル双対基本重みをもつLie代数に限らず、すべての単純Lie代数において可換性が成り立つと仮説を立てる。