[論文レビュー] Littelmann path model for geometric crystals

Reda Chhaibi|arXiv (Cornell University)|May 25, 2014

Algebraic structures and combinatorial models参考文献 18被引用数 3

ひとこと要約

本稿は、Berindein と Kazhdan の意味における幾何的コホートのための幾何的 Littelmann パスモデルを構築する。実 Cartan の部分代数 𝔞 内の連続パスを用い、Littelmann の区分的線形反射を幾何的に上げる積分変換として定義される根作用素を持つ。主な結果は、パスモデルから群の図式へのクリスタル準同型写像であり、その制限が連結成分上で同型となること。これにより、幾何的 Robinson-Schensted 対応が実現され、幾何的 Pitman 変換が最高重量パス変換として特定される。

ABSTRACT

We construct a path model for geometric crystals in the sense of Berenstein and Kazhdan. Our model is in every way similar to Littelmann's and tropicalizes to his path model. This paper lays the foundational material for a subsequent work where we examine the measure induced on geometric crystals by Brownian motion. If we call Berenstein and Kazhdan's realization of geometric crystals the group picture, we prove that the path model projects onto the group picture thanks to a morphism of crystals that restricts to an isomorphism on connected components. This projection is in fact the geometric analogue of the Robinson-Schensted correspondence and involves solving a left-invariant differential equation on the Borel subgroup. Moreover, we identify the geometric Pitman transform $\mathcal{T}_{w_0}$ introduced by Biane, Bougerol and O'Connell as the transform giving the path with highest weight, in the geometric crystal path model. This allows to prove a geometric version of Littelmann's independence theorem. The geometric Robinson-Schensted correspondence is detailed in a special section, because of its importance. Finally, we exhibit the Kashiwara and Schützenberger involutions in both the group picture and the path model. In an appendix, we explain how the left-invariant flow is related to the image of the Casimir element in Kostant's Whittaker model.

研究の動機と目的

• Berindein と Kazhdan の意味における幾何的コホートのための Littelmann のパスモデルの幾何的類似体を構築し、彼の組合せ的枠組みを幾何的設定に拡張すること。
• パスモデルから Berindein と Kazhdan の群の図式（幾何的コホート）への準同型写像を確立し、それが連結成分上で同型であることを証明すること。
• 幾何的 Pitman 変換をパスモデルにおける最高重量パスを生成する変換として同定し、幾何的 Robinson-Schensted 対応を実現すること。
• Kashiwara および Schützenberger の対合を、両方の図式（群の図式およびパスモデル）において明示的に構成し、これらの古典的クリスタル作用素の幾何的上昇を提供すること。
• Borel 部分群上の左不変微分方程式と Kostant の Whittaker モデル、および量子 Toda ハミルトニアンとの関係を明らかにし、幾何的コホートを確率過程および可積分系と結びつけること。

提案手法

• 実 Cartan の部分代数 𝔞 内の連続パスの空間に、スケーリングを用いて同値なモデルの族を生成することで、幾何的コホート構造を構築する。
• 根作用素を、Littelmann の区分的線形反射スキームを幾何的に上げる積分変換として定義し、クリスタル構造を保存する。
• パスモデルから群の図式（Borel 部分群 B 内の完全正の元）への準同型写像を確立し、それが連結成分上で同型に制限されることを示す。
• 幾何的 Pitman 変換 𝒯_{w₀} が、任意のパスをパスモデル内での最高重量代表元に写す変換として特定されること。
• ストリングパラメータおよび Lusztig パラメータを用いてパスをパラメトライズし、逆数の補題により座標に基づくクリスタル作用素と連結性の基準を可能にする。
• B 上の左不変フローと Kostant の Whittaker モデルにおける Casimir 要素の像との関係を示し、それが 𝔞 上で量子 Toda ハミルトニアンに還元されることを示す。

実験結果

リサーチクエスチョン

• RQ1 Littelmann のパスモデルを、Berindein と Kazhdan の意味における幾何的コホートの文脈にどのように幾何的に上昇させることができるか？
• RQ2 幾何的 Robinson-Schensted 対応の幾何的類似体は何か？ そして、パス変換を通じてどのように実現されるか？
• RQ3 幾何的 Pitman 変換は、パスモデルにおける最高重量パスとどのように関係するか？
• RQ4 Kashiwara および Schützenberger の対合は、両方の図式（群の図式およびパスモデル）においてどのように実現されるか？
• RQ5 B 上の左不変微分方程式と Kostant の Whittaker モデルにおける量子 Toda ハミルトニアンとの関係は何か？

主な発見

• パスモデルは、連結成分上で同型に制限されるクリスタル準同型写像を通じて群の図式へと射影され、クリスタル同型の幾何的上昇が確立される。
• 幾何的 Pitman 変換 𝒯_{w₀} は、パスモデル内での最高重量パスを生成する変換として特定され、幾何的 Robinson-Schensted 対応が実現される。
• パスモデルが実 Cartan の部分代数 𝔞 内の連続パスの幾何的コホートと同型であることが示され、テンソル積はパスの連結、重み写像はパスの端点によって与えられる。
• Borel 部分群 B 上の左不変微分方程式は、演算子 Ω_χ によって支配され、これが 𝔞 上で量子 Toda ハミルトニアンに還元されることを示し、幾何的コホートと可積分系を結びつける。
• Kashiwara および Schützenberger の対合が、両方の図式において明示的に構成され、これらの基本的クリスタル作用素の幾何的上昇が提供される。
• 幾何的 Littelmann モデルは、Littelmann の元来のパスモデルにトロピカル化され、古典理論との整合性が確認される。