---
title: BV-type Resolutions in Operad Homotopy
url: https://www.emergentmind.com/topics/bv-type-resolutions
type: topic
---

# BV-type Resolutions in Operad Homotopy

A BV-type resolution is a homotopy-theoretic construction that systematically replaces a Batalin–Vilkovisky (BV) operad with a differential graded (dg) operad that trivializes the BV-operator Δ up to coherent higher homotopies. This technique is central to describing the homotopy quotient BV/Δ, forging a direct connection with the hypercommutative operad (Hycomm), which encodes the homology of moduli spaces of stable genus 0 curves. BV-type resolutions provide both algebraic models and explicit quasi-isomorphisms clarifying the relationship between hypercommutative and BV-type structures, and underlie homological explanations for phenomena such as the Givental group action within the theory of operads [1206.3749].

## 1. The Classical BV Operad and the Δ–Operator

The BV operad is generated by two operations: a binary, degree-0 commutative and associative product $m(-,-)$, and a unary, degree $-1$ operator $\Delta$ satisfying $\Delta^2 = 0$. The relations are:
- $m$ is commutative and associative.
- $\Delta$ is a second-order differential operator with respect to $m$, captured by the "7-term relation":
  $$
  \Delta(abc)
  - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b]
  + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab]
  = 0.
  $$
The classical BV operad is the homology of the framed little 2-disk operad, succinctly written as $BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$.

## 2. Homotopy Quotient and Resolution of the BV Operad

To homotopically "kill" the operator $\Delta$ in the BV operad, one constructs its homotopy quotient, denoted $BV/\Delta$, by adjoining higher homotopies $\varphi_1, \varphi_2, \ldots$ that trivialize $\Delta$. The process uses a formal parameter $z$ (degree $+2$), introducing a conjugation relation:
$$
\exp(-\varphi(z))\, d\, \exp(\varphi(z)) = d + z\Delta, \quad \varphi(z) = \sum_{i \geq 1} \varphi_i z^i,
$$
where $d$ is the original differential. By expanding in powers of $z$, a new differential $\delta$ is defined on the $\varphi_i$ such that $\Delta$ becomes exact:
- $\delta(\varphi_1) = \Delta$
- $\delta(\varphi_2) = -[\Delta, \varphi_1]$
- $\delta(\varphi_3) = -[\Delta, \varphi_2] - \frac{1}{2} [[\Delta, \varphi_1], \varphi_1]$
- etc.

The algebraic model for $BV/\Delta$ is the quasi-free dg operad $(\mathcal{Q}, \delta)$, where $\mathcal{Q}$ extends $BV$ by the formal generators $\varphi_i$. The differential $\delta$ acts non-trivially only on the $\varphi_i$.

## 3. Categorical and Homological Structures

Categorically, $BV/\Delta$ is realized as the image of $BV$ under a left adjoint functor taking operads with a chosen $\Delta$ to ordinary dg-operads. The resolution is characterized by two quasi-isomorphisms:
- Inclusion $j: (BV, d=0) \to (\mathcal{Q}, \delta)$ with $\Delta \mapsto \Delta$, $\varphi_i \mapsto \varphi_i$,
- Projection $\epsilon: (\mathcal{Q}, \delta) \to (BV, d=0)$ with $\varphi_i \mapsto 0$.

These resolutions ensure that the homology $H_\bullet(\mathcal{Q}, d+\delta) \cong BV/\Delta$ precisely captures the desired homotopy quotient.

## 4. Explicit Quasi-Isomorphism: Hycomm to BV/Δ

An explicit quasi-isomorphism $\varphi: \mathrm{Hycomm} \to BV/\Delta$ is constructed using a sum over rooted trees, employing "Givental graphs". The map is defined as follows:
- Generators $m_n \in \mathrm{Hycomm}(n)$, corresponding to $[M_{0, n+1}]$, are sent to elements $O_n \in (BV/\Delta)(n)$ given by combinatorial sums over trees.
- At each vertex $v$ of valence $k$, the $(k-1)$-fold iterated product $m$ from $BV$ is placed.
- Half-edges labeled by formal parameters $\psi$ are decorated with exponential operators:
  - Leaf at $i$: insert $\exp(-\varphi(-\psi_i))$
  - Root: insert $\exp(\varphi(\psi_{\text{root}}))$
  - Internal edge from $v'$ to $v''$: insert $\exp(-\varphi(-\psi_{v'}))\exp(\varphi(\psi_{v''})) - 1$
- Vertices are further weighted by $\psi$-class integrals over $M_{0,k+1}$:
  $$
  \int_{M_{0,k+1}} \psi_0^{d_0} \cdots \psi_k^{d_k} = \frac{(k-2)!}{d_0! \cdots d_k!} \quad \text{when} \ \sum d_i = k-2, \ 0 \ \text{otherwise}.
  $$
