It is proved that the family of equivalence classes of Lip-normed C*-algebras introduced by M. Rieffel, up to isomorphisms preserving the Lip-seminorm, is not complete w.r.t. the matricial quantum Gromov-Hausdorff distance introduced by D. Kerr. This is shown by exhibiting a Cauchy sequence whose limit, which always exists as an operator system, is not completely order isomorphic to any C*-algebra.
Conditions ensuring the existence of a C*-structure on the limit are considered, making use of the notion of ultraproduct. More precisely, a necessary and sufficient condition is given for the existence, on the limiting operator system, of a C*-product structure inherited from the approximating C*-algebra. Such condition can be considered as a generalisation of the f-Leibniz conditions introduced by Kerr and Li. Furthermore, it is shown that our condition is not necessary for the existence of a C*-structure tout court, namely there are cases in which the limit is a C*-algebra, but the C*-structure is not inherited.
We prove that noncommutative solenoids are limits, in the sense of the Gromov-Hausdorff propinquity, of quantum tori. From this observation, we prove that noncommutative solenoids can be approximated by finite dimensional quantum compact metric spaces, and that they form a continuous family of quantum compact metric spaces over the space of multipliers of the solenoid, properly metrized.
Marc Rieffel had introduced the notion of the quantum Gromov-Hausdorff distance on compact quantum metric spaces and found a sequence of matrix algebras that converges to the space of continuous functions on $2$-sphere in this distance. One finds applications of similar approximations in many places in the theoretical physics literature. In this paper, we have defined a compact quantum metric space structure on the sequence of Toeplitz algebras on generalized Bergman spaces and have proved that the sequence converges to the space of continuous function on odd spheres in the quantum Gromov-Haus…
We construct a topology on the class of pointed proper quantum metric spaces which generalizes the topology of the Gromov-Hausdorff distance on proper metric spaces, and the topology of the dual propinquity on Leibniz quantum compact metric spaces. A pointed proper quantum metric space is a special type of quantum locally compact metric space whose topography is proper, and with properties modeled on Leibniz quantum compact metric spaces, though they are usually not compact and include all the classical proper metric spaces. Our topology is obtained from an infra-metric which is our analogue o…
The covariant Gromov-Hausdorff propinquity is a distance on Lipschitz dynamical systems over quantum compact metric spaces, up to equivariant full quantum isometry. It is built from the dual Gromov-Hausdorff propinquity which, as its classical counterpart, is complete. We prove in this paper several sufficient conditions for convergence of Cauchy sequences for the covariant propinquity and apply it to show that many natural classes of dynamical systems are complete for this metric.
The modular Gromov-Hausdorff propinquity is a distance on classes of modules endowed with quantum metric information, in the form of a metric form of a connection and a left Hilbert module structure. This paper proves that the family of Heisenberg modules over quantum two tori, when endowed with their canonical connections, form a continuous family for the modular propinquity.
Given a unital AF-algebra $A$ equipped with a faithful tracial state, we equip each (norm-closed two-sided) ideal of $A$ with a metrized quantum vector bundle structure, when canonically viewed as a module over $A$, in the sense of Latrémolière using previous work of the first author and Latrémolière. Moreover, we show that convergence of ideals in the Fell topology implies convergence of the associated metrized quantum vector bundles in the modular Gromov-Hausdorff propinquity of Latrémolière. In a similar vein but requiring a different approach, given a compact metric space $(X,d)$, we equip…
Quantum tori are limits of finite dimensional C*-algebras for the quantum Gromov-Hausdorff propinquity, a metric defined by the author as a strengthening of Rieffel's quantum Gromov-Hausdorff designed to retain the C*-algebraic structure. In this paper, we propose a proof of the continuity of the family of quantum and fuzzy tori which relies on explicit representations of the C*-algebras rather than on more abstract arguments, in a manner which takes full advantage of the notion of bridge defining the quantum propinquity.
The dual modular propinquity is a complete metric, up to full modular quantum isometry, on the class metrical quantum vector bundles, i.e. of Hilbert modules endowed with a type of densely defined norm, called a D-norm, which generalize the operator norm given by a connection on a Riemannian manifold. The dual modular propinquity is weaker than the modular propinquity yet it is complete, which is the main purpose of its introduction.
We prove that all the compact metric spaces are in the closure of the class of full matrix algebras for the quantum Gromov-Hausdorff propinquity. We also show that given an action of a compact metrizable group G on a quasi-Leibniz compact quantum metric space (A,Lip), the function associating any closed subgroup of G group to its fixed point C*-subalgebra in A is continuous from the topology of the Hausdorff distance to the topology induced by the propinquity. Our techniques are inspired from our work on AF algebras as quantum metric spaces, as they are based on the use of various types of con…
We prove a compactness result for classes of actions of many small categories on quantum compact metric spaces by Lipschitz linear maps, for the topology of the covariant Gromov-Hausdorff propinquity. In particular, our result applies to actions of proper groups by Lipschitz isomorphisms on quantum compact spaces. Our result provides a first example of a structure which passes to the limit of quantum metric spaces for the propinquity, as well as a new method to construct group actions, including from non-locally compact groups seen as inductive limits of compact groups, on unital C*-algebras. …
We survey the symmetry preserving properties for the dual propinquity, under natural non-degeneracy and equicontinuity conditions. These properties are best formulated using the notion of the covariant propinquity when the symmetries are encoded via the actions of proper monoids and groups. We explore the issue of convergence of Cauchy sequences for the covariant propinquity, which captures, via a compactness result, the fact that proper monoid actions can pass to the limit for the dual propinquity.
We show that Bunce-Deddens algebras, which are AT-algebras, are also limits of circle algebras for Rieffel's quantum Gromov-Hausdorff distance, and moreover, form a continuous family indexed by the Baire space. To this end, we endow Bunce-Deddens algebras with a quantum metric structure, a step which requires that we reconcile the constructions of the Latremoliere's Gromov-Hausdorff propinquity and Rieffel's quantum Gromov-Hausdorff distance when working on order-unit quantum metric spaces. This work thus continues the study of the connection between inductive limits and metric limits.
We introduce the quantum Gromov-Hausdorff propinquity, a new distance between quantum compact metric spaces, which extends the Gromov-Hausdorff distance to noncommutative geometry and strengthens Rieffel's quantum Gromov-Hausdorff distance and Rieffel's proximity by making *-isomorphism a necessary condition for distance zero, while being well adapted to Leibniz seminorms. This work offers a natural solution to the long-standing problem of finding a framework for the development of a theory of Leibniz Lip-norms over C*-algebras.
We prove a compactness theorem for the dual Gromov-Hausdorff propinquity as a noncommutative analogue of the Gromov compactness theorem for the Gromov-Hausdorff distance. Our theorem is valid for subclasses of quasi-Leibniz compact quantum metric spaces of the closure of finite dimensional quasi-Leibniz compact quantum metric spaces for the dual propinquity. While finding characterizations of this class proves delicate, we show that all nuclear, quasi-diagonal quasi-Leibniz compact quantum metric spaces are limits of finite dimensional quasi-Leibniz compact quantum metric spaces. This result i…
We introduce a metric on Hilbert modules equipped with a generalized form of a differential structure, thus extending Gromov-Hausdorff convergence theory to vector bundles and quantum vector bundles --- not convergence as total space but indeed as quantum vector bundle. Our metric is new even in the classical picture, and creates a framework for the study of the moduli spaces of modules over C*-algebras from a metric perspective. We apply our construction, in particular, to the continuity of Heisenberg modules over quantum $2$-tori.
Motivated by the quest for an analogue of the Gromov-Hausdorff distance in noncommutative geometry which is well-behaved with respect to C*-algebraic structures, we propose a complete metric on the class of Leibniz quantum compact metric spaces, named the dual Gromov-Hausdorff propinquity. This metric resolves several important issues raised by recent research in noncommutative metric geometry: it makes *-isomorphism a necessary condition for distance zero, it is well-adapted to Leibniz seminorms, and --- very importantly --- is complete, unlike the quantum propinquity which we introduced earl…
The dual Gromov-Hausdorff propinquity is a generalization of the Gromov-Hausdorff distance to the class of Leibniz quantum compact metric spaces, designed to be well-behaved with respect to C*-algebraic structures. In this paper, we present a variant of the dual propinquity for which the triangle inequality is established without the recourse to the notion of journeys, or finite paths of tunnels. Since the triangle inequality has been a challenge to establish within the setting of Leibniz quantum compact metric spaces for quite some time, and since journeys can be a complicated tool, this new …
The Podles quantum sphere S^2_q admits a natural commutative C*-subalgebra I_q with spectrum {0} \cup {q^{2k}: k = 0,1,2,...}, which may therefore be considered as a quantised version of a classical interval. We study here the compact quantum metric space structure on I_q inherited from the corresponding structure on S^2_q, and provide an explicit formula for the metric induced on the spectrum. Moreover, we show that the resulting metric spaces vary continuously in the deformation parameter q with respect to the Gromov-Hausdorff distance, and that they converge to a classical interval of lengt…
For unital AF algebras with faithful tracial states, we provide criteria for convergence in the quantum Gromov-Hausdorff propinquity. For any unital AF algebra, we introduce new Leibniz Lip-norms using quotient norms. Next, we show that any unital AF algebra is the limit of its defining inductive sequence of finite dimensional C*-algebras in quantum propinquity given any Lip-norm defined on the inductive sequence. We also establish sufficient conditions for when a *-isomorphism between two AF algebras produces a quantum isometry in the context of various Lip-norms.
We present a survey of the dual Gromov-Hausdorff propinquity, a noncommutative analogue of the Gromov-Hausdorff distance which we introduced to provide a framework for the study of the noncommutative metric properties of C*-algebras. We first review the notions of quantum locally compact metric spaces, and present various examples of such structures. We then explain the construction of the dual Gromov-Hausdorff propinquity, first in the context of quasi-Leibniz quantum compact metric spaces, and then in the context of pointed quantum proper metric spaces. We include a few new result concerning…
A distance between von Neumann algebras is introduced, depending on a further norm inducing the $w^*$-topology on bounded sets. Such notion is related both with the Gromov-Hausdorff distance for quantum metric spaces of Rieffel and with the Effros-Marechal topology on the von Neumann algebras acting on a Hilbert space. This construction is tested on the local algebras of free quantum fields endowed with norms related with the Buchholz-Wichmann nuclearity condition, showing the continuity of such algebras w.r.t. the mass parameter.
We define a metric on the class of metric spectral triples, which is null exactly between spectral triples with unitary equivalent Dirac operators and *-isomorphic underlying C*-algebras. This metric dominates the propinquity, and thus implies metric convergence of the compact quantum metric spaces induced by metric spectral triples. In the process of our construction, we also introduce the covariant modular propinquity, as a key component for the definition of the spectral propinquity.
We show that the rotation algebras are limit of matrix algebras in a very strong sense of convergence for algebras with additional Lipschitz structure. Our results generalize to higher dimensional noncommutative tori and operator valued coefficients. In contrast to previous results by Rieffel, Li, Kerr, and Latrémolière we use Lipschitz norms induced by the `carré du champ' of certain natural dynamical systems, including the heat semigroup.
