Arxiv:1803.03027V2 [Math.OA] 14 Mar 2020 Pc Ftepdesshr Nqeto.Floigtepormo Rie of Program the Following Topo the Question

arXiv:1803.03027v2 [math.OA] 14 Mar 2020 pc ftePdesshr nqeto.Floigtepormo Rie of program the Following topo the question. understand in Podle´s to sphere the is of investigation space this of aspect important An in fa2shr teto a engvnt h interpretation the [ to geometry, given differential noncommutative been of has framework attention the within 2-sphere a of group tions Lie Woronow the for of spaces versions homogeneous as interpreted and introduced ntewr fPdesatoprmtrfml fdfrain fth of deformations of family parameter two Podle´s a of work the In e od n phrases. and words Key 2010 space metric spectral a as Podle´sReferences sphere The results main of 8. Proofs integral horizontal quantum 7.3. The integral vertical quantum 7.2. The integral fibers quantum 7.1. the The of subspaces bounded 7. Totally units matrix of 6. functions Derivatives indicator for relations 5.2. Commmutator units matrix Podle´s sphere of 5.1. standard Derivatives the for units 5. Matrix 4. The spaces operators metric 3. unbounded Spectral from seminorms and spaces2.2. Derivations metric spectral on 2.1. Preliminaries 2. Acknowledgements .Introduction 1. H PODLE THE ahmtc ujc Classification. Subject Mathematics Abstract. h eleuvratseta rpeivsiae yDa by investigated triple spectral equivariant real the prtrpoie h ol´ peewt h tutr facom a Rieffel. of of structure sense the the in wit with space commutators Podle´s sphere metric from the coming Dirac seminorm provides the the to Pooperator that isospectral standard show not We the therefore interprets 2-sphere. is triple and spectral space this 0-dimensional of operator Dirac hc sahmgnossaefrquantum for space homogeneous a is which q dfre pcrltil ntePodle´s sphere the on triple spectral -deformed esuyteseta ercapcso h tnadPodle´s sp standard the of aspects metric spectral the study We PEEA PCRLMTI SPACE METRIC SPECTRAL A AS SPHERE S ´ unu ercsae,LpNrs ol´ pee pcrltr spectral Podle´s sphere, Lip-Norms, spaces, metric Quantum ORDAULRADJN KAAD JENS AND AGUILAR KONRAD SU 2,[ (2), 1. 12 Introduction Contents , 58B32,58B34;46L89,46L30. 21 .SneteePdesshrsaedeforma- are Podle´s spheres these Since ]. 1 SU 2.Tepito eatr is departure of point The (2). ֒ rwk n iaz The Sitarz. and browski l´ peea a as dle´s sphere prtro the on operator c’qatmgroup quantum icz’ atquantum pact 6 , hsDirac this h oyo h state the on logy 5 fteeobjects these of e ncompact on ffel , 10 -peeis 2-sphere e , here, 19 , iples. 13 , 8 23 22 21 19 17 16 13 11 10 ]. 3 3 1 8 7 5 4 3 2 KONRADAGUILARANDJENSKAAD quantum metric spaces, candidates for metrics on the state space come from seminorms on Podle´ssphere and the question is whether the topology on the state space coming from this kind of metrics agrees with the weak -topology, [14]. Interesting examples of seminorms arise from commutators with an∗ unbounded operator acting on a Hilbert space and this is what constitutes the link between Rieffel’s ideas and Connes’ program on noncommutative differential geometry, [4, 3]. Indeed, the unbounded operator in question might very well be the unbounded operator of a spectral triple, [2, 3], see also [1] where this kind of compact quantum metric spaces are called spectral metric spaces. We are in this paper investigating the seminorm coming from a particular spectral 2 triple over the standard Podle´ssphere Sq . This spectral triple was analyzed in detail by Da֒browski and Sitarz and it has the property of being real and equivariant with respect to the coaction of quantum SU(2), [6]. The unbounded operator appearing in this spectral triple does not have the same spectrum as the Dirac operator on the 2-sphere, indeed the corresponding spectral dimension of the standard Podle´ssphere is 0. In some sense this is the correct spectral dimension since the standard Podle´s sphere (for q (0, 1)) is isomorphic to the unitization of the compact operators on a separable Hilbert∈ space.

Our main result is that the seminorm L coming from the Da֒browski-Sitarz spectral triple over the standard Podle´ssphere provides a metric on the state space and that 2 this metrizes the weak -topology. In other words, we prove that (Sq , L) is a compact quantum metric space∗ in the sense of Rieffel. We emphasize that there are plenty of 2 explicit seminorms on Sq that yields the right topology on the state space, indeed since we are just working with the unitization of the compacts, it suffices to ensure that the elements in the corresponding unit ball are of sufficiently rapid decay. An important point is that our seminorm comes from a particular unbounded operator, which is interesting from the point of view of noncommutative differential geometry. A natural question to address in the future is whether the standard Podle´sspheres converge to the 2-sphere in the quantum Gromov-Hausdorff propinquity as introduced by Latrémolière, [9]. Our work is a necessary first step in this direction. The convergence question for the standard Podle´sspheres is complementary to Ri- effel’s work on matrix algebras converging to the 2-sphere, [16, 18]. Indeed, the fuzzy spheres also form a family of Podle´sspheres but for a different deformation parameter. We end this introduction by giving a few comments on our methods. The approach that we are following is motivated by the geometry of the classical 2-sphere. The circle action given by rotation of the 2-sphere around the axis from the south pole to the north pole survives under the q-deformation. The corresponding fixed point ∗ 2 algebra is a commutative unital C -subalgebra of Sq and it is given by the continuous functions on the subspace q2k k N 0 0 C, which one may naturally think of as a quantized version{ | of the∈ unit∪{ interval}}∪{ } [0 ⊆, 1]. In the classical case, thus when q = 1, the fiber over each point t [0, 1] is the unit circle except at 0 and 1 where the fiber reduces to a single point.∈ This picture can also be transferred to the q-deformed case, but the fiber over each point is now (due to the discrete nature of the base space) a separable Hilbert space. Interestingly enough, the singularity at t = 1 in the classical case blows up and we also see an infinite dimensional Hilbert space as the fiber over the point q0 = 1. THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 3

Our approach consists of analyzing each of these ﬁbers separately, paying particular attention to the interplay between the Hilbert space norm and the seminorm L. In order to then conclude anything about the behaviour of the whole standard Podle´ssphere we prove a version of the fundamental theorem of analysis for the derivation dq = [Dq, ] coming from the Da֒browski-Sitarz spectral triple. To explain · 2 C what we mean by this, we let ψ∞ : Sq denote the state which projects onto the subspace generated by the unit. We→ then construct a bounded operator

: X S2 → q Z (on a suitable operator space X) such that

d (x)= x ψ (x) 1 2 q − ∞ · Sq Z for all elements x in the Lipschitz algebra associated to the Da֒browski-Sitarz spectral triple. Remark that, as a byproduct of our results, we obtain a metric on each of the quantized unit intervals q2k k N 0 , q (0, 1), and it would be interesting to compute this metric explicitly.{ | ∈ ∪{ }} ∈

Acknowledgements. We gratefully acknowledge the Syddansk Universitet Odense, Arizona State University, and the Institute of Mathematics of the Polish Academy of Sciences (IMPAN) for facilitating this collaboration. Both authors were partially sponsored by the grant H2020-MSCA-RISE-2015-691246-QUANTUM DYNAMICS and Polish Ministry of Science and Higher Education grant Polish Government grant #3542/H2020/2016/2 during their visit at IMPAN in January 2018. This project was initiated during the Great Plains Operator Theory Symposium (GPOTS) at the Texas Christian University in May 2017. The second author was partially supported by the DFF-Research Project 2 “Au- tomorphisms and Invariants of Operator Algebras”, no. 7014-00145B and by the Villum Foundation (grant 7423).

