Results 1 -
7 of
7
Metrics on state spaces
- Doc. Math
, 1999
"... This article is dedicated to Richard V. Kadison in anticipation of his completing his seventy-fifth circumnavigation of the sun. Abstract. In contrast to the usual Lipschitz seminorms associated to ordinary metrics on compact spaces, we show by examples that Lipschitz seminorms on possibly non-commu ..."
Abstract
-
Cited by 35 (4 self)
- Add to MetaCart
This article is dedicated to Richard V. Kadison in anticipation of his completing his seventy-fifth circumnavigation of the sun. Abstract. In contrast to the usual Lipschitz seminorms associated to ordinary metrics on compact spaces, we show by examples that Lipschitz seminorms on possibly non-commutative compact spaces are usually not determined by the restriction of the metric they define on the state space, to the extreme points of the state space. We characterize the Lipschitz norms which are determined by their metric on the whole state space as being those which are lower semicontinuous. We show that their domain of Lipschitz elements can be enlarged so as to form a dual Banach space, which generalizes the situation for ordinary Lipschitz seminorms. We give a characterization of the metrics on state spaces which come from Lipschitz seminorms. The natural (broader) setting for these results is provided by the “function spaces” of Kadison. A variety of methods for constructing Lipschitz seminorms is indicated. In non-commutative geometry (based on C ∗-algebras), the natural way to specify a metric is by means of a suitable “Lipschitz seminorm”. This idea was first suggested by Connes [C1] and developed further in [C2, C3]. Connes pointed out [C1, C2] that from a Lipschitz seminorm one obtains in a simple way an ordinary metric on the state space of the C ∗-algebra. This metric generalizes the Monge–Kantorovich metric on probability measures [KA, Ra, RR]. In this article we make more precise the relationship between metrics on the state space and Lipschitz seminorms. Let ρ be an ordinary metric on a compact space X. The Lipschitz seminorm, Lρ, determined by ρ is defined on functions f on X by (0.1) Lρ(f) = sup{|f(x) − f(y)|/ρ(x, y) : x ̸ = y}.
Unitary orbits of normal operators in von Neumann algebras
, 2005
"... Abstract. The starting points for this paper are simple descriptions of the norm and strong * closures of the unitary orbit of a normal operator in a von Neumann algebra. The statements are in terms of spectral data and do not depend on the type or cardinality of the algebra. We relate this to sever ..."
Abstract
-
Cited by 7 (4 self)
- Add to MetaCart
Abstract. The starting points for this paper are simple descriptions of the norm and strong * closures of the unitary orbit of a normal operator in a von Neumann algebra. The statements are in terms of spectral data and do not depend on the type or cardinality of the algebra. We relate this to several known results and derive some consequences, of which we list a few here. Exactly when the ambient von Neumann algebra is a direct sum of σ-finite algebras, any two normal operators have the same norm-closed unitary orbit if and only if they have the same strong*-closed unitary orbit if and only if they have the same strong-closed unitary orbit. But these three closures generally differ from each other and from the unclosed unitary orbit, and we characterize when equality holds between any two of these four sets. We also show that in a properly infinite von Neumann algebra, the strong-closed unitary orbit of any operator, not necessarily normal, meets the center in the (non-void) left essential central spectrum of Halpern. One corollary is a “type III Weyl-von Neumann-Berg theorem ” involving containment of essential central spectra. 1.
Noncommutative Riemann integration and Novikov-Shubin invariants for Open Manifolds
, 2001
"... Given a C ∗-algebra A with a semicontinuous semifinite trace τ acting on the Hilbert space H, we define the family A R of bounded Riemann measurable elements w.r.t. τ as a suitable closure, à la Dedekind, of A, in analogy with one of the classical characterizations of Riemann measurable functions [2 ..."
Abstract
-
Cited by 6 (3 self)
- Add to MetaCart
Given a C ∗-algebra A with a semicontinuous semifinite trace τ acting on the Hilbert space H, we define the family A R of bounded Riemann measurable elements w.r.t. τ as a suitable closure, à la Dedekind, of A, in analogy with one of the classical characterizations of Riemann measurable functions [26], and show that A R is a C ∗-algebra, and τ extends to a semicontinuous semifinite trace on A R. Then, unbounded Riemann measurable operators are defined as the closed operators on H which are affiliated to A ′′ and can be approximated in measure by operators in A R, in analogy with unbounded Riemann integration. Unbounded Riemann measurable operators form a τ-a.e. bimodule on A R, denoted by A R, and such bimodule contains the functional calculi of selfadjoint elements of A R under unbounded Riemann measurable functions. Besides, τ extends to a bimodule trace on A R.
Noncommutative Riemann integration and singular traces for C ∗ - algebras
"... Given a C ∗-algebra A with a semicontinuous semifinite trace τ acting on the Hilbert space H, we define the family A R of bounded Riemann measurable elements w.r.t. τ as a suitable closure, à la Dedekind, of A, in analogy with one of the classical characterizations of Riemann measurable functions [1 ..."
Abstract
-
Cited by 4 (4 self)
- Add to MetaCart
Given a C ∗-algebra A with a semicontinuous semifinite trace τ acting on the Hilbert space H, we define the family A R of bounded Riemann measurable elements w.r.t. τ as a suitable closure, à la Dedekind, of A, in analogy with one of the classical characterizations of Riemann measurable functions [16], and show that A R is a C ∗-algebra, and τ extends to a semicontinuous semifinite trace on A R. Then, unbounded Riemann measurable operators are defined as the closed operators on H which are affiliated to A ′′ and can be approximated in measure by operators in A R, in analogy with improper Riemann integration. Unbounded Riemann measurable operators form a τ-a.e. bimodule on A R, denoted by AR, and such bimodule contains the functional calculi of selfadjoint elements of A R under unbounded Riemann measurable functions. Besides, τ extends to a bimodule trace on AR. As type II1 singular traces for a semifinite von Neumann algebra M with a normal semifinite faithful (non-atomic) trace τ have been defined as traces on M − M-bimodules of unbounded τ-measurable operators [5], type II1 singular traces for a C ∗-algebra A with a semicontinuous semifinite (non-atomic) trace τ are defined here as traces on A − A-bimodules of unbounded Riemann measurable operators (in AR) for any faithful representation of A. An application of singular traces for C ∗-algebras is contained in [6].
ON THE DIMENSION THEORY OF VON NEUMANN ALGEBRAS
, 2005
"... Abstract. In this paper we study three aspects of (P(M) / ∼), the set of Murray-von Neumann equivalence classes of projections in a von Neumann algebra M. First we determine the topological structure that (P(M) / ∼) inherits from the operator topologies on M. Then we show that there is a version of ..."
Abstract
-
Cited by 3 (3 self)
- Add to MetaCart
Abstract. In this paper we study three aspects of (P(M) / ∼), the set of Murray-von Neumann equivalence classes of projections in a von Neumann algebra M. First we determine the topological structure that (P(M) / ∼) inherits from the operator topologies on M. Then we show that there is a version of the center-valued trace which extends the dimension function, even when M is not σ-finite. Finally we prove that (P(M) / ∼) is a complete lattice, a fact which has an interesting reformulation in terms of representations. 1.
DIVISIBLE OPERATORS IN VON NEUMANN ALGEBRAS
, 2008
"... Abstract. Relativizing an idea from multiplicity theory, we say that an element x of a von Neumann algebra M is n-divisible if W ∗ (x) ′ ∩ M unitally contains a factor of type In. We decide the density of the n-divisible operators, for various n, M, and operator topologies. The most sensitive case ..."
Abstract
- Add to MetaCart
Abstract. Relativizing an idea from multiplicity theory, we say that an element x of a von Neumann algebra M is n-divisible if W ∗ (x) ′ ∩ M unitally contains a factor of type In. We decide the density of the n-divisible operators, for various n, M, and operator topologies. The most sensitive case is σ-strong density in II1 factors, which is closely related to the McDuff property. We make use of Voiculescu’s noncommutative Weyl-von Neumann theorem to obtain several descriptions of the norm closure of the n-divisible operators in B(ℓ 2). Here are two consequences: (1) in contrast to the reducible operators, of which they form a subset, the divisible operators are nowhere dense; (2) if an operator is a norm limit of divisible operators, it is actually a norm limit of unitary conjugates of a single divisible operator. This is related to our ongoing work on unitary orbits by the following theorem, which is new even for B(ℓ 2): if an element of a von Neumann algebra belongs to the norm closure of the ℵ0divisible operators, then the σ-weak closure of its unitary orbit is convex. 1.
An expanded version of a talk given at the AMS Session
, 2007
"... George Mackey devoted his career to exploring the basic unity of mathematics, and to understanding its relationships to modern physics. He was a major figure in the flowering of group representation theory and related portions of functional analysis that occured in the middle decades of the last ..."
Abstract
- Add to MetaCart
George Mackey devoted his career to exploring the basic unity of mathematics, and to understanding its relationships to modern physics. He was a major figure in the flowering of group representation theory and related portions of functional analysis that occured in the middle decades of the last

