[Paper Review] Dirac monopoles from the Matsumoto non-commutative spheres

Tomasz Brzeziński, Andrzej Sitarz|ArXiv.org|Apr 28, 2003

Noncommutative and Quantum Gravity Theories3 citations

TL;DR

This paper demonstrates that Matsumoto's non-commutative three-sphere, constructed via deformation of the Heegaard splitting of S³, forms a quantum principal bundle over the classical two-sphere, realizing the quantum Hopf fibration. A canonical strong connection is constructed in this bundle, which geometrically corresponds to the standard Dirac magnetic monopole potential, thereby embedding the classical monopole in non-commutative geometry.

ABSTRACT

It is shown that the non-commutative three-sphere introduced by Matsumoto is a total space of the quantum Hopf bundle over the classical two-sphere. A canonical connection is constructed, and is shown to coincide with the standard Dirac magnetic monopole.

Motivation & Objective

• To reframe Matsumoto's non-commutative three-sphere within the modern framework of quantum principal bundles.
• To prove that the non-commutative Hopf fibration is a Hopf-Galois extension, establishing its geometric validity as a quantum principal bundle.
• To construct a strong connection in this bundle and identify it with the Dirac magnetic monopole potential.
• To establish a correspondence between non-commutative geometry and classical gauge theory via the associated line bundle and projector.

Proposed method

• Construct the non-commutative three-sphere $ C_\theta(S^3) $ as a pullback of two non-commutative solid tori, using generators $ a, b $ with relations $ ab = \lambda ba $, $ ab^* = \bar{\lambda}b^*a $, and $ aa^* + bb^* = 1 $, where $ \lambda = e^{2\pi i\theta} $.
• Define a coaction of $ C(U(1)) $ on $ C_\theta(S^3) $ via $ \Delta_R(a) = a \otimes Z $, $ \Delta_R(b) = b \otimes Z $, inducing a $ \mathbb{Z} $-grading.
• Verify that the inclusion $ C(S^2) \subset C_\theta(S^3) $ is a Hopf-Galois extension by proving the canonical map $ \text{can} $ is bijective.
• Construct a strong connection $ s $ as a splitting of the product map, defined via homogeneous components using binomial coefficients and adjoint powers of $ a, b $.
• Derive the projector $ e = \begin{pmatrix} aa^* & ab^* \\ ba^* & bb^* \end{pmatrix} $ from the strong connection, which describes the Dirac monopole.
• Identify the resulting connection form with the standard Dirac monopole potential via the standard projector in non-commutative geometry.

Experimental results

Research questions

• RQ1 Does Matsumoto's non-commutative three-sphere admit a quantum principal bundle structure compatible with the Hopf fibration?
• RQ2 Can a canonical connection be constructed in this quantum bundle that corresponds to a known physical gauge field?
• RQ3 Is the connection in the quantum Hopf bundle equivalent to the Dirac magnetic monopole potential?
• RQ4 How does the strong connection in the non-commutative bundle relate to the classical Dirac monopole via the associated line bundle?
• RQ5 Can the standard Dirac monopole projector be recovered from the non-commutative geometric construction?

Key findings

• The non-commutative three-sphere $ C_\theta(S^3) $, defined via Matsumoto's deformation of the Heegaard splitting, forms a quantum principal bundle over $ C(S^2) $, satisfying the Hopf-Galois condition.
• The coaction of $ C(U(1)) $ on $ C_\theta(S^3) $ induces a $ \mathbb{Z} $-grading, and the coinvariant subalgebra $ C(S^2) $ is isomorphic to the algebra of continuous functions on the classical two-sphere.
• A strong connection $ s $ is explicitly constructed via a splitting of the product map, using binomial coefficients and adjoint powers of the generators $ a $ and $ b $, ensuring compatibility with the coaction.
• The associated line bundle's projector is $ e = \begin{pmatrix} aa^* & ab^* \\ ba^* & bb^* \end{pmatrix} $, which matches the standard projector for the Dirac monopole.
• The connection form derived from the strong connection coincides with the classical Dirac magnetic monopole potential, establishing a geometric unification.
• The construction confirms that the Dirac monopole arises naturally from non-commutative geometry via the quantum Hopf fibration, providing a non-commutative description of a classical physical system.