Two-Colored Kontsevich–Soibelman Operad

• The two-colored KS operad is a topological operad with two colors that encodes E₂ algebra operations on Hochschild cohomology and compatible module structures on homology.
• It employs geometric models such as little disks, rectilinear embeddings, and cacti to capture operadic compositions, module actions, and circle actions with full homotopy coherency.
• Its applications span deformation theory, factorization homology, and topological quantum field theory, bridging algebraic operations with geometric and categorical frameworks.

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 (Horel, 2013, Iwanari, 2019).

• 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 (Horel, 2013, Iwanari, 2019).

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 (Iwanari, 2019).
• 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 (Chen, 23 Jan 2026).
• Fulton–MacPherson compactifications and Swiss-cheese/cyclo-Swiss-cheese models: These provide manifold with corners or semi-algebraic models, related via homotopy equivalence (Iwanari, 2021).

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 (Iwanari, 2019, Iwanari, 2021).

• 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 (Iwanari, 2019).

• 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 (Horel, 2013, Iwanari, 2021).

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 (Horel, 2013).

• 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 (Horel, 2013).

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) (Chen, 23 Jan 2026).

• 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)$ (Chen, 23 Jan 2026).

• 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 (Chen, 23 Jan 2026).

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 (Horel, 2013, Iwanari, 2019, Iwanari, 2021). 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 (Iwanari, 2021).

• 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 (Chen, 23 Jan 2026).

• 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) (Chen, 23 Jan 2026).

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 (Horel, 2013, Iwanari, 2021).

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 (Horel, 2013, Iwanari, 2019, Iwanari, 2021, Chen, 23 Jan 2026).