[论文解读] 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元关联，并研究单射性与贪心分解。

提出的方法

• 将辫子极限定义为辫子移动的无限序列，将有限辫子关系推广至无限约化字。
• 通过反演集与双凸集，定义极限弱序为无限约化字上的偏序。
• 利用展开映射将洛朗级数矩阵与无限周期矩阵关联，定义完全非负性。
• 应用房间猜想与子式比值，推导分解中参数的显式公式。
• 采用Demazure乘积将非约化的无限字约化为约化形式，同时保持半群结构。
• 引入贪心分解，并利用子式比值与Temperley-Lieb不变量证明其唯一性与正性。

实验结果

研究问题

• RQ1 由Chevalley生成元生成的极限半群中，每个元素是否都能唯一分解为与无限Coxeter元匹配的无限乘积？
• RQ2 辫子极限与极限弱序如何形式化完全正则性中无限约化字的组合结构？
• RQ3 在无限情形下，完全正则交换引理是否成立，以确保辫子移动保持完全非负性？
• RQ4 环群中完全非负矩阵的每个分解是否均可由贪心分解导出？
• RQ5 在极限弱序中，能对给定矩阵进行贪心分解的无限约化字集合是否构成主理想？

主要发现

• 由Chevalley生成元生成的极限半群可唯一分解为顺序类型同构于自然数的无限乘积，从而将所有元素的研究简化为此类有序乘积。
• 极限弱序是无限约化字上的良定义偏序，由反演集的包含关系诱导，并与辫子极限相容。
• 完全正则交换引理成立：在Coxeter群中，经典交换引理在以子式不等式表达时，保持完全非负性。
• 对于 $ \tilde{U}_{\text{pol}}^{\text{geq 0}} $ 中任意 $ X \neq \text{Id} $，其存在唯一贪心分解为Chevalley生成元的无限乘积。
• 对任意 $ X \neq \text{Id} $，能对 $ X $ 进行贪心分解的无限约化字集合在极限弱序中构成一个理想，且该理想猜想为一个主理想。
• 贪心分解中的参数可通过子式比值表达，正性通过Temperley-Lieb不变量显式体现，但显式正性公式仍是开放问题。