Current browse context:
math.AG
Change to browse by:
References & Citations
Mathematics > Algebraic Geometry
Title: Equivariant localization for cyclic homology
(Submitted on 21 Aug 2017 (v1), revised 24 Sep 2017 (this version, v3), latest version 23 Jan 2020 (v7))
Abstract: Motivated by a theorem in the $K$-theoretic setting relating the localization of $K_0(X/T)$ over a closed point $z \in \text{Spec}(K_0(BT))$ to the Borel-Moore homology of the fixed points $H_\bullet^{BM}(X^z; \mathbb{C})$, we prove an equivariant localization theorem for quotient stacks by reductive groups $G$ in the setting of derived loop spaces and periodic cyclic homology, realizing a Jordan decomposition of loops described by Ben-Zvi and Nadler. We show that the derived loop space $\mathcal{L}(X/G)$ is a family of twisted unipotent loop spaces over $\mathrm{Aff}(\mathcal{L}(BG)) = G//G$; that is, the fiber over a formal neighborhood of a semisimple orbit $[z] \in G//G$ is the unipotent loop space of the classical fixed points with a twisted $S^1$-action. We further study the relationship between unipotent loop spaces and formal loop spaces, and prove that their Tate $S^1$-invariant functions are isomorphic. Applying a theorem of Bhatt identifying derived de Rham cohomology with Betti cohomology, we obtain an equivariant localization theorem for periodic cyclic homology in the smooth case, identifying the completion of $HP(\text{Perf}(X/G))$ at $z \in G//G$ with the 2-periodic equivariant singular cohomology of the $z$-fixed points $H^\bullet(X^z/G^z; k)((u))$.
Submission history
From: Harrison Chen [view email][v1] Mon, 21 Aug 2017 04:31:57 GMT (18kb,D)
[v2] Wed, 30 Aug 2017 21:07:04 GMT (18kb,D)
[v3] Sun, 24 Sep 2017 13:40:12 GMT (36kb,D)
[v4] Mon, 2 Oct 2017 05:35:31 GMT (37kb,D)
[v5] Thu, 1 Mar 2018 05:07:52 GMT (61kb,D)
[v6] Thu, 8 Nov 2018 17:11:53 GMT (146kb,D)
[v7] Thu, 23 Jan 2020 17:43:05 GMT (62kb,D)
Link back to: arXiv, form interface, contact.