Smooth 𝐴_{∞}-form on a diffeological loop space

DOI10.1090/CONM/794/15926MaRDI QIDQ6120751zbMATH OpenOpenAlexFDO

Authors Norio Iwase

Publication date 21 February 2024

Published in Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2207.08402

zbMATH Keywords

diffeologyhomotopy associativity\(A_{\infty}\) structure

Mathematics Subject Classification ID

Differentiable manifolds, foundations (58A05) Cellularity in topological manifolds (57N60) Differential spaces (58A40) Topos-theoretic approach to differentiable manifolds (58A03)

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.

Recommendations

• Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds
• DIFFEOLOGICAL SPACES
• The homotopy theory of diffeological spaces
• Model category of diffeological spaces
• The smooth structure of the space of piecewise-smooth loops

Cites work

• scientific article; zbMATH DE number 3953872 (Why is no real title available?)
• scientific article; zbMATH DE number 4109640 (Why is no real title available?)
• scientific article; zbMATH DE number 3789519 (Why is no real title available?)
• scientific article; zbMATH DE number 1077733 (Why is no real title available?)
• scientific article; zbMATH DE number 5219542 (Why is no real title available?)
• Dichotomy of the addition of natural numbers
• Diffeology
• Iterated Integrals, Fundamental Groups and Covering Spaces
• Iterated integrals of differential forms and loop space homology
• Iterated path integrals
• Mayer-Vietoris sequence for differentiable/diffeological spaces
• Model category of diffeological spaces
• \(H\)-spaces from a homotopy point of view

This page was built for publication: Smooth 𝐴_{∞}-form on a diffeological loop space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6120751)