Crystal invariant theory I: Geometric RSK

TL;DR

This paper studies geometric crystal invariants related to the geometric RSK correspondence, proving their algebraic independence and describing their structure within the broader context of geometric R-matrix invariants and loop symmetric functions.

Contribution

It establishes the algebraic independence of certain invariant polynomials under geometric crystal actions and connects these invariants to geometric RSK and loop symmetric functions.

Findings

Field of rational invariants is generated by algebraically independent polynomials.

Intersection of invariant fields is generated by specific algebraically independent elements.

Geometric RSK acts as an isomorphism of geometric crystals.

Abstract

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.