English

When can a formality quasi-isomorphism over rationals be constructed recursively?

K-Theory and Homology 2017-07-17 v2 Algebraic Topology

Abstract

Let OO be a differential graded (possibly colored) operad defined over rationals. Let us assume that there exists a zig-zag of quasi-isomorphisms connecting OKO \otimes K to its cohomology, where KK is any field extension of rationals. We show that for a large class of such dg operads, a formality quasi-isomorphism for OO exists and can be constructed recursively. Every step of our recursive procedure involves a solution of a finite dimensional linear system and it requires no explicit knowledge about the zig-zag of quasi-isomorphisms connecting OKO \otimes K to its cohomology.

Keywords

Cite

@article{arxiv.1610.04879,
  title  = {When can a formality quasi-isomorphism over rationals be constructed recursively?},
  author = {V. A. Dolgushev and G. E. Schneider},
  journal= {arXiv preprint arXiv:1610.04879},
  year   = {2017}
}

Comments

Here is the link to the software related to this paper: \https://math.temple.edu/~vald/CodeGerBraces/ The documentation for this software can be found here: https://math.temple.edu/~vald/CodeGerBraces/README.pdf Comments are welcome!

R2 v1 2026-06-22T16:22:15.185Z