When can a formality quasi-isomorphism over rationals be constructed recursively?
Abstract
Let be a differential graded (possibly colored) operad defined over rationals. Let us assume that there exists a zig-zag of quasi-isomorphisms connecting to its cohomology, where is any field extension of rationals. We show that for a large class of such dg operads, a formality quasi-isomorphism for 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 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!