Research Article Dyons, Superstrings, and Wormholes ...connected by a wormhole. e dyons possess...
Transcript of Research Article Dyons, Superstrings, and Wormholes ...connected by a wormhole. e dyons possess...
-
Research ArticleDyons, Superstrings, and Wormholes: Exact Solutions ofthe Non-Abelian Dirac-Born-Infeld Action
Edward A. Olszewski
Department of Physics, University of North Carolina at Wilmington, Wilmington, NC 28403-5606, USA
Correspondence should be addressed to Edward A. Olszewski; [email protected]
Received 14 April 2015; Accepted 16 July 2015
Academic Editor: Anastasios Petkou
Copyright Β© 2015 Edward A. Olszewski. This is an open access article distributed under the Creative Commons AttributionLicense, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properlycited. The publication of this article was funded by SCOAP3.
We construct dyon solutions on coincidentπ·4-branes, obtained by applyingπ-duality transformations to type I ππ(32) superstringtheory in 10 dimensions. These solutions, which are exact, are obtained from an action comprising the non-Abelian Dirac-Born-Infeld action and a Wess-Zumino-like action. When one spatial dimension of the π·4-branes is taken to be vanishingly small, thedyons are analogous to the βt Hooft/Polyakov monopole residing in a 3 + 1-dimensional spacetime, where the component of theYang-Mills potential transforming as a Lorentz scalar is reinterpreted as a Higgs boson transforming in the adjoint representationof the gauge group. Applying a π-duality transformation to the vanishingly small spatial dimension, we obtain a collection of π·3-branes, not all of which are coincident. Two of the π·3-branes, distinct from the others, acquire intrinsic, finite curvature and areconnected by a wormhole. The dyons possess electric and magnetic charges whose values on each π·3-brane are the negative ofone another. The gravitational effects, which arise after the π-duality transformation, occur despite the fact that the action of thesystem does not explicitly include the gravitational interaction.These solutions provide a simple example of the subtle relationshipbetween the Yang-Mills and gravitational interactions, that is, gauge/gravity duality.
1. Introduction
Theoretically appealing but experimentally elusive, the mag-netic monopole has captured the interest of the physicscommunity for more than eight decades. The magneticmonopole (an isolated north or south magnetic pole) isconspicuously absent from the Maxwell theory of elec-tromagnetism. In 1931, Dirac showed that the magneticmonopole can be consistently incorporated into the Maxwelltheory with virtually no modification to the theory [1]. Inaddition, Dirac demonstrated that the existence of a singlemagnetic monopole necessitates not only that electric chargebe quantized but also that the electric andmagnetic couplingsbe inversely proportional to each other, the first suggestionof the so-called weak/strong duality. Subsequently, βt Hooft[2] and Alexander Polyakov showed that, within the contextof the spontaneously broken Yang-Mills gauge theory ππ(3),topological magnetic monopole solutions of finite mass mustnecessarily exist. Furthermore, these solutions possess aninternal structure and also exhibit the same weak/strong
duality discovered by Dirac. Consequently, Montonen andOlive conjectured that there exists an exact weak/strongelectromagnetic duality for the spontaneously broken ππ(3)gauge theory [3]. More recently, this conjecture has becomecredible within the broader context ofπ = 2 orπ = 4 Super-Yang-Mills theories. Despite the lack of experimental evi-dence for the existence ofmagneticmonopoles, physicists stillremain optimistic of their existence. Indeed, Guth proposedthe inflationarymodel of the universe, in part, to explain whymagnetic monopoles have escaped discovery [4].
The focus of our investigation is electrically chargedmagnetic monopole (dyon) solutions within the context ofsuperstring theory. In Section 2, we construct dyon solutionswhich are exact and closed to first order in the string theorylength scale. We, first, begin with a type I ππ(32) stringtheory in ten dimensions, six of the spatial dimensionsbeing compact but arbitrarily large. We, then, apply thegroup of π-duality transformations to five of the compactspatial dimensions to obtain 16π·4-branes, some of which arecoincident.The fiveπ-dualized dimensions of eachπ·4-brane
Hindawi Publishing CorporationAdvances in High Energy PhysicsVolume 2015, Article ID 960345, 14 pageshttp://dx.doi.org/10.1155/2015/960345
-
2 Advances in High Energy Physics
constitute the internal dimensions of a 4 + 1-dimensionalspacetime. Making an appropriate ansatz, we obtain dyonsolutions residing on the π·4-branes. The solutions are basedon an action which includes coupling of the π·4-branes toNS-NS closed strings, the non-Abelian Dirac-Born-Infeldaction, and coupling to π -π closed strings, a Wess-Zumino-like action. We next apply a π-duality transformation to theπ·4-branes, resulting in a collection of π·3-branes, some ofwhich are coincident and two of which are connected bya wormhole. Finally, we interpret the dyon solutions in thecontext of gauge/gravity duality.
Because of the differences in the literature among thesystems of units, sign conventions, and so forth, we presentin Appendix A the conventions chosen by us so that directcomparisons can be made between our results and those ofother authors.
2. Dyons and Dimensional Reduction ofType I ππ(32) Theory
In this section, we construct dyon solutions based on super-string theory. We begin with type I ππ(32) superstringtheory in ten dimensions [5], six of the spatial dimensionsof which are compact. Next, we apply the group of π-dualitytransformations to five of the compact dimensions letting thesize, π , of the dimensions become vanishingly small; that is,π β 0. These five dimensions are the internal dimensionsof spacetime. Strictly speaking, spacetime consists of 16π·4-branes, bounded by 25 orientifold hyperplanes. Eachof the π·4-branes comprises four spatial dimensions, threeunbounded and one compact. In what follows, we assumethat none of the π·-branes are close to the orientifold hyper-surfaces. Thus, the theory describing the closed strings in thevicinity of any of the π·4-branes is type II oriented, ratherthan type II unoriented. In this particular case, since we haveapplied the π-duality transformation to an odd number ofdimensions, the closed string theory is the type IIa orientedtheory. Furthermore, each end of an open string must beattached to a π·4-brane, which may be the same π·4-braneor two different π·4-branes. If we assume that the numberof coincident π·4-branes is π (2 β€ π β€ 16), then a π(π)gauge group is associatedwith the open strings attached to thecoincident π·4-branes. Given these prerequisite conditions,we now construct dyon solutions which reside on thesecoincident π·4-branes. These solutions are derived from theπ·-brane action comprising two parts, the Dirac-Born-Infeldaction, πDBI, which couples NS-NS closed strings to the π·4-brane and the Wess-Zumino-like action, πWZ, which couplesπ -π closed strings to theπ·4-brane.
2.1. Dyon Solutions on π·4-Branes. The dyon solutions areobtained from the equations of motion derived from theaction, π, which describes the coupling of closed string fieldsto a generalπ·π-brane (which in our case isπ = 4).The actionis [6]
π = πDBI + πWZ, (1)
where
πDBI = βππ β«Mπ+1
STr {πβΞ¦ [(β1)
β det (πΊπ΄π΅+ π΅
π΄π΅+ 2ππΌ
πΉπ΄π΅)]
1/2
} ,
(2)
πWZ = ππ β«Mπ+1
[
[
β
π
πΆ(π+1)]
]
β§ Tr π2ππΌπΉ+π΅. (3)
Here, ππis the physical tension of the π·π-brane, and π
π
is its R-R charge (see Appendix B for a discussion of therelationships among the various string parameters).
The dyon solutions are based on the following ansatz.Thedilaton background,Ξ¦, is constant:
Ξ¦ = Ξ¦0. (4)
And background field π΅ vanishes:
π΅π΄π΅= 0 (π΄, π΅ = 0 β β β 4) . (5)
The metric πΊ is given by
πΊπ΄π΅= πΊ
π΄π΅πΌπ, (6)
where, for our purposes, πΊπ΄π΅
is restricted so that πΊ00= β1
and πΊ44=1
.For π = 4, we can reexpress the determinant in (2) as
det (πΊπ΄π΅+ 2ππΌ
πΉπ΄π΅) = det (πΊ
π΄π΅)[
[
πΌπ+2ππΌ
2!πΉπ΄π΅πΉπ΄π΅
β
(2ππΌ)2
(5 β 4)!(3
2β 1
2)β(πΉ β§ πΉ)
πΈ
β(πΉ β§ πΉ)
πΈ]
]
,
(7)
where
β(πΉ β§ πΉ)
πΈ=
βdet (πΊ
π΄π΅)
4!πΉπ΄π΅πΉπΆπ·ππ΄π΅πΆπ·πΈ
.(8)
See Appendix C, (C.21), for further details.The term πΌ
πis the π-dimensional identity matrix. The
value of π is the dimension of the groupπ(π) associated withthe gauge fields residing on theπ·4-branes. Allπ -π potentialsvanish, except for the one-form potential πΆ
(1), which is a
constant background field,
πΆ(1)= πΆ
4ππ₯
4, (9)
for some constant value πΆ4. The gauge field, πΉ, is obtained
from the gauge potential π΄ (π΄ = π΄πΈππ₯
πΈ), where
π΄π= π΄
π(π₯
π) , (π = 0 β β β 3; π = 1 β β β 3) ,
π΄4= π΄
4(π₯
π) .
(10)
-
Advances in High Energy Physics 3
Note that the gauge potentials are static; that is, they do notdepend on time, π₯0, and also do not depend on the spatialcoordinate π₯4. The gauge field πΉ(πΉ = πΉ
π΄π΅ππ₯
π΄β§ ππ₯
π΅), a Lie
algebra-valued two-form, is given by
πΉ = ππ΄ β ππ΄ β§ π΄. (11)
(See Appendix A.) The components of the potentials π΄0and
π΄4are constrained in accordance with the condition
π΄0β§ π΄
4= 0 (12)
so that πΉ04= 0. To facilitate its interpretation, we express
πΉπ΄π΅
as a five-dimensional matrix which is explicitly par-titioned into electric and magnetic fields which reside infour-dimensional spacetime and an additional componentof the magnetic field which resides in the additional spacedimension; that is,
πΉπ΄π΅=((
(
0 πΈ1
πΈ2
πΈ3
0
βπΈ1
0 π΅3
βπ΅2
βD1π΄4
βπΈ2
βπ΅3
0 π΅1
βD2π΄4
βπΈ3
π΅2
βπ΅1
0 βD3π΄4
0 D1π΄4D
2π΄4D
3π΄4
0
))
)
. (13)
We are seeking dyon solutions. Therefore, with foresight, wemake the following assumptions:
πΈπβ‘ πΉ
π
0πππ= πΉ
(π)
0ππ(π),
π΅πβ‘1
2πππ
ππΉπ
ππππ=1
2πππ
ππΉ(π)
πππ(π),
Dππ΄4β‘ (π
ππ΄4β ππ΄
πβ§ π΄
4)π
ππ= πΉ
π
4πππ= πΉ
(π)
4ππ(π).
(14)
The parenthetical index (π) indicates that there is no sum-mation of that index; however, if an expression contains twoindices π without parentheses, then summation of these twoindices is implied. Furthermore, each matrix element in (13)includes a generator of π(π); for example, πΈ
π= πΈ
(π)
ππ(π).
Because we are seeking dyon solutions, we may assumewithout loss of generality that each π
(π)is a generator in the
fundamental representation of a localπ(1)Γππ(2) subgroupof ππ(π) (see (44a), (44b), (44c), and (44d)).
The action, (2), can bemore straightforwardly interpretedfrom the perspective of four-dimensional spacetime. Sincethe action does not depend on the coordinate π₯4, we cantrivially eliminate π₯4 from the action by integrating the π₯4coordinate. As a result of the integration, the tension of theπ·4-brane, π
4, and the Yang-Mills coupling constant, π
π·4, are
replaced by those of the π·3-brane, π3and π
π·3(see (B.3) and
(B.5)). Let the size, π 4, of the π₯4-dimension become vanish-
ingly small; that is, π 4β 0. Then, the field π΄
4becomes a
Lorentz scalar transforming as the adjoint representation ofthe gauge group, and (14) gives the covariant derivative ofπ΄4. From the perspective of four spacetime dimensions, π΄
4
assumes the role of a Higgs boson transforming as the adjointrepresentation of the gauge group.
Substituting (4)β(6) and (13) into (1) and then integratingthe π₯4 coordinate, we obtain
πDBI = β«π3+1πLDBI, (15)
where
LDBI
= β1
(2ππΌ)2
π2
π·3
STr [{det (πΊπ΄π΅ + 2ππΌπΉπ΄π΅)
1/2
}]
= β
βdet (πΊ
ππ)
(2ππΌ)2
π2
π·3
STr {L} .
(16)
The functionL is defined as
L= {πΌ
πβ (2ππΌ
)2
(πΈ β πΈ β π΅ β π΅ βDπ΄4β Dπ΄
4)
+ (2ππΌ)4
(π΅ β Dπ΄4)2
β (2ππΌ)4
(πΈ β π΅)2
β (2ππΌ)4
(πΈ ΓDπ΄4) β (πΈ ΓDπ΄
4)}
1/2
.
(17)
We have used the fact thatβ|det(πΊππ)| = β|det(πΊ
π΄π΅)|. In (16),
the ordering of the generators of the algebra, ππ, corresponds
with the order of the fields as they appear in the equation; forexample,
{π΅ β Dπ΄4}2
= {π΅ β Dπ΄4} {π΅ β Dπ΄
4}
= {πΊπππ΅(π)
ππ(π)(D
ππ΄4)(π)
π(π)}
β {πΊπππ΅(π)
ππ(π)(D
ππ΄4)(π)
π(π)} .
(18)
Note that βSTrβ indicates that the trace is calculated symmet-rically; that is, the trace is symmetrized with respect to allgauge indices [6, 7]. The implication is that the evaluation ofthe trace requires that after the expansion of (16) in powersof the field strengths, all orderings of the field strengthsare included with equal weight; that is, products of π
π
are replaced by their symmetrized sum, before the trace isevaluated. This is discussed in detail in [6, 7].
In (16), the dot product and cross product of two 3-vectors, for example, πΈ and Dπ΄
4, are defined as πΈ β Dπ΄
4=
πΊπππΈπD
ππ΄4and (πΈ ΓDπ΄
4)π= π
ππ
ππΈπD
ππ΄4.
In obtaining (16), we have reexpressed the dilatonΞ¦, on aπ·4-brane, in terms of the dilaton Ξ¦, on a π·3-brane, bothof which are related by a π-duality transformation in theπ₯4-dimension. Specifically, Ξ¦ and Ξ¦ are related by πΞ¦
=
πΌ1/2πΞ¦/π
4. The constant dilaton background π
0has been
incorporated into the physical tension ππ(see Appendix B).
Substituting (5), (9), (6), and (13) into (3), we obtain
πWZ =π4
2!β«M5
πΆ(1)β§ Tr {2ππΌπΉ β§ 2ππΌπΉ} . (19)
-
4 Advances in High Energy Physics
Integrating the π₯4 coordinate in (19), we obtain
πWZ = β«π3+1πLWZ, (20)
where
LWZ =π
4π2Tr {πΉ β§ πΉ} = βdet (πΊππ)
π
4π2Tr {πΈ β π΅}
= βdet (πΊ
ππ)
π
4π2πΈπ(π)π΅(π)
πSTr {π
(π)π(π)}
= βdet (πΊ
ππ)
π
8π2πΈπ(π)π΅(π)
π,
(21)
where πΈπ(π) = πΉ0π(π)π(π). Here,
π β‘πΆ4
2!
2ππ 4
πΌ1/2. (22)
In obtaining (21), we have explicitly evaluated π4using (B.4).
Equation (21) is associated with the Witten effect. Wittenhas demonstrated that adding term (21) to the Lagrangianof Yang-Mills theory does not alter the classical equationsof motion but does alter the electric charge quantizationcondition in the magnetic monopole sector of the theory[5, 8, 9]. In summary, the action, π, for theπ·4-brane is givenby
π = β«π3+1πL, (23)
where
L =LDBI +LWZ. (24)
The equations of motion which are obtained from (23) are
Dπππ]= 0, (25)
where
ππ
π] =πL
ππΉπ]π. (26)
In addition, the fields πΉππ] satisfy the Bianchi identity
D[πΌπΉπ
π½πΎ]= 0. (27)
To facilitate the ensuing analysis, we transform theLagrangian density,L, to the Hamiltonian density,H, usingthe Legendre transformation
H = STr {π0β πΈ βL} , (28)
where
π(π)
0πβ‘πL
ππΈπ(π)
= β
βdet (πΊ
ππ)
(2ππΌ)2
π2
π·3
STr{π(π)
π
L}
+ βdet (πΊ
ππ)
π
4π2π΅(π)
πSTr {π
(π)π(π)} ,
(29)
where
π(π)
π= πΈ
ππ(π)+ (πΈ β π΅) π
(π)π΅π
+ (Dπ΄4Γ [πΈ ΓDπ΄
4])ππ(π).
(30)
After performing detailed calculations, we obtain
H =βdet (πΊ
ππ)
(2ππΌ)2
π2
π·3
STr {H} , (31)
where
H= {πΌ
π+ (2ππΌ
)2
(π0β π
0+ π΅ β π΅ +Dπ΄
4β Dπ΄
4)
+ (2ππΌ)4
([π΅ β Dπ΄4]2
+ [π0β Dπ΄
4]2
+[π
0Γ π΅]
2
+ [Dπ΄4Γ (π
0Γ π΅)]
2
(2ππΌ)β2
πΌπ+Dπ΄
4β Dπ΄
4
)}
1/2
.
(32)
The electric fieldπΈ(π)πcan be expressed as a function ofπ(π)
0π:
πΈ(π)
π=πH
ππ(π)
0π
=
βdet (πΊ
ππ)
(2ππΌ)2
π2
π·3
STr{π(π)
π
H} . (33)
The term π(π)π
is given by
π(π)
π= (2ππΌ
)2
π0ππ(π)+ (2ππΌ
)4
β [Dππ΄4π(π)(π
0β Dπ΄
4)
+ (π΅ Γ (π0Γ π΅))
ππ(π)
β(π΅ ΓDπ΄
4)ππ(π)(π
0β (π΅ ΓDπ΄
4))
(2ππΌ)β2
πΌπ+Dπ΄
4β Dπ΄
4
] .
(34)
We seek dyon solutions which are BPS states, that is,whose energy E (E = β«π3πH) is a local minimum. First,we reexpressH
-
Advances in High Energy Physics 5
H =βdet (πΊ
ππ)
(2ππΌ)2
π2
π·3
STr[
[
{[πΌπ+ (2ππΌ
)2
(cosππ0β Dπ΄
4+ sinππ΅ β Dπ΄
4)]
2
+ (2ππΌ)2
[(sinππ0β Dπ΄
4β cosππ΅ β Dπ΄
4)2
+ (π0β cosπDπ΄
4)2
+ (π΅ β sinπDπ΄4)2
]
+ (2ππΌ)4 [π0 Γ π΅]
2
+ [Dπ΄4Γ (π
0Γ π΅)]
2
(2ππΌ)β2
πΌπ+Dπ΄
4β Dπ΄
4
}
1/2
]
]
.
(35)
The mixing angle, π, between the electric and magneticfields of the dyon is defined as
tanπ =ππ
ππ
. (36)
The quantities ππ
and ππare the electric and magnetic
charges, respectively, of the dyon.The energy,E, isminimizedby constraining the dyon solutions to satisfy
π0= cosπDπ΄
4, (37a)
π΅ = sinπDπ΄4. (37b)
In (35), the second and third squared terms are zero as aconsequence of the constraint. Since π
0β π΅, the fourth
squared term is also zero by virtue of
(π0Γ π΅)
π
=
π(π)
0ππ΅(π)
0πβ π
(π)
0ππ΅(π)
0π
2!(π
(π)π(π)ππ
ππβ ππ
(π)
πππ(π)) .
(38)
Thus,H simplifies so that the energy is
E =1
(2ππΌ)2
π2
π·3
β«π3πβdet (πΊ
ππ)Tr [πΌ
π
+ (2ππΌ)2
(cosππ0β Dπ΄
4+ sinππ΅ β Dπ΄
4)] .
(39)
Substituting (37a) and (37b) into (32) through (34) and using(39), we find
πΈ = π0. (40)
In (39), there are two terms which contribute to the massof the system. The first term within the trace, that is, πΌ
π,
corresponds to the volume of each coincident π·4-brane (orπ·3-brane), which is infinite because the π·-branes are notcompact. The second term, by virtue of the equations ofmotion, (26), and the Bianchi identity, (27), can be expressedas a divergence and is therefore a topological invariant. Thesecond term corresponds to the mass of the dyon and isproportional toβπ2
π+ π2
πas discussed below.
The solutions to (25) and (27) can be straightforwardlyobtained from the dyon solutions derived in [10]. Adapting
the notation of [10] to the notation used here, we expressthe vector potential π΄, (10), in the form (in accordance withour conventions, the Yang-Mills coupling constant appearsexplicitly in the Lagrangian (A.1). In [8, 10], the couplingconstant has been incorporated into the Yang-Mills fields.Thus, to compare results here with those in the references,the fields π΄ and related fields should be divided by π
π·3)
π΄ = π΄πππ₯
π+ π΄
4ππ₯
4
= cosππ (π) ππ·3VπΌ
1ππππ‘
+π (π) [ππsin (π) πππ β π
πππ]
+ ππ·3V [πΌ
2πβ₯+ π (π) πΌ
1ππ] ππ₯
4,
(41)
where V is an arbitrary constant. For the Lie group ππ(π)
πΌ1= β
π
2 (π β 1), (42a)
πΌ2= ββ
π β 2
2 (π β 1). (42b)
Here, ππ(π = π, π, π) constitute a representation of
the ππ(2) subalgebra and πβ₯commutes with each π
π. The
quantities π, π, π are the spherical polar coordinates in threedimensions. The elements π
π, π
π, π
πare related to π
π₯, π
π¦, π
π§:
ππ= π
π₯sin π cos π
ππ + π
π¦sin π sin π
ππ + π
π§cos π, (43a)
ππ= π
π₯cos π cos π
ππ + π
π¦cos π sin π
ππ β π
π§sin π, (43b)
ππ= βπ
π₯sin π
ππ + π
π¦cos π
ππ. (43c)
For ππ(π), the π-dimensional matrices ππ₯, π
π¦, π
π§, and π
β₯are
given by
ππ₯=1
2
(((
(
0 β β β 0 0 0
.
.
. d.........
0 β β β 0 0 0
0 β β β 0 0 1
0 β β β 0 1 0
)))
)
, (44a)
-
6 Advances in High Energy Physics
ππ¦=1
2
(((
(
0 β β β 0 0 0
.
.
. d.........
0 β β β 0 0 0
0 β β β 0 0 βπ
0 β β β 0 π 0
)))
)
, (44b)
ππ§=1
2
(((
(
0 β β β 0 0 0
.
.
. d......
.
.
.
0 β β β 0 0 0
0 β β β 0 1 0
0 β β β 0 0 β1
)))
)
, (44c)
πβ₯=
1
2βπ (π β 2)
((((
(
β2 0 β β β 0 0
0 d...
.
.
....
.
.
. β β β β2 0 0
0 β β β 0 π β 2 0
0 β β β 0 0 π β 2
))))
)
. (44d)
ππ₯, π
π¦, π
π§, and π
β₯are suitable linear combinations of specific
elements of the Cartan subalgebra of ππ(π) (see [10] fordetails). The value of the integer π
πin (43a), (43b), and
(43c) is the integer multiple of the fundamental unit of dyonβsmagnetic charge.
These results differ from those of [10]. For a directcomparison, first replace the azimuthal angle, π, in [10] withπ and extend the domain from [0, 2π] to [0, 2ππ
π]; that is,
πβ [0, 2ππ
π]. Now, perform the change of variables π =
πππ to the dyon solutions of [10] to obtain those given in (41).
In addition, apply the same change of variables to the metricin [10] to obtain the metric πΊ
ππ:
πΊππ= (
1 0 0
0 π2
0
0 0 π2π2
πsin2π
) . (45)
Here, π β [0,β], π β [0, π], and π β [0, 2π]. This generalizesthe results of [10] which only applies to dyons with one unitof magnetic charge; that is, π
π= 1/π
π·3.
The solutionsπ(π),π(π), and π(π) are obtained as in [10]
π(π) = π€ (π₯) = 1 βπ₯
sinhπ₯, (46a)
π (π) = π (π₯) = cothπ₯ β 1π₯, (46b)
π (π) = π (π₯) = π (π₯) = cothπ₯ β 1π₯, (46c)
where the dimensionless variable π₯ is related to the radialcoordinate π:
π₯ = sinπππ·3VπΌ
1π. (47)
The field tensor πΉπ΄π΅
of a dyon with electric charge ππand
magnetic charge ππ,
ππ=ππ
ππ·3
, (48)
can now be obtained from (41). Specifically,
πΉπ‘π=ππ
ππ(π) π
π·3VπΌ
1ππ,
πΉπ‘π= [1 βπ (π)]
ππ
ππ (π) π
π·3VπΌ
1ππ,
πΉπ‘π= [1 βπ (π)]
ππ
ππ (π) π
π·3VπΌ
1ππsin ππ
π,
πΉππ= βπ
(π) π
π,
πΉππ= βπ
(π) π
πsin ππ
π,
πΉππ= βπ(π) (2 β π (π)) π
πsin ππ
π,
(49)
π·ππ΄4= π
(π) π
π·3VπΌ
1ππ,
π·ππ΄4= [1 βπ (π)] π (π) ππ·3VπΌ1ππ,
π·ππ΄4= [1 βπ (π)] π (π) ππ·3VπΌ1ππ sin πππ.
(50)
We now show that gauge invariance of action, (23),implies ππΏ(2, π) invariance. Consider π(1) gauge transfor-mations which are constant at infinity and are also rotationsabout the axis π΄
4= π΄
4/|π΄
4|, specifically the gauge transfor-
mations [8]
πΏπ΄π
π=
1
ππ·3VπΌ
1
(Dππ΄4)π
. (51)
Action (23) is invariant under these gauge transformations.According to the Noether method, the generator of thesegauge transformations,N, is given by
N =πL
ππ0π΄ππ
πΏπ΄π
π. (52)
Substituting the Lagrangian density (24) into (52), we obtain
N =Gπ
ππ·3
+π2
π·3πG
π
8π2, (53)
where
Gπ=
1
VπΌ1
β«π3πSTr {Dπ΄
4β π΅} , (54a)
Gπ=
1
π2
π·3VπΌ
1
β«π3πTr {Dπ΄
4β π
0} (54b)
are the magnetic and electric charge operators. Since rota-tions of 2π about the axis π΄
4must yield the identity for
physical states, that is,
π2ππN
= 1, (55)
-
Advances in High Energy Physics 7
applying the π(1) transformation on the left side of (55) tostates in the adjoint representation of ππ(π), we find that theeigenstates ofN are quantized with eigenvalue
N = πΌ1π, (56)
where π is an arbitrary integer. Substituting (56) into (53), weobtain
ππ= πΌ
1[ππ
π·3βπ
2πππππ·3] , (57)
where we have defined π by
π β‘ πΌ1π, (58)
and used the fact that
ππππ·3= π
π4π. (59)
Taking π = 0 in (57), we obtain the quantization conditionfor the electric charge
ππ= ππΌ
1ππ·3. (60)
The electromagnetic contribution to the mass (rest energy)of the dyon, πem, can be obtained by substituting (54a) and(54b) into (39) and integrating the second term within thetrace to obtain
πem = VπΌ1βπ2π + π2π. (61)
We can now make ππΏ(2, π) symmetry explicit. We firstdefine
π =π
2π+4π
π2
π·3
π. (62)
If π = 0, then the weak/strong duality condition ππ·3
β
ππ= (4π)/π
π·3is equivalent to
π β β1
π. (63)
In (57), the transformation π β π + 2π results inidentical physical systems with only states being relabeled.The transformation is equivalent to
π β π + 1. (64)
Transformations (63) and (64) generate the group ππΏ(2, π).See [8, 9] for further details.
Note that in (54a) and (54b) Gπis, strictly speaking, not
the electric charge operator because π0is not the electric
field but rather is its conjugate; however, according to (33)and (34), if Dπ΄
4and π΅ become vanishingly small for
asymptotically large values of the radial coordinate, thenπ0approaches πΈ. Thus, in the asymptotic limit G
πis the
electric charge operator.This distinguishing feature is a directconsequence of the fact that our analysis is based on the Born-Infeld action rather than the Yang-Mills-Higgs action. In ourcase, this point is inconsequential since π
0= πΈ, exactly.
2.2. Dyon Solutions onπ·3-Branes. As emphasized previously,the dyon solutions derived in Section 2.1, when interpretedfrom 3 + 1 spacetime dimensions, that is, the compactifiedtheory in which π
4β 0, are the βt Hooft/Polyakov magnetic
monopole or dyon, with the potentialπ΄4being aHiggs boson
transforming in the adjoint representation of the gauge groupπ(π). Here, our purpose is to reinterpret these dyon solutionsin which π
4β 0 from the equivalent π-dual theory. In the
π-dual theory, the radius π 4is replaced by π
4(π
4= πΌ
/π
4)
so that the radius of the π₯4-dimensionπ 4β β. In addition,
the potential π΄4is reinterpreted as the π₯4-coordinates of
the π π·3-branes embedded in 4 + 1 dimensional spacetime.These coordinates can be directly obtained by diagonalizingπ΄4, (41), using a local gauge transformation which rotates π
π
into ππ§. The π π₯4-coordinates are the diagonal elements of
the matrix; that is (we are assuming that after the π-dualitytransformation the π·3-branes are far from any orientifoldhyperplanes. This can always be accomplished by adding theto π΄
4component of the gauge potential a constant π(1)
gauge transformation π0π0, π
0being a suitable constant (see
Appendix A)),
π΄4β 2ππΌ
ππ·3V [πΌ
2πβ₯+ π (π) πΌ
1ππ§]
= 2ππΌππ·3V((((
(
π’10 β β β 0 0
0 d...
.
.
....
.
.
. β β β π’1
0 0
0 β β β 0 π’2+ οΏ½ΜοΏ½ (π) 0
0 β β β 0 0 π’2β οΏ½ΜοΏ½ (π)
))))
)
,
(65)
where
π’1= β
πΌ2
βπ (π β 2)
, (66a)
π’2=πΌ2
2
βπ β 2
π, (66b)
οΏ½ΜοΏ½ (π) =πΌ1
2π (π) . (66c)
Of the π π·3-branes π β 2 of the π·3-branes, denoted byπ·3
πβ2, are coincident. The π₯4-coordinate of each is the
constant value 2ππΌππ·3Vπ’
1. For the remaining two π·3-
branes, denoted by π·31and π·3
2, the π₯4-coordinate of each
is a function of the radial coordinate π. Specifically, π₯4 =2ππΌ
ππ·3V(π’
2β οΏ½ΜοΏ½(π)) for π·3
1and π₯4 = 2ππΌπ
π·3V(π’
2+ οΏ½ΜοΏ½(π))
for π·32, and as a consequence these two π·3-branes have
nonvanishing intrinsic curvature.This occurs despite the factthat before the application of the π-duality transformationno gravitational interaction is explicitly present. We nowintroduce the length scale πΏ
π·3which is the separation
between π·31and π·3
2, in the asymptotic limit as the radial
coordinate π β β. It is related to previously definedparameters by
πΏπ·3= 2ππΌ
ππ·3VπΌ
1. (67)
-
8 Advances in High Energy Physics
Another relevant length scale is the size of the dyon, that is,the region of space where all components of the Yang-Millsfield, πΉ
π΄π΅, are nonvanishing. According to (49), (46a), (46b),
(46c), and (47), only the radial components of the electric andmagnetic fields are long range, with the remaining compo-nents of the fields vanishing exponentially for π₯ β« 1. Thus,additional structure of the dyon becomes apparent wheneverπ₯ β² 1 or equivalently whenever π β² 1/(sinππ
π·3VπΌ
1). We
can therefore define the size of dyon πΏπ, as measured from
asymptotically flat space, that is, π β β, to be
πΏπ=
1
sinπππ·3VπΌ
1
=2ππΌ
sinππΏπ·3
. (68)
In Figure 1, we show, for the gauge group ππ(5), embeddingplots of the 5 π·3-branes as a function of the dimensionlessradial coordinate, π₯ (π₯ = π/πΏ
π). As π₯ β β, the π₯4-
coordinate of π·32approaches that of the (5β2) coincident
π·3-branes, π·35β2, in effect, joining them by a wormhole in
an asymptotically flat region of space. At π₯ = 0,π·32is joined
toπ·31by another wormhole. (See [11] for a recent discussion
of thin shell wormholes exhibiting cylinder symmetry.) Aswe will show, in general, the intrinsic curvature of the twosurfaces in the neighborhood of π₯ = 0 is relatively largebut, nonetheless, finite. Although these features described inFigure 1 apply to the particular gauge group ππ(5), they applyto all ππ(π), π β₯ 2. (For π = 2 there are no coincident π·3-branes.)
We now consider in detail the twoπ·3-branes,π·1andπ·
2,
whose π₯4-coordinates are radial dependent. The π-dualitytransformation on the π₯4-dimension pulls back the metricontoπ·
1andπ·
2, inducing the metric, πΊ
ππ,
πΊ
ππ= πΊ
πππΌπ+ (D
ππ΄4)(π)
π(π)D
ππ΄(π)
4π(π)πΏ(π)(π)
πΊ44πΌπ. (69)
Expanding the right-hand side of (69), we obtain
πΊ
ππ=
(((((
(
πΊππ
0 β β β 0 0
0 d...
.
.
....
.
.
. β β β πΊππ
0 0
0 β β β 0 πΊππ+ π΄
ππ0
0 β β β 0 0 πΊππ+ π΄
ππ
)))))
)
, (70)
where
π΄ππ= (
ππ·3πΏπΌ
1
2)
2
Γ(
[π(π)]
2
0 0
0 οΏ½ΜοΏ½2(π) 0
0 0 οΏ½ΜοΏ½2(π) π
2
πsin2π
) .
(71)
Here,
οΏ½ΜοΏ½ (π) = [1 βπ (π)] π (π) , (72)
and πΊππis given by (45). In obtaining (70), we have used (50)
and the fact that the matrices ππ, π
π, and π
π, (43a), (43b), and
(43c), satisfy the relationship
π2
π= π
2
π= π
2
π= (
1
2)
2(((
(
0 β β β 0 0 0
.
.
. d.........
0 β β β 0 0 0
0 β β β 0 1 0
0 β β β 0 0 1
)))
)
. (73)
Each of the diagonal entries in the matrix πΊππcorresponds
to the metric on one of the π π·3-branes obtained fromthe π-duality transformation. In the case of the first π β 2entries, corresponding to the π·3-branes π·3
πβ2, the metric
is flat. In the case of the last two entries corresponding tothe π·3-branes, π·3
1and π·3
2, their geometries are identical
and intrinsically curved.The only feature which distinguishesthese twoπ·3-branes is that the functionπ(π) defining theπ₯4-coordinate for π·3-brane π·
2is replaced by βπ(π) for π·3
1, as
evidenced in (65) and (66a) and (66b) and (66c) and also inFigure 1. As a consequence, the electric andmagnetic chargesof the dyon onπ·
2areminus the values onπ·
1.The electric and
magnetic field lines enter the wormhole from one π·3-braneand exit from the other. Figure 2 is an embedding diagramshowing the π·3-branes π·
1and π·
2in the neighborhood of
the radial coordinate π = 0. As there is no event horizonsurrounding π = 0, the two π·3-branes are joined by awormhole at π = 0.
Of particular interest is the intrinsic scalar curvature ofπ·3
1and π·3
2, in the neighborhood of π = 0. The scalar
curvature can be calculated from the metric πΊππ, (70), and its
value π (0) at π = 0 is
π (0) = 216 sinππΏ6
π·3sin3π
[πΏ4
π·3sin2π + (12ππΌ)2]
2. (74)
For a given value of sinπ, π (0) assumes its maximum valueοΏ½ΜοΏ½(0):
οΏ½ΜοΏ½ (0) =27β3
8
sinπππΌ
, (75)
when πΏπ·3= οΏ½ΜοΏ½
π·3, where
οΏ½ΜοΏ½π·3= (
12β3ππΌ
sinπ)
1/2
. (76)
For either πΏπ·3
β 0 or πΏπ·3
β β, the scalar curvatureπ (0) β 0; that is, the geometry of π·
1and π·
2becomes
flat, everywhere. The expression for the scalar curvatureπ (π) is a complicated function of π and not amenable tostraightforward interpretation and, therefore, will not begiven. In Figure 3, we show a plot of the scalar curvature as afunction of the radial coordinate. In this example,πΏ
π·3= βπΌ,
and the dyon has only one unit of magnetic charge so thatsinπ = 1. Near π = 0, the scalar curvature is positive and
-
Advances in High Energy Physics 9
D5β2
D2
D1
x = r/Ld
0.1
0
β0.1
β0.2
β0.3
β0.4
β0.5
β0.6
20 40 60 80 100
x4/LD3
Figure 1: Embedding Functions of the 5 π·3-branes for the gaugegroup ππ(5). The scaled coordinate π₯4/πΏ
π·3is plotted as a function
of the scaled radial coordinate, π/πΏπ, for the 5 π·3-branes.The radial
coordinate, π, is scaled by the size of the dyon, πΏπ, and the π₯4
coordinate is scaled by the separation between the two π·3-branesπ·3
1andπ·3
1in the asymptotic limit of large π.
Figure 2: Wormhole. Shown is the embedding diagram for thetwoπ·3-branes,π·3
1andπ·3
2, with azimuthal angle suppressed.The
domain of the radial coordinate, π, is 0 β€ π β€ 15πΏπ, and the range of
the embedding coordinate π₯4 is β.45πΏπ·3β€ π₯
4β€ +.45πΏ
π·3.
finite. As π increases, the scalar curvature becomes slightlynegative and asymptotically approaches zero as π β β.These features of the scalar curvature described for thisspecific example also apply in general.
Consider dyon solutions for which πΏπ·3β βπΌ or less.The
πΉ-strings connecting π·31and π·3
2would be in their ground
state, a BPS state. In addition, assume that ππ·3βͺ 1; then as
π β 0 from an asymptotically flat region of space, within
0.00010
0.00008
0.00006
0.00004
0.00002
RΓπΌ
10 20 30 40 50
r/Ld
0
Figure 3: Scalar curvature π (π). For the case πΏπ·3= βπΌ and sinπ =
1, the dimensionless scalar curvature, π Γ πΌ, is plotted as a functionof the scaled radial coordinate, π/πΏ
π.
either π·31or π·3
2, the string length scale will be reached
before the gravitational interaction becomes dominant at thelength scale of O(π1/4
π·3βπΌ) [5]. Thus, action, (2), which does
not include the gravitational interaction, should apply, andconsequently the dyon solutions derived should be accurate.On the other hand, let π
π·3β 1/π
π·3so πΏ
π·3β« 1; then the
π·-string, also a BPS state, becomes lighter than the πΉ-string.As a consequence of weak/strong duality, the dyon solutionsshould still be applicable with the πΉ-strings being replaced byπ·-strings and the dyon electric and magnetic charges beinginterchanged.
After applying a π-duality transformation to the dyonsolutions obtained in Section 2.1, we have obtained dyonsolutions residing onπ·3-branes where the effect of the grav-itational interaction is apparent. This occurs despite the factthat action, (2), does not explicitly include the gravitationalinteraction. The presence of gravitational effects in this caseis an example of how, in string theory, one-loop open stringinteractions, that is, Yang-Mills interactions, are related totree level, closed string interactions, that is, gravitationalinteractions. In Figure 4, we depict, for illustrative purposes,two parallel π·π-branes in close proximity. The two π·π-branes can interact through open strings which connect thetwo π·π-branes. In the figure, we show the one-loop vacuumgraph for such an interaction which can be interpreted as anopen string moving in a loop. Alternatively, the interactioncan be interpreted as a closed string being exchanged betweentwo π·π-branes. In a certain sense, spin-2 gravitons, that is,the closed strings in their massless state, comprise a boundstate of spin-one Yang-Mills bosons, that is, open strings intheir massless state.
Prior to the application of the π-duality transformation,the open strings can propagate anywhere in the π·4-brane.
-
10 Advances in High Energy Physics
π
π
Figure 4: One-Loop String Diagram. Shown is the diagram foran open string, whose end points are fixed on two different π·π-branes, propagating in a loop, π being the time variable on the worldsheet. Alternatively, interchanging π with π, the same diagram canbe interpreted as a closed string being exchanged between the twoπ·π-branes.
After the π-duality transformation, the open strings areconstrained to propagate only withinπ·3-branes, whereas theclosed strings can still propagate in the bulk region betweenthe π·3-branes; that is, gravitons can propagate in spacetimedimensions not allowed for the Yang-Mills bosons. Basedon certain general assumptions, Weinberg and Witten haveshown the impossibility of constructing a spin-2 gravitonas a bound state of spin-1 gauge fields [12]. One of theassumptions on which the proof is based is that the spin-1 gauge bosons and spin-2 gravitons propagate in the samespacetime dimensions. In the example presented here, thisassumption is violated so that the conclusion of their theoremis avoided. These dyon solutions, thus, provide a simpleexample of gauge/gravity duality, which is discussed in detailin the work of Polchinski [13].
3. Conclusions
We have investigated dyon solutions within the context ofsuperstring theory. Beginning with type I ππ(32) superstringtheory in ten dimensions, six of the spatial dimensions ofwhich are compact, we have applied the group of π-dualitytransformations to five of the compact dimensions.The resultis 16 π·4-branes, a number π (2 β€ π β€ 16) of whichare coincident. The five π-dualized dimensions, whose sizeis taken to be vanishingly small, become the five internalspacetime dimensions while the remaining five dimensionscorrespond to the external 4 + 1-dimensional spacetime.Making a suitable ansatz for the gauge fields residing on the πcoincidentπ·4-branes, we have obtained dyon solutions froman action consisting of two terms: the 4 + 1-dimensional,non-Abelian Dirac-Born-Infeld action and a Wess-Zumino-like action. The former action gives the low energy effectivecoupling ofπ·4-branes to NS-NS closed strings and the latter
of π·4-branes to π -π closed strings. The method of solutioninvolves transforming the 4 + 1-dimensional action fromthe Lagrangian formalism to the Hamiltonian formalismand then seeking solutions which minimize the energy. Theresulting dyon solutions, which are BPS states, reside on theπ π·4-branes and are therefore associated with a supersym-metric π(π) gauge theory in 4 + 1 spacetime dimensions.These dyon solutions can be alternatively understood in thelimit when the size of the remaining compact spacetimedimension, π₯4, approaches zero. In this situation, the 4 + 1-dimensional spacetime is reduced to a 3 + 1-dimensionalspacetime. As a consequence, the π΄
4component of the
vector potential becomes a Lorentz scalar with respect to3 + 1-dimensional spacetime and can be interpreted as aHiggs boson transforming as the adjoint representation of theπ(π) gauge group, analogous to the Higgs boson associatedwith the βt Hooft/Polyakov magnetic monopole. Finally, weperform a π-duality transformation in the π₯4-direction. Asa result, π β 2 of the π·4-branes are transformed into π β 2coincident π·3-branes, whose intrinsic geometry is flat. Theremaining two π·4-branes are transformed into two separateπ·3-braneswhose intrinsic geometry is curved. As depicted inFigure 3, the twoπ·3-branes are joined by wormhole at π = 0.The scalar curvature of each π·3-brane reaches a maximum,finite value, at π = 0 and approaches zero as π β β.The dyon resides on these two π·3-branes. Furthermore, thevalues of electric and magnetic charges of the dyon on oneπ·3-brane are minus the values on the otherπ·3-brane, and asa consequence the electric and magnetic field lines enter thewormhole from one π·3-brane and exit from the other π·3-brane.
The π-duality transformation in the π₯4-direction causestwo of the π·3-branes to acquire intrinsic curvature. Thisoccurs despite the fact that the Lagrangian density fromwhich the dyon solutions have been obtained does notexplicitly include the gravitational interaction. This can beunderstood heuristically from the open string, one-loopvacuum graph given in Figure 4. From one perspective, thegraph describes an open string, whose ends are fixed ontwo different π·3-branes, moving in a loop, or, alternatively,the exchange of a closed string between two π·3-branes.Thus, the gravitational interaction, that is, the closed stringinteraction, and the Yang-Mills interaction, that is, the openstring interaction, appear as alternative descriptions of thesame interaction. This simple example is suggestive of thesubtle, but profound, connection between the Yang-Mills andgravitational interactions, specifically gauge/gravity duality.
Appendices
A. Units and Conventions
Concerning conventions, the Minkowski signature is (β ++ + . . .), and the Levi-CivitaΜ symbols π
0123= π
123=
1. Other relevant conventions are as follows: Greek lettersdenote four-dimensional spacetime indices, that is, 0, 1, 2,and 3, whereas capitalized Roman letters are used whenthe spacetime dimension is greater than four. The smallRoman letters, π, π, π, π, and π, are reserved for spatial
-
Advances in High Energy Physics 11
dimensions in four-dimensional spacetime, that is, 1, 2, and3. The small Roman letters, π, π, π, π, are used to enumeratethe generators of the Lie group. The Levi-CivitaΜ tensor inthree space dimensions is π
πππ= β|det(πΊ
ππ)|π
πππ, where πΊ
ππ
are the spatial components of the metric tensor. We focusour attention on Yang-Mills theories based on the compactLie groups, π(π). A typical group element π’ (π’ β π(π))is represented in terms of the group parameters π
π(π =
0 β β β π2β 1) as π’ = πππππ
π
. The generators of this groupin the fundamental representation are denoted by ππ (π =0 β β β π
2β 1). The generator π0 generates the π(1) portion
of π(π), and the remaining ππ generate the ππ(π) portion.The Lie algebra of the group generators, ππ, is [ππ, ππ] =ππ
πππππ, with ππππ being the structure constants of π(π). The
generators of π(π) are required to satisfy the trace conditionTr(ππππ) = πΏππ/2. Thus, in particular, π0 = (1/β2π)πΌ
π,
πΌπbeing the π-dimensional identity matrix. The Yang-Mills
coupling constant is denoted by π2π·3. We employ Lorentz-
Heaviside units of electromagnetism so that π = β = π0=
π0= 1; consequently, the Dirac quantization condition is
ππ·3ππ= 2π. The quantity π
πis the magnetic charge of a unit
charged Dirac monopole.Consistent with our analysis, the Yang-Mills-Higgs
Lagrangian is
L = β1
2π2
π·3
Tr (πΉπ]πΉ
π]) + Tr (D
ππD
ππ)
β π (2Tr [ππ])
= β1
4π2
π·3
πΉπ
π]πΉππ]
+1
2D
ππ
πD
ππ
π
β π (πππ
π) ,
(A.1)
whereπ is a potential function depending on the Higgs field,π, and
πΉπ] = πΉ
π
π]ππ,
π = ππππ,
π΄π= π΄
π
πππ.
(A.2)
The covariant derivative,Dπ, is defined as
Dπβ‘ π
πβ ππ΄
π,
πΉπ] = βπ [Dπ,D]] .
(A.3)
Thus,
πΉπ
π] = πππ΄π
] β π]π΄π
π+ π
ππππ΄π
ππ΄π
]. (A.4)
The Higgs field π is a scalar transforming as the adjointrepresentation of π(π) so that its covariant derivative is
Dππ = π
ππβ π [π΄
π,π] = π
ππ
π+ π
ππππ΄π
ππ
π. (A.5)
B. Relationships among the Various StringTheory Parameters
In principle, string theory has no adjustable parameters otherthan its characteristic length scale, βπΌ; however, variousparameters of the theory do depend on values of the back-ground fields. For reference, we provide explicit relationshipsbetween various string theory parameters and πΌ. Let Ξ¦
0be
the vacuum expectation value of the dilaton background; thatis, π
0= β¨Ξ¦β©, Ξ¦ being the dilaton background. The closed
string coupling constant, π, is
π = πΞ¦0 . (B.1)
The physical gravitational coupling, π , is
π 2β‘ π
2
10π2= 8ππΊ
π=1
2(2π)
7πΌ4π2, (B.2)
whereπΊπis Newtonβs gravitational constant in 10 dimensions
and π 210
= π 2
11/2ππ . The quantity π
11is the gravitational
constant appearing in the eleven-dimensional, low energyeffective action of supergravity, and π is the compactificationradius for reducing the eleven-dimensional theory to tendimensions. The physicalπ·π-brane tension, π
π, is
ππβ‘
ππ
π=
1
π (2π)ππΌ(π+1)/2
= (2π 2)β1/2
(2π)(7β2π)/2
πΌ4,
(B.3)
where ππisπ·π-brane tension.Theπ·π-brane π -π charge, π
π,
is
ππ= ππ
π=
1
(2π)ππΌ(π+1)/2
. (B.4)
The coupling constant ππ·π
of the π(π) Yang-Mills theory onaπ·π-brane is given by
π2
π·π=
1
(2ππΌ)2
ππ
= (2π)πβ2
ππΌ(πβ3)/2
. (B.5)
The ratio of the πΉ-string tension, ππΉ1, to the π·-string (π·1-
brane) tension, ππ·1, is
ππΉ1
ππ·1
= π. (B.6)
C. Evaluation of the Dirac-Born-InfeldDeterminant in an Arbitrary Number ofDimensions
In this appendix, we provide a heuristic derivation of theformula for evaluating an π-dimensional (π = π +1) determinant of the form det(πΊ
π΄π΅+ 2ππΌ
πΉπ΄π΅) (π΄, π΅ =
0 β β β π), (2) and (5). (The notation used in this appendixdoes not adhere strictly to the font conventions defined inAppendix A.) Without loss of generality, we assume that
-
12 Advances in High Energy Physics
the metric is diagonal. Consequently, we can express thedeterminant in the generic form
det (β) ππΌπ½β β β ππ
= πππβ β β ππ
βππΌβππ½β β β β
ππβππ, (C.1)
where βππ= π
ππ= 2ππΌ
πΉ(πβ1)(πβ1)
, (π, π = 1 β β β π) and β(π)π=
π(π)π
= πΊ(πβ1)(πβ1)
. Note: indices enclosed within parenthesesare not summed.
Thus, the right-hand side of (C.1) comprises a sum ofterms, each of which consists of products of the metric, π
(π)π
orπππ.We need only to consider terms inwhich the number of
πππin each product is even, since terms containing products
of an odd number of πππvanish because πΉ
π΄π΅= βπΉ
π΅π΄. Thus,
det(βππ), (C.1), can be reexpressed as a sum
det (β) ππΌπ½β β β ππ
= (π»0+ π»
2+ π»
4+ π»
2π + β β β ) π
πΌπ½β β β ππ.
(C.2)
Each π»2π is a term in (C.1) which contains a product of π
ππ
which is even in number. The values of 2π range from 0 toπ
or π β 1 depending on whether π is even or odd. Thevalue of π»
0, which contains no off-diagonal elements, π
ππ, is
evaluated as
π»0= det (π) β‘ π
11π22β β β π
ππ . (C.3)
In order to understand the structure ofπ»2π , for arbitrary
π, we first study the structure ofπ»
4:
π»4ππΌπ½β β β ππ
= ππΌπ½β β β ππππβ β β ππ
π(πΌ)πΌπ(π½)π½
β β β π(π)π
π(π)π
πππΎπππΏππππππ.
(C.4)
Equation (C.4) represents a term in (C.1) where the valuesof (π, π, π, π) in the sum are restricted to the specific integervalues (πΎ, πΏ,π,π) from the set of integers (1, 2 β β β π).Multiplying (C.4) by the Levi-CivitaΜ symbol (which does notchange value of the expression), we obtain
π»4= π
(πΌ)πΌπ(π½)π½
β β β π(π)π
π(π)π
ππΌπ½β β β ππππβ β β ππ
πππΎπππΏππππππππΌπ½β β β πΎπΏππβ β β ππ
.
(C.5)
We now rearrange the terms in (C.5) in a form which ismore useful for the subsequent analysis. By virtue of the Levi-CivitaΜ symbols, none of the (π, π, π, π) is equal to any of theothers, and similarly for (πΎ, πΏ,π,π); however, each of the(π, π, π, π) is equal to one of the (πΎ, πΏ,π,π). Because of theantisymmetry of π
ππ, some of the terms in the sum vanish,
that is, whenever π = πΎ, or whenever π = πΏ, and so forth. Byexplicit construction or by a combinatorics argument, we canshow that there are nine terms which are nonvanishing. Weconsider one typical term in the sum, for example, the term,{1},
{1} = {π = πΎ, π = πΏ, π =π, π = π} . (C.6)
We now show how to reexpress (C.5) so half, that is, 2, of thefour π
ππare associated with one of the Levi-CivitaΜ symbols
and the other half are associated with the other Levi-CivitaΜ
symbol. In order for the two πππto be associated with one
Levi-CivitaΜ symbol, the four subscripts on the two πππmust
be different. We associate the first πππΎ
with the Levi-CivitaΜsymbol to its left. To determine the remaining associations,we proceed as follows. Since πΎ = π, we associate π
ππwith
the Levi-CivitaΜ symbol to the right. We now consider thesecond term in (C.5), that is, π
ππΏ. Since πΏ = π, we associate π
ππΏ
with the Levi-CivitaΜ symbol to its right andπππ
with the Levi-CivitaΜ symbol to the right. We continue in this manner to thenext remaining term, π
ππ. Sinceπ does not equal any of the
lowercase Roman subscripts associated with the Levi-CivitaΜsymbol to the left (π = π), we assign π
ππto the Levi-CivitaΜ
symbol to the left.This completes the process since each πππis
associated with either of the two Levi-CivitaΜ symbols. Using(C.6) we reexpress the subscripts on the Levi-CivitaΜ symbolsin (C.5):
π»4,{1}
= π(πΌ)πΌπ(π½)π½
β β β π(π)π
π(π)π
ππΌπ½β β β (π)ππΎ(π)β β β ππ
πππΎπππππππππΏππΌπ½β β β (π)πΏπ(π)β β β ππ
.
(C.7)
Now, we permute the subscripts of the Levi-CivitaΜ sym-bols so that the corresponding lowercase and uppercaseRoman letters are adjoining. Both uppercaseπ andπΎ requirethe same number of movements as the uppercase π and πΏdo. Since the number of permutations is even, no change insign of the Levi-CivitaΜ symbols results from permuting thesubscripts. Equation (C.7) becomes
π»4,{1}
= π(πΌ)πΌπ(π½)π½
β β β π(π)π
π(π)π
ππΌπ½β β β (π)(πΎ)(π)(π)β β β ππ
πππΎπππππππππΏππΌπ½β β β (π)(π)(π)(πΏ)β β β ππ
.
(C.8)
Each of the remaining π»4,{π }
(π = 2 β β β 9) can be expressed,similarly.
In order to understand, in generic terms, the structure ofπ»4, consider the following expressionπ»
4:
π»
4= π
(πΌ)πΌπ(π½)π½
β β β π(π)π
π(π)π
ππΌπ½β β β ππΎππβ β β ππ
πππΎπππππππππΏππΌπ½β β β ππππΏβ β β ππ
.
(C.9)
The expression π»4differs from the individual term π»
4,{1}
in that the repeated indices (π, πΎ, π,π) and (π,π, π, πΏ)are summed. By inspection, the term π»
4,{1}, as well as the
remaining terms π»4,{π }
(π = 2 β β β 9), is contained in π»4.
Overtly, the number of nonvanishing terms in (C.9) is (4!)2,each factor of (4!) coming from each one of the Levi-CivitaΜsymbols. By a combinatorics argument, each factor of 4!is eightfold redundant so that the number of independentterms associated with each Levi-CivitaΜ symbol is three.Consequently, the number of independent terms in π»
4is 9,
that is, 3 Γ 3, with redundancy 8 Γ 8. Thus,
π»4=
1
8 Γ 8π»
4. (C.10)
Using similar reasoning, we can show that
π»2π =
π»
2π
π
2π Γ π
2π
, (C.11)
-
Advances in High Energy Physics 13
where
π
2π = 2
π
π!. (C.12)
In order to show (C.11), one needs to use the fact that thenumber of nonvanishing terms, π
2π , inπ»
2π is given by
π 2π = (2π
β 1)π
2(πβ1)(2π
β 1)
= [(2πβ 1)!!]
2
,
(C.13)
so that the number of independent terms, π2π , associatedwith
each of the two Levi-CivitaΜ symbols ofπ»2π is
π2π = (2π
β 1)!!. (C.14)
Thus,
π
2π =
(2π)!
π2π
= 2π
π!. (C.15)
Both (C.13) and (C.14) are obtained from combinatoricsarguments. Using themetric tensor to lower indices inπππ andthe relationship (C.15), we reexpress (C.11)
π»2π = β det (π) 1
(π β 2π)!(2π
β 1)!!
2
Γβ(π β§ π β§ β β β πβββββββββββββββββββββββ
π
)
β β(π β§ π β§ β β β β§ πβββββββββββββββββββββββββββ
π
).
(C.16)
The Hodge β operation transforms an π -form π in an π-dimensional space to an (π β π )-form whose componentsare
(βπ)
ππ +1β β β ππ= π
ππ1β β β ππ 1
π !βdet π
ππ1π2β β β ππ ππ +1β β β ππ,
βπ β
βπ β‘ (
βπ)
ππ +1β β β ππ(βπ)
ππ +1β β β ππ .
(C.17)
Note that in (C.16)π β§ π β§ β β β πβββββββββββββββββββββββπ
is a 2π-form. Also, in (C.16),
the minus sign to the right of the equal sign is a consequenceof the Minkowski signature of the metric; that is, π12β β β π
=
βπ12β β β π
. For Euclidean signature, the minus sign is replacedby a plus sign. Using properties of the Levi-CivitaΜ symbol, wecan show that
π»2= det (π) 1
2!ππππππ, (C.18)
irrespective of the signature of themetric. Using (C.2), (C.16),and (C.18), we obtain
det (β) = det (π)[[
[
1 +1
2!ππππππ
β
2π=π
β
2π=4
(1
(π β 2π)!
Γ (2πβ 1)!!
2β(π β§ π β§ β β β πβββββββββββββββββββββββ
π
)
β β(π β§ π β§ β β β β§ πβββββββββββββββββββββββββββ
π
))]]
]
,
(C.19)
where
π=
{
{
{
π if π is even
πβ 1 if π is odd.
(C.20)
The minus (plus) sign corresponds to a metric withMinkowski (Euclidean) signature.
For the case whenπ = 5 and the metric has Minkowskisignature, (C.19) reduces to
det (β) = det (π) [1 + 12!ππππππβ
1
(5 β 2 β 2)!
Γ (32β 1
2)β(π β§ π)
π
β(π β§ π)
π
] .
(C.21)
Conflict of Interests
The author declares that there is no conflict of interestsregarding the publication of this paper.
References
[1] P. A. M. Dirac, βQuantised singularities in the electromagneticfield,β Proceedings of the Royal Society A: Mathematical, Physicaland Engineering Sciences, vol. 133, no. 821, pp. 60β72, 1931.
[2] G. βt Hooft, βMagnetic monopoles in unified gauge theories,βNuclear Physics B, vol. 79, pp. 276β284, 1974.
[3] C. Montonen and D. Olive, βMagnetic monopoles as gaugeparticles?β Physics Letters B, vol. 72, no. 1, pp. 117β120, 1977.
[4] A. H. Guth, βInflationary universe: a possible solution to thehorizon and flatness problems,β Physical Review D, vol. 23, no.2, pp. 347β356, 1981.
[5] J. Polchinski, String Theory Volume II, Cambridge UniversityPress, New York, NY, USA, 1998.
[6] C. V. Johnson, D-Branes, Cambridge University Press, NewYork, NY, USA, 2003.
[7] A. A. Tseytlin, βOn non-abelian generalisation of the Born-Infeld action in string theory,β Nuclear Physics B, vol. 501, no.1, pp. 41β52, 1997.
-
14 Advances in High Energy Physics
[8] J. A. Harvey, βMagnetic monopoles, duality, and supersymme-try,β http://arxiv.org/abs/hep-th/9603086v2.
[9] E.Witten, βDyons of charge eπ/2π,β Physics Letters B, vol. 86, no.3-4, pp. 283β287, 1979.
[10] E. A. Olszewski, βDyons and magnetic monopoles revisited,βParticle Physics Insights, vol. 5, pp. 1β12, 2012.
[11] M. R. Setare and A. Sepehri, βStability of cylindrical thin shellwormhole during evolution of universe from inflation to latetime acceleration,β JHEP, vol. 2015, no. 3, article 079, 16 pages,2015.
[12] S. Weinberg and E. Witten, βLimits of massless particles,βPhysics Letters. B, vol. 96, no. 1-2, pp. 59β62, 1980.
[13] J. Polchinski, βIntroduction to gauge/gravity duality,β http://arxiv.org/abs/1010.6134v1.
-
Submit your manuscripts athttp://www.hindawi.com
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
High Energy PhysicsAdvances in
The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
FluidsJournal of
Atomic and Molecular Physics
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Advances in Condensed Matter Physics
OpticsInternational Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
AstronomyAdvances in
International Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Superconductivity
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Statistical MechanicsInternational Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
GravityJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
AstrophysicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Physics Research International
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Solid State PhysicsJournal of
βComputationalββMethodsβinβPhysics
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Soft MatterJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
AerodynamicsJournal of
Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
PhotonicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Journal of
Biophysics
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
ThermodynamicsJournal of