2. Preliminaries on spectral metric spaces 2.1. Derivations and seminorms from unbounded operators. Throughout this subsection we fix a densely defined unbounded selfadjoint operator D : Dom(D) H acting on a separable Hilbert space H, together with a C∗-algebra A represented→ on H via a -homomorphism π : A L(H). Usually π will be faithful but this is not a requirement∗ in the following. Both→ the norm on A and on H will be denoted by , but the operator norm will be denoted by . k·k k·k∞ Definition 2.1. The Lipschitz algebra (associated to (π, D)) is the -subalgebra Lip (A) A defined by ∗ D ⊆ Lip (A) := x A π(x) Dom(D) Dom(D) , [D, π(x)] : Dom(D) H D ∈ | ⊆ → has a bounded extension to H .

For x LipD(A) we denote the bounded extension of [D, π(x)] : Dom(D) H by d(x) ∈L(H). → ∈ 4 KONRADAGUILARANDJENSKAAD

L We remark that the assignment d : LipD(A) (H) is a closed derivation, satisfying the relation → d(x∗)= d(x)∗ x Lip (A). − ∈ D Deﬁnition 2.2. Deﬁne L : A [0, ] by the formula D → ∞ ∗ LD(x) := sup ξ, π(x )Dη π(x)Dξ,η ξ,η∈Dom(D) , kξk,kηk=1 h i−h i

We record the following fundamental result, which is nonetheless a b it diﬃcult to ﬁnd anywhere: Lemma 2.3. Let x A. We have that ∈ L (x) < x Lip (A) . D ∞ ⇔ ∈ D In this case L (x)= d(x) . (2.1) D k k∞ Proof. Suppose that x Lip (A). Then we have that ∈ D ∗ LD(x) = sup ξ, π(x )Dη π(x)Dξ,η ξ,η∈Dom(D) , kξk,kηk=1 h i−h i

= sup [D, π(x)]ξ, η ξ,η∈Dom(D) , kξk,kηk=1

= d(x) ∞, k k proving the implication “ ” and the identity in Equation (2.1). Suppose that L (x) < ⇐. For each ξ, η Dom(D), deﬁne the complex number D ∞ ∈ ϕ (x) := ξ, π(x∗)Dη π(x)Dξ,η . ξ,η h i−h i Remark that ϕ (x) L (x) ξ η . We thus have that | ξ,η | ≤ D ·k k·k k π(x)ξ,Dη = ϕ (x)+ π(x)Dξ,η L (x) ξ η + x Dξ η , h i ξ,η h i ≤ D ·k k·k k k k·k k·k k ∗ for all ξ, η Dom( D ). But this implies that π(x)ξ Dom(D ) for all ξ Dom(D) and hence∈ by selfadjointness of D that π (x) Dom(D∈) Dom(D). The∈ rest of the proof should now be clear. ⊆ The following result is immediate:

Lemma 2.4. The assignment LD : A [0, ] is lower semi-continuous and defines a seminorm on Lip (A). Moreover, L→is ∞-invariant and Leibniz in the sense that: D D ∗ L (x∗)= L (x) and L (xy) L (x) y + x L (y) D D D ≤ D ·k k k k· D for all x, y A. ∈ 2.2. Spectral metric spaces. We recall the main definition in the theory of compact quantum metric spaces: Definition 2.5 ([14, 15, 17]). Let A be a unital C∗-algebra and let L : A [0, ] be a seminorm. We call the pair (A, L) a compact quantum metric space→and L∞a Lip-norm if the following hold: (1) the domain, dom(L) := a A L(a) < is dense in A, (2) L is -invariant and lower{ semi-continuous∈ | ∞} on A, (3) the kernel∗ kerL := a A L(a)=0 = C1 , where 1 is the unit of A, { ∈ | } A A THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 5

(4) the Monge-Kantorovich metric defined on the state space of A by mk (µ, ν) := sup µ(a) ν(a) a A, L(a) 1 for all µ, ν S(A) L {| − || ∈ ≤ } ∈ metrizes the weak -topology. ∗ If furthermore L is a Leibniz seminorm, i.e. for any a, b A, we have ∈ L(ab) L(a) b + a L(b), ≤ ·k k k k· then we call (A, L) a Leibniz compact quantum metric space and L a Leibniz Lip- norm. The usual way of proving that a pair (A, L) consisting of a unital C∗-algebra and a seminorm is a compact quantum metric space is by applying the following theorem due to Rieffel: Theorem 2.6 ([14, Theorem 1.8 and Theorem 1.9], [11, Proposition 1.3]). Let A be a unital C∗-algebra and let L : A [0, ] be a lower semi-continuous -invariant seminorm. → ∞ ∗ If dom(L) is dense in A, and kerL = C1A, then the following conditions are equivalent: (1) the pair (A, L) is a compact quantum metric space; (2) there exists a state µ S(A) such that the set: ∈ a dom(L) L(a) 1 and µ(a)=0 { ∈ | ≤ } is totally bounded for the C∗-norm on A. Building on Connes’ initial work on metrics on state spaces coming from spectral triples [2, 3], Bellissard, Marcolli, and Reihani formalized the notion of a compact spectral metric space in [1]. We recall their definition here in a version adapted to the context of the present paper. Definition 2.7 ([1, Definition 1]). Let ( ,H,D) be a spectral triple for a unital C∗- algebra A and assume that the representationA π : A L(H) is unital and faithful. → If (A, LD) is a compact quantum metric space we call it a compact spectral metric space. Remark that when the seminorm L : A [0, ] comes from a unital spectral D → ∞ triple (as in the above definition) it is automatic that LD is -invariant, Leibniz and lower-semicontinuous, see Subsection 2.1. It can also easily∗ be seen that C 1 · A ⊆ kerLD. Thus, in order for (A, LD) to be a compact spectral metric space all that remains to check is the condition C 1 kerL and (2) of Theorem 2.6. · A ⊇ D 3. The q-deformed spectral triple on the Podle´s sphere

-In this section we introduce the Da֒browski-Sitarz spectral triple on the stan dard Podle´ssphere. We are following the conventions for quantum SU(2) and the standard Podle´ssphere applied by Da֒browski-Sitarz in [6]. However, our approach follows the approach taken by Neshveyev and Tuset where the relationship between the Dirac operator and the quantized universal enveloping algebra is clariﬁed, [10]. ∗ We ﬁx q (0, 1). We let SUq(2) denote the universal unital C -algebra with two generators a∈and b, subject to the relations: ba = qab b∗a = qab∗ bb∗ = b∗b a∗a + q2bb∗ =1= aa∗ + bb∗. 6 KONRADAGUILARANDJENSKAAD

The unital -subalgebra generated by a, b SUq(2) is denoted by (SUq(2)). We let ∂ ∗: (SU (2)) (SU (2)) denote∈ the automorphism deﬁnedO by k O q → O q 1/2 1/2 ∂k(a)= q a ∂k(b)= q b ∗ −1/2 ∗ ∗ −1/2 ∗ ∂k(a )= q a ∂k(b )= q b .

The inverse automorphism is denoted by ∂k−1 : (SUq(2)) (SUq(2)). Moreover, we have the linear maps O → O ∂ , ∂ : (SU (2)) (SU (2)) e f O q → O q deﬁned by ∂ (a)= b∗ ∂ (b)= q−1 a∗ ∂ (a∗)=0= ∂ (b∗) e − e · e e ∂ (a∗)= qb ∂ (b∗)= a ∂ (a)=0= ∂ (b)=0 f f − f f and the relations:

