The K-theory of free quantum groups

In this paper we study the K -theory of free quantum groups in the sense of Wang and Van Daele, more precisely, of free products of free unitary and free orthogonal quantum groups. We show that these quantum groups are K -amenable and establish an analogue of the Pimsner–Voiculescu exact sequence. As a consequence, we obtain in particular an explicit computation of the K -theory of free quantum groups. Our approach relies on a generalization of methods from the Baum–Connes conjecture to the framework of discrete quantum groups. This is based on the categorical reformulation of the Baum–Connes conjecture developed by Meyer and Nest. As a main result we show that free quantum groups have a γ -element and that γ=1 . As an important ingredient in the proof we adapt the Dirac-dual Dirac method for groups acting on trees to the quantum case. We use this to extend some permanence properties of the Baum–Connes conjecture to our setting

Noncommutative elliptic theory. Examples

We study differential operators, whose coefficients define noncommutative algebras. As algebra of coefficients, we consider crossed products, corresponding to action of a discrete group on a smooth manifold. We give index formulas for Euler, signature and Dirac operators twisted by projections over the crossed product. Index of Connes operators on the noncommutative torus is computed.Comment: 23 pages, 1 figur

On globally non-trivial almost-commutative manifolds

Within the framework of Connes' noncommutative geometry, we define and study globally non-trivial (or topologically non-trivial) almost-commutative manifolds. In particular, we focus on those almost-commutative manifolds that lead to a description of a (classical) gauge theory on the underlying base manifold. Such an almost-commutative manifold is described in terms of a 'principal module', which we build from a principal fibre bundle and a finite spectral triple. We also define the purely algebraic notion of 'gauge modules', and show that this yields a proper subclass of the principal modules. We describe how a principal module leads to the description of a gauge theory, and we provide two basic yet illustrative examples.Comment: 34 pages, minor revision

Quantum Field Theory on the Noncommutative Plane with Eq(2)E_q(2) Symmetry

We study properties of a scalar quantum field theory on the two-dimensional noncommutative plane with $E_q(2)$ quantum symmetry. We start from the consideration of a firstly quantized quantum particle on the noncommutative plane. Then we define quantum fields depending on noncommutative coordinates and construct a field theoretical action using the $E_q(2)$-invariant measure on the noncommutative plane. With the help of the partial wave decomposition we show that this quantum field theory can be considered as a second quantization of the particle theory on the noncommutative plane and that this field theory has (contrary to the common belief) even more severe ultraviolet divergences than its counterpart on the usual commutative plane. Finally, we introduce the symmetry transformations of physical states on noncommutative spaces and discuss them in detail for the case of the $E_q(2)$ quantum group.Comment: LaTeX, 26 page

Equivariant comparison of quantum homogeneous spaces

We prove the deformation invariance of the quantum homogeneous spaces of the q-deformation of simply connected simple compact Lie groups over the Poisson-Lie quantum subgroups, in the equivariant KK-theory with respect to the translation action by maximal tori. This extends a result of Neshveyev-Tuset to the equivariant setting. As applications, we prove the ring isomorphism of the K-group of Gq with respect to the coproduct of C(Gq), and an analogue of the Borsuk-Ulam theorem for quantum spheres.Comment: 21 page

On Pythagoras' theorem for products of spectral triples

We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some unitality condition. We show that these inequalities are optimal, and provide non-unital counter-examples inspired by K-homology.Comment: Paper slightly shortened to match the published version; Lett. Math. Phys. 201

The Hopf modules category and the Hopf equation

We study the Hopf equation which is equivalent to the pentagonal equation, from operator algebras. A FRT type theorem is given and new types of quantum groups are constructed. The key role is played now by the classical Hopf modules category. As an application, a five dimensional noncommutative noncocommutative bialgebra is given.Comment: 30 pages, Letax2e, Comm. Algebra in pres

Extensions and degenerations of spectral triples

For a unital C*-algebra A, which is equipped with a spectral triple and an extension T of A by the compacts, we construct a family of spectral triples associated to T and depending on the two positive parameters (s,t). Using Rieffel's notation of quantum Gromov-Hausdorff distance between compact quantum metric spaces it is possible to define a metric on this family of spectral triples, and we show that the distance between a pair of spectral triples varies continuously with respect to the parameters. It turns out that a spectral triple associated to the unitarization of the algebra of compact operators is obtained under the limit - in this metric - for (s,1) -> (0, 1), while the basic spectral triple, associated to A, is obtained from this family under a sort of a dual limiting process for (1, t) -> (1, 0). We show that our constructions will provide families of spectral triples for the unitarized compacts and for the Podles sphere. In the case of the compacts we investigate to which extent our proposed spectral triple satisfies Connes' 7 axioms for noncommutative geometry.Comment: 40 pages. Addedd in ver. 2: Examples for the compacts and the Podle`s sphere plus comments on the relations to matricial quantum metrics. In ver.3 the word "deformations" in the original title has changed to "degenerations" and some illustrative remarks on this aspect are adde

Classification of minimal actions of a compact Kac algebra with amenable dual

We show the uniqueness of minimal actions of a compact Kac algebra with amenable dual on the AFD factor of type II$_1$. This particularly implies the uniqueness of minimal actions of a compact group. Our main tools are a Rohlin type theorem, the 2-cohomology vanishing theorem, and the Evans-Kishimoto type intertwining argument.Comment: 68 pages, Introduction rewritten; minor correction

Groupoids and an index theorem for conical pseudo-manifolds

We define an analytical index map and a topological index map for conical pseudomanifolds. These constructions generalize the analogous constructions used by Atiyah and Singer in the proof of their topological index theorem for a smooth, compact manifold $M$. A main ingredient is a non-commutative algebra that plays in our setting the role of $C_0(T^*M)$. We prove a Thom isomorphism between non-commutative algebras which gives a new example of wrong way functoriality in $K$-theory. We then give a new proof of the Atiyah-Singer index theorem using deformation groupoids and show how it generalizes to conical pseudomanifolds. We thus prove a topological index theorem for conical pseudomanifolds