DeRham theorem with cubical forms (Q801325)

Let \(Q_ q\) be the smallest subring of \({\mathbb{Q}}\) containing 1/p for all primes \(p\leq q\). Let X be a cubical complex. Define \(T^*(X)\) as the algebra of compatible collections of polynomial differential forms with \({\mathbb{Q}}\)-coefficients on the cubes of X. A filtration of \(T^*(X)\) (as \({\mathbb{Z}}\)-module) is obtained by defining a filtration on \(T^*(I^ N)\) for the cube \(I^ N\) as follows: A p-form \(\omega\) is in \(T^{p,q}(I^ N)\), iff it is a \(Q_ q\)-linear combination of forms \(x^{\alpha_ 1}_{i_ 1}...x^{\alpha_ j}_{i_ j} x^{\beta_ p}_{k_ 1}...x^{\beta_ p}_{k_ p} dx_{k_ 1}\wedge...\wedge dx_{k_ p}\) with \(\{i_ 1,...,i_ j\}\), \(\{k_ 1,...,k_ p\}\) disjoint subsets of \(\{\) 1,...,N\(\}\) and \(\max \{\alpha_ 1,...,\alpha_ j,\beta_ 1+1,...,\beta_ p+1\}\leq q\) (here \(x_ 1,...,x_ N\) are the canonical coordinates of \(I^ N)\). Then one has \(d: T^{p,q}(X)\to T^{p+1,q}(X)\), and the product of forms defines a product \(T^{p,q}(X)\otimes T^{r,s}(X)\to T^{p+r,q+s}(X).\) The following is proved: Integration of forms induces an isomorphism \(H^ p(T^{*,q}(X))\to H^ p(X;Q_ q)\) for all \(p\geq 0\), \(q\geq 1\). Moreover this isomorphism respects the products \(H^ p(T^{*,q}(X))\otimes H^ r(T^{*,s}(X))\to H^{p+r}(T^{*,q+s}(X))\) and \(H^ p(X;Q_ q)\otimes H^ r(X;Q_ s)\to H^{p+r}(X;Q_{r+s}).\) This refined deRham theorem is the basis of the authors' version of tame homotopy theory, the main results of which are reviewed.