arxiv:math/ v2 [math.qa] 31 Dec 2001

Transcription

1 LOCALLY TRIVIAL QUANTUM HOPF FIBRATION arxiv:math/ v2 [math.qa] 31 Dec 2001 Piotr M. Hajac Mathematisches Institut, Universität München Theresienstr. 39, München, 80333, Germany and Instytut Matematyczny, Polska Akademia Nauk ul. Śniadeckich 8, Warszawa, Poland and Katedra Metod Matematycznych Fizyki, Uniwersytet Warszawski ul. Hoża 74, Warszawa, Poland pmh Rainer Matthes Fachbereich Physik der TU Clausthal Leibnizstr. 10, D Clausthal-Zellerfeld, Germany Wojciech Szymański School of Mathematical and Physical Sciences, University of Newcastle Callaghan, NSW 2308, Australia Abstract The irreducible -representations of the polynomial algebra O(Spq 3 ) of the quantum 3-sphere introduced by Calow and Matthes are classified. The K-groups of its universal C -algebra are shown to coincide with their classical counterparts. The U(1)-action on O(Spq 3 ) corresponding to the classical Hopf fibration is proven to be a Galois action. The thus obtained Hopf-Galois extension is shown to be relatively projective (admitting a strong connection) for any p, q (0, 1), and non-cleft at least in the symmetric case p = q. The latter is obtained by computing an appropriate Chern-Connes pairing. Introduction Splitting and gluing topological spaces along 2-spheres or 2-tori are standard procedures in the study of 3-dimensional manifolds. Fibering such manifolds is another important tool revealing their geometry. In the case of S 3, we have the celebrated Heegaard splitting and Hopf fibration. The former presents S 3 as two copies of a solid torus glued along their boundaries, and the latter as a non-trivial principal U(1)-bundle over S 2. In [M-K91a], K. Matsumoto applied the idea of the Heegaard splitting to construct a noncommutative 3-sphere Sθ 3 out of two quantum solid tori. Then the U(1)-action on S3 θ was defined and the quotient space Sθ 3/U(1) proven to coincide with S2 [M-K91b]. Thus a noncommutative Hopf fibration was constructed. Here we continue along these lines.

2 Throughout the paper we use the jargon of Noncommutative Geometry referring to quantum spaces as objects dual to noncommutative algebras in the sense of the Gelfand-Naimark correspondence between spaces and function algebras. The unadorned tensor product means the completed tensor product when placed between C -algebras (this is not ambiguous as all C -algebras we consider are nuclear), and the algebraic tensor product over C otherwise. The algebras are assumed to be associative and over C. They are also unital unless the contrary is obvious from the context. C 0 (locally compact Hausdorff space) means the (non-unital) algebra of vanishing-at-infinity continuous functions on this space. By O(quantum space) we denote the polynomial algebra of a quantum space, and by C(quantum space) the corresponding C - algebra. By classical points we understand 1-dimensional -representations. In this paper, the C -completion (C -closure) of a -algebra always means the completion with respect to the supremum norm over all -representations in bounded operators. First, we recall the necessary facts and definitions. This includes the construction of the quantum 3-sphere Spq 3 introduced in [CM00, CM], which is also obtained by gluing two quantum solid tori. Here, however, the noncommutativity comes from the quantum disc [KL93] rather than the quantum torus (see [R-MA90] and references therein). Also, contrary to Sθ 3, the sphere Spq 3 was constructed in the spirit of locally trivial principal bundles. Indeed, it can be easily noted that as both the base and the fibre of the Matsumoto noncommutative Hopf fibration are classical, the noncommutativity of Sθ 3 rules out its local triviality. On the other hand, S3 pq is by construction a quantum locally trivial U(1)-space. We begin the main part of our paper by classifying the unitary classes of the irreducible -representations of the polynomial algebra O(Spq 3 ), and defining the C -algebra C(Spq 3 ). Then we prove that K i (C(Spq 3 )) = Z = K i (S 3 ), i {0, 1}. On the algebraic side, we show that Spq 3 is a quantum principal U(1)-bundle in the sense of the Hopf-Galois theory. More precisely, by constructing a strong connection, we prove that O(Spq 2 ) O(S3 pq ) is a relatively projective O(U(1))-Galois extension. Finally, we take advantage of the infinite dimensional representations of O(Sqq) 2 to construct a trace on this algebra, and then pair it with the projective module (noncommutative vector bundle) associated with the extension O(Sqq 2 ) O(S3 qq ) via the identity representation of U(1). Since this pairing turns out to be non-trivial, we conclude that the extension is non-cleft. Thus we have an example of a locally trivial relatively projective noncommutative Hopf-Galois extension which not only is not trivial, but also is not a cross-product construction. Recently, there was an outburst of new noncommutative 3 and 4-sphere constructions. For a careful comparison study of these and older constructions we refer to [D-L]. Let us only mention that there exist at least two more classes of non-classical Hopf fibrations, notably the quantum Hopf fibrations coming from SU q (2) and the super Hopf fibration. (See [BM00] and references therein for the former, and [DGH01] and its references for the latter). Although C(S 3 pq) is not isomorphic to C(SU q (2)) (different sets of classical points), the C -algebra of the generic Podleś quantum sphere coincides with the C -algebra of the base space of our locally trivial quantum Hopf fibration, i.e., C(S 2 pq) = C(S 2 µc), p, q, µ (0, 1), c > 0 [CM00, Proposition 21].

3 1 Preliminaries 1.1 Locally trivial H-extensions The idea of a locally trivial H-extension can be traced back to [BM93, P-MJ94, D-M96, BK96, CM00, CM]. The prerequisite idea of the gluing of quantum spaces can be traced much further. In terms of C -algebras, the gluing corresponds to the pullback construction, which is essential, e.g., for the Busby invariant. We refer to [P-GK99] for lots of generalities on pullbacks of C -algebras. Here, let us only recall the needed definitions and fix the terminology. Definition 1.1 ([BK96],[CM00]) A covering of an algebra B is a family {J i } i I of ideals with zero intersection. Let π i : B B i := B/J i, π i j : B i B ij := B/(J i + J j ) be the quotient maps. A covering {J i } i I is called complete iff the homomorphism B b (π i (b)) i I B c := { (b i ) i I i I B i π i j(b i ) = π j i (b j) } is surjective. (It is automatically injective.) Note that coverings consisting of closed ideals in C -algebras and two-element coverings are always complete. See [CM00] for more information about completeness of coverings, in particular for an example of a non-complete covering. Let B and P be algebras and H be a Hopf algebra. Assume that B is a subalgebra of P via an injective homomorphism ι : B P, which we also write as B P. The inclusion B P is called an H-extension if P is a right H-comodule algebra via a right coaction R : P P H such that B coincides with the subalgebra of coinvariants, i.e., B = P coh := {p P R (p) = p 1}. Definition 1.2 ([CM]) A locally trivial H-extension 1 is an H-extension B P together with the following (local) data: (i) a complete finite covering {J i } i I of B; (ii) surjective homomorphisms χ i : P B i H (local trivializations) such that (a) χ i ι = π i 1, (b) (χ i id) R = (id ) χ i, (c) {Kerχ i } i I is a complete covering of P. Locally trivial H-extensions can be reconstructed from the local data. First, it follows from the proof of [CM, Proposition 2] that there exist homomorphisms ϕ ij : B ij H B ij H (to be thought of as the change of local trivializations) which are uniquely determined by the formula ϕ ij (π j i id) χ j = (π i j id) χ i. (1.1) As argued in [CM] (see formulas (5) and (6) and the remark after the proof of Proposition 2), these maps are isomorphisms satisfying (id ) ϕ ij = (ϕ ij id) (id ), (1.2) 1 In [CM] locally trivial H-extensions were called locally trivial quantum principal fibre bundles.

