, ,

In recent years, the study of singular Yang-Mills fields has been an extremely active area of research. Considering

SU (2)

instantons on four manifolds with codimension two singularities, it was found that these connections can admit non-trivial holonomy around arbitrarily small circles linking the embedded singular surface. An analytical theory for such instantons with holonomy singularity has been developed in [15, 16] . Although we currently have an understanding of the moduli space for such singular instantons, the literature in this field has a conspicuous dearth of explicit examples. A singular solution on

T s p^{2} \times D s p^{2}

is given in the appendix to [15] , although of greater interest are solutions on the standard model

S s p^{4} \ S s p^{2}

The first example of a singular instanton was discovered by P. Forgács, Z. Horváth, and L. Palla. In their 1981 paper [10] , they describe a self-dual Yang-Mills field on

S s p^{4} \ S s p^{2}

with the fractional Chern class

c_{2} = 3 / 2

. At first their result was not readily accepted, due to the resistance to the new idea of a fractional charge. They later published a second paper [11] defending their result, and since then over a decade of successful research into the field has eliminated any initial skepticism.

Nevertheless, their construction itself remains poorly understood.

The goal of this article is to elucidate and extend the work of Forgács et al., writing their construction using simpler notation, explaining the motivation behind their formulae, and generalizing to obtain a family of singular instantons with varying holonomy parameter. To this work we shall contribute a mathematical perspective, exchanging indices and Pauli matrices for more invariant complex, quaternionic, and spinor notation, and offering geometric interpretations for the equations involved.

Section 1 is devoted to the construction of instantons on

S s p^{4}

employing the ansatz proposed by the physicists Corrigan, Fairlie, and Wilczek in 1976 and described in [8, 12] . Starting with a positive real-valued function

ρ

R s p^{4}

, known as the super-potential, we consider the Yang-Mills connection

\begin{matrix} A = \sum_{μ, ν} i {\bar{σ}}_{μ ν} \partial s p^{ν} log ρ d x s p^{μ} . \end{matrix}

(1)

Here the anti-symmetric matrix

{\bar{σ}}_{μ ν}

is defined as¹

