pith. sign in

arxiv: 1610.04879 · v2 · pith:RRNTWC6Pnew · submitted 2016-10-16 · 🧮 math.KT · math.AT

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

classification 🧮 math.KT math.AT
keywords rationalscohomologyconnectingconstructedexistsformalityotimesquasi-isomorphism
0
0 comments X
read the original abstract

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

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.