Equivariant Cap Products: Theory & Applications

• Equivariant cap products are operations in (co)homology that integrate group symmetries to refine duality and intersection theories.
• They employ filtered chain complexes, bar and Koszul resolutions, and spectral sequences to construct invariant pairings in both geometric and algebraic contexts.
• Applications span equivariant topology, algebraic geometry, and Landau–Ginzburg orbifolds, revealing secondary invariants and quantum interaction phenomena.

An equivariant cap product is a fundamental operation in homology and cohomology theories that are enhanced by group actions, endowing them with additional symmetry properties. In the presence of a group action such as that of a finite group or a compact Lie group, the construction of cap products—pairings between (co)homology theories—must be modified to respect this symmetry. These modifications play a central role in equivariant topology, the study of quotient objects, string topology, algebraic geometry, and mathematical physics, as they give rise to refined dualities, intersection-theoretic operations, and a suite of secondary invariants.

1. Construction of Equivariant Cap Products

Equivariant cap products generalize classical cap products by intertwining homological algebra, group actions, and functorial constructions. For a real algebraic variety $X$ with an action of a finite group $G$, the geometric filtration $GC_*(X)$ on semialgebraic chains, together with its dual $GC^*(X)$, are equipped with compatible $G$-actions. The requisite equivariant (co)homology groups, $H_*(X;G)$ and $H^*(X;G)$, are constructed via group (co)homology functors applied to these filtered complexes, typically using a projective resolution such as the bar resolution:

$$L_*(K_*) := \mathrm{Tot}_{p,q}(F_p\otimes_{\mathbb{Z}_2[G]} K_q), \quad L^*(K^*) := \mathrm{Tot}_{p,q} \mathrm{Hom}_{\mathbb{Z}_2[G]}(F_p,K^q)$$

where $K_*$ (resp. $K^*$) is a left $G$-chain (resp. cochain) complex. The filtered cap product at the chain level is defined so that the group-coinvariants and invariants yield an equivariant, filtered, degree-reducing map:

$\frown : C^*(X;G) \otimes C_*(X;G) \to C_*(X;G)$

This chain-level operation descends via the associated weight spectral sequences, ensuring compatibility with filtrations and the equivariant structures (Priziac, 2017).

In the Borel-equivariant context, for a $G$-manifold $M$, one works with the Borel construction $M_G = EG \times_G M$, and the equivariant cap product is formulated at the (co)homological level as

$$\frown_G: H^i_G(M) \otimes H_j^G(M) \longrightarrow H_{j-i}^G(M)$$

typically realized by a sequence of cross products, integration-over-fibre (Grothendieck transfer), and Gysin (umkehr) maps associated to the Borel diagonal and quotient bundles (Kaji et al., 2015).

For Hochschild-type invariants and curved algebras with group symmetries, as in Landau-Ginzburg orbifolds or categories of matrix factorizations, the cap product is constructed on mixed complexes with group actions and curvature terms, often utilizing bar or Koszul resolutions and yielding operations such as

$$\cap: HH_p(A \rtimes G, W) \otimes HH^q(A \rtimes G, W) \to HH_{p-q}(A \rtimes G, W)$$

where $A$ is a $K$-algebra, $G$ a finite group, and $W$ a central element (“curvature”) (Shklyarov, 2017).

2. Compatibility with Filtrations and Spectral Sequences

A central feature of equivariant cap products is their compatibility with filtrations arising from geometry or algebra. In the setting of real algebraic varieties with a weight filtration induced by a group action, the cap product is filtered: for $w\!\mathrm{Fil}^p H^*(X;G)$ and $w\!\mathrm{Fil}_s H_*(X;G)$,

$$\alpha \frown \beta \in w\!\mathrm{Fil}_{s-p} H_{t-r}(X;G)$$

for $\alpha \in w\!\mathrm{Fil}^p H^r(X;G)$ and $\beta \in w\!\mathrm{Fil}_s H_t(X;G)$. At the level of weight spectral sequences, the cap-product induces a well-defined bidegree-preserving map

$$\frown_r: E_r^{p,q}(X;G) \otimes E^r_{s,t}(X;G) \longrightarrow E^r_{s-p, t-q}(X;G)$$

which decomposes through Künneth isomorphisms, diagonal restrictions, and pullback along the diagonal embedding, ensuring that the operation respects all relevant filtrations (Priziac, 2017).

3. Algebraic and Operadic Formalism

Equivariant cap products arise as operations in categories of filtered chain complexes, with further enrichments stemming from operad actions and representation theory.

In periodic cyclic homology and G-equivariant derived algebraic geometry, the two-colored Kontsevich–Soibelman operad governs universal operations mapping

$$(CC^*(\mathcal{A}))^{\otimes k} \otimes CC_*(\mathcal{A}) \to CC_*(\mathcal{A})$$