∂ (x y)= ∂ (x) ∂ (y)+ ∂ −1 (x) ∂ (y) e · e · k k · e ∂ (x y)= ∂ (x) ∂ (y)+ ∂ −1 (x) ∂ (y), f · f · k k · f for all x, y (SUq(2)). We let ∈(S O2) denote the unital -subalgebra of SU (2) generated by the elements O q ∗ q A := b∗b and B := ab∗ SU (2) ∈ q We record the relations: AB = q2BA A = A∗ BB∗ = q−2A(1 A) B∗B = A(1 q2A). − − ∗ 2 The standard Podle´squantum sphere is the unital C -algebra Sq obtained as the 2 norm-closure of (Sq ) inside SUq(2). OZ ∗ 2 2 For each n , we let Xn denote the C -correspondence from Sq to Sq deﬁned as the norm-closure∈ of := x (SU (2)) ∂ (x)= qn/2x An ∈ O q | k ∗ inside SUq(2), the inner product being given by x, x := x x for all x n. We 2 h i ∈ A remark that 0 = (Sq ). A O 1/2 2 −1/2 2 The derivations ∂1 := q ∂e : (Sq ) X−2 and ∂2 := q ∂f : (Sq ) X2 are then given on generators by O → O → ∂ (A)= b∗a∗ ∂ (B)= (b∗)2 ∂ (B∗)= q−1(a∗)2 1 1 1 (3.1) ∂ (A)= ab ∂ (B)= −q−1a2 ∂ (B∗)= b2. 2 − 2 − 2 We remark that these two derivations ∂1 and ∂2 are closable and related by the formula ∂ (x)∗ = ∂ (x∗) x (S2). 1 − 2 ∈ O q We let h : SU (2) C denote the Haar state and deﬁne the Hilbert spaces H as q → h the completion of SUq(2) with respect to the inner product x, y := h(x∗y) x, y SU (2). h i ∈ q We let H and H H denote the Hilbert spaces obtained as the closures of + − ⊆ h 1 and −1, respectively. For details on the Haar state (and quantum SU(2) in general)A A see [7]. THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 7

We deﬁne the symmetric unbounded operator

0 ∂f Dq := : 1 −1 H+ H−, ∂e 0 A ⊕A → ⊕ and we let Dq : Dom(Dq) H+ H− denote the closure of Dq. The left action of 2 → ⊕ (Sq )= 0 on 1 −1 induced by the multiplication in (SUq(2)) then yields a Ofaithful representationA A ⊕A O

π+ 0 2 π = : Sq H+ H−. 0 π− → ⊕ The following result is from [6] (in fact in [6] also the uniqueness, reality and equivariance are addressed):

2 Theorem 3.1 (Da֒browski-Sitarz). The triple (Sq ),H+ H−,Dq is an even spectral triple. O ⊕ We let Lip (S2) S2 denote the Lipschitz algebra associated to the Dirac op- Dq q ⊆ q erator D : Dom(D ) H H and record the formula q q → + ⊕ − 0 ∂2(x) 2 dq(x)= x (Sq ) ∂1(x) 0 ∈ O for the associated derivation. In particular we obtain extensions of ∂1 and ∂2 to the 2 Lipschitz algebra LipDq (Sq ). These two extensions are again denoted by ∂1 and ∂2: ∂ : Lip (S2) L(H ,H ) ∂ : Lip (S2) L(H ,H ). 1 Dq q → + − 2 Dq q → − + ∗ We do not know whether the images of ∂1 and ∂2 are contained in the C -algebra SU (2) even though this holds for their restrictions to the coordinate algebra (S2). q O q 4. Matrix units for the standard Podle´s sphere We ﬁx q (0, 1). In this section we discuss the well-known result that the ∗ ∈ 2 unital C -algebra Sq is isomorphic to the unitization of the compact operators on a separable Hilbert space, see [12, Proposition 4]: Proposition 4.1 (Podle´s). The standard Podle´ssphere S2 is -isomorphic to the q ∗ unitization of the compact operators on the separable Hilbert space ℓ2(N 0 ) via the unital representation ∪{ } π : S2 L(ℓ2(N 0 )) π(A)(e ) := q2ke , π(B)(e )= qk 1 q2(k+1)e , q → ∪{ } k k k − k+1 where e ∞ denotes the standard orthonormal basis for ℓ2(N p0 ). { k}k=0 ∪{ } For later use, we record that π(B∗)(e )= qk−1 1 q2ke k > 0 , π(B∗)(e )=0. k − k−1 0 We notice that the spectrump of the positive element A S2 is given by ∈ q Sp(A)= 0 q2k k N 0 . { }∪{ | ∈ ∪{ }} N For k 0 , we let χ{q2k} : Sp(A) 0, 1 denote the indicator function for the ∈ 2k∪{ } →{ } subset q Sp(A). Remark that χ 2k is in fact continuous. { } ⊆ {q } 8 KONRADAGUILARANDJENSKAAD

We apply the concrete representation from Proposition 4.1 to find explicit matrix 2 N units fn,k Sq , n, k 0 . These matrix units will play an important role in the following∈ sections.∈ ∪{ } For each n, k N 0 , we define the constants ∈ ∪{ } k−1 q2j(1 q2(j+1)) for 0 nk  j=k − and then the elements  Q 1 n−k B χ{q2k}(A) for n k √Cn,k · ≥ fn,k := 1 ∗ k−n (4.2)  (B ) χ{q2k}(A) for n 0, 1,...,k 1  √Cn,k · ∈{ − } 2 in Sq . These elements are the matrix units for the standard Podle´ssphere: Lemma 4.2. We have the relations f for k = m f ∗ = f f f = n,l n,k k,n n,k · m,l 0 for k = m 6 for all n,k,m,l N 0 . ∈ ∪{ } Proof. Let n, k N 0 . By Proposition 4.1 it suffices to show that ∈ ∪{ } e for k = l π(f )(e )= n . n,k l 0 for k = l 6 The case where k = l is immediate. For k = l and n>k, we compute that 6 n−1 1 n−k 1 j 2(j+1) π(fn,k)(ek)= π(B )(ek)= q 1 q en = en. Cn,k Cn,k · − · Yj=k p Similarly, for k = l pand n

5. Derivatives of matrix units We are interested in computing the value of the derivation ∂ : Lip (S2) L(H ,H ) 1 Dq q → + − 2 N when applied to the matrix units fn,k Sq , n, k 0 . We start out softly ∈ N ∈ ∪{ } by showing that the projections χ{q2k}(A), k 0 , lie in the Lipschitz alge- 2 ∈ ∪{ } bra LipDq (Sq ) and we compute the value of the derivation ∂1 on these particular elements. We record the commutation relations: b∗B = qBb∗ a∗B∗ = qB∗a∗ (5.1) a∗A = q2Aa∗ b∗A = Ab∗, which follow directly from the deﬁning relations for SUq(2). THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 9

Lemma 5.1. It holds for each n N 0 that ∈ ∪{ } 1 q2n 1 q2n ∂ (An)= − An−1b∗a∗ ∂ (Bn)= − Bn−1(b∗)2 1 1 q2 1 − 1 q2 − − 1 q2n ∂ ((B∗)n)= q−1 − (B∗)n−1(a∗)2. 1 1 q2 − Proof. This follows from the Leibniz rule for

∂ : Lip (S2) L(H ,H ), 1 Dq q → + −

∗ ∗ ∗ 2 the relations in Equation (5.1) and the fact that ∂1(A)= b a , ∂1(B)= (b ) and ∗ −1 ∗ 2 − ∂1(B )= q (a ) (see Equation (3.1)).

Lemma 5.2. Let k N 0 . Then ∈ ∪{ }

k 1 n 1 χ{q2k}(A) = lim A χ{q2(k−j)}(A) , n→∞ q2kn − q2jn j=1 X

2 where the convergence takes place in the norm on Sq .

Proof. This is true since Sp(A)= 0 q2k k N 0 . { }∪{ | ∈ ∪{ }}

We now present our formula for the derivatives of indicator functions associated to the isolated points in the spectrum of A:

2 N 2k Lemma 5.3. Let k 0 . It holds that χ{q }(A) LipDq (Sq ) and the derivative is given by ∈ ∪{ } ∈

