[論文レビュー] Noncommutative identities

Maxim Kontsevich|arXiv (Cornell University)|Sep 12, 2011

Advanced Topics in Algebra参考文献 3被引用数 21

ひとこと要約

本稿では、自由群の生成子に関するローレンツ多項式上の非可換トレース関数の定義に基づく非可換特徴多項式が、常に代数的形式のべき級数であることを確立する。代数的組合せ論と非可換代数的級数論を用いて、非可換トレースに関連する母関数の代数的性質を証明し、非可換可積分性および双正則写像におけるローレンツ現象の枠組みを拡張する。

ABSTRACT

This is a slightly edited version of my talk on Mathematische Arbeitstagung 2011, Bonn. I present a result relating noncommutative Laurent polynomials with algebraic functions, and show examples of integrability and Laurent phenomenon for free noncommutative variables.

研究の動機と目的

• 自由群の群環上での非可換トレース関数に基づいて定義される非可換特徴多項式の代数的性質を確立すること。
• 任意の自由群代数の元 $ a $ に対して、非可換トレースの母関数 $ F_a(t) = \text{``Tr"}(a^k) t^k $ が代数的級数であることを示すこと。
• 非可換代数的構造と可積分系との間の関係を、特に双正則写像とラクス作用素を通じて探ること。
• 反復される非可換双正則写像における非可換ローレンツ現象を調査し、すべての反復が非可換ローレンツ多項式環に留まることを示すこと。
• 非可換設定における離散的対称性および可積分構造を提案・分析し、行列空間上の対合の合成に関する周期性の予想を提示すること。

提案手法

• 非可換トレース関数 $ \text{``Tr"} $ を、群環 $ \mathbb{C}[\text{Free}_n] $ 上の定数項写像として定義し、交換子上で消えるものとする。
• 非可換特徴多項式 $ P_a(t) = \exp\left( -\sum_{k\geq 1} \frac{\text{``Tr"}(a^k)}{k} t^k \right) $ を、$ t $ に関する形式的べき級数として構成する。
• 非可換代数的級数論（Chomsky–Schützenberger）を用いて、$ F_a(t) = \sum_{k\geq 1} \text{``Tr"}(a^k) t^k $ の代数的性質を確立し、これにより $ P_a(t) $ の代数的性質を証明する。
• $ p $-曲率が消えるというGrothendieck予想を適用し、微分方程式 $ \frac{d}{dt}P_a = -\frac{F_a}{t} P_a $ の解の代数的性質を導出する。
• 2変数における非可換可積分性を、二重特徴多項式 $ P_\rho(x,y) = \det(1 - x\rho(X) - y\rho(Y)) $ を用いて分析し、ヴィニコフ曲線およびそのヤコビアン上の線束と関連付ける。
• 双正則写像 $ S_l: (X,Y) \mapsto (XYX^{-1}, (1+Y^l)X^{-1}) $ の離散的対称性を調査し、組合せ論的および圏論的手法を用いて非可換ローレンツ現象を証明する。

実験結果

リサーチクエスチョン

• RQ1 自由群の群環に属する任意の元 $ a $ に対して、非可換特徴多項式 $ P_a(t) $ は代数的であるか？
• RQ2 自由群代数に属するすべての $ a $ に対して、母関数 $ F_a(t) = \sum_{k\geq 1} \text{``Tr"}(a^k) t^k $ は代数的級数のままであるか？
• RQ3 非可換二重特徴多項式 $ P_\rho(x,y) $ は、ヴィニコフ曲線およびそのヤコビアン上の線束を用いて可積分系をパラメトライズできるか？
• RQ4 反復される非可換双正則写像 $ S_l $ は、非可換ローレンツ多項式環 $ \mathbb{Z}\langle X^{\pm1}, Y^{\pm1} \rangle $ を保存するか？
• RQ5 $ 3\times3 $ 非可換行列上の合成 $ (I_1 \circ I_2 \circ I_3)^3 $ は、左および右の対角作用素の下で、対角共役に等しいか？

主な発見

• 任意の $ a \in \mathbb{C}[\text{Free}_n] $ に対して非可換特徴多項式 $ P_a(t) $ は代数的である。これは $ F_a(t) $ の代数的性質とGrothendieck予想の適用により示された。
• $ a = \sum_{i=1}^n (X_i + X_i^{-1}) $ の場合、特徴多項式は $ P_a(t) = \left( \frac{f(t)+1}{2} \right)^n / \left( \frac{nf+n-1}{2n-1} \right)^{n-1} $ と表され、ここで $ f(t) = \sqrt{1 - 4(2n-1)t^2} $ である。
• 非可換代数的級数論（ChomskyとSchützenbergerによる）により、母関数 $ F_a(t) $ は代数的である。
• 二重特徴多項式 $ P_\rho(x,y) $ は、次数 $ \leq d $ のヴィニコフ曲線を定義し、$ d \times d $ 表現のモジュライ空間 $ \mathcal{M}_d $ は、このような曲線の空間に、ヤコビアン上のトーラスに沿ったファイバー構造を持つ。
• 双正則写像 $ S_{-1}: (X,Y) \mapsto (XYX^{-1}, (1+Y^{-1})X^{-1}) $ は、$ 2d \times 2d $ ラクス行列 $ L(t) $ の共役類を保存する。実際、$ S_{-1}(L(t)) = V(t)L(t)V(t)^{-1} $ を満たす明示的な有理関数行列 $ V(t) $ が存在する。
• 非可換ローレンツ現象は $ S_l $ のような写像に対して成立し、すべての反復が $ \mathbb{Z}\langle X^{\pm1}, Y^{\pm1} \rangle $ に属する。これは三角化圏、代数的恒等式、および係数が \{0,1\} の組合せ論的手法により証明された。