Researcher profile

Jiajie Hua

Jiajie Hua contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
2topics
3close 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

3 published item(s)

preprint2022arXiv

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.

preprint2020arXiv

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.

preprint2014arXiv

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.