{\bar{σ}}_{μ ν} = {\begin{matrix} {\bar{σ}}_{i j} = \frac{1}{4 i} [σ_{i}, σ_{j}] \\ {\bar{σ}}_{i 0} = - \frac{1}{2} σ_{i} \end{matrix}

where the

σ_{i}

are the standard Pauli matrices generating the Lie algebra

s u (2)

. For such a connection, the self-duality equation

* F_{A} = F_{A}

is equivalent to the condition

Δ ρ = 0

. By reversing orientation, this construction can also be used to generate anti-self-dual connections from a harmonic super-potential.

This harmonic function ansatz was used by 't Hooft to construct a class of instantons with

5 n

parameters, corresponding to the centers and scales of

n

superimposed basic instantons. Since then, this ansatz has been shown to be the simplest case of a more general algebraic-geometric construction involving twistors discussed in [4] . More recently, both constructions have been eclipsed by the ADHM description of instantons given in [2] , which provides a complete construction for all ASD connections on

S s p^{4}

up to gauge equivalence. In Section 1 we recast the harmonic function ansatz in terms of quaternionic notation. Not only does this greatly simplify the required calculations, but also it better exhibits the underlying structure. We then show how these connections arise naturally via conformal transformations.

In Section 2 we introduce an

SO (3)

-action on

S s p^{4}

. Taking advantage of the conformal equivalence

S s p^{4} \ S s p^{1} \sim = ℋ s p^{2} \times S s p^{2}

, we show that the symmetric SD and ASD equations over

S s p^{4}

are equivalent to the vortex and anti-vortex equations over hyperbolic space

ℋ s p^{2}

. This technique is known as dimensional reduction. The harmonic function ansatz for instantons then reduces to a similar ansatz for hyperbolic vortices, which we also derive using conformal transformations ofhyperbolic space. After computing the vortex equivalents of the symmetric 't Hooft instantons, we use an equivariant version of the ADHM construction to provide a classification for all hyperbolic vortices. Examining gauge transformations, we obtain the surprising result that if two hyperbolic vortices constructed by the harmonic function ansatz are gauge equivalent, then they are both completely determined by the gauge transformation between them.

We return to our primary task of constructing singular instantons in Section 3. Restricting our attention to

SO (3)

-invariant connections on

S s p^{4}

, we can work instead with hyperbolic vortices.

Using the unit disc model of

ℋ s p^{2}

, singular instantons correspond to vortices with a holonomy singularity at the origin. We then proceed to construct solutions on the cut disc using the harmonic function ansatz, patching them together with gauge transformations to form global solutions on the punctured disc. In § 3.1 we essentially rewrite the paper [10] in this context, and in the following section we construct our desired family of singular vortices.

¹ We use the Greek indices $μ, ν$ when indexing over 4-space, while the Roman indices $i, j$ range over 1,2,3.

1 The Harmonic Function ansatz

1.1 Quaternionic Notation

For the duration of this section, we adopt the quaternionic notation as used in [1] . Writing

x \in H

in the form

x = x s p^{0} + i x s p^{1} + j x s p^{2} + k x s p^{3}

, its conjugate is

\bar{x} = x s p^{0} - i x s p^{1} - j x s p^{2} - k x s p^{3}

, and the corresponding differentials are

\begin{matrix} d x = d x s p^{0} + i d x s p^{1} + j d x s p^{2} + k d x s p^{3} d \bar{x} = d x s p^{0} - i d x s p^{1} - j d x s p^{2} - k d x s p^{3} . \end{matrix}

\begin{matrix}  \end{matrix}

By analogy with the complex case, we define the partial derivatives

\begin{matrix} \frac{\partial}{\partial x} & = \frac{1}{2} (\frac{\partial}{\partial x s p^{0}} - i \frac{\partial}{\partial x s p^{1}} - j \frac{\partial}{\partial x s p^{2}} - k \frac{\partial}{\partial x s p^{3}}) \end{matrix}

\begin{matrix} \frac{\partial}{\partial \bar{x}} & = \frac{1}{2} (\frac{\partial}{\partial x s p^{0}} + i \frac{\partial}{\partial x s p^{1}} + j \frac{\partial}{\partial x s p^{2}} + k \frac{\partial}{\partial x s p^{3}}) . \end{matrix}

\begin{matrix}  \end{matrix}

In this notation the Laplacian takes the form

Δ = - 4 \frac{\partial}{\partial x} \frac{\partial}{\partial \bar{x}} = - 4 \frac{\partial}{\partial \bar{x}} \frac{\partial}{\partial x} .

As expected, the exterior derivative

d

may be written as the sum of

\partial

and

\bar{\partial}

components, although there are now two distinct splittings

d = d x \frac{\partial}{\partial x} + \frac{\partial}{\partial \bar{x}} d \bar{x} = \frac{\partial}{\partial x} d x + d \bar{x} \frac{\partial}{\partial \bar{x}}

due to the non-abelian nature of the operators involved. Expanding the 2-form

d x \land d \bar{x}

in terms of coordinates as

\begin{matrix} d x \land d \bar{x} & = - 2 [i (d x s p^{0} \land d x s p^{1} + d x s p^{2} \land d x s p^{3}) + j (d x s p^{0} \land d x s p^{2} + d x s p^{3} \land d x s p^{1}) & + k (d x s p^{0} \land d x s p^{3} + d x s p^{1} \land d x s p^{2})], \end{matrix}

we see that

d x \land d \bar{x}

is self-dual and likewise that

d \bar{x} \land d x

is anti-self-dual.

Rewriting the connection ( 1 ) in terms of this new quaternionic notation, the harmonic function ansatz now takes the surprisingly familiar form

Theorem 1. Given a positive real-valued super-potential

ρ

R s p^{4}

, the Yang-Mills connection

A s p^{+}

defined by

\begin{matrix} A s p^{+} = - Im (\frac{\partial}{\partial \bar{x}} log ρ d \bar{x}) = - \frac{1}{2} (\frac{\partial}{\partial \bar{x}} log ρ d \bar{x} - d x \frac{\partial}{\partial x} log ρ) \end{matrix}

(2)

is anti-self-dual and the connection

A s p^{-}

defined by the conjugate expression

\begin{matrix} A s p^{-} = - Im (\frac{\partial}{\partial x} log ρ d x) = - \frac{1}{2} (\frac{\partial}{\partial x} log ρ d x - d \bar{x} \frac{\partial}{\partial \bar{x}} log ρ) \end{matrix}

(3)

is self-dual if and only if the super-potential

ρ

is harmonic.

Before proceeding with the proof of this theorem the reader may want to verify that ( 1 ) and ( 3 ) both yield the same self-dual connection. Expanding ( 3 ) using coordinates, we obtain the expression

\begin{matrix} A s p^{-} & = \frac{1}{2} ((+ i \partial_{1} + j \partial_{2} + k \partial_{3}) d x s p^{0} + (- i \partial_{0} - k \partial_{2} + j \partial_{3}) d x s p^{1} & + (- j \partial_{0} + k \partial_{1} - i \partial_{3}) d x s p^{2} + (- k \partial_{0} - j \partial_{1} + i \partial_{2}) d x s p^{3}), \end{matrix}

writing

\partial_{i}

as an abbreviation for

\partial_{i} log ρ

Proof of Theorem 1. For the purposes of this proof, we restrict our attention to the potentially self-dual connection

A s p^{-}

given in ( 3 ), calling it

A

. Explicitly computing the two components of the curvature

F_{A} = d A + A \land A

, we obtain

\begin{matrix} A \land A & = - \frac{1}{2} (\frac{\partial}{\partial x} log ρ d x \land d \bar{x} \frac{\partial}{\partial \bar{x}} log ρ + d \bar{x} \frac{\partial}{\partial \bar{x}} log ρ \land \frac{\partial}{\partial x} log ρ d x) \end{matrix}

\begin{matrix} d A & = - \frac{1}{2} (\frac{\partial}{\partial x} d x + d \bar{x} \frac{\partial}{\partial \bar{x}}) (\frac{\partial}{\partial x} log ρ d x - d \bar{x} \frac{\partial}{\partial \bar{x}} log ρ) \end{matrix}

\begin{matrix} = - \frac{1}{2} (- \frac{\partial}{\partial x} d x \land d \bar{x} \frac{\partial}{\partial \bar{x}} log ρ + d \bar{x} \frac{\partial}{\partial \bar{x}} \land \frac{\partial}{\partial x} log ρ d x) . \end{matrix}

\begin{matrix}  \end{matrix}

Recalling that the 2-forms

d x \land d \bar{x}

and

d \bar{x} \land d x

are self-dual and anti-self-dual respectively, the curvature of

A

then splits as

F_{A} = F_{A} s p^{+} + F_{A} s p^{-}

with

\begin{matrix} F_{A} s p^{+} & = \frac{1}{2} (\frac{\partial}{\partial x} d x \land d \bar{x} \frac{\partial}{\partial \bar{x}} log ρ - \frac{\partial}{\partial x} log ρ d x \land d \bar{x} \frac{\partial}{\partial \bar{x}} log ρ) \end{matrix}

\begin{matrix} F_{A} s p^{-} & = - \frac{1}{2} (\frac{\partial}{\partial \bar{x}} \frac{\partial}{\partial x} log ρ + \frac{\partial}{\partial \bar{x}} log ρ \frac{\partial}{\partial x} log ρ) d \bar{x} \land d x . \end{matrix}

\begin{matrix}  \end{matrix}

Noting the identity

\frac{\partial}{\partial \bar{x}} \frac{\partial}{\partial x} log ρ + \frac{\partial}{\partial \bar{x}} log ρ \frac{\partial}{\partial x} log ρ = \frac{1}{ρ} \frac{\partial}{\partial \bar{x}} \frac{\partial}{\partial x} ρ = - \frac{1}{4 ρ} Δ ρ,

we see that the self-duality equation

F_{A} s p^{-} = 0

is equivalent to the condition

Δ ρ = 0

that the super-potential

ρ

be harmonic. □

We now calculate the curvature density

| F_{A} | s p^{2}

of the self-dual connection ( 3 ), from which we can construct the Yang-Mills functional

∥ F_{A} ∥ s p^{2}

and the Chern class

c_{2} (A)

. Using the decomposition

F_{A} = F_{A} s p^{+} + F_{A} s p^{-}

given above, we first compute the anti-self-dual component

| F_{A} s p^{-} | s p^{2}

From equation ( 2 ) we observe that

(d \bar{x} \land d x) \land - (\bar{d \bar{x} \land d x}) = 24 d μ

, where

d μ

is the volume form, and we immediately obtain

| F_{A} s p^{-} | s p^{2} = \frac{3}{8} (\frac{1}{ρ} Δ ρ) s p^{2},

which clearly vanishes if the super-potential

ρ

is harmonic.

On the other hand, the self-dual component

| F_{A} s p^{-} | s p^{2}

of the curvature density is significantly more difficult to compute. Again using the expansion ( 2 ) for

d x \land d \bar{x}

, we have

\begin{matrix} | F_{A} s p^{+} | s p^{2} & = 2 (| \frac{\partial}{\partial x} i \frac{\partial}{\partial \bar{x}} log ρ - (\frac{\partial}{\partial x} log ρ) i (\frac{\partial}{\partial \bar{x}} log ρ) | s p^{2} & + | \frac{\partial}{\partial x} j \frac{\partial}{\partial \bar{x}} log ρ - (\frac{\partial}{\partial x} log ρ) j (\frac{\partial}{\partial \bar{x}} log ρ) | s p^{2} & + | \frac{\partial}{\partial x} k \frac{\partial}{\partial \bar{x}} log ρ - (\frac{\partial}{\partial x} log ρ) k (\frac{\partial}{\partial \bar{x}} log ρ) | s p^{2}), \end{matrix}

which when fully expanded in terms of coordinates becomes

\begin{matrix} | F_{A} s p^{+} | s p^{2} & = \frac{1}{8} \sum_{i, j} [4 (\partial_{i} \partial_{j} log ρ) s p^{2} + 3 (\partial_{i} log ρ) s p^{2} (\partial_{j} log ρ) s p^{2} & - 8 (\partial_{i} \partial_{j} log ρ) (\partial_{i} log ρ) (\partial_{j} log ρ) - (\partial_{i} s p^{2} log ρ) (\partial_{j} s p^{2} log ρ) & + (\partial_{i} s p^{2} log ρ) (\partial_{j} log ρ) s p^{2} + (\partial_{i} log ρ) s p^{2} (\partial_{j} s p^{2} log ρ)] . \end{matrix}

If the super-potential

ρ

is harmonic, then we can take advantage of the identity

\sum_{i} \partial_{i} s p^{2} log ρ = - \sum_{i} (\partial_{i} log ρ) s p^{2}

to simply this expression for

| F_{A} s p^{+} | s p^{2}

| F_{A} s p^{+} | s p^{2} = \frac{1}{2} \sum_{i, j} [(\partial_{i} \partial_{j} log ρ) s p^{2} - 2 (\partial_{i} \partial_{j} log ρ) (\partial_{i} log ρ) (\partial_{j} log ρ)] .

On the other hand, expanding the expression

Δ Δ log ρ

, we obtain

\begin{matrix} Δ Δ log ρ & = \sum_{i, j} \partial_{j} s p^{2} \partial_{i} s p^{2} log ρ = - \sum_{i, j} \partial_{j} s p^{2} (\partial_{i} log ρ) s p^{2} & = - 2 \sum_{i, j} \partial_{j} [(\partial_{i} log ρ) (\partial_{i} \partial_{j} log ρ)] & = - 2 \sum_{i, j} [(\partial_{i} \partial_{j} log ρ) s p^{2} + (\partial_{i} log ρ) (\partial_{i} \partial_{j} s p^{2} log ρ)] & = - 2 \sum_{i, j} [(\partial_{i} \partial_{j} log ρ) s p^{2} - (\partial_{i} log ρ) \partial_{i} (\partial_{j} log ρ) s p^{2}] & = - 2 \sum_{i, j} [(\partial_{i} \partial_{j} log ρ) s p^{2} - 2 (\partial_{i} log ρ) (\partial_{j} log ρ) (\partial_{i} \partial_{j} log ρ)], \end{matrix}

again assuming that

ρ

is harmonic and using the identity

\sum_{i} \partial_{i} s p^{2} log ρ = - \sum_{i} (\partial_{i} log ρ) s p^{2}

repeatedly.

Hence if the super-potential

ρ

is harmonic, then the components of the curvature density

| F_{A} | s p^{2}

for the self-dual connection ( 3 ) are

| F_{A} s p^{+} | s p^{2} = - \frac{1}{4} Δ Δ log ρ, | F_{A} s p^{-} | s p^{2} = 0,

and the Chern class

c_{2} (A)

and

L s p^{2}

norm

∥ F_{A} ∥ s p^{2}

are given by

\begin{matrix} c_{2} (A) = \frac{1}{4 π s p^{2}} ∥ F_{A} ∥ s p^{2} = - \frac{1}{16 π s p^{2}} \int_{R s p^{4}} Δ Δ log ρ d μ . \end{matrix}

(4)

Here we have a factor of

4 π s p^{2}

instead of the customary

8 π s p^{2}

because the function

ξ \mapsto Tr (ξ s p^{2})

on the Lie algebras

s u (2)

and

s o (3)

corresponds to the map

ξ \mapsto 2 ξ s p^{2}

in our quaternionic notation.

Similarly, if we take the anti-self-dual connection ( 2 ) then the two components

| F_{A} s p^{+} | s p^{2}

and

| F_{A} s p^{-} | s p^{2}

are interchanged and the Chern class

c_{2} (A)

switches sign. It is important to note that the scalar curvature density is gauge invariant. In other words, if two harmonic super-potentials

ρ_{1}

and

ρ_{2}

yield gauge equivalent connections via the ansatz of Theorem 1 , then they must satisfy the equation

Δ Δ log ρ_{1} = Δ Δ log ρ_{2}

1.2 The 't Hooft Construction

As an example of the harmonic function ansatz, we take for our super-potential the Green's functions of the Laplacian. Although these functions have

O (1 / r s p^{2})

poles, the corresponding singularities can be removed from the resulting connections by a gauge transformation. In the simplest case, consider the spherically symmetric harmonic function

ρ = 1 + \frac{1}{| x | s p^{2}} = 1 + \frac{1}{x \bar{x}},

the sum of the Green's functions centered at the origin and infinity. Applying formula ( 2 ), this super-potential generates the anti-self-dual connection

\begin{matrix} A = Im (\frac{\bar{x} s p^{- 1} d \bar{x}}{1 + x \bar{x}}) = - Im (\frac{d x x s p^{- 1}}{1 + x \bar{x}}), \end{matrix}

(5)

which is simply the basic instanton with

c_{2} = 1

expressed in the “singular gauge”. Applying the gauge transformation

g = x s p^{- 1}

, we can remove the

O (1 / r)

pole at the origin to obtain this instanton's customary form

\begin{matrix} g (A) = Im (- x s p^{- 1} \frac{d x x s p^{- 1}}{1 + x \bar{x}} x - d x s p^{- 1} x) = Im (\frac{\bar{x} d x}{1 + x \bar{x}}) . \end{matrix}

(6)

Note that if we switch to coordinates around infinity by putting

x = y s p^{- 1}

, then we simply interchange these two gauges ( 5 ) and ( 6 ). This connection therefore takes the same form about infinity as it does about the origin.

More generally, we can modify the basic instanton ( 6 ) by applying a dilation and translation

x \mapsto λ s p^{- 1} (x - a)

with

λ > 0

real and

a \in H

. The super-potential and associated connection then become

\begin{matrix} ρ = 1 + \frac{λ s p^{2}}{| x - a | s p^{2}}, g_{a} (A) = Im (\frac{(\bar{x} - \bar{a}) d x}{λ s p^{2} + | x - a | s p^{2}}) . \end{matrix}

(7)

Here we have again used a gauge transformation

g_{a} = (x - a) s p^{- 1}

in order to remove the singularity at the point

x = a

One of the interesting features of this ansatz is that it allows us to take the superposition of several such instantons simply by adding their super-potentials. For instance, the 't Hooft instantons with

c_{2} = k

are constructed using the harmonic function

\begin{matrix} ρ = 1 + \frac{λ_{1} s p^{2}}{| x - a_{1} | s p^{2}} + \dots + \frac{λ_{k} s p^{2}}{| x - a_{k} | s p^{2}}, \end{matrix}

(8)

combining

k

basic instantons of the form ( 7 ) with scales

λ_{1}, \dots, λ_{k}

and distinct centers

a_{1}, \dots, a_{k}

1.3 Conformal Transformations

In this section, we discuss a differential geometric interpretation of the harmonic function ansatz introduced in § 1.1 . Treating the super-potential as a conformal transformation of flat Euclidean space, the connections ( 2 ) and ( 3 ) arise naturally from the action of the Levi-Civita connection on the half-spin bundles. We can then express the curvatures of these two connections in terms of the decomposition of the Riemann curvature into its scalar, trace-free Ricci, and conformally invariant Weyl curvature components, thereby providing an alternative proof of Theorem 1 .

Starting with the flat Euclidean metric

g_{i j} = δ_{i j}

R s p^{4}

, we consider the conformally equivalent metric

g^{'} = ρ s p^{2} g

, given a smooth, positive, real-valued super-potential

ρ

. The condition that

ρ

be harmonic enters when calculating the scalar curvature of this new metric as in the following lemma.

Lemma 2. The scalar curvature

R^{'}

of the conformally Euclidean metric

g^{'}

given by

g^{'} = ρ s p^{2} δ_{i j}

vanishes if and only if the super-potential

ρ

is harmonic.

Proof. Using the expression for

R^{'}

computed in [5,p.125] , in dimension

n = 4

we have

\begin{matrix} R^{'} & = - ρ s p^{- 2} [(n - 1) \sum_{ν} \partial_{ν} s p^{2} log ρ s p^{2} + \frac{(n - 1) (n - 2)}{4} \sum_{ν} (\partial_{ν} log ρ s p^{2}) s p^{2}] & = - 6 ρ s p^{- 2} \sum_{ν} [\partial_{ν} s p^{2} log ρ + (\partial_{ν} log ρ) s p^{2}] = 6 ρ s p^{- 3} Δ ρ . \end{matrix}

Hence

R^{'} = 0

if and only if

Δ ρ = 0

. □

Let

{e_{0}, \dots, e_{3}}

be an orthonormal tangent frame for the original metric

g

. After applying the conformal transformation, the Levi-Civita connection for the metric

g^{'}

is given with respect to this frame by Christoffel's formula

Γ^{'} s p_{i k}^{j} = \partial_{i} log ρ δ s p_{k}^{j} + \partial_{k} log ρ δ s p_{i}^{j} - \partial s p^{j} log ρ δ_{i k} .

In order to express this as an

s o (4)

connection, we must rescale the tangent frame so that it is again orthonormal with respect to the new metric

g^{'}

. Switching to the frame

e_{i}^{'} = ρ s p^{- 1} e_{i}

introduces a factor of

- \partial_{i} log ρ δ s p_{k}^{j}

into the connection, cancelling the diagonal term and leaving us with an expression skew-symmetric in the indices

j

and

k

Taking the double cover

Spin (4)

SO (4)

, we recall that the Lie algebra isomorphism

s o (4) \sim = s p i n (4)

associates to a skew-symmetric matrix

a_{i j}

the Clifford algebra element²

- \frac{1}{4} \sum_{i, j} a_{i j} e_{i} \cdot e_{j}

(see [14] ). We may thus write the Levi-Civita connection in this

s p i n (4)

notation as

A = \frac{1}{2} \sum_{i \neq j} (e_{j}^{'} \partial s p^{j} log ρ) \cdot (e_{i}^{'} d x s p^{i}) .

From the decomposition

Spin (4) = Sp (1) \times Sp (1)

, we see that the complex 4-dimensional spin space splits as the direct sum

S = S s p^{+} \oplus S s p^{-}

of two half-spin spaces, each of which is isomorphic to the quaternions

H

. These spaces

S s p^{+}

and

S s p^{-}

are called the spaces of self-dual and anti-self-dual spinors respectively. The two half-spin representations

γ s p^{\pm}

of the Lie algebra

s p i n (4)

H s p^{\pm}

are then given by³

\begin{matrix} γ s p^{+} : v \cdot w \mapsto - γ (v) γ s p^{*} (w) γ s p^{-} : v \cdot w \mapsto - γ s p^{*} (v) γ (w), \end{matrix}

\begin{matrix}  \end{matrix}

where the Clifford action

γ (\cdot)

is simply quaternion multiplication

γ (e_{0}^{'}) = 1, γ (e_{1}^{'}) = i, γ (e_{2}^{'}) = j, γ (e_{3}^{'}) = k,

and

γ s p^{*} (\cdot)

is its adjoint. Hence, the Levi-Civita connection for the conformally transformed metric

g^{'} = ρ s p^{2} g

splits into the two

s p^{(} 1)

components

A s p^{+} = - Im (\frac{\partial}{\partial \bar{x}} log ρ d \bar{x}) A s p^{-} = - Im (\frac{\partial}{\partial x} log ρ d x)

acting on the positive and negative half-spin spaces respectively. Note that these two connections agree with the connections

A s p^{+}

and

A s p^{-}

given in equations ( 2 ) and ( 3 ).

By definition, the Riemann curvature tensor

ℛ

is an

s o (4)

-valued 2-form. However, using the identification

Λ s p^{2} \sim = s o (4)

, we may view it as a self-adjoint linear map

ℛ : Λ s p^{2} \to Λ s p^{2}

given in coordinates by

ℛ (d x s p^{i} \land d x s p^{j}) = \frac{1}{2} \sum_{k, l} R_{i j k l} d x s p^{k} \land d x s p^{l} .

Relative to the familar decomposition

Λ s p^{2} = Λ s p_{+}^{2} \oplus Λ s p_{-}^{2}

of the space of two-forms into its self-dual and anti-self-dual subspaces, the Riemann curvature can be written in the block matrix form

ℛ = (\begin{matrix} W s p^{+} - \frac{1}{12} R & R_{0} \\ R_{0} s p^{*} & W s p^{-} - \frac{1}{12} R \end{matrix}) .

Here

R

denotes the scalar curvature multiplied by the identity matrix, while

R_{0} : Λ s p_{-}^{2} \to Λ s p_{+}^{2}

is the trace-free Ricci curvature tensor,

R_{0} s p^{*} : Λ s p_{+}^{2} \to Λ s p_{-}^{2}

is its adjoint, and

W = W s p^{+} + W s p^{-}

is the conformally invariant Weyl tensor. A standard reference for this material is [3] .

We now consider the Riemann curvature

ℛ^{'}

of the metric

g^{'}

discussed above. Since

g^{'}

is by definition conformally flat, we see that the Weyl tensor

W^{'}

vanishes. We also recall from Lemma 2 that if our super-potential

ρ

is harmonic, then the scalar curvature

R^{'}

vanishes as well. All that remains is the trace-free Ricci tensor

R_{0}^{'}

, and so the Riemann curvature is simply

ℛ^{'} = (\begin{matrix} 0 & R_{0}^{'} \\ R_{0}^{'} s p^{*} & 0 \end{matrix}) .

Note that the splitting

s p i n (4) \sim = s p^{(} 1) \oplus s p^{(} 1)

which we used to construct the connections

A s p^{+}

and

A s p^{-}

is isomorphic to the decomposition

Λ s p^{2} = Λ s p_{+}^{2} \oplus Λ s p_{-}^{2}

. We can therefore read off the curvatures

F_{A s p^{+}}

and

F_{A s p^{-}}

of these connections directly from the block form of the Riemann curvature, giving us

F_{A s p^{+}} s p^{+} = 0 F_{A s p^{+}} s p^{-} = R_{0}^{'} F_{A s p^{-}} s p^{+} = R_{0}^{'} s p^{*} F_{A s p^{-}} s p^{-} = 0 .

Hence the connections

A s p^{+}

and

A s p^{-}

are anti-self-dual and self-dual respectively as claimed in Theorem 1 .

² The Clifford algebra $Cl (4)$ is the algebra generated by $R s p^{4}$ subject to the relation $v \cdot w + w \cdot v = - 2 (v, w)$ , and the Lie algebra $s p i n (4)$ is the subspace spanned by ${e_{i} \cdot e_{j}}_{i \neq j}$ .

³ Here the various signs are determined by the Clifford algebra relation $γ s p^{\pm} (v \cdot w + w \cdot v) = - 2 (v, w)$ and also by the convention that $γ s p^{+} (e_{0}^{'} \cdot e_{1}^{'} - e_{2}^{'} \cdot e_{3}^{'}) = 0$ and $γ s p^{-} (e_{0}^{'} \cdot e_{1}^{'} + e_{2}^{'} \cdot e_{3}^{'}) = 0$ .

2 Hyperbolic Vortices

2.1 Dimensional Reduction

In this section, we examine

SO (3)

-invariant instantons, showing that the SD and ASD equations for Yang-Mills connections over

S s p^{4}

with

SO (3)

symmetry are equivalent to the

U (1)

vortex equations over the hyperbolic plane

ℋ s p^{2}

. This is an example of dimensional reduction, whereby the Yang-Mills or (A)SD equations for a symmetric connection reduce to differential equations for a connection and Higgs fields (sections of the Lie algebra bundle) over a lower dimensional space.

Viewing

S s p^{4}

as the standard conformal compactification

R s p^{4} \cup {\infty}

, we let

SO (3)

act via its fundamental representation on a three-dimensional subspace of

R s p^{4}

. Expressing this using quaternionic notation, we see that an element

g \in Sp (1)

acts on

H

according to

g : x \mapsto g x g s p^{- 1}

, fixing the real part of

x

and acting by the adjoint representation on its imaginary part. Regarding

S s p^{4}

as the quaternionic projective space

P (H s p^{2})

with homogeneous coordinates

(x : y) = (x α : y α)

, the embedding of

H

is simply the map

x \mapsto (1 : x)

. The

Sp (1)

-action given by

g : (x : y) \mapsto (g x : g y) = (g x g s p^{- 1} : g y g s p^{- 1})

then provides an extension of the above action on

R s p^{4}

to all of

S s p^{4}

In order to discuss

SO (3)

-invariant connections, we must lift this action on

S s p^{4}

to an action on the Lie algebra bundle with fibres

s o (3)

. There are two possible lifts: either

SO (3)

acts trivially on each fibre or it acts via the adjoint representation. For our purposes, we will consider this second, more interesting, action. Note that for any

g \in SO (3)

, the adjoint action leaves fixed an

R = \overset{˘}{(} 1)

subalgebra.

Again adopting quaternionic notation, any

x \in H

can be written in the form

x = t + r Q

, with

t, r

real,

r \geq 0

, and Q pure imaginary with

Q s p^{2} = - 1

. Note that

t, r

coordinatize the upper half-plane, which we will later regard as hyperbolic space

ℋ s p^{2}

. If

A

is an

Sp (1)

-invariant connection, then its connection one-form satisfies

g A (t, r, Q) g s p^{- 1} = A (t, r, g Q g s p^{- 1})

. The most general connection exhibiting this symmetry is of the form

A = \frac{1}{2} (Q a + Φ_{1} d Q + Φ_{2} Q d Q),

where

a = a_{t} d t + a_{r} d r

, and the

a_{t}, a_{r}, Φ_{1}, Φ_{2}

are all real functions of

t, r

. The curvature

F_{A}

of this connection

A

is then

\begin{matrix} F_{A} & = \frac{1}{2} (Q d a + \frac{1}{2} (Φ_{1} s p^{2} + Φ_{2} s p^{2} + 2 Φ_{2}) d Q \land d Q + \end{matrix}

\begin{matrix} [d Φ_{1} - a (Φ_{2} + 1)] \land d Q + (d Φ_{2} + a Φ_{1}) \land Q d Q) . \end{matrix}

\begin{matrix}  \end{matrix}

Putting

Φ = Φ_{1} + i (Φ_{2} + 1)

and writing

d_{a} Φ = d Φ + i a Φ

, the curvature can be written much more simply as

\begin{matrix} F_{A} = \frac{1}{2} (Q d a - \frac{1}{2} (1 - | Φ | s p^{2}) d Q \land d Q + Re (d_{a} Φ) \land d Q + Im (d_{a} Φ) \land Q d Q) . \end{matrix}

\begin{matrix}  \end{matrix}

Note that multiplication by

Q

here behaves like multiplication by

i

From the above discussion, we see that an

SO (3)

-invariant connection

A

S s p^{4}

gives rise in a natural way to a

U (1)

connection

i a

and a complex scalar field

Φ

on the upper half-plane. The next step is to analyze the SD and ASD equations in terms of this dimensional reduction. To determine the action of the Hodge star operator, we consider the 2-form

d x \land d \bar{x}

which we already know to be self-dual. In coordinates

t, r, Q

, we have

\begin{matrix} d x \land d \bar{x} & = (d t + Q d r + r d Q) \land (d t - Q d r - r d Q) \end{matrix}

\begin{matrix} = 2 Q d t \land d r + r s p^{2} d Q \land d Q + 2 r (d t \land d Q + d r \land Q d Q), \end{matrix}

\begin{matrix}  \end{matrix}

and so the Hodge star operator acts according to

\begin{matrix} * Q d t \land d r & = \frac{r s p^{2}}{2} d Q \land d Q \end{matrix}

\begin{matrix} * d t \land d Q & = d r \land Q d Q \end{matrix}

\begin{matrix} * d r \land d Q & = - d t \land Q d Q . \end{matrix}

\begin{matrix}  \end{matrix}

Furthermore, using the hyperbolic metric

h = \frac{1}{r s p^{2}} (d t s p^{2} + d r s p^{2})

on the upper half-plane, the corresponding Hodge star operator

*_{h}

satisfies

*_{h} d t \land d r = r s p^{2}

*_{h} d t = d r

, and

*_{h} d r = - d t

. Combining this with the usual Hodge star operator yields

\begin{matrix} * Q d a = \frac{1}{2} (*_{h} d a) d Q \land d Q * Re (d_{a} Φ) \land d Q = *_{h} Re (d_{a} Φ) \land Q d Q . \end{matrix}

\begin{matrix}  \end{matrix}

Using complex notation with

z = t + i r

and noting the identity

*_{h} d z = - i d z

, we observe that

2 {\bar{\partial}}_{a} Φ = d_{a} Φ - i *_{h} d_{a} Φ

. We therefore conclude that the

SO (3)

-symmetric self-duality equation

F_{A} = * F_{A}

S s p^{4}

is equivalent to the following two equations on hyperbolic space

ℋ s p^{2}

\begin{matrix} {\bar{\partial}}_{a} Φ & = 0 \end{matrix}

(9)

\begin{matrix} *_{h} i F_{a} & = 1 - | Φ | s p^{2}, \end{matrix}

(10)

\begin{matrix}  \end{matrix}

where

F_{a} = i d a

is the curvature of the connection

i a

. These equations are known as the vortex equations. Similarly, the

SO (3)

-symmetric anti-self-dual equation

F_{A} = - * F_{A}

is equivalent to the anti-vortex equations:

\begin{matrix} \partial_{a} Φ & = 0 \end{matrix}

(11)

\begin{matrix} *_{h} i F_{a} & = | Φ | s p^{2} - 1 . \end{matrix}

(12)

\begin{matrix}  \end{matrix}

The first equation in each pair is simply the condition that

Φ

be holomorphic (or anti-holomorphic) with respect to the holomorphic structure compatible with the connection

i a

. The second equation then expresses a form of duality between the connection and Higgs field. These vortex equations are discussed in great detail in [13] ⁴ . Note that if we consider these vortex and anti-vortex equations over the plane

R s p^{2}

with the flat metric

h = \frac{1}{2} (d x s p^{2} + d y s p^{2})

, then we obtain the Euclidean vortex and anti-vortex equations in their customary form as given by (1.7) and (1.8) on p. 55 of [13] . We now compute the

L s p^{2}

norm of the curvature

F_{A}

using the standard metric

| ξ | s p^{2} = ξ \bar{ξ} = - ξ s p^{2}

on the Lie algebra

s p^{(} 1)

of imaginary quaterions. The Yang-Mills action, or energy, of this

SO (3)

-invariant connection is thus

\begin{matrix} ∥ F_{A} ∥ s p^{2} & = \int_{S s p^{4}} - F_{A} \land * F_{A} \end{matrix}

\begin{matrix} = \frac{1}{8} \int_{S s p^{4}} (d a \land *_{h} d a + (1 - | Φ | s p^{2}) \land *_{h} (1 - | Φ | s p^{2}) + \end{matrix}

\begin{matrix} 2 Re d_{a} Φ \land *_{h} Re d_{a} Φ + 2 Im d_{a} Φ \land *_{h} Im d_{a} Φ) \land (d Q \land Q d Q) . \end{matrix}

\begin{matrix}  \end{matrix}

Note that the left factor of the integrand is independent of the variable

Q

. Since

Q

parametrizes the unit 2-sphere with volume form

\frac{1}{2} (d Q \land Q d Q)

, we can integrate out a factor of

\int_{S s p^{2}} d Q \land Q d Q = 8 π

, leaving an integral over hyperbolic space. The action then becomes

∥ F_{A} ∥ s p^{2} = π (∥ F_{a} ∥ s p_{h}^{2} + 2 ∥ d_{a} Φ ∥ s p_{h}^{2} + ∥ 1 - | Φ | s p^{2} ∥ s p_{h}^{2}),

which we recognize as the

U (1)

Yang-Mills-Higgs action on hyperbolic space, at least up to a constant. From this action, we see that a finite-energy

SO (3)

-invariant connection on

S s p^{4}

corresponds to a pair

(i a, Φ)

over

ℋ s p^{2}

satisfying the boundary conditions

d_{a} Φ (x) \to 0, | Φ (x) | \to 1,

| x | \to \infty

Next we examine the relationship between the Chern classes of an

SO (3)

-invariant connection

A

S s p^{4}

and those of the corresponding connection

i a

over

ℋ s p^{2}

. Computing

c_{2} (A)

, we first note that the negative definite form

ξ \mapsto Tr (ξ) s p^{2}

on the Lie algebra

s u (2)

corresponds to

ξ \mapsto 2 ξ s p^{2}

s p^{(} 1)

In this quaternionic notation we therefore have

\begin{matrix} c_{2} (A) & = - \frac{1}{4 π s p^{2}} \int_{S s p^{4}} F_{A} \land F_{A} \end{matrix}

\begin{matrix} = - \frac{1}{16 π s p^{2}} \int_{S s p^{4}} [(1 - | Φ | s p^{2}) d a - 2 Re d_{a} Φ \land Im d_{a} Φ] \land (d Q \land Q d Q) \end{matrix}

\begin{matrix} = \frac{i}{2 π} \int_{ℋ s p^{2}} F_{a} = c_{1} (a) . \end{matrix}

\begin{matrix}  \end{matrix}

Here we again integrate out the

S s p^{2}

factor

d Q \land Q d Q

, and on the last line we apply Stokes' theorem with the integrand

\begin{matrix} d (i \bar{Φ} d Φ) & = i d \bar{Φ} \land d Φ - Φ \bar{Φ} d a - (Φ d \bar{Φ} + \bar{Φ} d Φ) \land a \end{matrix}

\begin{matrix} = - | Φ | s p^{2} d a - 2 Re d_{a} Φ \land Im d_{a} Φ, \end{matrix}

\begin{matrix}  \end{matrix}

assuming that

i \bar{Φ} d Φ

vanishes at infinity.

⁴ After adjusting to the slightly different notation of [13] , using $a^{'} = - a$ and $Φ^{'} = \bar{Φ}$ , the reader will find that equations (11.5a) and (11.5b) on p. 99 of [13] should be switched.

2.2 Another Harmonic Function ansatz

We now return to the harmonic function ansatz that we discussed in Section 1 . If we begin with a

SO (3)

-invariant harmonic super-potential, then the resulting SD or ASD connection will also exhibit

SO (3)

symmetry, and from the previous section we know that such a connection is equivalent to a hyperbolic vortex or anti-vortex. In this section, we take advantage of this dimensional reduction to provide a similar harmonic function ansatz constructing solutions to the vortex equation over hyperbolic space.

Our first step is to examine the relationship between the Laplacian on hyperbolic space

ℋ s p^{2}

and the

SO (3)

-symmetric Laplacian on

R s p^{4}

Lemma 3. An

SO (3)

-invariant function

ρ

R s p^{4}

is harmonic if and only if it can be written as

ρ = r s p^{- 1} φ

, where

φ

is a harmonic function on

ℋ s p^{2}

Proof. Using the quaternionic notation

x = t + r Q

introduced in § 2.1 , if

ρ = ρ (r, t)

is an

SO (3)

-invariant function on

R s p^{4}

, then its Laplacian is

\begin{matrix} Δ ρ = - (\frac{\partial 2}{\partial t 2} + \frac{\partial 2}{\partial r 2} + \frac{2}{r} \frac{\partial}{\partial r}) ρ . \end{matrix}

(13)

To cancel the unwanted linear term, we put

ρ = r s p^{- 1} φ

, where

φ

is a function on

ℋ s p^{2}

. The Laplacian

Δ

then becomes

Δ r s p^{- 1} φ = - \frac{1}{r} (\frac{\partial 2}{\partial t 2} + \frac{\partial 2}{\partial r 2}) φ = r s p^{- 3} Δ_{h} φ,

where the Laplacian

Δ_{h}

ℋ s p^{2}

\begin{matrix} Δ_{h} = - r s p^{2} (\frac{\partial 2}{\partial t 2} + \frac{\partial 2}{\partial r 2}) \end{matrix}

(14)

These two Laplacians are therefore related by⁵

Δ

r s p^{- 3} Δ_{h} r

and thus

ρ

is harmonic on

R s p^{4}

if and only if

φ

is harmonic on

ℋ s p^{2}

. □

We recall from Theorem 1 that the connection given by equation ( 3 ),

A = - Im (\frac{\partial}{\partial x} log ρ d x),

is self-dual if and only if

ρ

is harmonic. In our current notation, the quaternionic differential and partial derivative in this expression are

\begin{matrix} d x = d t + Q d r + r d Q \frac{\partial}{\partial x} = \frac{1}{2} (\frac{\partial}{\partial t} - Q \frac{\partial}{\partial r} - \dots), \end{matrix}

\begin{matrix}  \end{matrix}

where we have left out the portions of the partial derivative in the

Q

directions as these vanish when applied to

SO (3)

-invariant functions. Taking

ρ = r s p^{- 1} φ

, we see that

log ρ = log φ - log r

Expanding equation ( 3 ) using these expressions, our

SO (3)

-invariant self-dual connection becomes

\begin{matrix} A & = \frac{1}{2} (Q [(\frac{\partial}{\partial r} log φ - \frac{1}{r}) d t - \frac{\partial}{\partial t} log φ d r] \end{matrix}

\begin{matrix} - r \frac{\partial}{\partial t} log φ d Q + (r \frac{\partial}{\partial r} log φ - 1) Q d Q) . \end{matrix}

\begin{matrix}  \end{matrix}

As we did in in § 2.1 , we can extract from this connection the

U (1)

connection

\begin{matrix} d_{a} = d + i [(\frac{\partial}{\partial r} log φ - \frac{1}{r}) d t - \frac{\partial}{\partial t} log φ d r] \end{matrix}

(15)

with curvature

\begin{matrix} F_{a} = - i [(\frac{\partial 2}{\partial t 2} + \frac{\partial 2}{\partial r 2}) log φ + \frac{1}{r s p^{2}}] d t \land d r = - i (1 - Δ_{h} log φ) r s p^{- 2} d t \land d r, \end{matrix}

\begin{matrix}  \end{matrix}

and the complex Higgs field

\begin{matrix} Φ = r (- \frac{\partial}{\partial t} log φ + i \frac{\partial}{\partial r} log φ) \end{matrix}

(16)

with norm

| Φ | s p^{2} = r s p^{2} [(\frac{\partial}{\partial t} log φ) s p^{2} + (\frac{\partial}{\partial r} log φ) s p^{2}] = {| \nabla log φ |}_{h} s p^{2} .

Writing the pair

(a, φ)

using complex notation with

z = t + i r

, we obtain the hyperbolic space analogue of Theorem 1 .

Theorem 4. Given a positive real-valued super-potential

φ

on the hyperbolic upper half-plane

ℋ s p^{2}

, the connection and Higgs field pair

(a, Φ)

defined by

\begin{matrix} {\bar{\partial}}_{a} = \bar{\partial} + \bar{\partial} log φ + \frac{d \bar{z}}{z - \bar{z}} Φ = i (z - \bar{z}) \frac{\partial}{\partial z} log φ, \end{matrix}

(17)

\begin{matrix}  \end{matrix}

satisfies the vortex equations ( 9 ) and ( 10 ) and the pair

(a^{'}, Φ^{'})

defined by

\begin{matrix} \partial_{a}^{'} & = \partial + \partial log φ - \frac{d z}{z - \bar{z}} \end{matrix}

(18)

\begin{matrix} Φ^{'} & = - i (z - \bar{z}) \frac{\partial}{\partial \bar{z}} log φ, \end{matrix}

(19)

\begin{matrix}  \end{matrix}

satisfies the anti-vortex equations ( 11 ) and ( 12 ) if and only if the super-potential

φ

is harmonic.

Proof. Recalling that $*_{h} 1 = r s p^{- 2} d t \land d r$ with our hyperbolic metric, we see that the second of the vortex equations $i F_{a} = *_{h} (1 - | Φ | s p^{2})$ reduces to
$\frac{1}{φ} Δ_{h} φ = Δ_{h} log φ - {| \nabla log φ |}_{h} s p^{2} = 0 .$
Using the complex form ( 17 ), it is easy to verify that the holomorphicity condition ${\bar{\partial}}_{a} Φ = 0$ likewise reduces to $Δ_{h} φ = 0$ . Hence the pair $(a, Φ)$ satisfies the vortex equations if and only if thesuper-potential $φ$ is harmonic. Similarly, the pair $(a^{'}, φ^{'})$ is derived by dimensional reduction from the ASD connection ( 2 ), and so it satisfies the anti-vortex equations if and only if $φ$ is harmonic. □

Computing the Chern class

c_{1}

for a pair

(a, Φ)

satisfying the second of the vortex equations ( 10 ), we have

c_{1} (a) = \frac{i}{2 π} \int_{ℋ s p^{2}} F_{a} = \frac{1}{2 π} \int_{ℋ s p^{2}} *_{h} (1 - | Φ | s p^{2}) .

For the vortex over the upper half-plane

ℋ s p^{2}

constructed in ( 15 ) and ( 16 ) using a harmonic super-potential

φ

, this Chern class takes the form

\begin{matrix} c_{1} (a) = \frac{1}{2 π} \int_{R s p_{+}^{2}} (1 - Δ_{h} log φ) r s p^{- 2} d t \land d r = \frac{1}{2 π} \int_{R s p_{+}^{2}} (\frac{1}{r s p^{2}} - 4 | \frac{\partial}{\partial z} log φ | s p^{2}) d t \land d r . \end{matrix}

\begin{matrix}  \end{matrix}

Likewise, if we use the above ansatz to construct the anti-vortex corresponding to a harmonic super-potential, then the Chern class switches sign.

As in § 1.1 , we note that the curvature

F_{a}

of a vortex is gauge invariant. Therefore, if two harmonic super-potentials

φ_{1}

and

φ_{2}

over hyperbolic space yield gauge equivalent vortices, then they must satisfy the equations

| \frac{\partial}{\partial z} log φ_{1} | = | \frac{\partial}{\partial z} log φ_{2} |

and

Δ_{h} log φ_{1} = Δ_{h} log φ_{2}

Note that it is significantly simpler to calculate

c_{1}

directly from the vortex construction on

ℋ s p^{2}

than it is by invoking dimensional reduction and computing the equivalent Chern class

c_{2}

for the corresponding

SO (3)

-invariant instanton over

S s p^{4}

. Indeed, by comparing the above expression for

c_{1} (a)

with the expression ( 4 ) for

c_{2} (A)

, we obtain a circuitous proof of the identity

\int_{R s p_{+}^{2}} (1 - Δ_{h} log φ) r s p^{- 2} d t \land d r = - \int_{R s p_{+}^{2}} (\frac{1}{2} r s p^{2} Δ Δ log \frac{φ}{r}) d t \land d r

for a harmonic function

φ

defined on the upper half-plane, where

Δ_{h}

is the Laplacian on

ℋ s p^{2}

given by ( 14 ) and

Δ

is the Laplacian on

R s p^{4}

given by ( 13 ).

2.3 Conformal Transformations Revisited

Instead of relying on dimensional reduction to derive the vortex ansatz of Theorem 4 , we present here an interpretation of this construction that is entirely intrinsic to hyperbolic space. As we did in § 1.3 , we can treat the super-potential as a conformal transformation and then compute the Levi-Civita connection of the resulting metric. Since we are working on two-dimensional hyperbolic space, we can take advantage of complex notation to simplify our task.

Let

\bar{\partial}

be the standard holomorphic stucture on the complex upper half-plane. Choosing a holomorphic tangent frame (i.e., a single holomorphic section)

e

, consider the Hermitian metric

g

specified by

(e, e)_{g} = ρ s p^{2}

, where

ρ

is a smooth nonzero real-valued function. With respect to our holomorphic frame

e

, the unique connection compatible with both the holomorphic structure

\bar{\partial}

and the metric

g

is specified by the

(1, 0)

-form

a = ρ s p^{- 2} (\partial ρ s p^{2}) = 2 \partial log ρ .

To express this in the form of a unitary connection (in this case given by a purely imaginary complex 1-form), we must switch to a tangent frame that is orthonormal with respect to the metric

g

. In terms of the unitary frame

e^{'} = ρ s p^{- 1} e

, the connection

a

then becomes

a^{'} = \partial log ρ - \bar{\partial} log ρ = 2 i Im \partial log ρ = - 2 i Im \bar{\partial} log ρ

and the new holomorphic structure is

{\bar{\partial}}^{'} = \bar{\partial} - \bar{\partial} log ρ

, which we observe is compatible with the connection

a^{'}

. In either frame, the curvature of this connection is given by

F_{a} = 2 \bar{\partial} \partial log ρ = - i Δ log ρ d μ,

where the volume form

d μ

and the Laplacian

Δ

are both taken here with respect to the Euclidean metric on

R s p^{2}

When working with

ℋ s p^{2}

, the hyperbolic metric

h

on the upper half-plane corresponds to the function

ρ = r s p^{- 2}

. Taking a conformal transformation, we consider the metric

h^{'}

specified by a function of the form

ρ = φ s p^{2} / r s p^{2}

with

φ

harmonic. The resulting unitary connection

a

then splits into the

(0, 1)

and

(1, 0)

components

{\bar{\partial}}_{a} = \bar{\partial} - \bar{\partial} log φ - \frac{d \bar{z}}{2 i r} \partial_{a} = \partial + \partial log φ - \frac{d z}{2 i r},

noting that

r = (z - \bar{z}) / 2 i

. The curvature of this connection is then

i F_{a} = (Δ log φ - r s p^{- 2}) d μ = (Δ_{h} log φ - 1) d μ_{h}

where

d μ_{h} = r s p^{- 2} d μ

is the volume form and

Δ_{h} = r s p^{2} Δ

is the Laplacian for the hyperbolic metric

h

. It is then easy to show that the complex Higgs field

Φ

defined by

Φ = 2 r \frac{\partial}{\partial \bar{z}} log φ = 2 \frac{r}{φ} \frac{\partial}{\partial \bar{z}} φ

satisfies the anti-vortex equations

\partial_{a} Φ = 0

and

*_{h} i F_{a} = | Φ | s p^{2} - 1

if the super-potential

φ

is harmonic. We observe that this pair

(a, Φ)

agrees with the anti-vortex ( 18 ) and ( 19 ) constructed by dimensional reduction of an anti-self-dual connection over the 4-sphere. Similarly, we can construct the vortex given by ( 17 ) by reversing orientation, thereby exchanging the holomorphic and anti-holomorphic structures

\bar{\partial}

and

\partial

2.4 The Symmetric 't Hooft Construction

In § 1.2 , as an illustration of the harmonic function ansatz, we constructed the 't Hooft instantons.

These are the instantons formed by taking the superposition of multiple copies of the basic instanton with varying scales and distinct centers. For our super-potential, we used a sum of the Green's functions of the Laplacian, centered at the given points and weighted according to the corresponding scales. If we impose

SO (3)

symmetry on this class of instantons, we see that all of the centers must lie on a single real line. In fact, as we will demonstrate in the following section, all

SO (3)

-invariant instantons can be constructed in this manner—as the superposition of basic instantons on a line. In this section, we examine the hyperbolic vortices associated to these symmetric 't Hooft instantons by dimensional reduction.

We begin with the basic instanton with unit scale centered at the origin, which we recall is given by the

R s p^{4}

super-potential

ρ = 1 + | x | s p^{- 2}

. The corresponding super-potential for hyperbolic space

ℋ s p^{2}

is then

\begin{matrix} \begin{matrix} φ = r ρ = r + \frac{r}{r s p^{2} + t s p^{2}} = Im (z - \frac{1}{z}) = \frac{(z - \bar{z}) (1 + z \bar{z})}{2 i z \bar{z}} . \end{matrix} \end{matrix}

(20)

Taking the complex partial derivatives of its logarithm, we obtain

\begin{matrix} \frac{\partial}{\partial z} log φ = + \frac{1}{z - \bar{z}} + \frac{\bar{z}}{1 + z \bar{z}} - \frac{1}{z} \frac{\partial}{\partial \bar{z}} log φ = - \frac{1}{z - \bar{z}} + \frac{z}{1 + z \bar{z}} - \frac{1}{\bar{z}} . \end{matrix}

\begin{matrix}  \end{matrix}

Inserting these expressions into the formula ( 17 ) gives us the connection and Higgs field

{\bar{\partial}}_{a} = \bar{\partial} - \frac{d \bar{z}}{\bar{z} (1 + z \bar{z})} Φ = i \frac{\bar{z} (1 + z s p^{2})}{z (1 + z \bar{z})},

satisfying the vortex equations ( 9 ) and ( 10 ). Note that as

z

approaches the real axis, the Higgs field obeys the boundary condition

| Φ | \to 1

One of the primary results concerning solutions to the vortex equations is that they are uniquely specified up to gauge equivalence by the zeros of the Higgs field (see [13,ChapterIII] ). In the example above, we see that

Φ

vanishes at the point

z = i

. If we alter the scale of our basic instanton and translate it along the real axis, the

ℋ s p^{2}

super-potential becomes

φ = Im (z - \frac{λ}{z - a})

with

λ > 0

and

a

real. The corresponding vortex is then

{\bar{\partial}}_{a} = \bar{\partial} - \frac{λ d \bar{z}}{(\bar{z} - \bar{a}) (1 + | z - a | s p^{2})} Φ = i \frac{(\bar{z} - \bar{a}) (1 + (z - a) s p^{2})}{(z - a) (1 + | z - a | s p^{2})},

and we see that

Φ

vanishes at the point

z = a + i \sqrt{λ}

. Most generally, given a set of

k

complex points

{z_{i}}

in the upper half-plane, the super-potential

φ = Im (z - \sum_{i = 1} s p^{k} \frac{(Im z_{i}) s p^{2}}{z - Re z_{i}})

generates the unique hyperbolic vortex with Higgs field vanishing at the points

{z_{i}}

. Hence the centers of the instantons correspond to the real parts of the complex zeros, while the scales correspond to their imaginary parts.

2.5 The Equivariant ADHM Construction

In this section we shall use an

SO (3)

equivariant version of the ADHM construction [2] in order to provide an alternative construction for the symmetric 't Hooft instantons discussed in the previous section. In addition, since the ADHM construction actually generates all possible anti-self-dual connections on bundles over

S s p^{4}

, we will then be able to show that every symmetric instanton must be gauge equivalent to one constructed using the 't Hooft ansatz. By dimensional reduction, this gives us a complete classification of hyperbolic vortices, proving that such vortices are uniquely determined up to a gauge transformation by the zeros of their Higgs fields. This is to be contrasted with Euclidean vortices, in which case the classification theorem may be proved using approximation techniques (see [13,ChapterIII] ), but no explicit construction for the vortex solutions is known.

Here we use the quaternionic version of the construction as discussed in [1] . When dealing with quaternionic vector spaces and linear maps, we use the convention that scalar multiplication acts on the right. Recall from § 2.1 that under our

Sp (1)

-action, we may view

S s p^{4}

as the quaternionic projective space

P (H_{1} s p^{2})

, where

H_{1}

is the fundamental representation with

Sp (1)

acting by left quaternion multiplication.

To construct an

Sp (1)

-invariant ASD connection on the bundle

E \to S s p^{4}

with Chern class

c_{2} (E) = - k

, we introduce the

k + 1

dimensional quaternionic

Sp (1)

representation

V

given by

\begin{matrix} V = Ker D_{A} s p^{*} : Γ (S s p^{4}, E \otimes S s p^{-} \otimes S s p^{-}) \to Γ (S s p^{4}, E \otimes S s p^{+} \otimes S s p^{-}) \end{matrix}

(21)

and the

k

dimensional real

Sp (1)

representation

W

given by

\begin{matrix} W = {(Ker D_{A} s p^{*} : Γ (S s p^{4}, E \otimes S s p^{-}) \to Γ (S s p^{4}, E \otimes S s p^{+}))}_{R} s p^{*}, \end{matrix}

(22)

where

A

is an arbitrary connection on

E

(the spaces

V, W

are independent of the connection),

S s p^{\pm}

are the two quaternionic half-spin bundles, and

D_{A} s p^{*}

is the adjoint of the Dirac operator with coefficients in

E \otimes S s p^{-}

and

E

respectively. Using these spaces

V, W

the ADHM data consists of the the three maps:

$∙$ an arbitrary $Sp (1)$ equivariant inclusion $W \otimes H_{1} ↪ V$
$∙$ an $Sp (1)$ equivariant $H$ -linear map $B : W \otimes H_{1} \to W \otimes H_{1}$ satisfying $B s p^{*} = \bar{B}$ (i.e., $B$ is represented by a symmetric matrix)
$∙$ an $Sp (1)$ equivariant $H$ -linear map $Λ : W \otimes H_{1} \to V / W \otimes H_{1}$ .

If we fix the inclusion

W \otimes H_{1} ↪ V

, then we say that two sets of ADHM data

(B, Λ)

and

(B^{'}, Λ^{'})

are equivalent if

B^{'} = U B U s p^{- 1}, Λ^{'} = v Λ U s p^{- 1}

for suitable

U \in O (W)

and

v \in Sp (V / W \otimes H_{1})

. From the ADHM data, we construct an

Sp (1)

equivariant family of

H

-linear maps

v (x) : W \otimes H_{1} \to V

parametrized by

x \in H

, given by

v (x) = (\begin{matrix} Λ \\ B - x I \end{matrix})

relative to the decomposition

V = (V / W \otimes H_{1}) \oplus (W \otimes H_{1})

Theorem 5 (ADHM). There is a one-to-one correspondence between equivalence classes of ADHM data

(B, Λ)

satisfying the two conditions

non-degeneracy $v (x)$ is injective for all $x \in H$
ADHM condition $Λ s p^{*} Λ + B s p^{*} B : W \otimes H_{1} \to W \otimes H_{1}$ is real,

and gauge equivalence classes of

Sp (1)

-invariant ASD connections on

E

To construct the connection associated to a set of ADHM data, we first observe that the non-degeneracy condition implies that

f : x \mapsto Coker v (x) \subset V

is a smooth map from

S s p^{4}

to the quaternionic projective space

P (V)

(we map the point at

\infty

to the line

V / W \otimes H_{1}

). We then define the corresponding vector bundle

E

and connection

A

to be the pullback of the canonical quaternionic line bundle over

P (V)

with its standard connection (induced by orthogonal projectionfrom the trivial flat connection on V). The fact that

A

is ASD follows from the ADHM condition.

For a complete proof of the non-equivariant version of this theorem, see [9,§3.3] or [1] . The proof of equivariant version then proceeds with minimal modification.

We now give an even more precise description of

Sp (1)

-invariant instantons, starting by examining the characters of the representations

V

and

W

Lemma 6. The ADHM representations

V, W

described in ( 21 ) and ( 22 ) corresponding to the bundle

E \to S s p^{4}

with

c_{2} (E) = - k

are given by

V = H_{1} s p^{k + 1}, W = R_{0} s p^{k},

where

H_{1}

is the fundamental representation of

Sp (1)

acting by left multiplication and

R_{0}

is the trivial real representation.

Proof. If $E$ is an $Sp (1)$ equivariant vector bundle, then it is clearly also equivariant with respect to any one-parameter subgroup $S s p^{1}$ of $Sp (1)$ . We may therefore apply the results of [6] and [7] . The fixed point set for this $S s p^{1}$ -action on $S s p^{4}$ is the sphere $S s p^{2}$ , over which the bundle $E$ splits as $E |_{S s p^{2}} = L \oplus L s p^{*}$ . Here $L$ is a complex line bundle with an $S s p^{1}$ -action and $L s p^{*}$ is its dual. As in [6] , such $S s p^{1}$ equivariant bundles $E$ are characterized by a pair of constants $(m, k)$ , where $m$ is the weight of the $S s p^{1}$ -action on $L$ and $k = c_{1} (L s p^{*})$ . In our case this $S s p^{1}$ -action is derived from the fundamental representation of $Sp (1)$ , and so its weight is $m = 1 / 2$ . In addition, noting that $2 m k = - c_{2} (E)$ , we see that the two definitions of $k$ agree. Using the equivariant index calculations of [6] , Braam and Austin compute the representations $V, W$ in equations (3.4) and (3.5) of [7] . For $m = 1 / 2$ we have $V = (C_{1 / 2} \oplus C_{- 1 / 2}) s p^{k + 1}$ and $W = R_{0} s p^{k}$ as representations of $S s p^{1}$ . The corresponding $Sp (1)$ representations are then $V = H_{1} s p^{k + 1}$ and $W = R_{0} s p^{k}$ . □

From this lemma, we see that the ADHM data

(B, Λ)

is a pair of

Sp (1)

equivariant maps

B : H_{1} s p^{k} \to H_{1} s p^{k}

and

Λ : H_{1} \to H_{1}

. We then have

g B g s p^{- 1} = B

and

g Λ g s p^{- 1} = Λ

for all

g \in Sp (1)

, where

g

acts by quaternion multiplication. It follows that both

B

and

Λ

must be real transformations. Recalling that

B

is symmetric, we see that

B

is diagonalizable with real eigenvalues. Choosing a suitable basis, we can therefore write the map

v (x) : H_{1} s p^{k} \to H_{1} s p^{k + 1}

as a matrix of the form

v (x) = (\begin{matrix} λ_{1} & \cdot \cdot \cdot & λ_{k} \\ b_{1} - x & 0 & 0 \\ 0 & . . . & 0 \\ 0 & 0 & b_{k} - x \end{matrix})

with real eigenvalues

{b_{1}, \dots, b_{k}}

and real scales

{λ_{1}, \dots, λ_{k}}

with

λ_{i} \geq 0

. The non-degeneracy condition of Theorem 5 implies that the

b_{i}

are distinct and the

λ_{i}

are nonzero, while the ADHM condition is automatically satisfied since

B

and

Λ

are real. Computing

Coker v (x) = Ker v (x) s p^{*}

, we obtain

Theorem 7. Given

k

distinct real centers

{b_{1}, \dots, b_{k}}

and

k

positive real scales

{λ_{1}, \dots, λ_{k}}

, let

f : S s p^{4} \to P (H_{1} s p^{k + 1})

be the map given by

f : x \mapsto (1 : \frac{λ_{1}}{x - b_{1}} : \dots : \frac{λ_{k}}{x - b_{k}}) .

The

Sp (1)

-invariant connection obtained by taking the pullback of the standard connection on the canonical bundle over

P (H_{1} s p^{k + 1})

is then ASD and has Chern class

c_{2} = - k

. Furthermore, every

Sp (1)

-invariant connection on a bundle

E \to S s p^{4}

with

c_{2} (E) = - k

is gauge equivalent to one of this form.

We note that the instantons constructed by the above theorem are the superposition of

k

basic instantons with distinct centers along the real axis, which we recognize as the 't Hooft instantonsfrom the previous section in a different guise. By dimensional reduction, we therefore obtain a constructive proof of the classification theorem for hyperbolic vortices.

Corollary 8. Given a set of

k

distinct points

{z_{1}, \dots, z_{k}}

in the complex upper half-plane, there exists a finite action solution

(a, Φ)

to the hyperbolic vortex equations, unique up to gauge transformation, such that

{z_{1}, \dots, z_{k}}

is the zero set of the Higgs field

Φ

. The Chern class of such a vortex is then

c_{1} (a) = k

, obtained by counting the zeros of the Higgs field.

2.6 Symmetric Gauge Transformations

Now that we understand the relationship between symmetric instantons and hyperbolic vortices, we examine how the notion of gauge equivalence behaves under this dimensional reduction. Starting with a symmetric

SU (2)

gauge transformation on

S s p^{4}

, we compute the resulting

U (1)

gauge transformation on hyperbolic space

ℋ s p^{2}

. Then, continuing to work in the simpler

ℋ s p^{2}

picture, we examine the conditions under which two hyperbolic vortices given by the harmonic function ansatz of § 2.2 are gauge equivalent.

Using the quaternionic notation

x = t + r Q

, the most general

Sp (1)

-invariant gauge transformation on

S s p^{4}

has the form

g = e s p^{Q χ (t, r)} = cos χ (t, r) + Q sin χ (t, r),

where

χ

is a real-valued function on

ℋ s p^{2}

. Computing its differential, we have

d g g s p^{- 1} = Q d χ + sin χ d Q e s p^{- Q χ} = Q d χ - \frac{1}{2} Q (e s p^{2 Q χ} - 1) d Q .

Applying this gauge transformation to the general

SO (3)

-invariant connection ( 2.1 ), we obtain

\begin{matrix} g (A) & = \frac{1}{2} e s p^{Q χ} [Q a + (Φ_{1} + Q Φ_{2}) d Q] e s p^{- Q χ} - d g g s p^{- 1} \end{matrix}

\begin{matrix} = \frac{1}{2} [Q (a - 2 d χ) + (e s p^{2 Q χ} [Φ_{1} + Q (Φ_{2} + 1)] - Q) d Q], \end{matrix}

\begin{matrix}  \end{matrix}

noting that

g Q = Q g

while

g d Q = d Q g s p^{- 1}

. The associated connection

i a

and Higgs field

Φ = Φ_{1} + i (Φ_{2} + 1)

over

ℋ s p^{2}

then transform according to

g (a) = a - 2 d χ, g (Φ) = e s p^{2 i χ} Φ .

Hence, the corresponding gauge transformation over

ℋ s p^{2}

is simply

g = e s p^{2 i χ}

Suppose that we have two gauge equivalent hyperbolic vortices

(a_{+}, Φ_{+})

and

(a_{-}, Φ_{-})

constructed by the harmonic function ansatz of § 2.2 , using equation ( 17 ) with the super-potentials

φ_{+}

and

φ_{-}

respectively. If these two vortices satisfy

a_{-} = g (a_{+})

and

Φ_{-} = g (Φ_{+})

with a gauge transformation of the form

g = e s p^{2 i χ}

as discussed above, then we obtain the system of differential equations

\begin{matrix} \frac{\partial}{\partial \bar{z}} log φ_{-} & = \frac{\partial}{\partial \bar{z}} log φ_{+} - \frac{\partial}{\partial \bar{z}} 2 i χ \end{matrix}

(23)

\begin{matrix} \frac{\partial}{\partial z} log φ_{-} & = e s p^{2 i χ} \frac{\partial}{\partial z} log φ_{+} . \end{matrix}

(24)

\begin{matrix}  \end{matrix}

Note that equation ( 23 ) implies that

χ

is harmonic,

\frac{\partial}{\partial z} \frac{\partial}{\partial \bar{z}} χ = 0,

as it is the imaginary part of a holomorphic function. Taking the conjugate of ( 24 ) and inserting it into ( 23 ), we can eliminate either

log φ_{+}

log φ_{-}

from these equations to obtain

\begin{matrix} \frac{\partial}{\partial \bar{z}} log φ_{+} = \frac{e s p^{2 i χ}}{e s p^{2 i χ} - 1} \frac{\partial}{\partial \bar{z}} 2 i χ & \frac{\partial}{\partial z} log φ_{+} = \frac{1}{e s p^{2 i χ} - 1} \frac{\partial}{\partial z} 2 i χ \end{matrix}

\begin{matrix} \frac{\partial}{\partial \bar{z}} log φ_{-} = \frac{1}{e s p^{2 i χ} - 1} \frac{\partial}{\partial \bar{z}} 2 i χ & \frac{\partial}{\partial \bar{z}} log φ_{-} = \frac{e s p^{2 i χ}}{e s p^{2 i χ} - 1} \frac{\partial}{\partial z} 2 i χ . \end{matrix}

\begin{matrix}  \end{matrix}

These equations may also be written in either of the two simpler forms

\begin{matrix} \frac{\partial}{\partial \bar{z}} log φ_{\pm} = \frac{e s p^{\pm i χ}}{sin χ} \frac{\partial}{\partial \bar{z}} χ & \frac{\partial}{\partial z} log φ_{\pm} = \frac{e s p^{\mp i χ}}{sin χ} \frac{\partial}{\partial z} χ \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} \frac{\partial}{\partial \bar{z}} log φ_{\pm} & = \frac{\partial}{\partial \bar{z}} log (e s p^{\pm 2 i χ} - 1) \frac{\partial}{\partial z} log φ_{\pm} = \frac{\partial}{\partial z} log (e s p^{\mp 2 i χ} - 1) . \end{matrix}

(25)

\begin{matrix}  \end{matrix}

Substituting these formulae for the partial derivatives into ( 17 ), we can express the two gauge equivalent hyperbolic vortices completely in terms of the gauge transformation without reference to their super-potentials. Furthermore, computing the Laplacian of the super-potentials

φ_{1}, φ_{2}

in terms of the function

χ

, we have

\frac{1}{φ_{\pm}} \frac{\partial}{\partial \bar{z}} \frac{\partial}{\partial z} φ_{\pm} = \frac{\partial}{\partial \bar{z}} log φ_{\pm} \frac{\partial}{\partial z} log φ_{\pm} + \frac{\partial}{\partial \bar{z}} \frac{\partial}{\partial z} log φ_{\pm} = \frac{e s p^{\pm i χ}}{sin χ} \frac{\partial}{\partial z} \frac{\partial}{\partial \bar{z}} χ .

Hence, the requirements that

φ_{1}, φ_{2}

be harmonic reduce simply to the condition that

χ

be harmonic, which we have already established as a corollary to equation ( 23 ). We have thus proved

Theorem 9. Let

χ

be a real-valued harmonic function on the hyperbolic upper half-plane

ℋ s p^{2}

. The two pairs

(a_{+}, Φ_{+})

and

(a_{-}, Φ_{-})

given by

\begin{matrix} {\bar{\partial}}_{a_{\pm}} & = \bar{\partial} + \bar{\partial} log (e s p^{\pm 2 i χ} - 1) + \frac{d \bar{z}}{z - \bar{z}} \end{matrix}

\begin{matrix} Φ_{\pm} & = i (z - \bar{z}) \frac{\partial}{\partial z} log (e s p^{\mp 2 i χ} - 1) \end{matrix}

\begin{matrix}  \end{matrix}

then satisfy the hyperbolic vortex equations ( 9 ) and ( 10 ) and are related by the gauge transformation

g = e s p^{2 i χ}

. Conversely, any two gauge equivalent hyperbolic vortices constructed via the harmonic function ansatz of Theorem 4 can be expressed in this form.

2.7 The Unit Disc Model

Until now, we have always used the upper half-plane model for hyperbolic space

ℋ s p^{2}

. In some circumstances, it will be more convenient to use the unit disc model. While the upper half-plane arises naturally by the dimensional reduction technique discussed in the previous sections, the calculations in the following section become much simpler and exhibit significantly more symmetry if we can work on the unit disk. Here we make the transition beween the two coordinate systems, showing how the formulae of the previous sections behave under the transformation.

Letting

z

be the complex coordinate for the upper half-plane and

w

the coordinate for the unit disc, these two models are related by the conformal transformation

\begin{matrix} w = \frac{i - z}{i + z}, z = i \frac{1 - w}{1 + w} . \end{matrix}

(26)

This map takes the upper half-plane to the interior of the unit disc, mapping the real axis to the unit circle. In particular, the point

z = i

maps to the origin, while the origin maps to

w = 1

and the point at infinity maps to

w = - 1

. The positive imaginary axis in

z

-coordinates maps to the interval

(- 1, 1)

on the real axis in

w

-coordinates.

The hyperbolic metric on the unit disk is given by

h = \frac{4}{(1 - | w | s p^{2}) s p^{2}} d w d \bar{w} .

The vortex equations remain fixed under this change of coordinates; equation ( 9 ) is preserved because the transformation is holomorphic, while equation ( 10 ) is a relationship between coordinate-invariant scalar quantities. To compute the new connection and Higgs fields generated by the harmonic function ansatz, we first note that

z - \bar{z} = 2 i \frac{1 - | w | s p^{2}}{| 1 + w | s p^{2}},

and that the partial derivatives transform according to

\frac{\partial}{\partial w} = - \frac{2 i}{(1 + w) s p^{2}} \frac{\partial}{\partial z}, \frac{\partial}{\partial \bar{w}} = \frac{2 i}{(1 + \bar{w}) s p^{2}} \frac{\partial}{\partial \bar{z}} .

Converting the formula ( 17 ) for the hyperbolic vortex associated to a harmonic super-potential

φ

w

-coordinates on the unit disc, Theorem 4 then becomes

Theorem 10. Given a positive real-valued super-potential

φ

over the hyperbolic disc

ℋ s p^{2}

, the

U (1)

connection and Higgs field pair

(a, Φ)

defined by

\begin{matrix} {\bar{\partial}}_{a} = \bar{\partial} + \bar{\partial} log φ + \frac{d \bar{w}}{1 - | w | s p^{2}} \frac{1 + w}{1 + \bar{w}} Φ = - i (1 - | w | s p^{2}) \frac{1 + w}{1 + \bar{w}} \frac{\partial}{\partial w} log φ, \end{matrix}

(27)

\begin{matrix}  \end{matrix}

satisfies the vortex equations ( 9 ) and ( 10 ) if and only if the super-potential

φ

is harmonic.

The Chern class

c_{1} (a)

of this connection is given in these coordinates by

\begin{matrix} \begin{matrix} c_{1} (a) = \frac{1}{2 π} \int_{ℋ s p^{2}} *_{h} (1 - | Φ | s p^{2}) = \frac{1}{2 π} \int_{D s p^{2}} (\frac{4}{(1 - | w | s p^{2}) s p^{2}} - 4 | \frac{\partial}{\partial w} log φ | s p^{2}) d μ, \end{matrix} \end{matrix}

(28)

where

d μ

is the volume element on the disc.

We now return to the simple hyperbolic vortex constructed in § 2.4 , which we obtained by a dimensional reduction of the basic

c_{2} = 1

instanton. In

w

-coordinates on the unit disc, thesuper-potential ( 20 ) becomes

\begin{matrix} φ = 2 \frac{1 - | w | s p^{4}}{| 1 - w s p^{2} | s p^{2}} . \end{matrix}

(29)

Computing the partial derivatives of its logarithm, we obtain

\frac{\partial}{\partial w} log φ = \frac{2 w}{1 - | w | s p^{4}} \frac{1 - \bar{w} s p^{2}}{1 - w s p^{2}} \frac{\partial}{\partial \bar{w}} log φ = \frac{2 \bar{w}}{1 - | w | s p^{4}} \frac{1 - w s p^{2}}{1 - \bar{w} s p^{2}},

which when inserted into formula ( 27 ) above give the vortex

{\bar{\partial}}_{a} = \bar{\partial} + \frac{d \bar{w}}{1 + | w | s p^{2}} \frac{1 + w}{1 - \bar{w}} Φ = - \frac{2 i w}{1 + | w | s p^{2}} \frac{1 - \bar{w}}{1 - w} .

Note that here the Higgs field

Φ

vanishes only at the origin, where it has a simple zero, and so the Chern class of this vortex should be

c_{1} (a) = 1

Using ( 28 ) to explicitly calculate this Chern class, we obtain the integral

c_{1} (a) = \frac{1}{2 π} \int_{D s p^{2}} (\frac{4}{(1 - | w | s p^{2}) s p^{2}} - \frac{16 | w | s p^{2}}{(1 - | w | s p^{4}) s p^{2}}) d μ .

Taking polar coordinate

r, θ

on the unit disc, this integral becomes

c_{1} (a) = \int_{0} s p^{1} (\frac{4 r}{(1 - r s p^{2}) s p^{2}} - \frac{16 r s p^{3}}{(1 - r s p^{4}) s p^{2}}) d r = {[\frac{2}{1 - r s p^{2}} - \frac{4}{1 - r s p^{4}}]}_{r = 0} s p^{r = 1} .

To evaluate this expression at

r = 1

, we substitute

r = 1 - x

and expand it about

x = 0

, giving us

\begin{matrix} \frac{2}{1 - (1 - x) s p^{2}} - \frac{4}{1 - (1 - x) s p^{4}} & = \frac{2}{2 x - x s p^{2} + O (x s p^{3})} - \frac{4}{4 x - 6 x s p^{2} + O (x s p^{3})} \end{matrix}

\begin{matrix} = (\frac{1}{x} + \frac{1}{2} + O (x)) - (\frac{1}{x} + \frac{3}{2} + O (x)) \end{matrix}

\begin{matrix} = - 1 + O (x) . \end{matrix}

\begin{matrix}  \end{matrix}

We therefore see that the Chern class of this vortex is indeed

c_{1} (a) = 1

as we predicted by counting the zeros of the Higgs field.

The formulae from § 2.6 giving the two super-potentials in terms of the gauge transformation remain unchanged, except for replacing all the

z

's with

w

's. In particular, if the vortices determined by the super-potentials

φ_{+}

and

φ_{-}

are gauge equivalent by a transformation of the form

g = e s p^{2 i χ}

, then the differential equations ( 23 ) and ( 24 ) become

\begin{matrix} \frac{\partial}{\partial \bar{w}} log φ_{-} & = \frac{\partial}{\partial \bar{w}} log φ_{+} - \frac{\partial}{\partial \bar{w}} 2 i χ \end{matrix}

(30)

\begin{matrix} \frac{\partial}{\partial w} log φ_{-} & = e s p^{2 i χ} \frac{\partial}{\partial w} log φ_{+} . \end{matrix}

(31)

\begin{matrix}  \end{matrix}

The unit disc version of Theorem 9 is then

Theorem 11. Let

χ

be a real-valued harmonic function on the hyperbolic unit disc

ℋ s p^{2}

. The two pairs

(a_{+}, Φ_{+})

and

(a_{-}, Φ_{-})

given by

\begin{matrix} {\bar{\partial}}_{a_{\pm}} & = \bar{\partial} + \bar{\partial} log (e s p^{\pm 2 i χ} - 1) + \frac{d \bar{w}}{1 - | w | s p^{2}} \frac{1 + w}{1 + \bar{w}} \end{matrix}

\begin{matrix} Φ_{\pm} & = - i (1 - | w | s p^{2}) \frac{1 + w}{1 + \bar{w}} \frac{\partial}{\partial w} log (e s p^{\mp 2 i χ} - 1) \end{matrix}

\begin{matrix}  \end{matrix}

then satisfy the hyperbolic vortex equations ( 9 ) and ( 10 ) and are related by the gauge transformation

g = e s p^{2 i χ}

. Conversely, any two gauge equivalent hyperbolic vortices constructed via the harmonic function ansatz of Theorem 10 can be expressed in this form.

3 Holonomy Singularity

3.1 The Forgács, Horváth, Palla Instanton

In this section, we construct the singular instanton described by P. Forgács, Z. Horváth, and L. Palla in [10] . In order to obtain a connection on

S s p^{4} \ S s p^{2}

with a holonomy singularity, Forgács et al. patch together two non-singular connections on overlapping simply connected regions using a gauge transformation. (This process is not unlike the clutching construction, which creates “twisted” vector bundles given their local trivializations and transition functions.) These two non-singular solutions are generated by the harmonic function ansatz of Section 1 , and since the super-potentials they use are

SO (3)

-invariant, the resulting connection can be analyzed in terms of the dimensional reduction to hyperbolic space

ℋ s p^{2}

discussed in Section 2.

Using the quaternionic notation

x = t + r Q

with

t, r

real,

r > 0

and

Q

pure imaginary satisfying

Q s p^{2} = - 1

, we want to construct an

SO (3)

-invariant self-dual connection singular along the 2-sphere

t = 0, r = 1

. By dimensional reduction, this translates into a vortex over the hyperbolic upper half-plane with non-trivial holonomy around the point

z = i

. If instead we work using the unit disc model of hyperbolic space, our task takes the more symmetric form of finding a hyperbolic vortex on the punctured disc with a holonomy singularity at the origin.

We therefore set out to construct two gauge equivalent hyperbolic vortices on the punctured disc, using the harmonic function ansatz of § 2.2 . For the two simply connected regions, we let

P_{1}

be the disc with a cut along the positive real axis, and let

P_{2}

be the disc with a cut along the negative real axis. The areas of overlap are then the upper and lower half-discs, excluding the real axis. Let

(a_{1}, Φ_{1})

and

(a_{2}, Φ_{2})

be the hyperbolic vortices corresponding to the super-potentials

φ_{1}

and

φ_{2}

on the regions

P_{1}

and

P_{2}

respectively.

In light of Theorem 9 , we begin by examining the gauge transformation between these two vortices, rather than focusing on the super-potentials. Here our gauge transformation

g

is specified by a real-valued harmonic function

χ

, and we take

g = {\begin{matrix} e s p^{+ 2 i χ} & for Im w > 0 \\ e s p^{- 2 i χ} & for Im w < 0 . \end{matrix}

In other words, on the lower half-disc we use the inverse of the gauge transformation that we use on the upper half-disc. In the notation of § 2.6 , switching the sign of

2 i χ

simply interchanges the resulting gauge equivalent super-potentials

φ_{+}

and

φ_{-}

determined by equation ( 25 ). Note that although the resulting

g

is undefined along the real axis, this does not pose a problem for our construction. Indeed, we use

g

directly only on regions excluding the real axis, and we will find that the two hyperbolic vortices

(a_{1}, Φ_{1})

and

(a_{2}, Φ_{2})

constructed from

g

are continuous across the negative and positive axes respectively.

In [10] , Forgács et al. use the gauge transformation specified by

\begin{matrix} 2 χ = (\frac{π}{2} + 2 arctan \frac{T_{2}}{1 - T_{1}} + 2 arctan \frac{T_{1}}{1 - T_{2}}) . \end{matrix}

(32)

We will define the

T_{i}

below, but before doing so we first study the behavior of this gauge transformation for general values of

T_{i}

. In particular, we would like to coerce

T_{1}

and

T_{2}

into being the real and imaginary parts of a holomorphic (or anti-holomorphic) function

f (w)

. Then where

| f (w) | = 1

, the arguments of the arctans resemble the half-angle formula for

tan (θ)

. In such circumstances we have

arctan \frac{T_{2}}{1 - T_{1}} = Im log (1 - \bar{f}) arctan \frac{T_{1}}{1 - T_{2}} = Im log (1 + i f),

and we can write

χ

in terms of

f

using

2 χ = Im log (i \frac{(1 + i f) s p^{2}}{(1 - f) s p^{2}}) .

We then see that

χ

is indeed harmonic as it is the imaginary part of a holomorphic (or anti-holomorphic) function. Exponentiating, we obtain

\begin{matrix} e s p^{2 i χ} = i \frac{(1 - \bar{f}) (1 + i f)}{(1 - f) (1 - i \bar{f})}, \end{matrix}

(33)

and the expressions

e s p^{2 i χ} - 1

and

e s p^{- 2 i χ} - 1

take the form

e s p^{+ 2 i χ} - 1 = - \frac{(1 - i) (1 - f \bar{f})}{(1 - f) (1 - i \bar{f})}, e s p^{- 2 i χ} - 1 = - \frac{(1 + i) (1 - f \bar{f})}{(1 - \bar{f}) (1 + i f)},

which we shall use in equation ( 25 ). Note that if

| f | = 1

then

\bar{f} = f s p^{- 1}

, and we observe that

e s p^{\pm 2 i χ} = 1

In equation ( 32 ) above, the

T_{i}

are defined by

\begin{matrix} T_{1} & = \frac{1}{2 S s p^{5}} \sqrt{(S + S_{-}) s p^{2} - 4} {\frac{1}{4} [4 - (S - S_{-}) s p^{2}] s p^{2} + S s p^{2} S_{-} s p^{2} - 3 (z + \bar{z}) s p^{2}} \end{matrix}

\begin{matrix} T_{2} & = \frac{1}{2 S s p^{5}} \sqrt{4 - (S - S_{-}) s p^{2}} {\frac{1}{4} [4 - (S + S_{-}) s p^{2}] s p^{2} + S s p^{2} S_{-} s p^{2} - 3 (z + \bar{z}) s p^{2}} \end{matrix}

\begin{matrix}  \end{matrix}

with

S = | z + i |, S_{-} = | z - i |,

using the complex coordinate

z

on the upper half-plane. With formulae such as these, it is not surprising that the mathematical community was incredulous. Changing to the complex coordinate

w

on the unit disc via the conformal transformation ( 26 ), we have

S = \frac{2}{| w + 1 |}, S_{-} = 2 \frac{| w |}{| w + 1 |} = | w | S .

Calculating the various components of the

T_{i}

, we obtain

\begin{matrix} \sqrt{(S + S_{-}) s p^{2} - 4} & = 2 \frac{| \sqrt{w} - \sqrt{\bar{w}} |}{| w + 1 |} = | \sqrt{w} - \sqrt{\bar{w}} | S \end{matrix}

\begin{matrix} \sqrt{4 - (S - S_{-}) s p^{2}} & = 2 \frac{| \sqrt{w} + \sqrt{\bar{w}} |}{| w + 1 |} = | \sqrt{w} + \sqrt{\bar{w}} | S \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix}  \end{matrix}

and

z + \bar{z} = - 2 i \frac{w - \bar{w}}{| w + 1 | s p^{2}} = - \frac{i}{2} (w - \bar{w}) S s p^{2} .

Putting these pieces together, the

T_{i}

are given much more simply by

\begin{matrix} T_{1} & = \frac{1}{2} | \sqrt{w} - \sqrt{\bar{w}} | [\frac{1}{4} (\sqrt{w} + \sqrt{\bar{w}}) s p^{4} + w \bar{w} + \frac{3}{4} (w - \bar{w}) s p^{2}] \end{matrix}

\begin{matrix} = \frac{1}{2} | w s p^{1 / 2} - \bar{w} s p^{1 / 2} | (w s p^{2} + w s p^{3 / 2} \bar{w} s p^{1 / 2} + w \bar{w} + w s p^{1 / 2} \bar{w} s p^{3 / 2} + \bar{w} s p^{2}) \end{matrix}

\begin{matrix} = \mp \frac{i}{2} (w s p^{5 / 2} - \bar{w} s p^{5 / 2}) = (Im w s p^{5 / 2}) (sign Im w s p^{1 / 2}), \end{matrix}

\begin{matrix}  \end{matrix}

and

\begin{matrix} T_{2} & = \frac{1}{2} | \sqrt{w} + \sqrt{\bar{w}} | [\frac{1}{4} (\sqrt{w} - \sqrt{\bar{w}}) s p^{4} + w \bar{w} + \frac{3}{4} (w - \bar{w}) s p^{2}] \end{matrix}

\begin{matrix} = \frac{1}{2} | w s p^{1 / 2} + \bar{w} s p^{1 / 2} | (w s p^{2} - w s p^{3 / 2} \bar{w} s p^{1 / 2} + w \bar{w} - w s p^{1 / 2} \bar{w} s p^{3 / 2} + \bar{w} s p^{2}) \end{matrix}

\begin{matrix} = \pm \frac{1}{2} (w s p^{5 / 2} + \bar{w} s p^{5 / 2}) = (Re w s p^{5 / 2}) (sign Re w s p^{1 / 2}) . \end{matrix}

\begin{matrix}  \end{matrix}

Hence, we see that

T_{1}

and

T_{2}

are indeed the imaginary and real parts of the function

f (w)

defined by

f (w) = {\begin{matrix} w s p^{5 / 2} & 0 & \leq arg w \leq & π \\ - \bar{w} s p^{5 / 2} & π & \leq arg w \leq & 2 π \end{matrix}

on the region

P_{1}

or equivalently

f (w) = {\begin{matrix} \bar{w} s p^{5 / 2} & - π & \leq arg w \leq & 0 \\ w s p^{5 / 2} & 0 & \leq arg w \leq & π \end{matrix}

on the region

P_{2}

. This function

f (w)

is holomorphic on the upper half-disc and anti-holomorphic on the lower half-disc, and we note that

f (w)

is well defined and continuous over the whole unit disc.

We now have all that we need to calculate the gauge equivalent connections and Higgs fields

a_{i}, Φ_{i}

satisfying

a_{2} = g (a_{1})

and

Φ_{2} = g (Φ_{1})

. We first consider the super-potential

φ_{1}

defined on the region

0 < arg w < 2 π

. Using the notation of § 2.6 , on the upper half-disc we have

φ_{1} = φ_{+}

and

f = w s p^{5 / 2}

, giving us

\frac{\partial}{\partial \bar{w}} log φ_{1} = \frac{\partial}{\partial \bar{w}} log \frac{1 - | w | s p^{5}}{(1 - w s p^{5 / 2}) (1 - i \bar{w} s p^{5 / 2})} = \frac{5}{2} \frac{i \bar{w} s p^{3 / 2}}{1 - | w | s p^{5}} \frac{1 + i w s p^{5 / 2}}{1 - i \bar{w} s p^{5 / 2}} .

On the lower half-disc, we obtain the same expression

\frac{\partial}{\partial \bar{w}} log φ_{1} = \frac{\partial}{\partial \bar{w}} log \frac{1 - | w | s p^{5}}{(1 + w s p^{5 / 2}) (1 - i \bar{w} s p^{5 / 2})} = \frac{5}{2} \frac{i \bar{w} s p^{3 / 2}}{1 - | w | s p^{5}} \frac{1 + i w s p^{5 / 2}}{1 - i \bar{w} s p^{5 / 2}},

although this time we take

φ_{1} = φ_{-}

and

f = - \bar{w} s p^{5 / 2}

. Similarly, considering the super-potential

φ_{2}

defined for

- π < arg w < π

, on the upper half-disc with

φ_{2} = φ_{-}

and

f = w s p^{5 / 2}

we have

\frac{\partial}{\partial \bar{w}} log φ_{2} = \frac{\partial}{\partial \bar{w}} log \frac{1 - | w | s p^{5 / 2}}{(1 - \bar{w} s p^{5 / 2}) (1 + i w s p^{5 / 2})} = \frac{5}{2} \frac{\bar{w} s p^{3 / 2}}{1 - | w | s p^{5}} \frac{1 - w s p^{5 / 2}}{1 - \bar{w} s p^{5 / 2}},

while on the lower half-disc, we again get the same expression

\frac{\partial}{\partial \bar{w}} log φ_{2} = \frac{\partial}{\partial \bar{w}} log \frac{1 - | w | s p^{5 / 2}}{(1 - \bar{w} s p^{5 / 2}) (1 - i w s p^{5 / 2})} = \frac{5}{2} \frac{\bar{w} s p^{3 / 2}}{1 - | w | s p^{5}} \frac{1 - w s p^{5 / 2}}{1 - \bar{w} s p^{5 / 2}},

taking

φ_{2} = φ_{+}

and

f = \bar{w} s p^{5 / 2}

. Hence, as we predicted, the vortices determined by

φ_{1}

and

φ_{2}

extend continuously across the negative and positive real axes respectively, even though the gauge transformation

g

between them does not.

For the purposes of our vortex construction, we need not know the super-potentials explicitly; rather, all we require are the complex partial derivatives of their logarithms which we computed above. Nevertheless, here we present the super-potentials as given in [10] . There the two super-potentials take center stage, defined on their own instead of being constructed from the gauge transformation as we have done. Forgács et al. define

φ_{1}

φ_{2}

by⁶

φ_{1} = \frac{S s p^{5} - S_{-} s p^{5}}{S s p^{5} + S_{-} s p^{5} - 2 S s p^{5} T_{1}}, φ_{2} = \frac{S s p^{5} - S_{-} s p^{5}}{S s p^{5} + S_{-} s p^{5} - 2 S s p^{5} T_{2}} .

Simplifying these expressions and writing them using the unit disc model of hyperbolic space, we obtain

\begin{matrix} φ_{1} & = \frac{1 - | w | s p^{5}}{1 - 2 Im w s p^{5 / 2} + | w | s p^{5}} = \frac{1 - | w | s p^{5}}{| 1 + i w s p^{5 / 2} | s p^{2}} \end{matrix}

(34)

\begin{matrix} φ_{2} & = \frac{1 - | w | s p^{5}}{1 - 2 Re w s p^{5 / 2} + | w | s p^{5}} = \frac{1 - | w | s p^{5}}{| 1 - w s p^{5 / 2} | s p^{2}} . \end{matrix}

(35)

\begin{matrix}  \end{matrix}

The reader may want to verify that the partial derivatives

\frac{\partial}{\partial \bar{w}} log φ_{1}

and

\frac{\partial}{\partial \bar{w}} log φ_{2}

agree with those calculated on the previous page.

We now compute the Chern class

c_{1}

of the vortex patched together from the two super-potentials

φ_{1}

and

φ_{2}

. Using equation ( 28 ), we have

c_{1} (a) = \frac{1}{2 π} \int_{D s p^{2}} (\frac{4}{(1 - | w | s p^{2}) s p^{2}} - \frac{25 | w | s p^{3}}{(1 - | w | s p^{5}) s p^{2}}) d μ .

Taking polar coordinates

r, θ

on the disc

D s p^{2}

, this integral becomes

c_{1} (a) = \int_{0} s p^{1} (\frac{4 r}{(1 - r s p^{2}) s p^{2}} - \frac{25 r s p^{4}}{(1 - r s p^{5}) s p^{2}}) d r = {[\frac{2}{1 - r s p^{2}} - \frac{5}{1 - r s p^{5}}]}_{r = 0} s p^{r = 1},

and evaluating this expression by the method used at the end of § 2.7 shows that

c_{1} (a) = 3 / 2

. We can also arrive at this same result by naively counting the zeros (with multiplicity) of the Higgs field, as both

\frac{\partial}{\partial w} log φ_{1}

and

\frac{\partial}{\partial w} log φ_{2}

vanish to order

3 / 2

at the origin but are otherwise nonzero.

⁶ Actually, [10] uses $+ 2 S s p^{5} T_{1}$ and $+ 2 S s p^{5} T_{2}$ in the denominators of $φ_{1}$ and $φ_{2}$ respectively. The resulting super-potentials are still harmonic, andthey do indeed generate gauge equivalent hyperbolic vortices. However, this choice of sign is not consistent with the gauge transformation they use, given here by ( 32 ).

3.2 A Family of Singular Vortices

In this section we will generalize the construction of [10] to produce a family of hyperbolic vortices with varying Chern class

c_{1}

. This family includes both the standard

c_{1} = 1

vortex of § 2.7 and the fractionally charged vortex of the previous section, as well as vortices with arbitrary real

c_{1}

. We will continue to work using the unit disc model of hyperbolic space.

Observing the resemblance between the two super-potentials ( 29 ) and ( 35 ), we consider a more general super-potential of the form

\begin{matrix} φ = \frac{1 - | w | s p^{2 c}}{| 1 - w s p^{c} | s p^{2}}, \end{matrix}

(36)

where

c

is a nonzero real constant. For non-integral

c

, this

φ

is not well defined over the whole unit disc; rather, we must restrict it to a simply-connected cut disc. If we loop around the origin once in the positive direction, crossing our cut in the unit disc, then this super-potential becomes

\begin{matrix} φ^{'} = \frac{1 - | w | s p^{2 c}}{| 1 - ε w s p^{c} | s p^{2}}, \end{matrix}

(37)

introducing a factor of

ε = e s p^{2 π i c}

in the denominator. In both of these cases, we note that

φ

and

φ^{'}

vanish on on the unit circle, except at the roots of

w s p^{a} = 1

(or

w s p^{a} = \bar{ε}

) where they have simple poles.

Taking the logarithmic derivatives of the super-potential

φ

, we obtain

\frac{\partial}{\partial w} log φ = \frac{c w s p^{c - 1}}{1 - | w | s p^{2 c}} \frac{1 - \bar{w} s p^{c}}{1 - w s p^{c}} \frac{\partial}{\partial \bar{w}} log φ = \frac{c \bar{w} s p^{c - 1}}{1 - | w | s p^{2 c}} \frac{1 - w s p^{c}}{1 - \bar{w} s p^{c}},

which we can use in equation ( 27 ) to construct a hyperbolic vortex

(a, Φ)

. After looping around the origin, the logarithmic derivatives become

\frac{\partial}{\partial w} log φ^{'} = \frac{c ε w s p^{c - 1}}{1 - | w | s p^{2 c}} \frac{1 - \bar{ε} \bar{w} s p^{c}}{1 - ε w s p^{c}} \frac{\partial}{\partial \bar{w}} log φ^{'} = \frac{c \bar{ε} \bar{w} s p^{c - 1}}{1 - | w | s p^{2 c}} \frac{1 - ε w s p^{c}}{1 - \bar{ε} \bar{w} s p^{c}},

and we let

(a^{'}, Φ^{'})

be the corresponding hyperbolic vortex.

In order to construct a single hyperbolic vortex over the whole of the unit disc, we would like to find a gauge transformation

g

taking the vortex

(a, Φ)

to the vortex

(a^{'}, Φ^{'})

. Using equation ( 31 ) for gauge equivalent Higgs fields, we have

\frac{\partial}{\partial w} log φ^{'} = g \frac{\partial}{\partial w} log φ,

and so our gauge transformation must be

\begin{matrix} g = ε \frac{1 - \bar{ε} \bar{w} s p^{c}}{1 - ε w s p^{c}} \frac{1 - w s p^{c}}{1 - \bar{w} s p^{c}} . \end{matrix}

(38)

We must also verify that this gauge transformation

g

satisfies equation ( 30 ) for gauge equivalent connections

\frac{\partial}{\partial \bar{w}} log φ^{'} = \frac{\partial}{\partial \bar{w}} log φ - \frac{\partial}{\partial \bar{w}} log g,

which we leave to the reader. Hence when we loop around the origin, we obtain a vortex that is gauge equivalent to our original one, and so this vortex is well defined over the punctured disc.

Suppose that instead of defining

ε = e s p^{2 π i c}

, we use an arbitrary constant

ε

with

| ε | = 1

in equations ( 37 ) and ( 38 ). In this case, the gauge transformation

g

still maps between the two vortices corresponding to the super-potentials

φ

and

φ^{'}

. Indeed, if we take

c = 5 / 2

and

ε = - i

, then the resulting

φ

φ^{'}

, and

g

correspond to the super-potentials ( 35 ) and ( 34 ) and the gauge transformation ( 33 ) we used in § 3.1 .

Writing out the connection

a

and Higgs field

Φ

of this vortex explicitly using formula ( 27 ), we obtain

\begin{matrix} {\bar{\partial}}_{a} & = \bar{\partial} + (\frac{c \bar{w} s p^{c - 1}}{1 - | w | s p^{2 c}} \frac{1 - w s p^{c}}{1 - \bar{w} s p^{c}} + \frac{1}{1 - | w | s p^{2}} \frac{1 + w}{1 + \bar{w}}) d \bar{w} \end{matrix}

\begin{matrix} Φ & = - i c w s p^{c - 1} \frac{1 - | w | s p^{2}}{1 - | w | s p^{2 c}} \frac{1 + w}{1 + \bar{w}} \frac{1 - \bar{w} s p^{c}}{1 - w s p^{c}} . \end{matrix}

\begin{matrix}  \end{matrix}

The Chern class

c_{1} (a)

of this vortex is given by equation ( 28 ), yielding the integral

\begin{matrix} c_{1} (a) & = \frac{1}{2 π} \int_{D s p^{2}} (\frac{4}{(1 - | w | s p^{2}) s p^{2}} - \frac{4 c s p^{2} | w | s p^{2 c - 2}}{(1 - | w | s p^{2 c}) s p^{2}}) d μ \end{matrix}

\begin{matrix} = \int_{0} s p^{1} (\frac{4 r}{(1 - r s p^{2}) s p^{2}} - \frac{4 c s p^{2} r s p^{2 c - 1}}{(1 - r s p^{2 c}) s p^{2}}) d r = {[\frac{2}{1 - r s p^{2}} - \frac{2 c}{1 - r s p^{2 c}}]}_{r = 0} s p^{r = 1}, \end{matrix}

\begin{matrix}  \end{matrix}

where we have used polar coordinates

r, θ

on the unit disc. Evaluating this final expression by the method used at the end of § 2.7 , we have

c_{1} (a) = c - 1

For

c = 2

, this construction yields the standard

c_{1} = 1

hyperbolic vortex which we discussed in § 2.7 . If we take

c = 5 / 2

then we obtain the

c_{1} = 3 / 2

vortex given by the super-potential ( 35 ) on the cut disc

P_{2}

. Note that with our construction, it is no longer necessary to cover the disc with two overlapping regions as we did in § 3.1 . Rather, it is sufficient to take a single vortex on the cut disc and then study how it behaves across that cut. For integer values of

c

, the vortex is continuous across the cut, while for other values the vortex changes by a gauge transformation. The flat

c = 1

vortex in this family is

{\bar{\partial}}_{a} = \bar{\partial} + \frac{2 d \bar{w}}{1 - \bar{w} s p^{2}} Φ = - i \frac{1 + w}{1 + \bar{w}} \frac{1 - \bar{w}}{1 - w},

which we readily see has

| Φ | = 1

and

F_{a} = 0

, and we therefore have

c_{1} = 0

as expected. We observe that this vortex is equivalent to the standard flat vortex

(a = 0, Φ = 1)

using the gauge transformation ( 38 ) with

ε = - 1

To compute the holonomy around loops circling the origin, we introduce polar coordinates

r, θ

on the unit disc. In these coordinates, the complex differentials

d w

and

d \bar{w}

are

d w = \frac{w}{| w |} d r + i w d θ, d \bar{w} = \frac{\bar{w}}{| \bar{w} |} d r - i \bar{w} d θ .

In a small neighborhood of the origin, our connection is approximated by

a \approx c (\bar{w} s p^{c - 1} d \bar{w} - w s p^{c - 1} d w) = - i c (w s p^{c} + \bar{w} s p^{c}) d θ + \dots

(only the

d θ

term is needed for calculating the holonomy). The contribution to the holonomy around the circle

| w | = r

due to the connection

a

is then given by the loop integral

\begin{matrix} \oint_{| w | = r} a & = \int_{0} s p^{2 π} - i c r s p^{c} (e s p^{i c θ} + e s p^{- i c θ}) d θ \end{matrix}

\begin{matrix} = r s p^{c} (- e s p^{2 π i c} + e s p^{- 2 π i c}) = - 2 r s p^{c} sin 2 π i c . \end{matrix}

\begin{matrix}  \end{matrix}

For

c > 0

, this expression vanishes as

r \to 0

, and thus the limit holonomy around the origin comes entirely from the gauge transformation

g

given by ( 38 ). Near the origin, we have

g \approx ε = e s p^{2 π i c}

Hence, the limit of the holonomy around small loops centered at the origin is

e s p^{2 π i c}

By the dimensional reduction technique of Section 2, our family of singular hyperbolic vortices corresponds to a similar family of

SO (3)

-invariant self-dual connections over

S s p^{4} \ S s p^{2}

. Usingthe results and quaternionic notation of § 2.6 , we see that the holonomy around small loops linking the singular surface

S s p^{2}

e s p^{π Q c}

. Viewing these connections as

SU (2)

connections on a bundle

E

, we then obtain a splitting

E = L \oplus L s p^{*}

on a neighborhood of

S s p^{2}

with respect to which the holonomy takes the standard form

(\begin{matrix} e s p^{2 π i α} & 0 \\ 0 & e s p^{- 2 π i α} \end{matrix})

for a constant

α

in the range

[0, 1 / 2)

. In the

SO (3)

-symmetric case, the complex line bundle

L

S s p^{2}

has Chern class

c_{1} (L) = - 1

. For our family of singular solutions, the holonomy parameter is

α = (c - ⌊ c ⌋) / 2

, where

⌊ c ⌋

is the greatest integer less than or equal to

c

References

M. F. Atiyah, Geometry of Yang-Mills fields. Lezioni Fermiane, Accademia Nazionale dei Lincei & Scuola Normale Superiore, Pisa, 1979.
M. F. Atiyah, V. G. Drinfeld, N. J. Hitchin and Yu. I. Manin, Construction of instantons. Phys. Lett. 65A:3 (1978), 185–187.
M. F. Atiyah, N. J. Hitchin and I. M. Singer, Self-duality in four dimensional Riemannian geometry. Proc. R. Soc. Lond. A 362 (1978), 425–461.
M. F. Atiyah and R. S. Ward, Instantons and algebraic geometry. Commun. Math. Phys. 55 (1977), 117–124.
T. Aubin, Nonlinear analysis on manifolds, Monge-Ampère equations. Grundlehren der mathematischen Wissenschaften 252, Springer-Verlag, Berlin, 1982.
P. J. Braam, Magnetic monopoles on 3-manifolds. J. Diff. Geom. 30 (1989) 425–464.
P. J. Braam and D. M. Austin, Boundary values of hyperbolic monopoles. Nonlinearity 3 (1990), 809–823.
E. Corrigan and D. B. Fairlie, Scalar field theory and exact solutions to a classical $SU (2)$ -gauge theory. Phys. Lett. 67B (1977), 69–71.
S. K. Donaldson and P. B. Kronheimer, The Geometry of Four-Manifolds. Oxford University Press, Oxford, 1990.
P. Forgacs, Z. Horvath and L. Palla, An exact fractionally charged self-dual instanton. Phys. Rev. Lett. 46 (1981), 392–394.
P. Forgacs, Z. Horvath and L. Palla, One can have non-integral topological charge. Z. Phys. C12 (1982), 359–360.
R. Jackiw, C. Nohl and C. Rebbi, Conformal properties of pseudoparticle configurations, Phys. Rev. D 15 (1977), 1642–1646.
A. Jaffe and C. Taubes, Vortices and Monopoles. Birkhäuser, Boston, 1990.
H. B. Lawson and M.-L. Michelson, Spin Geometry. Princeton Mathematical Series 38, Princeton University Press, Princeton, 1989.
P. B. Kronheimer and T. S. Mrowka, Gauge theory for embedded surfaces, I. Topology 32 (1993), 773–826.
P. B. Kronheimer and T. S. Mrowka, Gauge theory for embedded surfaces, II. Topology 34 (1995), 37–97.

E-mail address : greg@math.uoregon.edu URL: http://www.uoregon.edu/~greg/ Mathematics Department, University of Oregon, Eugene, OR 97403-1222

Gregory D. Landweber