Verma Bases and Kashiwara-Nakashima Tableaux of ${\mathfrak{s}\mathfrak{p}}_4$

We construct a one-to-one correspondence between the Verma basis vectors of a finite dimensional irreducible representation $L(\lambda )$ of the symplectic Lie algebra ${\mathfrak{s}\mathfrak{p}}_4$ and the Kashiwara-Nakashima tableaux of ${\mathfrak{s}\mathfrak{p}}_4$ with shape $\lambda$ naturally. We also give a proof of the linear independence of the Verma vector system directly.