Searcharxiv⌕ Search

arXiv subjects

Jiajie Hua

Publications and source records attributed to Jiajie Hua.

6 recordsLinked to original sources

Higher dimensional Bott classes and the stability of rotation relations

Let $Θ=(θ_{jk})_{n\times n}$ be a real skew-symmetric $n\times n$ matrix for $n\geq 2$. Under some mild non-integrality conditions on $Θ,$ we construct Rieffel-type projections as higher dimensional Bott classes in the $n$-dimensional noncommutative torus $\mathcal{A}_Θ.$ These projections generate $\operatorname{K}_0(\mathcal{A}_Θ)$ when $Θ$ is strongly totally irrational. As an application, when $Θ$ is strongly totally irrational, we show that: For any $\varepsilon>0,$ there exists $δ>0$ (depending only on $\varepsilon$ and $Θ$) satisfying the following: For any unital simple separable $C^*$-algebra $\mathcal{A}$ with tracial rank at most one, and for any $n$-tuple of unitaries $u_1,u_2,\dots,u_n$ in $\mathcal{A}$, if $u_1,u_2,\dots,u_n$ satisfy certain trace conditions and \begin{eqnarray*}\|u_ku_j-e^{2πiθ_{jk}}u_ju_k\|<δ,\,j,k=1,2,\dots,n, \end{eqnarray*} then there exists an $n$-tuple of unitaries $\tilde{u}_1,\tilde{u}_2,\dots,\tilde{u}_n$ in $\mathcal{A}$ such that \begin{eqnarray*}\tilde{u}_k\tilde{u}_j=e^{2πiθ_{jk}}\tilde{u}_j\tilde{u}_k\, {\rm and}\, \|\tilde{u}_j-u_j\|<\varepsilon,\, j,k=1,2,\dots,n. \end{eqnarray*} We also show that these trace conditions are also necessary in the above application.

math.OA↗

Stability of rotation relations in $C^*$-algebras

Let $Θ=(θ_{j,k})_{3\times 3}$ be a non-degenerate real skew-symmetric $3\times 3$ matrix, where $θ_{j,k}\in [0,1).$ For any $\varepsilon>0$, we prove that there exists $δ>0$ satisfying the following: if $v_1,v_2,v_3$ are three unitaries in any unital simple separable $C^*$-algebra $A$ with tracial rank at most one, such that $$\|v_kv_j-e^{2πi θ_{j,k}}v_jv_k\|<δ\,\,\,\, \mbox{and}\,\,\,\, \frac{1}{2πi}τ(\log_θ(v_kv_jv_k^*v_j^*))=θ_{j,k}$$ for all $τ\in T(A)$ and $j,k=1,2,3,$ where $\log_θ$ is a continuous branch of logarithm for some real number $θ\in [0, 1)$, then there exists a triple of unitaries $\tilde{v}_1,\tilde{v}_2,\tilde{v}_3\in A$ such that $$\tilde{v}_k\tilde{v}_j=e^{2πiθ_{j,k} }\tilde{v}_j\tilde{v}_k\,\,\,\,\mbox{and}\,\,\,\,\|\tilde{v}_j-v_j\|<\varepsilon,\,\,j,k=1,2,3.$$ The same conclusion holds if $Θ$ is rational or non-degenerate and $A$ is a nuclear purely infinite simple $C^*$-algebra (where the trace condition is vacuous). If $Θ$ is degenerate and $A$ has tracial rank at most one or is nuclear purely infinite simple, we provide some additional injectivity condition to get the above conclusion.

math.OA↗

Rotation algebras and Exel trace formula

We found that if $u$ and $v$ are any two unitaries in a unital $C^*$-algebra with $\|uv-vu\|<2$ such that $uvu^*v^*$ commutes with $u$ and $v,$ then the \SCA\, $A_{u,v}$ generated by $u$ and $v$ is isomorphic to a quotient of the rotation algebra $A_θ$ provided that $A_{u,v}$ has a unique tracial state. We also found that the Exel trace formula holds in any unital $C^*$-algebra. Let $θ\in (-1/2, 1/2)$ be a rational number. We prove the following: For any $\ep>0,$ there exists $\dt>0$ satisfying the following: if $u$ and $v$ are two unitary matrices such that $$ \|uv-e^{2πiθ}vu\|<\dt\andeqn {1\over{2πi}}τ(\log(uvu^*v^*))=θ, $$ then there exists a pair of unitary matrices $\tilde{u}$ and $\tilde{v}$ such that $$ \tilde{u}\tilde{v}=e^{2πiθ} \tilde{v}\tilde{u},\,\, \|u-\tilde{u}\|<\ep\andeqn \|v-\tilde{v}\|<\ep. $$ Furthermore, a generalization of this for all real $θ$ is obtained for unitaries in unital infinite dimensional simple $C^*$-algebras of tracial rank zero.

math.OA↗

Crossed products by α-simple automorphisms on C*-algebras C(X,A)

Let $X$ be a Cantor set, and let $A$ be a unital separable simple amenable $C$*-algebra with tracial rank zero which satisfies the Universal Coefficient Theorem, we use $C(X,A)$ to denote the set of all continuous functions from $X$ to $A$, let $α$ be an automorphism on $C(X,A)$. Suppose that $C(X,A)$ is $α$-simple and $[α]=[\mbox{id}_{1\otimes A}]$ in $KL(1\otimes A,1\otimes A)$, we show that $C(X,A)\rtimes_α\mathbb{Z}$ has tracial rank zero.

math.OA↗

The Rokhlin Property for Automorphisms on Simple C*-Algebras

Let $\mathcal{A}$ be the class of unital separable simple amenable $C$*-algebras $A$ which satisfy the Universal Coefficient Theorem for which $A\otimes M_{\texttt{P}}$ has tracial rank zero for some supernatural number $\texttt{p}$ of infinite type. Let $A\in \mathcal{A}$ and let $α$ be an automorphism of $A.$ Suppose that $α$ has the tracial Rokhlin property. Suppose also that there is an integer $J\geq 1$ such that $[α^J]=[\mbox{id}_A]$ in $KL(A,A)$, we show that $A\rtimes_α\mathbb{Z}\in \mathcal{A}.$

math.OA↗

The Tracial Rokhlin Property for Automorphisms on Non-Simple C*-algebras

Let A be a unital AF-algebra (simple or non-simple) and let αbe an automorphism of A. Suppose that αhas certain Rokhlin property and A is α-simple. Suppose also that there is an integer J\geq1 such that α^{J}_{*0}=id_{K_{0}(A)}, we show that A\rtimes_α\mathbb{Z} has tracial rank zero.

math.OA↗