for a dg algebra $\mathcal{A}$. The $p$-fold equivariant cap product is realized via a distinguished class $[e_0]$ in operadic homology, with the explicit action on chains governed by insertion formulas and symmetries from the $C_p$-action (cyclicity, operadic composition). The identification of these operadic models, including via topological models such as cacti or cylinder complexes, ensures that equivariant cap products are universally characterized in their category, and directly relate to the classical and quantum Steenrod operations in symplectic topology (Chen, 23 Jan 2026).

For curved algebras and orbifold categories, the cup and cap products are further refined by the presence of G-invariant components (“twisted sectors”), explicit “structure constants” relating to intersection theory, and braided super-commutativity—a consequence of the group-graded algebraic structure (Shklyarov, 2017).

4. Duality, Intersection Theory, and Secondary Operations

Equivariant cap products serve as the foundation for duality phenomena and intersection pairings in equivariant homology and cohomology theories. In the Borel construction, Poincaré duality is refined equivariantly:

$$\mathrm{PD}_G: H^i_G(M) \cong H_{\dim M - \dim G - i}^G(M)$$

allowing cap products to mediate intersection pairings:

$$\star_G: H_p^G(M) \otimes H_{d-p}^G(M) \to H_d^G(M)$$

which are nondegenerate when $M_G$ is Gorenstein and $H_*^G(M)$ is computed over a field. The transfer, Gysin, and umkehr maps involved depend on additional orientation data, such as orientation of the adjoint bundle $\mathrm{ad}(EG)$ (Kaji et al., 2015).

A notable feature in the equivariant setting is the emergence of vanishing phenomena in primary operations, prompting the definition of secondary intersection and cap products. For instance, when certain degrees are not realized in homology, the primary products vanish, and secondary products arise via factorizations through Mayer–Vietoris sequences and homotopy pushouts. These secondary operations capture finer strata of equivariant homology and are invisible in the classical, non-equivariant context.

5. Explicit Examples and Applications

The theory of equivariant cap products is illustrated by both direct calculations and applications in geometry and physics.

• Real Algebraic Varieties with Involution: For $X = \mathbb{P}^1(\mathbb{R}) \cong S^1$ with $G = \mathbb{Z}/2$ acting antipodally, the equivariant homology and the weight spectral sequence have nontrivial columns corresponding to coinvariants, with the cap product yielding Poincaré duality at the level of the spectral sequence and on $H_*(X;G)$ (Priziac, 2017).
• Borel-Equivariant Setting: For a compact Lie group $G$ acting on a closed, oriented manifold $M$, the equivariant cap product in the Borel construction $M_G$ provides the intersection product and determines string topology operations, with additional shifts in degrees reflecting the dimension of $G$ and the topology of universal bundles (Kaji et al., 2015).
• Landau–Ginzburg Orbifolds: The equivariant cap product on the Hochschild homology of the crossed-product algebra $A \rtimes G$ (with a “curved” potential $W$) is governed by Alexander–Whitney coproducts, evaluation polynomials, and explicit group-theoretic structure constants. In significant examples such as the Fermat cubic and $G = \mathbb{Z}/3$, this recovers the orbifolded Jacobian (Milnor) algebra structures known from LG mirror symmetry (Shklyarov, 2017).
• Periodic Cyclic Homology and Symplectic Topology: Equivariant cap products give rise to quantum Steenrod operations, compatibility with Fukaya category open-closed maps, and classical obstructions to generation. For symplectic manifolds, these operations detect $p$-torsion and provide topological obstructions to Lagrangian realization problems. The operadic reformulation via cacti and little disks bridges algebraic and topological perspectives, ensuring that cap products govern key arithmetic and structural phenomena in modern symplectic geometry (Chen, 23 Jan 2026).

6. Structural Theorems and Algebraic Consequences

The structure of equivariant cap products is tightly bound to decomposition theorems and representation theory. In the setting of curved algebras and isolated singularities, an HKR-type (Hochschild–Kostant–Rosenberg) decomposition expresses equivariant (co)homology as direct sums over group twisted sectors, with cup and cap products governed by explicit constants and duality. Braided super-commutativity, G-equivariance of products, and compatibility with group actions are established, ensuring the robustness of the theory under invariance and descent (Shklyarov, 2017).

In operadic models, equivariant homology generators correspond to combinatorial or geometric representatives—cacti, configurations, or disks—whose compositions and products reflect the full symmetry and operadic structure of the category.

7. Comparison to Non-Equivariant Constructions

When the group action is trivial, all constructions reduce naturally to the classical cap product and intersection theory. Key distinctions in the equivariant case include:

• Transfer (pushforward) maps with degree shifts reflecting group dimensions;
• Secondary operations arising from vanishing in primary products;
• Enriched functoriality, including subgroup restriction, external products, and compatibility with Künneth maps;
• Braided and twisted commutativity in algebraic models.

These distinctions underline the depth and subtlety of equivariant cap products and their central role in contemporary topology, algebraic geometry, and mathematical physics (Priziac, 2017, Kaji et al., 2015, Shklyarov, 2017, Chen, 23 Jan 2026).