Alternative Description of Magnetic Monopoles in Quantum Mechanics

We present an alternative description of magnetic monopoles by lifting quantum mechanics from 3-dimensional space into a one with 2 complex dimensions. Magnetic monopoles are realized as a generalization of the considered states. Usual algebraic relations and magnetic fields describing monopoles are reproduced, with the Dirac quantization condition satisfied naturally.


Introduction
Magnetic monopoles are a vital part of many theoretical models, despite never being actually observed. They have a long stretching history -in classical electromagnetism they appeared as a generalization of Maxwell equations (by adding magnetic charge sources). The situation is more intricate in quantum mechanics, where electromagnetism is described by electromagnet potentials, which were defined to make the theory free of magnetic monopoles by default (as div rot A ∼ ρ M = 0).
However, there is a workaround -one can use potentials singular on a (half-)line, so called Dirac strings, [1]. This idea allowed Dirac to study magnetic monopoles in the context of quantum mechanics (QM) and to derive the famous Dirac quantisation condition, which states that the product of electric and magnetic charge, denoted µ, has to be quantized. Therefore, if at least one magnetic monopole exists in the Universe the electric charge has to be quantisedas is indeed observed.
This description was later refurbished by Yang and Wu [2,3], who instead of using one singular potential used two non-singular potentials defined in different, but overlapping, regions. This connected the theory of magnetic monopoles not only to the mathematical theory of sections, but also, in restrospective, to topology. Two potentials define two solutions which are related by a phase factor transformation. On the overlapping region, one can define a non-contractible path and by moving along the entire loop, the phase has to change by an integer multiple of 2π. The winding number integer corresponds to the quantised µ. Important studies of magnetic monopoles in QM, whose results we are comparing with in this paper, were done by Zwanziger, see [4].
Nowadays, magnetic monopoles often appear as topological solution in various field theories, where they appear as long as one can specify topologically nontrivial boundary conditions (for example the hedge-hog configuration in [5,6] or in super Yang-Mills theory in [7]). They also appear in the string theory, where they are even less similar to the electric ones, as their dimensionality usually differs 1 .
In this paper we will show how can be the QM monopoles described in a new way. The main idea is this -we will reformulate QM in C 2 , a space with two complex dimensions, instead of R 3 . We will show that the usual QM can be obtained by restricting on a specific Hilbert subspace. Then, we will show that by lowering these restrictions we can describe magnetic monopoles of an arbitrary charge µ.
That the monopoles can be described in C 2 using a Hopf fibration is known, but mostly from the context of electromagnetism, see [11,12]. Our approach is closely related to QM and can be used as a starting point for some other modifications, for example for formulating QM on a non-commutative space, see [13,14,15,16].

Quantum mechanics revisited
Quantum-mechanical theory consist of two building blocks: a Hilbert space of states and a set of operators on it. The most notorious example might be the space of square-integrable complex functions Ψ(x) of three spatial coordinates x i , i = 1, 2, 3, which is equipped with a norm Observables are defined as operators on this space, for example the coordinate and the momentum operators arex where we have set = 1. As long as normalizable under (1), any function Ψ(x) can be considered a QM state.
This entire picture can be recast in a different way, instead of starting from a space with three real coordinates x i , we can take two complex coordinates z α , α = 1, 2. The Hilbert state consists of square-integrable complex functions Φ(z, z * ) and is equipped with a norm where r =z α z α (summation over repeated indexes is assumed in this paper). The choice of this weight will become clear later. The space C 2 is naturally equipped with a symplectic structure Using this we can define numerous operators on the Hilbert space, for example the Laplace operator So far this looks like completely different QM, but there is a way to connect the theory in C 2 to that in R 3 . The important thing to recall is that even though these two spaces are different, the groups of their (rotational) symmetries are locally isomorphic (both can be realized using the algebra of Pauli matrices). We can parametrise z α , z * α using the Euler angles as The coordinates of C 2 can be mapped into the coordinates of R 3 using the Pauli matrices as How does this map work? It maps a point from a 3-spherezz = r into a point on a 2-sphere x 2 = r 2 . All points differing only the angle γ are mapped into a single one. This is a (complex) Hopf fibration S 3 S 1 → S 2 for any r > 0. Plugging (6) into (7) results into x i expressed in the spherical coordinates (r, θ, φ).
Instead of considering any square-integrable function Φ(z, z * ) as a QM state, we can restrict only to functions depending on a very specific combinations of z α , z * α , namely those of the form Φ(x) with x defined in (7). Then, the naturally defined operators act in a familiar way Also, the integration weight becomes r 2π d 2 z → d 3 x. The third relation defines the velocity operator, which is equal to the conjugate momentum (with m = = 1) and the fourth one defines the angular momentum operator satisfying the usual su(2) relation. All of these can be obtained using (4) and the chain rule for derivatives (note that {z α , .} = −i∂ z * α and {z * α , .} = i∂ zα ). This way we can rewrite the standard R 3 QM in C 2 formalism. By considering only states of the form Φ(x) (restring on a certain Hilbert subspace) it is hard to see any difference.
One of the benefits of this construction is that the symplectic structure (4) allows for Kontsevich quantisation of the underlying space, resulting into a theory of QM on a noncommutative (or quantum, fuzzy) space R 3 λ , [13,14]. We will not follow this direction here, it can be found in [15,16].
For the considered Hilbert subspace with states of the form Φ(x) is the singularity at r = 0 only a coordinate one. However, for general states this point has to be removed as it would make the Laplace operator ∆ defined ill-defined. From now on, we consider C 2 \ {0} instead of C 2 .

