単純C^*-環の新しい例の構成

点击翻译按钮获取中文摘要

C^*-環Aの共役元全体Asaの中でspectrumが有限の元全体がdenseであるとき、AはFS性をもつという。この性質はminimal tensor productに対して、不変でないことがわかった。つまりAをBunce-Deddens環Bを可分なHilbert space上の有界線形作用素全体からなる環とすると、A,Bは供にFS性をもつが、A【cross product】BはFS性をもたないことがわかる。また、Aをpurely infinite単純C^*-環としαをAのouter automor phismとすると、Aとαからつくられる単純C^*-環A×_αZはpurely infin、また、pをA上のcorner endomorphismとすると、AとpとでつくられるC^*-環は、単純C^*-環になるならば、やはりpurely infiniteになることがわかった。最後にθを無理数とし、fをトーラス上の実数値連続関数とすると、これらにより定まる2次元トーラス上のFurstenberg変換φ_fは、uniquely ergodicになり、これにより定まる単純C^*-環C(T^2)×_φ_fZは、unique tracial stateをもつことがわかる。