Computing cup products in \(\mathbb {Z}_2\)-cohomology of 3D polyhedral complexes
Let \(I=(\mathbb {Z}^3,26,6,B)\) be a three-dimensional (3D) digital image, let \(Q(I)\) be an associated cubical complex, and let \(\partial Q(I)\) be a subcomplex of \(Q(I)\) whose maximal cells are the quadrangles of \(Q(I)\) shared by a voxel of \(B\) in the foreground—the object under study—and...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2014 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/30928 |
| Acceso en línea: | http://hdl.handle.net/11441/30928 https://doi.org/10.1007/s10208-014-9193-0 |
| Access Level: | acceso abierto |
| Palabra clave: | Cohomology Cup product Diagonal approximation Digital image Polyhedral complex Polygon |
| Sumario: | Let \(I=(\mathbb {Z}^3,26,6,B)\) be a three-dimensional (3D) digital image, let \(Q(I)\) be an associated cubical complex, and let \(\partial Q(I)\) be a subcomplex of \(Q(I)\) whose maximal cells are the quadrangles of \(Q(I)\) shared by a voxel of \(B\) in the foreground—the object under study—and by a voxel of \(\mathbb {Z}^3\backslash B\) in the background—the ambient space. We show how to simplify the combinatorial structure of \(\partial Q(I)\) and obtain a 3D polyhedral complex \(P(I)\) homeomorphic to \(\partial Q(I)\) but with fewer cells. We introduce an algorithm that computes cup products in \(H^*(P(I);\mathbb {Z}_2)\) directly from the combinatorics. The computational method introduced here can be effectively applied to any polyhedral complex embedded in \(\mathbb {R}^3\). |
|---|