Higher algebra of A_\infty and \Omega B As-algebras in Morse theory II

arXiv2102.08996MaRDI QIDQ6360894FDOQ6360894

Thibaut Mazuir

Publication date: 17 February 2021

Abstract: This paper introduces the notion of $n$-morphisms between two $A_{i}nfty$-algebras, such that 0-morphisms correspond to standard $A_{i}nfty$-morphisms and 1-morphisms correspond to $A_{i}nfty$-homotopies between $A_{i}nfty$-morphisms. The set of higher morphisms between two $A_{i}nfty$-algebras then defines a simplicial set which has the property of being an algebraic $infty$-category. The operadic structure of $n-A_{i}nfty$-morphisms is also encoded by new families of polytopes, which we call the $n$-multiplihedra and which generalize the standard multiplihedra. These are constructed from the standard simplices and multiplihedra by lifting the Alexander-Whitney map to the level of simplices. Rich combinatorics arise in this context, as conveniently described in terms of overlapping partitions. Shifting from the $A_{i}nfty$ to the $OmegaBAs$ framework, we define the analogous notion of $n$-morphisms between $OmegaBAs$-algebras, which are again encoded by the $n$-multiplihedra, endowed with a refined cell decomposition by stable gauged ribbon tree type. We then realize this higher algebra of $A_{i}nfty$ and $OmegaBAs$-algebras in Morse theory. Given two Morse functions $f$ and $g$, we construct $n-OmegaBAs$-morphisms between their respective Morse cochain complexes endowed with their $OmegaBAs$-algebra structures, by counting perturbed Morse gradient trees associated to an admissible simplex of perturbation data. We moreover show that the simplicial set consisting of higher morphisms defined by a count of perturbed Morse gradient trees is a contractible Kan complex.

Mathematics Subject Classification ID

Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) (n)-dimensional polytopes (52B11) Morse-Smale systems (37D15) Symplectic structures of moduli spaces (53D30) Algebraic operads, cooperads, and Koszul duality (18M70) (infty)-operads and higher algebra (18N70)

This page was built for publication: Higher algebra of $A_\infty$ and $\Omega B As$-algebras in Morse theory II

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