1 ∗ ∗ ∂ χ 2k (A) = χ 2k (A) b a 1 {q } q2k(1 q2) {q } · − 1 ∗ ∗ χ 2(k−1) (A) b a . − q2(k−1)(1 q2) {q } · − Proof. The proof runs by strong induction on k N 0 . For each n N: ∈ ∪{ } ∈ 1 q2n ∂ (An)= − An−1b∗a∗, 1 1 q2 − 1 ∗ ∗ which converges to 1−q2 χ{1}(A) b a by Lemma 5.2. By taking adjoints and n · · n ∗ n using the relation ∂2(A ) = ∂1(A ) we also obtain that ∂2(A ) converges to 1 ab χ (A). Using that− the derivation d : Lip (S2) L(H H ) is − 1−q2 · · {1} q Dq q → + ⊕ − closed, this proves the statement for k = 0. 10 KONRADAGUILARANDJENSKAAD

Now, let k N and suppose that our statement is true for all j 0, 1,...,k 1 . For each n ∈2 we then compute that ∈{ − } ≥ k 1 n 1 ∂ A χ 2(k−j) (A) 1 q2kn − q2jn {q } j=1 ! X 2n k 1 1 q n−1 ∗ ∗ 1 1 ∗ ∗ = − A b a χ 2(k−j) (A) b a q2kn · 1 q2 · − q2jn q2(k−j)(1 q2) {q } · j=1 − X − k 1 ∗ ∗ χ 2(k−j−1) (A) b a − q2(k−j−1)(1 q2) {q } · j=1 X − k 1 1 n−1 1 ∗ ∗ = A χ 2(k−j) (A) b a q2k(1 q2) q2k(n−1) − q2j(n−1) {q } · j=1 − X k−1 1 1 n−1 1 ∗ ∗ A χ 2(k−j−1) (A) b a , − q2(k−1)(1 q2) q2(k−1)(n−1) − q2j(n−1) {q } · j=1 − X which, again by Lemma 5.2, converges to

1 ∗ ∗ 1 ∗ ∗ χ 2k (A) b a χ 2(k−1) (A) b a . q2k(1 q2) {q } · − q2(k−1)(1 q2) {q } · − − By taking adjoints we then obtain that k 1 n 1 ∂ A χ 2(k−j) (A) 2 q2kn − q2jn {q } j=1 ! X converges to 1 1 ab χ 2(k−1) (A) ab χ 2k (A). q2(k−1)(1 q2) · {q } − q2k(1 q2) · {q } − − 2 L Using again that the derivation dq : LipDq (Sq ) (H+ H−) is closed, this proves the lemma. → ⊕

5.1. Commmutator relations for indicator functions. Before continuing with our computation of the derivation ∂ : Lip (S2) L(H ,H ), 1 Dq q → + − we need to understand the relationship between the spectral projections χ{q2k}(A), k N 0 , and the element a∗ SU (2). ∈ ∪{ } ∈ q Lemma 5.4. Let k N 0 . It holds that ∈ ∪{ } ∗ ∗ χ 2k (A) a = a χ 2(k+1) (A). {q } · · {q } ∗ ∗ Proof. First, consider k = 0. Notice that a χ{1}(A) = 0 since aa = 1 A. We gather for all n N that − ∈ An An χ (A) An χ (A) Ana∗ = a∗ = a∗ a∗ {1} = a∗( {1} ). q2n q2n − q2n q2n − q2n THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 11

n An χ{1}(A) Since χ{1}(A) = limn→∞ A and χ{q2}(A) = limn→∞( q2n q2n ), by Lemma 5.2, ∗ ∗ − we have that χ{1}(A)a = a χ{q2}(A). Next, ﬁx k N and assume the statement of the lemma is true for all 0 m k. We gather for∈ all n N that ≤ ≤ ∈ k+1 1 n 1 ∗ A χ 2(k+1−j) (A) a q2(k+1)n − q2jn {q } j=1 ! X k+1 ∗ 1 n 1 = a A χ 2(k+2−j) (A) q2(k+2)n − q2jn {q } j=1 ! X k+1 ∗ 1 n 1 ∗ 1 = a A χ 2(k+2−j) (A) a χ (A) q2(k+2)n − q2jn {q } − q2(k+2)n {1} j=1 ! X k+2 ∗ 1 n 1 = a A χ 2(k+2−j) (A) , q2(k+2)n − q2jn {q } j=1 ! X and thus taking limits, using Lemma 5.2, we have proved the result by strong induction.

5.2. Derivatives of matrix units. We are now ready to compute the value of the derivation ∂ : Lip (S2) L(H ,H ) 1 Dq q → + − 2 N when applied to the matrix units fn,k Sq , n, k 0 , see Equation (4.2) for the deﬁnition. We start by computing these∈ values without∈ ∪{ } considering the normalizing constants C (0, ). n,k ∈ ∞ Lemma 5.5. Let k N 0 . We have the identity ∈ ∪{ } 2 n (1 q ) ∂ B χ 2k (A) − · 1 {q } n−1 −2(k+1) 2n −2k ∗ 2 = B (q 1) χ 2(k+1) (A)+(q q ) χ 2k (A) (b ) · − · {q } − · {q } · (5.2) for all n 1 and the identity ≥ 2 ∗ n (1 q ) ∂ (B ) χ 2k (A) − · 1 {q } ∗ n+1 −4k−2 2(n+1−2k) ∗ 2 (5.3) =(B ) q χ 2(k+1) (A) q χ 2k (A) (b ) · · {q } − · {q } · for all n 0,...,k . ∈{ } Proof. We start by taking care of the case where n = 0 in Equation (5.3). It follows from Lemma 5.3 and Lemma 5.4 that 2 −2k ∗ ∗ −2(k−1) ∗ ∗ (1 q ) ∂ (χ 2k (A)) = q b a χ 2(k+1) (A) q b a χ 2k (A) − · 1 {q } {q } − {q } −2k ∗ ∗ −2(k+1) −2(k−1) ∗ ∗ −2k = q b a (q Aχ 2(k+1) (A)) q b a (q Aχ 2k (A)) (5.4) {q } − {q } −4k−2 ∗ ∗ 2 −4k+2 ∗ ∗ 2 = q B χ 2(k+1) (A)(b ) q B χ 2k (A)(b ) . {q } − {q } 12 KONRADAGUILARANDJENSKAAD

We continue by considering Equation (5.2). For n 1, we apply Equation (5.4) together with Lemma 5.1 to compute that ≥ 2 n (1 q ) ∂ (B χ 2k (A)) − · 1 {q } 2n n−1 ∗ 2 −2(k+1) 2(k+1) n−1 ∗ 2 = (1 q ) B χ 2k (A)(b ) + q (1 q )B χ 2(k+1) (A)(b ) − − · {q } − {q } −2k 2k n−1 ∗ 2 q (1 q )B χ 2k (A)(b ) − − {q } 2n −2k n−1 ∗ 2 −2(k+1) n−1 ∗ 2 =(q q )B χ 2k (A)(b ) +(q 1)B χ 2(k+1) (A)(b ) . − {q } − {q } Finally, we study the remaining part of Equation (5.3). For n 1,...,k , we again apply Equation (5.4) and Lemma 5.1 to obtain that ∈ { } 2 ∗ n (1 q ) ∂ ((B ) χ 2k (A)) − · 1 {q } −1 2n ∗ n−1 ∗ 2 −4k−2 ∗ n+1 ∗ 2 = q (1 q ) (B ) (a ) χ 2k (A)+ q (B ) χ 2(k+1) (A)(b ) − · {q } {q } −4k+2 ∗ n+1 ∗ 2 q (B ) χ 2k (A)(b ) − {q } −4k+2+2n ∗ n+1 ∗ 2 −4k−2 ∗ n+1 ∗ 2 = q (B ) χ 2k (A)(b ) + q (B ) χ 2(k+1) (A)(b ) , − {q } {q } ∗ 2 −4k+3 ∗ 2 ∗ 2 where we have also used that (a ) χ{q2k}(A) = q (B ) χ{q2k}(A)(b ) . This proves the lemma.

