[论文解读] 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

一句话总结

本文为环群建立了全正性理论，引入了漩涡（whirls）和卷曲（curls）作为 $GL_n(\mathbb{R}[t,t^{-1}])$ 和 $GL_n(\mathbb{R}((t)))$ 的全非负部分的基本生成元。该文通过无穷乘积形式给出了一个典范分解，并将其与柱状网络（cylindric networks）及子式比值极限联系起来，推广了经典全正性结果与全正函数理论。

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)))$ 的全非负部分的结构。
• 建立全非负矩阵的典范分解，以无穷乘积形式表示漩涡与卷曲的乘积。
• 通过柱状网络与子式比值极限，将环群的代数结构与组合数学联系起来。
• 通过子式极限推广 Berenstein-Fomin-Zelevinsky 的房间猜想（Chamber Ansatz）至环群设定。

提出的方法

• 通过拉伦特级数系数得到的关联无限周期矩阵，定义环群元素的全非负性。
• 引入漩涡与卷曲作为特殊生成元，其作用类似于 Edrei-Thoma 定理中极点与零点的角色。
• 利用双有理 $R$-矩阵建立卷曲之间的交换关系，与离散 Painlevé 系统及几何晶体理论相联系。
• 利用柱状 Lindström 引理，将无限矩阵的子式与柱状网络中的路径计数联系起来。
• 通过无穷乘积形式的 Chevalley 生成元与漩涡/卷曲分量，构造双重整全非负矩阵的典范形式。
• 通过子式比值的极限解决分解问题，将房间猜想推广至环群设定。

实验结果

研究问题

• RQ1 如何通过关联的无限周期矩阵，定义 $GL_n(\mathbb{R}((t)))$ 元素的全非负性？
• RQ2 环群 $GL_n(\mathbb{R}[t,t^{-1}])$ 和 $GL_n(\mathbb{R}((t)))$ 的全非负部分具有何种结构？
• RQ3 漩涡与卷曲的无穷乘积如何分解全非负矩阵，其典范形式为何？
• RQ4 卷曲与漩涡的参数与关联全正函数中元素的极点和零点之间有何关系？
• 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$ 为对角矩阵。
• 卷曲之间的交换关系诱导出一个双有理对称群作用，此前已在离散 Painlevé 系统与几何晶体理论中出现。
• 全非负矩阵的分解通过子式比值的极限实现，将房间猜想推广至环群设定。
• 本文通过将元素表示为子式比值的极限，解决了分解问题，并在特殊情形（如 $n=3$）给出了显式公式。