Related papers: HKR Theorem for Smooth S-algebras

We prove a Hochschild-Kostant-Rosenberg decomposition theorem for smooth proper schemes $X$ in characteristic $p$ when $\dim X\leq p$. The best known previous result of this kind, due to Yekutieli, required $\dim X<p$. Yekutieli's result…

We study algebraic K-theory, syntomic cohomology, and prismatic cohomology of Cartier smooth rings. As an application, we provide an alternative proof of Kelly-Morrow's generalization of the Geisser-Levine theorem computing $p$-adic…

For every Hecke C*-algebra of right-angled, hyperbolic type, we construct a smooth subalgebra to which traces associated with arbitrary conjugacy classes in the associated Coxeter group extend. We calculate the pairing with K-theory of the…

We calculate the integral homotopy groups of THH(l) at any prime and of THH(ko) at p=2, where l is the Adams summand of the connective complex p-local K-theory spectrum and ko is the connective real K-theory spectrum.

A stable homology theory is defined for completely distributive CSL algebras in terms of the point-neighbourhood homology of the partially ordered set of meet-irreducible elements of the invariant projection lattice. This specialises to the…

We construct an analytic multiplicative model of smooth K-theory. We further introduce the notion of a smooth K-orientation of a proper submersion and define the associated push-forward which satisfies functoriality, compatibility with…

Given a $k$--scheme $X$ that admits a tilting object $T$, we prove that the Hochschild (co-)homology of $X$ is isomorphic to that of $A= End_{X}(T)$. We treat more generally the relative case when $X$ is flat over an affine scheme $Y=\Spec…

We introduce the notion of a $p$-Cartier smooth algebra. It generalises that of a smooth algebra and includes valuation rings over a perfectoid base. We give several characterisations of $p$-Cartier smoothness in terms of prismatic…

We prove a desingularization theorem for the quasi-smooth derived scheme, in the sense of Hekking. We also propose the conjecture that the K-theoretic integration of the virtual fundamental class of a quasi-smooth derived scheme could be…

We compute the Hochschild homology of the differential graded category of perfect curved modules over suitable curved rings, giving what might be termed "de Rham models" for such. This represents a generalization of previous results by…

We show that for a noetherian algebra $A$ whose bounded dg derived category is smooth, the singular Hochschild cohomology (=Tate--Hochschild cohomology) is isomorphic, as a graded algebra, to the Hochschild cohomology of the dg singularity…

In this paper we continue our study of logarithmic topological Hochschild homology. We show that the inclusion of the connective Adams summand into the p-local complex connective K-theory spectrum, equipped with suitable log structures, is…

Let $G$ be a group and $S$ a unital epsilon-strongly $G$-graded algebra. We construct spectral sequences converging to the Hochschild (co)homology of $S$. Each spectral sequence is expressed in terms of the partial group (co)homology of $G$…

Within the framework of deformation quantization, a first step towards the study of star-products is the calculation of Hochschild cohomology. The aim of this article is precisely to determine the Hochschild homology and cohomology in two…

For a smooth quasi-projective surface S over complex numbers we consider the Borel-Moore homology of the stack of coherent sheaves on S with compact support and make this space into an associative algebra by a version of the Hall…

Hochschild cohomology is crucial for understanding deformation theory. In arXiv:2304.10223, we have computed the Hochschild cohomology for gentle algebras of punctured surfaces. The construction of that paper is rather implicit and fails if…

We consider the homology theory of \'etale groupoids introduced by Crainic and Moerdijk, with particular interest to groupoids arising from topological dynamical systems. We prove a K\"unneth formula for products of groupoids and a…

We prove a homological stability theorem for the subgroup of the mapping class group acting as the identity on some fixed portion of the first homology group of the surface. We also prove a similar theorem for the subgroup of the mapping…

We revisit the non-commutative Hodge-to-de Rham Degeneration Theorem of the first author, and present its proof in a somewhat streamlined and improved form that explicitly uses spectral algebraic geometry. We also try to explain why…

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…