Hochschild-Kostant-Rosenberg isomorphism for derived Deligne-Mumford stacks

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Fu, Lie, Porta, Mauro, Scherotzke, Sarah, Sibilla, Nicolò
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866914264477859840
author Fu, Lie
Porta, Mauro
Scherotzke, Sarah
Sibilla, Nicolò
author_facet Fu, Lie
Porta, Mauro
Scherotzke, Sarah
Sibilla, Nicolò
contents We prove a Hochschild--Konstant--Rosenberg (HKR) theorem for arbitrary derived Deligne--Mumford (DM) stacks, extending the results of Arinkin-Căldăraru-Hablicsek in the smooth, global quotient case, although with different methods. To formulate our result, we introduce the notion of orbifold inertia stack of a derived DM stack; this supplies a finely tuned derived enhancement of the classical inertia stack, which does not always coincide with the classical truncation of the free loop space. We show that, in characteristic 0, given a derived DM stack, the shifted tangent bundle of its orbifold inertia stack is equivalent to its free loop space. This yields a canonical HKR isomorphism of algebras between the Hochschild homology of a derived DM stack and the cohomology of differential forms on its orbifold inertia stack. Moreover, this isomorphism intertwines the natural circle action and the de Rham differential. Similarly, HKR theorems for derived DM stacks are established for Hochschild cohomology, cyclic homology, negative cyclic homology, and periodic cyclic homology. As applications, we provide a rich supply of computations of Hochschild homology and Hochschild cohomology for interesting derived DM stacks, such as weighted projective lines, root stacks, quotients by algebraic groups, and mapping stacks, among others.
format Preprint
id arxiv_https___arxiv_org_abs_2509_00501
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Hochschild-Kostant-Rosenberg isomorphism for derived Deligne-Mumford stacks
Fu, Lie
Porta, Mauro
Scherotzke, Sarah
Sibilla, Nicolò
Algebraic Geometry
Algebraic Topology
14A30, 14A20, 13D03, 19D55
We prove a Hochschild--Konstant--Rosenberg (HKR) theorem for arbitrary derived Deligne--Mumford (DM) stacks, extending the results of Arinkin-Căldăraru-Hablicsek in the smooth, global quotient case, although with different methods. To formulate our result, we introduce the notion of orbifold inertia stack of a derived DM stack; this supplies a finely tuned derived enhancement of the classical inertia stack, which does not always coincide with the classical truncation of the free loop space. We show that, in characteristic 0, given a derived DM stack, the shifted tangent bundle of its orbifold inertia stack is equivalent to its free loop space. This yields a canonical HKR isomorphism of algebras between the Hochschild homology of a derived DM stack and the cohomology of differential forms on its orbifold inertia stack. Moreover, this isomorphism intertwines the natural circle action and the de Rham differential. Similarly, HKR theorems for derived DM stacks are established for Hochschild cohomology, cyclic homology, negative cyclic homology, and periodic cyclic homology. As applications, we provide a rich supply of computations of Hochschild homology and Hochschild cohomology for interesting derived DM stacks, such as weighted projective lines, root stacks, quotients by algebraic groups, and mapping stacks, among others.
title Hochschild-Kostant-Rosenberg isomorphism for derived Deligne-Mumford stacks
topic Algebraic Geometry
Algebraic Topology
14A30, 14A20, 13D03, 19D55
url https://arxiv.org/abs/2509.00501