Corner homology of cubes, free morphism categories and globes

Let InI^n be the nn-cube, let 2n2_n be the free ω\omega-category generated by an nn-morphism, and let GnG_n for n>0n>0 be the oriented nn-globe, namely the free ω\omega-category generated by two non-homotopic nn-morphisms with the same (n1)(n-1)-source and (n1)(n-1)-target. Basic corner-homology conjectures. For p>0p>0, Hp±(In)=0H_p^\pm(I^n)=0; if p>0p>0, then Hp±(2n)=0H_p^\pm(2_n)=0; and for p>0p>0 with pnp\neq n, Hp±(Gn)=0H_p^\pm(G_n)=0, while

Hn±(Gn)=Z.H_n^\pm(G_n)=\mathbb{Z}.

These are stated as elementary test cases for the corner homology theories and are said to be verifiable in lower dimensions; no general proof is supplied.

Sources & referencesView supporting material

Primary source

Philippe Gaucher, “Homotopy invariants of higher dimensional categories and concurrency in computer science”, arXiv:math/9902151 (2000).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.