An HKR theorem for factorization homology

Abstract

We prove a Hochschild-Kostant-Rosenberg theorem ("the HKR theorem") which computes the factorization homology of certain smooth commutative ring spectra. In doing so we fix and generalize a THH computation which was first conceived as the brainchild of McCarthy-Minasian. A direct application of our revised HKR theorem is the higher THH of rational $KU$.