Equivariant Hodge theory and noncommutative geometry (Q2224531)

The paper under review concers itself with constructing a pure Hodge structure on the \(M\)-equivariant topological \(K\)-theory of the underlying analytic space of a large class of smooth quasiprojective \(M\)-schemes equipped with a suitable generalization of the canonical stratification, where \(M\) is a compact Lie group. Note that in this case, the approach of Deligne to equivariant Hodge theory does not generalize to equivariant topological \(K\)-theory since the latter does not simply arise as the \(K\)-theory of a simplicial scheme. Let \(G\) be a reductive algebraic group and let \(X\) be a smooth quasiprojective \(G\)-scheme which admits a complete Kirwan-Ness stratification. An example of such a \(G\) is given by the complexification of a compact Lie group. The Kirwan-Ness stratification was introduced by [\textit{C. Teleman}, Ann. Math. (2) 152, No. 1, 1--43 (2000; Zbl 0980.53102)] as a generalization of the canonical stratification of a \(G\)-variety considered among others by Hesselink, Ness, and Kirwan. In this case, the authors show that the non-commutative Hodge-de Rham spectral sequence for the periodic cyclic homology of the derived category \(\mathrm{Perf}(X/G)\) of \(G\)-equivariant perfect complexes of coherent sheaves on \(X\) degenerates on the first page. Previous work [\textit{D. Kaledin}, Prog. Math. 324, 99--129 (2017; Zbl 1390.14011)] establishes that the non-commutative Hodge-de Rham spectral sequence degenerates for dg-categories which are smooth and proper. In the situation of the paper, the scheme is in general not proper and \(\mathrm{Perf}(X/G)\) need not be smooth even though \(X\) is assumed to be smooth. The main technical tool, is the observation that \(\mathrm{Perf}(X/G)\) can be obtained as a retract of an infinite semi-orthogonal decomposition of smooth and proper Deligne-Mumford stacks together with the fact that Hochschild homology is an additive invariant in the sense that it takes semi-orthogonal decompositions of dg-categories to direct sums. The authors use the degeneration of the Hodge-de Rham spectral sequence to construct a pure Hodge structure on the equivariant topological \(K\)-theory. Recent work of [\textit{A. Blanc}, Compos. Math. 152, No. 3, 489--555 (2016; Zbl 1343.14003)] provides a construction of a topological \(K\)-theory spectrum \(K^{\mathrm{top}}(\mathcal{A})\) for any dg-category \(\mathcal{A}\) over \(\mathbb{C}\), and additionally constructs a natural Chern character map \(K^{\mathrm{top}}(\mathcal{A}) \to \mathrm{HP}(\mathcal{A})\) to the periodic cyclic homology of \(\mathcal{A}\). The authors construct a topologization map \(K^{\mathrm{top}}(\mathcal{A}) \to K_M(X^{\mathrm{an}})\) for any smooth \(G\)-quasiprojective scheme \(X\), where \(G\) is the complexification of \(M\), and \(K_M(X^{\mathrm{an}})\) denotes the \(M\)-equivariant topological \(K\)-theory spectrum of the underlying analytic space of \(X\). Finally, the authors show that if \(X\) is a smooth quasiprojective \(G\)-scheme which admits a semicomplete Kirwan--Ness stratification, then the topologization map and the Chern character map provide equivalences \[ K_M(X^{\mathrm{an}}) \otimes \mathbb{C} \xleftarrow{\simeq} K^{\mathrm{top}}(\mathrm{Perf}(X/G)) \otimes \mathbb{C} \xrightarrow{\simeq} C_{\bullet}^{\mathrm{per}}(\mathrm{Perf}(X/G)), \] where \(C_{\bullet}^{\mathrm{per}}(\mathrm{Perf}(X/G))\) denotes the complex whose homology is given by the periodic cyclic homology. Consequently, the equivariant topological \(K\)-theory \(K^n_M(X^{\mathrm{an}})\) admits a pure Hodge structure of weight \(n\) coming from the degeneration of the Hodge--de Rham spectral sequence for the periodic cyclic homology. In fact, the \(M\)-equivariant topological \(K\)-theory is a module over the representation ring \(\mathrm{Rep}(M)\) and the Hodge structure is \(\mathrm{Rep}(M)\)-linear. Furthermore, the authors identify the graded pieces in terms of the cohomology of the derived inertia stack which is sometimes also referred to as the derived loop stack. Additionally, the authors establish degeneration of the Hodge-de Rham spectral sequence for categories of matrix factorizations for a large class of equivariant Landau-Ginzburg models.