The homological hyperbolicity conjecture for geometric realization

Let Φ\Phi be a substitution with tiling space ΩΦ\Omega_{\Phi}, and let Hhyp1H^1_{hyp} be the largest subgroup of H1(ΩΦ;Z)H^1(\Omega_{\Phi};\mathbb Z) containing the Φ\Phi^*-invariant subgroup HΛ1H^1_{\Lambda} on which Φ\Phi^* is unimodular and hyperbolic. Let G:ΩΦTDG':\Omega_{\Phi}\to\mathbb T^{D'} be the finite-to-one factor map from the geometric realization theorem, with almost-everywhere fiber cardinality rr'. The homological hyperbolicity conjecture. If Φ\Phi is hyperbolic and Hhyp1=H1(ΩΦ;Z)H^1_{hyp}=H^1(\Omega_{\Phi};\mathbb Z), then r=1r'=1, so GG' is almost everywhere one-to-one. This would identify the geometric realization with an almost-everywhere one-to-one toral model whenever the substitution action is unimodular and hyperbolic on all first cohomology; the source does not provide a resolution.

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.