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.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to construct a multiplicative structure on the K - theory of the core part $A := C^*(E)^{U(1)}$ of graph C* - algebras. Specifically, the author studies how to induce a * - homomorphism $A\otimes A\rightarrow A$ through the embedding $E\rightarrow E\times E$, and through the Künneth formula, such a * - homomorphism can induce a ring structure on $K_*(A)$. ### Main content of the paper 1. **Introduction**: - Introduces the differences between K - theory in topological spaces and C* - algebras. For topological spaces, K - theory is a ring, while for C* - algebras, K - theory is usually just an abelian group. - Mentions the classical results of Atiyah and Todd, that is, for all $n\geq2$, $K_0(CP^{n - 1})=\mathbb{Z}[x]/(x^n)$ is a truncated polynomial ring. - Introduces the problem of the multiplicative structure of the K - theory classes of the quantum projective space $C(CP^{n - 1}_q)$. 2. **General properties of graph C* - algebras**: - Reviews the basic definitions and properties of graph C* - algebras, including the Cuntz - Krieger relations and the Gauge action. - Introduces the core part $C^*(E)^{U(1)}$ of graph C* - algebras and its properties as an AF - algebra. 3. **Tensor product of AF - cores**: - Studies the tensor product $C^*(E)\otimes C^*(F)$ of two graph C* - algebras and its relationship with $C^*(E\times F)$. - Proves that if $E$ and $F$ are row - finite and have no sinks, then there exists an isomorphism $C^*(E)^{U(1)}\otimes C^*(F)^{U(1)}\cong C^*(E\times F)^{U(1)}$. 4. **Contravariant functoriality**: - Defines "admissible" graph homomorphisms and discusses how these homomorphisms induce * - homomorphisms between C* - algebras. - Proves that if $E$ is an induced subgraph of a row - finite graph $F$, and $F_0\setminus E_0$ is hereditary and saturated, then there exists a U(1)-invariant surjective * - homomorphism $C^*(F)\rightarrow C^*(E)$. 5. **Admissible homomorphisms $E\rightarrow E\times E$**: - Studies the admissibility conditions of the diagonal embedding $E\rightarrow E\times E$. - Proves that the diagonal embedding is admissible if and only if the transpose graph is a function graph. 6. **Line bundles on AF - cores**: - Introduces a semiring $SPic(A)$, representing the classes of invertible bimodules over $A$, which are interpreted as "non - commutative line bundles". - Proves that under certain conditions, $K_0(A)$ can be generated by vertex projections, and explicit identities involving the K - theory classes of line bundles can be written. 7. **Applications**: - Applies to the quantum projective space, UHF - algebras and the space - parameterized C* - algebras of Penrose tilings. - Proves the Atiyah - Todd identity for the quantum projective space $CP^{n - 1}_q$. 8. **KK - ring of AF - cores**: - Discusses the KK - ring of AF - cores and relates it to K - theory. ### Conclusion This paper successfully constructs a multiplicative structure by studying the K - theory of the core part $C^*(E)^{U(1)}$ of graph C* - algebras, and applies it to several specific examples, such as the quantum projective space and the space - parameterized C* - algebras of Penrose tilings.

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

3 1 M ar 2 00 4 K-theory associated to vertex operator algebras

On the K-theory of twisted higher-rank-graph C*-algebras

Homotopy of product systems and K-theory of Cuntz-Nica-Pimsner algebras

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

Real and complex K-theory for higher rank graph algebras arising from cube complexes

Axiomatic theory for C*-algebras

Relative $K$-theory for $C^*$-algebras

Some classifiable groupoid C*-algebras with prescribed K-theory

An excision theorem for the K-theory of C-algebras, with applications to groupoid C-algebras

Embeddability of higher-rank graphs in groupoids, and the structure of their C*-algebras

Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

Algebraic K-theory of reductive p-adic groups

The $K$-distribution of random graph $\mathrm{C}^*$-algebras

Algebraic Kasparov K-theory. II

K-Theory for Extensions of Purely Infinite Simple C~*-algebrasⅡ

Real $K$-Theory for $C^*$-Algebras: Just the Facts

Graded $K$-Theory, Filtered $K$-Theory and the Classification of Graph Algebras

Graph C * -Algebras and Their Ideals Defined by Cuntz-Krieger Family of Possibly Row-Infinite Directed Graphs

A geometric construction of $U(\mathfrak{n})$ for affine Kac-Moody algebras of type $\tilde{\mathsf{C}}_{n}$

Lifting KK-elements, Asymptotic Unitary Equivalence and Classification of Simple C∗-algebras