On the matching complexes of categorical product of path graphs

The matching complex $\mathsf{M}(G)$ of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. These complexes appear in various places and found applications in many areas of mathematics including computational geometry, representation theory, combinatorics, etc. In this article, we consider the matching complexes of the categorical product $P_n \times P_m$ of path graphs $P_n$ and $P_m$. For $m = 1$, $P_n \times P_m$ is a discrete graph and therefore its matching complex is the void complex. For $m = 2$, $\M(P_n \times P_m)$ has been proved to be homotopy equivalent to a wedge of spheres by Kozlov. We show that for $n \geq 2$ and $3 \leq m \leq 5$, the matching complex of $P_n \times P_m$ is homotopy equivalent to a wedge of spheres. For $m =3$, we explicitly compute the number and dimension of spheres appearing in the wedge. Furthermore, for $m \in \{4, 5\}$, we provide the minimum and maximum dimensions of spheres appearing in the wedge in the homotopy type of $\mathsf{M}(P_n \times P_m)$.