HKR theorem for smooth \(S\)-algebras. (Q1414065): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 17:54, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | HKR theorem for smooth \(S\)-algebras. |
scientific article |
Statements
HKR theorem for smooth \(S\)-algebras. (English)
0 references
19 November 2003
0 references
The ``HKR'' theorem of the title is an extension of the Hochschild-Kostant-Rosenberg theorem which says that, if \(k\) is a commutative ring, the Hochschild homology of a smooth \(k\)-algebra is given by the differential forms. The context of this paper is that of commutative ring spectra, or commutative \(S\)-algebras. The authors give a definition of (\textit{thh}-)étale and smooth maps extending the usual definitions, and prove the HKR-theorem: If \(f\colon R\to A\) is a \textit{thh}-smooth map in the category of connective commutative \(S\)-algebras, then the derivative map \[ THH(A| R)\to \Sigma TAQ(A| R) \] has a section in the category of \(A\)-modules which induces an equivalence of \(A\)-algebras \[ \mathbb P_A\Sigma\, {TAQ}(A| R)@>\sim>>THH(A| R) \] where \(\mathbb P_A\) is the symmetric algebra triple. A key result in the paper is the ``étale descent formula'', i.e. the authors give conditions implying that the claim that a map \(A\to B\) of commutative \(R\)-algebras is \textit{thh}-étale is equivalent to claiming that the map \[ (A\otimes_RX)\wedge_AB\to B\otimes_RX \] is an equivalence.
0 references
Hochschild-Kostant-Rosenberg theorem
0 references
smooth maps of \(S\)-algebras
0 references