4 ϕ ij (b 1) = (b 1). (1.3) Next, in analogy with the classical situation, one defines transition functions τ ji : H B ij by τ ji (h) = (id ε)(ϕ ij (1 h)). (1.4) Equivalently, one has ϕ ij (b h) = bτ ji (h (1) ) h (2). (1.5) It can be shown (see [CM, Proposition 4]) that the transition functions of a locally trivial H-extension are homomorphisms with the following properties: τ ii = ε, (1.6) τ ji S = τ ij, (1.7) τ ij (H) Z(B ij ) (centre of B ij ), (1.8) π ij k τ ij = m Bijk ((π ik j τ ik ) (π jk i τ kj )). (1.9) Here π ij k : B ij B ijk := B/(J i +J j +J k ) are the quotient maps and m Bijk are the multiplications in B ijk. Conversely, let us consider an algebra B with a complete finite covering {J i } i I and a Hopf algebra H. Assume that we have a family of homomorphisms τ ji : H B ij satisfying (1.6) (1.9). Define ϕ ij by formula (1.5) and put P = { (f i ) i I i I (B i H) (π i j id)(f i) = ϕ ij ((π j i id)(f j)) }. (1.10) One can verify that the formulas R ((f i ) i I ) = ((id )(f i )) i I, (1.11) χ i ((f i ) i I ) = f i, (1.12) ι(b) = (π i (b) 1) i I. (1.13) turn P into a locally trivial H-extension of B. Moreover, we have: Proposition 1.3 ([CM]) Let P be a locally trivial H-extension of B corresponding to covering {J i } i I, and τ ji : H B ij be its transition functions. Let P be a locally trivial H-extension constructed from τ ji s. Then the formula p (χ i (p)) i I defines an isomorphism of locally trivial H-extensions P and P. 1.2 Construction of S 3 pq Our starting point is the coordinate algebra O(D p ) of the quantum disc, which is defined as the universal unital -algebra generated by x fulfilling the relation x x pxx = 1 p, 0 < p < 1. (1.14) This is a one-parameter sub-family of the two-parameter family of quantum discs defined in [KL93]. It can be shown that the C -algebra C(D p ) is isomorphic with the Toeplitz algebra T

5 (e.g., see [CM00, Proposition 15]), and that x = 1 (see [KL93, Proposition IV.1(I)]). Let us also mention that there are unbounded representations of the relation (1.14). They are given, e.g., in [KS97, Section 5.2.6]. Next, we glue two quantum discs to get a quantum S 2. Let O(S 1 ) be the universal -algebra generated by the unitary u. Then we have a natural epimorphism π p : O(D p ) O(S 1 ) given by π p (x) = u. (This corresponds to embedding S 1 into D p as its boundary.) Now, we can define O(S 2 pq) in the following manner [CM00]: O(S 2 pq ) := {(f, g) O(D p) O(D q ) π p (f) = π q (g)}. (1.15) O(S 2 pq ) has complete covering {Ker pr 1, Ker pr 2 }, where pr 1 and pr 2 are the restrictions to O(S 2 pq) of the projections on O(D p ) and O(D q ), respectively (see [CM00, Proposition 8]). Furthermore, one has canonical isomorphisms O(S 2 pq )/Kerpr 1 = O(D q ), O(S 2 pq )/Ker pr 1 = O(D q ) and O(S 2 pq )/(Kerpr 1 + Ker pr 2 ) = O(S 1 ). As was shown in [CM00, Proposition 17], O(S 2 pq) can be identified with the universal -algebra generated by f 0 and f 1 satisfying the relations f 0 = f 0, (1.16) f 1 f 1 qf 1 f 1 = (p q)f p, (1.17) f 0 f 1 pf 1 f 0 = (1 p)f 1, (1.18) (1 f 0 )(f 1 f 1 f 0) = 0. (1.19) The isomorphism is given by f 1 (x, y), f 0 (xx, 1). Here x denotes the generator of the -algebra O(D p ), and y that of O(D q ). In terms of these generators, the irreducible - representations of O(S 2 pq) can be given as follows [CM00, Proposition 19]: ρ θ (f 0 ) = 1, ρ θ (f 1 ) = e iθ, θ [0, 2π) (classical points), (1.20) ρ 1 (f 0 )e k = (1 p k )e k, ρ 1 (f 1 )e k = 1 p k+1 e k+1, k 0; (1.21) ρ 2 (f 0 )e k = e k, ρ 2 (f 1 )e k = 1 q k+1 e k+1, k 0. (1.22) Here {e k } k 0 is an orthonormal basis of a separable Hilbert space. In the classical case p = q = 1, relations (1.16) (1.19) reduce to commutativity and the geometrical relation (1.19). Adding by hand the conditions f 0 1, f 1 1 (which are automatic in the noncommutative case [CM00, Proposition 19]), one obtains as the corresponding geometric space a closed cone. The irreducible representations given above allow one to make an analogous picture also in the noncommutative case. The sum of the squares of the hermitian generators f + = 1(f f1 ) and f = i(f 2 1 f1 ) is diagonal in the representations, and one may imagine a discretized version of the above cone, with the edge being the circle of classical points and the remainder of the cone being formed by non-classical circles, accumulating at this edge (cf. [CM00, pp.337-8]). We are now ready for the definition of O(S 3 pq ). We consider O(U(1)) as -algebra O(S1 ) equipped with the Hopf algebra structure given by (u) = u u, ε(u) = 1, S(u) = u, and O(S 2 pq ) as an algebra with complete covering {Ker pr 1, Ker pr 2 }. The homomorphisms τ 12 := id : O(U(1)) O(S 1 ), τ 21 := S, τ 11 := ε =: τ 22, evidently fulfill the axioms (1.6) (1.9). Therefore, we can proceed along the lines of Subsection 1.1, and define the following locally trivial O(U(1))-extension:

