---
title: Two-Colored Kontsevich–Soibelman Operad
url: https://www.emergentmind.com/topics/two-colored-kontsevich-soibelman-operad
type: topic
---

# Two-Colored Kontsevich–Soibelman Operad

The two-colored Kontsevich–Soibelman operad (often abbreviated as KS) is a topological, multi-colored operad designed to encode the algebraic structures present on the pair of Hochschild cohomology and homology (or their higher and categorical analogues) in a manner that directly mirrors the calculus structure of multivector fields and differential forms on manifolds. The operad’s two colors organize algebraic operations into E₂ or higher algebra-like actions on the cohomology and compatible module and circle action structures on the homology, enforcing all higher compatibilities homotopically. The KS operad plays a foundational role in factorization homology, deformation theory, and equivariant and topological quantum field theory contexts.

## 1. Formal Definition and Models

KS is a topological or dg-operad with two colors, typically denoted $a$ (“algebra” or “cochain” color) and $m$ (“module” or “chain” color), or equivalently (•, ○), (D, Cₘ), or (red, blue) in different literature. Its spaces of operations are non-trivial only in the following arities:

- Operations with only $a$-colored inputs and output:  
  $$ KS(a^{\boxplus n}; a) $$
  This is defined as the configuration space of the little $2$-disk operad $D_2(n)$, or, in higher dimensions, $E_d(n) = \mathrm{Emb}^{\mathrm{lin}}(D^{\sqcup n}, D)$, encoding $E_2$ or $E_d$ algebra operations [1307.0322, 1904.02359].
  
- Operations with $n$ $a$-inputs and one $m$-input, with $m$-output:  
  $$ KS(a^{\boxplus n} \boxplus m; m) $$
  The space of rectilinear (or, more generally, framed) embeddings
  $$
    \operatorname{Emb}_f^\partial(S \times [0,1) \sqcup D^{\sqcup n},\, S \times [0,1))
  $$
  where $S$ is $S^1$ in dimension $2$ or more generally a framed $(d-1)$-manifold in higher dimensions. This encodes module structures together with circle or boundary action [1307.0322, 1904.02359].
  
All other color combinations have empty operation spaces.

There are several technical models:
- **Rectilinear embeddings (squares/cylinders):** The original topological model via embeddings of disks and cylinders [1904.02359].
- **Cacti and cyclo-cacti (co)simplicial models:** A chain-level (co)cyclic, multi-simplicial model constructed via cacti with spines, facilitating explicit chain-level operations and equivariant extensions [2601.16437].
- **Fulton–MacPherson compactifications and Swiss-cheese/cyclo-Swiss-cheese models:** These provide manifold with corners or semi-algebraic models, related via homotopy equivalence [2104.02919].

## 2. Operadic Composition and Algebraic Structure

The operadic composition in KS mirrors geometrically the insertion of configuration spaces (rescaling and gluing disks or attaching boundaries). Algebraically, this translates into:

- The **cup product** and **Gerstenhaber bracket** operations on the “algebra” color, giving $HH^*$ the structure of an $E_2$ (Gerstenhaber) algebra:
  $$
    m_2: D \otimes D \to D; \quad
    \ell_2: D \otimes D \to D[1]
  $$
  satisfying associativity, graded commutativity, and the Poisson (Leibniz) rule [1904.02359, 2104.02919].
  
- The **cap product** ($i$) and **Lie derivative** ($L$) operations between “algebra” and “module” colors:
  $$
    i: D \otimes C_M \to C_M; \quad
    L: D[1] \otimes C_M \to C_M
  $$
  The cap product gives $HH_*$ the structure of a module over $HH^*$. The Connes operator $B: C_M \to C_M[1]$ encodes the $S^1$ (circle) action on the homology [1904.02359].
  
- Operadic relations encode all standard and higher compatibilities:
  - Cartan homotopy formula:
    $$
      L(a; \omega) = B(i(a; \omega)) - (-1)^{|a|} i(a; B\omega)
    $$
  - Associativity, graded-commutativity, Jacobi identity, and all module and Lie module compatibilities.
  - The structure determines homotopy Cartan relations and the full calculus (Gerstenhaber module) algebra relations [1307.0322, 2104.02919].

## 3. Geometric and Factorization Homology Realizations

The KS operad arises naturally as the endomorphism operad of pairs of regions (disks, half-cylinders) in the context of factorization homology:

- In the “Swiss-cheese” category $fM_d^\partial$, with objects disjoint unions of $d$-disks and collars $S^{d-1} \times [0,1)$, $E_d^\partial$ is the suboperad on a disk and a collar [1307.0322].
- The derived left Kan extension of an $E_d^\partial$-algebra $(B,A)$ gives a symmetric monoidal functor assigning:
  $$
    \int_{D}(B,A) \cong B \quad
    \int_{S^{d-1} \times [0,1)}(B,A) \simeq A
  $$
