Tree- versus graph-level quasilocal Poincaré duality on S^1

DOI10.1007/S40062-015-0110-2zbMATH Open1372.18010arXiv1412.4664OpenAlexW2130956793MaRDI QIDQ505033FDOQ505033

Authors: Theo Johnson-Freyd 

Publication date: 18 January 2017

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Abstract: Among its many corollaries, Poincare duality implies that the de Rham cohomology of a compact oriented manifold is a shifted commutative Frobenius algebra --- a commutative Frobenius algebra in which the comultiplication has cohomological degree equal to the dimension of the manifold. We study the question of whether this structure lifts to a "homotopy" shifted commutative Frobenius algebra structure at the cochain level. To make this question nontrivial, we impose a mild locality-type condition that we call "quasilocality": strict locality at the cochain level is unreasonable, but it is reasonable to ask for homotopically-constant families of operations that become local "in the limit." To make the question concrete, we take the manifold to be the one-dimensional circle. The answer to whether a quasilocal homotopy-Frobenius algebra structure exists turns out to depend on the choice of context in which to do homotopy algebra. There are two reasonable worlds in which to study structures (like Frobenius algebras) that involve many-to-many operations: one can work at "tree level," corresponding roughly to the world of operadic homotopy algebras and their homotopy modules; or one can work at "graph level," corresponding to the world of PROPs. For the tree-level version of our question, the answer is the unsurprising "Yes, such a structure exists" --- indeed, it is unique up to a contractible space of choices. But for the graph-level version, the answer is the surprising "No, such a structure does not exist." Most of the paper consists of computing explicitly this nonexistence, which is controlled by the numerical value of a certain obstruction, and we compute this value explicitly via a sequence of integrals.

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

Recommendations

• scientific article; zbMATH DE number 5119112
• On the Hochschild homology of open Frobenius algebras
• A Batalin-Vilkovisky structure on the complete cohomology ring of a Frobenius algebra
• Infinity structure of Poincaré duality spaces. With an appendix by Dennis Sullivan
• A detailed look on actions on Hochschild complexes especially the degree 1 coproduct and actions on loop spaces

zbMATH Keywords

Frobenius algebrahomotopy algebradioperadsproperads

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Algebraic operads
• Title not available (Why is that?)
• Koszul duality for dioperads.
• Deformation theory of representations of prop(erad)s. II
• Deformation theory of representations of prop(erad)s I
• A Koszul duality for props
• Title not available (Why is that?)
• Curved Koszul duality theory
• The obstruction to the existence of a loopless star product
• The necessity of wheels in universal quantization formulas
• Algebra + homotopy = operad
• Poisson AKSZ theories and their quantizations

Cited In (1)

• On quantizable odd Lie bialgebras

This page was built for publication: Tree- versus graph-level quasilocal Poincaré duality on \(S^{1}\)

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