Conjecture on maximal cohomology for generalized 12-fold tilings

Let ΩE12γ\Omega_{E_{12}^{\gamma}} be the tiling space associated with a generalized 12-fold tiling with parameter γ\gamma. For generic parameters, meaning those with the maximal number of singular lines and the least order of multiple intersections of singular lines, the paper considers the cohomology groups Hi(ΩE12γ)H^i(\Omega_{E_{12}^{\gamma}}). Maximal cohomology conjecture. The maximal cohomology attained among all the generalized 12-fold tilings is

H0(ΩE12γ)=Z,H1(ΩE12γ)=Z25and H2(ΩE12γ)=Z564.H^0(\Omega_{E_{12}^{\gamma}})=\mathbb Z,\quad H^1(\Omega_{E_{12}^{\gamma}})=\mathbb Z^{25}\quad\mathrm{and\ }\quad H^2(\Omega_{E_{12}^{\gamma}})=\mathbb Z^{564}.

The theorem preceding this conjecture establishes that the cohomology groups are torsion free and that the rank of H1(ΩE12γ)H^1(\Omega_{E_{12}^{\gamma}}) can attain 2525; the maximality assertion for the cohomology, particularly the stated value of the second cohomology rank, is proposed on the basis of computer calculations. Special parameter values can cause multiple intersections of singular lines to merge, so determining all possible second-cohomology ranks remains computationally involved.

Sources & referencesView supporting material

Primary source

Nicolas Bedaride, Franz Gahler and Ana G. Lecuona, “Cohomology groups for spaces of 12-fold tilings”, arXiv:2012.00379 (2021).

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.