[Paper Review] Noncommutative Superspaces Covariant Under $OSp_q(1|2)$ Algebra

N. Aizawa, R. Chakrabarti|ArXiv.org|Nov 17, 2005

Noncommutative and Quantum Gravity Theories2 references3 citations

TL;DR

This paper develops a unified method for constructing noncommutative spaces covariant under the quantum supergroup $OSp_q(1|2)$, using corepresentations of $SL_q(2)$ as a foundation. It introduces a one-parameter family of noncommutative superspheres, generalizing the quantum plane and Podleś spheres, with explicit defining relations and subalgebra characterization via twisted primitive elements in the dual quantum algebra.

ABSTRACT

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.

Motivation & Objective

• To extend the framework of noncommutative geometry to supersymmetric settings using quantum supergroups.
• To address the lack of systematic constructions for noncommutative superspaces in the context of quantum groups.
• To unify the treatment of quantum planes and quantum spheres under a single algebraic method applicable to $SL_q(2)$ and its supergroup extension $OSp_q(1|2)$.
• To explicitly construct a one-parameter family of noncommutative superspheres covariant under $OSp_q(1|2)$.
• To provide an infinitesimal characterization of the quantum supersphere as a subalgebra of the dual algebra $\mathcal{A}$ via twisted primitive elements.

Proposed method

• Adapts the corepresentation method of $SL_q(2)$ to construct covariant noncommutative spaces, using the duality between $SL_q(2)$ and $U_q[sl(2)]$.
• Employs right and left coactions of $SL_q(2)$ on vector spaces to define covariant algebras via the action of the dual quantum algebra $U_q[sl(2)]$.
• Extends the method to $OSp_q(1|2)$ by constructing corepresentations of the quantum supergroup and defining a right coaction on a superspace with odd and even coordinates.
• Derives defining relations for noncommutative superspheres by imposing constraints on the components of the adjoint corepresentation matrix $T^{(2)}$ of $OSp_q(1|2)$.
• Characterizes the quantum supersphere as a subalgebra of the dual algebra $\mathcal{A}$ via annihilation by a twisted primitive element $\mathcal{P}_R = -\sqrt{g_3}\,v_+ + \sqrt{g_1}\,v_-$.
• Uses the infinitesimal characterization via the action $a \odot u = 0$ to identify the quantum supersphere as the subalgebra annihilated by $\mathcal{P}_R$.

Experimental results

Research questions

• RQ1 How can a systematic method for constructing noncommutative spaces covariant under $OSp_q(1|2)$ be developed, generalizing the $SL_q(2)$ framework?
• RQ2 What are the defining relations of a noncommutative supersphere that is covariant under $OSp_q(1|2)$, and how do they generalize the quantum plane and Podleś spheres?
• RQ3 How does the inclusion of odd (fermionic) coordinates modify the nilpotency and algebraic structure of noncommutative spheres compared to the commutative case?
• RQ4 Can the quantum supersphere be characterized as a subalgebra of the dual algebra $\mathcal{A}$ using infinitesimal conditions via twisted primitive elements?
• RQ5 What role do twisted primitive elements in $\mathcal{U}$ play in defining the quantum supersphere, and how do they differ from those in the $SL_q(2)$ case?

Key findings

• A one-parameter family of noncommutative superspheres is explicitly constructed, with defining relations that include a new parameter $\xi$ arising from the corepresentation structure.
• The odd coordinates $Y_{\pm1}^2$ in the quantum supersphere are no longer nilpotent, unlike in the classical super sphere, due to nontrivial commutation relations introduced by the quantum deformation.
• The quantum supersphere is realized as a subalgebra of the dual algebra $\mathcal{A}$, specifically as the set of elements annihilated by the twisted primitive element $\mathcal{P}_R = -\sqrt{g_3}\,v_+ + \sqrt{g_1}\,v_-$.
• The subalgebra is characterized infinitesimally: $Y_k \odot \mathcal{P}_R = 0$ for $k = \pm2, \pm1, 0$, confirming its invariance under the coaction.
• The method successfully generalizes the construction of noncommutative spaces from $SL_q(2)$ to $OSp_q(1|2)$, unifying quantum planes and spheres under a single framework.
• The construction reveals a key difference from the $SL_q(2)$ case: the annihilation operator $\mathcal{P}_R$ involves only odd twisted primitive elements $v_+$ and $v_-$, unlike the $SL_q(2)$ case where even generators also contribute.