1: \begin{abstract}

2:   We study the cohomology rings of tiling spaces $\Omega$ given by cubical

3:   substitutions.  While there have been many calculations before of

4:   cohomology \emph{groups} of such tiling spaces, the innovation

5:   here is that we use computer-assisted methods to compute the

6:   cup-product structure.  This leads to examples of substitution

7:   tilings with isomorphic cohomology groups but different

8:   cohomology rings.  Part of the interest in studying the cup

9:   product comes from Bellissard's \emph{gap-labeling conjecture},

10:   which is known to hold in dimensions $\le 3$, but where a

11:   proof is known in dimensions $\ge 4$ only when the Chern character

12:   from $K^0(\Omega)$ to $H^*(\Omega,\bQ)$ lands in $H^*(\Omega,\bZ)$.

13:   Computation of the cup product on cohomology often makes it

14:   possible to compute the Chern character.

15:   We introduce a natural generalization of the gap-labeling conjecture,

16:   called the \emph{equivariant gap-labeling conjecture}, which

17:   applies to tilings with a finite symmetry group.  Again this

18:   holds in dimensions $\le 3$, but we are able to show that it

19:   \emph{fails} in general in dimensions $\ge 4$.  This, plus

20:   some of our cup product calculations, makes it plausible that

21:   the gap-labeling conjecture might fail in high dimensions.

22: \end{abstract}

23: