Symmetric crystals for \(\mathfrak{gl}_{\infty}\) (Q2518197)

The authors prove the existence of the symmetric crystal basis and the global basis for the algebra \(\mathfrak{gl}_{\infty}\). The strategy of the proof is as follows: The authors first construct a PBW type basis and then explicitly compute the action of the generators \(E_i\) and \(F_i\) in this basis. Then the authors prove that the PBW basis gives a crystal basis by estimating coefficients of the actions of \(E_i\) and \(F_i\) and using a criterion for crystal bases, which they establish.