We show that the noncommutative spheres of Connes and Landi are quantum homogeneous spaces for certain compact quantum groups. We give a general construction of homogeneous spaces which support noncommutative spin geometries.
Building on the now established presentation of the standard Podles sphere as an example of a noncommutative complex structure, we investigate how its classical Kahler geometry behaves under $q$-deformation. Discussed are noncommutative versions of Hodge decomposition, Lefschetz decomposition, the Kahler identities, and the refinement of de Rham cohomology by Dolbeault cohomology
A one parameter set of noncommutative complex algebras is given. These may be considered deformation quantisation algebras. The commutative limit of these algebras correspond to the algebra of polynomial functions over a manifold or variety. The topology of the manifold or variety depends on the parameter, varying from nothing, to a point, a sphere, a certain variety and finally a torus. The irreducible adjoint preserving representations of the noncommutative algebras are studied. As well as typical noncommutative sphere type representations and noncommutative torus type representations, a new…
We describe an approach to the noncommutative instantons on the 4-sphere based on quantum group theory. We quantize the Hopf bundle S^7 --> S^4 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 Sigma^4_q as the algebra of coinvariants in S_q^7. We show that the quantum vector bundle associated to the fundamental corepresentation of …
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.
We introduce and study two new examples of noncommutative spheres: the half-liberated sphere, and the free sphere. Together with the usual sphere, these two spheres have the property that the corresponding quantum isometry group is "easy", in the representation theory sense. We present as well some general comments on the axiomatization problem, and on the "untwisted" and "non-easy" case.
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.
When considered as submanifolds of Euclidean space, the Riemannian geometry of the round sphere and the Clifford torus may be formulated in terms of Poisson algebraic expressions involving the embedding coordinates, and a central object is the projection operator, projecting tangent vectors in the ambient space onto the tangent space of the submanifold. In this note, we point out that there exist noncommutative analogues of these projection operators, which implies a very natural definition of noncommutative tangent spaces as particular projective modules. These modules carry an induced connec…
The Noncommutative Index Theorem is used to prove that the Chern character of quantum Hopf line bundles over the standard Podles quantum sphere equals the winding number of the representations defining these bundles. This result gives an estimate of the positive cone of the algebraic $K_0$ of the standard quantum sphere.
In order to investigate to what extent the calculus of classical (pseudo-)Riemannian manifolds can be extended to a noncommutative setting, we introduce pseudo-Riemannian calculi of modules over noncommutative algebras. In this framework, it is possible to prove an analogue of Levi-Civita's theorem, stating that there exists at most one torsion-free and metric connection for a given (metric) module, satisfying the requirements of a real metric calculus. Furthermore, the corresponding curvature operator has the same symmetry properties as the classical Riemannian curvature. As our main motivati…
In this paper, we compute the entire cyclic cohomology of noncommutative 3-spheres. First of all, we verify the Mayer-Vietoris exact sequence of entire cyclic cohomology in the framework of Fréchet $^*$-algebras. Applying it to their noncommutative Heegaard decomposition, we deduce that their entire cyclic cohomology is isomorphic to the d'Rham homology of the ordinary 3-sphere with the complex coefficients.
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 discuss a general duality principle, between noncommutative analogues of the standard cube $\mathbb Z_2^N$, and nonocommutative analogues of the standard sphere $S^{N-1}_\mathbb R$. This duality is by construction of algebraic geometric nature, and conjecturally connects the corresponding quantum isometry groups, taken in an affine sense.
The sphere $S^{N-1}_\mathbb R$ has a half-liberated analogue $S^{N-1}_{\mathbb R,*}$, and a free analogue $S^{N-1}_{\mathbb R,+}$. This is a presentation of the construction and main properties of these noncommutative spheres, $S^{N-1}_\mathbb R\subset S^{N-1}_{\mathbb R,*}\subset S^{N-1}_{\mathbb R,+}$, and of their quantum isometry groups.
We construct a differential calculus over the noncommutative 4-sphere in the framework of pseudo-Riemannian calculi, and show that for every metric in a conformal class of perturbations of the round metric, there exists a unique metric and torsion-free connection. Furthermore, we find a localization of the projective module corresponding to the space of vector fields, which allows us to formulate a Gauss-Chern-Bonnet type theorem for the noncommutative 4-sphere.
Noncommutative (NC) sphere is introduced as a quotient of the enveloping algebra of the Lie algebra su(2). Using the Cayley-Hamilton identities we introduce projective modules which are analogues of line bundles on the usual sphere (we call them quantum line bundles) and define a multiplicative structure in their family. Also, we compute a pairing between certain quantum line bundles and finite dimensional representations of the NC sphere in the spirit of the NC index theorem. A new approach to constructing the differential calculus on a NC sphere is suggested. The approach makes use of the pr…
It is known that, under strong combinatorial axioms, $O_N\subset O_N^*\subset O_N^+$ are the only orthogonal quantum groups. We prove here similar results for the noncommutative spheres $S^{N-1}_\mathbb R\subset S^{N-1}_{\mathbb R,*}\subset S^{N-1}_{\mathbb R,+}$, the noncommutative projective spaces $P^{N-1}_\mathbb R\subset P^{N-1}_\mathbb C\subset P^{N-1}_+$, and the projective orthogonal quantum groups $PO_N\subset PO_N^*\subset PO_N^+$.
The real sphere $S^{N-1}_\mathbb R$ appears as increasing union, over $d\in\{1,...,N\}$, of its "polygonal" versions $S^{N-1,d-1}_\mathbb R=\{x\in S^{N-1}_\mathbb R|x_{i_0}... x_{i_d}=0,\forall i_0,...,i_d\ {\rm distinct}\}$. Motivated by general classification questions for the undeformed noncommutative spheres, smooth or not, we study here the quantum isometries of $S^{N-1,d-1}_\mathbb R$, and of its various noncommutative analogues, obtained via liberation and twisting. We discuss as well a complex version of these results, with $S^{N-1}_\mathbb R$ replaced by the complex sphere $S^{N-1}_\m…
Noncommutative analogues of n-dimensional balls are defined by repeated application of the quantum double suspension to the classical low-dimensional spaces. In the `even-dimensional' case they correspond to the Twisted Canonical Commutation Relations of Pusz and Woronowicz. Then quantum spheres are constructed as double manifolds of noncommutative balls. Both C*-algebras and polynomial algebras of the objects in question are defined and analyzed, and their relations with previously known examples are presented. Our construction generalizes that of Hajac, Matthes and Szymanski for `dimension 2…
This is a copy of the talk given at the conference ``Methods in Field Theory'' at Stara Lesna, The Slovak Republic, Sepemeber 22-26, 1997. An introduction to the noncommutative sphere and a summary of the results of articles q-alg/9703038 \cite{Gratus5}, and q-alg/9708003 \cite{Gratus6} is given. This includes results about the the algebra of scalar, spinor and vector fields on the noncommutative sphere. Possible extensions of these results including a ``Wick rotation'' to the one and two sheeted hyperboloid are also examined.
We introduce the notion of noncommutative complex spheres with partial commutation relations for the coordinates. We compute the corresponding quantum symmetry groups of these spheres, and this yields new quantum unitary groups with partial commutation relations. We also discuss some geometric aspects of the quantum orthogonal groups associated with the mixture of classical and free independence discovered by Speicher and Weber. We show that these quantum groups are quantum symmetry groups on some quantum spaces of spherical vectors with partial commutation relations.
A wide class of noncommutative spaces, including 4-spheres based on all the quantum 2-spheres and suspensions of matrix quantum groups is described. For each such space a noncommutative vector bundle is constructed. This generalises and clarifies various recent constructions of noncommutative 4-spheres.
The product of two Heisenberg-Weil algebras contains the Jordan-Schwinger representation of su(2). This Algebra is quotiented by the square-root of the Casimir to produce a non-associative algebra denoted by $Ψ$. This algebra may be viewed as the right-module over one of its associative subalgebras which corresponds to the algebra of scalar fields on the noncommutative sphere. It is now possible to interpret other subspaces as the space of spinor or vector fields on the noncommutative sphere. A natural basis of $Ψ$ is given which may be interpreted as the deformed entries in the rotation matri…
Perturbative deformations of symmetry structures on noncommutative spaces are studied in view of noncommutative quantum field theories. The rigidity of enveloping algebras of semi-simple Lie algebras with respect to formal deformations is reviewed in the context of star products. It is shown that rigidity of symmetry algebras extends to rigidity of the action of the symmetry on the space. This implies that the noncommutative spaces considered can be realized as star products by particular ordering prescriptions which are compatible with the symmetry. These symmetry preserving ordering prescrip…
The q-Legendre polynomials can be treated as some special "functions in the quantum double cosets $U(1)\setminus SU_q(2)/U(1)$". They form a family (depending on a parameter $q$) of polynomials in one variable. We get their further generalization by introducing a two parameter family of polynomials. If the former family arises from an algebra which is in a sense "q-commutative", the latter one is related to its noncommutative counterpart. We introduce also a two parameter deformation of the invariant integral on a sphere.
Natsume-Olsen noncommutative spheres are C*-algebras which generalize C(S^k) when k is odd. These algebras admit natural actions by finite cyclic groups, and if one of these actions is fixed, any equivariant homomorphism between two Natsume-Olsen spheres of the same dimension induces a nontrivial map on odd K-theory. This result is an extended, noncommutative Borsuk-Ulam theorem in odd dimension, and just as in the topological case, this theorem has many (almost) equivalent formulations in terms of theta-deformed spheres of arbitrary dimension. In addition, we present theorems on graded Banach…
An infinite dimensional algebra which is a non-decomposable reducible representation of $su(2)$ is given. This algebra is defined with respect to two real parameters. If one of these parameters is zero the algebra is the commutative algebra of functions on the sphere, otherwise it is a noncommutative analogue. This is an extension of the algebra normally refered to as the (Berezin) quantum sphere or ``fuzzy'' sphere. A natural indefinite ``inner'' product and a basis of the algebra orthogonal with respect to it are given. The basis elements are homogenious polynomials, eigenvectors of a Laplac…
Through techniques afforded by $C^*$-algebras and Hilbert modules, we study the topology of spaces which parametrize families of instanton gauge fields on noncommutative Euclidean four-spheres $S^4_σ$. By deforming the ADHM construction of instantons on the classical sphere $S^4$, we obtain families of instantons on the quantum sphere which are naturally parametrized by noncommutative topological spaces. Using the internal gauge theory of $S^4_σ$ determined by the inner automorphisms of its function algebra, we find that one may always recover a classical parameter space by making a suitable c…
Homological mirror symmetry is a conjecture that a category constructed in the A-model and a category constructed in the B-model are equivalent in some sense. We construct a cyclic differential graded (DG) category of holomorphic vector bundles on noncommutative two-tori as a category in the B-model side. We define the corresponding Fukaya's category in the A-model side, and prove the equivalence of the two categories at the level of cyclic categories. We further write down explicitly Feynman rules for higher Massey products derived from the cyclic DG category. As a background of these argumen…
We report on some recent work on deformation of spaces, notably deformation of spheres, describing two classes of examples. The first class of examples consists of noncommutative manifolds associated with the so called $θ$-deformations which were introduced out of a simple analysis in terms of cycles in the $(b,B)$-complex of cyclic homology. These examples have non-trivial global features and can be endowed with a structure of noncommutative manifolds, in terms of a spectral triple $(\ca, \ch, D)$. In particular, noncommutative spheres $S^{N}_θ$ are isospectral deformations of usual spherical…
A ``Wick rotation'' is applied to the noncommutative sphere to produce a noncommutative version of the hyperboloids. A harmonic basis of the associated algebra is given. It is noted that, for the one sheeted hyperboloid, the vector space for the noncommutative algebra can be completed to a Hilbert space, where multiplication is not continuous. A method of constructing noncommutative analogues of surfaces of rotation, examples of which include the paraboloid and the $q$-deformed sphere, is given. Also given are mappings between noncommutative surfaces, stereographic projections to the complex p…
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.
We analyse the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and prove a general algebraic result which considerably refines the classical homomorphism from a quadratic algebra to a cross-product algebra associated to the characteristic variety and lands in a richer cross-product. It allows to control the $C^\ast$-norm on involutive quadratic algebras and to construct the differential calculus in the desired generality. The moduli space of noncommutative 3-spheres is identified with equivalence classes of pai…
We continue our study of the noncommutative algebraic and differential geometry of a particular class of deformations of toric varieties, focusing on aspects pertinent to the construction and enumeration of noncommutative instantons on these varieties. We develop a noncommutative version of twistor theory, which introduces a new example of a noncommutative four-sphere. We develop a braided version of the ADHM construction and show that it parametrizes a certain moduli space of framed torsion free sheaves on a noncommutative projective plane. We use these constructions to explicitly build insta…
S. L. Woronowicz's theory of introducing C*-algebras generated by unbounded elements is applied to q-normal operators satisfying the defining relation of the quantum complex plane. The unique non-degenerate C*-algebra of bounded operators generated by a q-normal operator is computed and an abstract description is given by using crossed product algebras. If the spectrum of the modulus of the q-normal operator is the positive half line, this C*-algebra will be considered as the algebra of continuous functions on the quantum complex plane vanishing at infinity, and its unitization will be viewed …
We give new examples of noncommutative manifolds that are less standard than the NC-torus or Moyal deformations of $\Rb^n$. They arise naturally from basic considerations of noncommutative differential topology and have non-trivial global features. The new examples include the instanton algebra and the NC-4-spheres $S^4_θ$. The noncommutative algebras $\Ac=C^{\ify} (S^{4}_θ)$ of functions on NC-spheres are solutions to the vanishing, $ {\rm ch}_j (e) = 0, j < 2 $, of the Chern character in the cyclic homology of $\Ac$ of an idempotent $e \in M_4 (\Ac), e^2 = e, e = e^*$. The universal noncommu…
We study the quantum sphere $C_q[S^2]$ as a quantum Riemannian manifold in the quantum frame bundle approach. We exhibit its 2-dimensional cotangent bundle as a direct sum $Ω^{0,1}\oplusΩ^{1,0}$ in a double complex. We find the natural metric, volume form, Hodge * operator, Laplace and Maxwell operators. We show that the q-monopole as spin connection induces a natural Levi-Civita type connection and find its Ricci curvature and q-Dirac operator $D$. We find the possibility of an antisymmetric volume form quantum correction to the Ricci curvature and Lichnerowicz-type formulae for $D^2$. We als…
We describe noncommutative geometric aspects of twisted deformations, in particular of the spheres in Connes and Landi [8] and in Connes and Dubois Violette [7], by using the differential and integral calculus on these spaces that is covariant under the action of their corresponding quantum symmetry groups. We start from multiparametric deformations of the orthogonal groups and related planes and spheres. We show that only in the twisted limit of these multiparametric deformations the covariant calculus on the plane gives by a quotient procedure a meaningful calculus on the sphere. In this cal…
This paper contains detailed proofs of our results on the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and a general theory which creates a bridge between noncommutative differential geometry and its purely algebraic counterpart. It allows to construct a morphism from an involutive quadratic algebras to a C*-algebra constructed from the characteristic variety and the hermitian line bundle associated to the central quadratic form. We apply the general theory in the case of noncommutative 3-spheres and show th…
We present some ideas for a possible Noncommutative Floer Homology. The geometric motivation comes from an attempt to build a theory which applies to practically every 3-manifold (closed, oriented and connected) and not only to homology 3-spheres. There is also a physical motivation: one would like to construct a noncommutative topological quantum field theory. The two motivations are closely related since in the commutative case at least, Floer Homology Groups are part of a certain (3+1)-dim Topological Quantum Field Theory.
We present natural families of coordinate algebras of noncommutative products of Euclidean spaces. These coordinate algebras are quadratic ones associated with an R-matrix which is involutive and satisfies the Yang-Baxter equations. As a consequence they enjoy a list of nice properties, being regular of finite global dimension. Notably, we have eight-dimensional noncommutative euclidean spaces which are particularly well behaved and are deformations parametrised by a two-dimensional sphere. Quotients include noncommutative seven-spheres as well as noncommutative "quaternionic tori". There is i…
We give a θ-deformed version of the ADHM construction of SU(2) instantons with arbitrary topological charge on the sphere S^4. Classically the instanton gauge fields are constructed from suitable monad data; we show that in the deformed case the set of monads is itself a noncommutative space. We use these monads to construct noncommutative `families' of SU(2) instantons on the deformed sphere S^4_θ. We also compute the topological charge of each of the families. Finally we discuss what it means for such families to be gauge equivalent.
The purpose of the paper is twofold: First, known results of the noncommutative spin geometry of the standard Podles sphere are extended by discussing Poincare duality and orientability. In the discussion of orientability, Hochschild homology is replaced by a twisted version which avoids the dimension drop. The twisted Hochschild cycle representing an orientation is related to the volume form of the distinguished covariant differential calculus. Integration over the volume form defines a twisted cyclic 2-cocycle which computes the q-winding numbers of quantum line bundles. Second, a "twisted" …
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 construct a five-parameter family of gauge-nonequivalent SU(2) instantons on a noncommutative four sphere $S_θ^4$ and of topological charge equal to -1. These instantons are critical points of a gauge functional and satisfy self-duality equations with respect to a Hodge star operator on forms on $S_θ^4$. They are obtained by acting with a twisted conformal symmetry on a basic instanton canonically associated with a noncommutative instanton bundle on the sphere. A completeness argument for this family is obtained by means of index theorems. The dimension of the ``tangent space'' to the modul…
We construct a model of spin-Hall effect on a noncommutative 4 sphere with isospin degrees of freedom (coming from a noncommutative instanton) and invariance under a quantum orthogonal group. The corresponding representation theory allows to explicitly diagonalize the Hamiltonian and construct the ground state; there are both integer and fractional excitations. Similar models exist on higher dimensional noncommutative spheres and noncommutative projective spaces.
We introduce noncommutative algebras $A_q$ of quantum 4-spheres $S^4_q$, with $q\in\IR$, defined via a suspension of the quantum group $SU_q(2)$, and a quantum instanton bundle described by a selfadjoint idempotent $e\in \Mat_4(A_q)$, $e^2=e=e^*$. Contrary to what happens for the classical case or for the noncommutative instanton constructed in Connes-Landi, the first Chern-Connes class $ch_1(e)$ does not vanish thus signaling a dimension drop. The second Chern-Connes class $ch_2(e)$ does not vanish as well and the couple $(ch_1(e), ch_2(e))$ defines a cycle in the $(b,B)$ bicomplex of cyclic …
By twisting the commutation relations between creation and annihilation operators, we show that quantum conformal invariance can be implemented in the 2-d Moyal plane. This is an explicit realization of an infinite dimensional symmetry as a quantum algebra.
We introduce Hopf algebroid covariance on Woronowicz's differential calculus. Using it, we develop quite a general framework of noncommutative complex geometry that subsumes the one in [2]. We present transverse complex and Kähler structures as examples and discuss several other examples. Relation with past literature is described.
We recall a construction of non-commutative algebras related to a one-parameter family of (deformed) spheres and tori, and show that in the case of tori, the *-algebras can be completed into C*-algebras isomorphic to the standard non-commutative torus. As the former was constructed in the context of matrix (or fuzzy) geometries, it provides an important link to the framework of non-commutative geometry, and opens up for a concrete way to study deformations of non-commutative tori. Furthermore, we show how the well-known fuzzy sphere and fuzzy torus can be obtained as formal scaling limits of f…
Using the theory of noncommutative geometry in a braided monoidal category, we improve upon a previous construction of noncommutative families of instantons of arbitrary charge on the deformed sphere S^4_θ. We formulate a notion of noncommutative parameter spaces for families of instantons and we explore what it means for such families to be gauge equivalent, as well as showing how to remove gauge parameters using a noncommutative quotient construction. Although the parameter spaces are a priori noncommutative, we show that one may always recover a classical parameter space by making an approp…
We construct $θ$-deformations of the classical groups SL(2,H) and Sp(2). Coacting on the basic instanton on a noncommutative four-sphere $S^4_θ$, we construct a noncommutative family of instantons of charge 1. The family is parametrized by the quantum quotient of $SL_θ(2,H)$ by $Sp_θ(2)$.
Using the corepresentation of the quantum group $ SL_q(2)$ a general method for constructing noncommutative spaces covariant under its coaction is developed. The method allows us to treat the quantum plane and Podleś' quantum spheres in a unified way and to construct higher dimensional noncommutative spaces systematically. Furthermore, we extend the method to the quantum supergroup $ OSp_q(1|2).$ In particular, a one-parameter family of covariant algebras, which may be interpreted as noncommutative superspheres, is constructed.
These notes aim at a pedagogical introduction to recent work on deformation of spaces and deformation of vector bundles over them, which are relevant both in mathematics and in physics, notably monopole and instanton bundles. We first decribe toric noncommutative manifolds (also known as isospectral deformations) and give a detailed introduction to gauge theories on a toric four-sphere. This includes a Yang-Mills action functional with associated equations of motion and self-duality equations. We construct a particular class of instanton solutions on a SU(2) bundle with a suitable use of twist…
We discuss the notion of matrix model, $π:C(X)\to M_K(C(T))$, for algebraic submanifolds of the free complex sphere, $X\subset S^{N-1}_{\mathbb C,+}$. When $K\in\mathbb N$ is fixed there is a universal such model, which factorizes as $π:C(X)\to C(X^{(K)})\subset M_K(C(T))$. We have $X^{(1)}=X_{class}$ and, under a mild assumption, inclusions $X^{(1)}\subset X^{(2)}\subset X^{(3)}\subset\ldots\subset X$. Our main results concern $X^{(2)},X^{(3)},X^{(4)},\ldots$, their relation with various half-classical versions of $X$, and lead to the construction of families of higher half-liberations of the…
We give a definition of noncommutative finite-dimensional Euclidean spaces $\mathbb R^n$. We then remind our definition of noncommutative products of Euclidean spaces $\mathbb R^{N_1}$ and $\mathbb R^{N_2}$ which produces noncommutative Euclidean spaces $\mathbb R^{N_1+N_2}$. We solve completely the conditions defining the noncommutative products of the Euclidean spaces $\mathbb R^{N_1}$ and $\mathbb R^{N_2}$ and prove that the corresponding noncommutative unit spheres $S^{N_1+N_2-1}$ are noncommutative spherical manifolds. We then apply these concepts to define "noncommutative" quaternionic p…
Using the corepresentation of the quantum supergroup OSp_q(1/2) a general method for constructing noncommutative spaces covariant under its coaction is developed. In particular, a one-parameter family of covariant algebras, which may be interpreted as noncommutative superspheres, is constructed. It is observed that embedding of the supersphere in the OSp_q(1/2) algebra is possible. This realization admits infinitesimal characterization a la Koornwinder. A covariant oscillator realization of the supersphere is also presented.
Studied are moduli spaces of self dual or anti-self dual connections on noncommutative 4-manifolds, especially deformation quantization of compact spin Riemannian 4-manifolds and their isometry groups have 2-torus subgroup. Then such moduli spaces of irreducible modules associated with highestweights of compact connected semisimple Lie groups are smooth manifolds with dimension determined by their weights. This is a generalization of Atiyah-Hitchin-Singer's classical result as well as Landi-Suijlekom's noncommutative 4-sphere case.