Kleshchev multipartitions, affine Mirković-Vilonen polytopes, and representations of KLR algebras in type ${\mathtt{A}}_1^{(1)}$

We construct explicit isomorphisms between three models for the $B(\mathrm{\infty })$ crystal in type ${\mathtt{A}}_1^{(1)}$: affine Mirković–Vilonen polytopes, Kleshchev multipartitions, and a new model we call upper ledge diagrams. We also present some clarifying results on these crystals, giving a direct method for completing an affine MV polytope from the data of one of its boundary root partitions, and a non-iterative recognition theorem which characterizes Kleshchev multipartitions in type ${\mathtt{A}}_1^{(1)}$. We apply these results to the representation theory of KLR algebras, where they yield a combinatorial dictionary between cuspidal- and cellular-theoretic frameworks, along with some augmented branching rules for real root functors of induction and restriction.