We construct noncommutative principal fibrations S_θ^7 \to S_θ^4 which are deformations of the classical SU(2) Hopf fibration over the four sphere. We realize the noncommutative vector bundles associated to the irreducible representations of SU(2) as modules of coequivariant maps and construct corresponding projections. The index of Dirac operators with coefficients in the associated bundles is computed with the Connes-Moscovici local index formula. The algebra inclusion $A(S_θ^4) \into A(S_θ^7)$ is an example of a not trivial quantum principal bundle.
We present examples of noncommutative four-spheres that are base spaces of $SU(2)$-principal bundles with noncommutative seven-spheres as total spaces. The noncommutative coordinate algebras of the four-spheres are generated by the entries of a projection which is invariant under the action of $SU(2)$. We give conditions for the components of the Connes--Chern character of the projection to vanish but the second (the top) one. The latter is then a non zero Hochschild cycle that plays the role of the volume form for the noncommutative four-spheres.
This paper describes the Leray spectral sequence associated to a differential fibration. The differential fibration is described by base and total differential graded algebras. The cohomology used is noncommutative differential sheaf cohomology. For this purpose, a sheaf over an algebra is a left module with zero curvature covariant derivative. As a special case, we can recover the Serre spectral sequence for a noncommutative fibration.
For differential calculi on noncommutative algebras, we construct a twisted de Rham cohomology using flat connections on modules. This has properties similar, in some respects, to sheaf cohomology on topological spaces. We also discuss generalised mapping properties of these theories, and relations of these properties to corings. Using this, we give conditions for the Serre spectral sequence to hold for a noncommutative fibration. This might be better read as giving the definition of a fibration in noncommutative differential geometry. We also study the multiplicative structure of such spectra…
Noncommutative geometry of quantised contact spheres introduced by Omori, Maeda, Miyazaki and Yoshioka is studied. In particular it is proven that these spheres form a noncommutative Hopf fibration in the sense of Hopf-Galois extensions. The monopole (strong) connection is constructed, and projectors describing projective modules of all monopole charges are computed.
We consider noncommutative line bundles associated with the Hopf fibrations of SUq(2) over all Podles spheres and with a locally trivial Hopf fibration of S^3_{pq}. These bundles are given as finitely generated projective modules associated via 1-dimensional representations of U(1) with Galois-type extensions encoding the principal fibrations of SUq(2) and S^3_{pq}. We show that the Chern numbers of these modules coincide with the winding numbers of representations defining them.
We construct noncommutative principal bundles deforming principal bundles with a Drinfeld twist (2-cocycle). If the twist is associated with the structure group then we have a deformation of the fibers. If the twist is associated with the automorphism group of the principal bundle, then we obtain noncommutative deformations of the base space as well. Combining the two twist deformations we obtain noncommutative principal bundles with both noncommutative fibers and base space. More in general, the natural isomorphisms proving the equivalence of a closed monoidal category of modules and its twis…
In this paper, we initiate the study of a parametrised version of Rieffel's strict deformation quantization. We apply it to give a classification of noncommutative principal torus bundles, in terms of parametrised strict deformation quantization of ordinary principal torus bundles. The paper also contains a putative definition of noncommutative non-principal torus bundles.
We introduce in this paper the notion of noncommutative Serre fibration (shortly, NCSF) and show that up to homotopy, every NCCW complex morphism is some noncommutative Serre fibration. We then deduce a six-term exact sequence for the periodic cyclic homology and for K-theory of an arbitrary noncommutative Serre fibration. We also show how to use this technique to compute K-theory and cyclic theory of some noncommutative quotients.
We outline how Drinfeld twist deformation techniques can be applied to the deformation quantization of principal bundles into noncommutative principal bundles, and more in general to the deformation of Hopf-Galois extensions. First we twist deform the structure group in a quantum group, and this leads to a deformation of the fibers of the principal bundle. Next we twist deform a subgroup of the group of authomorphisms of the principal bundle, and this leads to a noncommutative base space. Considering both deformations we obtain noncommutative principal bundles with noncommutative fiber and bas…
Spectral triples over noncommutative principal $\T^n$-bundles are studied, extending recent results about the noncommutative geometry of principal U(1)-bundles. We relate the noncommutative geometry of the total space of the bundle with the geometry of the base space. Moreover, strong connections are used to build new Dirac operators. We discuss as a particular case the commutative case, the noncommutative tori and theta deformed manifolds.
We study spectral triples over noncommutative principal U(1)-bundles of arbitrary dimension and formulate a compatibility condition between the connection and the Dirac operator on the total space and on the base space of the bundle. Examples of low dimensional noncommutative tori are analyzed in more detail and all connections found that are compatible with an admissible Dirac operator. Conversely, a family of new Dirac operators on the noncommutative tori, which arise from the base-space Dirac operator and a suitable connection is exhibited. These examples are extended to the theta-deformed …
We study noncommutative principal bundles (Hopf-Galois extensions) in the context of coquasitriangular Hopf algebras and their monoidal category of comodule algebras. When the total space is quasi-commutative, and thus the base space subalgebra is central, we define the gauge group as the group of vertical automorphisms or equivalently as the group of equivariant algebra maps. We study Drinfeld twist (2-cocycle) deformations of Hopf-Galois extensions and show that the gauge group of the twisted extension is isomorphic to the gauge group of the initial extension. In particular, noncommutative p…
We prove in this paper a noncommutative version of Leray Spectral Sequence Theorem and then Leray-Serre Spectral Theorem for noncommutative Serre fibrations: for NC Serre fibration there are converging spectral sequences with $\E^2$ terms as $\E^2_{p,q} = \HP_p(A; \HP_q(B,A)) \Longrightarrow \HP_{p+q}(B)$ and $\E^2_{p,q} = \HP_p(A;\K_q(B,A)) \Longrightarrow \K_{p+q}(B)$.
We present two classes of examples of Hopf algebroids associated with noncommutative principal bundles. The first comes from deforming the principal bundle while leaving unchanged the structure Hopf algebra. The second is related to deforming a quantum homogeneous space; this needs a careful deformation of the structure Hopf algebra in order to preserve the compatibilities between the Hopf algebra operations.
We present a new, general approach to gauge theory on principal $G$-spectral triples, where $G$ is a compact connected Lie group. We introduce a notion of vertical Riemannian geometry for $G$-$C^\ast$-algebras and prove that the resulting noncommutative orbitwise family of Kostant's cubic Dirac operators defines a natural unbounded $KK^G$-cycle in the case of a principal $G$-action. Then, we introduce a notion of principal $G$-spectral triple and prove, in particular, that any such spectral triple admits a canonical factorisation in unbounded $KK^G$-theory with respect to such a cycle: up to a…
In other to study connections and gauge theories on noncommutative spaces it is useful to use the local trivializations of principal bundles. In this note we show how to use noncommutative localization theory to describe a simple version of cocycle data for the bundles on noncommutative schemes with Hopf algebras in the role of the structure group which locally look like Hopf algebraic smash products. We also show how to use these Čech cocycles for associated vector bundles. We sketch briefly some examples related to quantum groups.
Quantum principal bundles or principal comodule algebras are re-interpreted as principal bundles within a framework of Synthetic Noncommutative Differential Geometry. More specifically, the notion of a noncommutative principal bundle within a braided monoidal category is introduced and it is shown that a noncommutative principal bundle in the category opposite to the category of vector spaces is the same as a faithfully flat Hopf-Galois extension.
Topological T-duality is a transformation taking a gerbe on a principal torus bundle to a gerbe on a principal dual-torus bundle. We give a new geometric construction of T-dualization, which allows the duality to be extended in following two directions. First, bundles of groups other than tori, even bundles of some nonabelian groups, can be dualized. Second, bundles whose duals are families of noncommutative groups (in the sense of noncommutative geometry) can be treated, though in this case the base space of the bundles is best viewed as a topological stack. Some methods developed for the con…
We study the Ehresmann--Schauenburg bialgebroid of a noncommutative principal bundle as a quantization of the classical gauge groupoid of a principal bundle. When the base algebra is in the centre of the total space algebra, the gauge group of the noncommutative principal bundle is isomorphic to the group of bisections of the bialgebroid. In particular we consider Galois objects (non-trivial noncommutative bundles over a point in a sense) for which the bialgebroid is a Hopf algebra. For these we give a crossed module structure for the bisections and the automorphisms of the bialgebroid. Exampl…
We study spectral triples over noncommutative principal U(1) bundles. Basing on the classical situation and the abstract algebraic approach, we propose an operatorial definition for a connection and compatibility between the connection and the Dirac operator on the total space and on the base space of the bundle. We analyze in details the example of the noncommutative three-torus viewed as a U(1) bundle over the noncommutative two-torus and find all connections compatible with an admissible Dirac operator. Conversely, we find a family of new Dirac operators on the noncommutative tori, which ar…
Let $G'$ be a closed subgroup of a topological group $G$. A principal $G$-bundle $X$ is reducible to a locally trivial principal $G'$-bundle $X'$ if and only if there exists a local trivialisation of $X$ such that all transition functions take values in $G'$. We prove a noncommutative-geometric counterpart of this theorem. To this end, we employ the concept of a piecewise-trivial principal comodule algebra as a replacement of a locally trivial compact principal bundle. To illustrate our theorem, first we define a new noncommutative deformation of the $\mathbb{Z}/2\mathbb{Z}$-principal bundle $…
The paper presents applications of Toeplitz algebras in Noncommutative Geometry. As an example, a quantum Hopf fibration is given by gluing trivial U(1) bundles over quantum discs (or, synonymously, Toeplitz algebras) along their boundaries. The construction yields associated quantum line bundles over the generic Podles spheres which are isomorphic to those from the well-known Hopf fibration of quantum SU(2). The relation between these two versions of quantum Hopf fibrations is made precise by giving an isomorphism in the category of right U(1)-comodules and left modules over the C*-algebra of…
The leitmotiv of this review is noncommutative principal U(1)-bundles and associated line bundles. In the first part I give a brief introduction to Hopf-Galois theory and its applications, from field extensions to principal group actions. I then recall Woronowicz' definition of compact quantum group and the notion of noncommutative principal bundle. When the structure group is U(1), there is a construction due to Pimsner that allows to get the total space of a "bundle" (more precisely, a strongly graded C*-algebra) from the base space and a noncommutative "line bundle" (a self-Morita equivalen…
An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the quantum flag manifold viewed as a bundle with a generic Podleś sphere as a fibre, and the quantum twistor bundle viewed as a bundle over the quantum 4-sphere of Bonechi, Ciccoli and Tarlini.
In this review we discuss the global geometry of noncommutative field theories from a deformation point of view: The space-times under consideration are deformations of classical space-time manifolds using star products. Then matter fields are encoded in deformation quantizations of vector bundles over the classical space-time. For gauge theories we establish a notion of deformation quantization of a principal fiber bundle and show how the deformation of associated vector bundles can be obtained.
We propose a simple but effective framework for producing examples of covariant faithfully flat (generalised) Hopf-Galois extensions from a nested pair of quantum homogeneous spaces. Our construction is modelled on the classical situation of a homogeneous fibration $G/N \to G/M$, for $G$ a group, and $N \subseteq M \subseteq G$ subgroups. Variations on Takeuchi's equivalence and Schneider's descent theorem are presented in this context. Quantum flag manifolds and their associated quantum Poisson homogeneous spaces are taken as motivating examples. Moreover, a large collection of noncommutative…
This work is a continuation of the former paper in which principal bundles are given by compact spin toric manifolds and compact connected semisimple Lie groups. In this paper, ambient manifolds are assumed to be compact toric manifolds and Lie groups are compact connected. The main result is that locally smooth manifolds are the instanton moduli spaces of the noncommutative vector bundles over noncommutative 4-manifolds associated with highest weights of the compact Lie groups. Moreover their dimensions are described explicitly in terms of given principal bundles and highest weights. As a cor…
The quantum flag manifold ${SU_q(3)/\mathbb{T}^2}$ is interpreted as a noncommutative bundle over the quantum complex projective plane with the quantum or Podleś sphere as a fibre. A connection arising from the (associated) quantum principal $U_q(2)$-bundle is described.
In this paper we establish a notion of deformation quantization of a surjective submersion which is specialized further to the case of a principal fibre bundle: the functions on the total space are deformed into a right module for the star product algebra of the functions on the base manifold. In case of a principal fibre bundle we require in addition invariance under the principal action. We prove existence and uniqueness of such deformations. The commutant within all differential operators on the total space is computed and gives a deformation of the algebra of vertical differential operator…
We study the Ehresmann--Schauenburg bialgebroid of a noncommutative principal bundle as a quantization of the gauge groupoid of a classical principal bundle. We show that the gauge group of the noncommutative bundle is isomorphic to the group of bisections of the bialgebroid, and we give a crossed module structure for the bisections and the automorphisms of the bialgebroid. Examples illustrating these constructions include: Galois objects of Taft algebras, a monopole bundle over a quantum spheres and a not faithfully flat Hopf--Galois extension of commutative algebras. The latter two examples …
It is shown that the principle of locality and noncommutative geometry can be connnected by a sheaf theoretical method. In this framework quantum spaces are introduced and examples in mathematical physics are given. With the language of quantum spaces noncommutative principal and vector bundles are defined and their properties are studied. Important constructions in the classical theory of principal fibre bundles like associated bundles and differential calculi are carried over to the quantum case. At the end $q$-deformed instanton models are introduced for every integral index.
A generalization of classical gauge theory is presented, in the framework of a noncommutative-geometric formalism of quantum principal bundles over smooth manifolds. Quantum counterparts of classical gauge bundles, and classical gauge transformations, are introduced and investigated. A natural differential calculus on quantum gauge bundles is constructed and analyzed. Kinematical and dynamical properties of corresponding gauge theories are discussed.
A noncommutative-geometric formalism of framed principal bundles is sketched, in a special case of quantum bundles (over quantum spaces) possessing classical structure groups. Quantum counterparts of torsion operators and Levi-Civita type connections are analyzed. A construction of a natural differential calculus on framed bundles is described. Illustrative examples are presented.
We explore factorizations of noncommutative Riemannian spin geometries over commutative base manifolds in unbounded KK-theory. After setting up the general formalism of unbounded KK-theory and improving upon the construction of internal products, we arrive at a natural bundle-theoretic formulation of gauge theories arising from spectral triples. We find that the unitary group of a given noncommutative spectral triple arises as the group of endomorphisms of a certain Hilbert bundle; the inner fluctuations split in terms of connections on, and endomorphisms of, this Hilbert bundle. Moreover, we …
A noncommutative-geometric generalization of the classical formalism of frame bundles is developed, incorporating into the theory of quantum principal bundles the concept of the Levi-Civita connection. The construction of a natural differential calculus on quantum principal frame bundles is presented, including the construction of the associated differential calculus on the structure group. General torsion operators are defined and analyzed. Illustrative examples are presented.
A self Morita equivalence over an algebra B, given by a B-bimodule E, is thought of as a line bundle over B. The corresponding Pimsner algebra O_E is then the total space algebra of a noncommutative principal circle bundle over B. A natural Gysin-like sequence relates the KK-theories of O_E and of B. Interesting examples come from O_E a quantum lens space over B a quantum weighted projective line (with arbitrary weights). The KK-theory of these spaces is explicitly computed and natural generators are exhibited.
Quantum affine bundles are quantum principal bundles with affine quantum structure groups. A general theory of quantum affine bundles is presented. In particular, a detailed analysis of differential calculi over these bundles is performed, including the description of a natural differential calculus over the structure affine quantum group. A particular attention is given to the study of the specific properties of quantum affine connections and several purely quantum phenomena appearing in the context of quantum affine bundles. Various interesting constructions are presented. In particular, the…
We semiclassicalise the theory of quantum group principal bundles to the level of Poisson geometry. The total space $X$ is a Poisson manifold with Poisson-compatible contravariant connection, the fibre is a Poisson-Lie group in the sense of Drinfeld with bicovariant Poisson-compatible contravariant connection, and the base has an inherited Poisson structure and Poisson-compatible contravariant connection. The latter are known to be the semiclassical data for a quantum differential calculus. The theory is illustrated by the Poisson level of the $q$-Hopf fibration on the standard $q$-sphere. We …
We study certain principal actions on noncommutative C*-algebras. Our main examples are the Z_p- and T-actions on the odd-dimensional quantum spheres, yielding as fixed-point algebras quantum lens spaces and quantum complex projective spaces, respectively. The key tool in our analysis is the relation of the ambient C*-algebras with the Cuntz-Krieger algebras of directed graphs. A general result about the principality of the gauge action on graph algebras is given.
We define the local-triviality dimension for actions of compact quantum groups on unital C*-algebras. The resulting compact quantum principal bundle is said to be locally trivial when this dimension is finite. For commutative C*-algebras, this notion recovers the standard definition of local triviality of compact principal bundles. We prove that actions with finite local-triviality dimension are automatically free. Then we apply this new notion to prove the noncommutative Borsuk-Ulam-type conjecture under the assumption that a compact quantum group admits a non-trivial classical subgroup whose…
A general noncommutative-geometric theory of principal bundles is presented. Quantum groups play the role of structure groups. General quantum spaces play the role of base manifolds. A differential calculus on quantum principal bundles is studied. In particular, algebras of horizontal and verticalized differential forms on the bundle are introduced and investigated. The formalism of connections is developed. Operators of horizontal projection, covariant derivative and curvature are constructed and analyzed. A quantum generalization of classical Weil's theory of characteristic classes is sketch…
A noncommutative-geometric generalization of classical Weil theory of characteristic classes is presented, in the conceptual framework of quantum principal bundles. A particular care is given to the case when the bundle does not admit regular connections. A cohomological description of the domain of the Weil homomorphism is given. Relations between universal characteristic classes for the regular and the general case are analyzed. In analogy with classical geometry, a natural spectral sequence is introduced and investigated. The appropriate counterpart of the Chern character is constructed, fo…
The Dirac q-monopole connection is used to compute projector matrices of quantum Hopf line bundles for arbitrary winding number. The Chern-Connes pairing of cyclic cohomology and K-theory is computed for the winding number -1. The non-triviality of this pairing is used to conclude that the quantum principal Hopf fibration is non-cleft. Among general results, we provide a left-right symmetric characterization of the canonical strong connections on quantum principal homogeneous spaces with an injective antipode. We also provide for arbitrary strong connections on algebraic quantum principal bund…
