Operads, operadic categories and the blob complex

DOI10.1007/S10485-023-09759-4MaRDI QIDQ6154441zbMATH OpenOpenAlexWikidataFDO

Authors Michael Batanin, Martin Markl

Publication date 15 February 2024

Published in Applied Categorical Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

bar resolutionblob complexfieldsoperadic category

Mathematics Subject Classification ID

Operads (general) (18M60) Chain complexes in algebraic topology (55U15) Topological quantum field theories (aspects of differential topology) (57R56) Axiomatic quantum field theory; operator algebras (81T05)

Abstract: We will show that the Morrison-Walker blob complex appearing in Topological Quantum Field Theory is an operadic bar resolution of a certain operad composed of fields and local relations. As a by-product we develop the theory of unary operadic categories and study some novel and interesting phenomena arising in this context.

Review text

The blob complex was introduced by \textit{S. Morrison} and \textit{K. Walker} [Geom. Topol. 16, No. 3, 1481--1607 (2012; Zbl 1280.57026)], associating to an -dimensional manifold \(\mathbb{M}\), rigged with a system of fields \(\mathcal{C}\)\ containing an ideal of local relations \(\mathcal{U}\), the \textit{blob complex} \(\mathcal{B}_{\ast}\left( \mathbb{M},\mathcal{C} \right) \), which is a chain complex whose salient feature is the isomorphism \[ H_{0}\left( \mathcal{B}_{\ast}\left( \mathbb{M},\mathcal{C}\right) \right) \cong A\left( \mathbb{M}\right) :=\mathcal{C}\left( \mathbb{M}\right) /\mathcal{U}\left( \mathbb{M}\right) \] where \(A\left( \mathbb{M}\right) \)\ is the skein module associated to \(\mathbb{M}\). This paper shows in two ways how to interpret the blob complex within operad theory. The first interpretation produces a complex quasi-isomorphic to the Morrison-Walker blob complex, namely, the bar construction of a certain operad of fields over an operadic category of blob configurations in \(\mathbb{M}\). The second interpretation identifies the blob complex with Fresse's bar construction of a traditional colored operad [\textit{B. Fresse}, Contemp. Math. 346, 115--215 (2004; Zbl 1077.18007)], reminiscent of the little discs operad, the colors being blobs in \(\mathbb{M}\)\ with boundaries decorated by fields. As a by-product, the theory of unary operadic categories is developed while some novel and scintillating phenomena arising in this context are investigated.

Recommendations

• Mathematical theories of traffic flow
• Modeling, estimation, and their applications for distributed parameter systems
• scientific article; zbMATH DE number 5055270
• Lefschetz's principle
• Superheating behavior in a breakdown reactor
• scientific article; zbMATH DE number 3188569
• scientific article; zbMATH DE number 3133698
• Pointwise Bounds for Solutions of Semilinear Parabolic Equations

Cites work

• Blob homology
• Homotopy algebras are homotopy algebras
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1757930 (Why is no real title available?)
• scientific article; zbMATH DE number 2144707 (Why is no real title available?)
• scientific article; zbMATH DE number 3216237 (Why is no real title available?)
• Koszul duality for operadic categories
• Models for operads
• Operadic categories and duoidal Deligne's conjecture
• Operadic categories and décalage
• Operadic categories as a natural environment for Koszul duality
• Operads and PROPs
• Partition complexes and trees

Cited in

(2)

• Integration of a categorical operad
• Homotopical algebra and higher structures. Abstracts from the workshop held August 26--30, 2024

This page was built for publication: Operads, operadic categories and the blob complex

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