The next lemma provides the desired formula for the value of the derivation ∂1 on the matrix units: Lemma 5.6. Let k, n N 0 . We have the identity ∈ ∪{ } (1 q2) ∂ (f )= q−3k−2 1 q2(k+1) f (b∗)2 − · 1 n,k − · n,k+1 · q−p2k−n+1 1 q2n f (b∗)2, − − · n−1,k · where we set f := 0 for all k N 0 . p −1,k ∈ ∪{ } Proof. We recall the definition of the normalizing constants Cn,k (0, ) from Equation (4.1). ∈ ∞ For n>k we apply Lemma 5.5 and the fact that C 1 C 1 n,k+1 = and n−1,k = , C q2k(1 q2(k+1)) C q2(n−1)(1 q2n) n,k − n,k − to compute that C1/2 (1 q2) ∂ (f )= n,k+1 (q−2(k+1) 1) f (b∗)2 − · 1 n,k 1/2 · − · n,k+1 · Cn,k C1/2 + n−1,k (q2(n−k) q−2k) f (b∗)2 1/2 · − · n−1,k · Cn,k = q−3k−2 1 q2(k+1) f (b∗)2 − · n,k+1 · q−p2k−n+1 1 q2n f (b∗)2. − − · n−1,k · For 0 n k we apply Lemma 5.5 one morep time together with the identities ≤ ≤ C C n,k+1 = q2k(1 q2(k+1)) and n−1,k = q2(n−1)(1 q2n) Cn,k − Cn,k − THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 13 to obtain that C1/2 (1 q2) ∂ (f )= n,k+1 q−4k−2 f (b∗)2 − · 1 n,k 1/2 · n,k+1 · Cn,k C1/2 n−1,k q2(−n+1−k) f (b∗)2 − 1/2 · n−1,k · Cn,k = q−3k−2 1 q2(k+1) f (b∗)2 − · n,k+1 · q−pn+1−2k 1 q2n f (b∗)2. − − · n−1,k · This proves the present lemma. p 6. Totally bounded subspaces of the fibers Let us fix a k N 0 . We define the subspace ∈ ∪{ } 2 2 Y := S χ 2k (A) S k q · {q } ⊆ q 2 2 and notice that Yk is automatically closed in the norm on Sq since χ{q2k}(A) Sq 2 2k ∈ is a projection. We think of Yk Sq as the fiber over the point q Sp(A). We are going to study each of⊆ these closed subspaces, paying part∈icular attention to the relationship between the linear map ∂ : Lip (S2) Y L(H ,H ) 1 Dq q ∩ k → + − and the norm on Yk. We aim for the following: Theorem 6.1. Let k N 0 . The subspace ∈ ∪{ } x Lip (S2) Y ∂ (x) 1 Y ∈ Dq q ∩ k |k 1 k∞ ≤ ⊆ k is totally bounded. The following structural result is a consequence of Proposition 4.1 and Lemma 4.2: Proposition 6.2. The closed subspaces Y S2 and Y (b∗)2 SU (2) are both k ⊆ q k · ⊆ q isometrically isomorphic to the separable Hilbert space ℓ2(N 0 ). Under this iden- ∞ ∪{ ∗} 2 −2k ∗ 2 tification, the sequence fn,k n=0 in Yk and the sequence fn,k(b ) q in Yk (b ) are orthonormal bases. { } { } · We are going to present a computation of our derivation on general elements in the subspace Lip (S2) Y Y . This computation is slightly tricky because we Dq q ∩ k ⊆ k a priory do not know much about the range of the derivation ∂ : Lip (S2) 1 Dq q → L(H ,H ). Indeed, the Lipschitz algebra Lip (S2) could be bigger than the - + − Dq q ∗ algebra obtained by taking the closure of the derivation d : (S2) SU (2). q O q → q N ∞ 2 Lemma 6.3. Let k 0 and x = m=0 λm fm,k LipDq (Sq ) Yk be given. We have the identities:∈ ∪{ } · ∈ ∩ 2 P (1 q ) f ∂ (x) χ 2k (A) − · k,n · 1 · {q } −2k−n 2(n+1) ∗ 2 = q 1 q λ χ 2k (A)(b ) and − − · n+1 · {q } 2 (1 q ) fk+1,n p∂1(x) χ{q2(k+1)}(A) − · · · −3k−2 2(k+1) ∗ 2 = q 1 q λ χ 2(k+1) (A)(b ) , − · n · {q } p 14 KONRADAGUILARANDJENSKAAD for all n N 0 . ∈ ∪{ } Proof. Let n N 0 be given. Using Lemma 5.6 and Lemma 4.2 we have that ∈ ∪{ } 2 (1 q ) f ∂ (x) χ 2k (A) − · k,n · 1 · {q } 2 = (1 q ) χ 2k (A) ∂ (f ) x − − · {q } · 1 k,n · 2 + (1 q ) χ 2k (A) ∂ (λ χ 2k (A)) χ 2k (A) − · {q } · 1 n · {q } · {q } = q−3n−2 1 q2(n+1) f (b∗)2 x − − · k,n+1 · · −2k−n 2(n+1) ∗ 2 = q p1 q λ χ 2k (A)(b ) , − − · n+1 · {q } ∗ 2 2(m−k) ∗ 2 where we have also used thatp (b ) fm,k = q fm,k(b ) for all m N 0 . This proves the first of the two identities. ∈ ∪{ } The second of the two identities follows from the computation: 2 (1 q ) f ∂ (x) χ 2(k+1) (A) − · k+1,n · 1 · {q } 2 = (1 q ) ∂ (λ f ) χ 2(k+1) (A) − · 1 n · k+1,k · {q } −3k−2 2(k+1) ∗ 2 = q 1 q λ χ 2(k+1) (b ) , − · n · {q } where we have used Lemma 5.6 andp Lemma 4.2 one more time. We now present our computation of the derivatives of Lipschitz elements in the fiber Yk. N 2 Lemma 6.4. Let k 0 . The restriction of the derivation ∂1 : LipDq (Sq ) L ∈ ∪{ } 2 2 → (H+,H−) to the subspace LipDq (Sq ) Yk LipDq (Sq ) takes values in the subspace ∗ 2 2 ∗ 2 ∩ ⊆ ∞ 2 (Yk + Yk+1) (b ) Sq (b ) . Moreover, for x = n=0 λn fn,k LipDq (Sq ) Yk, we have an explicit· ⊆ formula· for the derivative: · ∈ ∩ ∞ P (1 q2) ∂ (x)= q−3k−2 1 q2(k+1) λ f (b∗)2 − · 1 − · n · n,k+1 n=0 X ∞ p q−2k−n+1 1 q2n λ f (b∗)2. − − · n · n−1,k n=0 X p Proof. For each N N 0 , it follows by Lemma 6.3 that ∈ ∪{ } N N ∗ 2 −2k−n 2(n+1) ∗ 2 f f (1 q ) ∂ (x) χ 2k (A)= q 1 q λ f (b ) . n,k n,k · − · 1 · {q } − − · n+1 · n,k n=0 n=0 X X p N ∗ 2 Since both n=0 fn,kfn,k and χ{q2k}(A) Sq are orthogonal projections and hence have operator norm bounded by one, we∈ obtain that P N q−n 1 q2(n+1) λ 2 (1 q2)2 ∂ (x) 2 , | − · n+1| ≤ − ·k 1 k∞ n=0 X p for all N N 0 . But this shows that ∈ ∪{ } ∞ q−2k−n+1 1 q2n λ f (b∗)2 − − · n · n−1,k n=0 X ∞ p 2 ∗ 2 = (1 q ) ∂ (λ f ) χ 2k (A) Y (b ) . − · 1 n · n,k · {q } ∈ k · n=0 X THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 15

