Traces of differential forms and Hochschild homology (Q1188553): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 06:34, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Traces of differential forms and Hochschild homology |
scientific article |
Statements
Traces of differential forms and Hochschild homology (English)
0 references
17 September 1992
0 references
The paper starts with studying the Hochschild homology \(H_{\bullet}:\quad A\to ADG\) from the category A of commutative algebras to the category ADG of anti-commutative DG-algebras. This functor is extended to the category Topal of topological algebras. Some relations between differential algebras and Hochschild homology modules are established. Let \(\Omega^{\bullet}:\quad A\to ADG\) be the functor ``universal differential algebra''. The functorial homomorphism \(\theta^{\bullet}:\quad \Omega^{\bullet}\to H_{\bullet}\) can be extended to the full subcategory Topal\(\sim\) of all objects of Topal for which the differential algebra \^R[d\^R] is complete. If R is a \({\mathbb{Q}}\)-algebra or if \(\Omega^ 1_{R/k}\) is finite then a left inverse \(\delta^{\bullet}_{(R/k,\tau)}\) of \(\theta^{\bullet}_{(R/k,\tau)}\) is constructed explicitly. - A trace for the Hochschild homology of topological algebras is constructed and the following theorem is proved: Let X be the class of all pairs \(((S,\tau ')/(R,\tau),\kappa)\) with the following properties: i. \(\kappa\) is a noetherian ring and (R,\(\tau)\)//\(\kappa\) is a topological algebra. ii. S/R is an algebra and \(\tau '\) is the linear topology on S induced by \(\tau\). iii. The \(\tau '\)-adic completion (Ŝ,\({\hat \tau}{}')\) of \((S,\tau ')\) is a finite and free module over the \(\tau\)-adic completion (\^R,\({\hat \tau}\)) of (R,\(\tau)\). iv. The topology \({\hat \tau}{}'\) on S is the linear topology induced by \({\hat \tau}\). Then there exists a system of canonical morphisms \(tr_{(S/R,r)}:\quad H_{\bullet}(S/\kappa,\tau ')\to H_{\bullet}(S/\kappa,\tau),((S,\tau ')/(R,\tau),\kappa)\) in X, satisfying some axioms formulated in terms of Hochschild homology. These results are used to construct the pretrace of Angeniol. Then the trace maps for differential forms are constructed for some classes of forms and it is shown that they satisfy the trace axioms. It is not known whether the trace maps for finite locally complete intersections can be defined in a similar way via Hochschild homology. Nevertheless these traces are closely related to the traces of Hochschild homology. It is shown that the various definitions of trace coincide on the intersection of the classes where they are defined. Lipman's definition of residues is extended to topological Hochschild homology and universal finite differential forms, and this theory is used to derive under suitable reducedness assumptions a slightly weaker version of the trace formula. This formula is used to deduce the residue axiom (R4) ``transitivity'' for Lipman's residue symbol.
0 references
differential form
0 references
differential algebras
0 references
Hochschild homology modules
0 references
universal finite differential forms
0 references
trace formula
0 references