6 Definition 1.4 ([CM]) Let τ ji : O(U(1)) O(S 2 pq) ij be the homomorphisms given above. We define O(S 3 pq ) as the locally trivial O(U(1))-extension of O(S2 pq ) given by τ ji s via (1.5) and (1.10). Explicitly, the algebra O(S 3 pq ) is {(a 1, a 2 ) (O(D p ) O(U(1)) (O(D q ) O(U(1)) (π p id)(a 1 ) = ϕ 12 ((π q id)(a 2 ))}, where π p : O(D p ) O(S 1 ), π p (x) = u, π q : O(D q ) O(S 1 ), π q (y) = u. Note that we glue two quantum solid tori D p U(1) and D q U(1) along their classical boundaries, which are T 2. The subspace of the classical points of the resulting Spq 3 is precisely the locus of the gluing (see Section 2). In terms of generators and relations, O(Spq) 3 can be characterized in the following way: Lemma 1.5 ([CM]) O(Spq 3 ) is isomorphic to the universal unital -algebra generated by a and b satisfying the relations a a qaa = 1 q, (1.23) b b pbb = 1 p, (1.24) ab = ba, a b = ba, (1.25) (1 aa )(1 bb ) = 0. (1.26) The isomorphism is given by (1 u, y u) a and (x u, 1 u ) b. Using this identification, and the description of O(S 2 pq ) in terms of the generators f 0 and f 1 ((1.16) (1.19)), we can write the structural -homomorphisms of the locally trivial O(U(1))-extension O(S 2 pq ) O(S3 pq ) in the form R (a) = a u, R (b) = b u, (1.27) χ p (a) = 1 u, χ q (a) = y u, χ p (b) = x u, χ q (b) = 1 u, (1.28) ι(f 1 ) = ba, ι(f 0 ) = bb. (1.29) As shown in Section 2.1, we can define the C -algebra of O(S 3 pq) as the universal unital C - algebra generated by a and b satisfying the relations (1.23) (1.26) and a = 1 = b. The last condition follows from the remaining ones for p, q (0, 1) for the same reason it is automatically true for the generator of O(D p ) (see [KL93, Proposition IV.1(I)]), but for p = 1 = q we need to put it by hand. In the classical case (p = 1 = q), this C -algebra coincides with C(S 3 ) [M-K91a, p.334]. By the universality of the C -algebra C(S 3 pq ), the right coaction R extends to C(S 3 pq) and is equivalent to the U(1)-action on C(S 3 pq) (see [W-NE93, Proposition T.5.21]). The latter reduces to the U(1)-action on S 3 yielding the Hopf fibration. (Our convention for the action differs from [M-K91a].) To see the classical case more explicitly, let us prove the following: Proposition 1.6 Define X = {(z 1, z 2 ) C 2 (1 z 1 2 )(1 z 2 2 ) = 0, z i 1} and S 3 = {(c 1, c 2 ) C 2 c c 2 2 = 1}. The group U(1) acts on X and S 3 via (z 1, z 2 ) e iϕ = (z 1 e iϕ, z 2 e iϕ ) and (c 1, c 2 ) e iϕ = (c 1 e iϕ, c 2 e iϕ ), respectively, and X and S 3 are homeomorphic as U(1)-spaces.

7 Proof. The U(1)-action on C 2 clearly restricts to both X and S 3. Note first that we can equivalently write the equation (1 z 1 2 )(1 z 2 2 ) = 0 in the form z z 2 2 = 1+ z 1 2 z 2 2. This suggests that we can define a map X f S 3 by the formula (cf. [MT92, p.38] for the case of Sθ 3): f((z 1, z 2 )) = ( z z 2 2 ) 1 2 (z1, z 2 ). (1.30) Indeed, f is a continuous U(1)-map into S 3. To find the inverse of f, we look for a map of the form (c 1, c 2 ) α(c 1, c 2 ) 2. A direct computation provides us with the formula: 2(c1, c 2 ) g((c 1, c 2 )) = c1 2 1 =: (g 1, g 2 ). (1.31) Taking advantage of c c 2 2 = 1, we compute and g g 2 2 = 2 c c c c = c g 1 2 g 2 2 = (1 + 2 c ) c 1 2 (1 c 1 2 ) (1 + 2 c ) 2 = Hence (1 g 1 2 )(1 g 2 2 ) = 0. Furthermore, as 2 c = 2 c 2 2 1, (1.32) c (1.33) g i 1 2 c i c i 2 1. (1.34) We have two cases. For 2 c i 2 1 the latter inequality reads 0 0. Otherwise, i.e., for 2 c i 2 < 1, it is the same as 2 c i 2 1. Thus we have a continuous map S 3 g X. As both f and g are evidently U(1)-maps, it only remains to prove that they are mutually inverse. Remembering (1.32), we have: 2(c1, c 2 ) c1 (f g)((c 1, c 2 )) = 2 1 = (c 1, c 2 ). (1.35) c For the other identity, note first that, due to (1 z 1 2 )(1 z 2 2 ) = 0, we have z j 2 z i 2 = 1. To avoid confusion, let us fix z 2 2 z 1 2 = 1. (The other case behaves in the same way.) Now we can compute: (g f)((z 1, z 2 )) (1.36) 2 = z 1 z 2 z1 2 + z 2 2, 2 z z z z (1.37) 2 z z ( ) 2z1 = z1 2 + z z 1 2 z 1 2 z 2 2, 2z2 (1.38) z1 2 + z z 2 2 z 1 2 z 2 2 = 2(z1, z 2 ) z1 2 + z z 1 2 z 2 2 (1.39) = (z 1, z 2 ). This ends the proof. (1.40) 2 We are grateful to Andrzej Sitarz for his involvement here.

8 1.3 Hopf-Galois extensions and associated modules We refer to [M-S93] for the generalities concerning the Hopf-Galois theory. Recall that an H-extension B P is called Galois iff the canonical map can : P B P P H, p p p R (p ), (1.41) is bijective. The restricted inverse of can, T := can 1 (1 id), is called the translation map. We are interested in unital bicolinear liftings of the translation map T because, when the antipode S of H is bijective, they can be interpreted as strong connections on algebraic quantum principal bundles [BH]. More precisely, we take the canonical surjection π B and demand that the following diagram be commutative: P P l π B T H P B P. Then we equip P P with an H bicomodule structure via the maps and require that L := ((S 1 id) (flip) R ) id and R := id R, (1.42) L l = (id l) and R l = (l id). (1.43) Finally, we ask that l(1) = 1 1. In the more general context of symmetric coalgebra-galois extensions, it is shown in [BH] that the existence of such a lifting is equivalent to P being an (H ) op -relatively projective left B-module. (We call such Hopf-Galois extensions relatively projective.) In general (cf. [CE56, p.197]), we say that a (B, A)-bimodule P is A-relatively projective left B-module iff for every diagram with the exact row M π N i 0 f P, where M, N are (B, A)-bimodules, π and f are (B, A)-bimodule maps and i is a right A- module splitting of π, there exists a (B, A)-bimodule map g rendering the following diagram commutative π M N 0 6 i f g P. If B P is an H-Galois extension and ρ : V V H is a coaction, then we can define the associated module Hom ρ (V, P) of all colinear maps from V to P. Such modules play the

9 geometric role of the modules of sections of associated vector bundles. Therefore, to be in line with the Serre-Swan theorem and K-theory, it is desirable to have them finitely generated projective. It turns out that this is always the case for dimv < and relatively projective H-Galois extensions with bijective antipodes (see [DGH01, Corollary 2.6], cf. [BH] for a more general context). Assume that ρ is a 1-dimensional corepresentation. Then it is given by a group-like g, ρ(1) = 1 g. Assume futher that B P is an H-Galois extension admitting a strong connection l (relative projectivity). Put l(g) = n k=1 l k(g) r k (g). Then it can be shown [BH] that E jk := r j (g)l k (g) B, the matrix E := (E jk ) is idempotent (E 2 = E), and we have an isomorphism of left B-modules Hom ρ (C, P) = B n E. 2 Representations and the C -algebra of O(S 3 pq ) To begin with, we classify the bounded irreducible -representations of O(Spq). 3 We do it using similar ideas as in the proof of the corresponding [HMS, Theorem 4.5] for the real projective quantum space RPq 2. As a result, we obtain two S1 -families of infinite-dimensional representations and a T 2 -family of one-dimensional representations (classical points). The latter proves that Spq 3 differs from other quantum 3-spheres (see [D-L] for details). Theorem 2.1 Let H be a separable Hilbert space with an orthonormal basis {e k } k 0. Any irreducible -representation of O(S 3 pq) in bounded operators on any Hilbert space is unitarily equivalent to one of the following: ρ 1θ (a)e k = e iθ e k, ρ 1θ (b)e k = 1 p k+1 e k+1, θ [0, 2π); (2.1) ρ 2θ (a)e k = 1 q k+1 e k+1, ρ 2θ (b)e k = e iθ e k, θ [0, 2π); (2.2) ρ θ1 θ 2 (a) = e iθ 1, ρ θ1 θ 2 (b) = e iθ 2, θ 1, θ 2 [0, 2π). (2.3) Proof. Let ρ be a -representation of O(S 3 pq ) in bounded operators on a Hilbert space H. Then it follows immediately from the relations (1.23) (1.26) that Ker (1 ρ(aa )) and Ker (1 ρ(bb )) are invariant subspaces. Hence H 0 := Ker (1 ρ(aa )) Ker (1 ρ(bb )) is invariant. Let ϕ 0 be a vector in the orthogonal complement of the closure of the sum Ker (1 ρ(aa ))+Ker(1 ρ(bb )). Then, due to the invariance of this complement, (1 ρ(aa ))(1 ρ(bb ))ϕ 0, which contradicts (1.26). Therefore this complement must be zero, i.e., H automatically coincides with the closure of Ker (1 ρ(aa )) + Ker (1 ρ(bb )). Thus we have the direct sum decomposition H = H H H 0 (2.4) into ρ-invariant subspaces. Here H := Ker (1 ρ(aa )) H 0 and H := Ker (1 ρ(bb )) H 0 are appropriate orthogonal complements. Our strategy is to look for irreducible representations on these three subspaces separately. We abuse notation by using ρ to denote also its restrictions. For the restriction of ρ to H 0 we have ρ(a)ρ(a ) = 1 = ρ(b)ρ(b ). It follows from the disclike relations (1.23) and (1.24) that also ρ(a )ρ(a) = 1 = ρ(b )ρ(b), so that ρ(a) and ρ(b) are unitary. Since ρ(a) and ρ(b) commute, we arrive at the third family of representations.

10 Consider now the restriction of ρ to H. On this invariant subspace, we have ρ(aa ) = 1, and it follows from (1.23) that ρ(a) is unitary. The operator 1 ρ(bb ) is injective on H. Our aim is to determine the spectrum of 1 ρ(bb ) B(H ). First we show that spec(1 ρ(bb )) [0, 1]. From (1.24) we can conclude that ρ(b b pbb ) = 1 p. Hence ρ(b b) p ρ(bb ) 1 p, which gives ρ(b) 2 = ρ(b b) = ρ(bb ) 1. (2.5) This means 0 ρ(bb ) 1, and therefore also 0 1 ρ(bb ) 1, which yields the desired inclusion for the spectrum. If 0 spec(1 ρ(bb )), it cannot be an eigenvalue, since this would contradict the injectivity of 1 ρ(bb ). Therefore, 0 cannot isolated in the spectrum. If 1 were the only element of the spectrum, this would mean 1 ρ(bb ) = 1 on H, i.e., ρ(b) = 0, contradicting (1.24). We conclude that there exists λ (0, 1) spec(1 ρ(bb )). By [KR97, Lemma ], there exists a sequence of unit vectors {ϕ n } n N H such that On the other hand, we have the estimate ρ((1 bb )b )ϕ n p 1 λρ(b )ϕ n lim ρ(1 n bb )ϕ n λϕ n = 0. (2.6) = p 1 ρ(b (1 bb ))ϕ n p 1 λρ(b )ϕ n p 1 ρ(b ) ρ(1 bb )ϕ n λϕ n. (2.7) To show that ρ(b )ϕ n C for some C > 0 and all sufficiently big n, we compute ρ(bb )ϕ n = (1 λ ρ(1 bb λ))ϕ n 1 λ ρ(1 bb λ)ϕ n. (2.8) Using ρ(b) ρ(b )ϕ n ρ(bb )ϕ n, we conclude that ρ(b )ϕ n 1 ρ(b) ( 1 λ ρ(1 bb λ)ϕ n ). (2.9) Due to (2.6), the term in parentheses approaches 1 λ > 0 with n, so that there is N N and C > 0 such that ρ(b )ϕ n C for n > N. Consequently, we can form a sequence {η n } n N of unit vectors consisting of η n := ρ(b )ϕ n for n > N and arbitrarily chosen unit vectors η ρ(b )ϕ n n for n N. It is now immediate from (2.6) and the estimate (2.7) that lim ρ(1 n bb )η n p 1 λη n = 0. (2.10) Employing again [KR97, Lemma ], we have that p 1 λ spec(ρ(1 bb )). We can iterate this reasoning until p k λ = 1. This has to be true for some k, as otherwise we would contradict spec(ρ(1 bb )) [0, 1]. It follows that {1, p,..., p k } spec(ρ(1 bb )) {1, p, p 2,...} {0}. (2.11) We now show that the latter inclusion is equality. Let ξ k be a (non-zero) eigenvector corresponding to the eigenvalue p k, ρ(1 bb )ξ k = p k ξ k. Then, using (1.24), we have ρ(1 bb )ρ(b)ξ k = pρ(b)ρ(1 bb )ξ k = p k+1 ρ(b)ξ k. (2.12) Using the same relation (1 bb )b = pb(1 bb ), we obtain ρ(b)ξ k 2 = ρ(b)ξ k ρ(b)ξ k = ρ(b b)ξ k ξ k = (pρ(bb ) + 1 p)ξ k ξ k = p ρ(b )ξ k 2 + (1 p) ξ k 2 > 0. (2.13)

11 Hence ρ(b)ξ k is a non-zero eigenvector to the eigenvalue p k+1. This proves that spec(ρ(1 bb )) = {1, p, p 2,...} {0}. (2.14) We are ready now to construct a set of orthonormal vectors. Since 1 is isolated in spec(ρ(1 bb )), there exists a unital eigenvector ξ given by ρ(1 bb )ξ = ξ. Making again use of (1 bb )b = pb(1 bb ), we obtain ρ(b k+1 )ξ 2 = ρ(b bb k )ξ ρ(b k )ξ = ρ((p(bb 1) + 1)b k )ξ ρ(b k )ξ = ρ(b k )ξ ρ(b k )ξ p k+1 ρ(b k (1 bb ))ξ ρ(b k )ξ = (1 p k+1 ) ρ(b k )ξ ρ(b k )ξ = (1 p k+1 ) ρ(b k )ξ 2. (2.15) Thus e k := ρ(bk )ξ are normalized eigenvectors of ρ(1 ρ(b k )ξ bb ) corresponding to eigenvalue p k. Note also that the vectors e k are orthogonal as they are eigenvectors to different eigenvalues of the selfadjoint operator 1 ρ(bb ). Furthermore, it follows from the foregoing computation that ρ(b)e k = ρ(bk+1 )ξ ρ(b k )ξ = ρ(bk+1 )ξ ρ(b k+1 )ξ ρ(b k+1 )ξ ρ(b k )ξ = 1 p k+1 e k+1. (2.16) On the other hand, ρ(b )ξ 2 = ρ(b )ξ ρ(b )ξ = ρ(bb )ξ ξ = 0, (2.17) so that ρ(b )ξ = 0. Computing as in (2.15), we obtain ρ(b )e k = ρ(b b k )ξ ρ(b k )ξ = 1 p k e k 1, k > 0. (2.18) Finally, it follows from H Ker (ρ(1 aa )) and (1.23) that ρ(a) is unitary on H. Since it also commutes with ρ(b) and ρ(b ), it belongs to the centre of the representation. Hence, as the center is always trivial in an irreducible representation, ρ(a) has to be a multiple of the identity operator. Therefore, the closed span of the orthonormal vectors {e k } k 0 is invariant under the whole algebra. Consequently, any irreducible -representation on H is unitarily equivalent to one of the first family of representations. The second family is derived by in the same way exchanging the roles of a and b, and p and q. Since, due to the disc-like relations (1.23) (1.24), we have ρ(a) 1 and ρ(b) 1 for any bounded -representation of O(Spq 3 ) [KL93, Proposition IV.1(I)], we can define the C - algebra C(Spq 3 ) of O(S3 pq ) using the sup-norm over all bounded -representations. Furthermore, it follows from Theorem 2.1 that ρ(a) = 1 = ρ(b) for any irreducible representation, so that a = 1 = b. Note also that C(Spq 3 ) in not a graph C -algebra, as its space of classical points is T 2 [HS]. Remark 2.2 Galois coactions are algebraic incarnations of the principal actions in classical geometry. There is an attempt to find the corresponding principality or Galois condition for

12 C -algebras [E-DA00]. In our situation, Definition 2.4 of [E-DA00] defining principal coactions on C -algebras reduces to requiring that C(Spq 3 ) R(C(Spq 3 )) be norm dense in C(S3 pq ) C(U(1)). Since the powers of u form a topological basis of C(U(1)), it suffices to note that 1 u µ C(Spq) 3 R (C(Spq)). 3 The latter follows from Lemma 4.2, so that the coaction R : C(Spq) 3 ) C(U(1)) is principal in the sense of [E-DA00]. C(S 3 pq 3 K-theory of C(S 3 pq ) Theorem 3.1 The K-groups of the C*-algebra C(S 3 pq ) are K 0(C(S 3 pq )) = Z = K 1 (C(S 3 pq )). Proof. Let T denote the Toeplitz algebra, and s its generating proper isometry (unilateral shift). The ideal of T generated by 1 ss is isomorphic with the C -algebra K of compact operators on a separable Hilbert space. We denote by π the canonical surjection from T T onto (T T )/(K K). Lemma 3.2 The C -algebras C(S 3 pq) and (T T )/(K K) are isomorphic. Proof. The universality of C(Spq) 3 for the relations (1.23) (1.26) and representation formulas (2.1) (2.2) imply that there exists a C -algebra homomorphism α : C(Spq 3 ) (T T )/(K K) such that ( ( α(a) = π(ρ 2θ (a) 1) = π 1 q n+1 ) ) 1 q n s n+1 s n 1, (3.1) α(b) = π(1 ρ 1θ (b)) = π n=0 ( n=0 ( 1 p n+1 1 p n ) 1 s n+1 s n ). (3.2) (We abuse notation by denoting with the same symbol representations of O(S 3 pq ) and C(S3 pq ).) Let us now construct the inverse of α. By (1.23) we have a a = 1 q+qaa 1 q, whence a a is invertible. Therefore, so is a = a a. Likewise, (1.24) implies that b is invertible. As both a a 1 and b b 1 are isometries, we can define a C -algebra homomorphism β : T T C(S 3 pq ) by β(s 1) = a a 1, β(1 s) = b b 1. (3.3) It follows from Theorem 2.1 that 1 is an isolated point of the spectrum of 1 aa with the corresponding spectral projection 1 a a 2 a. Hence 1 a a 2 a belongs to the C -subalgebra of C(S 3 pq ) generated by 1 aa. Likewise, 1 b b 2 b belongs to the C -subalgebra of C(S 3 pq ) generated by 1 bb. Furthermore, the spectral projections are orthogonal because the relation (1.26) implies that the eigenvectors ψ 1 and ψ 2, given by (1 aa )ψ 1 = ψ 1 and (1 bb )ψ 2 = ψ 2, respectively, are orthogonal: ψ 1 ψ 2 = (1 aa )ψ 1 (1 bb )ψ 2 = ψ 1 (1 aa )(1 bb )ψ 2 = 0. (3.4) Thus β((1 ss ) (1 ss )) = (1 a a 2 a )(1 b b 2 b ) = 0. Since the smallest ideal of T T containing (1 ss ) (1 ss ) coincides with K K, we have β(k K) = {0}, and

13 consequently β induces a C -algebra homomorphism β : (T T )/(K K) C(S 3 pq). It is straightforward to verify on the generators that α β = id: (α β)(π(s 1)) = α(a a 1 ) = π(ρ 2θ (a a 1 ) 1) = π(s 1). (3.5) (The case 1 s is analogous.) For the identity β α = id, note that ρ 2θ and ρ 1θ are injective on the C -subalgebras C a and C b generated by a and b, respectively. Indeed, since C(D r ) is the universal C -algebra for the relation z z rzz = 1 r, r (0, 1), we have natural C -algebra epimorphisms π a : C(D q ) C a and π b : C(D p ) C b. On the other hand, ρ 2θ π a and ρ 1θ π b coincide with the faithful representation π I [KL93, p.14], so that ρ 2θ Ca and ρ 1θ Cb are injective. On the other hand, ρ 2θ ((β α)(a) a) = ρ 2θ (β(π(ρ 2θ (a) 1) a) = ( 1 q n+1 1 q n )s n+1 s n 1 ρ 2θ (a) n=0 = 0. (3.6) Similarly, ρ 1θ ((β α)(b) b) = 0. Consequently, β α = id. As shown in the foregoing lemma, there exists the following short exact sequence of C -algebras 0 K K j T T π C(S 3 pq) 0, (3.7) where j is the inclusion map. Applying the Künneth formula and remembering K 0 (K) = K 0 (T ) = Z, K 1 (K) = K 1 (T ) = 0, reduces the six-term exact sequence corresponding to (3.7) to 0 K 1 (C(Spq 3 )) Z j Z π K 0 (C(Spq 3 )) 0. (3.8) Due to the exactness of this sequence, to end the proof it suffices to show that j = 0. Note that j goes from K 0 (K K) to K 0 (T T ). Put p = 1 ss. Then p p K K is a minimal projection generating K 0 (K K), and we have j ([p p]) = [p p] K 0 (T T ). In K 0 (T T ) we obviously have [p p]+[(1 p) p] = [1 p]. On the other hand, (s p)(s p) = (1 p) p and (s p) (s p) = 1 p, so that (1 p) p and 1 p are Murray-von Neumann equivalent. Hence [1 p] = [(1 p) p], which implies that j = 0. To end with, let us compare the geometry behind our computation and the corresponding calculations in [MNW90] and [M-K91a]. As can be expected, in all three cases the K-groups are obtained from the 6-term exact sequence of K-theory. Also in all three cases, they coincide with their classical counterparts. However, the short exact sequence giving rise to the 6-term exact sequence is each time different: [MNW90, (0.2)], [M-K91a, p.355], (3.7). Considering the geometric meaning of the employed C -algebras (e.g., K corresponds to C 0 (R 2 ), T to C(D), where D is the unit disc in R 2 ; see the Introduction in [HMS]), we obtain the corresponding classical short exact sequences: 0 C 0 (R 2 S 1 ) C(S 3 ) C(S 1 ) 0, (3.9) 0 C(S 3 ) C((D S 1 ) (D S 1 )) C(T 2 ) 0, (3.10) 0 C 0 (R 4 ) C(D D) C(S 3 ) 0. (3.11)

14 The first sequence means that removing S 1 from S 3 leaves a boundary-less solid torus. Think of S 3 = {(c 1, c 2 ) D D c c 2 2 = 1} as a field of 2-tori over the internal points of [0,1] bounded by circles at the endpoints (e.g., take c 1 2 [0, 1] as the interval parameter). Remove S 1 given by c 1 = 0 ( c 2 = 1). What remains is S 1 times a field of circles over the internal points of (0,1] shrinking to a point at 1. The latter is an open disc (homeomorphic with R 2 ). The second sequence depicts gluing of two solid tori along their boundaries, which is known as the Heegaard splitting of S 3. Finally, to visualize the last sequence, recall that we can think of S 3 as the set {(z 1, z 2 ) D D (1 z 1 )(1 z 2 ) = 0} (see Proposition 1.6 and divide by (1 + z 1 )(1 + z 2 )). Removing S 3 from D D leaves all points (z 1, z 2 ) D D such that (1 z 1 )(1 z 2 ) 0, which is precisely the Cartesian product of two open discs (homeomorphic with R 4 ). 4 Hopf-Galois aspects of O(S 2 pq ) O(S3 pq ) Theorem 4.1 The locally trivial O(U(1))-extension O(Spq 2 ) O(S3 pq ) is a relatively projective Hopf-Galois extension. Proof. We proceed by constructing a strong connection l (see Subsection 1.3). Denote by can the lifting (m id) (id R ) of the canonical map can. (Here m stands for the multiplication map.) First we have: Lemma 4.2 The map can : O(Spq 3 ) O(S3 pq ) O(S3 pq ) O(U(1)) is surjective. Proof. We define a linear map l : O(U(1)) O(S 3 pq) O(S 3 pq) l(h) = h [1] h [2] (summation understood), by giving its values on the basis elements u µ, µ Z: l(1) = 1 1, (4.1) l(u) = a a + qb(1 aa ) b, l(u ) = b b + pa(1 bb ) a, (4.2) l(u µ ) = u [1] l(u µ 1 )u [2], l(u µ ) = u [1] l(u (µ 1) )u [2], µ > 0. (4.3) We now show can l = 1 id, which suffices to prove our claim due to the left P-linearity of can. First, for the generator u we have ( can l)(u) = a a u + qbb (1 aa ) u = (a a + qbb qaa bb ) u = (qaa + 1 q + qbb qaa bb ) u = 1 u. (4.4) Here we used (1.27) and the relations (1.23), (1.25) and (1.26). Analogously, using (1.24) instead of (1.23), we obtain ( can l)(u ) = b b u + paa (1 bb ) u = (b b + paa pbb aa ) u = (pbb + 1 p + paa pbb aa ) u = 1 u. (4.5)

15 The proof is completed by induction. Assume ( can l)(u k ) = 1 u k. Then ( can l)(u k+1 ) = can(u [1] l(u k )u [2] ) = u [1] (( can l)(u k )) R (u [2] ) = u [1] (1 u k ) R (u [2] ) = a (1 u k )(a u) + qb(1 aa )(1 u k )(b u) = (a a + qbb qaa bb ) u k+1 = 1 u k+1. (4.6) The case ( can l)(u k ) = 1 u k can be handled in the same way. Corollary 4.3 The extension O(Spq 2 ) O(S3 pq ) is O(U(1))-Galois. Proof. The surjectivity of can entails the surjectivity of can, so that it only remains to show the injectivity of the canonical map. Since there is a Haar functional f H on O(U(1)), we get the total integral of Doi by composing it with the unit map: j := η f H : O(U(1)) O(S 3 pq). Hence the injectivity of can follows from its surjectivity by Remark 3.3 and Theorem I of [S-HJ90]. Lemma 4.4 The map l is a strong connection. Proof. Consider the following diagram (cf. [DGH01, (1.25)]: O(Spq 3 ) O(S3 pq ) l π B can T 7 O(U(1)) O(Spq) 3 can O(S 2 O(Spq) 3 O(U(1)). pq) O(S 3 pq) The right triangle part of the diagram commutes by construction, and we have already shown that the big triangle commutes. Thus the commutativity of the left triangle follows from the injectivity of can. This means that l is a lifting of the translation map. It is by construction unital, so that it remains to show its bicolinearity, which is again done inductively. First, it is immediate to see the equality (l id) = (id R ) l on the generator u. We can write this as u [1] u [2] u = u [1] R (u [2] ). (4.7) Now, assume that ((l id) )(u k ) = ((id R ) l)(u k ) for some k > 0. Then ((l id) )(u k+1 ) = l(u k+1 ) u k+1 = u [1] l(u k )u [2] u k+1. (4.8) On the other hand, taking advantage of the inductive assumption, we obtain ((id R ) l)(u k+1 ) = (id R )(u [1] l(u k )u [2] ) = u [1] ((id R )(l(u k ))) R (u [2] ) = u [1] (l id)( (u k )) R (u [2] ) = u [1] (l(u k ) u k ) R (u [2] ) = u [1] l(u k )u [2] u k+1. (4.9)

16 A similar argument can be made with u in place of u. This proves the right colinearity of l due to the fact that {u µ } µ Z is a basis of O(U(1)). The proof of the left colinearity is fully analogous, now using u u [1] u [2] = L (u [1] ) u [2] (4.10) and its -version. We now provide an explicit formula for l. Put x = a a and y = qb(1 aa ) b, and consider them as elements of O(Spq) 3 op O(Spq), 3 where the superscript op indicates the opposite algebra. Then the formula for l(u k ) reads l(u k ) = (x + y) k. Due to (1.23), yx = qxy, so that we can use the formula (x + y) n = n k=0 ( n k Consequently, we obtain ) q x k y n k, l(u n ) = n k=0 ( n k ( ) n = k q ) q (q 1) (q n 1) (q 1) (q k 1)(q 1) (q n k 1). (4.11) q n k (1 aa ) n k a k b n k a k b n k. (4.12) The formula for l(u n ) can be derived exchanging the roles of a and b, and q and p. Notice also that, since can l = id, we have Thus (4.12) entails the following identity in O(S 3 pq ): m l = (id ε) can l = ε. (4.13) n k=0 ( n k ) q q n k (1 aa ) n k a k b n k a k b n k = 1. (4.14) A similar identity follows from the explicit formula for l(u k ). 5 Quantum Hopf line bundles Consider the 1-dimensional corepresentations of O((U(1))), ρ µ (1) = 1 u µ, µ Z. We can identify Hom ρµ (C, O(S 3 pq )) with O(S3 pq ) µ := {p O(S 3 pq ) R(p) = p u µ }. Since the powers of u form a basis of O((U(1))), we have the direct sum decomposition O(S 3 pq ) = µ Z O(S3 pq ) µ as O(S 2 pq)-bimodules. According to the general result referred to in Subsection 1.3, the strong connection determines projector matrices of the associated modules. Using formula (4.12), one finds explicitly projectors E n = R T n L n, n N, where R n = (b n, ab n 1,...,a n ), (5.1) ( ( ) ) L n = n q n (1 aa ) n b n, ( ) n q n 1 (1 aa ) n 1 a b n 1,, ( ) n a n. 0 1 n q q q (5.2) E n is given by a similar formula, with a and b exchanged, and q replaced by p. For µ = 1, we have ( ) a ( E 1 := a b qb(1 aa ) ) ( ) aa qa(1 aa = )b a b q(1 aa )b. (5.3) b

17 To simplify computations, let us put p = q from now on. Our goal now is to prove that the Hopf-Galois extension O(Spq 2 ) O(S3 pq ) is not cleft. We do it by showing that the K 0-class of the idempotent E 1 is not trivial. This, in turn, we show by computing an appropriate invariant of K-theory. The invariant has a very simple form, namely it is the Chern-Connes pairing of a trace (0-cyclic cocycle) with E 1. We find the needed trace on O(Spq 2 ) from its representation theory. Lemma 5.1 Let ρ 1, ρ 2 : O(Spq 2 ) B(H) be the two infinite-dimensional representations given by (1.21) (1.22), and let Tr denote the operator trace. Then the formula defines a trace on O(S 2 qq ). tr(f) := Tr(ρ 2 (f) ρ 1 (f)), (5.4) Proof. First we show that all operators ρ 2 (f) ρ 1 (f), f O(Sqq 2 ), are trace-class. We know from [CM00, Proposition 20 (iii)] that the elements f1 kf 1 l, k, l 0, and fk 1 f 0f1 l, k, l 0, form a basis of the vector space O(Sqq), 2 so that it is sufficient to show the desired property for these elements. Put A kl = (ρ 2 ρ 1 )(f1 k f 0 f1 l ). One finds, by a straightforward computation using (1.21) (1.22), the following explicit expressions: (ρ 2 ρ 1 )(f k 1 f l 1 ) = 0, k, l 0, (5.5) 0 l > n, A kl e n = q n e n k = l = 0, q n l n i=n l+1 (1 qi ) 1 2 e n l k = 0, 1 l n, q n n+k i=n+1 (1 qi ) 1 2 e n+k l = 0, k 1, (5.6) q n l n l+k i=n l+1 (1 qi ) 1 2 n i=n l+1 (1 qi ) 1 2 e n l+k 1 l n, 1 k. Since A kl = A lk, we have A kl 2 = A lk A kl. Furthermore, we obtain 0 l > n, A lk A kl e n = q 2n e n k = l = 0, q 2(n l) n i=n l+1 (1 qi ) e n k = 0, 1 l n, q 2n n+k i=n+1 (1 qi ) e n l = 0, 1 k, q 2(n l) n l+k i=n l+1 (1 qi ) n i=n l+1 (1 qi ) e n 1 k, 1 l n. (5.7) As all numbers (1 q j ) appearing in (5.7) are less than 1, it follows that A kl e n = a kl e n with a kl q l q n. Due to q (0, 1), this immediately implies that A kl are trace-class. Consequently, tr is well-defined on O(S 2 qq).

18 To complete the proof, we have to show that tr vanishes on commutators. Making use of the operator identity [A, B] [Ã, B] = 1 2 ([B, Ã A] + [ B B, Ã] + [ B, Ã A] + [ B B, A]), (5.8) one can write [ρ 2 (f), ρ 2 (g)] [ρ 1 (f), ρ 1 (g)] as an element of [L 1 (H), B(H)] (the commutator of trace-class with bounded). Since by [RS72, Theorem VI.25]) Tr[L 1 (H), B(H)] = 0, we have the desired tr[o(spq), 2 O(Spq)] 2 = 0. We now show the non-freeness of the projective module O(S 3 qq ) 1 by computing the Chern- Connes pairing between of its class in K 0 (O(S 2 qq )) with the above constructed trace on O(S2 qq ). Lemma 5.2 tr, [O(S 3 qq )(1) ] = 1. Proof. Using (5.3) and (1.23) (1.26), we have tr, [O(S 3 qq )(1) ] = tr(tr M2 (E 1 )) = tr(aa + q(1 aa )b b) = tr(aa + q(1 aa )(q(bb 1) + 1)) = tr(q + (1 q)aa ). (5.9) Taking advantage of (1.29), this can be expressed in terms of f 0 and f 1. Using again the commutation relations, we get aa = 1 bb + ab(ab) = 1 f 0 + f 1 f 1 (injection ι suppressed). (5.10) Combining the last formula with (5.5) (5.6), yields tr(q + (1 q)aa ) = (1 q)tr(aa ) = (q 1)tr(f 0 ) = (q 1) q n = 1, (5.11) n=0 as needed. Since every free module can be represented in K 0 by the identity matrix, the pairing between tr and the K 0 -class of any free module always yields zero. Thus the left module O(S 3 qq ) 1 is not (stably) free. Now, reasoning as in [HM99, Section 4], we arrive at the highlight of this section: Proposition 5.3 The O(U(1))-Galois extension O(Sqq 2 ) O(S3 qq ) is not cleft. Remark 5.4 Note that in [CM] it was only shown that O(Sqq) 3 is not isomorphic to the tensor product O(Sqq) 2 O(U(1)) (non-triviality). Here we prove that O(Sqq) 3 is not a cross-product O(Sqq 2 ) O(U(1)). For a discussion concerning non-trivial versus non-cleft, see the end of Section 4 in [DHS99]. Acknowledgments. The authors are indebted to A. Sitarz for a very helpful discussion, and to T. Brzeziński and P. Schauenburg for their help with the proofreading. P.M.H. has been

19 supported by a Marie Curie Fellowship of the European Community under the contract number HPMF-CT P.M.H. is also grateful to the Naturwissenschaftlich-Theoretisches Zentrum die Universität Leipzig and the University of Newcastle, Australia, for their hospitality and financing his visit to Leipzig and Newcastle, respectively. R.M. has been supported by the Deutsche Forschungsgemeinschaft. R.M. is also grateful for hospitality and financial support to the Universität München. R.M. and W.S. thank the European Commission for covering the expenses of their stay in Warsaw during the Banach Centre school/conference Noncommutative Geometry and Quantum Groups. References [BH] [BM93] [BM00] [BK96] [CE56] Brzeziński T., Hajac P.M.: Relatively projective extensions of Galois type. Preprint of the University of Wales, Swansea, MRR Brzeziński, T., Majid, S.: Quantum group gauge theory on quantum spaces, Commun. Math. Phys. 157, (1993); Erratum 167, 235 (1995), hep-th/ Brzeziński, T., Majid, S.: Quantum geometry of algebra factorisations and coalgebra bundles, Commun. Math. Phys. 213, (2000) Budzyński R.J., Kondracki W.: Quantum principal fibre bundles: Topological aspects, Rep. Math. Phys. 37, (1996), hep-th/ Cartan H., Eilenberg S.: Homological Algebra. Princeton University Press, Princeton, 1956 [CM00] Calow D., Matthes R.: Covering and gluing of algebras and differential algebras, J. Geom. Phys. 32, (2000) [CM] [D-L] Calow D., Matthes R.: Connections on locally trivial quantum principal fibre bundles, to appear in J. Geom. Phys., math.qa/ D abrowski L.: Low dimensional quantum spheres. Preprint SISSA 79/2001/FM [DGH01] D abrowski L., Grosse H., Hajac P.M.: Strong connections and Chern-Connes pairing in the Hopf-Galois theory, Commun. Math. Phys. 220, (2001) [DHS99] D abrowski L., Hajac P.M., Siniscalco P.: Explicit Hopf-Galois Description of SL 2πi e (2)-Induced Frobenius Homomorphisms. In: Kastler, D., Rosso, M., T. 3 Schucker (eds.) Enlarged Proceedings of the ISI GUCCIA Workshop on Quantum Groups, Noncommutative Geometry and Fundamental Physical Interactions, Commack New York: Nova Science Pub, Inc., 1999, pp [D-M96] Durdevic M.: Geometry of quantum principal bundles. I, Commun. Math. Phys. 175, (1996) [E-DA00] Ellwood D.A.: A new characterisation of principal actions, J. Funct. Anal. 173, (2000).

20 [HM99] [HMS] [HS] [KR97] [KL93] [KS97] Hajac P.M., Majid S.: Projective module description of the q-monopole, Commun. Math. Phys. 206, (1999) Hajac P.M., Matthes R., Szymański W.: Quantum real projective space, disc and sphere, to appear in Algebr. Represent. Theory, math.qa/ Hong J.H., Szymański W.: The primitive ideal space of the C -algebras of infinite graphs, in preparation. Kadison R.V., Ringrose J.R.: Fundamentals of the Theory of Operator Algebras. Volume I: Elementary Theory. Graduate Studies in Mathematics 15, AMS, 1997 Klimek S., Lesniewski A.: A two-parameter quantum deformation of the unit disc, J. Funct. Anal. 115, 1 23 (1993) Klimyk A., Schmüdgen K.: Quantum Groups and their Representations, Springer- Verlag, Berlin Heidelberg, [MNW90] Masuda T., Nakagami Y., Watanabe J.: Noncommutative differential geometry on the quantum SU(2). I. An algebraic viewpoint, K-Theory 4, (1990) [M-K91a] Matsumoto K.: Non-commutative three dimensional spheres, Japan J. Math. 17, (1991) [M-K91b] Matsumoto, K.: Non-commutative three dimensional spheres II non-commutative Hopf fibering, Yokohama Math. J. 38, (1991) [MT92] [M-S93] Matsumoto K., Tomiyama J.: Non-commutative lens spaces, J. Math. Soc. Japan 44, (1992) Montgomery, S.: Hopf Algebras and Their Actions on Rings. Regional Conference Series in Mathematics no. 82. AMS, 1993 [P-GK99] Pedersen, G.K.: Pullback and pushout constructions in C*-algebra theory, J. Funct. Anal. 167, (1999) [P-MJ94] Pflaum M.J.: Quantum groups on fibre bundles, Commun. Math. Phys. 166, (1994) [RS72] Reed M., Simon B.: Methods of modern mathematical physics, I: Functional analysis, Academic Press, New York, 1972 [R-MA90] Rieffel M.A.: Noncommutative tori a case study of noncommutative differentiable manifolds. Geometric and topological invariants of elliptic operators (Brunswick, ME, 1988), , Contemp. Math., 105, Amer. Math. Soc., Providence, RI, 1990 [S-HJ90] Schneider H.-J.: Principal homogeneous spaces for arbitrary Hopf algebras, Israel J. Math. 72, (1990) [W-NE93] Wegge-Olsen N.E.: K-theory and C -algebras, Oxford University Press, Oxford New York Tokyo, 1994.