A noncommutative theory of Penrose tilings (Q2575470)

In 1986, the first author introduced quantales as an invariant of noncommutative \(C^\ast\)-algebras -- they should be thought as noncommutative topological spaces. This paper uses quantales to study Penrose tilings. Since quantales are algebraic structures, they can be defined by generators and relations. It is possible to associate a quantale to Penrose tilings; classically one gets a topological space. Algebraically irreducible representations of this quantale then classify Penrose tilings. This approach is analogous to that of Connes' noncommutative teometry who uses \(C^\ast\)-algebras.