arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2112.00524math.QAmath.COmath.RT
收藏

晶体不变量理论I:几何RSK

Crystal invariant theory I: Geometric RSK

Benjamin Brubaker, Gabriel Frieden, Pavlo Pylyavskyy, Travis Scrimshaw

摘要:

Berenstein和Kazhdan的几何晶体理论给出了作用于复$m \times n$矩阵空间的两个交换几何晶体算子族。这些都是双有理的行动,我们认为作为一个晶体理论的模拟通常行动的${\rm SL}_m \times {\rm SL}_n$对$m \times n$矩阵。我们证明了几何晶体算子族的有理不变式域(和多项式不变量环)是由一组代数独立的多项式生成的,这些多项式是$m$(或$n$)变量的初等对称多项式的推广.我们还给出了一组代数独立的发电机为这些领域的交集,我们解释了这些领域是如何位于更大的领域内的几何$R$ -矩阵不变量,这是研究了林和第三命名的作者下的名称循环对称函数。在我们的证明中的关键工具是几何RSK对应的Noumi和山田,我们表明是一个同构的几何晶体。在与Thomas Lam合著的附录中,我们证明了循环对称函数的基本定理,即几何$R$ -矩阵的多项式不变量由循环初等对称函数生成。

英文摘要:

Berenstein and Kazhdan's theory of geometric crystals gives rise to two commuting families of geometric crystal operators acting on the space of complex $m \times n$ matrices. These are birational actions, which we view as a crystal-theoretic analogue of the usual action of ${\rm SL}_m \times {\rm SL}_n$ on $m \times n$ matrices. We prove that the field of rational invariants (and ring of polynomial invariants) of each family of geometric crystal operators is generated by a set of algebraically independent polynomials, which are generalizations of the elementary symmetric polynomials in $m$ (or $n$) variables. We also give a set of algebraically independent generators for the intersection of these fields, and we explain how these fields are situated inside the larger fields of geometric $R$-matrix invariants, which were studied by Lam and the third-named author under the name loop symmetric functions. The key tool in our proof is the geometric RSK correspondence of Noumi and Yamada, which we show to be an isomorphism of geometric crystals. In an appendix jointly written with Thomas Lam, we prove the fundamental theorem of loop symmetric functions, which says that the polynomial invariants of the geometric $R$-matrix are generated by the loop elementary symmetric functions.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