Towards Digital Cohomology
We propose a method for computing the Z 2–cohomology ring of a simplicial complex uniquely associated with a three–dimensional digital binary–valued picture I. Binary digital pictures are represented on the standard grid Z 3, in which all grid points have integer coordinates. Considering a particular 14–neighbourhood system on this grid, we construct a unique simplicial complex K(I) topologically representing (up to isomorphisms of pictures) the picture I. We then compute the cohomology ring on I via the simplicial complex K(I). The usefulness of a simplicial description of the digital Z 2–cohomology ring of binary digital pictures is tested by means of a small program visualizing the different steps of our method. Some examples concerning topological thinning, the visualization of representative generators of cohomology classes and the computation of the cup product on the cohomology of simple 3D digital pictures are showed.
KeywordsDigital topology chain complexes cohomology ring
- 2.Berrio, J.M., González–Díaz, R., Leal, F., López, M.M., Real, P.: Visualizing Cohomology Aspects of 3D Objects. In: Proc. of the 6th Asian Tech. Conf. in Math, pp. 459–468 (2001)Google Scholar
- 3.Björner, A.: Topological Methods. Handbook on Combinatorics 2, 1819–1872 (1995)Google Scholar
- 7.González–Díaz, R., Real, P.: Geometric Objects and Cohomology Operations. In: Proc. of the 5th Workshop on Computer Algebra in Scientific Computing, pp. 121–130 (2002)Google Scholar
- 12.MacLane, S.: Homology. Classic in Math. Springer, Heidelberg (1995)Google Scholar