A similar argument proves that ∞ q−3k−2 1 q2(k+1) λ f (b∗)2 − · n · n,k+1 n=0 X ∞ p 2 ∗ 2 = (1 q ) ∂ (λ f ) χ 2(k+1) (A) Y (b ) . − · 1 n · n,k · {q } ∈ k+1 · n=0 X Using that ∂ : Lip (S2) L(H ,H ) is closable we may conclude that 1 Dq q → + − N 2 2 (1 q ) ∂1(x) = lim (1 q ) ∂1(λn fn,k) − · N→∞ − · · n=0 ∞ X = q−3k−2 1 q2(k+1) λ f (b∗)2 − · n · n,k+1 n=0 X ∞ p q−2k−n+1 1 q2n λ f (b∗)2 − − · n · n−1,k n=0 X p (Y + Y ) (b∗)2. ∈ k k+1 · This proves the lemma. The ﬁrst consequence of our computation of derivatives is a norm-bound on the elements in the Lip-ball of Lip (S2) Y : Dq q ∩ k Lemma 6.5. Let k N 0 . The subspace ∈ ∪{ } x Lip (S2) Y ∂ (x) 1 Y ∈ Dq q ∩ k |k 1 k∞ ≤ ⊆ k is norm-bounded by qk.

∞ 2 Proof. Let x = n=0 λn fn,k LipDq (Sq ) Yk and suppose that ∂1(x) ∞ 1. We have from Lemma 6.4 that· ∈ ∩ k k ≤ P ∞ 2 −3k−2 2(k+1) ∗ 2 (1 q ) ∂ (x) χ 2(k+1) (A)= q 1 q λ f (b ) − · 1 · {q } − · n · n,k+1 n=0 X p But this implies that ∞ q−2k(1 q2(k+1)) x 2 = q−2k(1 q2(k+1)) λ 2 − ·k k − | n| n=0 2 X 2 2 2 = (1 q ) ∂ (x) χ 2(k+1) (A) (1 q ) , k − · 1 · {q } k∞ ≤ − and hence that x qk(1 q2)(1 q2(k+1))−1/2 qk. This proves the lemma. k k ≤ − − ≤ The second consequence of our computation of derivatives is our ﬁrst main result: ∞ Proof of Theorem 6.1. Let x = n=0 λn fn,k Lk be given. We are going to show that · ∈ P λ qn−1 | n| ≤ N n−1 ∞ for all n 0 (independently of x). Since the sequence q n=0 is 2-summable this implies∈ that∪{ }L Y is totally bounded by [20, Theorem{ 5.5.6].} k ⊆ k 16 KONRADAGUILARANDJENSKAAD

By Lemma 6.4 we have that ∞ 2 −2k−n+1 2n ∗ 2 (1 q ) ∂ (x) χ 2k (A)= q 1 q λ f (b ) , − · 1 · {q } − − · n · n−1,k n=0 X p and hence that ∞ −2n+2 2n 2 2 2 2 2 2 q (1 q ) λ = (1 q ) ∂ (x) χ 2k (A) (1 q ) . − ·| n| − k 1 · {q } k∞ ≤ − n=1 X We conclude that 2 n−1 1 q n−1 λn q − q . | | ≤ · 1 q2n ≤ N −1 for all n . Also, the fact that λ0 p q follows from the estimate in Lemma 6.5. This∈ proves the theorem. | | ≤ We end this section by presenting an improvement of the computation of derivatives in Lemma 6.4: ∞ ∞ 2 Proposition 6.6. Let x = µ 1 2 + λ f Lip (S ) be given. For · Sq l=0 n=0 n,l · n,l ∈ Dq q each k N 0 , it holds that ∈ ∪{ } P P 2 (1 q ) ∂ (x) χ 2k (A) − · 1 · {q } ∞ = λ q−3k+1 1 q2k λ q−2k−n 1 q2(n+1) f (b∗)2, n,k−1 · − − n+1,k · − · n,k n=0 X p p where by convention λ := 0 for all n N 0 . In particular, it holds that n,−1 ∈ ∪{ } ∂ (x) χ 2k (A) Y for all k N 0 . 1 · {q } ∈ k ∈ ∪{ } Proof. Using Lemma 6.4 we compute that 2 (1 q ) ∂ (x) χ 2k (A) − · 1 · {q } 2 2 = (1 q ) ∂ (x χ 2k (A)) χ 2k (A) (1 q ) x ∂ (χ 2k (A)) χ 2k (A) − · 1 · {q } · {q } − − · · 1 {q } · {q } ∞ = q−2k−n+1 1 q2n λ f (b∗)2 + x q−3k+1 1 q2k f (b∗)2 − − · n,k n−1,k · − · k−1,k n=0 X∞ p p = q−2k−n+1 1 q2n λ f (b∗)2 − − · n,k n−1,k n=0 X∞ p + q−3k+1 1 q2k λ f (b∗)2. − · n,k−1 n,k n=0 X p This proves the proposition.

7. The quantum integral In this section we introduce our main device, which will enjoy similar properties to the classical Volterra operator. For this reason we call this device the quantum integral. The quantum integral will be the sum of a “vertical” and a “horizontal” component, which we refer to as the vertical and the horizontal quantum integral. We have chosen the terminology “vertical” and “horizontal” in order to separate these two quite diﬀerent operations but do not attach any deeper geometric meaning to this factorization of the total quantum integral. THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 17

The domain of the quantum integral is a closed subspace of operators X L(H ,H ) ⊆ + − deﬁned by the requirement ∗ 2 X := ξ L(H ,H ) ξ χ 2k (A) Y (b ) for all k N 0 . ∈ + − | · {q } ∈ k · ∈ ∪{ } The quantum integral will be a bounded operator : X S2 → q Z and it will satisfy the following properties: Theorem 7.1. We have the identity

2 ∂ (x)= x ψ (x) 1 2 for all x Lip (S ). 1 − ∞ · Sq ∈ Dq q Z Proposition 7.2. We have the estimate

