Smooth $A_{\infty}$ form on a diffeological loop space

TL;DR

This paper constructs a smooth $A_{ abla}$-form on diffeological loop spaces by introducing a $q$-cubic set to address technical issues in concatenation and associahedron decomposition, establishing the space as an $A_{ abla}$-space.

Contribution

It introduces the notion of a $q$-cubic set and demonstrates that the smooth loop space of a reflexive diffeological space forms an $A_{ abla}$-space, resolving key technical challenges.

Findings

Established a smooth $A_{ abla}$-structure on loop spaces

Introduced $q$-cubic sets for better dimensional properties

Provided an alternative concatenation method in appendix

Abstract

To construct an $A_{\infty}$-form for a loop space in the category of diffeological spaces, we have two minor 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. Secondly, we do not know a natural smooth decomposition of an associahedron as a simplicial or a cubical complex. To resolve these difficulties, we introduce a notion of a $q$-cubic set which enjoys good properties on dimensions and representabilities, and show, using it, that the smooth loop space of a reflexive diffeological space is a h-unital smooth $A_{\infty}$-space. In appendix, we show an alternative solution by modifying the concatenation to be stable without assuming reflexivity for spaces nor stability for paths.