## Metrics on states from actions of compact groups (1998)

Venue: | Doc. Math |

Citations: | 45 - 6 self |

### BibTeX

@ARTICLE{Rieffel98metricson,

author = {Marc A. Rieffel},

title = {Metrics on states from actions of compact groups},

journal = {Doc. Math},

year = {1998},

pages = {215--229}

}

### Years of Citing Articles

### OpenURL

### Abstract

Abstract. Let a compact Lie group act ergodically on a unital C ∗-algebra A. We consider several ways of using this structure to define metrics on the state space of A. These ways involve length functions, norms on the Lie algebra, and Dirac operators. The main thrust is to verify that the corresponding metric topologies on the state space agree with the weak-∗ topology. Connes [Co1, Co2, Co3] has shown us that Riemannian metrics on non-commutative spaces (C ∗-algebras) can be specified by generalized Dirac operators. Although in this setting there is no underlying manifold on which one then obtains an ordinary metric, Connes has shown that one does obtain in a simple way an ordinary metric on the state space of the C ∗-algebra, generalizing the Monge-Kantorovich metric on probability measures [Ra] (called the “Hutchinson metric ” in the theory of fractals [Ba]). But an aspect of this matter which has not received much attention so far [P] is the question of when the metric topology (that is, the topology from the metric coming from a Dirac operator) agrees with the underlying weak- ∗ topology on the state space. Note that for locally compact spaces their topology agrees with the weak- ∗ topology coming from viewing points as linear functionals (by evaluation) on the algebra of continuous functions vanishing at infinity.

### Citations

2200 | Noncommutative geometry - Connes |

879 |
Operator Algebras and Quantum Statistical Mechanics
- Bratteli, Robinson
- 1987
(Show Context)
Citation Context ...action on S. But we will not discuss this matter further here. 112.2 Proposition. The ∗-algebra L is dense in A. Proof. For f ∈ L1 (G) we define αf as usual by αf(a) = ∫ f(x)αx(a) dx. It is standard =-=[BR]-=- that as f runs through an “approximate delta-function”, αf(a) converges to a. Thus the set of elements of form αf(a) is dense in A. Let λ denote the action of G by left translation of functions on G.... |

777 |
Fractals Everywhere
- Barnsley
- 1988
(Show Context)
Citation Context ... simple way an ordinary metric on the state space of the C ∗ -algebra, generalizing the Monge-Kantorovich metric on probability measures [Ra] (called the “Hutchinson metric” in the theory of fractals =-=[Ba]-=-). But an aspect of this matter which has not received much attention so far [P] is the question of when the metric topology (that is, the topology from the metric coming from a Dirac operator) agrees... |

376 |
Fundamentals of the Theory of Operator Algebras
- Kadison, Ringrose
(Show Context)
Citation Context ...ith ‖a‖ ≤ k‖â‖∞ for a ∈ L. This condition clearly holds when A is a C∗-algebra, L is dense in A, and S is the state space of A, so that we are dealing with the usual Kadison functional representation =-=[KR]-=-. But we remark that even in this case the constant k above cannot always be taken to be 1 (bottom of page 263 of [KR]). This suggests that in using formula (1.1) one might want to restrict to using j... |

339 | Noncommutative geometry and matrix theory: compactification on tori, JHEP 9802 - Connes, Douglas, et al. - 1998 |

270 | Gravity coupled with matter and foundation of noncommutative geometry
- Connes
- 1996
(Show Context)
Citation Context ...ence of further hypotheses it can easily happen that ρ(µ, ν) = +∞. For one interesting situation where this sometimes happens see the end of the discussion of the second example following axiom 4’ of =-=[C3]-=-.) The semi-norm L is an example of a general Lipschitz semi-norm, that is [BC, Cu, P, Wv1, Wv2], a semi-norm L on a dense subalgebra L of A satisfying the Leibniz property: (1.2) L(ab) ≤ L(a)‖b‖ + ‖a... |

