Title:Smooth $A_{\infty}$ structure on a diffeological loop space

Abstract:To construct an $A_{\infty}$-structure for a loop space in the category of diffeological spaces, we have two major problems. Firstly, the concatenation of paths in the category of diffeological spaces needs a small technical trick (see P.~I-Zemmour \cite{MR3025051}), which apparently restricts the number of iterations of concatenations. To resolve this difficulty, we use the notion of a reflexivity introduced by J.~Watts \cite{MR3153238}. Secondly, we do not have a smooth decomposition of an associahedron as a simplicial or a cubical complex. So we introduce a notion of a smooth cubic complex as an extension of a simplicial or a cubical complex. Using it, we can show, for a smooth CW complex, the existence of a smooth bijection from a smooth cubic complex to the smooth CW complex. Finally, we decompose an associahedron as a smooth cubic complex so that the structure maps among associahedra are smooth. Thus the smooth loop space of a nice diffeological space is a smooth $A_{\infty}$-space.