“…We claim that the resulting operad is quasi‐isomorphic to
. The exact same statement for the framed little disks operad is proved in [
7, Theorem 9.1]. The group
comes with a surjective map
that factors the cyclotomic character of the absolute Galois group of
(see [
38, section 3.1]).…”