| Title:
|
Higher algebra of $A_\infty$ and $\Omega B As$-algebras in Morse theory I (English) |
| Author:
|
Mazuir, Thibaut |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
9 |
| Issue:
|
1 |
| Year:
|
2025 |
| Pages:
|
88-178 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
Elaborating on works by Abouzaid and Mescher, we prove that for a Morse function on a smooth compact manifold, its Morse cochain complex can be endowed with an $\Omega B As$-algebra structure through counts of perturbed Morse gradient trees. This rich structure descends to its already known $A_\infty$-algebra structure. We then introduce the notion of $\Omega B As$-morphism between two $\Omega B As$-algebras and prove that given two Morse functions, one can construct an $\Omega B As$-morphism between their associated $\Omega B As$-algebras through counts of 2-colored perturbed Morse gradient trees. This continuation morphism is a quasi-isomorphism and induces a standard $A_\infty$-morphism between the induced $A_\infty$-algebras. We work with integer coefficients, and provide to this extent a detailed account on the sign conventions for $A_\infty$-algebras, $\Omega B As$-algebras, $A_\infty$-morphisms and $\Omega B As$-morphisms, using polytopes and moduli spaces of metric trees which explicitly realize the dg operadic objects encoding them. Our proofs also involve showing at the level of polytopes that an ΩBAs-morphism between $\Omega B As$-algebras naturally induces an $A_\infty$-morphism between $A_\infty$-algebras. This paper is adressed to people acquainted with either differential topology or algebraic operads, and written in a way to be hopefully understood by both communities. It comes in particular with a short survey on operads, $A_\infty$-algebras and $A_\infty$-morphisms, the associahedra and the multiplihedra. All the details on transversality, gluing maps, signs and orientations for the moduli spaces defining the algebraic structures on the Morse cochains are thorougly carried out. It moreover lays the basis for a second article in which we solve the problem of finding a satisfactory notion of higher morphisms between $A_\infty$-algebras and between $\Omega B As$-algebras, and show how this higher algebra of $A_\infty$ and $\Omega B As$-algebras provides a natural framework to give a higher categorical meaning to the fact that continuation morphisms in Morse theory are well-defined up to homotopy at the chain level. (English) |
| Keyword:
|
Morse theory |
| Keyword:
|
operads |
| Keyword:
|
homotopy theory |
| Keyword:
|
polytopes |
| Keyword:
|
symplectic topology |
| Keyword:
|
combinatorics |
| MSC:
|
18M70 |
| MSC:
|
18N70 |
| MSC:
|
37D15 |
| MSC:
|
52B05 |
| MSC:
|
52B11 |
| MSC:
|
53D30 |
| idZBL:
|
Zbl 08141784 |
| idMR:
|
MR4918786 |
| DOI:
|
10.21136/HS.2025.03 |
| . |
| Date available:
|
2026-03-13T14:16:22Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153484 |
| . |
| Reference:
|
[1] Abbaspour, H., Laudenbach, F.: Morse complexes and multiplicative structures.Mathematische Zeitschrift, pages 1-42 MR 4381216 |
| Reference:
|
[2] Abouzaid, M.: Morse homology, tropical geometry, and homological mirror symmetry for toric varieties.Sel. Math., New Ser. 15 (2009), 189-270 MR 2529936, 10.1007/s00029-009-0492-2 |
| Reference:
|
[3] Abouzaid, M.: A topological model for the Fukaya categories of plumbings.J. Differential Geom. 87 (2011), 1-80. MR 2786590, 10.4310/jdg/1303219772 |
| Reference:
|
[4] Abraham, R., Robbin, J.: Transversal mappings and flows: An appendix by Al Kelley.W. A. Benjamin, New York, 1967 |
| Reference:
|
[5] Barber, D. A.: A comparison of models for the fulton-MacPherson operads: PhD thesis.University of Sheffield, 2017 |
| Reference:
|
[6] Boardman, J. M., Vogt, R. M.: Homotopy invariant algebraic structures on topological spaces.Lecture notes in mathematics 347. Springer, Berlin, 1973 |
| Reference:
|
[7] Bottman, N.: 2-associahedra.Algebr. Geom. Topol. 19 (2019) 743-806. MR 3924177, 10.2140/agt.2019.19.743 |
| Reference:
|
[8] Bottman, N.: Moduli spaces of witch curves topologically realize the 2-associahedra.J. Symplectic Geom. 17 (2019), 1649-1682 MR 4057724, 10.4310/JSG.2019.v17.n6.a3 |
| Reference:
|
[9] Campos, R., Ducoulombier, J., Idrissi, N.: Boardman-Vogt resolutions and bar/cobar constructions of (co)operadic (co)bimodules.High. Struct. 5 (2021), 310-383 MR 4367224, 10.21136/HS.2021.09 |
| Reference:
|
[10] Curien, P.-L., Laplante-Anfossi, G.: Topological proofs of categorical coherence.Cahiers de topologie et géométrie différentielle catégoriques, Vol. LXV, Iss. 4, 2024 MR 4811426 |
| Reference:
|
[11] Ekholm, T.: Morse flow trees and Legendrian contact homology in 1-jet spaces.Geom. Topol. 11 (2007), 1083-1224 MR 2326943, 10.2140/gt.2007.11.1083 |
| Reference:
|
[12] Forcey, S.: Convex hull realizations of the multiplihedra.Topology Appl. 156 (2008), 326-347 MR 2475119, 10.1016/j.topol.2008.07.010 |
| Reference:
|
[13] Fukaya, K.: Morse homotopy and its quantization.Geometric topology (Athens, GA, 1993), pages 409-440, AMS/IP stud. Adv. math. 2 |
| Reference:
|
[14] Fukaya, K., Oh, Y.-G.: Zero-loop open strings in the cotangent bundle and Morse homotopy.Asian J. Math. 1 (1997), 96-180 10.4310/AJM.1997.v1.n1.a5 |
| Reference:
|
[15] Getzler, E., Jones, J.: Operads, homotopy algebra and iterated integrals for double loop spaces.Available at https://arxiv.org/abs/hep-th/9403055 |
| Reference:
|
[16] Haiman, M.: Constructing the associahedron.Available at http://math.berkeley.edu/mhaiman/ftp/assoc/manuscript.pdf |
| Reference:
|
[17] Hutchings, M.: Floer homology of families. I.Algebr. Geom. Topol. 8 (2008), 435-492 MR 2443235, 10.2140/agt.2008.8.435 |
| Reference:
|
[18] Iwase, N., Mimura, M.: Higher homotopy associativity.Algebraic topology (Arcata, CA, 1986), pages 193-220, Lecture notes in math. 1370 |
| Reference:
|
[19] Kadeišvili, T. V.: On the theory of homology of fiber spaces.Uspekhi Mat. Nauk 35 (1980), 183-188 |
| Reference:
|
[20] Laplante-Anfossi, G., Mazuir, T.: The diagonal of the multiplihedra and the tensor product of $a_\infty$-morphisms.Journal de l’École polytechnique—Mathématiques 10 (2023], 405-446 MR 4554264, 10.5802/jep.221 |
| Reference:
|
[21] Lee, C. W.: The associahedron and triangulations of the n-gon.European J. Combin. 10 (1989), 551-560 10.1016/S0195-6698(89)80072-1 |
| Reference:
|
[22] Lefevre-Hasegawa, K.: Sur les $A_\infty$-catégories: PhD thesis.Université Paris 7, UFR de Mathématiques, 2003 |
| Reference:
|
[23] Loday, J.-L.: Realization of the Stasheff polytope.Arch. Math. (Basel) 83 (2004), 267-278 MR 2108555 |
| Reference:
|
[24] Loday, J.-L., Vallette, B.: Algebraic operads.Grundlehren der mathematischen wissenschaften [Fundamental Principles of Mathematical Sciences], Springer, Heidelberg, 2012 MR 2954392 |
| Reference:
|
[25] Markl, M.: Models for operads.Commun. Algebra 24 (1996) 1471-1500 Zbl 0848.18003, 10.1080/00927879608825647 |
| Reference:
|
[26] Markl, M.: Homotopy diagrams of algebras.Proceedings of the 21st Winter School “Geometry and Physics” (Srnı́, 2001), pp 161-180 MR 1972432 |
| Reference:
|
[27] Markl, M.: Transferring $A_\infty$ (strongly homotopy associative) structures.Rend. Circ. Mat. Palermo (2) Suppl., Iss. 79 (2006), 139-151 MR 2287133 |
| Reference:
|
[28] Markl, M., Shnider, S.: Associahedra, cellular W-construction and products of $A_\infty$-algebras.Trans. Amer. Math. Soc. 358 (2006), 2353-2372 MR 2204035, 10.1090/S0002-9947-05-04006-7 |
| Reference:
|
[29] Masuda, N., Thomas, H., Tonks, A., Vallette, B.: The diagonal of the associahedra.Journal de l’École polytechnique Mathématiques 8 (2021), 121-146 MR 4191110, 10.5802/jep.142 |
| Reference:
|
[30] Mazuir, T.: Higher algebra of $A_\infty$ and $\Omega BAs$-algebras in Morse theory II.Available at https://arxiv.org/abs/2102.08996 MR 4918786 |
| Reference:
|
[31] Mazuir, T.: Théorie de Morse et algèbre supérieure des $A_\infty$-algèbres: PhD thesis.Sorbonne Université, IMJ-PRG, 2022 |
| Reference:
|
[32] Ma'u, S., Wehrheim, K., Woodward, C.: $A_\infty$ functors for Lagrangian correspondences.Selecta Math. (N.S.) 24 (2018), 1913-2002 MR 3816496, 10.1007/s00029-018-0403-5 |
| Reference:
|
[33] Ma'u, S., Woodward, C.: Geometric realizations of the multiplihedra.Compos. Math. 146 (2010), 1002-1028 MR 2660682, 10.1112/S0010437X0900462X |
| Reference:
|
[34] McDuff, D., Salamon, D.: J-holomorphic curves and symplectic topology.American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, 2012 MR 2954391 |
| Reference:
|
[35] Mescher, S.: Perturbed gradient flow trees and $A_\infty$-algebra structures in Morse cohomology.Atlantis studies in dynamical systems. Atlantis Press, Paris; Springer, Cham, 2018 MR 3791518 |
| Reference:
|
[36] Milnor, J. W.: Morse theory. Based on lecture notes by M. Spivak and R. Wells.Texts read. math., New Delhi: Hindustan Book Agency, 2013 MR 0163331 |
| Reference:
|
[37] Seidel, P.: Fukaya categories and Picard-Lefschetz theory.Zurich lectures in advanced mathematics, European Mathematical Society (EMS), Zürich, 2008 MR 2667852 |
| Reference:
|
[38] Smale, S.: An infinite dimensional version of Sard's theorem.Amer. J. Math. 87 1965), 861-866 10.2307/2373250 |
| Reference:
|
[39] Stasheff, J. D.: Homotopy associativity of H-spaces. I, II.Trans. Amer. Math. Soc. 108 (1963), 275-292; ibid., Vol. 108, 293-312 |
| Reference:
|
[40] Tamari, Dov: Monoı̈des préordonnés et chaı̂nes de Malcev.Bulletin de la Société mathématique de France, Vol. 82, (1954),53-96 |
| Reference:
|
[41] Vallette, B.: Algebra + homotopy = operad.Symplectic, Poisson, and noncommutative geometry, pages 229-290, Math. Sci. Res. Inst. publ. 62, 2014 MR 3380678 |
| Reference:
|
[42] Wehrheim, K.: Smooth structures on Morse trajectory spaces, featuring finite ends and associative gluing.Proceedings of the Freedman Fest, pp 369-450, 2012 MR 3084244 |
| Reference:
|
[43] Yau, D.: Colored operads.Graduate studies in mathematics, American Mathematical Society, Providence, 2016 MR 3444662 |
| . |
