arXiv++ Combinatorics

We give a formula for the crystal structure on the integer points of the string polytopes and the $*$-crystal structure on the integer points of the string cones of type $A$ for arbitrary reduced words. As a byproduct we obtain defining inequalities for Nakashima-Zelevinsky string polytopes. Furthermore, we give an explicit description of the Kashiwara $*$-involution on string data for a special choice of reduced word.

For arbitrary reduced words we give formulas for the crystal structures on string and Lusztig data of type A as well as the defining inequalities of the corresponding polytopes revealing certain dualities between them.

We establish the relation of the potential function constructed by Gross-Hacking-Keel-Kontsevich's and Berenstein-Kazhdan's decoration function on the open double Bruhat cell in the base affine space $G/\mathcal{N}$ of a simple, simply connected, simply laced algebraic group $G$. As a byproduct we derive explicit identifications of polyhedral parametrization of canonical bases of the ring of regular functions on $G/\mathcal{N}$ arising from the tropicalizations of the potential and decoration function with the classical string and Lusztig parametrizations.

We initiate a new approach to the study of the combinatorics of several parametrizations of canonical bases. In this work we deal with Lie algebras of type $A$. Using geometric objects called Rhombic tilings we derive a "crossing formula" to compute the actions of the crystal operators on Lusztig data for an arbitrary reduced word of the longest Weyl group element. We provide the following three applications of this result. Using the tropical Chamber Ansatz of Berenstein-Fomin-Zelevinsky we prove an enhanced version of the Anderson-Mirković conjecture for the crystal structure on MV polytopes. We establish a duality between Kashiwara's string and Lusztig's parametrization, revealing that each of them is controlled by the crystal structure of the other. We identify the potential functions of the unipotent radical of $SL_n$ defined by Berenstein-Kazhdan and Gross-Hacking-Keel-Kontsevich, respectively, with a function arising from the crystal structure on Lusztig data.