Researcher profile

Ja A Jeong

Ja A Jeong contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2023arXiv

$\mathrm{C}^*$-algebras associated to homeomorphisms twisted by vector bundles over finite dimensional spaces

In this paper we study Cuntz--Pimsner algebras associated to $\mathrm{C}^*$-correspondences over commutative $\mathrm{C}^*$-algebras from the point of view of the $\mathrm{C}^*$-algebra classification programme. We show that when the correspondence comes from an aperiodic homeomorphism of a finite-dimensional infinite compact metric space $X$ twisted by a vector bundle, the resulting Cuntz--Pimsner algebras have finite nuclear dimension. When the homeomorphism is minimal, this entails classification of these $\mathrm{C}^*$-algebras by the Elliott invariant. This establishes a dichotomy: when the vector bundle has rank one, the Cuntz--Pimsner algebra has stable rank one. Otherwise, it is purely infinite. For a Cuntz--Pimsner algebra of a minimal homeomorphism of an infinite compact metric space $X$ twisted by a line bundle over $X$, we introduce orbit-breaking subalgebras. With no assumptions on the dimension of $X$, we show that they are centrally large subalgebras and hence simple and stably finite. When the dimension of $X$ is finite, they are furthermore $\mathcal{Z}$-stable and hence classified by the Elliott invariant.

preprint2018arXiv

AF-embeddable labeled graph $C^*$-algebras

Finiteness conditions for $C^*$-algebras like AF-embeddability, quasidiagonality, stable finiteness have been studied by many authors and shown to be equivalent for certain classes of $C^*$-algebras. For example, Schfhauser proves that these conditions are all equivalent for $C^*$-algebras of compact topological graphs, and similar results were established by Clark, an Huef, and Sims for $k$-graph algebras. If $C^*(E,\mathcal L)$ is a labeled graph $C^*$-algebra over finite alphabet, it can be viewed as a $C^*$-algebra of a compact topological graph. For these labeled graph $C^*$-algebras, we provide conditions on labeled paths and show that they are equivalent to AF-embeddability of $C^*(E,\mathcal L)$.

preprint2014arXiv

Finite groups acting on higher dimensional noncommutative tori

For the canonical action $α$ of $\operatorname{SL}_2(\mathbb{Z})$ on 2-dimensional simple rotation algebras $\mathcal{A}_θ$, it is known that if $F$ is a finite subgroup of $\operatorname{SL}_2(\mathbb{Z})$, the crossed products $\mathcal{A}_θ\rtimes_αF$ are all AF algebras. In this paper we show that this is not the case for higher dimensional noncommutative tori. More precisely, we show that for each $n\geq 3$ there exist noncommutative simple $ϕ(n)$-dimensional tori $\mathcal{A}_Θ$ which admit canonical action of $\mathbb{Z}_n$ and for each odd $n\geq 7$ with $2ϕ(n)\geq n+5$ their crossed products $\mathcal{A}_Θ\rtimes_α\mathbb{Z}_n$ are not AF (with nonzero $K_1$-groups). It is also shown that the only possible canonical action by a finite group on a $3$-dimensional simple torus is the flip action by $\mathbb{Z}_2$. Besides, we discuss the canonical actions by finite groups $\mathbb{Z}_5, \mathbb{Z}_8, \mathbb{Z}_{10}$, and $\mathbb{Z}_{12}$ on the $4$-dimensional torus of the form $\mathcal{A}_θ\otimes \mathcal{A}_θ$.

preprint2011arXiv

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$.

preprint2011arXiv

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.