TY - JOUR
T1 - Upper multiplicity and bounded trace ideals in C*-algebras
AU - Archbold, R. J.
AU - Somerset, D. W B
AU - Spielberg, John
N1 - Funding Information:
* Supported in part by NSF Grant DMS 9400899.
PY - 1997/6/1
Y1 - 1997/6/1
N2 - Upper and lower multiplicities MU(π, Ω) and ML(π, Ω) for an irreducible representation π of a C*-algebra A, relative to a net Ω = (πα) in Â, are shown to generalize the multiplicity numbers obtained by previous authors in trace formulae for (group) C*-algebras. This leads, in the presence of an auxiliary finiteness condition, to an upper semi-continuity result in [0, ∞] for trace functions on Â: lim sup Tr(πα(a)) ≤ ∑ MU(π, Ω) Tr(π(a)) (a ∈ A+), where the summation is taken over the cluster points of Ω. A characterization is given for the condition MU(π, Ω) ≤ k, where k is a positive integer, from which it follows that a C*-algebra has all upper multiplicities finite if and only if it has bounded trace. More generally, the largest bounded trace ideal J of a C*-algebra A is given by Ĵ = {π ∈ Â: MU(π) < ∞}.
AB - Upper and lower multiplicities MU(π, Ω) and ML(π, Ω) for an irreducible representation π of a C*-algebra A, relative to a net Ω = (πα) in Â, are shown to generalize the multiplicity numbers obtained by previous authors in trace formulae for (group) C*-algebras. This leads, in the presence of an auxiliary finiteness condition, to an upper semi-continuity result in [0, ∞] for trace functions on Â: lim sup Tr(πα(a)) ≤ ∑ MU(π, Ω) Tr(π(a)) (a ∈ A+), where the summation is taken over the cluster points of Ω. A characterization is given for the condition MU(π, Ω) ≤ k, where k is a positive integer, from which it follows that a C*-algebra has all upper multiplicities finite if and only if it has bounded trace. More generally, the largest bounded trace ideal J of a C*-algebra A is given by Ĵ = {π ∈ Â: MU(π) < ∞}.
UR - http://www.scopus.com/inward/record.url?scp=0031168093&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0031168093&partnerID=8YFLogxK
U2 - 10.1006/jfan.1996.3041
DO - 10.1006/jfan.1996.3041
M3 - Article
AN - SCOPUS:0031168093
SN - 0022-1236
VL - 146
SP - 430
EP - 463
JO - Journal of Functional Analysis
JF - Journal of Functional Analysis
IS - 2
ER -