The cup product in orbifold Hochschild cohomology

TL;DR

This paper explores the multiplicative structure of orbifold Hochschild cohomology, introducing new concepts like linearized derived schemes and analyzing conditions for associativity, with implications for mirror symmetry and orbifold geometry.

Contribution

It introduces the concept of linearized derived schemes and proposes a new product structure on orbifold Hochschild cohomology, extending the HKR isomorphism to orbifolds.

Findings

Obstructions to associativity vanish in certain cases

Proposed isomorphism between polyvector field cohomology and Hochschild cohomology in special cases

Introduced a bigrading on Hochschild homology of Calabi-Yau orbifolds

Abstract

We study the multiplicative structure of orbifold Hochschild cohomology in an attempt to generalize the results of Kontsevich and Calaque-Van den Bergh relating the Hochschild and polyvector field cohomology rings of a smooth variety. We introduce the concept of linearized derived scheme, and we argue that when $X$ is a smooth algebraic variety and $G$ is a finite abelian group acting on $X$, the derived fixed locus $\widetilde{X^G}$ admits an HKR linearization. This allows us to define a product on the cohomology of polyvector fields of the orbifold $[X/G]$. We analyze the obstructions to associativity of this product and show that they vanish in certain special cases. We conjecture that in these cases the resulting polyvector field cohomology ring is isomorphic to the Hochschild cohomology of $[X/G]$. Inspired by mirror symmetry we introduce a bigrading on the Hochschild homology of Calabi-Yau orbifolds. We propose a conjectural product which respects this bigrading and simplifies the previously introduced product.