Hochschild cohomology commutes with adic completion

DOI10.2140/ANT.2016.10.1001MaRDI QIDQ738829zbMATH OpenOpenAlexFDO

Authors Liran Shaul

Publication date 16 August 2016

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1505.04172

zbMATH Keywords

Hochschild cohomologyadic completion

Mathematics Subject Classification ID

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Complete rings, completion (13J10) Power series rings (13J05) Completion of commutative rings (13B35)

Abstract: For a flat commutative $k$-algebra $A$ such that the enveloping algebra $Aotime{s}_{k}A$ is noetherian, given a finitely generated bimodule $M$, we show that the adic completion of the Hochschild cohomology module $H{H}^n(A/k,M)$ is naturally isomorphic to $H{H}^n(widehatA/k,widehatM)$. To show this, we (1) make a detailed study of derived completion as a functor $D(A)oD(widehatA)$ over a non-noetherian ring $A$; (2) prove a flat base change result for weakly proregular ideals; and (3) Prove that Hochschild cohomology and analytic Hochschild cohomology of complete noetherian local rings are isomorphic, answering a question of Buchweitz and Flenner. Our results makes it possible for the first time to compute the Hochschild cohomology of $k[[t_1,dots,t_n]]$ over any noetherian ring $k$, and open the door for a theory of Hochschild cohomology over formal schemes.

Recommendations

• Completion and torsion over commutative DG rings
• Hochschild homology of complete intersections
• Hochschild homology of complete intersections and smoothness
• On the Hochschild cohomology of commutative Hopf algebras
• Hochschild cohomology of some quantum complete intersections

Cited in

(4)

• Adic reduction to the diagonal and a relation between cofiniteness and derived completion
• Completion and torsion over commutative DG rings
• Injective DG-modules over non-positive DG-rings
• Extended local cohomology and local homology

This page was built for publication: Hochschild cohomology commutes with adic completion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q738829)