Abstract
We exhibit a close relation between vortex configurations on the 2sphere and magnetic zeromodes of the Dirac operator on \(\mathbb {R}^3\) which obey an additional nonlinear equation. We show that both are best understood in terms of the geometry induced on the 3sphere via pullback of the round geometry with bundle maps of the Hopf fibration. We use this viewpoint to deduce a manifestly smooth formula for squareintegrable magnetic zeromodes in terms of two homogeneous polynomials in two complex variables.
Similar content being viewed by others
1 Introduction
The goal of this paper is to explain and exploit a link between magnetic zeromodes of the Dirac operator on Euclidean 3space and vortices on the 2sphere via a particular family of geometries on the 3sphere.
The 3sphere geometries are obtained from the standard round geometry via pullback with a family of maps \(S^3\rightarrow S^3\) which are bundle maps of the Hopf fibration and cover holomorphic maps \(S^2\rightarrow S^2\). The bundle maps are given in terms of two complex polynomials, and one consequence of our analysis is a manifestly smooth and squareintegrable expression both for the magnetic zeromodes and the vortex configurations in terms of these polynomials. Another is an interpretation of vortices on \(S^2\) in terms of Cartan geometry. In the remainder of this introduction we sketch the context for our results.
The problem of determining magnetic zeromodes of the Dirac operator in Euclidean 3space was first posed and addressed in an influential paper by Loss and Yau [1] in 1986. Motivated by questions about the stability of atoms, the authors were interested in finding spinors \(\varPsi \) and magnetic gauge potentials A on \(\mathbb {R}^3\) such that \(\varPsi \) is a zeromode of the (static) Dirac operator minimally coupled to A, and both the associated magnetic field and the spinor are squareintegrable. In this paper, we call pairs of spinors \(\varPsi \) and magnetic gauge potentials A satisfying this condition magnetic zeromodes.
Loss and Yau gave explicit expressions for one family of magnetic zeromodes, which we call linear in the following, and derived a formula which determines a gauge field for a given spinor field such that the pair form a magnetic zeromode. This formula is singular where the spinor field vanishes, but it was, nonetheless, used by Adam, Muratori and Nash (AMN) in a series of papers [2,3,4] to obtain magnetic zeromodes which satisfy an additional nonlinear equation, and which we call vortex zeromodes in this paper. AMN observed that their solutions can be expressed in terms of solutions of the Liouville equation on \(S^2\) and addressed the singularities in the resulting formulae. In [2], they also pointed out that the coupled Dirac and nonlinear equation can be obtained as the dimensional reduction in a perturbed Seiberg–Witten equation on \(\mathbb {R}^4\) with a crucial sign flip (the resulting equation is often called the Freund equation).
In 2000, Erdös and Solovej pointed out that the geometry underlying the existence of magnetic zeromodes is the conformal equivalence of \(\mathbb {R}^3\) and \(S^3{\setminus } \{ \text {point}\}\) and the Hopf fibration of \(S^3\) over \(S^2\) [5]. This was used in [6, 7] to show that the linear magnetic zeromodes found by Loss and Yau can be obtained directly by pulling eigenmodes (of any energy) of the Dirac operator on \(S^3\) back to \(\mathbb {R}^3\).
One motivation for this paper was to find a similarly geometrical but also explicit understanding of the vortex zeromodes, i.e. to use the geometrical insight of Erdös and Solovej for a better understanding and improvement in the formulae derived by AMN. A second motivation was to explore links to a vortex equation for a scalar Higgs field and an abelian gauge field on \(S^2\), recently proposed by Popov. The existence of such links is suggested by the appearance of the same data in Popov vortex solutions and the AMN expressions for magnetic zeromodes; it is the reason why we call the latter vortex zeromodes.
The Popov vortex equations were obtained in [8] as the reduction by SU(1, 1) symmetry of the selfduality equations for SU(1, 1) Yang–Mills theory on the product of the 2sphere with hyperbolic 2space. In [9], Manton pointed out that the Popov vortex equations can be solved in terms of rational maps \(S^2\rightarrow S^2\). His solution turns out to be a particularly simple illustration of an interesting subsequent observation by Baptista [10] that Bogmol’nyi vortex equations on a Kähler surface can be interpreted as degenerate Hermitian metrics.
In the terminology of Baptista’s paper, Manton showed that Popov vortices encode the geometry of the pullback of the round metric on \(S^2\) with a rational map. If the rational map has degree n, the metric necessarily has conical singularities at the \(2n2\) ramification points, which are also the zeros of the vortex Higgs field.
Here, we lift this picture from \(S^2\) to \(S^3\). This is geometrically natural for Popov vortices, since they live on a U(1) bundle over \(S^2\) whose total space is the Lens space \(S^3/\mathbb {Z}_{2n2}\). Manton’s rational map characterising the vortex lifts to a bundle map \(S^3\rightarrow S^3\), and the pullback of the round metric on \(S^3\) with this bundle map defines a metric which, generalising Baptista’s viewpoint, encodes a vortex configuration on \(S^3\). We then show that such a vortex configuration defines a magnetic zeromode of the Dirac operator on \(S^3\). Using conformal equivalence we obtain the advertised smooth and manifestly squareintegrable expression for vortex zeromodes on \(\mathbb {R}^3\) and, at the same time, establish the expected link to Popov vortices.
The fact that \(S^3\) is the Lie group SU(2) allows one to encode the round geometry of \(S^3\) in the Maurer–Cartan form \(h^{1}\hbox {d}h\). In Cartan geometry, the same form also encodes the geometry of the round geometry of \(S^2\) by combining the orthonormal frame field with the spin connection 1form of \(S^2\). Since all the geometries we discuss in this paper are pulled back from the round geometries of \(S^2\) and \(S^3\), it is not surprising that many of our results can be stated succinctly in terms of the pullback of the Maurer–Cartan form via the bundle map \(S^3\rightarrow S^3\). In fact, the flatness condition of the su(2) gauge potentials defined by these pullbacks turns out to be equivalent to our vortex equations on \(S^3\) and to the Popov vortex equations on \(S^2\). This adds a further, nonabelian interpretation of the vortex zeromodes. It also provides an intriguing link with the selfduality equations for SU(1, 1) gauge fields from which the Popov equations arose.
In this paper we are interested in the geometry linking magnetic zeromodes and vortices, but also in manifestly smooth expressions for both. The paper contains a number of explicit calculations and formulae, and we therefore need to lay out conventions and coordinates in some detail at the beginning. To help the reader keep sight of the bigger picture, we have also produced a summary diagram of the geometries and the maps between them in Fig. 3. Although the picture is part of our final summary section, the reader may find it helpful to refer to it now or while reading the paper.
The paper is organised as follows. In Sect. 2 we collect our conventions for parameterising SU(2) both as a Lie group and a round 3sphere, give the stereographic and gnomonic projection from \(S^3\) and \(\mathbb {R}^3\) in these coordinates, and explain how both enter a simple formula for relating orthonormal frames on \(S^3\) and \(\mathbb {R}^3\) and for mapping zeromodes of magnetic Dirac operators on \(S^3\) to zeromodes of magnetic Dirac operators on \(\mathbb {R}^3\). While the conformal covariance of the kernel of the Dirac operator is, of course, well known, we are not aware of a treatment which emphasises the role of the gnomonic projection in the way we do. We illustrate our discussion by constructing the linear magnetic zeromodes on \(\mathbb {R}^3\) from general eigenmodes on \(S^3\) in our conventions.
Section 3 contains our definition of vortex configurations on \(S^3\) and some of our main results: the equivalence between vortex configurations on \(S^3\) and flat su(2) gauge potentials, an expression for both in terms of bundle maps \(S^3\rightarrow S^3\), and the construction of magnetic zeromodes on both \(S^3\) and \(\mathbb {R}^3\) from vortex configurations. The allowed bundle maps can be expressed in terms of two polynomials, thus leading to the promised formulae for magnetic zeromodes. The section ends with a brief discussion of how linear and vortex zeromodes can be combined to form new magnetic zeromodes.
In Sect. 4 we review the definition of Popov vortices and show that our vortex configurations on \(S^3\) are equivariant descriptions of them. We explain the relation between our bundle map \(S^3\rightarrow S^3\) and the rational map \(S^2\rightarrow S^2\) used by Manton for solving the Popov equations and interpret the pullback to \(S^2\) of the flat su(2) gauge potential on \(S^3\) in the language of Cartan geometry.
Finally, Sect. 5 contains a summary in the form of a diagram in Fig. 3 and an outlook onto open questions.
2 Magnetic Dirac operators on \(S^3\) and on \(\mathbb {R}^3\)
2.1 Conventions for SU(2) and the Hopf map
We adopt the conventions of [11, 12] and use the su(2) generators
where the \(\tau _j\) are the Pauli matrices, with commutators \([t_i,t_j]=\epsilon _{ijk}t_k\). Often we will work in terms of
with commutators
We parameterise an SU(2) matrix h in terms of a pair of complex numbers \((z_1,z_2)\) via
with the constraint \( z_1^2 + z_2^2= 1\) understood. The (real) leftinvariant 1forms are defined via
and satisfy \( \hbox {d}\sigma _1 =  \sigma _2 \wedge \sigma _3\) and the cyclic permutations of this equation. Defining
we also note that
and have the following expressions in terms of complex coordinates:
The dual vector fields \(X_j\), \(j=1,2,3\) generate the right action \(h\mapsto ht_j\) [11]. Their commutators are
so that, in terms of
we have
In terms of complex coordinates, the right generators are
The corresponding generators of the left action \(h\mapsto t_jh\) are denoted \(Z_\pm \) and \(Z_3\); expressions in terms of our complex coordinates are given in [11]. We also note that the Laplace operator on \(S^3\) (with radius 2) can be written as
with an analogous expression in terms of \(Z_j\). Finally, we have the pairings
with all other pairings vanishing.
In this paper we parameterise the 2sphere via stereographic projection in terms of a coordinate \(z\in \mathbb {C}\). We work in coordinates provided by stereographic projection from the south pole, referring to [11] for details and the coordinate changes required to cover the south pole itself by projecting from the north pole. In terms of our complex coordinates (2.4) for \(S^3\), the Hopf map is
Then,
is a local section of the Hopf bundle. We will use it in this paper to switch between the equivariant description of sections of associated line bundles to local expressions for such sections. Defining spaces of equivariant functions
and writing H for the hyperplane bundle over \(S^2\), one has the following commutative diagram [11, 12]:
2.2 Stereographic projection and frames
In the remainder of this paper, we consider a 2sphere of radius \(\lambda \) and a 3sphere of radius \(\ell \). Then,
provides a convenient orthonormal frame for \(S^3\), and the metric is
In order to make contact with the usual orientation on \(\mathbb {R}^3\) after stereographic projection, we define the orientation on \(S^3\) in terms of the volume element
We write elements of \(\mathbb {R}^3\) as \( \mathbf {x} = (x_1,x_2,x_3)^t\) denote their length by \(r=\mathbf {x}\), and assume that
is an oriented orthonormal frame, so the metric and volume element are
Thinking of the 3sphere of radius \(\ell \) embedded in \(\mathbb {R}^4\) with coordinates \((y_1,y_2,y_3,y_4)\), the stereographic projection from the south pole onto \(\mathbb {R}^3\) is
with inverse
Writing \( \varvec{\tau } =(\tau _1,\tau _2,\tau _3)\) for the vector whose components are the Pauli matrices, and identifying \((y_1,y_2,y_3,y_4) \in S^3\) with the unitary matrix \( (y_4\mathbb {I} + i y_1\tau _1 + i y_2\tau _2+ i y_3\tau _3)/\ell \), the inverse stereographic projection is, up to scale, the map
so that the Hopf projection in stereographic coordinates is
In the following we will often need to pull back functions, spinors or forms on the 3sphere of radius \(\ell \) to \(\mathbb {R}^3\) with the inverse stereographic projection. To simplify notation we will write the pullback in terms of H rather than \(\mathrm {St}^{1}\), even though the two maps strictly speaking take values on 3spheres of different radii.
A recurring theme in this paper is the interplay between the stereographic projection and the gnomonic projection, often used in cartography, which maps great circles to straight lines. The inverse of the gnomonic projection is the map
whose image satisfies \(G(\mathbf {x})^2=H(\mathbf {x})\). This relation follows immediately from the explicit forms of the maps, but it also follows from the geometric meaning of G and H, which is illustrated in Fig. 1. For fixed \(\mathbf {x}\), \(G(\mathbf {x})\) and \(H(\mathbf {x})\) are rotations about the same axis, and it follows from elementary geometry that G rotates by twice the rotation angle of H. As an aside we note that describing spherical geometry in terms of \(\mathbb {R}^3\) via pullback with H and G is analogous to describing hyperbolic geometry in terms of, respectively, the Poincaré and the Beltrami–Klein models.
The maps G and H can be used to pull back the leftinvariant 1forms \(\sigma _j\), \(j=1,2,3\), on the 3sphere. The relation of the resulting frames on \(\mathbb {R}^3\) to each other and to the standard frame (2.22) is interesting, and important for the remainder of this paper. We therefore collect the relevant results here. Defining the scale function
we introduce 1forms \(\theta _j\), \(j=1,2,3\), on \(\mathbb {R}^3\) via
Then, we find
In other words, pulling back the 1forms \(\sigma _1,\sigma _2\) and \(\sigma _3\) via H gives a frame which is related to the standard frame (2.22) by rotation with G (acting in its adjoint representation), a reflection in the origin and rescaling by \(\varOmega \). For later use we note
Lemma 2.1
The pullbacks \(G^{1}\hbox {d}G\) and \(H^{1}\hbox {d}H\) of the Maurer–Cartan form on SU(2) are related via
and the inverse relation can be expressed as
Proof
Formula (2.33) is an immediate consequence of \(H=G^2\). To show the inverse relation, we use (2.33) to write (2.34) as
Computing
we have
With \( 2 \hbox {d}\varOmega = \mathbf {x}\cdot \hbox {d}\mathbf {x}/\ell \) and
one deduces (2.35) and hence (2.34). \(\square \)
2.3 Magnetic Dirac operators and their zeromodes
In the frame (2.19) for a 3sphere of radius \(\ell \), a global gauge potential for the spin connection is
Thus, the Dirac operator associated with the frame (2.19) is
Minimal coupling to an abelian gauge potential \(A =A_1 \sigma _1 + A_2 \sigma _2 + A_3\sigma _3\) gives
The Dirac operator on \(\mathbb {R}^3\) associated with the frame (2.22) and minimally coupled to an abelian gauge potential \(A= A_1\hbox {d}x_1 + A_2 \hbox {d}x _2 + A_3\hbox {d}x_3\) is
where we used \(\partial _1= \partial /\partial x_1\) etc.
As we saw in the previous section, the frame (2.19) pulled back to \(\mathbb {R}^3\) via H and the flat frame (2.22) are related by a rotation with G, a reflection and rescaling by (2.29). This implies a simple relation between the zeromodes of the Dirac operators on \(S^3\) and \(\mathbb {R}^3\).
Lemma 2.2
If \(\varPsi : S^3\rightarrow \mathbb {C}^2 \) is a zeromode of the Dirac operator (2.41) on \(S^3\) coupled to the U(1) gauge field A, then
is a zeromode of the Dirac operator on Euclidean 3space coupled to the connection \(H^*A\).
Proof
Since the spin connection in the frame (2.22) is manifestly zero, it follows from the equivariance of the Dirac operator under scaling and frame rotations that pulling back zeromodes of the Dirac operator on \(S^3\) to \(\mathbb {R}^3\) and applying the transformation \(G\varOmega ^{1}\) gives zeromodes of the Dirac operator on \(\mathbb {R}^3\) in the flat frame (2.22). It is instructive to check this explicitly. The pullback of the spin connection is
Thus, using (2.33),
Combining (2.37) and
one checks that
Combining these results, one checks that the pullback of the Dirac operator on \(S^3\) coupled to the spin connection and the abelian connection A in the frame (2.22) is
which implies the claimed relation between zeromodes of and . Note that the components of the pullback abelian connection relative to the frame (2.22) are related to the components in the expansion \(A=\mathbf {A}\cdot \varvec{\sigma }\) via
\(\square \)
This lemma can be used to construct magnetic zeromodes on \(\mathbb {R}^3\) from magnetic zeromodes on \(S^3\). For the family constructed explicitly by Loss and Yau in [1], which we call linear in this paper, this was observed in [6] and elaborated in [7], where this family was obtained from eigenmodes of the Dirac operator on \(S^3\). The corresponding argument for the family of vortex zeromodes is one of the main results of our Sect. 3.2.
We review the construction of the linear zeromodes very briefly here because we will need them later in this paper, expressed in our conventions for parameterising \(S^3\) in terms of two complex variables. We define the functions
where \(C_{jms}\) is an overall normalisation constant
and
The summation index k runs over the values so that the factorials are well defined. These functions are orthonormal and satisfy
as well as
Using the explicit expression for the Dirac operator given in (2.40), one deduces that
is an eigenspinor of with eigenvalue
and that
is an eigenspinor of with eigenvalue
The degeneracy of each eigenvalue is \((2j+1)(2j+2)\).
We can now use a trick introduced by Loss and Yau [1] to obtain zeromodes of the gauged Dirac operator from general eigenmodes of the ungauged Dirac operator. Setting
where \(\varPsi \ne 0\) and using \(\varPsi ^\dagger \tau _i \varPsi \tau _i =2 \varPsi \varPsi ^\dagger {\varPsi ^\dagger \varPsi }\mathbb {I}\), one then has
With \(A= A_i\sigma _i\), this implies
In general, one needs to check the validity of this result at the zeros of \(\varPsi \). We will do this in our application of linear zeromodes later. Assuming the zeros are dealt with, we can then apply Lemma 2.2 to obtain magnetic zeromodes on Euclidean 3space of the form
3 Vortex equations and magnetic zeromodes
3.1 Vortex equations on \(S^3\)
We are now ready to introduce the 3dimensional geometries which will lead us to the smooth vortex zeromodes promised in the Introduction and provide the link with vortices on the 2sphere. First, we define vortex configurations on the 3sphere.
Definition 3.1
Let n be a positive integer, A be a 1form on \(S^3\), and \(\varPhi : S^3\rightarrow \mathbb {C}\) be a complexvalued function. We say that the pair \((\varPhi ,A)\) is a vortex configuration on \(S^3\) with vortex number \(2n2\) if the following conditions hold:

