Quantum Isometry Group for Spectral Triples with Real Structure

Given a spectral triple of compact type with a real structure in the sense of [Dabrowski L., J. Geom. Phys. 56 (2006), 86-107] (which is a modification of Connes' original definition to accommodate examples coming from quantum group theory) and references therein, we prove that there is always...

Full description

Saved in:

Bibliographic Details
Date:	2010
Main Author:	Goswami, D.
Format:	Article
Language:	English
Published:	Інститут математики НАН України 2010
Series:	Symmetry, Integrability and Geometry: Methods and Applications
Online Access:	http://dspace.nbuv.gov.ua/handle/123456789/146117
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Quantum Isometry Group for Spectral Triples with Real Structure / D. Goswami // Symmetry, Integrability and Geometry: Methods and Applications. — 2010. — Т. 6. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-146117
record_format	dspace
spelling	irk-123456789-1461172019-02-08T01:23:36Z Quantum Isometry Group for Spectral Triples with Real Structure Goswami, D. Given a spectral triple of compact type with a real structure in the sense of [Dabrowski L., J. Geom. Phys. 56 (2006), 86-107] (which is a modification of Connes' original definition to accommodate examples coming from quantum group theory) and references therein, we prove that there is always a universal object in the category of compact quantum group acting by orientation preserving isometries (in the sense of [Bhowmick J., Goswami D., J. Funct. Anal. 257 (2009), 2530-2572]) and also preserving the real structure of the spectral triple. This gives a natural definition of quantum isometry group in the context of real spectral triples without fixing a choice of 'volume form' as in [Bhowmick J., Goswami D., J. Funct. Anal. 257 (2009), 2530-2572]. 2010 Article Quantum Isometry Group for Spectral Triples with Real Structure / D. Goswami // Symmetry, Integrability and Geometry: Methods and Applications. — 2010. — Т. 6. — англ. 1815-0659 2010 Mathematics Subject Classification: 58B32 http://dspace.nbuv.gov.ua/handle/123456789/146117 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	English
description	Given a spectral triple of compact type with a real structure in the sense of [Dabrowski L., J. Geom. Phys. 56 (2006), 86-107] (which is a modification of Connes' original definition to accommodate examples coming from quantum group theory) and references therein, we prove that there is always a universal object in the category of compact quantum group acting by orientation preserving isometries (in the sense of [Bhowmick J., Goswami D., J. Funct. Anal. 257 (2009), 2530-2572]) and also preserving the real structure of the spectral triple. This gives a natural definition of quantum isometry group in the context of real spectral triples without fixing a choice of 'volume form' as in [Bhowmick J., Goswami D., J. Funct. Anal. 257 (2009), 2530-2572].
format	Article
author	Goswami, D.
spellingShingle	Goswami, D. Quantum Isometry Group for Spectral Triples with Real Structure Symmetry, Integrability and Geometry: Methods and Applications
author_facet	Goswami, D.
author_sort	Goswami, D.
title	Quantum Isometry Group for Spectral Triples with Real Structure
title_short	Quantum Isometry Group for Spectral Triples with Real Structure
title_full	Quantum Isometry Group for Spectral Triples with Real Structure
title_fullStr	Quantum Isometry Group for Spectral Triples with Real Structure
title_full_unstemmed	Quantum Isometry Group for Spectral Triples with Real Structure
title_sort	quantum isometry group for spectral triples with real structure
publisher	Інститут математики НАН України
publishDate	2010
url	http://dspace.nbuv.gov.ua/handle/123456789/146117
citation_txt	Quantum Isometry Group for Spectral Triples with Real Structure / D. Goswami // Symmetry, Integrability and Geometry: Methods and Applications. — 2010. — Т. 6. — англ.
series	Symmetry, Integrability and Geometry: Methods and Applications
work_keys_str_mv	AT goswamid quantumisometrygroupforspectraltripleswithrealstructure
first_indexed	2025-07-10T23:12:10Z
last_indexed	2025-07-10T23:12:10Z
_version_	1837303493000429568
fulltext	Symmetry, Integrability and Geometry: Methods and Applications SIGMA 6 (2010), 007, 7 pages Quantum Isometry Group for Spectral Triples with Real Structure? Debashish GOSWAMI Stat-Math Unit, Indian Statistical Institute, 203, B. T. Road, Kolkata 700108, India E-mail: goswamid@isical.ac.in Received November 06, 2009, in final form January 17, 2010; Published online January 20, 2010 doi:10.3842/SIGMA.2010.007 Abstract. Given a spectral triple of compact type with a real structure in the sense of [Da̧browski L., J. Geom. Phys. 56 (2006), 86–107] (which is a modification of Connes’ original definition to accommodate examples coming from quantum group theory) and refe- rences therein, we prove that there is always a universal object in the category of compact quantum group acting by orientation preserving isometries (in the sense of [Bhowmick J., Goswami D., J. Funct. Anal. 257 (2009), 2530–2572]) and also preserving the real structure of the spectral triple. This gives a natural definition of quantum isometry group in the context of real spectral triples without fixing a choice of ‘volume form’ as in [Bhowmick J., Goswami D., J. Funct. Anal. 257 (2009), 2530–2572]. Key words: quantum isometry groups, spectral triples, real structures 2010 Mathematics Subject Classification: 58B32 1 Introduction Taking motivation from the work of Wang, Banica, Bichon and others (see [16, 17, 1, 2, 3, 18] and references therein), we have embarked on a programme to formulate and study various types of ‘quantum isometry groups’ in the setting of (possibly noncommutative) Riemannian geometry. It began with our formulation of quantum isometry group based on a ‘Laplacian’ in [13], and then followed up by a formulation of ‘quantum group of orientation preserving isometries’ in [5] (see also [6, 8, 7, 4] for many explicit computations). The basic idea in all these papers is the following: first get an operator theoretic characterisation of an isometric (or orientation preserving and isometric) group action on a Riemannian manifold, then give an analogous definition of (compact) quantum group action, and finally try to see whether the category of the compact quantum groups having such action admits a universal object. However, the transition from group to quantum group action creates a crucial problem, which stems from the fact that unlike the classical group actions implemented by some unitary representation on a Hilbert space which always preserve the usual trace, a quantum group action may not do so. This problem shows up even in the context of finite dimensional algebras like Mn, and we do not in general get a universal object in the category of quantum groups mentioned before. To get rid of this problem one has to fix a suitable functional (to be interpreted as a choice of ‘volume form’) on the underlying algebra, and then look at the subcategory of the (isometric and orientation preserving) isometric quantum group actions which also preserve this given functional. It has been shown in [5] that this subcategory always has a universal object, which was called there the quantum group of orientation and volume preserving isometries. The aim of this paper is to provide an alternative to the choice of a volume form. We prove here that if the manifold (possibly noncommutative, i.e. given by a spectral triple) has a real ?This paper is a contribution to the Special Issue “Noncommutative Spaces and Fields”. The full collection is available at http://www.emis.de/journals/SIGMA/noncommutative.html mailto:goswamid@isical.ac.in http://dx.doi.org/10.3842/SIGMA.2010.007 http://www.emis.de/journals/SIGMA/noncommutative.html 2 D. Goswami structure, then one can get a universal object in the natural subcategory of compact quantum groups whose action, besides being ‘orientation-preserving’ in the sense of [5], preserves also the real structure in a suitable sense. The idea of the proof is very similar to that of [5], and we mainly sketch in the present article the arguments which are different from those of [5], but avoid repetition of those which are more or less the same. The main idea is to construct a canonical compact quantum group, which is a free product of countably infinitely many copies of the universal quantum groups of the form Au(Q) (notation as in [17]), such that any quantum group in the category under consideration can be identified with a quantum subgroup of this free product. In [5], the volume preserving property was used precisely at this step: namely to show that given any eigenvalue λ of D there is a canonical quantum group Au(Qλ), say, such that the restriction of the action of any quantum group in the above-mentioned category must factor through the canonical representation of Au(Qλ) on the eigenspace corresponding to λ. The present work relies on the crucial observation that a canonical choice (but different from those in [5]) of Au(Qλ) can also be made using the assumption of preservation of the real structure instead of the volume form for an orientation preserving isometric quantum group action. 2 Preliminaries We shall mostly use the notation and terminologies of [5], some of which we briefly recall here again. We begin by recalling the definition of compact quantum groups and their actions from [21, 20, 14]. A compact quantum group (to be abbreviated as CQG from now on) is given by a pair (S,∆), where S is a unital C∗-algebra equipped with a unital ∗-homomorphism ∆ : S → S ⊗ S (where ⊗ denotes the injective tensor product of C∗-algebras) satisfying (ai) (∆⊗ id) ◦∆ = (id⊗∆) ◦∆ (co-associativity), and (aii) each of the linear spans of ∆(S)(S ⊗ 1) and ∆(S)(1⊗ S) is norm-dense in S ⊗ S. We say that the compact quantum group (S,∆) (co)-acts on a unital C∗-algebra B, if there is a unital ∗-homomorphism (called an action) α : B → B ⊗ S satisfying the following (bi) (α⊗ id) ◦ α = (id⊗∆) ◦ α, and (bii) the linear span of α(B)(1⊗ S) is norm-dense in B ⊗ S. Definition 1. A unitary (co)representation of a compact quantum group (S,∆) on a Hilbert spa- ce H is a map U from H to the Hilbert S-module H⊗S such that the element Ũ ∈M(K(H)⊗S) given by Ũ(ξ⊗b) = U(ξ)(1⊗b) (ξ ∈ H, b ∈ S)) is a unitary satisfying (id⊗∆)Ũ = Ũ12Ũ13, where for an operator X ∈ B(H1 ⊗ H2) we have denoted by X12 and X13 the operators X ⊗ IH2 ∈ B(H1 ⊗H2 ⊗H2), and Σ23X12Σ23 respectively (Σ23 being the unitary on H1 ⊗H2 ⊗H2 which flips the two copies of H2). Given a unitary representation U we shall denote by αU the ∗-homomorphism αU (X) = Ũ(X⊗1)Ũ∗ for X ∈ B(H). For a not necessarily bounded, densely defined (in the weak operator topology) linear functional τ on B(H), we say that αU preserves τ if αU maps a suitable (weakly) dense ∗-subalgebra (say D) in the domain of τ into D ⊗alg S and (τ ⊗ id)(αU (a)) = τ(a)1S for all a ∈ D. When τ is bounded and normal, this is equivalent to (τ ⊗ id)(αU (a)) = τ(a)1S for all a ∈ B(H). We say that a (possibly unbounded) operator T on H commutes with U if T ⊗ I (with the natural domain) commutes with Ũ . Sometimes such an operator will be called U -equivariant. Let us now recall the concept of universal quantum groups as in [18, 16] and references therein. We shall use most of the terminologies of [16], e.g. Woronowicz C∗-subalgebra, Woronowicz C∗-ideal etc, however with the exception that we shall call the Woronowicz C∗-algebras just compact quantum groups, and not use the term compact quantum groups for the dual objects as done in [16]. For an n× n positive invertible matrix Q = ((Qij)), let Au(Q) be the compact Quantum Isometry Group for Spectral Triples with Real Structure 3 quantum group defined and studied in [17, 18], which is the universal C∗-algebra generated by {uQ kj , k, j = 1, . . . , n} such that u := ((ukj ≡ uQ kj)) satisfies uu∗ = In = u∗u, u′QuQ−1 = In = QuQ−1u′. (1) Here u′ = ((uji)) and u = ((u∗ij)), and also note that we have made the identification of an n× n matrix B with its trivial ampliation B ⊗ 1 in Mn(C)⊗A for any C∗-algebra A. The coproduct, say ∆̃, is given by, ∆̃(uij) = ∑ k uik⊗ukj . It may be noted that Au(Q) is the universal object in the category of compact quantum groups generated by the coefficients of a unitary representation v on Cn such that the adjoint action Adv on Mn(C) preserves the functional Mn 3 x 7→ Tr(Q′x) (see [19]), where we refer the reader to [18] for a detailed discussion on the structure and classification of such quantum groups. Given a C∗-algebra S we shall denote by J̃S the antilinear map a 7→ a∗. For any faithful state (which exists whenever S is separable) this map can be viewed as a closable unbounded antilinear map on the GNS space of the state, and the corresponding closed extension will be denoted by the same notation. We now give a definition of the real structure along the lines of [10] and [11], which is a suitable modification of Connes’ original definition (see [9]) to accommodate the examples coming from quantum groups and quantum homogeneous spaces. Definition 2. An odd spectral triple with a real structure is given by a spectral triple (A∞,H,D) along with a (possibly unbounded, invertible) closed anti-linear operator J̃ on H such that D := Dom(D) ⊆ Dom(J̃), J̃D ⊆ D, J̃ commutes with D on D, and the antilinear isometry J obtained from the polar decomposition of J̃ satisfies the usual conditions for a real structure in the sense of [11], for a suitable sign-convention given by (ε, ε′) ∈ {±1} × {±1} as described in [15, page 30], i.e. J2 = εI, JD = ε′DJ , and for all x, y ∈ A∞, the commutators [x, JyJ−1] and [JxJ−1, [D, y]] are compact operators. If the spectral triple is even, a real structure with the sign-convention given by a triplet (ε, ε′, ε′′) as in [15, page 30] is similar to a real structure in the odd case (with the sign-convention (ε, ε′)), but with the additional requirement that Jγ = ε′′γJ . We now recall from [5] the definition of quantum family of orientation preserving isometries and then appropriately adapt it to the framework of real structure. Definition 3. A quantum family of orientation preserving isometries for the spectral triple (A∞,H, D) is given by a pair (S, U) where S is a separable unital C∗-algebra and U is an C-linear map from H to the Hilbert module H ⊗ S such that the S-linear map Ũ given by Ũ(ξ ⊗ b) = U(ξ)(1⊗ b) (ξ ∈ H, b ∈ S) extends to a unitary element of M(K(H)⊗S) satisfying the following (i) Ũ commutes with D ⊗ I, and (ii) (id⊗ φ) ◦ αU (a) ∈ (A∞)′′ ∀a ∈ A∞ for every state φ on S, where αU (x) := Ũ(x⊗ 1)Ũ∗ for x ∈ B(H). In case the C∗-algebra S has a coproduct ∆ such that (S,∆) is a compact quantum group and U is a unitary representation of (S,∆) on H, we say that (S,∆) acts by orientation pre- serving isometries on the spectral triple. Given a quantum family of orientation preserving isometries (S, U) as above, note that, since D has finite dimensional eigenspaces which are preserved by U , we have UD0 ⊆ D0⊗alg S, where D0 denotes the linear span of eigenvectors of D. Definition 4. Suppose that the (odd) spectral triple (A∞,H, D) is equipped with a real struc- ture given by J̃ . We say that a quantum family of orientation preserving isometries (S, U) also preserves the real structure if the following holds on D0: (J̃ ⊗ J̃S) ◦ U = U ◦ J̃ . (2) 4 D. Goswami In case the C∗-algebra S has a coproduct ∆ such that (S,∆) is a compact quantum group and U is a unitary representation of (S,∆) on H, we say that (S,∆) acts by orientation and real structure preserving isometries on the spectral triple. Similar definitions can be given in the even case, with the additional requirement being that U commutes with γ. Given a compact quantum group Q acting on A, such that the action is implemented by a unitary representation U of the quantum group on H, it is easy to see that the notion of equivariance of the spectral triple with the real structure as proposed in [10] is equivalent to saying that (Q, U) is a quantum group acting by orientation and real structure preserving isometries in our sense. We refer the reader to [10] for related discussions and examples of such equivariant real spectral triples. As in [5], we consider the category Q ≡ Q(D) with the object-class consisting of all quan- tum families of orientation and real structure preserving isometries (S, U) of the given spectral triple, and the set of morphisms Mor((S, U), (S ′, U ′)) being the set of unital ∗-homomorphisms Φ : S → S ′ satisfying (id⊗ Φ)(U) = U ′. We also consider another category Q′ ≡ Q′(D) whose objects are triplets (S,∆, U), where (S,∆) is a compact quantum group acting by orientation and real structure preserving isometries on the given spectral triple, with U being the corre- sponding unitary representation. The morphisms are the homomorphisms of compact quantum groups which are also morphisms of the underlying quantum families of orientation preserving isometries. The forgetful functor F : Q′ → Q is clearly faithful, and we can view F (Q′) as a subcategory of Q. Our aim is to show that the above categories admit universal object, which we prove in the next section. 3 Main results and examples Let us fix a spectral triple (A∞,H, D) which is of compact type along with a real structure given by J̃ . We shall work with an odd spectral triple, but remark that all the arguments will go through almost verbatim, with some obvious and minor changes at places, in the even case. The sign-convention of the real structure is not explicitly mentioned, since it is not going to be needed anywhere, and we remark that our arguments are valid for any possible choice of the signs. The C∗-algebra generated by A∞ in B(H) will be denoted by A. Let λ0 = 0, λ1, λ2, . . . be the eigenvalues of D with Vi denoting the (di-dimensional, di < ∞) eigenspace for λi. Let {eij , j = 1, . . . , di} be an orthonormal basis of Vi. Clearly, {J̃(eij), i ≥ 0, 1 ≤ j ≤ di} is a linearly independent (but not necessarily orthogonal) set, and let Ti denote the positive nonsingular matrix ( 〈J̃(eij), J̃(eik)〉 )di j,k=1 . Let us denote the CQG Au(Ti) by Ui, with its canonical unitary representation βi on Vi ∼= Cdi , given by βi(eij) = ∑ k eik ⊗ uTi kj . Let U be the free product of Ui, i = 1, 2, . . . and β = ∗iβi be the corresponding free product representation of U on H. We shall also consider the corresponding unitary element β̃ in M(K(H)⊗ U). Lemma 1. Consider the real spectral triple (A∞,H, D, J̃) as before and let (S, U) be a quantum family of orientation and real structure preserving isometries of the given spectral triple. More- over, assume that the map U is faithful in the sense that there is no proper C∗-subalgebra S1 of S such that Ũ ∈M(K(H)⊗ S1). Then we can find a ∗-isomorphism φ : U/I → S between S and a quotient of U by a C∗-ideal I of U , such that U = (id⊗φ)◦ (id⊗ΠI)◦β, where ΠI denotes the quotient map from U to U/I. If, furthermore, there is a compact quantum group structure on S given by a coproduct ∆ such that (S,∆, U) is an object in Q′(D), the ideal I is a Woronowicz C∗-ideal and the ∗-isomorphism φ : U/I → S is a morphism of compact quantum groups. Quantum Isometry Group for Spectral Triples with Real Structure 5 Proof. We follow the line of arguments of a similar result in [5], though with suitable modifica- tions. It is clear that U maps Vi into Vi⊗S for each i. Let v (i) kj (j, k = 1, . . . , di) be the elements of S such that U(eij) = ∑ k eik ⊗ v (i) kj . Note that vi := ((v(i) kj )) is a unitary in Mdi (C) ⊗ S. Moreover, the ∗-subalgebra generated by all {v(i) kj , i ≥ 0, j, k = 1, . . . , di} must be dense in S by the assumption of faithfulness. Now, we shall make use of (2). Fix any i and let Λi = ((τlm)) be the matrix such that J̃(eij) = ∑ l τljeil. By assumption, Λi is invertible, and it is clear that Λ∗i Λi = Ti. Expanding both sides of U(J̃eij) = ∑ k J̃eik ⊗ (v(i) kj )∗ we get ∑ m eim ⊗ (∑ l τljv (i) ml ) = ∑ m eim ⊗ (∑ l τml(v (i) lj )∗ ) . (3) By comparing coefficients of eim in both sides of (3), we get ∑ l τljv (i) ml = ∑ l τml(v (i) lj )∗, that is, viΛi = Λivi. It follows that vi = Λ−1 i viΛi, hence vi is invertible, since vi is so. Moreover, taking the S-valued inner product 〈·, ·〉S on both sides of U(J̃eij) = ∑ k J̃eik ⊗ (v(i) kj )∗ we obtain Ti = v′iTivi. Thus, T−1 i v′iTi must be the (both-sided) inverse of vi, from which we see that the relations (1) are satisfied with u replaced by vi. We get, by the universality of Ui, a ∗-homomorphism from Ui to S sending u (i) kj ≡ uTi kj to v (i) kj , and by definition of the free product, this induces a ∗-homomorphism, say Π, from U onto S, so that U/I ∼= S, where I := Ker(Π). In case S has a coproduct ∆ making it into a compact quantum group and U is a quantum group representation, it is easy to see that the subalgebra of S generated by {v(i) kj , i ≥ 0, j, k = 1, . . . , di} is a Hopf algebra, with ∆(v(i) kj ) = ∑ l v (i) kl ⊗ v (i) lj . From this, it follows that Π is Hopf-algebra morphism, hence I is a Woronowicz C∗-ideal. � Remark 1. From the proof of the above result, it can be seen that the assumption of preserving the real structure implies that the ‘R-twisted volume form’ is preserved, where R is given by R\|Vi = T ′i . This connects the approach of the present article to that of [5], and in some sense gives an explanation of how the proof of the above lemma works. The rest of the arguments in [5] goes through more or less verbatim and we have the following analogue of the main result of [5]: Theorem 1. For any real (odd or even) spectral triple (A∞,H, D, J̃), the category Q of quantum families of orientation and real structure preserving isometries has a universal (initial) object, say (G̃, U0). Moreover, G̃ has a coproduct ∆0 such that (G̃,∆0) is a compact quantum group and (G̃,∆0, U0) is a universal object in the category Q′. The representation U0 is faithful. Definition 5. Let G denote the Woronowicz subalgebra of G̃ generated by elements of the form 〈ξ ⊗ 1, adU0(a)(η ⊗ 1)〉, where ξ, η ∈ H, a ∈ A∞, and where 〈·, ·〉 denotes the G̃-valued inner product of the Hilbert module H ⊗ G̃. We shall call G the quantum group of orien- tation and real structure preserving isometries of the given spectral triple, and denote it by QISO+(A∞,H, D, J̃) or even simply as QISO+ real(D). The quantum group G̃ is denoted by Q̃ISO + real(D). Remark 2. It is clear from the definition that QISO+ real(D) is a quantum subgroup of QISO+(D) whenever the later exists, since the former is the universal object in a subcategory of the category for which the latter is universal (if exists). We conclude the article with two examples. 6 D. Goswami Example 1. The standard spectral triple on the noncommutative two torus Aθ (including the commutative case, i.e. θ = 0) has a canonical real structure. The Hilbert space H is in this case L2(Aθ, τ)⊗C2 (where τ is the canonical faithful trace on Aθ) and D = ( 0 d1 + id2 d1 − id2 0 ) , J = ( 1 0 0 −1 ) , where d1, d1 denote the canonical derivations (see [9]). This spectral triple (without taking into account the real structure) has been considered in Subsection 4.3 of [5], where we have proved that the quantum group orientation preserving isometries exists and coincides with the classical group of such isometries, i.e. C(T2). Since it can easily be seen that this C(T2) action also preserves the real structure, it follows from Remark 2 that QISO+ real(D) must be C(T2). Example 2. This is an example involving a quantum group action with nontrivial modularity. Consider the spectral triple on the Podles sphere S2 µc constructed in [12]. Note that in [12], a real structure has also been constructed and the spectral triple as well as the real structure are shown to be equivariant in the sense of [10] with respect to the canonical action of SOµ(3). Thus, QISO+ real(D) for this spectral triple has SOµ(3) as a quantum subgroup, and then it follows from Theorem 3.39 of [8] that QISO+ real(D) must coincide with SOµ(3). Acknowledgements The author acknowledges the support from Indian National Science Academy for the project ‘Noncommutative Geometry and Quantum Groups’ and UKIERI, British Council. References [1] Banica T., Quantum automorphism groups of small metric spaces, Pacific J. Math. 219 (2005), 27–51, math.QA/0304025. [2] Banica T., Quantum automorphism groups of homogeneous graphs, J. Funct. Anal. 224 (2005), 243–280, math.QA/0311402. [3] Bichon J., Quantum automorphism groups of finite graphs, Proc. Amer. Math. Soc. 131 (2003), 665–673, math.QA/9902029. [4] Bhowmick J., Quantum isometry group of the n-tori, Proc. Amer. Math. Soc. 137 (2009), 3155–3161, arXiv:0803.4434. [5] Bhowmick J., Goswami D., Quantum group of orientation-preserving Riemannian isometries, J. Funct. Anal. 257 (2009), 2530–2572, arXiv:0806.3687. [6] Bhowmick J., Goswami D., Skalski A., Quantum isometry groups of 0-dimensional manifolds, Trans. Amer. Math. Soc., to appear, arXiv:0807.4288. [7] Bhowmick J., Goswami D., Quantum isometry groups: examples and computations, Comm. Math. Phys. 285 (2009), 421–444, arXiv:0707.2648. [8] Bhowmick J., Goswami D., Quantum isometry groups of the Podles sphere, arXiv:0810.0658. [9] Connes A., Noncommutative geometry, Academic Press, Inc., San Diego, CA, 1994. [10] Da̧browski L., Geometry of quantum spheres, J. Geom. Phys. 56 (2006), 86–107, math.QA/0501240. [11] Da̧browski L., Landi G., Paschke M., Sitarz A., The spectral geometry of the equatorial Podleś sphere, C. R. Math. Acad. Sci. Paris 340 (2005), 819–822, math.QA/0408034. [12] Da̧browski L., D’Andrea F., Landi G., Wagner E., Dirac operators on all Podleś quantum spheres, J. Non- commut. Geom. 1 (2007), 213–239, math.QA/0606480. [13] Goswami D., Quantum group of isometries in classical and noncommutative geometry, Comm. Math. Phys. 285 (2009), 141–160, arXiv:0704.0041. [14] Maes A., Van Daele A., Notes on compact quantum groups, Nieuw Arch. Wisk. (4) 16 (1998), 73–112, math.FA/9803122. http://dx.doi.org/10.2140/pjm.2005.219.27 http://arxiv.org/abs/math.QA/0304025 http://dx.doi.org/10.1016/j.jfa.2004.11.002 http://arxiv.org/abs/math.QA/0311402 http://dx.doi.org/10.1090/S0002-9939-02-06798-9 http://arxiv.org/abs/math.QA/9902029 http://dx.doi.org/10.1090/S0002-9939-09-09908-0 http://arxiv.org/abs/0803.4434 http://dx.doi.org/10.1016/j.jfa.2009.07.006 http://arxiv.org/abs/0806.3687 http://arxiv.org/abs/0807.4288 http://dx.doi.org/10.1007/s00220-008-0611-5 http://arxiv.org/abs/0707.2648 http://arxiv.org/abs/0810.0658 http://dx.doi.org/10.1016/j.geomphys.2005.04.003 http://arxiv.org/abs/math.QA/0501240 http://dx.doi.org/10.1016/j.crma.2005.04.003 http://arxiv.org/abs/math.QA/0408034 http://arxiv.org/abs/math.QA/0606480 http://dx.doi.org/10.1007/s00220-008-0461-1 http://arxiv.org/abs/0704.0041 http://arxiv.org/abs/math.FA/9803122 Quantum Isometry Group for Spectral Triples with Real Structure 7 [15] Varilly J.C., An introduction to noncommutative geometry, EMS Series of Lectures in Mathematics, Euro- pean Mathematical Society (EMS), Zürich, 2006. [16] Wang S., Free products of compact quantum groups, Comm. Math. Phys. 167 (1995), 671–692. [17] Wang S., Quantum symmetry groups of finite spaces, Comm. Math. Phys. 195 (1998), 195–211, math.OA/9807091. [18] Wang S., Structure and isomorphism classification of compact quantum groups Au(Q) and Bu(Q), J. Ope- rator Theory 48 (2002), 573–583, math.OA/9807095. [19] Wang S., Ergodic actions of universal quantum groups on operator algebras, Comm. Math. Phys. 203 (1999), 481–498, math.OA/9807093. [20] Woronowicz S.L., Compact matrix pseudogroups, Comm. Math. Phys. 111 (1987), 613–665. [21] Woronowicz S.L., Compact quantum groups, in Symétries Quantiques (Les Houches, 1995), Editors A. Connes et al., North-Holland, Amsterdam, 1998, 845–884. http://dx.doi.org/10.1007/BF02101540 http://dx.doi.org/10.1007/s002200050385 http://arxiv.org/abs/math.OA/9807091 http://arxiv.org/abs/math.OA/9807095 http://dx.doi.org/10.1007/s002200050622 http://arxiv.org/abs/math.OA/9807093 http://dx.doi.org/10.1007/BF01219077 1 Introduction 2 Preliminaries 3 Main results and examples References

Quantum Isometry Group for Spectral Triples with Real Structure

Institution

Similar Items