Loading Web-Font TeX/Main/Regular
| Register
\newcommand{\Cat}{{\rm Cat}} \newcommand{\A}{\mathcal A} \newcommand{\freestar}{ \framebox[7pt]{$\star$} }

4. Cech closure spaces

    1. Eilenberg-Steenrod axioms

      Problem 4.1.

      [Antonio Rieser] Do the Eilenberg-Steenrod axioms or a variant thereof determine the homology theory uniquely for closure spaces (or graphs)?
        • Cubical homology

          Problem 4.2.

          [Nikola Milicevic] Is the Excision Axiom true for cubical homology of Cech closure spaces with respect to interior covers?
            1. Remark. Here is an example of an interior cover of the 4-cycle C_4, a graph with vertices: 0, 1, 2, 3, and edges between i and i+1 mod 4. The minimal interior cover is given by: \{4, 0, 1\}, \{0, 1, 2\}, \{1, 2, 3\}, \{2, 3, 0\}.
                • Singular homology of graphs

                      Every simple graph can be viewed as a closure space as follows: given a graph X = (V, E), we define a closure space by taking its underlying set to be V and c(A) = \bigcup_{v \in A} c(v), where c(v) = \{ w \in V \ | \ \{ v, w \} \in E\}. For n , k \in \mathbb{Z}, define the graph (\mathbb{Z}/n, c_k) to have the set of vertices \mathbb{Z}/n = \{ 0, 1, \ldots, n-1\} and an edge between i and j whenever i and j are no more than k away.

                  Problem 4.3.

                  [Nikola Milicevic] Compute H^{sing}_*(\mathbb{Z}/n, c_k). Is it isomorphic to the homomology of the clique complex of (\mathbb{Z}/n, c_k)?
                      This was computed by Nikola Milicevic for n \leq 5, but is not known for higher values of n.
                    • Manifolds/cobordism

                      Problem 4.4.

                      [Samira Jamil] What are manifolds in Cech closure spaces? What is the notion of cobordism in Cech closure spaces?

                          Cite this as: AimPL: Discrete and combinatorial homotopy theory, available at http://aimpl.org/combhomotop.