On the homology of algebras of Whitney functions over subanalytic sets (Q2427306): Difference between revisions

It is known that the methods originated from noncommutative geometry work successfully in the geometric analysis of smooth manifolds (Connes and Connes-Moscovic). This is because the topological and geometric properties can be reconstructed by the corresponding algebra of regular smooth functions. The authors of the paper under the review are interested to apply a similar argument to the study of singular spaces. More concretely, they consider different homological theories for the algebra \(C^\infty(X)\) of Whitney functions over a subanalytic set \(X\) of \(\mathbb{R}^n\). The first result in this paper is the proof of a Hochschild-Konstant-Rosenberg type theorem for \(C^\infty(X)\) when \(X\) is a regular subset of \(\mathbb{R}^n\) with regularly situated diagonals. The last condition for \(X\) includes the case of a subanalytic \(X\). The mentioned theorem is obtained with the help of some localization techniques used in the construction of the Hochschild homology of a fine commutative algebra. It is to remark that the techniques introduced by the authors generalize the method of localization developed by Teleman and others. By the way, Peetre's theorem about the local operator acting on the smooth functions on \(\mathbb{R}^n\) is generalized for Whithey functions (see p. 16 of the paper). The second result of the authors concerns the Hochschild homology of \(C^\infty(X)\) of Whitney functions on \(X\), assuming that \(X\) has regularly situated diagonals. The mentioned cohomology is computed. The cyclic and periodic cyclic homologies are computed with the help of Connes boundary map. A generalization of the Feigen-Tsygan result about the periodic cyclic theory is obtained. Very interesting is the theorem which says that for a subanalytic set \(X\) the de Rham cohomology of \(C^\infty(X)\) coincides with the singular cohomology. For the proof a new notion of the authors, namely, bimeromorphic subanalytic triangulation is used, and it is proved that such a triangulation exists for every bounded subanalytic set. Final reviewer remarks: This paper is very rich in content. Hochschild homology is presented in a larger framework. A number of generalizations synthesize ideas from algebraic topology, geometric differential analysis and functional analysis (locally convex topological spaces, Frechet modules, currents, nuclear spaces, differential operators, etc.). The most impressive is the sketch of some general setting of the category of Whitney ringed spaces. More concretely, the algebra \(C^\infty(X)\) of Whitney functions on a stratified set \(X\) depends on the embedding \(X\subset\mathbb{R}^n\). Working in the spirit of the Grothendieck's algebraic de Rham homology, the authors show how to construct correctely a category \((X, C^\infty)\) of smooth structures on \(X\) with a structure sheaf \(C^\infty\) of Whitney functions. This new category allows us to interpret the main results in the paper as assertions about local homological properties of the structure sheaf \(C^\infty\) in the particular case \(X\) to be subanalytic. A question arises (at least for non-specialists like the reviewer): is it a new Grothendieck era which emerges in singular algebraic geometry (eventually noncommutative)? We have in mind that the de Rham cohomology of the formal completions coincides with the complex cohomology, and the authors' conjecture that the same holds for Whitney functions over appropriate singular spaces.