The essential cohomology conjecture for geometric realization

Let Φ\Phi be a substitution with tiling space ΩΦ\Omega_{\Phi}. Let Hhyp1(ΩΦ;Z)H^1_{hyp}(\Omega_{\Phi};\mathbb Z) be the hyperbolic part of first cohomology, and let Hess1(ΩΦ;Z)H^1_{ess}(\Omega_{\Phi};\mathbb Z) be the essential cohomology, defined by intersecting the cohomological images associated with substitutions compatible with Φ\Phi. Let G:ΩΦTDG':\Omega_{\Phi}\to\mathbb T^{D'} be the geometric realization map. The essential cohomology conjecture. If Φ\Phi is unimodular and hyperbolic and

Hhyp1(ΩΦ;Z)=Hess1(ΩΦ;Z),H^1_{hyp}(\Omega_{\Phi};\mathbb Z)=H^1_{ess}(\Omega_{\Phi};\mathbb Z),

then GG' is almost everywhere one-to-one. The conjecture strengthens the preceding homological criterion by replacing all first cohomology with essential cohomology; its status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Marcy Barge and Jean-Marc Gambaudo, “Geometric realization for substitution tilings”, arXiv:1111.6641 (2011).

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.