[論文レビュー] Fredholm determinants, Jimbo-Miwa-Ueno tau-functions, and representation theory

Alexei Borodin, Percy Deift|ArXiv.org|Nov 5, 2001

Matrix Theory and Algorithms被引用数 13

ひとこと要約

この論文は、$U(\infty)$ の表現論に現れる連続的 ${}_2F_1$ 核に関連するフレドホルム行列式がパンレヴェ方程式を満たすことを確立している。整備された作用素理論とリーマン＝ヒルベルト問題を用いて、行列式のための常微分方程式系を導出し、それが等モノドロミー変形問題の $\tau$-関数であることを示した。これにより、表現論と可積分系、特殊関数が結びつけられる。

ABSTRACT

The authors show that a wide class of Fredholm determinants arising in the representation theory of "big" groups such as the infinite-dimensional unitary group, solve Painleve equations. Their methods are based on the theory of integrable operators and the theory of Riemann-Hilbert problems.

研究の動機と目的

• 連続的 ${}_2F_1$ 核が $U(\infty)$ の表現論に由来するフレドホルム行列式 $ D(s) = \det(1 - K|_{(s,\infty)}) $ の微分方程式を導出すること。
• このようなフレドホルム行列式とパンレヴェ方程式との関係を、シン核やヤコビ核のケースから拡張すること。
• 伝統的な手法における代数的複雑性を克服するため、リーマン＝ヒルベルト問題と整備された作用素に基づく新しい手法を開発すること。
• フレドホルム行列式が等モノドロミー変形問題の $\tau$-関数であることを示し、表現論と可積分系を結びつけること。

提案手法

• 整備された作用素理論を用いて、核 $ K(x,y) $ を $ A(x), B(x), \psi(x) $ で表現する。ここで $ A $ と $ B $ は超幾何関数を含む。
• リーマン＝ヒルベルト問題（RHP）枠組みを用いて、核 $ K $ を持つ積分作用素 $ L $ に対する $ 1 + L $ の逆を、曲線 $ \Sigma $ の外で正則な行列値解 $ m(\zeta) $ を通して表現する。
• ジャンプ行列 $ v(\zeta) = I + 2\pi i \, f(\zeta) g(\zeta)^t $ を持つ正規化された RHP を構築する。ここで $ f $ と $ g $ は核成分から導かれるベクトル関数である。
• 核 $ K $ とジャンプデータの関係を $ K(\zeta, \zeta') = \frac{G^t(\zeta') F(\zeta)}{\zeta - \zeta'} $ という式で表す。ここで $ F $ と $ G $ は RHP 解 $ m $ から導かれる。
• フレドホルム行列式 $ D(s) $ が等モノドロミー変形問題の $\tau$-関数に対応することを用いて、これがパンレヴェ方程式を満たすことを示す。
• 関数 $ \psi, A, B $ が $ \frac{d}{dx} \begin{bmatrix} \sqrt{\psi} A \\ \sqrt{\psi} B \end{bmatrix} = R(x) \begin{bmatrix} \sqrt{\psi} A \\ \sqrt{\psi} B \end{bmatrix} $ の形の微分方程式を満たすことを示し、これにより等モノドロミー理論が適用可能になる。

実験結果

リサーチクエスチョン

• RQ1 ${}_2F_1$ 核に対するフレドホルム行列式 $ D(s) = \det(1 - K|_{(s,\infty)}) $ がパンレヴェ方程式を満たすことが示せるか？
• RQ2 $U(\infty)$ における ${}_2F_1$ 核の表現論的起源を、リーマン＝ヒルベルト問題を通じて可積分系に結びつける方法は何か？
• RQ3 リーマン＝ヒルベルト問題は $ 1 + L $ の逆をどのように表現するのか？ そして、この表現が $ D(s) $ の微分方程式の導出をどのように容易にするのか？
• RQ4 標準的なトレイシー＝ワイドム法が、この核に対して洗練された微分方程式を導けないのはなぜか？ どのような代替的手法がこの問題を解決するか？
• RQ5 フレドホルム行列式 $ D(s) $ は等モノドロミー変形問題の $\tau$-関数であるか？ もしそうならば、どのパンレヴェ方程式を満たすのか？

主な発見

• 連続的 ${}_2F_1$ 核に関連するフレドホルム行列式 $ D(s) $ はパンレヴェ方程式を満たす。これは、ジムボ、ミワ、モリ、サトのシン核に関する結果を一般化したものである。
• 核 $ K(x,y) $ は整備可能であることが示され、関連するフレドホルム行列式は等モノドロミー変形問題の $ \tau $-関数として現れる。
• 核のためのリーマン＝ヒルベルト問題の解は、逆作用素 $ (1 + L)^{-1} $ の明示的表現を提供し、微分方程式の導出を可能にする。
• $ A(x), B(x), \psi(x) $ は一階微分方程式系 $ \frac{d}{dx} \begin{bmatrix} \sqrt{\psi} A \\ \sqrt{\psi} B \end{bmatrix} = R(x) \begin{bmatrix} \sqrt{\psi} A \\ \sqrt{\psi} B \end{bmatrix} $ を満たす。この系は等モノドロミー法の根幹をなす。
• トレイシー＝ワイドム法の代数的複雑性を避けるために、表現論的構造とリーマン＝ヒルベルト技法を用いる手法が採用された。
• 本論文は、無限次元表現論（特に $ U(\infty) $）と可積分系の間に深い結びつきを確立し、自然な表現の分解におけるスペクトル分布関数がパンレヴェ方程式に従うことを示した。