Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Qiaochu's question on a discrete analogue of harmonic function theory reminded me of some thoughts I had a long time ago about the relationship between cubical cohomology and de Rham cohomology.

The main reason de Rham cohomology is often used as a first introduction to algebraic topology is due to the few technical prerequisites. You can set up the differential graded ring structure with very little work. One of the important results is the Stokes theorem,

$$\int_C d\omega = \int_{\partial C} \omega,$$

where $\omega$ is a $p$-form and $C$ is a $(p+1)$-chain. Conceptually, it says the differential operator $d$ is adjoint to the boundary operator $\partial$ with respect to the non-degenerate bilinear pairing $\int$.

It is sometimes remarked that you could turn around and use this result to justify defining $d$ as the adjoint of $\partial$. Indeed, that is how simplicial cohomology is usually defined in terms of simplicial homology. But it seems clear that the better analogy is with cubical cohomology:

Establishing homotopy invariance and the cup product for singular simplicial cohomology is a bit technical. In contrast, it's easy with singular cubical cohomology: $I^m\ I^n$ = $I^{m+n}$, so cubical prisms and products are manifestly cubical, no subdivision needed. Demonstrating these properties for de Rham comology can be done with similar ease. The advantages and disadvantages of cubes over simplices have been discussed here before.

The analogy goes further. If you write out products and exterior derivatives of differential forms in coordinates and compare them with the corresponding formulas in cubical cohomology in a lattice-like neighborhood, they are exactly analogous in the same way that freshman calculus and the calculus of finite differences are analogous. If you have trouble wrapping your head around the geometrical interpretation of concepts in de Rham cohomology like products and differentials and especially more advanced concepts in Hodge theory, the analogy with cubical cohomology is very enlightening (or at least it was for me).

My question is whether anyone has worked out this relationship in detail. Maybe in a context where infinitesimals have a concrete existence as in algebraic geometry and synthetic differential geometry.

share|improve this question

1 Answer 1

up vote 4 down vote accepted

M. Carmen Minguez in this article constructs a homomorphism between de Rham and Cubical Singular Cohomology without showing that is an isomorphism. This is done in the context of Synthetic Differential Geometry.

In general Synthetic Differential geometers seem to be quite aware of the cubical setup, probably because differential forms naturally get a cubical structure if defined via infinitesimals. This is very visible in chapter IV, section 1 of Moerdijk/Reyes' book on synthetic differential geometry. In remark 1.8 (p. 145) they mention a bridge to cubical (co)homology - then, however, they choose to establish the isomorphism between de Rham and simplicial singular cohomology.

share|improve this answer
    
Thanks Peter. I had already checked a few SDG references; the Moerdijk-Reyes book must have slipped through my net. –  Per Vognsen Jul 29 '10 at 0:44
    
You are welcome. In case you work this out in detail and write it down I am interested to read it! –  Peter Arndt Jul 29 '10 at 18:41

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.