Formality of the chain operad of framed little disks

TL;DR

This paper extends Tamarkin's established formality results from the little disk operad to the more complex framed little disk operad, advancing the understanding of operad formality in algebraic topology.

Contribution

The work generalizes Tamarkin's formality theorem to the framed little disk operad, providing new insights into operad structures with additional framing data.

Findings

Proves formality of the framed little disk operad

Extends Tamarkin's methods to new operad structures

Enhances understanding of operad formality in topology

Abstract

We extend Tamarkin's formality of the little disk operad to the framed little disk operad.