When are two HKR isomorphisms equal?

DOI10.1016/J.AIM.2023.109246MaRDI QIDQ6076335zbMATH OpenOpenAlexFDO

Authors Shengyuan Huang

Publication date 21 September 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

HKR isomorphisms

Mathematics Subject Classification ID

Sheaves in algebraic geometry (14F06) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40)

Abstract: Let $XhookrightarrowS$ be a closed embedding of smooth schemes which splits to first order. An HKR isomorphism is an isomorphism between the shifted normal bundle $mathbb{N}_{X/S}[-1]$ and the derived self-intersection $Xime{s}_S^{R}X$. Given two different first order splittings of a closed embedding, one can obtain two HKR isomorphisms using a construction of Arinkin and Cu{a}ldu{a}raru. A priori, it is not known if the two isomorphisms are equal or not. We define the generalized Atiyah class of a vector bundle on $X$ associated to a closed embedding and two first order splittings. We use the generalized Atiyah class to give sufficient and necessary conditions for when the two HKR isomorphisms are equal over $X$ and over $XimesX$ respectively. When $i$ is the diagonal embedding, there are two natural projections from $XimesX$ to $X$. We show that the HKR isomorphisms defined by the two projections are equal over $X$, but not equal over $XimesX$ in general.

Recommendations

• The Hochschild-Kostant-Rosenberg isomorphism for quantized analytic cycles
• Formality of derived intersections and the orbifold HKR isomorphism
• Hochschild cohomology and Atiyah classes
• The Mukai pairing. II: The Hochschild-Kostant-Rosenberg isomorphism.
• When is the self-intersection of a subvariety a fibration?

Cites work

• Deformation quantization of Poisson manifolds
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Première partie). Rédigé avec la colloboration de J. Dieudonné
• Formality of derived intersections
• Formality of derived intersections and the orbifold HKR isomorphism
• Hochschild cohomology of quasiprojective schemes
• The Atiyah class, Hochschild cohomology and the Riemann-Roch theorem
• The Continuous Hochschild Cochain Complex of a Scheme
• The Ext algebra of a quantized cycle
• The Hochschild-Kostant-Rosenberg isomorphism for quantized analytic cycles
• The Mukai pairing. II: The Hochschild-Kostant-Rosenberg isomorphism.
• When is the self-intersection of a subvariety a fibration?

Cited in

(2)

• When Are Two Subgroups of the Rationals Isomorphic?
• A CATEGORICAL QUANTUM TOROIDAL ACTION ON THE HILBERT SCHEMES

This page was built for publication: When are two HKR isomorphisms equal?

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