arXiv subjects
Publications and source records attributed to David Kyed.
We study the quantum metric structure arising from length functions on quantum groups and show that for coamenable quantum groups of Kac type, the quantum metric information is captured by the algebra of central functions. Using this, we provide the first examples of length functions on (genuine) quantum groups which give rise to compact quantum metric spaces.
We show how to equip the crossed product between a group of polynomial growth and a compact quantum metric space with a compact quantum metric space structure. When the quantum metric on the base space arises from a spectral triple, which is compatible with the action of the group, we furthermore show that the crossed product becomes a spectral metric space. Lastly, we analyse the spectral triple at the crossed product level from the point of view of unbounded $KK$-theory and show that it arises as an internal Kasparov product of unbounded Kasparov modules.
We show that Connes' metric on the state space associated with a spectral triple is nowhere infinite exactly when it is globally bounded. Moreover, we produce a family of simple examples showing that this is not automatically the case.
We show that Rieffel's quantum Gromov-Hausdorff distance between two compact quantum metric spaces is not equivalent to the ordinary Gromov-Hausdorff distance applied to the associated state spaces.
We introduce a two parameter family of Dirac operators on quantum SU(2) and analyse their properties from the point of view of non-commutative metric geometry. It is shown that these Dirac operators give rise to compact quantum metric structures, and that the corresponding two parameter family of compact quantum metric spaces varies continuously in Rieffel's quantum Gromov-Hausdorff distance. This continuity result includes the classical case where we recover the round 3-sphere up to a global scaling factor on the metric. Our main technical tool is a quantum SU(2) analogue of the Berezin transform, together with its associated fuzzy approximations, the analysis of which also leads to a systematic way of approximating Lipschitz operators by means of polynomial expressions in the generators.
We prove an approximation result for Lipschitz functions on the quantum sphere $S_q^2$, from which we deduce that the two natural quantum metric structures on $S_q^2$ have quantum Gromov-Hausdorff distance zero.
We prove that the Podles spheres $S_q^2$ converge in quantum Gromov-Hausdorff distance to the classical 2-sphere as the deformation parameter $q$ tends to 1. Moreover, we construct a $q$-deformed analogue of the fuzzy spheres, and prove that they converge to $S_q^2$ as their linear dimension tends to infinity, thus providing a quantum counterpart to a classical result of Rieffel.
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 length pi as q tends to 1.
We provide a detailed study of actions of the integers on compact quantum metric spaces, which includes general criteria ensuring that the associated crossed product algebra is again a compact quantum metric space in a natural way. We moreover provide a flexible set of assumptions ensuring that a continuous family of *-automorphisms of a compact quantum metric space, yields a field of crossed product algebras which varies continuously in Rieffel's quantum Gromov-Hausdorff distance. Lastly we show how our results apply to continuous families of Lip-isometric actions on compact quantum metric spaces and to families of diffeomorphisms of compact Riemannian manifolds which vary continuously in the Whitney C^1-topology.
We construct a general cohomological induction isomorphism from a uniform measure equivalence of locally compact, second countable, unimodular groups which, as a special case, yields that the graded cohomology rings of quasi-isometric, connected, simply connected, nilpotent Lie groups are isomorphic. This unifies results of Shalom and Sauer and also provides new insight into the quasi-isometry classification problem for low dimensional nilpotent Lie groups.
We provide a large class of discrete amenable groups for which the complex group ring has several C*-completions, thus providing partial evidence towards a positive answer to a question raised by Rostislav Grigorchuk, Magdalena Musat and Mikael R{\o}rdam.
We undertake a comprehensive study of measure equivalence between general locally compact, second countable groups, providing operator algebraic and ergodic theoretic reformulations, and complete the classification of amenable groups within this class up to measure equivalence.
This article is concerned with measure equivalence and uniform measure equivalence of locally compact, second countable groups. We show that two unimodular, locally compact, second countable groups are measure equivalent if and only if they admit free, ergodic, probability measure preserving actions whose cross section equivalence relations are stably orbit equivalent. Using this we prove that in the presence of amenability any two such groups are measure equivalent and that both amenability and property (T) are preserved under measure equivalence, extending results of Connes-Feldman-Weiss and Furman. Furthermore, we introduce a notion of uniform measure equivalence for unimodular, locally compact, second countable groups, and prove that under the additional assumption of amenability this notion coincides with coarse equivalence, generalizing results of Shalom and Sauer. Throughout the article we rigorously treat measure theoretic issues arising in the setting of non-discrete groups.
We compute the $L^2$-Betti numbers of the free $C^*$-tensor categories, which are the representation categories of the universal unitary quantum groups $A_u(F)$. We show that the $L^2$-Betti numbers of the dual of a compact quantum group $G$ are equal to the $L^2$-Betti numbers of the representation category $Rep(G)$ and thus, in particular, invariant under monoidal equivalence. As an application, we obtain several new computations of $L^2$-Betti numbers for discrete quantum groups, including the quantum permutation groups and the free wreath product groups. Finally, we obtain upper bounds for the first $L^2$-Betti number in terms of a generating set of a $C^*$-tensor category.
We calculate all $\ell^2$-Betti numbers of the universal discrete Kac quantum groups $\hat U_n^+$ as well as their full half-liberated counterparts $\hat U_n^*$.
We show that the first $\ell^2$-Betti number of the duals of the free unitary quantum groups is one, and that all $\ell^2$-Betti numbers vanish for the duals of the quantum automorphism groups of full matrix algebras.
We show that the theory of Lie algebra cohomology can be recast in a topological setting and that classical results, such as the Shapiro lemma and the van Est isomorphism, carry over to this augmented context.
We introduce a refined version of group cohomology and relate it to the space of polynomials on the group in question. We show that the polynomial cohomology with trivial coefficients admits a description in terms of ordinary cohomology with polynomial coefficients, and that the degree one polynomial cohomology with trivial coefficients admits a description directly in terms of polynomials. Lastly, we give a complete description of the polynomials on a connected, simply connected nilpotent Lie group by showing that these are exactly the maps that pull back to classical polynomials via the exponential map.