The tensor structure on the representation category of the $\mathcal{W}_p$ triplet algebra
We study the braided monoidal structure that the fusion product induces on
the abelian category $\mathcal{W}_p$-mod, the category of representations of
the triplet $W$-algebra $\mathcal{W}_p$. The $\mathcal{W}_p$-algebras are a
family of vertex operator algebras that form the simplest known examples of
symmetry algebras of logarithmic conformal field theories. We formalise the
methods for computing fusion products, developed by Nahm, Gaberdiel and Kausch,
that are widely used in the physics literature and illustrate a systematic
approach to calculating fusion products in non-semi-simple representation
categories. We apply these methods to the braided monoidal structure of
$\mathcal{W}_p$-mod, previously constructed by Huang, Lepowsky and Zhang, to
prove that this braided monoidal structure is rigid. The rigidity of
$\mathcal{W}_p$-mod allows us to prove explicit formulae for the fusion product
on the set of all simple and all projective $\mathcal{W}_p$-modules, which were
first conjectured by Fuchs, Hwang, Semikhatov and Tipunin; and Gaberdiel and
Runkel.