Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I see phrases like "$\tau$ is a semicontinuous, semifinite trace on a C* algebra $A$" thrown around a lot in papers without any extra qualification. So, I gather this terminology is standard? I've never been exactly sure what it means though. I am pretty sure that, in the case $A = C_0(X)$ for $X$ a locally compact Hausdorff space, this is just supposed to mean "$\tau$ is integration against a positive, regular, Borel measure on $X$". My strategy has always been to read any and all arguments involving such $\tau$ while secretly assuming $A$ is commutative. Could somebody please provide a precise definition of a "semicontinuous, semifinite trace on a C* algebra" or, better yet, point me toward a nice reference for such things? Thanks.

share|improve this question
    
The EOM entry seems to answer that question and refers to Dixmier. Nevertheless it would be nice to have something slightly ... less condensed as an answer. –  t.b. Aug 4 '12 at 21:46
add comment

1 Answer 1

up vote 1 down vote accepted

One thing which seems to be done is define a weight on a (non-unital) C*-algebra $A$ to be a mapping $\phi$ from the positive cone $A_+$ of $A$ to $[0,\infty]$ such that $\phi(x+y) = \phi(x) + \phi(y)$ and $\phi(\lambda x) = \lambda \phi(x)$ are satisfied for $x,y \in A_+$, $\lambda \in [0,\infty)$ (with the usual measure-theoretic convention that $0 \cdot \infty = 0$). One then says that $\phi$ is lower semi-continuous if $\phi(x) \leq \liminf \phi(x_i)$ whenever $x_i \to x$ in $A_+$ (a sort of Fatou's lemma-type condition). I think one says $\phi$ is semi-finite to mean that $\{x \in A_+ : \phi(x) < \infty\}$ is dense in $A_+$, but the terminology densely-defined would certainly be preferable for this. A densely-defined, lower semicontinuous trace would then be a densely-defined, lower semi-continuous weight $\tau$ on $A$ which is invariant under the inner automorphism group of $A$ i.e. $\phi(uxu^*) = \phi(x)$ for all $x \in A_+$ and all unitaries $u$ in the minimal unitization of $A$.

Many references could be given for this material. There is one which happens to be sitting on my desk. See the appendix of Phillips and Raeburn, An Index Theorem for Toeplitz Operators with Noncommutative Symbol Space.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.