HKR theorem for smooth \(S\)-algebras. (Q1414065): Difference between revisions
From MaRDI portal
Created claim: MaRDI profile type (P1460): MaRDI publication profile (Q5976449), #quickstatements; #temporary_batch_1710327701624 |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0306243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: André-Quillen cohomology of commutative \(S\)-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4896538 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317713 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4716283 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Étale descent for Hochschild and cyclic homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deriving calculus with cotriples / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5288307 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(E_{\infty}\) algebras and \(p\)-adic homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5653373 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(THH(R) \cong R \otimes S^ 1\) for \(E_ \infty\) ring spectra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: André--Quillen spectral sequence for \(THH\). / rank | |||
Normal rank |
Latest revision as of 11:41, 6 June 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