Stability of certain relations of three unitaries in C∗-algebras

2021 ◽  
pp. 2150065
Author(s):  
Jiajie Hua

We show that if [Formula: see text] is an irrational number in [Formula: see text], [Formula: see text] and [Formula: see text] are in [Formula: see text] [Formula: see text] is a matrix of infinite order in SL[Formula: see text], either tr[Formula: see text] or tr[Formula: see text] and the greatest common divisor of the entries in [Formula: see text] is one, then for any [Formula: see text] there exists [Formula: see text] satisfying the following: For any unital simple separable [Formula: see text]-algebra [Formula: see text] with tracial rank at most one, any three unitaries [Formula: see text] in [Formula: see text], if [Formula: see text] satisfy certain trace conditions and [Formula: see text] then there exists a triple of unitaries [Formula: see text] in [Formula: see text] such that [Formula: see text] [Formula: see text]

2014 ◽  
Vol 25 (02) ◽  
pp. 1450010 ◽  
Author(s):  
JIAJIE HUA ◽  
YAN WU

Let X be a Cantor set, and let A be a unital separable simple amenable [Formula: see text]-stable C*-algebra with rationally tracial rank no more than one, which satisfies the Universal Coefficient Theorem (UCT). We use C(X, A) to denote the algebra of all continuous functions from X to A. Let α be an automorphism on C(X, A). Suppose that C(X, A) is α-simple, [α|1⊗A] = [ id |1⊗A] in KL(1 ⊗ A, C(X, A)), τ(α(1 ⊗ a)) = τ(1 ⊗ a) for all τ ∈ T(C(X, A)) and all a ∈ A, and [Formula: see text] for all u ∈ U(A) (where α‡ and id‡ are homomorphisms from U(C(X, A))/CU(C(X, A)) → U(C(X, A))/CU(C(X, A)) induced by α and id, respectively, and where CU(C(X, A)) is the closure of the subgroup generated by commutators of the unitary group U(C(X, A)) of C(X, A)), then the corresponding crossed product C(X, A) ⋊α ℤ is a unital simple [Formula: see text]-stable C*-algebra with rationally tracial rank no more than one, which satisfies the UCT. Let X be a Cantor set and 𝕋 be the circle. Let γ : X × 𝕋n → X × 𝕋n be a minimal homeomorphism. It is proved that, as long as the cocycles are rotations, the tracial rank of the corresponding crossed product C*-algebra is always no more than one.


2016 ◽  
Vol 09 (03) ◽  
pp. 485-504
Author(s):  
Huaxin Lin ◽  
Wei Sun

Let [Formula: see text] be the class of all unital separable simple [Formula: see text]-algebras [Formula: see text] such that [Formula: see text] has tracial rank no more than one for all UHF-algebra [Formula: see text] of infinite type. It has been shown that all amenable [Formula: see text]-stable [Formula: see text]-algebras in [Formula: see text] which satisfy the Universal Coefficient Theorem can be classified up to isomorphism by the Elliott invariant. In this note, we show that [Formula: see text] if and only if [Formula: see text] has tracial rank no more than one for some unital simple infinite dimensional AF-algebra [Formula: see text] In fact, we show that [Formula: see text] if and only if [Formula: see text] for some unital simple AH-algebra [Formula: see text] We actually prove a more general result. Other results regarding the tensor products of [Formula: see text]-algebras in [Formula: see text] are also obtained.


2016 ◽  
Vol 27 (03) ◽  
pp. 1650029
Author(s):  
Jiajie Hua

Let [Formula: see text] be an infinite compact metric space with finite covering dimension, let [Formula: see text] be a unital separable simple AH-algebra with no dimension growth, and denote by [Formula: see text] the [Formula: see text]-algebra of all continuous functions from [Formula: see text] to [Formula: see text] Suppose that [Formula: see text] is a minimal group action and the induced [Formula: see text]-action on [Formula: see text] is free. Under certain conditions, we show the crossed product [Formula: see text]-algebra [Formula: see text] has rational tracial rank zero and hence is classified by its Elliott invariant. Next, we show the following: Let [Formula: see text] be a Cantor set, let [Formula: see text] be a stably finite unital separable simple [Formula: see text]-algebra which is rationally TA[Formula: see text] where [Formula: see text] is a class of separable unital [Formula: see text]-algebras which is closed under tensoring with finite dimensional [Formula: see text]-algebras and closed under taking unital hereditary sub-[Formula: see text]-algebras, and let [Formula: see text]. Under certain conditions, we conclude that [Formula: see text] is rationally TA[Formula: see text] Finally, we classify the crossed products of certain unital simple [Formula: see text]-algebras by using the crossed products of [Formula: see text].


2011 ◽  
Vol 03 (03) ◽  
pp. 385-404 ◽  
Author(s):  
CHUNLAN JIANG

