The ring compatibility conjecture for the modified Hochschild-Kostant-Rosenberg isomorphism

Let II be the Hochschild-Kostant-Rosenberg isomorphism and let II' be its modification obtained by composing it with wedging by tdX1/2\operatorname{td}_X^{1/2}. For a homogeneous element vv in HomX(iΩXi[i],OX){\mathrm{Hom}}_X^*(\bigoplus_i \Omega_X^i[i],\mathscr O_X), let e(v)e(v) be the upper-triangular matrix defined by the product formula vv=p(e(v)e(v))v*v'=p(e(v)\circ e(v')), and let e(v)e'(v) be the matrix obtained by following the arrows around the preceding diagram after replacing II by II'. Ring compatibility conjecture. Replacing II by II' in the preceding analysis, and IHKRI^{\mathrm{HKR}} by IKI^K, yields e=ee=e'. This conjecture asserts that the Todd-class modification repairs the failure of the ordinary Hochschild-Kostant-Rosenberg map to respect the relevant ring structure; the source gives no resolution of the claim.

Sources & referencesView supporting material

Primary source

Andrei Caldararu, “The Mukai pairing, II: the Hochschild-Kostant-Rosenberg isomorphism”, arXiv:math/0308080 (2004).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.