The formal dimension of a topological space (Q1089956)

Let X be a 1-connected topological space with finite Betti numbers. The formal dimension of X, rel. a field \({\mathfrak k}\), defined in ''Gorenstein spaces'' [to appear in Adv. Math.], by \textit{S. Halperin} and the authors, is the integer fd(X,\({\mathfrak k})=Sup\{i\); \(Tor_ i^{C^ *(X;{\mathfrak k})}(C_ *(X;{\mathfrak k}), {\mathfrak k})\) nonzero\(\}\). Tor means differential Tor, \(C_ *(X;{\mathfrak k})\) denotes the normalized singular chains endowed with a structure of \(C^ *(X;{\mathfrak k})\)-module by the cap product. For finite complexes X, fd(X) coincides with the usual dimension and, for instance, \(fd({\mathbb{C}}P^{\infty})=-1.\) In this paper we prove: Let X and Y be 1-connected topological spaces with nontrivial \({\mathfrak k}\)-cohomology and finite formal dimensions, then \(fd(X\vee Y)=\max (1, fd(X), fd(Y))\). This result is a consequence of a change of rings property for differential Tor.