New results on tilings via cup products and Chern characters on tiling spaces
Pith reviewed 2026-05-23 20:18 UTC · model grok-4.3
The pith
Cup-product calculations on tiling cohomology rings produce counterexamples to the equivariant gap-labeling conjecture in dimensions four and higher.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Computer-assisted computation of the cup-product structure on the cohomology of tiling spaces from cubical substitutions produces examples of tilings with isomorphic cohomology groups but distinct rings. This structure also determines the image of the Chern character. The authors define the equivariant gap-labeling conjecture, prove it holds in dimensions at most three, and exhibit its failure in dimensions at least four.
What carries the argument
The cup-product structure on the cohomology ring of the tiling space, obtained through computer-assisted calculation for substitution rules.
If this is right
- There exist substitution tilings with the same cohomology groups but non-isomorphic cohomology rings.
- The equivariant gap-labeling conjecture fails in dimensions four and higher.
- Cup product computations can verify whether the Chern character lands in integral cohomology.
- The standard gap-labeling conjecture is plausible to fail in high dimensions.
Where Pith is reading between the lines
- Higher-dimensional tiling models in physics may require additional invariants beyond K-theory or cohomology groups.
- Similar computer methods could reveal ring distinctions in other classes of tilings.
- The failure of the equivariant version might point to the need for a modified conjecture that accounts for symmetries differently.
Load-bearing premise
The computer calculations accurately determine the cup-product structure on the cohomology.
What would settle it
Finding a four-dimensional cubical substitution tiling where the equivariant gap-labeling conjecture holds, or manually recomputing the cohomology ring for one of the distinguishing examples.
read the original abstract
We study the cohomology rings of tiling spaces $\Omega$ given by cubical substitutions. While there have been many calculations before of cohomology groups of such tiling spaces, the innovation here is that we use computer-assisted methods to compute the cup-product structure. This leads to examples of substitution tilings with isomorphic cohomology groups but different cohomology rings. Part of the interest in studying the cup product comes from Bellissard's gap-labeling conjecture, which is known to hold in dimensions $\le 3$, but where a proof is known in dimensions $\ge 4$ only when the Chern character from $K^0(\Omega)$ to $H^*(\Omega,\mathbb{Q})$ lands in $H^*(\Omega,\mathbb{Z})$. Computation of the cup product on cohomology often makes it possible to compute the Chern character. We introduce a natural generalization of the gap-labeling conjecture, called the equivariant gap-labeling conjecture, which applies to tilings with a finite symmetry group. Again this holds in dimensions $\le 3$, but we are able to show that it fails in general in dimensions $\ge 4$. This, plus some of our cup product calculations, makes it plausible that the gap-labeling conjecture might fail in high dimensions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that computer-assisted methods can compute the cup-product structure on the cohomology rings of cubical substitution tiling spaces, yielding examples of tilings whose cohomology groups are isomorphic but whose rings are not. It introduces an equivariant version of Bellissard's gap-labeling conjecture (applicable when a finite symmetry group is present), proves that both the original and equivariant conjectures hold in dimensions ≤3, and asserts that the equivariant conjecture fails in general for dimensions ≥4; the same computations are said to make failure of the original conjecture plausible in high dimensions.
Significance. If the computer-assisted cup-product calculations are correct and reproducible, the results would be significant: they would supply the first explicit counterexamples to the equivariant gap-labeling conjecture in dimensions four and higher, distinguish cohomology rings that groups alone cannot separate, and supply concrete data on the image of the Chern character. Such examples would be valuable for K-theory of tiling spaces and for understanding when gap-labeling holds.
major comments (2)
- [Abstract] Abstract: the claim that the equivariant gap-labeling conjecture fails in dimensions ≥4 rests entirely on cup-product computations whose substitution rules, multiplication tables, and verification steps are not supplied; without these data it is impossible to confirm that the calculations detect the non-integral classes or symmetry-breaking phenomena needed to falsify the conjecture.
- [Abstract] Abstract: the same uninspectable cup-product structures are invoked both to produce the ring-distinction examples and to evaluate the Chern character; any error in the computer multiplication tables would therefore undermine both the ring examples and the conjecture-failure statement.
minor comments (1)
- The abstract refers to 'Bellissard's gap-labeling conjecture' without a citation; the standard reference should be supplied.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need for greater transparency regarding our computer-assisted computations. We agree that the claims in the abstract require supporting data to be verifiable and will revise the manuscript to supply the substitution rules, multiplication tables, and verification steps.
read point-by-point responses
-
Referee: [Abstract] Abstract: the claim that the equivariant gap-labeling conjecture fails in dimensions ≥4 rests entirely on cup-product computations whose substitution rules, multiplication tables, and verification steps are not supplied; without these data it is impossible to confirm that the calculations detect the non-integral classes or symmetry-breaking phenomena needed to falsify the conjecture.
Authors: We agree that the abstract does not contain the supporting data. In the revised manuscript we will add an appendix that explicitly lists the substitution rules for the four-dimensional and higher examples, the full cup-product multiplication tables obtained from the computer program, and the verification steps confirming the presence of non-integral classes and symmetry-breaking phenomena that falsify the equivariant conjecture. revision: yes
-
Referee: [Abstract] Abstract: the same uninspectable cup-product structures are invoked both to produce the ring-distinction examples and to evaluate the Chern character; any error in the computer multiplication tables would therefore undermine both the ring examples and the conjecture-failure statement.
Authors: We acknowledge that the same computations underpin both the cohomology-ring distinctions and the Chern-character evaluations. The revision will include the complete multiplication tables together with the source code (or pseudocode) and independent cross-checks against known low-dimensional cases, thereby allowing readers to assess the reliability of both sets of results. revision: yes
Circularity Check
No circularity; claims rest on independent computer computations
full rationale
The abstract presents computer-assisted cup-product calculations as external inputs that are then used to produce ring distinctions and to exhibit failure of the equivariant gap-labeling conjecture in dimensions ≥4. No equation or step is shown to reduce by construction to a fitted parameter, a self-definition, or a load-bearing self-citation. The derivation chain is therefore self-contained against external benchmarks (the computed cohomology rings), yielding no instances of the enumerated circularity patterns.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.