1.
Normalisation :
$$\begin{aligned} A(X_3)=n1, \end{aligned}$$(3.1) 
2.
Equivariance:
$$\begin{aligned} {{\mathcal {L}}}_{X_3}A =0, \quad i{{\mathcal {L}}}_{X_3}\varPhi =(n1)\varPhi , \end{aligned}$$(3.2) 
3.
Vortex equations:
$$\begin{aligned} (\hbox {d}\varPhi +i A\varPhi )\wedge \sigma = 0, \quad F_A = \frac{i}{2} (\varPhi ^21)\bar{\sigma } \wedge \sigma , \end{aligned}$$(3.3)where \(F_A=\hbox {d}A\).
The definition is such that vortex configurations are mapped into vortex configurations by abelian gauge transformations of the form
Our vortex configurations on \(S^3\) can be interpreted as an equivariant description of vortices on \(S^2\) as follows. The normalisation condition (3.1) means that iA may be viewed as the connection 1form on the total space \(S^3/\mathbb {Z}_{2n2}\) (Lens space) of a U(1) bundle over \(S^2\) of degree \(2n2\). Comparing with (2.17) and referring to [11] for details, the equivariance requirement (3.2) means that \(\varPhi \) is the equivariant form of a section of the associated line bundle (the (\(2n2)\)th power of the hyperplane bundle). In fact, we will show in Sect. 4.1, Lemma 4.1, that the vortices on \(S^2\) which are equivariantly described by our vortex configurations are Popov vortices.
We note that contracting the first vortex equation with \((X_3,X_)\) and using (2.14) gives \(X_3\varPhi +iA(X_3)\varPhi =0\), which is satisfied by virtue of the normalisation and equivariance condition. Contracting it with \((X_+,X_)\) gives
We will return to this equation later in this section and also in Sect. 4.1. However, we first show that the vortex equations on \(S^3\) can be interpreted in terms of a flat nonabelian gauge field.
The following theorem shows that any vortex configuration can be expressed in terms of the pullback of the Maurer–Cartan form \(h^{1}\hbox {d}h\) on SU(2) via a bundle map \(U:S^3 \rightarrow S^3\) of the Hopf fibration covering a rational map \(S^2\rightarrow S^2\). Since the Maurer–Cartan form encodes the frame (2.19) of the round 3sphere, its pullback encodes the pullback of the round metric with U. In that sense, this result is a 3dimensional version of Baptista’s interpretation of vortices as deformed 2dimensional geometry.
Theorem 3.2
A vortex configuration of degree \(2n2\) on \(S^3\) determines a gauge potential for a flat su(2) connection on \(S^3\) satisfying the normalisation condition
via the following expression:
A gauge potential for a flat su(2) connection on \(S^3\) satisfying (3.6) and of the form (3.7) can be trivialised as \(\mathcal {A}=U^{1}\hbox {d}U\), where \(U:S^3\rightarrow S^3 \) has degree \(n^2\) and is a bundle map of the Hopf fibration, covering a rational map \(R:S^2\rightarrow S^2\) of degree n. Up to a U(1) gauge transformation (3.4), one can choose the bundle map U to have the form
where \(P_1,P_2\) are homogeneous polynomials of degree n with no common zeros
and \(a_0,b_0,a_n,b_n\) all nonzero.
The vortex configuration \((\varPhi ,A)\) can be computed from the bundle map U via
and is given in terms of \(P_1,P_2\) by
and
Our condition on \(a_0,b_0,a_n,b_n\) will turn out to be convenient in the discussion of Popov vortices in Sect. 4.2 and facilitates comparison with the treatment in [9].
Proof
Suppose \((\varPhi ,A)\) is a vortex configuration of degree \(2n2\). It is easy to check that, for a gauge potential of the form (3.7), the normalisation (3.1) implies (3.6). The flatness condition \(\hbox {d}\mathcal {A}+ \mathcal {A}\wedge \mathcal {A}=0\) for a gauge potential of the form (3.7) is equivalent to
which, using (2.7), is equivalent to the vortex equations (3.3). The equivariance condition (3.2) for vortex configurations is equivalent to
but this holds automatically for a flat gauge potential satisfying the normalisation (3.6) since, for a flat gauge field,
A flat and smooth SU(2) gauge potential \(\mathcal {A}\) on \(S^3\) can always be globally trivialised in terms of a function \(U:S^3 \rightarrow SU(2)\) as \(\mathcal {A}=U^{1}\hbox {d}U\). We now show that the vortex form (3.7) and the normalisation (3.6) force the trivialising map to be a bundle map covering a rational map of degree n. The normalisation (3.6) requires
This equivariance condition has important topological consequences. It implies that the map \(\pi \circ U\) is constant along fibres of the Hopf fibration and determines a map \(S^2 \rightarrow S^2\); in the parameterisation of U in terms of two functions \(P_1,P_2\) which do not vanish simultaneously as in (3.8) (but without assuming that \(P_1,P_2\) are polynomials) this map is simply the quotient \(P_2/P_1\). In terms of our stereographic coordinate z for \(S^2\) and the section s in (2.16) we define
and have the following commutative diagram (where we have not carefully distinguished between \(S^2\) and our coordinate chart \(\mathbb {C}\) for it):
By virtue of (3.16), the map \(\pi \circ U:S^3\rightarrow S^2\) has Hopf number \(n^2\): the preimage of any point on \(S^2\) is an nfold cover of a circle which links with each of the n circles in the preimage of another point exactly once. It follows that the map U has degree \(n^2\) and the map R covered by U has degree n.
Continuing in a parameterisation of U in terms of two functions \(P_1,P_2\) but still not assuming that \(P_1,P_2\) are polynomials, the condition (3.16) implies
Since
we obtain a potential in the vortex gauge (3.7) if and only if
for some function \(\varPhi :S^3 \rightarrow \mathbb {C}\). Using (2.14), we therefore need to show that
The first of these follows from (3.19), since
To analyse the second condition, note that
with the last equality holding where \(P_1\ne 0\). As noted above, the ratio \(P_2/P_1\) defines a function (section of the trivial bundle \(H^0\)) on \(S^2\). According to the commutative diagram (2.18), \(X_+(P_2/P_1)=0\) means that the pullback \(R=s^*(P_2/P_1)\) is, in fact, a holomorphic function where it is defined. Thus, R has to be a holomorphic map \(S^2\rightarrow S^2\) of degree n, which means it must be a rational map, as claimed.
These conditions are clearly satisfied when \(P_1\) and \(P_2\) are the homogeneous polynomials given in (3.8). In that case, the rational map is explicitly given by
where
In order for (3.25) to be a map of degree n we require at least one of \(a_n,b_n\) to be nonzero (so that the maximum of the degrees of \(p_1\) and \(p_2\) is n) and at least one of \(a_0, b_0\) to be nonzero (so that we cannot reduce the degree by cancellation). We can then arrange for all of \(a_0, b_0,a_n,b_n\) to be nonzero by leftmultiplying U with a constant SU(2) matrix if necessary; this does not affect \(\mathcal {A}\) and therefore leaves the vortex configuration unchanged.
Fixing U to be the trivialisation in terms of the polynomials \(P_1,P_2\) in (3.8), we can define a new trivialisation
This also satisfies (3.16) and leads to the same rational map R. The nonabelian gauge potential \({\tilde{\mathcal {A}}}= {\tilde{U}}^{1} d{\tilde{U}}\) differs from \(\mathcal {A}= U^{1} \hbox {d}U\) by the gauge transformation (3.4), as claimed.
Continuing with \(P_1\) and \(P_2\) being homogeneous polynomials in \(z_1,z_2\) of degree n, we obtain the claimed formula for the vortex field \(\varPhi \) from
noting that
is a homogeneous polynomial in \(z_1,z_2\) of degree \(2n2\) and nonsingular: the term of order \(z_2^{2n1}\), which could potentially cause a singularity when divided by \(z_1\), vanishes.
The derivation of the expression for A is a straightforward calculation, which makes use of
One finds
which, with (2.14), implies (3.12). \(\square \)
In order to make contact with discussions in the literature related to the potential A we note an expression for A in terms of polar coordinates, for later use.
Lemma 3.3
Suppose \((\varPhi ,A)\) is a vortex configuration of vortex number \(2n2\) on \(S^3\) and consider the modulusargument parameterisation
valid away from the (generically \(2n2\)) zeros of \(\varPhi \). Then, the gauge potential A in (3.10) can be expressed via the formula
valid away from the zeros of \(\varPhi \).
Proof
Observe that, away from the zeros of \(\varPhi \), we can write (3.12) as
Inserting the parameterisation (3.32) leads to
With the Hodge\(\star \) relative to the orientation (2.21), we have
so that
where we have used that for any differentiable \(f:S^3\rightarrow \mathbb {C}\),
Turning to the terms involving \(\chi \), using (3.38) and deducing from (3.2) that \(X_3\chi = 1n\), we conclude that
Combining (3.35) with (3.37) and (3.39) we arrive at the claimed expression for the gauge potential (3.10) in terms of the modulus and argument of the field \(\varPhi \). \(\square \)
3.2 Magnetic zeromodes from vortices
We are now ready to explain how one can construct magnetic zeromodes of the Dirac operator on the 3sphere and on Euclidean 3space from vortex configurations on the 3sphere. We define spinorial vortex zeromodes as follows.
Definition 3.4
A pair \((\varPsi ,A)\) of a spinor \(\varPsi \) and a 1form A on \(S^3\) is said to be a vortex zeromode of the Dirac equation on \(S^3\) if
where \(\star \) is the Hodge star operator on \(S^3\) with respect to the metric (2.20) and orientation (2.21).
Theorem 3.5
Suppose \((\varPhi ,A)\) is a vortex configuration on \(S^3\). Then, the pair
is a vortex zeromode \((\varPsi ,A')\) on \(S^3\).
Proof
The spinor given in the theorem is a zeromode of the gauged Dirac equation if
However, \(A'_3= A'(X_3)= (n1)+ \frac{3}{4}\) so that the first of these equations follows from (3.2). The second follows from \(A'(X_+) = A(X_+)\) and (3.5). Turning to the nonlinear equation, we note that, for a spinor of the form given in the theorem,
Moreover,
so that the nonlinear equation in the definition of a vortex zeromode follows.\(\square \)
We can pull back the vortex zeromodes of the Dirac equation on \(S^3\) to \(\mathbb {R}^3\) using Lemma 2.2, but we also need to understand how the nonlinear equation behaves under this pullback. It turns out that the resulting equations take their simplest form in vector notation for gauge potentials and their magnetic fields, i.e. when expanding a 1form on \(\mathbb {R}^3\) as \(A=\mathbf {A}\cdot \hbox {d}\mathbf {x}\) and defining the magnetic field vector field via \(dA=\frac{1}{2} \epsilon _{jkl} B_j \hbox {d}x_k \wedge \hbox {d}x_l\) or \(\mathbf {B}=\nabla \times \mathbf {A}\).
The magnetic field corresponding to the inhomogeneous term is given by
where we used (2.32). The integral lines of \(\mathbf {b}\) are the fibres of the Hopf fibration (2.15); they are plotted in Fig. 2.
We claim that vortex zeromodes of the Dirac equation pull back to solutions of the following coupled equations in \(\mathbb {R}^3\):
We state this result as follows.
Corollary 3.6
Any pair of homogeneous polynomials \(P_1,P_2:\mathbb {C}^2 \rightarrow \mathbb {C}\) of the same degree and without common zeros uniquely determines a smooth and squareintegrable magnetic zeromode of the Dirac operator in Euclidean 3space which satisfies the coupled equations (3.46).
Proof
Combining \(P_1\) and \(P_2\) into an SU(2) matrix yields a vortex configuration \((\varPhi ,A)\) on \(S^3\) according to the prescription of Theorem 3.2. Such a vortex configuration defines a vortex zeromode \(\varPsi \) of the Dirac operator on \(S^3\) coupled to \(A'= A+ \frac{3}{4} \sigma _3\) according to Theorem 3.5. Implementing the conformal change to \(\mathbb {R}^3\) according to Lemma 2.2 produces the magnetic zeromode
on \(\mathbb {R}^3\) of the Dirac operator coupled to \(H^*A'=\mathbf {A'}_H\cdot \hbox {d}\mathbf {x}\).
We also need to understand the pullback of the nonlinear equation in (3.40). The quadratic term in the zeromode \(\varPsi \) on \(S^3\) is
and using (2.30) and (2.31) we deduce that pulling back with H yields
where \(\varPsi _H\) is related to \(\varPsi \) as defined in (2.43). Finally, expanding the pullback of the field strength in the same coordinates
the nonlinear equation in the definition 3.4 pulls back to
as claimed.
The spinor \(\varPsi _H\) in (3.47) and the gauge potential \(H^*A'\) are manifestly smooth, being the pullback with smooth maps of smooth functions on \(S^3\). As the pullback of a smooth function on \(S^3\), \(H^*\varPhi \) is bounded and has a (finite) limit as \(r\rightarrow \infty \). It follows that
for some positive constant C, which ensures that \(\varPsi _H\) is squareintegrable with respect to the Euclidean measure (2.23). Since \(\varPsi ^\dagger \varvec{\tau } \varPsi = \varPsi ^\dagger \varPsi \) for any spinor \(\varPsi \), it follows that the vector field \( \varPsi _H^\dagger \varvec{\tau } \varPsi _H\) is also squareintegrable. The squareintegrability of \( \mathbf {B'}_H \) then follows from the squareintegrability of \( \mathbf {b}\) and the relation (3.51). \(\square \)
The coupled equations (3.46) have appeared in the literature in various contexts and deserve a few comments. There are various ways of stating these equations. Rescaling the spinor by a factor of \(\sqrt{2}\) leaves the linear equations unchanged, but changes the quadratic term in the nonlinear equation into the spin density
Changing to the charge conjugate spinor
turns our equations into the equivalent set of equations
The equations (3.46) have been discussed in the literature as the dimensionally reduced Freund equations [2], while their charge conjugates have appeared as the variational equations of a particular Dirac–Chern–Simons action [4].
The magnetic field on \(\mathbb {R}^3\) obtained from the pair of complex polynomials \(P_1,P_2\) can be written in terms of the Hopf map \(\pi \) and the maps H (2.26) and U (3.8) as
where \(\mathcal {R}\) is the area form on the 2sphere of unit radius (4.7), which will play an important role in the next section. This is an example of the magnetic field introduced by Rañada in [13] and discussed more recently in [14]. It has interesting topological properties inherited from those of the map \(U:S^3\rightarrow S^3\), which, as explained after diagram 3.18, has topological degree \(n^2\). As also explained there, \(\pi \circ U:S^3\rightarrow S^2\) has Hopf number \(n^2\). As discussed in [15], this implies that the magnetic field (3.56) has linking number one and (magnetic) helicity \(n^2\).
In order to compare with solutions for (3.46) previously obtained in the literature, we also pull back the modulusargument expression (3.33) to \(\mathbb {R}^3\) to find
The operation
is linear; it annihilates \(\sigma _3\) and acts as a complex structure on the cotangent space orthogonal to \(\sigma _3\) by mapping
It pulls back to the map \((\theta _1+i\theta _2) \mapsto (2 i/ \ell )( \theta _1+i\theta _2)\), which we can write as
Therefore,
In [1], Loss and Yau showed that, for spinors on \(\mathbb {R}^3\) whose spin density (3.53) has vanishing divergence, one can always find a gauge field A so that the given spinor is a zeromode of the Dirac operator on \(\mathbb {R}^3\) coupled to A. They gave an explicit formula, valid where the spinor does not vanish:
The relation to our expression (3.61) is as follows.
Lemma 3.7
Let \((\varPhi ,A)\) be a vortex configuration on \(S^3\), and \(\varPsi _H\) the corresponding zeromode of the Dirac operator on \(\mathbb {R}^3\) given in (3.47). Then, the spin density of \(\varPsi _H\) is divergenceless, and the corresponding Loss–Yau potential is given by
Proof
As shown above, the spinor \(\varPsi _H\) (3.47) and the gauge potential \(H^*A+ \frac{3}{4} H^*\sigma _3\) satisfy the coupled equations (3.46). By virtue of the nonlinear equation (3.51), the spin density for \(\varPsi _H\) automatically has vanishing divergence. Using the expression (3.47) and the modulusargument decomposition (3.32) pulled back to \(\mathbb {R}^3\),i.e.
one then computes
where all Hodge star operations now refer to \(\mathbb {R}^3\). The first two terms combine to the expression (3.61) for \(H^*A\). The first term inside the expectation value can be rewritten, using (2.31) and (2.30):
where we used
Next we use the relation (2.34) to express \(G^{1}\hbox {d}G \) in terms of H and \(\varOmega \), to deduce
Then, the observation
completes the proof. \(\square \)
Formula (3.62) is the starting point of several treatments in the literature of magnetic zeromodes, particularly in the papers [2,3,4] by Adam, Muratori and Nash (AMN). The AMN construction gives magnetic zeromodes in terms of solutions of the Liouville equation. However, by effectively pulling back local expressions for sections on \(S^2\) to \(S^3\) via the Hopf map it introduces additional singularities which we will discuss in more detail in Sect. 4.2.
3.3 Zeromode combinatorics
It is natural to wonder if the linear magnetic zeromodes (2.62) and the vortex zeromodes (3.47) can be combined to produce new zeromodes. This is indeed possible when one picks \(s=j\) in (2.62), and notes that, according to (2.50),
so that a linear combination of such functions gives another homogeneous polynomial
of degree 2j. Since such a polynomial satisfies \(iX_3P= j P\) and \(X_+P=0\), it is easy to check that one can combine it with a vortex configuration \((\varPhi ,A)\) of degree \(2n2\ge 0\) to get a solution
of the coupled Dirac equations (3.46) on \(\mathbb {R}^3\). Physically, the inclusion of P in the spinor adds a multiple of the background field \(\mathbf {b}\) to the solution.
There is an obvious mirror version of all our solutions in the antiholomorphic world: for negative n and \(s=j\), one can write down vortex configurations \((\bar{\varPhi },A)\) in terms of antiholomorphic polynomials, and obtain corresponding Dirac zeromodes
of the Dirac operator coupled to \( H^*A  \left( j+ \frac{3}{4}\right) H^*\sigma _3.\) These are nothing but the charge conjugates (3.54) of the holomorphic solutions (3.72).
4 Popov vortices on \(S^2\) and Cartan connections
4.1 Popov vortices from vortices on \(S^3\)
We now turn to the promised explanation of the link between our vortex equations on \(S^3\) and vortex equations on \(S^2\) whose solutions are called Popov vortices. Before we write down the equations, we introduce our notation for the round geometry of the 2sphere.
In a stereographic coordinate z defined by projection from the south pole, the round metric of a 2sphere of arbitrary radius \(\lambda \) is
and a possible complexified frame field \(e=e_1+ie_2\) is given by
In terms of this frame field, the structure equations can be written as a single complex equation
which determine the spin connection 1form \(\Gamma \) as
The topology of the 2sphere does not permit a globally defined frame, and one checks that the frame (4.2) is singular at \(z=\infty \) (the south pole) by switching to \(\zeta =1/z\) [11] and noting that e behaves likes \(\bar{\zeta }^2/\zeta ^2 \hbox {d}\zeta \) near \(\zeta =0\); \(\Gamma \), too, has a singularity at \(z=\infty \). In our chart, the Riemann curvature form is
and is related to the frame via the usual Gauss equation
where \(K=1/\lambda ^2\) is the Gauss curvature. Thus,
which integrates to \(4\pi \).
In [9], \(\lambda =\sqrt{2}\) is chosen and the Popov equations are expressed in terms of the associated Kähler form. However, as we shall see it is more natural to write them in terms of the Riemann curvature form. A Popov vortex is defined on a principal U(1) bundle of degree \(2n2\) over the 2sphere. It is a pair \((\phi ,a)\) of a connection a on this bundle and a section \(\phi \) of the associated complex line bundle. With \(a= a_z \hbox {d}z + a_{\bar{z} }\hbox {d}\bar{z} \) and \(f=f_{z\bar{z}} \hbox {d}z\wedge \hbox {d}\bar{z}=da\), the vortex equations in [9] are
As also explained in [9], solutions are obtained from rational maps \(R: S^2 \rightarrow S^2\) of degree n which, in our coordinate z, take the form (3.25). The Popov vortices are determined by
The second of these equations determines \(\phi \) as
which has singularities at the zeros of \(p_1\) which we will discuss below (see also [9]). Note also that (4.9) implies that
so that
follows immediately.
We would like to relate the Popov equations and their solutions to vortices on the 3sphere studied in Sect. 3.1. As reviewed in Sect. 2.1 the Hopf projection \(S^3\simeq SU(2)\rightarrow S^2\) in complex coordinates \((z_1,z_2)\) for \(h\in SU(2)\) (2.4) and the complex stereographic coordinate z on \(S^2\) is \(\pi : h \mapsto z_2/z_1\), and a local section of this bundle is given by (2.16).
Lemma 4.1
The pullback of the vortex equations (3.3) on \(S^3\) via the section s (2.16) yields the Popov equations (4.8) up to a singular gauge transformation.
Proof
With \(U: SU(2) \rightarrow SU(2)\) defined in terms of polynomials \(P_1,P_2\) as in (3.8) we define \(R:S^2 \rightarrow S^2\) in our stereographic chart by
This is the rational map already encountered in the proof of Theorem 3.2, see also the diagram (3.18); it is of the form (3.25). One checks that
so that the pullback with (2.16) gives
Pulling back (4.14) further with U
and then with s
we deduce from the definition of R that
Thus, we find that the pullback of the 1form \(A=U^*\sigma _3\sigma _3\) is
Also noting
and combining this to pullback the vortex equations on \(S^3\) (3.3), we obtain
or, equivalently,
Writing this in terms of the Popov connection a, we conclude that
which is equivalent to the Popov equations (4.8). \(\square \)
4.2 Geometrical interpretation and singularities
It is implicit in our summary, particularly in Eq. (4.9), that Popov vortices can also be interpreted purely geometrically. A metric viewpoint was emphasised and discussed in the more general context of vortex equation on a Riemann surface with a Kähler metric in [10]. In that paper, Baptista pointed out that vortices on a surface with metric g define a new geometry by rescaling with the Higgs field
The new metric degenerates precisely at the zeros \(Z_j\), \(j=1,\dots ,2n2\) of the Higgs field (not necessarily distinct), but its Levi–Civita connection has a Riemann curvature 2form which, as explained in [10], can naturally be extended to the zeros by including delta function singularities
Geometrically, the rescaled metric \(g'\) has a singularity with a surplus angle \(2\pi n\) at a zero of multiplicity n. Such singularities can also be thought of as conical singularities with a ‘negative deficit’ angle, i.e. with an excess angle. They resemble a ruffled collar, and are sometimes called ‘Elizabethan geometries’ in the literature.
By virtue of a being a connection on a line bundle of degree \(2n2\), we know that
When integrating \(\mathcal {R}'\) this is cancelled by the delta function contributions, and so
assuring that the usual Gauss–Bonnet formula applies to \(\mathcal {R}'\). This should be contrasted with the pullback curvature \(R^*\mathcal {R}\) which integrates to \(4\pi n\).
In the metric interpretation, the zeros of the Higgs field lead to singularities, whereas the actual singularities of the Higgs field do not appear to play a special role. To understand the geometric interpretation of the singularities of the Higgs field, we need to consider the frame field defined by it. The complexified frame field
has singularities at each the zeros of \(p_1\), i.e. at each of the preimages of the singularity of the frame e under the map R. If q is a zero of \(p_1\), the behaviour near q is
for some constant A. Near \(z=\infty \), we use again \(\zeta =1/ z\) to write the leading term as
which is smooth. It follows that the winding number of the frame field is localised at the zeros of \(p_1\), with each zero (counted with multiplicity) contributing a winding of \(4\pi \).
This interpretation is gauge dependent. Using (4.20), we find that the frame field
has no singularities for finite z, but has a singularity at \(z=\infty \), where it behaves like
for yet another constant C. In this gauge, the full phase rotation of \(4\pi n\) is concentrated at \(z=\infty \).
Our discussion shows that any description of the magnetic zeromodes in terms of the Popov vortex fields invariably has singularities since the Popov vortex is a section of and a connection on a nontrivial bundle, neither of which permits a globally smooth expression. This also applies to the expressions derived in [3, 4], which, in our terminology, express the magnetic zeromodes in terms of the modulus and phase of a scalar Popov vortex field (whose modulus obeys a Liouville equation). While one can shift the location of the singularities with gauge transformations, one cannot remove them on \(S^2\).
4.3 Gauge potentials for Cartan connections
Cartan connections combine the frame and spin connection into a nonabelian connection. We now show how the results of the previous section can be expressed in the language of Cartan geometry. We first exhibit a local gauge potential for a Cartan connection constructed from the frame and connection defined by a Popov vortex, and then show how it is related to the gauge potential \(\mathcal {A}\) used for describing vortices on the 3sphere in Theorem 3.2.
Lemma 4.2
Combine the frame (4.2) and spin connection (4.4) of the 2sphere into the su(2) gauge potential
defined on the 2sphere without the south pole. Then, the flatness condition for \(\hat{A}\) is equivalent to the structure equation (4.3) and Gauss equation (4.6) on a 2sphere of radius \(\lambda \). Moreover, the flatness of the pullback \(R^{*}\hat{A}\) via the rational map R (3.25) is equivalent to the Popov equations being satisfied by the pair \((\phi ,a)\) defined via (4.9).
In the language of Cartan connections, this lemma says that \(\hat{A}\) is a gauge potential for a Cartan connection describing the round 2sphere and that \(R^{*}\hat{A}\) is a gauge potential for a Cartan connection describing the deformed geometry defined by the vortex \((\phi ,a)\).
Proof
Calculating the curvature of the connection \(\hat{A}\) gives
from which we can read off that the vanishing of the coefficient of \(t_{3}\) is equivalent to the Gauss equation and the coefficients of \(t_{\pm }\) vanishing are equivalent to the structure equations. Using (4.9), we have
with curvature
This being zero is equivalent to the Popov equations (4.8) being satisfied.\(\square \)
The gauge potential \(R^*\hat{A}\) inherits singularities from the singularities of \(\phi e\) discussed earlier. In order to treat this more carefully, we use the notion of a principal divisor \(D=\sum n_j q_j\) of degree n on \(S^2\). Given such a divisor we construct a bundle over \(S^2{\setminus } \{q_j\}\) by removing the union of the fibres over the \(q_j\) from SU(2), obtaining the total space
For a homogeneous polynomial P of degree n in \(z_1,z_2\), let D be the divisor of zeros of the associated inhomogeneous polynomial p (so \(P(z_1,z_2)= z_1^n p(\frac{z_2}{z_1})\)). Then, we can define the map
and the pullback
It has the form
For later use we note the behaviour of this matrix under fibre rotations. Identifying h with \((z_{1},z_{2})\) as in (2.4), we have
Lemma 4.3
With s defined as in (2.16), the gauge potential for the Cartan connection of the 2sphere is trivialised by s:
Moreover, if U is the bundle map (3.8) covering the rational map \(R=p_2/p_1\), the gauge potential \(R^{*}A\) for the deformed Cartan geometry and the pullback via s of \(\mathcal {A}=U^{1}\hbox {d}U\) are related through the singular gauge transformation \(r_{p_1}\):
Proof
Formula (4.42) follows by an elementary calculation and comparison with the definition of e and \(\Gamma \) in terms of z in (4.2) and (4.4). With the map \(U:S^3\rightarrow S^3\) defined in terms of polynomials \(P_1,P_2\) as in (3.8), and the map \(R:S^2\rightarrow S^2\) defined as in (4.13), one checks that
and so, choosing the polynomial \(P_1\) used in the definition of U (3.8),
It follows that
Since \({\mathcal {A}}= U^{1} \hbox {d}U\) and
the claim follows. \(\square \)
While the 1form \({\mathcal {A}}= U^{1} \hbox {d}U\) is manifestly smooth on \(S^3\), its pullback with s is not. The map \(s\circ U\) (4.44) has a singularity of the form \(z^n/z^n\) at \(z=\infty \), as one would expect since the pullbacks \(s^*P_1\) and \(s^*P_2\) are local expression for sections of line bundles of degree n over \(S^2\) [11]. It follows that the pullback \(s^* {\mathcal {A}}\) is singular at \(z=\infty \), with the singularity already exhibited at (4.32).
4.4 Cartan geometry
Our description of the geometry of the 2sphere and its pullback via the rational map R in terms of su(2) gauge potentials has been entirely local so far. It is time to address the global geometrical structure behind these gauge potentials. We will specify the bundles and the connections for which (4.33) and (4.35) are local gauge potentials in the language of Cartan geometry, but refer the reader to the textbook [16] and particularly to the PhD thesis [17] for general definitions and facts about Cartan geometry.
Cartan connections describe the geometry of manifolds modelled on homogeneous spaces G / H in terms of a connection on a principal Gbundle Q over this manifold. In order to recover the geometry of a manifold from a Cartan connection one needs an additional structure, namely a section of an associated G / H bundle which is transverse to the connection or, equivalently (as explained in [17]), a principal H subbundle P of Q which is transverse to the connection.
Here, we are interested in the case \(G=SU(2),H=U(1)\) and \(G/H=S^2\) and only consider flat Cartan connections. However, we will need to extend the usual framework of Cartan connections to deal with singularities. Consider a divisor D of degree n on \(S^2\), and define the quotient
where \(P_D\) is as defined in (4.37) and we think of \(\mathbb {Z}_n\) as the subgroup generated by \( e^{\frac{4\pi }{n} t_3}\), acting from the right on SU(2). This is a U(1) bundle over \(S^2{\setminus }\{q_j\}\) with the projection provided by the usual Hopf map \(\pi \) (2.15). It is a Lens space with n circles removed.
In order to construct the required principal SU(2) bundle, we define the SU(2)bundle associated with \(P_D\) via a U(1) action on SU(2):
where \(\sim \) is the equivalence relation
This is an SU(2) bundle over \(S^2{\setminus } \{q_j\}\) with projection
To make this into a principal SU(2) bundle, we pick a homogeneous polynomial P of degree n and consider the map \(r_P\) in (4.38). Then,
is well defined on \(Q_D\), by (4.41), and we define the SU(2) right action as
Sections are constructed from maps satisfying an equivariance condition
This ensures that, for any U satisfying this condition,
is a welldefined section.
The Maurer–Cartan form \(g^{1} \hbox {d}g \) is not well defined on \(Q_D\) since it is not rightinvariant. However, for any P, the 1form
is well defined and satisfies the equivariance condition for a connection 1form. It is the Cartan connection which we are looking for. The map U in (3.8) satisfies (4.54). Picking \(P=P_1\) and pulling back \(\omega \) to our stereographic coordinate chart via \(S_U\) lead to the gauge potential
which, according to (4.47) and (4.35), indeed captures the geometry induced by the Popov vortices.
To end this section, we also exhibit the second way in which one recovers geometry from a Cartan connection. As mentioned earlier, this requires a transverse section of the \(SU(2)/U(1) \simeq S^2\) bundle associated with the principal SU(2) bundle \(Q_D\). In the trivialisation via (4.55), this section (often called the Higgs field in the physics literature on Cartan connections) is simply the constant map
where we think of \(t_3\) as an element of unit sphere inside su(2). The geometry is recovered from the covariant derivative
which extracts the frame \(\phi e\) from the gauge potential \(R^*\hat{A}\). If we apply the gauge transformation \(s^*(Ur_{P_1})\), the gauge potential vanishes in the new gauge, but the transverse section is now
which, up to stereographic projection, is our rational map R. In other words, the rational map which solves the Popov vortex equations is the ‘transverse Higgs field’ of Cartan geometry in a particular gauge. The geometry is still recovered via the covariant derivative, but since the gauge potential vanishes now, this is simply the exterior derivative \(d \tilde{\varphi }\) which, modulo stereographic projection, indeed reproduces the formula for the frame \(\phi e\) in terms of the derivative of R.
5 Summary and outlook
The equations, spaces and maps studied in this paper are summarised in Fig. 3, with magnetic zeromodes on the top left of the picture and the Popov vortex equations on the bottom. The geometry of the 3sphere, as encoded in the Maurer–Cartan form \(h^{1}\hbox {d}h\), and its pullback via the bundle map U provides a unifying point of view for both and leads to the explicit and smooth description of both vortex zeromodes and of vortices.
We believe that our results provide a fully geometrical understanding of magnetic zeromodes on \(\mathbb {R}^3\) and would like to stress the practical advantage of having manifestly singularityfree and squareintegrable formulae. Previous expressions based on the Loss–Yau formula (3.62) have singularities where the spinor field vanishes, see also our discussion at the end of Sect. 4.2.
The diagram in Fig. 3 shows that the structures studied in this paper are closely related to many of the most studied topological solitons [18]. Apart from the obvious vortex configurations, the maps U and their pullbacks \(U\circ H\) are topologically Skyrme fields on \(S^3\) and \(\mathbb {R}^3\). The rational maps R can also be interpreted as ‘lumps’ or baby Skyrmions on the 2sphere, while the composite maps \(H\circ U\circ \pi = H\circ \pi \circ R\) are topologically Hopfions. As discussed in Sect. 3.2, the magnetic fields on \(\mathbb {R}^3\) obtained by pulling back the area form on the unit 2sphere via these maps are examples of linked magnetic fields of the kind studied by Rañada and more recently, in more detail and with many pictures, in [14]. Finally, the equation obeyed by vortex zeromodes on \(\mathbb {R}^3\) is related to the Seiberg–Witten equations on \(\mathbb {R}^4\) with a sign flipped [2].
It is clear that much of what we discussed in this paper has a close analogue in a Lorentzian and hyperbolic setting, where the 2sphere is replaced by hyperbolic 2space, the 3sphere by 3dimensional antide Sitter space (or SU(2) by SU(1, 1)), and Euclidean \(\mathbb {R}^3\) by Minkowski space \(\mathbb {R}^{2,1}\). Spelling this out is the topic of a forthcoming paper [19]. However, one should also consider further generalisations suggested by the origin of the Popov equations in selfduality.
As we briefly mentioned in the Introduction, the Popov equations are symmetry reduction of the selfduality equations for SU(1, 1) instantons on \(\mathbb {R}^4\). In fact, there is a whole family of integrable vortex equations recently studied by Manton [20] which have similar links to selfduality equations, with the relevant gauge group depending on the vortex equation [21]. It is intriguing that, for Popov vortices, the nonabelian gauge group SU(1, 1) needed for the selfdual connection differs from the SU(2) we used in our description in terms of flat Cartan connections. It would be interesting to understand both viewpoints and their relationship systematically for the family of integrable vortex equations studied in [20].
To end, we point out that interactions of spinors with linked magnetic fields of the form (3.56) are currently much discussed in atomic and condensed matter physics, where the spinors arise as an effective description of nearly degenerate states of ultracold atomic BoseEinstein condensates, and the magnetic field as the curvature of a Berry connection, see, for example, the papers [22, 23] for a review. Our explicit expression for more general magnetic zeromodes may prove useful in that context.
References
Loss, M., Yau, H.T.: Stability of Coulomb systems with magnetic fields: III. Zero energy bound states of the Pauli operator. Commun. Math. Phys. 104, 283–290 (1986)
Adam, C., Muratori, B., Nash, C.: NonL\(^{2}\) solutions to the Seiberg–Witten equations. J. Math. Phys. 41, 5875–5882 (2000)
Adam, C., Muratori, B., Nash, C.: Hopf instantons and the Liouville equation in target space. Phys. Lett. B 479, 329–335 (2000)
Adam, C., Muratori, B., Nash, C.: Hopf instantons in Chern–Simons theory. Phys. Rev. D 61(10), 105018 (2000)
Erdös, L., Solovej, J.P.: The kernel of Dirac operators on S\(^{3}\) and R\(^{3}\). Rev. Math. Phys. 13, 1247–1280 (2001)
Dunne, G., Min, H.: Abelian zeromodes in odd dimensions. Phys. Rev. D 78, 067701 (2008)
Min, H.: Fermion zeromodes in odd dimensions. J. Phys. A Math. Theor. 43, 095402 (2010)
Popov, A.D.: Integrable vortextype equations on the twosphere. Phys. Rev. D 86(10), 105044 (2012)
Manton, N.S.: Vortex solutions of the Popov equations. J. Phys. A Math. Gen. 46(14), 145402 (2013)
Baptista, J.M.: Vortices as degenerate metrics. Lett. Math. Phys. 104(6), 731–747 (2014)
Jante, R., Schroers, B.J.: Dirac operators on the TaubNUT space, monopoles and SU(2) representations. J. High Energy Phys. 1, 114 (2014)
Jante, R., Schroers, B.J.: Spectral properties of Schwarzschild instantons. Class. Quantum Gravity 33, 205008 (2016)
Rañada, A.F.: Knotted solutions of the Maxwell equations in vacuum. J. Phys. A Math. Gen. 23(16), L815 (1990)
Irvine, W.T.M., Bouwmeester, D.: Linked and knotted beams of light. Nat. Phys. 4(9), 716–720 (2008)
Rañada, A.F.: On the magnetic helicity. Eur. J. Phys. 13(2), 70 (1992)
Sharpe, R.W.: Differential Geometry: Cartan’s Generalization of Klein’s Erlangen Program. Springer, New York (1997)
Wise, D.K.: Topological gauge theory, Cartan geometry and gravity. PhD Thesis, University of California (Riverside),(2007), p 43
Manton, N.S., Sutcliffe, P.M.: Topological Solitons. Cambridge Monographs on Mathematical Physics. Cambridge University Press, Cambridge (2004)
Ross, C., Schroers, B.J.: In preparation
Manton, N.S.: Five vortex equations. J. Phys. A Math. Gen. 50(12), 125403 (2017)
Contatto, F., Dunajski, M.: Manton’s five vortex equations from selfduality. arXiv:1704.05875
Juzeliunas, G., Ruseckas, J., Öhberg, P.: Effective magnetic fields induced by EIT in ultracold atomic gases. J. Phys. B At. Mol. Opt. Phys. 38, 4171–4183 (2005)
Dalibard, J., Gerbier, F., Juzeliunas, G., Öhberg, P.: Colloquium: artificial gauge potentials for neutral atoms. Rev. Mod. Phys. 83, 1523 (2011)
Acknowledgements
CR acknowledges an EPSRCfunded PhD studentship. We thank Patrik Öhberg for discussions about possible applications of our ideas.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ross, C., Schroers, B.J. Magnetic zeromodes, vortices and Cartan geometry. Lett Math Phys 108, 949–983 (2018). https://doi.org/10.1007/s1100501710232
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1100501710232