k −2 ( ξ) χ 2k (A) ξ q (k + 2) (1 q) , k · [0,q ] k≤k k∞ · · · − Z for all ξ X and all k N 0 . ∈ ∈ ∪{ } The definition of the quantum integral and the proofs of these results will be given in Subsection 7.3. 7.1. The quantum vertical integral. In this subsection we construct the vertical part of the quantum integral. We start by introducing some convenient isometries and a bounded diagonal operator. For each k N 0 , denote the bounded vertical and horizontal shift operators given by ∈ ∪{ } V V S : Yk Yk S (fn,k) := fn+1,k and → (7.1) SH : Y Y SH (f ) := f . k → k+1 n,k n+1,k+1 Moreover, for each k N 0 , let Γ : Yk Yk denote the bounded diagonal operator given by ∈ ∪{ } → 1/2 n−k−1 1−q2(k+1) q 2n fn,k for n k +1 Γ(fn,k) := 1−q ≥ . ( 0 for0 n k ≤ ≤ We remark that Γ has operator norm equal to one, Γ = 1. k k∞ Definition 7.3. We define the quantum vertical integral V : X S2 → q Z by the formula V ∞ 2 m m 1 q H m−l V 2 −2l ξ := q − Γ(S Γ) S ξ χ 2l (A) b q . − (1 q2(m+1))1/2 · · {q } · · Z m=0 − l=0 X X Lemma 7.4. The quantum vertical integral is a well-defined bounded operator and the operator norm is bounded by (1 q2)1/2(1 q)−2. − − 18 KONRADAGUILARANDJENSKAAD

Proof. Let ξ X. The result follows from the estimate: ∈ ∞ 2 m m 1 q H m−l V 2 −2l q − Γ(S Γ) S ξ χ 2l (A) b q (1 q2(m+1))1/2 · {q } · · m=0 − l=0 X X ∞ (1 q2)1/2qm (m + 1) ξ = (1 q2)1/2(1 q)−2 ξ . ≤ − · ·k k∞ − − ·k k∞ m=0 X The next lemma illustrates how the vertical integral is going to form one part of the total quantum integral:

∞ ∞ 2 2 Lemma 7.5. Let x = µ 1Sq + k=0 n=0 λn,k fn,k LipDq (Sq ) be given. We have the identity · · ∈ P P V ∞ ∞ ∂ (x)= λ f . 1 n,m · n,m m=0 n=m+1 Z X X Proof. Using Proposition 6.6 we have that

2 2 −2l (1 q )∂ (x) χ 2l (A) b q − 1 · {q } · · ∞ = λ q−l+1 1 q2l λ q−n 1 q2(n+1) f . n,l−1 · − − n+1,l · − · n,l n=0 X p p We therefore obtain that V ∂1(x) Z ∞ 2 m m 1 q H m−l V 2 −2l = q − Γ(S Γ) S ∂ (x) χ 2l (A) b q − (1 q2(m+1))1/2 · 1 · {q } · · m=0 − l=0 X X ∞ qm = − (1 q2(m+1))1/2 m=0 − X m ∞ λ q−l+1 1 q2l λ q−n 1 q2(n+1) · n,l−1 · − − n+1,l · − l=0 n=l X X p p Γ(SH Γ)m−l(f ). · n+1,l (7.2) We now ﬁx m N 0 and consider the ﬁrst term in the above sum separately. Note that λ ∈= 0∪{ for all} p N 0 : p,−1 ∈ ∪{ } m ∞ λ q−l+1 1 q2l Γ(SH Γ)m−l(f ) n,l−1 · · − · n+1,l Xl=0 Xn=l m−1 ∞ p = λ q−l 1 q2(l+1) Γ(SH Γ)m−l−1(f ) n+1,l · − · n+2,l+1 Xl=0 Xn=l p m−1 ∞ = λ q−n 1 q2(n+1) Γ(SH Γ)m−l(f ). n+1,l · − · n+1,l Xl=0 Xn=l p THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 19

Thus, combining this with Expression (7.2), we obtain the formula

V ∞ m ∞ q −n 2(n+1) ∂1(x)= λn+1,m q 1 q Γ(fn+1,m) 1 q2(m+1) · − · Z m=0 − n=m X∞ ∞ X p p = λ f n+1,m · n+1,m m=0 n=m X X and the proof is complete. We end this section by proving a continuity result for the vertical integral: Lemma 7.6. Let k N 0 . We have the estimate ∈ ∪{ } V qk (k + 1) ( ξ) χ 2k (A) · ξ , · [0,q ] ≤ (1 q)2 ·k k∞ Z − for all ξ X. ∈ Proof. Let ξ X be given. For each m N 0 and each l 0, 1,...,m , we ∈H m−l V 2 −2∈l ∪{ } ∈ { } have that Γ(S Γ) S (ξ χ 2l (A)b q ) Y . Therefore, · {q } ∈ m V ∞ m 2 m q (1 q ) H m−l V 2 −2l ( ξ) χ[0,q2k](A)= − Γ(S Γ) S ξ χ{q2l}(A) b q . · − 1 q2(m+1) · · · · Z m=k l=0 X − X We may thus estimate as follows:p V ∞ qm(1 q2) ( ξ) χ[0,q2k](A) − (m + 1) ξ ∞ · ≤ 1 q2(m+1) ·k k Z m=k − ∞ X p qk(k + 1) (m + 1)qm ξ ξ . ≤ ·k k∞ ≤ (1 q)2 ·k k∞ mX=k − This proves the lemma. 7.2. The quantum horizontal integral. In this subsection we construct the horizontal part of the quantum integral. Recall the definition of the isometries V H S : Yk Yk and S : Yk Yk+1, k N 0 , from Equation (7.1). For each→ k N, define the→ diagonal∈ operator∪{ } ∈ 1/2 k−n+1 1−q2(n−1) q 2k fn,k for 0 < n k ∆ : Yk Yk ∆(fn,k)= · 1−q · ≤ . → ( 0 elsewhere We remark that ∆ : Y Y is bounded with operator norm satisfying the estimate k → k ∆ q for all k N. k k∞ ≤ ∈ Furthermore, for each k N 0 , introduce the orthogonal projection ∈ ∪{ } fn,k for 0 n k P : Yk Yk P (fn,k)= ≤ ≤ . → 0 for n k +1 ≥ Definition 7.7. We define the quantum horizontal integral H : X S2 → q Z 20 KONRADAGUILARANDJENSKAAD by the formula

H ∞ 1 q2 ξ := qm − (1 q2(m+1))1/2 Z m=0 − X ∞ H ∗ H ∗ l−m−1 V 2 −2l (S ) (S ) ∆ PS (ξ χ 2l (A) b q ). · · {q } · · l=m+1 X Lemma 7.8. The quantum horizontal integral is a well-deﬁned bounded operator with operator norm bounded by (1 q2)1/2(1 q)−2. − − Proof. Let ξ X. The result of the lemma follows from the estimate: ∈ ∞ 2 ∞ m 1 q H ∗ H ∗ l−m−1 V 2 −2l q − (S ) (S ) ∆ PS (ξχ 2l (A) b q ) (1 q2(m+1))1/2 · {q } · · m=0 − l=m+1 X X ∞ ∞ qm ql−m−1 ξ (1 q2)1/2 ≤ · ·k k∞ · − m=0 X l=Xm+1 −2 2 1/2 (1 q) ξ ∞ (1 q ) . ≤ − ·k k · −

We now illustrate how the horizontal integral will form the remaining part of the total quantum integral:

∞ ∞ 2 2 Lemma 7.9. Let x = µ 1Sq + k=0 n=0 λn,k fn,k LipDq (Sq ) be given. We have the identity · · ∈ P P H ∞ m ∂ (x)= λ f . 1 n,m · n,m m=0 n=0 Z X X Proof. Using Proposition 6.6 we compute as follows:

H ∞ 1 q2 ∂ (x)= qm − 1 (1 q2(m+1))1/2 Z m=0 − X ∞ H ∗ H ∗ l−m−1 V 2 −2l (S ) (S ) ∆ PS (∂ (x) χ 2l (A) b q ) · 1 · {q } · · l=m+1 X ∞ qm = (1 q2(m+1))1/2 m=0 X − ∞ l−1 (SH )∗ (SH )∗∆ l−m−1 λ q−l+1 1 q2l · n,l−1 · − l=m+1 n=0 X X p λ q−n 1 q2(n+1) f . − n+1,l · − · n+1,l p (7.3) We now ﬁx m N 0 and consider part of the ﬁrst term in the above sum separately. Indeed,∈ we∪{ only} look at the part of the sum where l m + 2, saving the ≥ THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 21 remaining term for later. Note that ((SH)∗)2f = 0 for all p N 0 : 1,p ∈ ∪{ } ∞ l−1 (SH )∗ (SH )∗∆ l−m−1 λ q−l+1 1 q2l f n,l−1 · − · n+1,l l=m+2 n=0 X X p ∞ l−1 = (SH )∗ (SH )∗∆ l−m λ q−l 1 q2(l+1) f n+1,l · − · n+2,l+1 n=0 l=Xm+1 X p ∞ l−1 l−m−1 = (SH )∗ (SH )∗∆ λ q−n 1 q2(n+1) f . n+1,l · − · n+1,l l=m+1 n=0 X X p Thus, combining with Expression (7.3), we obtain the formula

H ∞ qm m ∂ (x)= (SH )∗ λ q−m 1 q2(m+1)f 1 (1 q2(m+1))1/2 n,m · − n+1,m+1 Z m=0 − n=0 X∞ m X p = λ f n,m · n,m m=0 n=0 X X and the proof is complete.

We end this subsection by providing a continuity result for the horizontal integral: Lemma 7.10. Let k N 0 . We have the estimate: ∈ ∪{ } H k −2 ( ξ) χ 2k (A) q (1 q) ξ for all ξ X. · [0,q ] ≤ · − ·k k∞ ∈ Z

Proof. This follows from the estimate:

∞ 2 ∞ m 1 q H ∗ H ∗ l−m−1 V 2 −2l q − (S ) (S ) ∆ PS (ξχ 2l (A) b q ) (1 q2(m+1))1/2 · {q } · m=k − l=m+1 X X ∞ ∞ qm ql−m−1 ξ = qk (1 q)−2 ξ . ≤ · ·k k∞ · − ·k k∞ mX=k l=Xm+1 7.3. Proofs of main results. We end this section by defining the quantum integral and proving our main results about it. Definition 7.11. We define the quantum integral as the sum of the quantum vertical integral and the quantum horizontal integral:

V H := + : X S2. → q Z Z Z Proof of Theorem 7.1. This is an immediate consequence of Lemma 7.5 and Lemma 7.9.

Proof of Proposition 7.2. This follows immediately from Lemma 7.6 and Lemma 7.10. 22 KONRADAGUILARANDJENSKAAD

8. The Podle´s sphere as a spectral metric space We are now ready to prove the main result of this paper. We recall that the seminorm L : S2 [0, ] is coming from the Dabrowski-Sitarz spectral triple ֒ ∞ → Dq q ( (S2),H H ,D ) by taking commutators with the selfadjoint unbounded op- O q + ⊕ − q erator Dq : Dom(Dq) H+ H−. In fact, for any x in the Lipschitz algebra Lip (S2) S2 we have→ the identity⊕ Dq q ⊆ q L (x) = max ∂ (x) , ∂ (x∗) , Dq {k 1 k∞ k 1 k∞} 2 see Section 2 and Section 3. We are going to prove that (Sq , LDq ) is a compact quantum metric space. The crucial step in this direction is contained in the following: Proposition 8.1. The subset L := x S2 L (x) 1 , ψ (x)=0 S2 ∈ q | Dq ≤ ∞ ⊆ q is totally bounded. Proof. Remark ﬁrst that Theorem 7.1 and Proposition 7.2 implies that

x = ∂ (x) ∂ (x) 2 (1 q)−2 2 (1 q)−2 k k k 1 k≤k 1 k∞ · · − ≤ · − Z L L 2 for all x . In particular, Sq is a bounded subset. For each∈ j N 0 deﬁne the⊆ constant ∈ ∪{ } −2 C := 1 + 2 (1 q) ∂ (χ 2j (A)) j · − · 1 {q } and notice that

∂ (x χ 2j (A)) ∂ (x) + x ∂ (χ 2j (A)) C k 1 · {q } k≤k 1 k∞ k k· 1 {q } ≤ j for all x L . Let now∈ ε> 0 be given. By Proposition 7.2 we may ﬁnd a k N such that ∈

x χ 2k (A) = ( ∂ (x)) χ 2k (A) < ε/2, k · [0,q ] k k 1 · [0,q ] k Z for all x L . By Theorem∈ 6.1 we may, for each j 0,...,k 1 , find a finite number of elements x ,...,x S2 such that ∈ { − } j,1 j,nj ∈ q nj 2 B ε y Yj LipDq (Sq ) ∂1(y) 1 (xj,i), ∈ ∩ |k k ≤ ⊆ 2·Cj ·k i=1 [ B 2 where r(z) denotes the norm-ball with radius r> 0 and center z Sq . Define the finite subset ∈ k−1 S := x C (i ,...,i ) 1,...,n ... 1,...,n S2. j,ij · j | 0 k−1 ∈{ 0} × ×{ k−1} ⊆ q j=0 X We claim that L B (y). (8.1) ⊆ ∪y∈S ε Thus, let x L be given. For each j 0,...,k 1 we may choose ij 1,...,n such∈ that ∈ { − } ∈ { j} −1 j B ε x χ{q2 }(A) Cj (xj,ij ). · · ∈ 2·Cj ·k THE PODLES´ SPHERE AS A SPECTRAL METRIC SPACE 23

We thus have that k−1 k−1

x x C x χ 2k (A) + x χ 2j (A) x C k − j,ij · jk≤k · [0,q ] k k · {q } − j,ij · jk j=0 j=0 X ε ε X < + k = ε. 2 · 2 k · This proves the inclusion in Equation (8.1) and hence the result of the theorem. Proposition 8.2. Let x S2. We have the biimplication ∈ q L (x)=0 x = ψ (x) 1 . Dq ⇔ ∞ · Sq Proof. This is a consequence of Theorem 7.1. 2 Theorem 8.3. The pair (Sq , LDq ) is a compact spectral metric space. Proof. A combination of Proposition 8.2, Proposition 8.1, Theorem 2.6 and Theorem 3.1 completes the proof. References [1] J. Bellissard, M. Marcolli, and K. Reihani. Dynamical systems on spectral metric spaces. Preprint, 2010. ArXiv: 1008.4617. [2] A. Connes. Compact metric spaces, Fredholm modules and hyperfiniteness. Ergodic Theory and Dynamical Systems, 9(2):207–220, 1989. [3] A. Connes. Noncommutative Geometry. Academic Press, San Diego, 1994. [4] Alain Connes. Gravity coupled with matter and the foundation of non-commutative geometry. Comm. Math. Phys., 182(1):155–176, 1996. Ludwik Da֒browski, Francesco D’Andrea, Giovanni Landi, and Elmar Wagner. Dirac operators [5] on all Podle´squantum spheres. J. Noncommut. Geom., 1(2):213–239, 2007. .Ludwik Da֒browski and Andrzej Sitarz. Dirac operator on the standard Podle´squantum sphere [6] In Noncommutative geometry and quantum groups (Warsaw, 2001), volume 61 of Banach Cen- ter Publ., pages 49–58. Polish Acad. Sci. Inst. Math., Warsaw, 2003. [7] Anatoli Klimyk and Konrad Schmüdgen. Quantum groups and their representations. Texts and Monographs in Physics. Springer-Verlag, Berlin, 1997. [8] Ulrich Krähmer and Elmar Wagner. A residue formula for the fundamental Hochschild class on the Podle´ssphere. J. K-Theory, 12(2):257–271, 2013. [9] Frédéric Latrémolière. The quantum Gromov-Hausdorff propinquity. Trans. Amer. Math. Soc., 368(1):365–411, 2016. [10] Sergey Neshveyev and Lars Tuset. A local index formula for the quantum sphere. Comm. Math. Phys., 254(2):323–341, 2005. [11] N. Ozawa and M. A. Rieffel. Hyperbolic group C∗-algebras and free products C∗-algebras as compact quantum metric spaces. Canad. J. Math., 57:1056–1079, 2005. ArXiv: math/0302310. [12] P. Podle´s. Quantum spheres. Lett. Math. Phys., 14(3):193–202, 1987. [13] Adam Rennie and Roger Senior. The resolvent cocycle in twisted cyclic cohomology and a local index formula for the Podle´ssphere. J. Noncommut. Geom., 8(1):1–43, 2014. [14] M. A. Rieffel. Metrics on states from actions of compact groups. Documenta Mathematica, 3:215–229, 1998. math.OA/9807084. [15] M. A. Rieffel. Metrics on state spaces. Documenta Math., 4:559–600, 1999. math.OA/9906151. [16] M. A. Rieffel. Matrix algebras converge to the sphere for quantum Gromov–Hausdorff distance. Mem. Amer. Math. Soc., 168(796):67–91, 2004. math.OA/0108005. [17] M. A. Rieffel. Compact quantum metric spaces. In Operator algebras, quantization, and noncommutative geometry, volume 365 of Contemporary Math, pages 315–330. American Mathe- matical Society, 2005. ArXiv: 0308207. [18] M. A. Rieffel. Matricial bridges for “matrix algebras converge to the sphere”. In Operator algebras and their applications, volume 671 of Contemp. Math., pages 209–233. Amer. Math. Soc., Providence, RI, 2016. ArXiv: 1502.00329. 24 KONRADAGUILARANDJENSKAAD

[19] Konrad Schm¨udgen and Elmar Wagner. Dirac operator and a twisted cyclic cocycle on the standard Podle´squantum sphere. J. Reine Angew. Math., 574:219–235, 2004. [20] S. Shirali and H. L. Vasudeva. Metric Spaces. Springer-Verlag, 2006. [21] S. L. Woronowicz. Twisted SU(2) group. An example of a noncommutative diﬀerential calcu- lus. Publ. Res. Inst. Math. Sci., 23(1):117–181, 1987.

School of Mathematical and Statistical Sciences, Arizona State University, 901 S. Palm Walk, Tempe, AZ 85287-1804 E-mail address: [email protected] Department of Mathematics and Computer Science, The University of Southern Denmark, Campusvej 55, DK-5230 Odense M, Denmark E-mail address: [email protected]