Noncommutative Instantons on the 4-Sphere¶from Quantum Groups

We describe an approach to the noncommutative instantons on the 4-sphere based on quantum group theory. We quantize the Hopf bundle ?⁷→?⁴ making use of the concept of quantum coisotropic subgroups. The analysis of the semiclassical Poisson–Lie structure of U(4) shows that the diagonal SU(2) must be conjugated to be properly quantized. The quantum coisotropic subgroup we obtain is the standard SU _q (2); it determines a new deformation of the 4-sphere ∑⁴ _q as the algebra of coinvariants in ? _q ⁷. We show that the quantum vector bundle associated to the fundamental corepresentation of SU _q (2) is finitely generated and projective and we compute the explicit projector. We give the unitary representations of ∑⁴ _q , we define two 0-summable Fredholm modules and we compute the Chern–Connes pairing between the projector and their characters. It comes out that even the zero class in cyclic homology is non-trivial. Received: 3 January 2001 / Accepted: 14 November 2001     

Principal Fibrations from Noncommutative Spheres

We construct noncommutative principal fibrations S_θ⁷→S_θ⁴ 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 is an example of a not-trivial quantum principal bundle.”     

Instantons on the Quantum 4-pheres S4q

We introduce noncommutative algebras A _q of quantum 4-spheres S ⁴ _q , with q∈ℝ, defined via a suspension of the quantum group SU _q (2), and a quantum instanton bundle described by a selfadjoint idempotent e∈ Mat₄(A _q ), e ²=e=e ^*. Contrary to what happens for the classical case or for the noncommutative instanton constructed in [8], the first Chern–Connes class ch ₁(e) does not vanish thus signaling a dimension drop. The second Chern–Connes class ch ₂(e) does not vanish as well and the couple (ch ₁(e), ch ₂(e) defines a cycle in the (b,B) bicomplex of cyclic homology. Received: 12 December 2000 / Accepted: 10 March 2001     

Complex quantum group,dual algebra and bicovariant differential calculus

The method used to construct the bicovariant bimodule in ref. [CSWW] is applied to examine the structure of the dual algebra and the bicovariant differential calculus of the complex quantum group. The complex quantum group Fun _q (SL(N, C)) is defined by requiring that it contains Fun _q (SU(N)) as a subalgebra analogously to the quantum Lorentz group. Analyzing the properties of the fundamental bimodule, we show that the dual algebra has the structure of the twisted product Fun _q (SU(N))Fun _q (SU(N)) _reg ^* . Then the bicovariant differential calculi on the complex quantum group are constructed.     

The quantum 2-sphere as a complex quantum manifold

We describe the quantum sphere of Podles for c = 0 by means of a stereographic projection which is analogous to that which exibits the classical sphere as a complex manifold. We show that the algebra of functions and the differential calculus on the sphere are covariant under the coaction of fractional transformations with SU _q(2) coefficients as well as under the action of SU _q(2) vector fields. Going to the classical limit we obtain the Poisson sphere. Finally, we study the invariant integration of functions on the sphere and find its relation with the translationally invariant integration on the complex quantum plane.     

On the invariant distance and Green function for SU q(2)

Following the introduction of the invariant distance on the non-commutative C-algebra of the quantum group SU _q(2) the Green function on the q-Podler's sphere M _q = SU _q(2)/U(1) is derived. Possible applications are briefly discussed.     

Examples of gauged Laplacians on noncommutative spaces

We present two (classes of) examples of gauged Laplacian operators. The first one is a model of spin-Hall effect on a noncommutative four-sphere S _ϑ ⁴ with isospin degrees of freedom, coming from a noncommutative instanton, and invariant under the quantum group SO _ϑ (5). The second one, a Hall effect on a quantum 2-dimensional sphere S _q ², describes ‘excitations moving on the quantum sphere’ in the field of a magnetic monopole with symmetry coming from the quantum group SU _q (2). For both models, ample symmetries provide a complete diagonalization.     

The Hopf Algebra Structure of GL(1, Hq) and the Isomorphism between SPq(1)and SUq(2)

In this Letter, we introduce the Hopf algebra structure of the quantum quaternionic group GL(1, H₁) and discuss the isomorphism between the quantum symplectic group SP_q(1) and the quantum unitary group SU_q(2).     

利用SUq(2)量子代数的q变形振子实现讨论SUq(2)相干态

利用SU_q(2)量子代数的q变形振子实现构造出SU_q(2)的相干态。证明SU_q(2)代数的表示基是正交的,并讨论了它的相干态的归一性、完闭性。指出SU_q(2)相干态的相干性受q参数影响较大,它比通常的SU(2)相干态更具有一般性。 关键词：     

Quantum group (CO)actions onG-spaces and quantum modules

A generalized transformation theory is introduced by using quantum (non-commutative) spaces transformed by quantum Lie groups (Hopf algebras). In our method dual pairs of -quantum groups/algebras (co)act on quantum spaces equipped with the structure of a -comodule algebra. We use the quantized groupSU _q (2) as a show case, and we determine its action on modules such as theq-oscillator and the quantum sphere. We also apply our method for the quantized Euclidean groupF _q (E(2)) acting on a quantum homogeneous space. For the sphere case the construction leads to an analytic pseudodifferential vector field realization of the deformed algebra su _q (2) on the quantum projective plane for north and south pole.Presented by A.A. at the 5th International Colloquium on Quantum Groups: Quantum Groups and Integrable Systems, Prague, 20–20 June 1996 and by D.E. at the 4th International Congress of Geometry, Thessaloniki.     

Dynamical and symmetry groups of the SU(2) Kepler problem

It is well known that the MIC–Kepler problem, an extension of the three-dimensional Kepler problems, admits the same dynamical and symmetry groups as the Kepler problem. This paper aims to study dynamical and symmetry groups of the SU(2) Kepler problem, where the SU(2) Kepler problem is defined to be the dynamical system reduced from the eight-dimensional conformal Kepler problem through an SU(2) symmetry and turns out to be an extension of the five-dimensional Kepler problem. It is shown that the SU(2) Kepler problem admits a dynamical group SO^*(8) and that the phase space of the SU(2) Kepler problem is symplectomorphic with a co-adjoint orbit of SO^*(8), on which the Kirillov–Kostant–Souriau form is defined. It is further shown that the subgroups, SU(4), SU^*(4), and Sp(2)×_SR⁵, of SO^*(8) provide the symmetry groups, SU(4)/Z₂SO(6), SU^*(4)/Z₂SO₀(1,5), and (Sp(2)×_SR⁵)/Z₂SO(5)×_SR⁵, of the SU(2) Kepler problem with negative, positive, and zero energies, respectively, where ×_S denotes a semi-direct product. Furthermore, constants of motion for the SU(2) Kepler problem are found together with their Poisson brackets. The symmetry Lie algebra formed by constants of motion is shown to be isomorphic with so(6)su(4), so(1,5)su^*(4), or so(5)_SR⁵sp(2)_SR⁵, depending on whether the energy is negative, positive, or zero, where _S denotes a semi-direct sum. These Lie algebras are subalgebras of so^*(8)so(2,6).     

Torus Equivariant Spectral Triples for Odd-Dimensional Quantum Spheres Coming from <Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Extensions

The torus group (S ¹)^ℓ+1 has a canonical action on the odd-dimensional sphere S _q ^2ℓ+1. We take the natural Hilbert space representation where this action is implemented and characterize all odd spectral triples acting on that space and equivariant with respect to that action. This characterization gives a construction of an optimum family of equivariant spectral triples having nontrivial K-homology class thus generalizing our earlier results for SU _q (2). We also relate the triple we construct with the C ^*-extension      

Local Index Formula on the Equatorial Podleś Sphere

We discuss spectral properties of the equatorial Podleś sphere S _q ². As a preparation we also study the ‘degenerate’ (i.e. q=0) case (related to the quantum disk). Over S _q ² we consider two different spectral triples:one related to the Fock representation of the Toeplitz algebra and the isopectral one given in [7]. After the identification of the smooth pre-C ^*-algebra we compute the dimension spectrum and residues. We check the nontriviality of the (noncommutative) Chern character of the associated Fredholm modules by computing the pairing with the fundamental projector of the C ^*-algebra (the nontrivial generator of the K ₀-group) as well as the pairing with the q-analogue of the Bott projector. Finally, we show that the local index formula is trivially satisfied.     

Quantum Bundle Description of Quantum Projective Spaces

We realise Heckenberger and Kolb??s canonical calculus on quantum projective (N ? 1)-space C _q [C p ^N?1] as the restriction of a distinguished quotient of the standard bicovariant calculus for the quantum special unitary group C _q [SU _N ]. We introduce a calculus on the quantum sphere C _q [S ^2N?1] in the same way. With respect to these choices of calculi, we present C _q [C p ^N?1] as the base space of two different quantum principal bundles, one with total space C _q [SU _N ], and the other with total space C _q [S ^2N?1]. We go on to give C _q [C p ^N?1] the structure of a quantum framed manifold. More specifically, we describe the module of one-forms of Heckenberger and Kolb??s calculus as an associated vector bundle to the principal bundle with total space C _q [SU _N ]. Finally, we construct strong connections for both bundles.     

Quantum group gauge theory on quantum spaces

We construct quantum group-valued canonical connections on quantum homogeneous spaces, including aq-deformed Dirac monopole on the quantum sphere of Podles with quantum differential structure coming from the 3D calculus of Woronowicz onSU _q (2). The construction is presented within the setting of a general theory of quantum principal bundles with quantum group (Hopf algebra) fibre, associated quantum vector bundles and connection one-forms. Both the base space (spacetime) and the total space are non-commutative algebras (quantum spaces).Supported by St. John's College, Cambridge and KBN grant 202189101     

Associated quantum vector bundles and symplectic structure on a quantum space

We define a quantum generalization of the algebra of functions over an associated vector bundle of a principal bundle. Here the role of a quantum principal bundle is played by a Hopf-Galois extension. Smash products of an algebra times a Hopf algebra H are particular instances of these extensions, and in these cases we are able to define a differential calculus over their associated vector bundles without requiring the use of a (bicovariant) differential structure over H. Moreover, if H is coquasitriangular, it coacts naturally on the associated bundle, and the differential structure is covariant.We apply this construction to the case of the finite quotient of the SL _q(2) function Hopf algebra at a root of unity (q ³ = 1) as the structure group, and a reduced 2-dimensional quantum plane as both the base manifold and fibre, getting an algebra which generalizes the notion of classical phase space for this quantum space. We also build explicitly a differential complex for this phase space algebra, and find that levels 0 and 2 support a (co)representation of the quantum symplectic group. On this phase space we define vector fields, and with the help of the Sp _q structure we introduce a symplectic form relating 1-forms to vector fields. This leads naturally to the introduction of Poisson brackets, a necessary step to do classical mechanics on a quantum space, the quantum plane.     

Octonionic Yang–Mills instanton on quaternionic line bundle of Spin(7) holonomy

The total space of the spinor bundle on the four-dimensional sphere S⁴ is a quaternionic line bundle that admits a metric of Spin(7) holonomy. We consider octonionic Yang–Mills instanton on this eight-dimensional gravitational instanton. This is a higher dimensional generalization of (anti-) self-dual instanton on the Eguchi-Hanson space. We propose an ansatz for Spin(7) Yang–Mills field and derive a system of non-linear ordinary differential equations. The solutions are classified according to the asymptotic behavior at infinity. We give a complete solution when the gauge group is reduced to a product of SU(2) subalgebras in Spin(7). The existence of more general Spin(7) valued solutions can be seen by making an asymptotic expansion.     

Projective quantum spaces

Associated to the standard SU _q (n) R-matrices, we introduce quantum spheresS _q ^2n-1 , projective quantum spaces _q ^n-1 , and quantum Grassmann manifoldsG _k( _q ⁿ ). These algebras are shown to be homogeneous spaces of standard quantum groups and are also quantum principle bundles in the sense of T. Brzeziski and S. Majid.     

A q-deformed Lorentz algebra

We derive a q-deformed version of the Lorentz algebra by deforming the algebraSL(2,C). The method is based on linear representations of the algebra on the complex quantum spinor space. We find that the generators usually identified withSL _q(2,C) generateSU _q (2) only. Four additional generators are added which generate Lorentz boosts. The full algebra of all seven generators and their coproduct is presented. We show that in the limitq→1 the generators are those of the classical Lorentz algebra plus an additionalU(1). Thus we have a deformation ofSL(2,C)×U(1).     

A Locally Compact Quantum Group Analogue of the Normalizer of SU(1,1) in SL(2, ℂ)

 S.L. Woronowicz proved in 1991 that quantum SU(1,1) does not exist as a locally compact quantum group. Results by L.I. Korogodsky in 1994 and more recently by Woronowicz gave strong indications that the normalizer of SU(1,1) in SL(2,ℂ) is a much better quantization candidate than SU(1,1) itself. In this paper we show that this is indeed the case by constructing , a new example of a unimodular locally compact quantum group (depending on a parameter 0<q<1) that is a deformation of . After defining the underlying von Neumann algebra of we use a certain class of q-hypergeometric functions and their orthogonality relations to construct the comultiplication. The coassociativity of this comultiplication is the hardest result to establish. We define the Haar weight and obtain simple formulas for the antipode and its polar decomposition. As a final result we produce the underlying C ^* -algebra of . The proofs of all these results depend on various properties of q-hypergeometric ₁ϕ₁ functions. Received: 28 June 2001 / Accepted: 25 July 2002 Published online: 10 December 2002 RID="*" ID="*" Post-doctoral researcher of the Fund for Scientific Research – Flanders (Belgium) (F.W.O.) Communicated by L. Takhtajan