Search arXivSearch

arXiv · 2410.01894

On the differentials of the Hochschild-Kostant-Rosenberg spectral sequence

Abstract

The Hochschild-Kostant-Rosenberg theorem implies the existence of a spectral sequence computing the Hochschild homology of a variety in terms of the cohomology of differential forms. When the base field $k$ has characteristic $p>0$, we show that the differentials in this spectral sequence are zero before page $p$; when the variety admits a lift to $W_2(k)$, we give a formula for the differential on page $p$. The formula involves the Bockstein associated to the lift and a $p$th power operation for the Atiyah class. Along the way, we also discuss rudiments of Tannakian reconstruction for derived stacks using the $Θ$-categories of Nuiten and Toën.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Joshua Mundinger. 2026-03-11. On the differentials of the Hochschild-Kostant-Rosenberg spectral sequence. https://arxiv.org/abs/2410.01894

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

G3-Criteria and Applications

The G3-property of a subvariety was introduced by Hironaka-Matsumura, and plays an important role for deducing connectedness and extension results. Unfortunately, it's a rather elusive notion, which is not always easy to establish. Most of the existing work is concentrated on subvarieties of homogeneous varieties. The first goal of this article is to show that mobility assumptions on the subvariety, considered in works of Badescu, Chow, Debarre, Voisin, yield a certain partial positivity property, slightly stronger than G3, previously introduced by the author. Second, we apply the result to prove that, in numerous situations, the splitting of the normal bundle of a smooth two-codimensional subvariety implies that it is a complete intersection.

math.AG

Nodal degeneration of chiral algebras I: Global structure and gluing formula

We define a natural extension of a universal factorization algebra $\mathcal{A}$ to families of stable punctured curves, by integrating over all semistable modifications. We prove that the resulting sheaf of factorization homology satisfies a natural gluing formula, by tensoring over a certain derived associative algebra $\mathfrak{Z}_{\mathcal{A}}^0$, generalizing the Verlinde formula for gluing of conformal blocks.

math.AG