BV-type Resolutions in Operad Homotopy

• BV-type Resolutions are a homotopy-theoretic technique that replaces a BV operad with a dg operad, trivializing Δ via coherent higher homotopies.
• This approach constructs a homotopy quotient BV/Δ that bridges hypercommutative structures with moduli space geometry through explicit quasi-isomorphisms.
• Key methods include conjugation with exp(φ(z)) and tree-sum formulas, which clarify operadic compositions and underpin the Givental group action.

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 (Khoroshkin et al., 2012).

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 $-1$0, by adjoining higher homotopies $-1$1 that trivialize $-1$2. The process uses a formal parameter $-1$3 (degree $-1$4), introducing a conjugation relation:

$-1$5

where $-1$6 is the original differential. By expanding in powers of $-1$7, a new differential $-1$8 is defined on the $-1$9 such that $\Delta$0 becomes exact:

• $\Delta$1
• $\Delta$2
• $\Delta$3
• etc.

The algebraic model for $\Delta$4 is the quasi-free dg operad $\Delta$5, where $\Delta$6 extends $\Delta$7 by the formal generators $\Delta$8. The differential $\Delta$9 acts non-trivially only on the $\Delta^2 = 0$0.

3. Categorical and Homological Structures

Categorically, $\Delta^2 = 0$1 is realized as the image of $\Delta^2 = 0$2 under a left adjoint functor taking operads with a chosen $\Delta^2 = 0$3 to ordinary dg-operads. The resolution is characterized by two quasi-isomorphisms:

• Inclusion $\Delta^2 = 0$4 with $\Delta^2 = 0$5, $\Delta^2 = 0$6,
• Projection $\Delta^2 = 0$7 with $\Delta^2 = 0$8.

These resolutions ensure that the homology $\Delta^2 = 0$9 precisely captures the desired homotopy quotient.

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

An explicit quasi-isomorphism $m$0 is constructed using a sum over rooted trees, employing "Givental graphs". The map is defined as follows:

• Generators $m$1, corresponding to $m$2, are sent to elements $m$3 given by combinatorial sums over trees.
• At each vertex $m$4 of valence $m$5, the $m$6-fold iterated product $m$7 from $m$8 is placed.
• Half-edges labeled by formal parameters $m$9 are decorated with exponential operators:
  • Leaf at $\Delta$0: insert $\Delta$1
  • Root: insert $\Delta$2
  • Internal edge from $\Delta$3 to $\Delta$4: insert $\Delta$5
• Vertices are further weighted by $\Delta$6-class integrals over $\Delta$7:

$\Delta$8

Sample computations include:

• $\Delta$9
• $m$0

It is checked that $m$1 and that $m$2 preserves operadic compositions. This quasi-isomorphism is proven via two methods: the Givental group action and a chain of explicit formulas on resolutions (Khoroshkin et al., 2012).

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

An alternative proof of the equivalence between Hycomm and $m$3 is given by a zig-zag of explicit quasi-isomorphisms:

1. $m$4
2. $m$5 cobar of the gravity cooperad $m$6
3. $m$7 equivariant cobar of $m$8, $m$9
4. $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$0 the homotopy-quotient $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$1
5. $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$2 semidirect product resolution $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$3
6. $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$4 $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$5
7. $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$6 $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$7

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 $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$8 central to the BV-type resolution induces the Givental group action on Hycomm-algebras. For any operad morphism $$\Delta(abc) - [\Delta(ab)c + \Delta(bc)a + \Delta(ca)b] + [\Delta(a)bc + \Delta(b)ca + \Delta(c)ab] = 0.$$9 and any element $BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$0 in the Lie algebra $BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$1, one defines the infinitesimal Givental action:

$BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$2

For $BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$3, conjugation by $BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$4 transforms the trivial embedding to the full Hycomm structure. At the cohomological level, $BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$5 acts as a Givental-loop transformation that trivializes $BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$6, underpinning the homological significance of $BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$7 and its role in the BV-type resolution (Khoroshkin et al., 2012).

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	$BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$8	Defines how to trivialize $BV \cong \mathrm{Gerstenhaber} \ltimes k[\Delta]$9 via higher homotopies
Differential on $\Delta$0	$\Delta$1, $\Delta$2, …	Structure of the extended dg-operad $\Delta$3
Explicit formula for image	$\Delta$4	Constructs the quasi-isomorphism Hycomm → $\Delta$5
Psi-class integral	$\Delta$6 if $\Delta$7	Tree coefficient in operad map
Givental infinitesimal action	$\Delta$8 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 (Khoroshkin et al., 2012).