3 problems
Tropical tensor-product conjecture. The tropicalization of is an isomorphism of torsion-free Kashiwara crystals
Schubert-cell crystal conjecture. For every ,
Injectivity conjecture. For every connected component of , the restriction of is injective.