The global decomposition theorem for Hochschild (co-)homology of singular spaces via the Atiyah-Chern character

DOI10.1016/J.AIM.2007.06.013MaRDI QIDQ2461787zbMATH OpenOpenAlexFDO

Authors Ragnar-Olaf Buchweitz, Hubert Flenner

Publication date 21 November 2007

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0606730

zbMATH Keywords

Atiyah classAtiyah-Chern characterderived categoryHochschild cohomologyHochschild homologyperfect complexessemiregularity

Mathematics Subject Classification ID

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) (14F43) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Analytic sheaves and cohomology groups (32C35)

Abstract: We generalize the decomposition theorem of Hochschild, Kostant and Rosenberg for Hochschild (co-)homology to arbitrary morphisms between complex spaces or schemes over a field of characteristic zero. To be precise, we show that for each such morphism, the Hochschild complex, as introduced in math.AG/0606593, decomposes naturally in the derived category into the direct sum of the derived symmetric powers of the shifted cotangent complex, a result due to Quillen in the affine case. Even in the affine case, our proof is new and provides further information. It shows that the decomposition is given explicitly and naturally by the universal Atiyah-Chern character, the exponential of the universal Atiyah class. We further use the decomposition theorem to show that the semiregularity map for perfect complexes factors through Hochschild homology and, in turn, factors the Atiyah-Hochschild character through the characteristic homomorphism from Hochschild cohomology to the graded centre of the derived category.

Review text

The main result of the paper is that the classical Hochschild-Kostant-Rosenberg-Quillen theorem on the Hodge decomposition of Hochschild cohomology in the affine case extends to the global situation. Namely, that in the derived category \(D(X)\) there is a canonical isomorphism of graded \(\mathfrak{O}_X\)-algebras \(H_{X/Y}\equiv S(L[1])\), where \(H_{X/Y}\) denotes the Hochschild complex and \(S(L[1])\) denotes the derived symmetric powers of the shifted cotangent complex \(L\) of \(X\) over \(Y\). The proof uses characteristic classes, namely (divided and signed) powers of the Atiyah class. As an application the authors show that the semiregularity map for perfect complexes factors through Hochschild homology and, in turn, factors the Atiyah-Hochschild character through the characteristic homomorphism from Hochschild cohomology to the graded center of the derived category.

Recommendations

• Global Hochschild (co-)homology of singular spaces
• Singular Hochschild cohomology via the singularity category
• On the hochschild homology decompositions
• On the Hochschild homology of singularity categories
• The Atiyah class, Hochschild cohomology and the Riemann-Roch theorem
• Hochschild cohomology, the characteristic morphism and derived deformations
• Hochschild homology of singular algebras
• The decomposition of Hochschild cohomology and Gerstenhaber operations
• Hochschild cohomology and Atiyah classes
• Singular spaces, characteristic classes, and intersection homology

Cites work

• Complex Analytic Connections in Fibre Bundles
• Complexe cotangent et déformations. II
• Deformations and Fourier-Mukai transforms
• DEFORMATIONS OF COMPLEX SPACES
• Global Hochschild (co-)homology of singular spaces
• Hochschild cohomology of complex spaces and Noetherian schemes
• Hochschild cohomology of quasiprojective schemes
• scientific article; zbMATH DE number 3879051 (Why is no real title available?)
• scientific article; zbMATH DE number 4049981 (Why is no real title available?)
• scientific article; zbMATH DE number 3712176 (Why is no real title available?)
• scientific article; zbMATH DE number 1960065 (Why is no real title available?)
• scientific article; zbMATH DE number 3264155 (Why is no real title available?)
• scientific article; zbMATH DE number 3370554 (Why is no real title available?)
• Rational homotopy theory
• Rozansky-Witten invariants via Atiyah classes
• The Atiyah class, Hochschild cohomology and the Riemann-Roch theorem
• The decomposition of Hochschild cohomology and Gerstenhaber operations
• The Mukai pairing. II: The Hochschild-Kostant-Rosenberg isomorphism.
• The relative Riemann-Roch theorem from Hochschild homology
• The Trace Map and Characteristic Classes for Coherent Sheaves

Cited in

(24)

• The characteristic morphism of an algebra
• Holomorphic Koszul-Brylinski homology via Dolbeault cohomology
• Dolbeault cohomologies of blowing up complex manifolds. II: Bundle-valued case
• Derived geometry of the first formal neighbourhood of a smooth analytic cycle
• Equivariant localization and completion in cyclic homology and derived loop spaces
• Remarks on derived equivalences of Ricci-flat manifolds
• Bivariance, Grothendieck duality and Hochschild homology. II: The fundamental class of a flat scheme-map
• Global Hochschild (co-)homology of singular spaces
• Orbifold completion of defect bicategories
• Hochschild (co-)homology of schemes with tilting object
• S^1-equivariant simplicial algebras, de Rham theory and multiplicative HKR theorems.
• The Continuous Hochschild Cochain Complex of a Scheme
• Hodge theory and derived categories of cubic fourfolds
• When is the self-intersection of a subvariety a fibration?
• The Continuous Hochschild Cochain Complex of a Scheme
• Rigidity properties of the cotangent complex
• The K3 category of a cubic fourfold
• Hochschild homology and Gabber's theorem
• Homological mirror symmetry for Milnor fibers via moduli of A∞A_\infty‐structures
• Semiregularity as a consequence of Goodwillie's theorem
• Derived equivalences of K3 surfaces and orientation
• Counting surfaces on Calabi-Yau 4-folds. I: Foundations
• Deformation-obstruction theory for complexes via Atiyah and Kodaira-Spencer classes
• Adjunctions and defects in Landau-Ginzburg models

This page was built for publication: The global decomposition theorem for Hochschild (co-)homology of singular spaces via the Atiyah-Chern character

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2461787)