Equivariant formality of the little disks operad

Pedro Boavida de Brito, Joana Cirici, Geoffroy Horel

The little $n$-disks operad is $SO(n)$ and $O(n)$-equivariantly formal over the rationals. Equivalently, the oriented and unoriented framed little disks operads are rationally form…