- When $d=2$, $B \simeq HH^*(A)$ and $A \simeq HH_*(A)$, inducing the calculi structure on Hochschild (co)homology. In higher dimensions, this recovers higher Hochschild (factorization) homology [1307.0322].

## 4. Chain Level, Equivariant, and Cyclic Structures

Chain-level models of the KS operad, essential for computations and explicit algebraic constructions, involve:

- **Cacti operads:** Multi-simplicial or cocyclic-multi-simplicial sets modeling operations with planar gluings and spine labels (for non-cyclic/cyclic versions) [2601.16437].
- **Equivariant homology:** The cyclic/cocyclic structures allow explicit $S^1$-actions. For finite subgroups $C_p\subset S^1$, the $C_p$-equivariant homology generators $[e_0], [e_1]$ are additive generators corresponding to geometric configurations (free orbits and circles of cycles) in the unordered configuration spaces $\mathrm{UConf}_n(\C^\times)$ [2601.16437].
- **Comparison with little disk/cylinder operads:** It is shown that the chain-level cacti operad is equivariantly quasi-equivalent to the topological operad of little disks/cylinders, confirming coherence of the algebraic and geometric approaches [2601.16437].

## 5. Applications: Hochschild Calculus, Deformation Theory, and Symplectic Topology

- **Action on Hochschild pairs:** For any associative algebra $A$, or in the $\infty$–categorical setting for $A$-linear stable $\infty$–categories $\mathcal{C}$, the pair $(HH^*(A), HH_*(A))$ or $(HH^*(\mathcal{C}), HH_*(\mathcal{C}))$ carries a canonical (homotopy coherent) algebra structure over KS [1307.0322, 1904.02359, 2104.02919]. This equips $HH^*$ with $E_2$ structure and $HH_*$ with an equivariant module structure, including all higher compatibilities.
- **Deformation moduli:** Via Iwanari’s results, the KS-action governs maps between deformation functors: deformations of $\mathcal{C}$, cyclic deformations of $HH_*(\mathcal{C})$, and $S^1$-equivariant deformations, with precise relationships at the tangent (dg-Lie algebra) level [2104.02919].
- **Equivariant and cyclic homology:** The action of KS on periodic cyclic homology of dg-algebras recovers (classically and for each prime) the $p$-fold equivariant cap product operations, with explicit computations in terms of generators in equivariant homology [2601.16437].
- **Symplectic topology:** Through open-closed Gromov–Witten invariants and the Fukaya category, KS-operations explain quantum Steenrod operations and provide new arithmetic obstructions (e.g., obstructions to Abouzaid’s generation criterion and Lagrangian realizations based on the cohomological structure of symplectic manifolds) [2601.16437].

## 6. Concrete Example: Classical $d=2$ Case

For a classical associative $k$-algebra $A$:
- $C=HH^*(A)$ is a Gerstenhaber algebra, with cup product and graded Lie bracket.
- $H=HH_*(A)$ is a module over $C$, with the cap product and the Connes $B$-operator encoding the $S^1$ structure.
- The three basic operations of the KS operad correspond in homology to:
  - Cup product on $C \otimes C \to C$
  - Cap product on $H \otimes C \to H$
  - Lie derivative $L$ on $H \otimes C \to H$
- All compatibility and higher homotopy relations follow from operadic compositions in KS [1307.0322, 2104.02919].

## 7. Summary Table: Models and Actions

| Model / Structure          | Underlying Geometry                     | Algebraic Manifestation                         |
|---------------------------|-----------------------------------------|------------------------------------------------|
| Little disk / rectilinear  | Configurations of disks and cylinders   | $E_2$/$E_d$ operations, module, and $S^1$-action|
| Cacti (co)simplicial      | Planar cacti with spines, cyclic labels | Chain-level operad with $S^1$-actions          |
| Swiss-cheese/factorization| Disks and collars in topological category| Factorization homology, module over $E_d$-algebra|
| Hochschild calculations   | Operad acts on $(HH^*, HH_*)$           | Cup, cap, Lie derivative, Connes $B$, all compatibilities|

The two-colored Kontsevich–Soibelman operad thus provides a comprehensive, homotopy-coherent, and geometric framework for the calculus algebraic structure on Hochschild-type invariants, bridging configuration space topology, factorization homology, deformation theory, and broad applications in derived and symplectic geometry [1307.0322, 1904.02359, 2104.02919, 2601.16437].

Source: https://www.emergentmind.com/topics/two-colored-kontsevich-soibelman-operad