Stability of rotation relations in C^*-algebras

Abstract: Let

T h e t a = (h e t a_{j, k})_{3 i m e s 3}

be a non-degenerate real skew-symmetric

3 i m e s 3

matrix, where

h e t a_{j, k} i n [0, 1) .

For any

v a r e p s i l o n > 0

, we prove that there exists

d e l t a > 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^{2pi i heta_{j,k}}v_jv_k|<delta ,,,, mbox{and},,,, frac{1}{2pi i} au(log_{ heta}(v_kv_jv_k^*v_j^*))= heta_{j,k}

for all

a u i n T (A)

and

j, k = 1, 2, 3,

where

l o g_{h e t a}

is a continuous branch of logarithm for some real number

h e t a i n [0, 1)

, then there exists a triple of unitaries

i l d e v_{1}, i l d e v_{2}, i l d e v_{3} i n A

such that

ilde{v}_k ilde{v}_j=e^{2pi i heta_{j,k} } ilde{v}_j ilde{v}_k,,,,mbox{and},,,,| ilde{v}_j-v_j|<varepsilon,,,j,k=1,2,3.

The same conclusion holds if

T h e t a

is rational or non-degenerate and

A

is a nuclear purely infinite simple

C^{*}

-algebra (where the trace condition is vacuous). If

T h e t a

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.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Stability of rotation relations in \(C^*\)-algebras