208 |
Probability metrics and the stability of stochastic models
- Rachev
- 1991
(Show Context)
Citation Context ... an ordinary metric, Connes has shown that one does obtain in a simple way an ordinary metric on the state space of the C ∗ -algebra, generalizing the Monge-Kantorovich metric on probability measures =-=[Ra]-=- (called the “Hutchinson metric” in the theory of fractals [Ba]). But an aspect of this matter which has not received much attention so far [P] is the question of when the metric topology (that is, th... |

151 | Introduction in noncommutative geometry - Varilly - 1997 |

77 | Morita equivalence and duality - Schwarz - 1998 |

66 | Compact metric spaces, Fredholm modules, and hyperfiniteness, Ergodic Theory Dynam - Connes - 1989 |

59 | A.: Morita equivalence of multidimensional noncommutative tori - Rieffel, Schwarz - 1999 |

46 |
Non-commutative tori — a case study of non-commutative differentiable manifolds
- Rieffel
(Show Context)
Citation Context ...or. Then the metric topology on the state space of A defined by the metric from D agrees with the weak-∗ topology. An important case to which this theorem applies consists of the non-commutative tori =-=[Rf]-=-, since they carry ergodic actions of ordinary tori [OPT]. The metric geometry of noncommutative tori has recently become of interest in connection with string theory [CDS, RS, S]. We begin by showing... |

30 |
Elliptic Operators and Lie Groups
- Robinson
- 1991
(Show Context)
Citation Context ... will not pursue this here.) It is not so clear whether L is carried into itself by α, but we do not need this fact here. (For Lie groups see theorem 4.1 of [Ro1] or the comments after theorem 6.1 of =-=[Ro2]-=-.) Let us consider, however, the α-invariance of L. We find that L(αz(a)) = sup{‖αz(αz −1xz(a) − a)‖/ℓ(x) : x ̸= e} = sup{‖αx(a) − a‖/ℓ(zxz −1 ) : x ̸= e}. Thus if ℓ(zxz−1 ) = ℓ(x) for all x, z ∈ G, t... |

28 |
Ergodic actions of compact groups on operator algebras
- Wassermann
- 1989
(Show Context)
Citation Context ...n which a quantum group acts ergodically [Bo, Wn]. This would be especially interesting since for non-commutative compact groups there is only a sparse collection of known examples of ergodic actions =-=[Ws]-=-, whereas in [Wn] a rich collection of ergodic actions of compact quantum groups is constructed. Closely related is the setting of ergodic coactions of discrete groups [N, Q]. But I have not explored ... |

27 | Differential Banach algebra norms and smooth subalgebras of C∗-algebras - Blackadar, Cuntz |

24 | Ergodic Actions of Compact Matrix Pseudogroups on C∗-Algebras - Boca - 1995 |

