Clustering for algebraic \(K\)-systems
type: Item
instance of: scholarly article
title: Clustering for algebraic \(K\)-systems
zbMATH Open document ID: 0822.46077
DOI: 10.1007/BF00751066
author: Walter Thirring
author: Heide Narnhofer
published in: Letters in Mathematical Physics
publication date: 1995-10-22T00:00:00Z
review text: A von Neumann \(K\)-system \(({\mathcal A}_ n, \sigma, \omega)\) is a family of subalgebras \({\mathcal A}_ n\), \(n\in \mathbb{Z}\), of an algebra \({\mathcal A}\) with the properties (i) \({\mathcal A}_{n+1} \supset {\mathcal A}_ n\), (ii) \(\cup_ n ({\mathcal A}_ n)= {\mathcal A}\), (iii) \(\cap_ n ({\mathcal A}_ n)= z1\), and an automorphism \(\sigma\) of \({\mathcal A}\) with \(\sigma ({\mathcal A}_ n)= ({\mathcal A}_{n+1})\) and the invariant state \(\omega\). The main results. Theorem (3.1). Let \(({\mathcal A}_ n, \sigma, \omega)\) be a von Neumann \(K\)-system. Then \(\forall b\in {\mathcal A}\), \(n\in \mathbb{Z}\), \(\varepsilon>0\) \(\exists N(b,n, \varepsilon)\in \mathbb{Z}^ +\) such that \(\forall a\in {\mathcal A}_ n\), \(k<-N\): \(| \omega(b \sigma^ k a)- \omega(b) \omega(a) |< \varepsilon\| a\|\). (This clustering we call \(K\)- clustering.) Theorem (3.4). A von Neumann \(K\) system is \(r\)-clustering, i.e. \(\forall r\in \mathbb{N} \lim_{\inf| n_ 1- n_ k|\to \infty} \omega (\sigma_{n_ 1} \alpha_ 1 \dots \sigma_{n_ r} a_ r)= \omega (a_ 1) \dots \omega (a_ r)\). Theorem (3.1) has a sort of converse: Theorem (3.1). Let \({\mathcal A}\) be a \(C^*\) algebraic \(K\)-system with respect to the automorphism \(\sigma\) and \(\omega\) a \(\sigma\)-invariant separating state, that is \(K\)-clustering with respect to the \(C^*\) system \(\cup_ n ({\mathcal A}_ n)= {\mathcal A}\). Then it is also \(K\)- clustering for \({\mathcal A}''= \cup_ n ({\mathcal A}_ n^{\prime\prime})\) and \(\cap_ n ({\mathcal A}_ n^{\prime\prime})= \lambda1\). Thus \(K\)- clustering ensures that a \(C^*\)-\(K\)-system entends to a von Neumann \(K\) system and is also necessary.
Mathematics Subject Classification ID: 46L55
Mathematics Subject Classification ID: 47L10
Mathematics Subject Classification ID: 46L40
zbMATH DE Number: 554097
zbMATH Keywords: \(K\)-clustering
zbMATH Keywords: invariant separating state
zbMATH Keywords: von Neumann \(K\)-system
zbMATH Keywords: automorphism
reviewed by: V. M. Deundjak
MaRDI profile type: Publication
cites work: Q3854185
cites work: Vecteurs totalisateurs d'une algébre de von Neumann
cites work: Generalized K-flows
cites work: A Markov dilation of a non-quasifree Bloch evolution
cites work: Algebraic K-systems
cites work: An Index Theory for Semigroups of *-Endomorphisms of and Type II1 Factors.
cites work: Shifts on Type II1 Factors
cites work: Conditional expectations in von Neumann algebras
description: scientific article; zbMATH DE number 554097