Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 14F10 ( Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials [See also 13Nxx, 32C38] )

  Expand all        Collapse all Results 1 - 3 of 3

1. CJM 2003 (vol 55 pp. 1100)

Khesin, Boris; Rosly, Alexei
Polar Homology
For complex projective manifolds we introduce polar homology groups, which are holomorphic analogues of the homology groups in topology. The polar $k$-chains are subvarieties of complex dimension $k$ with meromorphic forms on them, while the boundary operator is defined by taking the polar divisor and the Poincar\'e residue on it. One can also define the corresponding analogues for the intersection and linking numbers of complex submanifolds, which have the properties similar to those of the corresponding topological notions.

Keywords:Poincar\' e residue, holomorphic linking
Categories:14C10, 14F10, 58A14

2. 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

3. CJM 1998 (vol 50 pp. 863)

Yekutieli, Amnon
Smooth formal embeddings and the residue complex
Let $\pi\colon X \ar S$ be a finite type morphism of noetherian schemes. A {\it smooth formal embedding\/} of $X$ (over $S$) is a bijective closed immersion $X \subset \mfrak{X}$, where $\mfrak{X}$ is a noetherian formal scheme, formally smooth over $S$. An example of such an embedding is the formal completion $\mfrak{X} = Y_{/ X}$ where $X \subset Y$ is an algebraic embedding. Smooth formal embeddings can be used to calculate algebraic De~Rham (co)homology. Our main application is an explicit construction of the Grothendieck residue complex when $S$ is a regular scheme. By definition the residue complex is the Cousin complex of $\pi^{!} \mcal{O}_{S}$, as in \cite{RD}. We start with I-C.~Huang's theory of pseudofunctors on modules with $0$-dimensional support, which provides a graded sheaf $\bigoplus_{q} \mcal{K}^{q}_{\,X / S}$. We then use smooth formal embeddings to obtain the coboundary operator $\delta \colon\mcal{K}^{q}_{X / S} \ar \mcal{K}^{q + 1}_{\,X / S}$. We exhibit a canonical isomorphism between the complex $(\mcal{K}^{\bdot}_{\,X / S}, \delta)$ and the residue complex of \cite{RD}. When $\pi$ is equidimensional of dimension $n$ and generically smooth we show that $\mrm{H}^{-n} \mcal{K}^{\bdot}_{\,X/S}$ is canonically isomorphic to to the sheaf of regular differentials of Kunz-Waldi \cite{KW}. Another issue we discuss is Grothendieck Duality on a noetherian formal scheme $\mfrak{X}$. Our results on duality are used in the construction of $\mcal{K}^{\bdot}_{\,X / S}$.

Categories:14B20, 14F10, 14B15, 14F20

© Canadian Mathematical Society, 2014 :