[論文レビュー] Total positivity in loop groups II: Chevalley generators

Thomas Lam, Pavlo Pylyavskyy|ArXiv.org|Jun 2, 2009

Advanced Combinatorial Mathematics参考文献 9被引用数 5

ひとこと要約

この論文は、無限積のChevalley生成子を用いてループ群における完全正則性の理論を展開し、バターン極限と極限弱順序を導入して非可換構造を扱う。極限半群の要素に対して一意的因数分解を証明し、すべてのこのような要素が無限Coxeter要素に対応する因数分解を持つことを示し、古典的Coxeter群の交換補題を完全正則性の文脈に拡張する完全正則交換補題を確立する。

ABSTRACT

This is the second in a series of papers developing a theory of total positivity for loop groups. In this paper, we study infinite products of Chevalley generators. We show that the combinatorics of infinite reduced words underlies the theory, and develop the formalism of infinite sequences of braid moves, called a braid limit. We relate this to a partial order, called the limit weak order, on infinite reduced words. The limit semigroup generated by Chevalley generators has a transfinite structure. We prove a form of unique factorization for its elements, in effect reducing their study to infinite products which have the order structure of the natural numbers. For the latter infinite products, we show that one always has a factorization which matches an infinite Coxeter element. One of the technical tools we employ is a totally positive exchange lemma which appears to be of independent interest. This result states that the exchange lemma (in the context of Coxeter groups) is compatible with total positivity in the form of certain inequalities.

研究の動機と目的

• Chevalley生成子の無限積を分析することで、完全正則性の理論をループ群へ拡張すること。
• 無限の既約語に対するバターン極限と極限弱順序の形式的枠組みを構築すること。
• Chevalley生成子によって生成される極限半群に対する一意的因数分解定理を確立すること。
• バターン移動が完全非負性を保つことを保証する完全正則交換補題を証明すること。
• 因数分解を無限Coxeter要素に関連づけ、単射性とグリーディ因数分解を研究すること。

提案手法

• バターン極限を無限個のバターン移動の列として導入し、有限バターン関係を無限既約語に一般化する。
• 反転集合と双凸集合を用いて、無限既約語上の部分順序として極限弱順序を定義する。
• 展開写像を用いてローレンティス級数行列と無限周期行列を関連付け、完全非負性を定義する。
• チャーマー・アンザッツと小行列比を適用して、因数分解におけるパラメータの明示的公式を導出する。
• デマズール積を用いて非既約な無限語を既約なものに還元し、半群構造を保存する。
• グリーディ因数分解を導入し、小行列比とTemperley-Lieb不変量を用いてその一意性と正則性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Chevalley生成子によって生成される極限半群のすべての要素は、無限Coxeter要素に対応する無限積として一意的に因数分解可能か？
• RQ2 バターン極限と極限弱順序は、完全正則性における無限既約語の組合せ論をどのように形式化するか？
• RQ3 無限設定において完全正則交換補題は有効か。すなわち、バターン移動が完全非負性を保つのか？
• RQ4 ループ群における完全非負行列のすべての因数分解は、グリーディ因数分解から生じるか？
• RQ5 与えられた行列に対してグリーディ因数分解を許容する無限既約語の集合は、極限弱順序における主イデアルか？

主な発見

• Chevalley生成子によって生成される極限半群は、自然数の順序型に同型な順序型を持つ無限積への一意的因数分解を許容し、すべての要素の研究をこのような順序付き積に還元できる。
• 極限弱順序は、反転集合の包含関係によって誘導され、バターン極限と整合する、well-definedな部分順序である。
• 完全正則交換補題は成立する：Coxeter群における古典的交換補題は、小行列に関する不等式として表現することで、完全非負性を保つ。
• $ X \neq \text{Id} $ である任意の $ X $ に対して、$ \tilde{U}_{\text{pol}}^{\text{geq 0}} $ 内に一意的なグリーディ因数分解が存在し、Chevalley生成子の無限積として表される。
• 任意の $ X \neq \text{Id} $ に対して、グリーディ因数分解を許容する無限既約語の集合は極限弱順序におけるイデアルをなし、このイデアルは主イデアルであると予想されている。
• グリーディ因数分解におけるパラメータは小行列比で表現可能であり、正則性はTemperley-Lieb不変量を通じて顕在化するが、明示的な正則な公式は未解決の問題のままである。