Using the spectral subspaces obtained in [U. Haagerup, H. Schultz, Invariant subspaces of operators in a general II 1-factor, preprint, 2005], Brown's results (cf. [L.G. Brown, Lidskii's theorem in the type II case, in: H. Araki, E. Effros (Eds.), Geometric Methods in Operator Algebras, Kyoto, 1983, in: Pitman Res. Notes Math. Ser., vol. 123, Longman Sci. Tech., 1986, pp. 1–35]) on the Brown measure of an operator in a type II 1 factor ( M , τ ) are generalized to finite sets of commuting operators in M . It is shown that whenever T 1 , … , T n ∈ M are mutually commuting operators, there exists one and only one compactly supported Borel probability measure μ T 1 , … , T n on B ( C n ) such that for all α 1 , … , α n ∈ C , τ ( log | α 1 T 1 + ⋯ + α n T n − 1 | ) = ∫ C n log | α 1 z 1 + ⋯ + α n z n − 1 | d μ T 1 , … , T n ( z 1 , … , z n ) . Moreover, for every polynomial q in n commuting variables, μ q ( T 1 , … , T n ) is the push-forward measure of μ T 1 , … , T n via the map q : C n → C . In addition it is shown that, as in [U. Haagerup, H. Schultz, Invariant subspaces of operators in a general II 1-factor, preprint, 2005], for every Borel set B ⊆ C n there is a maximal closed T 1 - , … , T n -invariant subspace K affiliated with M , such that μ T 1 | K , … , T n | K is concentrated on B. Moreover, τ ( P K ) = μ T 1 , … , T n ( B ) . This generalizes the main result from [U. Haagerup, H. Schultz, Invariant subspaces of operators in a general II 1-factor, preprint, 2005] to n-tuples of commuting operators in M .
Read full abstract