Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: All articles in the CJM digital archive with keyword derived categories

  Expand all        Collapse all Results 1 - 1 of 1

1. CJM 2002 (vol 54 pp. 1319)

Yekutieli, Amnon
The Continuous Hochschild Cochain Complex of a Scheme
Let $X$ be a separated finite type scheme over a noetherian base ring $\mathbb{K}$. There is a complex $\widehat{\mathcal{C}}^{\cdot} (X)$ of topological $\mathcal{O}_X$-modules, called the complete Hochschild chain complex of $X$. To any $\mathcal{O}_X$-module $\mathcal{M}$---not necessarily quasi-coherent---we assign the complex $\mathcal{H}om^{\cont}_{\mathcal{O}_X} \bigl( \widehat{\mathcal{C}}^{\cdot} (X), \mathcal{M} \bigr)$ of continuous Hochschild cochains with values in $\mathcal{M}$. Our first main result is that when $X$ is smooth over $\mathbb{K}$ there is a functorial isomorphism $$ \mathcal{H}om^{\cont}_{\mathcal{O}_X} \bigl( \widehat{\mathcal{C}}^{\cdot} (X), \mathcal{M} \bigr) \cong \R \mathcal{H}om_{\mathcal{O}_{X^2}} (\mathcal{O}_X, \mathcal{M}) $$ in the derived category $\mathsf{D} (\Mod \mathcal{O}_{X^2})$, where $X^2 := X \times_{\mathbb{K}} X$. The second main result is that if $X$ is smooth of relative dimension $n$ and $n!$ is invertible in $\mathbb{K}$, then the standard maps $\pi \colon \widehat{\mathcal{C}}^{-q} (X) \to \Omega^q_{X/ \mathbb{K}}$ induce a quasi-isomorphism $$ \mathcal{H}om_{\mathcal{O}_X} \Bigl( \bigoplus_q \Omega^q_{X/ \mathbb{K}} [q], \mathcal{M} \Bigr) \to \mathcal{H}om^{\cont}_{\mathcal{O}_X} \bigl( \widehat{\mathcal{C}}^{\cdot} (X), \mathcal{M} \bigr). $$ When $\mathcal{M} = \mathcal{O}_X$ this is the quasi-isomorphism underlying the Kontsevich Formality Theorem. Combining the two results above we deduce a decomposition of the global Hochschild cohomology $$ \Ext^i_{\mathcal{O}_{X^2}} (\mathcal{O}_X, \mathcal{M}) \cong \bigoplus_q \H^{i-q} \Bigl( X, \bigl( \bigwedge^q_{\mathcal{O}_X} \mathcal{T}_{X/\mathbb{K}} \bigr) \otimes_{\mathcal{O}_X} \mathcal{M} \Bigr), $$ where $\mathcal{T}_{X/\mathbb{K}}$ is the relative tangent sheaf.

Keywords:Hochschild cohomology, schemes, derived categories
Categories:16E40, 14F10, 18G10, 13H10

© Canadian Mathematical Society, 2014 :