symmetric monoidal (∞,1)-category of spectra
The framed little 2-disk operad is the operad in Top whose topological space of -ary operations is the space of maps
from -copies of the 2-ball to itself, which restrict on each component to a map that is a combination of
a translation
a dilatation
a rotation
of the disk (regarded via its standard embedding into the 2-simensional Cartesian space) such that the images of all disks are disjoint.
This differs from the little 2-disk operad by the fact that rotations of the disks are admitted. Under passing to chains and then to homology, this operation gives rise to the BV-operator in a BV-algebra. See Properties below.
The homology of the framed little 2-disk operad in chain complexes is the BV-operad the operad for BV-algebras:
This is due to (Getzler).
The framed little disk operad is formal in characteristic zero.
This means that there is a zig-zag of quasi-isomorphisms
This is due to Severa 09, Giansiracusa-Salvatore 09). See also (Valette, slide 35).
Accordingly one makes the following definition:
The operad for homotopy BV-algebras is any cofibrant resolution of , or equivalently of .
Write for the ribbon braid group? on elements and for the kernel of the surjection onto the symmetric group.
Say that a ribbon operad? is an -operad if the ribbon braid group?s act freely and properly on and if each topological space is contractible.
If is an -operad, then the sequence of quotient spaces forms a symmetric operad equivalent to the frame little disks operad.
This is (Wahl, lemma 1.5.17).
framed little 2-disk operad
algebraic deformation quantization
dimension | classical field theory | Lagrangian BV quantum field theory | factorization algebra of observables |
---|---|---|---|
general | P-n algebra | BD-n algebra? | E-n algebra |
Poisson 0-algebra | BD-0 algebra? = BD algebra | E-0 algebra? = pointed space | |
P-1 algebra = Poisson algebra | BD-1 algebra? | E-1 algebra? = A-∞ algebra |
The framed little 2-disk operad was introduced in
For the relation to ribbons see
The formality of was shown in
and
Discussion of homotopy BV-algebras is in
see also
Slides of a talk summarizing this are at
Last revised on October 14, 2022 at 22:06:31. See the history of this page for a list of all contributions to it.