In this paper, we will classify the class of C*-algebras which are inductive limits of finite direct sums of unital simple separable nuclear C*-algebras with tracial rank no more than one (or equivalently TAI algebras) with torsion K1-group which satisfy the UCT. The invariant consists of ordered total K-theory and the tracial state spaces of cutdown algebras (with certain compatibility conditions).


Filomat ◽  
2018 ◽  
Vol 32 (13) ◽  
pp. 4543-4554 ◽  
Author(s):  
H. Ghahramani ◽  
Z. Pan

Let U be a unital *-algebra and ? : U ? U be a linear map behaving like a derivation or an anti-derivation at the following orthogonality conditions on elements of U: xy = 0, xy* = 0, xy = yx = 0 and xy* = y*x = 0. We characterize the map ? when U is a zero product determined algebra. Special characterizations are obtained when our results are applied to properly infinite W*-algebras and unital simple C*-algebras with a non-trivial idempotent.


2020 ◽  
pp. 1-33
Author(s):  
Jiajie Hua ◽  
Qingyun Wang

Abstract Let $\Theta =(\theta _{j,k})_{3\times 3}$ be a nondegenerate real skew-symmetric $3\times 3$ matrix, where $\theta _{j,k}\in [0,1).$ For any $\varepsilon>0$ , we prove that there exists $\delta>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 $\begin{align*}\|v_kv_j-e^{2\pi i \theta_{j,k}}v_jv_k\|<\delta \,\,\,\, \mbox{and}\,\,\,\, \frac{1}{2\pi i}\tau(\log_{\theta}(v_kv_jv_k^*v_j^*))=\theta_{j,k}\end{align*}$ for all $\tau \in T(A)$ and $j,k=1,2,3,$ where $\log _{\theta }$ is a continuous branch of logarithm (see Definition 4.13) for some real number $\theta \in [0, 1)$ , then there exists a triple of unitaries $\tilde {v}_1,\tilde {v}_2,\tilde {v}_3\in A$ such that $\begin{align*}\tilde{v}_k\tilde{v}_j=e^{2\pi i\theta_{j,k} }\tilde{v}_j\tilde{v}_k\,\,\,\,\mbox{and}\,\,\,\,\|\tilde{v}_j-v_j\|<\varepsilon,\,\,j,k=1,2,3.\end{align*}$ The same conclusion holds if $\Theta $ is rational or nondegenerate and A is a nuclear purely infinite simple $C^*$ -algebra (where the trace condition is vacuous). If $\Theta $ is degenerate and A has tracial rank at most one or is nuclear purely infinite simple, we provide some additional injectivity conditions to get the above conclusion.


2019 ◽  
pp. 1-26
Author(s):  
Bo Cui ◽  
Chunlan Jiang ◽  
Liangqing Li

An ATAI (or ATAF, respectively) algebra, introduced in [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404] (or in [X. C. Fang, The classification of certain non-simple C*-algebras of tracial rank zero, J. Funct. Anal. 256 (2009) 3861–3891], respectively) is an inductive limit [Formula: see text], where each [Formula: see text] is a simple separable nuclear TAI (or TAF) C*-algebra with UCT property. In [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404], the second author classified all ATAI algebras by an invariant consisting orderd total [Formula: see text]-theory and tracial state spaces of cut down algebras under an extra restriction that all element in [Formula: see text] are torsion. In this paper, we remove this restriction, and obtained the classification for all ATAI algebras with the Hausdorffized algebraic [Formula: see text]-group as an addition to the invariant used in [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404]. The theorem is proved by reducing the class to the classification theorem of [Formula: see text] algebras with ideal property which is done in [G. Gong, C. Jiang and L. Li, A classification of inductive limit C*-algebras with ideal property, preprint (2016), arXiv:1607.07681]. Our theorem generalizes the main theorem of [X. C. Fang, The classification of certain non-simple C*-algebras of tracial rank zero, J. Funct. Anal. 256 (2009) 3861–3891], [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404] (see Corollary 4.3).


2015 ◽  
Vol 67 (2) ◽  
pp. 404-423 ◽  
Author(s):  
Jiajie Hua ◽  
Huaxin Lin

AbstractWe show that ifuandvare any two unitaries in a unitalC*–algebra such that ∥uv−vu∥ < 2 anduvu*v* commutes withuandv, then theC*–subalgebraAu,vgenerated by u and v is isomorphic to a quotient of some rotation algebraAθ, provided thatAu;vhas a unique tracial state. We also show that the Exel trace formula holds in any unitalC*–algebra. Let θ ∊ (−1/2, 1/2) be a real number. For any ∊ > 0; we prove that there exists ζ > 0 satisfying the following: if u and v are two unitaries in any unital simpleC*–algebra A with tracial rank zero such thatfor all tracial states τof A; then there exists a pair of unitariesandin A such that


Sign in / Sign up

Export Citation Format

Share Document