The homological hyperbolicity conjecture for geometric realization

About 15 years old · traced to

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′:ΩΦ→TD′G':\Omega_{\Phi}\to\mathbb T^{D'} be the finite-to-one factor map from the geometric realization theorem, with almost-everywhere fiber cardinality r′r'. 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 G′G' 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.

References

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.