Research Article Dyons, Superstrings, and Wormholes ...connected by a wormhole. e dyons possess...

15
Research Article Dyons, Superstrings, and Wormholes: Exact Solutions of the 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. is is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. e publication of this article was funded by SCOAP 3 . We construct dyon solutions on coincident 4-branes, obtained by applying -duality transformations to type I (32) superstring theory in 10 dimensions. ese 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, the dyons are analogous to the ’t Hooο¬…/Polyakov monopole residing in a 3+1-dimensional spacetime, where the component of the Yang-Mills potential transforming as a Lorentz scalar is reinterpreted as a Higgs boson transforming in the adjoint representation of 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 are connected by a wormhole. e dyons possess electric and magnetic charges whose values on each 3-brane are the negative of one another. e gravitational effects, which arise aο¬…er the -duality transformation, occur despite the fact that the action of the system does not explicitly include the gravitational interaction. ese solutions provide a simple example of the subtle relationship between the Yang-Mills and gravitational interactions, that is, gauge/gravity duality. 1. Introduction eoretically appealing but experimentally elusive, the mag- netic monopole has captured the interest of the physics community for more than eight decades. e magnetic monopole (an isolated north or south magnetic pole) is conspicuously absent from the Maxwell theory of elec- tromagnetism. In 1931, Dirac showed that the magnetic monopole can be consistently incorporated into the Maxwell theory with virtually no modification to the theory [1]. In addition, Dirac demonstrated that the existence of a single magnetic monopole necessitates not only that electric charge be quantized but also that the electric and magnetic couplings be inversely proportional to each other, the first suggestion of the so-called weak/strong duality. Subsequently, ’t Hooο¬… [2] and Alexander Polyakov showed that, within the context of the spontaneously broken Yang-Mills gauge theory (3), topological magnetic monopole solutions of finite mass must necessarily exist. Furthermore, these solutions possess an internal structure and also exhibit the same weak/strong duality discovered by Dirac. Consequently, Montonen and Olive conjectured that there exists an exact weak/strong electromagnetic duality for the spontaneously broken (3) gauge theory [3]. More recently, this conjecture has become credible within the broader context of =2 or =4 Super- Yang-Mills theories. Despite the lack of experimental evi- dence for the existence of magnetic monopoles, physicists still remain optimistic of their existence. Indeed, Guth proposed the inflationary model of the universe, in part, to explain why magnetic monopoles have escaped discovery [4]. e focus of our investigation is electrically charged magnetic monopole (dyon) solutions within the context of superstring theory. In Section 2, we construct dyon solutions which are exact and closed to first order in the string theory length scale. We, first, begin with a type I (32) string theory in ten dimensions, six of the spatial dimensions being compact but arbitrarily large. We, then, apply the group of -duality transformations to five of the compact spatial dimensions to obtain 16 4-branes, some of which are coincident. e five -dualized dimensions of each 4-brane Hindawi Publishing Corporation Advances in High Energy Physics Volume 2015, Article ID 960345, 14 pages http://dx.doi.org/10.1155/2015/960345

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