Acyclicity and comparison conjectures for new globular and corner homology

Let C\mathcal{C} be an ω\omega-category, let InI^n denote the nn-dimensional cube, let AA and BB be composable nn-morphisms, and let C^\widehat{\mathcal{C}} denote the modified ω\omega-category used to define the new globular homology. Write HnewglH_*^{new-gl} for the new globular homology, and let n±\square_n^\pm denote the corresponding corner construction. New-homology conjectures. The following assertions should hold: Hpnewgl(In)=0H_p^{new-gl}(I^n)=0 for every natural number nn and every p>0p>0; for every n2n\geqslant2, if tn1A=sn1Bt_{n-1}A=s_{n-1}B, then n±(An1BAB)\square_n^\pm(A*_{n-1}B-A-B) is a boundary in the corresponding corner homology of C^\widehat{\mathcal{C}}; the canonical map

Hn±(C)Hn±(C^)H_n^\pm(\mathcal{C})\longrightarrow H_n^\pm(\widehat{\mathcal{C}})

is an isomorphism for every n0n\geqslant0; and, as a consequence of the preceding conjectures, hn±h_n^\pm factorizes through the new globular homology theory. These claims are proposed as the properties needed to resolve the comparison problems for the new globular homology; the source gives no resolution.

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.