Cohomological distinction conjecture for the groups G(nˉ)G(\bar n)

Fix, for every integer n1n\geq 1, the fundamental group GnG_n of an (n+2)(n+2)-dimensional cusped hyperbolic manifold. Let nˉ\bar n be a finite collection of integers at least 11, and let G(nˉ)G(\bar n) be a finitely generated infinite group containing copies of all GnG_n with nnˉn\in\bar n as hyperbolically embedded subgroups. Write G(nˉ)\partial_*G(\bar n) for its Morse boundary. Cohomological distinction conjecture. The Čech cohomology satisfies

Hˇi(G(nˉ),R)\check{H}^i(\partial_* G(\bar n),\mathbb{R})

non-trivial for inˉi\in\bar n and trivial for inˉi\notin\bar n, with 1<imax(nˉ)1<i\leq\max(\bar n). The conjecture is intended to distinguish the quasi-isometry classes of the various groups G(nˉ)G(\bar n): the Morse boundary should contain copies of the boundaries Gn\partial_*G_n, contributing cohomology in the appropriate degrees, while otherwise being 11-dimensional.

Sources & referencesView supporting material

Primary source

Elia Fioravanti, Annette Karrer, Alessandro Sisto and Stefanie Zbinden, “On the Čech cohomology of Morse boundaries”, arXiv:2303.15981 (2024).

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.