Free maps in critical dimension on $\mathbb{T}^m$

The critical dimension for free maps on m-manifolds is $q_m=m(m+3)/2$. We show that $Free^\infty(\mathbb{T}^m,\mathbb{R}^{q_m})\neq\emptyset$ for every $m\ge 1$. The main tool is a product construction: given free maps in critical dimension on $\mathbb{T}^a$ and on $\mathbb{T}^b$, together with a cr