Generalized states
The important property of the states Φ(x) is that they contain an equal powers of complex coordinates z and their conjugates z * which is ensured by the form of (7). As a result, their dependence on the angle γ disappears.
Let us now do the following: We will lower the restriction for the form of the states, allowing them to have an unequal powers of z and z * . These states have no counter-part in the ordinary QM, as they do depend on γ. Nonetheless, the operators (8) remain well-defined and we will use them to show that the generalized states actually described magnetic monopoles of an arbitrary charge allowed by the Dirac quantisation condition.
The generalized states forming H κ are of the form or expressed in coordinates (6) as We could consider even a sum of such terms with different δ (and different coefficients), but will stick with this simplest case. As the coordinates γ, φ are periodic with a period of 4π, the functions Φ κ remain uniquely defined as long as κ, δ ∈ N. While κ counts the difference in the powers of z and z * , δ counts the difference between the components with index 1 and 2.
It is important to notice that while for κ = 0 we cannot express the wave-function Φ k as a function of x, the probability density Φ * k Φ k always contains equal powers of z a z * and can be, via (7), expressed as a function of R 3 coordinates. Therefore, the states always have proper probabilistic interpretation.
There are many relations that reveal the monopole behavior, for example the following relation reveals presence non-vanishing angular momentum. The same was shown for a monopole system by Zwanziger in [4]. Probably the most telling object is the commutator of the velocity operators which is equal to the monopole field strength (also the same as in the Zwanziger study). This should be sufficient, but we can proceed one step further. The velocity operator is a differential operator, acting only on Φ(x), it is proportional to the partial derivative with respect to x i . However, its action on Φ κ is more sophisticated, as by the Leibniz rule there is also a contribution Φ(x)V i ξ κ . Let us identify it with a gauge potential Given our choice of ξ κ , the only nontrivial component (in spherical coordinates) is which defines the following magnetic fields As we can see, the resulting Coulomb-like field depends only on κ, not δ. The potential A φ can be split into two parts, the first one A κ φ = κ 2r cot(θ) describes the magnetic field while the other, A δ φ = δ 2r csc(θ) = ∇ φ δ 2 φ can be gauged away. Both of them appear in the analysis of Yang, see [3].
It is obvious now that κ/2 can be identified with the magnetic charge µ. Dirac quantisation condition that µ has to be a half-integer is satisfied naturally as κ counts the difference in the powers of z and z * , which is in our construction an integer.

Conclusion
We have shown a slightly unusual construction of QM. The three-dimensional theory was reformulated in four-dimensional (or two-complex-dimensional) space by considering a restricted class of wave-functions of the form Φ(zσz). This construction is alluring as it offers some new possibilities. As we have shown, the extra dimension, which in the context of Hopf fibrations has a topology of a circle, allowed us to describe monopoles states in a regular way. Also, as this space is naturally equipped with Poisson structure, it can be (canonically) quantised to obtain noncommutative space: {z α ,z β } = −iδ αβ → [z α , z + β ] = δ αβ and [x i , x j ] = 2iε ijk x k . Such spaces, whose close points cannot be distinguished below some fundamental scale, are a rather general aspect of theories of quantum gravity.
After this quantisation, one can define QM the same way as was done in this paper to obtained so-called noncommutative QM, see [13,14,17,18,19]. By considering a similarly generalized class of states as in this paper (containing an unequal number of bosonic creation and annihilation operators), one can realize magnetic monopoles in this theory, see [15,16].
The fact that lifting the theory one dimension up offered new possibilities shall be of no surprise -when Kaluza and Klein studied general relativity in 5 dimensions, with the fifth dimension tightly curled up, electromagnetism fitted in in a very natural way. Also not so surprisingly, there are known gravitational solutions in 5 dimensions that look like magnetic monopoles in 4 dimensions, [9,10].
Our choice of the form of ξ k ensured that the factor which introduced monopoles was just a phase, not affecting the norm of the states ||Φ κ || 2 = ||Φ(x)ξ k || 2 = ||Φ(x)|| 2 . If we were more careless and chose, for example, ξ k = (z 1 z 2 ) κ 2 , following the same steps we would lead to the same monopole field B i = − κ 2 x i r 3 . The fact that such choice changes the (r, θ, φ) dependence of the wave-functions would manifest itself as an imaginary contribution to he potential A i that can be removed easily. In fact, if we factorize ξ κ as ξ ′ κ (r, θ, φ)ξ ′′ κ (γ) it follows that which, being a gradient, can be gauged away -resulting into a change of the wave-function which is not just a phase, but instead taking the undesired part away, leaving only the factor ξ ′′ κ that depends only on γ.
In other words: if we introduce monopoles by adding a factor that is not just a phase, it can be gauged away using the imaginary potential it produces. Notably, complex electromagnetic potentials has been studied in the context of electro-magnetic duality in the theory with superluminal sources in [20], but in our case is the imaginary part redundant.