24 |
rmer, Compact ergodic groups of automorphisms
- egh-Krohn, Landstad, et al.
- 1981
(Show Context)
Citation Context ... (iii) of Theorem 1.9. For this we need the unobvious fact [HLS, Bo] that because G is compact and α is ergodic, each irreducible representation of G occurs with at most finite multiplicity in A. (In =-=[HLS]-=- it is also shown that η is a trace, but we do not need this fact here.) The following lemma is undoubtedly well-known, but I do not know a reference for it. 132.5 Lemma. Let α be a (strongly continu... |

24 |
Ergodic actions of compact Abelian groups
- Olesen, Pedersen, et al.
- 1980
(Show Context)
Citation Context ...ined by the metric from D agrees with the weak-∗ topology. An important case to which this theorem applies consists of the non-commutative tori [Rf], since they carry ergodic actions of ordinary tori =-=[OPT]-=-. The metric geometry of noncommutative tori has recently become of interest in connection with string theory [CDS, RS, S]. We begin by showing in the first section of this paper that the mechanism fo... |

22 | Ergodic actions of universal quantum groups on operator algebras
- Wang
- 1999
(Show Context)
Citation Context ... group acts ergodically [Bo, Wn]. This would be especially interesting since for non-commutative compact groups there is only a sparse collection of known examples of ergodic actions [Ws], whereas in =-=[Wn]-=- a rich collection of ergodic actions of compact quantum groups is constructed. Closely related is the setting of ergodic coactions of discrete groups [N, Q]. But I have not explored any of these poss... |

19 | Bivariante K-Theorie für lokalkonvexe Algebren und der Chern-ConnesCharakter - Cuntz - 1997 |

13 | An introduction to k-theory and cyclic cohomology - Brodzki |

13 | On the ultraviolet behavior of quantum fields over noncommutative manifolds - Varilly, Gracia-Bondia - 1999 |

8 | Defining metric spaces viaoperators from unital
- Pavlović
- 1998
(Show Context)
Citation Context ...ng the Monge-Kantorovich metric on probability measures [Ra] (called the “Hutchinson metric” in the theory of fractals [Ba]). But an aspect of this matter which has not received much attention so far =-=[P]-=- is the question of when the metric topology (that is, the topology from the metric coming from a Dirac operator) agrees with the underlying weak-∗ topology on the state space. Note that for locally c... |

8 |
Lipschitz algebras and derivations of von Neumann algebras
- Weaver
- 1996
(Show Context)
Citation Context ... as in the previous section, we see that L ⊆ L0 and L0 ≤ L. Thus we are exactly in position to apply the Comparison Lemma 1.10 to obtain the desired conclusion. □ We remark that Weaver (theorem 24 of =-=[Wv1]-=-) in effect proved for this setting the total boundedness of B1 for the particular case of non-commutative 2-tori, by different methods. 4. Metrics from Dirac operators Suppose again that G is a compa... |

7 | Sub-Riemannian metrics for quantum Heisenberg manifolds
- Weaver
- 2000
(Show Context)
Citation Context ...the results of the previous sections to prove our main theorem, stated above, for the metrics which come from Dirac operators. It is natural to ask about actions of non-compact groups. Examination of =-=[Wv4]-=- suggests that there may be very interesting phenomena there. The considerations of the present paper also make one wonder whether there is an appropriate analogue of length functions for compact quan... |

4 | Discrete C∗-coactions and C∗-algebraic bundles - Quigg - 1996 |

4 | α-Lipschitz algebras on the noncommutative torus
- Weaver
(Show Context)
Citation Context ...generally, for 0 < r < 1 we could define Lr by L r (a) = sup{‖αx(a) − a‖/(ℓ(x)) r : x ̸= e} along the lines considered in [Ro1, Ro2]. For actions on the non-commutative torus this has been studied in =-=[Wv2]-=-, but we will not pursue this here.) It is not so clear whether L is carried into itself by α, but we do not need this fact here. (For Lie groups see theorem 4.1 of [Ro1] or the comments after theorem... |

3 | Vecteurs analytiques dans les représentations des groupes de - G˚arding - 1960 |

3 | Operator spaces and noncommutative metrics, preprint - Weaver - 1998 |

1 | Discrete coactions on C∗-algebras - Ng - 1996 |

1 |
Lie groups and Lipschitz spaces
- Robinson
- 1988
(Show Context)
Citation Context ...orus this has been studied in [Wv2], but we will not pursue this here.) It is not so clear whether L is carried into itself by α, but we do not need this fact here. (For Lie groups see theorem 4.1 of =-=[Ro1]-=- or the comments after theorem 6.1 of [Ro2].) Let us consider, however, the α-invariance of L. We find that L(αz(a)) = sup{‖αz(αz −1xz(a) − a)‖/ℓ(x) : x ̸= e} = sup{‖αx(a) − a‖/ℓ(zxz −1 ) : x ̸= e}. T... |