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

adic completionHochschild cohomology

Mathematics Subject Classification ID

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

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.

Review text

It is shown that if \(A\) is a flat commutative algebra over a commutative ring, such that the enveloping algebra \(A \otimes A\) is noetherian, then the adic completion of the Hochschild cohomology of \(A\) with coefficient in a finitely-generated \(A\)-module \(M\), is isomorphic to the Hochschild cohomology of the adic completion of \(A\) with coefficients in the adic completion of \(M\). The adic completion here is understood with respect to some ideal of \(A\). As an application, the Hochschild cohomology of \(kt_1,\dots,t_n\) over a noetherian ring \(k\) is computed.

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

(5)

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

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)