arXiv subjects

Sun Ho Kim

Publications and source records attributed to Sun Ho Kim.

4 recordsLinked to original sources

arXiv2016

Unique tracial state on the labeled graph $C^*$-algebra associated to Thue--Morse sequence

We give a concrete formula for the unique faithful trace on the finite simple non-AF labeled graph $C^*$-algebra $C^*(E_{\mathbb{Z}}, \mathcal{L}, \overline{\mathcal{E}}_{\mathbb{Z}})$ associated to the Thue--Morse sequence $(E_{\mathbb{Z}}, \mathcal{L})$. Our result provides an alternative proof of the existence of a labeled graph $C^*$-algebra that is not Morita equivalent to any graph $C^*$-algebras. Furthermore, we compute the $K$-groups of $C^*(E_{\mathbb{Z}}, \mathcal{L}, \overline{\mathcal{E}}_{\mathbb{Z}})$ using the path structure of the Thue--Morse sequence.

math.OA↗

arXiv2016

Finite simple labeled graph $C^*$-algebras of Cantor minimal subshifts

It is now well known that a simple graph $C^*$-algebra $C^*(E)$ of a directed graph $E$ is either AF or purely infinite. In this paper, we address the question of whether this is the case for labeled graph $C^*$-algebras recently introduced by Bates and Pask as one of the generalizations of graph $C^*$-algebras, and show that there exists a family of simple unital labeled graph $C^*$-algebras which are neither AF nor purely infinite. Actually these algebras are shown to be isomorphic to crossed products $C(X)\times_T \mathbb Z$ where the dynamical systems $(X,T)$ are Cantor minimal subshifts. Then it is an immediate consequence of well known results about this type of crossed products that each labeled graph $C^*$-algebra in the family obtained here is an $A\mathbb T$ algebra with real rank zero and has $\mathbb Z$ as its $K_1$-group.

math.OA↗

arXiv2011

The structure of gauge-invariant ideals of labelled graph $C^*$-algebras

In this paper, we consider the gauge-invariant ideal structure of a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{B})$ associated to a set-finite, receiver set-finite and weakly left-resolving labelled space $(E,\mathcal{L},\mathcal{B})$, where $\mathcal{L}$ is a labelling map assigning an alphabet to each edge of the directed graph $E$ with no sinks. Under the assumption that an accommodating set $\mathcal{B}$ is closed under taking relative complement, it is obtained that there is a one to one correspondence between the set of all hereditary saturated subsets of $\mathcal{B}$ and the gauge-invariant ideals of $C^*(E,\mathcal{L},\mathcal{B})$. For this, we introduce a quotient labelled space $(E,\mathcal{L},[\mathcal{B}]_R)$ arising from an equivalence relation $\sim_R$ on $\mathcal{B}$ and show the existence of the $C^*$-algebra $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ generated by a universal representation of $(E,\mathcal{L},[\mathcal{B}]_R)$. Also the gauge-invariant uniqueness theorem for $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ is obtained. For simple labelled graph $C^*$-algebras $C^*(E,\mathcal{L},\bar{\mathcal{E}})$, where $\bar{\mathcal{E}}$ is the smallest accommodating set containing all the generalized vertices, it is observed that if for each vertex $v$ of $E$, a generalized vertex $[v]_l$ is finite for some $l$, then $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ is simple if and only if $(E,\mathcal{L},\bar{\mathcal{E}})$ is strongly cofinal and disagreeable. This is done by examining the merged labelled graph $(F,\mathcal{L}_F)$ of $(E,\mathcal{L})$ and the common properties that $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ and $C^*(F,\mathcal{L},\bar{\mathcal{F}})$ share.

math.OA↗

arXiv2011

On simple labelled graph $C^*$-algebras

We consider the simplicity of the $C^*$-algebra associated to a labelled space $(E,\CL,\bE)$, where $(E,\CL)$ is a labelled graph and $\bE$ is the smallest accommodating set containing all generalized vertices. We prove that if $C^*(E, \CL, \bE)$ is simple, then $(E, \CL, \bE)$ is strongly cofinal, and if, in addition, $\{v\}\in \bE$ for every vertex $v$, then $(E, \CL, \bE)$ is disagreeable. It is observed that $C^*(E, \CL, \bE)$ is simple whenever $(E, \CL, \bE)$ is strongly cofinal and disagreeable, which is recently known for the $C^*$-algebra $C^*(E, \CL, \CEa)$ associated to a labelled space $(E, \CL, \CEa)$ of the smallest accommodating set $\CEa$.

math.OA↗