ular it appears in deformation quantization as lowest degree of Kontsevich’s formality.
Even though the HKR Theorem has been known for a long time, available proofs are often of a local nature and are hard to generalize to more structured situations.
I will present a novel proof for the HKR Theorem using a symbol calculus and a van Est-double complex.
This strategy will allow for an explicit global homotopy and can easily be adapted to various situations.
As examples, I will present HKR Theorems for subma