 Solution

Take the diagonal Cartan subalgebra of ${\mathfrak{sl}}_3$ and let ${\epsilon }_i$ select its $i$th diagonal entry, so ${\epsilon }_1+{\epsilon }_2+{\epsilon }_3=0$ on it. Use simple roots ${\alpha }_1={\epsilon }_1-{\epsilon }_2$, ${\alpha }_2={\epsilon }_2-{\epsilon }_3$. The fundamental weights are ${\omega }_1={\epsilon }_1$ and ${\omega }_2=-{\epsilon }_3={\epsilon }_1+{\epsilon }_2$. The defining representation $V$ has highest vector $e_1$ and the dual has highest vector $e_3^{\ast }$. ThusTheir crystal basis diagrams are $B:1\stackrel{1}{\to }2\stackrel{2}{\to }3$ and $B^{\vee }:\bar{3}\stackrel{2}{\to }\bar{2}\stackrel{1}{\to }\bar{1}$, with weights ${\epsilon }_i$ and $-{\epsilon }_i$ respectively. Use the same crystal tensor-product rule as in2(d): lowering acts on the first factor when ${\phi }_i(u)>{\epsilon }_i(v)$; otherwise on the second. Raising uses the first factor when ${\phi }_i(u)\ge {\epsilon }_i(v)$, so it reverses each lowering arrow. An edge is absent if the selected factor operation is zero.

For $B\otimes B$, abbreviate $i\otimes j$ by $ij$. The complete color-one edge list is $11\to 21\to 22$, $31\to 32$, $13\to 23$; the complete color-two list is $21\to 31$, $22\to 32\to 33$, $12\to 13$. There are two connected components:For example ${\tilde{f}}_1(1\otimes 1)=2\otimes 1$ because ${\phi }_1(1)=1>{\epsilon }_1(1)=0$, whereas ${\tilde{f}}_1(1\otimes 2)=0$ because equality selects the second factor and ${\tilde{f}}_1(2)=0$. This explains which ordered tensor labels lie in each component. At the representation level, the two components are the six-dimensional symmetric square and the three-dimensional exterior square:

For $B\otimes B^{\vee }$, abbreviate $i\otimes \bar{j}$ by $i\bar{j}$. The complete color-one edge list is $1\bar{3}\to 2\bar{3}$, $1\bar{2}\to 2\bar{2}\to 2\bar{1}$, $3\bar{2}\to 3\bar{1}$; the complete color-two list is $1\bar{3}\to 1\bar{2}$, $2\bar{3}\to 3\bar{3}\to 3\bar{2}$, $2\bar{1}\to 3\bar{1}$. The isolated vertex is $1\bar{1}$. Thus the two highest vertices are $1\bar{3}$ of weight ${\epsilon }_1-{\epsilon }_3={\omega }_1+{\omega }_2$, and $1\bar{1}$ of weight zero. Lowering from the former visits all eight other vertices. ConsequentlyThis also follows concretely from $V\otimes V^{\ast }\cong \mathrm{End}(V)={\mathfrak{sl}}_3\oplus \mathbb{C}I$: the first term is the Adjoint representation, with highest weight the highest root, and the second is the trivial Lie algebra representation. The ordinary invariant vector is ${\sum }_i{e}_i\otimes e_i^{\ast }$, not the bare tensor suggested by the singleton's crystal label. The explicit edge lists and the diagrams exhibit all eighteen tensor vertices and justify the four highest weights.