English

When are two HKR isomorphisms equal?

Algebraic Geometry 2023-08-15 v2

Abstract

Let XSX\hookrightarrow S be a closed embedding of smooth schemes which splits to first order. An HKR isomorphism is an isomorphism between the shifted normal bundle NX/S[1]\mathbb{N}_{X/S}[-1] and the derived self-intersection X×SRXX\times^R_SX. Given two different first order splittings of a closed embedding, one can obtain two HKR isomorphisms using a construction of Arinkin and C\u{a}ld\u{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 XX 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 XX and over X×XX\times X respectively. When ii is the diagonal embedding, there are two natural projections from X×XX\times X to XX. We show that the HKR isomorphisms defined by the two projections are equal over XX, but not equal over X×XX\times X in general.

Cite

@article{arxiv.2205.04439,
  title  = {When are two HKR isomorphisms equal?},
  author = {Shengyuan Huang},
  journal= {arXiv preprint arXiv:2205.04439},
  year   = {2023}
}

Comments

Final accepted version

R2 v1 2026-06-24T11:11:49.992Z