Source author record

Jiajie Hua

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
2topics
3close collaborators

Published work

3 publications

preprint2022arXiv

Higher dimensional Bott classes and the stability of rotation relations

Let Θ=(θjk)n×nΘ=(θ_{jk})_{n\times n} be a real skew-symmetric n×nn\times n matrix for n≥2n\geq 2. Under some mild non-integrality conditions on Θ,Θ, we construct Rieffel-type projections as higher dimensional Bott classes in the nn-dimensional noncommutative torus AΘ.\mathcal{A}_Θ. These projections generate K⁡0(AΘ)\operatorname{K}_0(\mathcal{A}_Θ) when ΘΘ is strongly totally irrational. As an application, when ΘΘ is strongly totally irrational, we show that: For any ε>0,\varepsilon>0, there exists δ>0δ>0 (depending only on ε\varepsilon and ΘΘ) satisfying the following: For any unital simple separable C∗C^*-algebra A\mathcal{A} with tracial rank at most one, and for any nn-tuple of unitaries u1,u2,…,unu_1,u_2,\dots,u_n in A\mathcal{A}, if u1,u2,…,unu_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 nn-tuple of unitaries u~1,u~2,…,u~n\tilde{u}_1,\tilde{u}_2,\dots,\tilde{u}_n in A\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.

preprint2020arXiv

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

Let Θ=(θj,k)3×3Θ=(θ_{j,k})_{3\times 3} be a non-degenerate real skew-symmetric 3×33\times 3 matrix, where θj,k∈[0,1).θ_{j,k}\in [0,1). For any ε>0\varepsilon>0, we prove that there exists δ>0δ>0 satisfying the following: if v1,v2,v3v_1,v_2,v_3 are three unitaries in any unital simple separable C∗C^*-algebra AA 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 τ∈T(A)τ\in T(A) and j,k=1,2,3,j,k=1,2,3, where log⁡θ\log_θ is a continuous branch of logarithm for some real number θ∈[0,1)θ\in [0, 1), then there exists a triple of unitaries v~1,v~2,v~3∈A\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 AA is a nuclear purely infinite simple C∗C^*-algebra (where the trace condition is vacuous). If ΘΘ is degenerate and AA has tracial rank at most one or is nuclear purely infinite simple, we provide some additional injectivity condition to get the above conclusion.

preprint2014arXiv

Rotation algebras and Exel trace formula

We found that if uu and vv are any two unitaries in a unital C∗C^*-algebra with ∥uv−vu∥<2\|uv-vu\|<2 such that uvu∗v∗uvu^*v^* commutes with uu and v,v, then the \SCA\, Au,vA_{u,v} generated by uu and vv is isomorphic to a quotient of the rotation algebra AθA_θ provided that Au,vA_{u,v} has a unique tracial state. We also found that the Exel trace formula holds in any unital C∗C^*-algebra. Let θ∈(−1/2,1/2)θ\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 uu and vv 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 u~\tilde{u} and v~\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∗C^*-algebras of tracial rank zero.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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