Abstract:In this paper, we study multiplicative structures on the K-theory of the core $A:=C^*(E)^{U(1)}$ of the C*-algebra $C^*(E)$ of a directed graph $E$. In the first part of the paper, we study embeddings $E\to E\times E$ that induce a *-homomorphism $A\otimes A\to A$. Through Künneth formula, any such a *-homomorphism induces a ring structure on $K_*(A)$. In the second part, we give conditions on $E$ such that $K_*(A)$ is generate by "noncommutative line bundles" (invertible bimodules). The same conditions guarantee the existence of a homomorphism of abelian groups $K_0(A)\to\mathbb{Z}[\lambda]/(\det(\lambda\Gamma-1))$ (where $\Gamma$ is the adjacency matrix of $E$) that is compatible with the tensor product of line bundles. Examples include the C*-algebra $C(\mathbb{C}P^{n-1}_q)$ of a quantum projective space, the $UHF(n^\infty)$ algebra, and the C*-algebra of the space parameterizing Penrose tilings. For the first algebra, as a corollary we recover some identities that classically follow from the ring structure of $K^0(\mathbb{C}P^{n-1})$, and that were proved by Arici, Brain and Landi in the quantum case. Incidentally, we observe that the C*-algebra of Penrose tilings is the AF core of the Cuntz algebra $\mathcal{O}_2$, if the latter is realized using the appropriate graph.

Hypergraph C*-algebras

Nuclearity of Hypergraph C*-Algebras

Correspondences between graph C*-algebras

Nuclear dimension of extensions of commutative C*-algebras by Kirchberg algebras

On the K-theory of the AF core of a graph C*-algebra

Leavitt path algebras of hypergraphs

Villadsen algebras

Universal C*-algebras generated by doubly non-commuting isometries

Hyperrigidity I: singly generated commutative $C^*$-algebras

Hypergraphs defined on algebraic structures

Tensor hierarchy algebras and extended geometry I: Construction of the algebra

Algebras of partial triangulations

Ideal structure of C*-algebras of commuting local homeomorphisms

Hypercomplex Representation of Finite-Dimensional Unital Archimedean f-Algebras

Pure C*-algebras

C^*-algebraic quantum groups arising from algebraic quantum groups

Quantum Automorphism Groups of Hypergraphs

The Generalized Terwilliger Algebra of the Hypercube

Equivariant homotopy classification of graph C*-algebras

C*-algebras of higher-rank graphs from groups acting on buildings, and explicit computation of their K-theory