Contravariant Hochschild Cohomology

• Contravariant Hochschild cohomology is a generalized cohomological theory that encodes Ext-groups and duality for associative algebras and schemes.
• It features a rich algebraic structure with cup products, Gerstenhaber brackets, and BV operators that are key to analyzing deformation and Poisson structures.
• The theory underpins practical applications in deformation theory, noncommutative geometry, and string topology through explicit constructions from DG algebras and polyvector fields.

Contravariant Hochschild cohomology is a generalized cohomological theory arising in both algebra and algebraic geometry, with a defining feature that the functoriality is contravariant with respect to morphisms. It plays a foundational role in deformation theory, noncommutative geometry, and derived algebraic geometry. Contravariant Hochschild cohomology may be constructed for associative algebras or for schemes, typically encoding Ext-groups of derived invariants that naturally admit rich algebraic structures—most notably, Gerstenhaber and Batalin–Vilkovisky (BV) algebra structures. Modern developments place contravariant Hochschild (co)homology in a bivariant framework with deep connections to duality, deformation quantization, and string topology.

1. Definitions and Foundational Constructions

For a unital differential graded (DG) $k$-algebra $A$, the contravariant Hochschild cochain complex is given by

$$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$

where $A^\vee = \mathrm{Hom}_k(A, k)$ is the $k$-dual bimodule. The total differential splits into internal and external components, and the cohomology

$HH^*(A, A^\vee) = \ker \delta / \mathrm{im} \delta$

is the contravariant Hochschild cohomology. The construction generalizes to the setting of schemes: given a separated, essentially finite type morphism $x: X \to S$ of noetherian schemes, the derived Hochschild complex is

$$H_x := L\Delta_x^*\,R\Delta_{x*}\,\mathcal{O}_X \in D_{qc}(X)$$

and the contravariant Hochschild groups are

$$HH^i(X/S) = \mathrm{Ext}^i_{\mathcal{O}_X}(H_x, H_x)$$

which are modules over the ring $\bigoplus_{j} H^j(S, \mathcal{O}_S)$ (Tarrío et al., 2010, Abbaspour, 2013).

2. Algebraic Structures: Cup Product, Gerstenhaber Bracket, and BV Operator

The cup product in $A$0 is defined by

$A$1

which is associative and graded-commutative on cohomology:

$A$2

A Gerstenhaber bracket is given by explicit insertion operations, making $A$3 a Gerstenhaber algebra. When $A$4 is Calabi–Yau or satisfies Poincaré duality (e.g., $A$5 in the derived category), a BV-operator $A$6 of degree $A$7 may be constructed via duality from the Connes operator, giving

$A$8

Thus $A$9 is a BV algebra (Abbaspour, 2013). In the geometric (scheme-theoretic) picture, cup product and graded-commutativity are similarly realized, and the unit is the identity map $$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$0 (Tarrío et al., 2010).

3. The Contravariant Viewpoint and Polyvector Fields

For the exterior algebra $$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$1 on a finite-dimensional vector space $$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$2, the Hochschild cohomology is controlled by contravariant data:

$$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$3

where $$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$4 denotes even-weight polyvector fields on $$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$5. This is underpinned by Koszul duality and the Hochschild–Kostant–Rosenberg theorem, with the key property that each cohomology class is represented by a polyvector field acting contravariantly by differentiation on $$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$6 (Wong, 2016).

The Gerstenhaber algebra structure on $$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$7 corresponds to the Schouten–Nijenhuis bracket on these polyvector fields, and the cup product matches the wedge product. If $$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$8 is even, the divergence operator becomes a BV-operator, resulting in a BV structure (Wong, 2016).

4. Functoriality, Duality, and the Bivariant Framework

Contravariant Hochschild cohomology fits in a three-functor formalism based on Grothendieck duality:

• $$C^*(A, A^\vee) := \mathrm{Hom}_{A^e}(B(A,A,A), A^\vee) \cong \mathrm{Hom}_k((s\,\overline{A})^{\otimes *}, A^\vee)$$9: (derived) inverse image
• $A^\vee = \mathrm{Hom}_k(A, k)$0: derived direct image
• $A^\vee = \mathrm{Hom}_k(A, k)$1: extraordinary inverse image

In schemes, the cup product and all structure maps are compatible with functorial pullbacks, base change, projection formulas, and canonical orientations/fundamental classes

$A^\vee = \mathrm{Hom}_k(A, k)$2

These orientations are central in realizing Gysin maps and in defining a general Fulton–MacPherson–type bivariant theory (Tarrío et al., 2010).

5. Formality, Deformation Theory, and Poisson Structures

For the exterior algebra in even dimension, the differential graded Lie algebra (DGLA) of Hochschild cochains is $A^\vee = \mathrm{Hom}_k(A, k)$3-formal, i.e., it is quasi-isomorphic as an $A^\vee = \mathrm{Hom}_k(A, k)$4-algebra to its cohomology, and all higher Massey brackets vanish. Thus the formal deformation space is governed by Maurer–Cartan elements of the polyvector field algebra, i.e., by even-weight formal Poisson bivector fields:

$A^\vee = \mathrm{Hom}_k(A, k)$5

giving a geometric classification of deformations in terms of Poisson structures on the dual space (Wong, 2016). In contrast, when $A^\vee = \mathrm{Hom}_k(A, k)$6 is odd, formality may fail, as evidenced by nontrivial Massey products (Wong, 2016).

6. Geometric and Topological Applications

When $A^\vee = \mathrm{Hom}_k(A, k)$7 for a closed oriented manifold $A^\vee = \mathrm{Hom}_k(A, k)$8, $A^\vee = \mathrm{Hom}_k(A, k)$9 is a homologically smooth DG Hopf algebra (up to homotopy) with Poincaré duality, and $k$0 acquires a BV structure. This recovers, via Burghelea–Fiedorowicz–Goodwillie, the Chas–Sullivan BV structure on the homology of the free loop space. Further, Sullivan chord diagrams act naturally on the Hochschild chain and cochain complexes, encoding cup product, Connes operator, BV operator, and relevant homotopies in a combinatorial, geometric model for string topology operations (Abbaspour, 2013).

7. Summary Table: Contravariant Hochschild Cohomology in Key Settings

Setting	Complex/Group	Structure
DG algebra $k$1	$k$2	Gerstenhaber/BV algebra
Scheme $k$3	$k$4	Graded-commutative $k$5-algebra, orientation classes
$k$6, $k$7 even	$k$8	$k$9-formal, BV structure
$HH^*(A, A^\vee) = \ker \delta / \mathrm{im} \delta$0, $HH^*(A, A^\vee) = \ker \delta / \mathrm{im} \delta$1 odd	$HH^*(A, A^\vee) = \ker \delta / \mathrm{im} \delta$2	BV structure, may not be formal

Contravariant Hochschild cohomology unifies and generalizes cohomological, geometric, and topological invariants, encoding deformation, duality, and string-topological phenomena through a robust algebraic framework (Wong, 2016, Abbaspour, 2013, Tarrío et al., 2010).