The second author introduced the notion of space-time foam algebra as the algebra of generalized distributions which may have singularities on dense subsets. By means of the sheaf of space-time algebra as the structure sheaf algebra of the differential triad and abstract differential geometry introduced by the first author, de Rham cohomology with dense singularities of a space is introduced and it is shown that this cohomology is the same as the usual de Rham cohomology, when the space is nonsingular (Sect. 4).
The outline of the paper is as follows: Mallios’s abstract differential geometry is reviewed in Sect. 1. It based on the differential triad , where is a topological space (it need not be a smooth manifold), is a commutative and unital sheaf of -algebras on and is a derivation, where is a sheaf of -modules on . It is shown that from these data a de Rham complex is obtained [A. Mallios, Geometry of vector sheaves. I, II (1998; Zbl 0904.18001 and Zbl 0904.18002)]. In Section 2, Rosinger’s generalized functions, or space-time foam algebras are explained. The domain of generalized functions is an open set of . is a set of subsets , thought to be the set of singularities of a certain generalized function, of . is assumed to be a subset of is dense in . Examples of such are , the set of closed nowhere dense subsets of , and , the set of the first Baire category set in .
Let be a right directed partial order, be the set of sequences of smooth functions indexed by , the ideal in consisting of those sequences such that for any , there exists such that for any if . The ideal is defined to be the union of , . The foam algebra and multi-foam algebra are defined to be the quotients of by and , respectively. These algebras are called together space-time foam algebras. Since , , is identified with , elements of a space-time foam algebra can be regarded as generalized functions having singularities at .
Differentials on a space-time foam algebra are induced from the differentials on . After showing nontriviality of ideals and remarks on the dependence of on , fineness and flabbyness conditions of the sheaf of space-time foam algebras , are given (Lemma 2, a proof is given in the Appendix). As a result, is a fine and flabby sheaf. Most of the results in this Section are taken from former papers of E. E. Rosinger [Differential algebras with dense singularities on manifolds, Technical Report UPWT 99/9, Univ. Pretoria (1999)].
In Sect. 4, space-time foam differential triads are explained. The authors state that the sheaves of Schwartz distributions and Colombeau generalized functions are not flabby. So the use of foam algebras is more convenient in abstract differential geometry. Since the elements of a foam algebra are represented by a series of smooth functions, the Poincaré Lemma holds for the de Rham complex obtained from a space-time foam differential triad (Sect. 4, Theorem 1). This is the final result of the paper.
The authors state that space-time foam algebras are closely related to non-standard analysis in the of spirit of [cf. H. A. Biagioni, “A nonlinear theory of generalized functions”, Lect. Notes Math. 1421 (1990; Zbl 0694.46032)], and seems to be outside of the scope of Kuratowski-Bourbarki topological concept. Studies are motivated and aimed by general relativity and its quantization. For this point, see A. Mallios [“Abstract differential geometry, general relativity, and singularities, unsolved problems on mathematics for the 21st century”, 77–100 (2001; Zbl 1002.53047)].