A geometric $q$-character formula for snake modules

Let $\mathscr{C}$ be the category of finite dimensional modules over the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ of a simple complex Lie algebra ${\mathfrak{g}}$. Let $\mathscr{C}^-$ be the subcategory introduced by Hernandez and Leclerc. We prove the geometric $q$-character formula conjectured by Hernandez and Leclerc in types $\mathbb{A}$ and $\mathbb{B}$ for a class of simple modules called snake modules introduced by Mukhin and Young. Moreover, we give a combinatorial formula for the $F$-polynomial of the generic kernel associated to the snake module. As an application, we show that snake modules correspond to cluster monomials with square free denominators and we show that snake modules are real modules. We also show that the cluster algebras of the category $\mathscr{C}_1$ are factorial for Dynkin types $\mathbb{A,D,E}$.