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

DOI10.1090/CONM/794/15926arXiv2207.08402OpenAlexW4391528154MaRDI QIDQ6120751FDOQ6120751

Authors: Norio Iwase 

Publication date: 21 February 2024

Published in: Contemporary Mathematics (Search for Journal in Brave)

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.

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

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

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)

Cites Work

• Iterated integrals of differential forms and loop space homology
• Diffeology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Iterated path integrals
• Title not available (Why is that?)
• \(H\)-spaces from a homotopy point of view
• Title not available (Why is that?)
• Iterated Integrals, Fundamental Groups and Covering Spaces
• Dichotomy of the addition of natural numbers
• Title not available (Why is that?)
• Model category of diffeological spaces
• Mayer-Vietoris sequence for differentiable/diffeological spaces

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)