[論文レビュー] Total positivity in loop groups I: whirls and curls

Thomas Lam, Pavlo Pylyavskyy|ArXiv.org|Dec 4, 2008

Algebraic structures and combinatorial models参考文献 27被引用数 13

ひとこと要約

本稿は、$GL_n(\mathbb{R}[t,t^{-1}])$ および $GL_n(\mathbb{R}((t)))$ の完全非負部分の完全正則性理論を確立し、輪郭（whirls）と渦巻（curls）を基本的生成子として導入する。無限積による標準的因子分解を提供し、シリンダーネットワークおよび小行列式比の極限と関連付けることで、古典的な完全正則性および完全正則関数の結果を一般化する。

ABSTRACT

This is the first of a series of papers where we develop a theory of total positivity for loop groups. In this paper, we completely describe the totally nonnegative part of the polynomial loop group GL_n(\R[t,t^{-1}]), and for the formal loop group GL_n(\R((t))) we describe the totally nonnegative points which are not totally positive. Furthermore, we make the connection with networks on the cylinder. Our approach involves the introduction of distinguished generators, called whirls and curls, and we describe the commutation relations amongst them. These matrices play the same role as the poles and zeroes of the Edrei-Thoma theorem classifying totally positive functions (corresponding to our case n=1). We give a solution to the ``factorization problem'' using limits of ratios of minors. This is in a similar spirit to the Berenstein-Fomin-Zelevinsky Chamber Ansatz where ratios of minors are used. A birational symmetric group action arising in the commutation relation of curls appeared previously in Noumi-Yamada's study of discrete Painlevé dynamical systems and Berenstein-Kazhdan's study of geometric crystals.

研究の動機と目的

• ループ群における完全正則性の包括的理論を構築し、$GL_n(\mathbb{R})$ や完全正則関数における古典的結果を拡張すること。
• 多項式および形式的ループ群 $GL_n(\mathbb{R}[t,t^{-1}])$ および $GL_n(\mathbb{R}((t)))$ の完全非負部分を特徴付けること。
• 完全非負行列の無限積による標準的因子分解を確立すること。
• シリンダーネットワークおよび小行列式比の極限を通じて、ループ群の代数的構造と組合せ論とを結びつけること。
• 小行列式の極限を用いて、ベルステイン＝フォーマン＝ツェレヴィンスキーのチェンバーアンサッツをループ群設定に一般化すること。

提案手法

• ループ群の要素に対する完全非負性を、ローレン卜級数係数から得られる無限周期行列を用いて定義する。
• エドライ＝トーマの定理における極と零点に類似した役割を果たす、輪郭と渦巻を区別された生成子として導入する。
• 双正則な $R$-行列を用いて渦巻同士の交換関係を確立し、離散パンレヴェ系および幾何的クリスタルと関連付ける。
• シリンダーラインストローム補題を用いて、無限行列の小行列式とシリンダーネットワーク内の経路数とを関連付ける。
• 無限積によるチェヴァリーゲネレーターおよび輪郭／渦巻成分を用いた、二重整数的完全非負行列の標準形を構成する。
• 小行列式の比の極限を用いて因子分解問題を解き、チェンバーアンサッツをループ群設定に一般化する。

実験結果

リサーチクエスチョン

• RQ1 $GL_n(\mathbb{R}((t)))$ の要素に対して、関連する無限周期行列を用いて完全非負性をどのように定義できるか。
• RQ2 $GL_n(\mathbb{R}[t,t^{-1}])$ および $GL_n(\mathbb{R}((t)))$ のループ群の完全非負部分の構造は何か。
• RQ3 無限個の輪郭と渦巻の積は完全非負行列をどのように因子分解し、その標準形は何か。
• RQ4 渦巻と輪郭のパrameterは、関連する完全正則関数の成分の極と零点とどのように関係するか。
• RQ5 標準形にある二つの行列の積を再び標準形に書き直すにはどうすればよく、無限個の輪郭と渦巻の間の交換関係は何か。

主な発見

• $GL_n(\mathbb{R}[t,t^{-1}])$ の完全非負部分は、輪郭と渦巻によって生成され、その半群構造が完全に記述されている。
• 任意の完全正則行列 $X$ に対して、$\lim_{s\to\infty} \frac{\Delta_{I,J^s}(X)}{\Delta_{I',J^s}(X)}$ が存在し、増加列 $J^s$ の選び方によらず一定であることが示され、小行列式比の極限の重要な性質が確立された。
• 二重整数的完全非負行列の標準形は $X = ZYW$ で与えられ、$Z$ と $W$ はそれぞれ無限積の渦巻と輪郭、$Y$ は対角行列である。
• 渦巻同士の交換関係から、双正則な対称群作用が生じ、これは以前に離散パンレヴェ系および幾何的クリスタルで観察されていた。
• 完全非負行列の因子分解は、小行列式の比の極限を用いて達成され、チェンバーアンサッツがループ群設定に一般化された。
• 本稿では、要素を小行列式の比の極限として表現することにより因子分解問題を解決し、特に $n=3$ の場合に明示的な公式が得られている。