Sample computations include:
- $\varphi(m_2)(x,y) = m(x,y)$
- $\varphi(m_3)(x,y,z) = \varphi_1(m(x,y,z)) + [m(x,y,\varphi_1(z)) + \text{cyclic}] - [m(x,\varphi_1(m(y,z))) + \text{cyclic}]$

It is checked that $\delta(O_n) = 0$ and that $\varphi$ preserves operadic compositions. This quasi-isomorphism is proven via two methods: the Givental group action and a chain of explicit formulas on resolutions [1206.3749].

## 5. Alternative Resolution: Zig-Zag of Quasi-Isomorphisms

An alternative proof of the equivalence between Hycomm and $BV/\Delta$ is given by a zig-zag of explicit quasi-isomorphisms:
1. $\mathrm{Hycomm}$
2. $\xleftrightarrow{\kappa}$ cobar of the gravity cooperad $B(\mathrm{Grav})$
3. $\xleftrightarrow{\epsilon}$ equivariant cobar of $k[u] \otimes s^2 \mathrm{Gerst}$, $B(k[u]\otimes s^2 \mathrm{Gerst})$
4. $\xrightarrow{j}$ the homotopy-quotient $B(k[u]\otimes s^2 \mathrm{Gerst}) * k[\Delta]/\Delta$
5. $\xrightarrow{e}$ semidirect product resolution $B(s^2 \mathrm{Gerst}) \ltimes k[\Delta]$
6. $\xrightarrow{T}$ $BV$
7. $\xrightarrow{\pi}$ $BV/\Delta$

Each step involves explicit chain maps, all constituting quasi-isomorphisms, reproducing the same formulas for the images of the Hycomm generators as the explicit method.

## 6. Homological Significance and the Givental Group Action

The homotopy data $\varphi(z)$ central to the BV-type resolution induces the Givental group action on Hycomm-algebras. For any operad morphism $\alpha: \mathrm{Hycomm} \to \mathcal{P}$ and any element $r(z) = \sum_{\ell \geq 1} r_\ell z^\ell$ in the Lie algebra $\mathcal{P}(1)[[z]]$, one defines the infinitesimal Givental action:
$$
(r \cdot \alpha)_n = \sum_{\ell} [ r_\ell \circ_1 (\psi_0^\ell \cdot \alpha_n) - \sum_{i=1}^n (\psi_i^\ell \cdot \alpha_n) \circ_i r_\ell ] + \text{boundary terms}.
$$
For $\mathcal{P} = BV/\Delta$, conjugation by $\exp(\varphi(z))$ transforms the trivial embedding to the full Hycomm structure. At the cohomological level, $\varphi(z)$ acts as a Givental-loop transformation that trivializes $\Delta$, underpinning the homological significance of $\varphi(z)$ and its role in the BV-type resolution [1206.3749].

## 7. Key Formulas in BV-Type Resolutions

A summary of the essential formulas and operations intrinsic to BV-type resolutions is presented below:

| Formula or Procedure        | Mathematical Expression/Description                                          | Context or Purpose                                          |
|----------------------------|------------------------------------------------------------------------------|-------------------------------------------------------------|
| Homotopy quotient via conjugation | $\exp(-\varphi(z))\, d\, \exp(\varphi(z)) = d + z\Delta$                  | Defines how to trivialize $\Delta$ via higher homotopies    |
| Differential on $\varphi_i$ | $\delta(\varphi_1) = \Delta$, $\delta(\varphi_2) = -[\Delta, \varphi_1]$, … | Structure of the extended dg-operad $\mathcal{Q}$           |
| Explicit formula for image  | $O_n = \sum_{\text{trees }T} (\prod m)\cdot(\exp(\pm\varphi(\psi)))\cdot(\prod \int\psi)$ | Constructs the quasi-isomorphism Hycomm → $BV/\Delta$      |
| Psi-class integral          | $\int_{M_{0,k+1}} \psi_0^{d_0}\ldots\psi_k^{d_k} =  (k-2)!/(d_0!\ldots d_k!)$ if $\sum d_i = k-2$ | Tree coefficient in operad map                             |
| Givental infinitesimal action | $r_\ell \circ_1 (\psi_0^\ell \alpha_n) - \sum_{i=1}^n (\psi_i^\ell \alpha_n) \circ_i r_\ell +$ boundary corrections | Group action on Hycomm structures                          |

BV-type resolutions thus deliver an explicit, combinatorial, and homological bridge between the structure of hypercommutative operads and the homotopy-theoretic properties of BV-type algebras, clarifying deep relationships intrinsic to moduli space geometry, operad homotopy theory, and deformation quantization [1206.3749].

Source: https://www.emergentmind.com/topics/bv-type-resolutions