Add Journal to My Library
Progress of Theoretical and Experimental Physics
, Volume Advance Article (5) – May 8, 2018

Free

16 pages

/lp/ou_press/codimension-2-brane-solutions-of-maximal-supergravities-in-9-8-and-7-CoMgM0jnX1

- Publisher
- Oxford University Press
- Copyright
- © The Author(s) 2018. Published by Oxford University Press on behalf of the Physical Society of Japan.
- ISSN
- 2050-3911
- eISSN
- 2050-3911
- D.O.I.
- 10.1093/ptep/pty045
- Publisher site
- See Article on Publisher Site

Prog. Theor. Exp. Phys. 2018, 053B01 (16 pages) DOI: 10.1093/ptep/pty045 Codimension-2 brane solutions of maximal supergravities in 9, 8, and 7 dimensions ∗ ∗ Yosuke Imamura and Hirotaka Kato Department of Physics, Tokyo Institute of Technology, Tokyo 152-8551, Japan E-mail: imamura@phys.titech.ac.jp, h.kato@th.phys.titech.ac.jp Received November 21, 2017; Revised March 13, 2018; Accepted March 25, 2018; Published May 8, 2018 ................................................................................................................... We construct codimension-2 BPS brane solutions in D = 9, 8, 7 maximal supergravities by solving Killing spinor equations. We assume the Poincaré invariance along the worldvolume and vanishing gauge ﬁelds, and determine the metric and the scalar ﬁelds. The solution in D = 9 is essentially the same as the ten-dimensional one, which is speciﬁed by a holomorphic function in the transverse space. For D = 8, the solution is speciﬁed by two holomorphic functions, and 2 2 regarded as T × T compactiﬁcation of F-theory. For D = 7, we ﬁnd that the solution can be interpreted as M-theory on Calabi–Yau, and under an additional assumption a solution is speciﬁed by two holomorphic functions. ................................................................................................................... Subject Index B10, B11 1. Introduction An important feature of codimension-2 branes is that they can have non-trivial monodromies [1]. Namely, when we move charged objects around such branes they may get transformed to dual objects. The element of the duality group specifying this duality transformation is called a monodromy associated with the branes. In the context of brane realization of ﬁeld theories, such monodromy transformations are often interpreted as electric–magnetic duality, and in some cases the existence of branes with non-trivial monodromies causes the emergence of particles with mutually non-local charges. This is a common feature of some classes of non-Lagrangian theories such as Argyres– Douglas theories [2,3] and four-dimensional N = 3 superconformal theories [4–6]. This fact motivates us to investigate codimension-2 branes. In the context of string/M-theory a maximal supergravity is obtained by torus compactiﬁcation of ten- or eleven-dimensional theory. The U-duality group is generated by geometric coordinate changes of the torus and duality transformations. Half BPS branes in eleven or ten dimensions descend to various sorts of codimension-2 branes in lower dimensions by dimensional reduction and duality transformations [7–9]. F- and M-theories are useful to describe codimension-2 branes. For example, 7-branes in type IIB string theory are described as purely geometric objects in the context of F-theory. We can also realize various branes in lower dimensions by considersing M- and F-theory in different purely geometric backgrounds in which ﬁelds other than the metric are vanishing or constant. However, Non-trivial monodromies arise not only in systems of codimension-2 branes but also in more general backgrounds with non-trivial fundamental groups. Indeed, the ﬁrst example of N = 3 theory in Ref. [5]is realized by using an orbifold C /Z , which has the fundamental group Z . Another example of N = 3 theories, k k in Ref. [6], can be regarded as a realization with codimension-2 branes. © The Author(s) 2018. Published by Oxford University Press on behalf of the Physical Society of Japan. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited. Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 Funded by SCOAP by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato Table 1. The global symmetry group G, the duality group G , and the local symmetry group H in maximal supergravities. dim GG H 10(A) SO(1, 1)/Z 11 10(B) SL(2, R) SL(2, Z) SO(2) 9 SL(2, R) × O(1, 1) SL(2, Z) × Z SO(2) 8 SL(3, R) × SL(2, R) SL(3, Z) × SL(2, Z) SO(3) × SO(2) 7 SL(5, R) SL(5, Z) SO(5) 6 O(5, 5) O(5, 5; Z) SO(5) × SO(5) 5 E E (Z) USp(8) 6(6) 6(6) 4 E E (Z) SU (8) 7(7) 7(7) there may be branes that do not have a geometric description in M- or F-theory. Such branes have not been investigated in detail, and their realization and classiﬁcation may give new insight for strongly coupled ﬁeld theories. A purpose of this paper is to search for such branes in the case of codimension-2 BPS branes. Actually, construction of such branes is quite restricted, as argued in Ref. [10]. Some examples given in Ref. [10] have non-compact dimensions less than four, and it seems difﬁcult to give examples in higher dimensions. We show that this is actually the case for codimension-2 BPS brane solutions by explicitly solving Killing spinor equations. Namely, BPS solutions of codimension-2 branes always have geometric realization in M/F-theory for D = 9, 8, 7. Maximal supergravities in various dimensions have common structure. The scalar manifolds of these theories have the form G/H , where G is the classical global symmetry and H is the local sym- metry group, which is the maximal compact subgroup of G. See Table 1 for G and H in dimensions D = 10, ... ,4 [11]. The scalar ﬁelds are coordinates of this manifold, and represented as a matrix L ∈ G with left action of G and right action of H . The U-duality group G is the integral form of G. For the theories in seven or higher dimensions G are all SL type and H are all SO type, and they can be dealt with in similar ways. In this paper we investigate these theories; theories in D ≤ 6 are left for future work. A maximal supergravity contains the vielbein e , scalar ﬁelds L , gravitino ψ , dilatino λ , and anti-symmetric tensor ﬁelds of different ranks, which are not relevant to our analysis in this paper. We use the following indices: M , N , ... : global coordinates M , N , ... : local Lorentz α, β, ... : SL(m) fundamental representation i, j, ... : H = SO(n) vector. The scalar ﬁelds appear in the action and the supersymmetry transformation laws through one- form ﬁelds P and Q, which are deﬁned as the traceless symmetric and anti-symmetric parts of the 2/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato Table 2. Quantum numbers of scalar and spinor ﬁelds in type IIB supergravity. G = SL(2, R) H = SO(2) L 2 ±1 ψ 1 ± λ 1 ± 1 ± Maurer–Cartan form: −1 −1 P = (L dL) , Q = (L dL) . (1.1) ij (ij) ij [ij] Under H transformation, P transforms homogeneously as the symmetric matrix representation of H , while Q transforms inhomogeneously and plays the role of H -connection. To obtain BPS solutions we solve the Killing spinor equations for the gravitino ψ and dilatino λ . In the next section we ﬁrst look at the ten-dimensional case to explain the basic prescription for solving the Killing spinor equations and then we move on to lower-dimensional cases. 2. Solving Killing spinor equations 2.1. D = 10 Let us consider BPS solutions in type IIB supergravity. Such solutions have been well investigated [1] and 7-branes are classiﬁed by the Kodaira classiﬁcation [12]. Various four-dimensional N = 2 supersymmetric theories are realized on D3-branes probing these solutions [13–15]. A purpose of this subsection is to review how we can obtain BPS solutions in ten dimensions by solving the Killing spinor equations. The derivations in lower dimensions are parallel. The classical global symmetry of type IIB supergravity is G = SL(2, R) and the local R-symmetry group is H = SO(2) . Namely, the scalar manifold is locally the two-dimensional homogeneous space SL(2, R)/SO(2) . When we discuss the global structure, we also need to take account of the duality group G = SL(2, Z). Quantum numbers of scalar and spinor ﬁelds in type IIB supergravity [16] are summarized in Table 2. The gravitino ﬁeld ψ belongs to the spinor representation of H . Namely, ψ has the spacetime vector index M and an SO(2) spinor index which is implicit. The M R dilatino ﬁeld λ has the SO(2) vector index i and an implicit SO(2) spinor index. It satisﬁes the i R R ρ-traceless condition ρ λ = 0, (2.1) where ρ are Dirac matrices associated with the orthogonal group H = SO(2) . See the appendix i R for our notation. This condition removes components carrying SO(2) charge ±1/2 from λ , and the remaining components in λ carry SO(2) charge ±3/2, as shown in Table 2. Due to the existence of the self-dual four-form ﬁeld it is difﬁcult to write down the full Lagrangian of the type IIB supergravity. However, it is easy to give the Lagrangian of the subsector which is relevant to us. If we assume vanishing anti-symmetric tensor ﬁelds, the equations of motion for the remaining ﬁelds are obtained from the Lagrangian e e MNP L = R + (ψ D ψ ) M N P 4 2 e e e ij 2 N ij M N − (P ) + (λ D λ ) + P (ψ λ ), (2.2) M i N i M N i j 4 2 2 up to higher-order fermion terms. 3/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato The Killing spinor equations are 0 = δψ = D , (2.3) M M ij i M 0 = δλ = P ρ , (2.4) where D is the covariant derivative deﬁned with the spin connection ω and the SO(2) M R connection Q: 1 1 PQ ij D = ∂ + ω + Q ρ . (2.5) M M Mij M PQ 4 4 We are interested in codimension-2 brane solutions. Let us assume the solution has the eight- dimensional Poincaré invariance along the eight longitudinal directions. We use x (μ = 0, 1, ... ,7) and x (m = 8, 9) for longitudinal and transverse coordinates, respectively. We take the ansatz 2 2 m μ ν 2 m m m ds = f (x )η dx dx + g (x )dx dx (2.6) μν for the metric and α α m L = L (x ) (2.7) i i for the scalar ﬁelds. We introduce the local frame so that the vielbein has the diagonal components μ m μ μ a m a m e = f (x )δ dx , e = g(x )δ dx . (2.8) μ m Because we are interested in the rigid supersymmetry on the branes we assume that the supersymmetry parameter depends only on the transverse coordinates: = (x ). (2.9) α μ Because L is independent of the longitudinal coordinates x , the longitudinal components of Q vanish. For the longitudinal components of the Killing spinor equation of Eq. (2.3), δψ = D = ∂ − (∂ f ) = 0, (2.10) μ μ μ m m μ 2g to have non-trivial solutions the function f must be constant, and without loss of generality we can set f = 1. The covariant derivative in the transverse components of Eq. (2.3) include the connection of SO(2) , the rotation in the 8–9 plane, and that of H = SO(2) : 89 R 1 1 89 12 D = ∂ + ω + Q ρ = 0. (2.11) m m m89 m12 2 2 For the existence of non-vanishing solutions, the action of two connections on some components of must be pure gauge. To study this condition, it is convenient to decompose the parameter into four parts according to SO(2) and SO(2) charges so that s,r 89 R 1 1 = is , ρ = ir , (2.12) 89 s,r s,r 12 s,r s,r 2 2 1 1 where both the indices s and r take values in {+ , − }. We also decompose λ in the same way into 2 2 λ . For distinction we use s ={↑, ↓} for SO(2) and r ={+, −} for SO(2) . We also introduce 89 R sr 4/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato i ={⊕, } for the complex basis of SO(2) vectors, which carry SO(2) charge ±1. See the appendix R R for details. Let us require the solution to be half BPS. Without loss of generality we can assume that and ↑+ its Majorana conjugate correspond to the unbroken supersymmetries. The other components are ↓− set to zero: = = 0. Then, the non-vanishing components of δλ are ↓+ ↑− i i⊕ δλ = P , (2.13) ∗ ↑+ ↓− z and its complex conjugate. Before proceeding, it would be instructive to check the consistency of the quantum numbers in Eq. (2.13). Let us ﬁrst consider the SO(2) quantum numbers. The left-hand side has the lower index ↓. This means the component carries SO(2) charge (spin) −1/2. On the right-hand side, the parameter has lower index ↑ which means SO(2) spin +1/2. In addition, P has lower index z and this component carries SO(2) spin −1. Therefore, both left- and right-hand sides carry the same SO(2) spin −1/2. The coincidence of the SO(2) charge can be conﬁrmed in a similar way. 89 R The index i is common for the left- and right-hand sides and thus let us focus on the other indices. On the left-hand side we have the lower − index and this means it carries SO(2) charge −1/2. On the right-hand side there are the upper ⊕ index on P and the lower + index on , which carry SO(2) charges −1 and +1/2, respectively. Therefore, the left- and right-hand sides carry the same SO(2) charge −1/2. The charge counting we have just explained is quite useful when we extract the condition imposed on P from Killing spinor equations associated with dilatino ﬁelds in different dimensions. The vanishing of Eq. (2.13) means ⊕⊕ P = 0. (2.14) (P is identically zero due to the traceless condition.) We want to solve this with respect to the scalar ﬁelds L . For this purpose it is convenient to gauge ﬁx the local SO(2) symmetry so that the i R matrix L is given by L = K (τ ), (2.15) where K (τ ) for a complex number τ in the upper half-plane is the following 2 × 2 matrix: 1 10 K (τ ) = √ , τ ≡ τ + iτ ∈ H . (2.16) 1 2 + τ τ τ 2 1 2 Then P and Q have the components 1 −dτ dτ dτ 0 −1 2 1 ij ij P = , Q = . (2.17) 2τ dτ dτ 2τ 10 2 1 2 2 In this gauge, Eq. (2.14)gives ⊕⊕ P = ∂ τ = 0. (2.18) ∗ z 2τ Namely, τ must be a holomorphic function of z. 5/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato Now let us turn to the equation δψ = D = 0. The components including the non-vanishing m m parameters and are ↑+ ↓− D = ∂ + (ω + Q ) = 0 (2.19) m ↑+ m m89 m12 ↑+ and its complex conjugation. For Eq. (2.19) to have solutions with = 0, the net connection ↑+ ω + Q must be pure gauge, and we can take the gauge with ω + Q = 0. The explicit forms 89 12 89 12 of the spin connection and the SO(2) connection are ∂g ∂g dτ ∂τ ∂τ 1 2 2 ∗ ∗ ω = i dz − i dz , Q =− =−i dz + i dz , (2.20) 89 12 g g 2τ 2τ 2τ 2 2 2 where we used holomorphy of τ in the last equality. From ω + Q = 0 we obtain 89 12 dg dτ = , (2.21) g 2τ and this is solved by g = c τ , (2.22) where c is an arbitrary real positive constant, which can be absorbed by the coordinate change m m cx → x . The solution is summarized as follows: L = K (τ ), (2.23) 2 μ ν m m ds = η dx dx + τ dx dx , (2.24) μν 2 τ(z) = τ + iτ , τ > 0. (2.25) 1 2 2 This solution is speciﬁed by the single holomorphic function τ(z). The imaginary part of τ(z) must be positive, and no globally deﬁned holomorphic function satisﬁes this condition unless τ(z) is a constant. For a non-trivial solution τ(z) must be given as a multi- valued solution with singularities. These singularities are regarded as branes, and the monodromies associated with the multi-valueness specify the charges of the branes. It is well known that these singularities are classiﬁed by the Kodaira classiﬁcation, and we do not give a detailed explanation of this. In the following we will construct solutions in lower dimensions, and ﬁnd that they are also described by holomorphic functions with positive imaginary part. Because the classiﬁcation of the singularity can be done in a similar way to the ten-dimensional case, and it has been well studied, we only focus on the local structure of solutions. 2.2. D = 9 Let us start the analysis in lower dimensions following the prescription in the last subsection. The scalar and spinor ﬁelds in the nine-dimensional N = 2 supergravity [17] are summarized in Table 3. 6/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato Table 3. The quantum numbers of scalar and spinor ﬁelds in the nine-dimensional N = 2 supergravity. SL(2) SO(2) L 2 ±1 ϕ 1 0 ψ 1 ± λ 1 ± λ 1 ± 1 ± The ﬁelds λ are subject to the gamma-traceless condition ρ λ = 0. The Lagrangian is i i i e i LMN L =− R − e(ψ D ψ ) L M N 4 2 e i i 2 M N M + (P ) + e(λ D λ ) + e(ψ ρ λ )P Mij i M i M i j Nij 4 2 2 e i i 2 M N M + (∂ ϕ) + e(λ D λ) + √ e(ψ λ )∂ ϕ + ··· , (2.26) M M M j N 2 2 where the dots represent terms with gauge ﬁelds and four-fermion terms, which play no role in the following analysis. The supersymmetry transformation rules for the spinor ﬁelds are δψ = D , (2.27) M M δλ = P ρ , (2.28) i Mij j δλ = √ D ϕ . (2.29) We want to obtain codimension-2 brane solutions by solving the Killing spinor equations. We use μ m x (μ = 0, 1, ... , 6) and x (m = 7, 8) for longitudinal and transverse coordinates, respectively. We take the ansatz α α m m μ ˆ μ ˆ μ a m a m m L = L (x ), ϕ = ϕ(x ), e = δ dx , e = g(x )δ dx , = (x ). (2.30) i i μ m In fact, the solution is almost the same as that of the type IIB case. Although we have extra ﬁelds ϕ and λ compared to the ten-dimensional case, the condition δλ = 0 forces ϕ to be constant; 0 = δλ = √ ∂ ϕ → ∂ ϕ = 0. (2.31) m m Therefore, we can forget about λ and ϕ, and the remaining ﬁelds give a set of equations identical to the ten-dimensional case. After some gauge choices the general solution is given by ϕ = const, (2.32) L = K (τ ), τ = τ + iτ : holomorphic function, (2.33) i 1 2 2 μ ν m m ds = η dx dx + τ dx dx . (2.34) μν 2 A solution is speciﬁed by a single holomorphic function τ(z) and a constant vacuum expectation value of ϕ. Codimenison-2 brane solutions appear as singularities of the function τ(z). 7/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato Table 4. Quantum numbers of scalar and spinor ﬁelds in eight-dimensional maximal supergravity. The SO(2) charge of each component of a spinor is proportional to the chirality. SO(3) SO(2) R R L 3 0 L 1 ±1 ψ 2 M 9 λ 2 i 9 λ 4 − i 9 2.3. D = 8 The scalar and fermion ﬁelds in eight-dimensional maximal supergravity [18] are shown in Table 4. Classical p-brane solutions with p = 0, 1, 3, 4 are given in Ref. [19]. Half BPS solutions of ten- dimensional supergravity given in Ref. [20] can be regarded as codimension-2 branes in eight- dimensional supergravity. In the following we construct general 5-brane solutions without assuming a ten-dimensional supergravity description. The scalar manifold of the eight-dimensional maximal supergravity is the direct product of two homogeneous spaces: SL(2, Z)/SO(2) × SL(3, Z)/SO(3) . Each factor can be interpreted geomet- R R rically in an appropriate duality frame. The SL(2, Z)/SO(2) becomes manifest when we regard the theory as T compactiﬁcation of type IIB theory, while SL(3, Z)/SO(3) can be regarded as the moduli space associated with T compactiﬁcation of M-theory. The S-duality group in the type IIB picture is a subgroup of SL(3, Z). For each factor of the R-symmetry group SO(2) × SO(3) there is an associated dilatino ﬁeld. We R R i i denote ﬁelds associated with SO(2) and SO(3) by λ and λ , respectively. All fermion ﬁelds have R R implicit spinor indices for all SO(1, 7), SO(2) , and SO(3) . In addition, λ and λ have SO(2) and R R i i SO(3) vector indices, respectively, and they satisfy the traceless conditions ρ λ = 0 and ρλ = 0. Namely, λ and λ belong to 2 and 4 , respectively, of SO(2) × SO(3) . 3 1 R R ± ± 2 2 The Lagrangian is e e MNP L = R + (ψ D ψ ) M N P 4 2 e e e ij 2 N ij M N − (P ) + (λ D λ ) + P (ψ ρ λ ) M i N i M N i j 4 2 2 e e e ij 2 N ij M N − (P ) − (λ D λ ) + i P (ψ λ ) + ··· (2.35) M N M N i i i j 4 2 2 where the dots represent four-fermion terms and terms with gauge ﬁelds. The supersymmetry transformation laws of fermions are δψ = D , (2.36) M M i ij M δλ = P ρ , (2.37) M j i ij M δλ = P ρ. (2.38) μ m We are interested in codimension-2 brane solutions and we use x (μ = 0, 1, ... , 5) and x (m = 6, 7) for longitudinal and transverse coordinates, respectively. We take the following ansatz: α α m α α m μ ˆ μ ˆ μ a m a m m L = L (x ), L = L (x ), e = δ dx , e = g(x )δ dx , = (x ). (2.39) i i i i μ m 8/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato The covariant derivative D contains three connections, ω, Q, and Q, corresponding to SO(2) , M 67 SO(2) , and SO(3) , respectively. For the existence of non-trivial solution to δψ = 0, the actions R R m of the three connections to some components of must be pure gauge. For this to be the case, non- vanishing components of SO(3) connection Q should be in a certain SO(2) subgroup of SO(3) . R R We can take the gauge such that it is rotation of the 12 plane and i3 Q = 0. (2.40) After taking this gauge, we have three SO(2) connections, ω , Q , and Q . Asinthe 67 12 ten-dimensional case it is convenient to divide the parameter into components so that sr r 1 1 1 = is , ρ = ir , ρ = i r , (2.41) 67 sr r sr r 12 sr r sr r 12 sr r sr r 2 2 2 1 1 where all of s, r, and r take values in {+ , − }. For distinction we introduce the notation s ∈{↑, ↓} 2 2 for SO(2) , r ∈{+, −} for SO(2) , and r ∈{+, −} for SO(3) . We also introduce {⊕, } for the 67 R R complex basis of an SO(2) vector and {⊕, , 3} for the basis of an SO(3) vector that diagonalizes R R SO(2) . The six-dimensional chirality of is given by s and r as sr r γ = sign(sr) . (2.42) 7 sr r sr r We want to consider a solution in which some of the are preserved. Without loss of generality, we sr r can suppose that and its complex conjugate are non-vanishing. Both of them have positive ↑++ ↓−− six-dimensional chirality Eq. (2.42), and they generate six-dimensional N = (1, 0) supersymmetry. Let us consider the condition δλ = 0 ﬁrst. The component of δλ depending on is ↑++ ⊕ ⊕⊕ 0 = δλ = P . (2.43) z ↑++ ↓−+ ⊕⊕ For this to hold for = 0, P must vanish. This is the same as Eq. (2.14) in Sect. 2.1, and ↑++ the solution is given by L = K (τ ) where K (τ ) is deﬁned in Eq. (2.16) with a holomorphic function τ(z). We can also obtain a similar condition for L from δλ = 0. The components of δλ depending on are δλ , and we obtain the following Killing spinor equations: ↑++ ↓+± i i3 0 = δλ = √ P , (2.44) z ↑++ ↓++ i i⊕ 0 = δλ = iP . (2.45) ↑++ ↓+− i3 Equation (2.44) requires P = 0, and combining this with Eq. (2.40) we conclude that L is essentially an SL(2) element. Namely, in an appropriate choice of gauge it is given by K ( τ) 0 L = L ( τ ≡ τ + i τ ∈ H ), (2.46) 0 1 2 + i⊕ where L ∈ SL(3, R) is a constant matrix. The condition P = 0 obtained from Eq. (2.45) requires 0 ∗ the function τ to be a holomorphic function of z. 9/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato Finally, we can determine the function g by using δψ = D = 0. For this equation to hold for m m = 0, the sum of three connections ω, Q, and Q must be pure gauge, and we can take the gauge ↑++ in which ω + Q + Q = 0. (2.47) m67 m12 m12 This gives the differential equation i i i ∂ g = ∂ τ + ∂ τ , (2.48) z z 2 z 2 g 2τ 2 τ 2 2 which is solved by g = c τ τ , (2.49) 2 2 m m where c is a positive real constant, which can be absorbed by the coordinate change cx → x . The solution is summarized as follows: L = K (τ ), τ = τ + iτ , (2.50) i 1 2 K ( τ) 0 L = L , L ∈ SL(3, R), τ = τ + i τ , (2.51) 0 0 1 2 2 μ ν m m ds = η dx dx + τ τ dx dx . (2.52) μν 2 2 This is the general form of 1/4 BPS solutions. A solution is speciﬁed by two holomorphic functions τ(z) and τ(z) and constant L ∈ SL(3, R). 1/2 BPS solutions are realized as special cases of this solution. Let us consider the case in which the supersymmetries associated with and its conjugate are also preserved in addition to ↑−+ ↓+− ↑++ and its conjugate . Equation (2.42) shows that and have negative six-dimensional ↓−− ↑−+ ↓+− chirality and we have N = (1, 1) supersymmetry in this case. The Killing spinor equations including are ↑−+ 0 = δλ = P , (2.53) ↑−+ ↓++ i i3 0 = δλ = √ P ∗ , (2.54) ↑−+ ↓−+ i⊕ 0 = δλ = iP , (2.55) ↑−+ ↓−− z 0 = δψ = D . (2.56) m,↑−+ ↑−+ −− We have the additional condition P = 0 from Eq. (2.53), and this requires τ to be anti-holomorphic. This means τ must be a constant. Then the other equations hold. There is another type of 1/2 BPS solution with , = 0. Equation (2.42) shows that these ↑+− ↓−+ components have positive six-dimensional chirality, and we obtain N = (2, 0) supersymmetry in six dimensions. The Killing spinor equations including are ↑+− ⊕ ⊕⊕ 0 = δλ = P , (2.57) ↑+− ↓−− i i3 0 = δλ = √ P , (2.58) z ↑+− ↓+− 10/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato Table 5. The non-trivial 5-brane solutions in D = 8 supergravity and worldvolume supersymmetries. N = (1, 0) N = (1, 1) N = (2, 0) τ holomorphic constant holomorphic τ holomorphic holomorphic constant Table 6. The ﬁeld contents of seven-dimensional maximal supergravity. Anti-symmetric tensor ﬁelds are omitted. SO(5) e 1 vielbein L 5 scalars ψ 4 gravitino λ 16 dilatino, ρ λ = 0 i i i 0 = δλ = P , (2.59) ↑+− ↓++ z 0 = δψ = D . (2.60) m,↑+− ↑+− Equation (2.59) gives the new condition P = 0, and this means τ is a constant. Then the other conditions are satisﬁed. Finally, let us consider the case with and non-vanishing. The Killing spinor equations ↓++ ↑−− including are ↓++ ⊕ ⊕⊕ 0 = δλ = P , (2.61) ↓++ ↑−+ i i3 0 = δλ = √ P , (2.62) ↓++ ↑++ i i⊕ 0 = δλ = iP , (2.63) z ↓++ ↑+− 0 = δψ = D . (2.64) m m ↓++ ⊕⊕ The ﬁrst gives the additional condition P = 0, which requires τ to be a constant, and the third i⊕ gives P = 0, and this means constant τ . Then, the solution becomes the trivial ﬂat solution, and all supersymmetries are preserved. We summarize the non-trivial BPS solutions in Table 5. As shown there, two holomorphic functions τ and τ correspond to two types of branes. Namely, singularities of τ and τ give 5-branes with N = (2, 0) and N = (1, 1) supersymmetry, respectively. 1/4 BPS solutions with N = (1, 0) supersymmetry are regarded as simple superposition of two types of branes. The most general 1/4 BPS solutions are embedded in SL(2) × SL(2) ⊂ SL(2) × SL(3). These two SL(2) factors are manifest in the type IIB frame. Namely, the SL(2) factor that is a subgroup of SL(3) can be associated with the axio-dilaton ﬁeld in type IIB theory, and the other SL(2) is associated with the internal space T . From the viewpoint of F-theory the 1/4 BPS solution can be regarded as a compactiﬁcation of the F-theory in a Calabi–Yau realized as T ﬁbration over C. 2.4. D = 7 The seven-dimensional maximal supergravity has the ﬁeld contents in Table 6 [21,22]. The scalar manifold of seven-dimensional maximal supergravity is SL(5)/SO(5). There is no duality frame 11/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato which manifests the whole of the duality group SL(5, Z) and the R-symmetry group SO(5) . When we regard the system as the T compactiﬁcation of M-theory SL(4)/SO(4) becomes manifest, while T compactiﬁcation of type IIB theory manifests SL(3)/SO(3) × SL(2)/SO(2). Combining these we obtain the full symmetry. The relevant part of the Lagrangian is e e MNP L = R − (ψ D ψ ) N P 2 2 e e e Mij M N M i j − P P − (λ D λ ) + (ψ ρ λ )P , (2.65) Mij M i Nij 2 2 2 and the supersymmetry transformation rules for fermions are δψ = D , M M M j δλ = P ρ . (2.66) i Mij The transformation parameter belongs to the spinor representation of H = SO(5), and the covariant derivative D includes the connection Q . M Mij μ m We are interested in codimension-2 brane solutions and we use x (μ = 0, 1, ... , 4) and x (m = 5, 6) for longitudinal and transverse coordinates, respectively. By assuming the Poincaré invariance in the ﬁve dimensions parallel to the brane, we take the following ansatz: m μ μ μ a m a m m L = L(x ), e = δ dx , e = g(x )δ dx , = (x ). (2.67) μ m Let us ﬁrst consider the case with the minimum number of unbroken supersymmetries. The super- symmetry parameter belongs to the 4 of SO(5) symmetry, and in the minimum case we have only one non-vanishing component. Then the R-symmetry is broken to SU (2) × U (1) ⊂ SO(5) . It is convenient to consider the intermediate subgroup SU (2) × SU (2) ∼ SO(4) ⊂ SO(5) . The l r R parameter is decomposed into four irreducible representations (2, 1) 1 and (1, 2) 1 of SU (2) × ± ± 2 2 SU (2) × SO(2) .(SO(2) is the local Lorentz symmetry in the transverse space.) We denote r 56 56 them as →{ , }, (2.68) s,a s,a ˙ where s =↑, ↓ represent the SO(2) charges and a and a ˙ are indices for SU (2) and SU (2) , 56 l r respectively. The ﬁelds P and Q are decomposed as Q →{Q , Q , Q }, P →{P, P , P }, (2.69) ij aa ˙ ˙ ij ˙ ˙ (ab) (a ˙b) ab (ab)(a ˙b) and the dilatino λ as λ →{λ , λ , λ , λ }, (2.70) sa sa ˙ s(ab)a ˙ ˙ sa(a ˙b) where a pair of indices in parenthesis are symmetric. If we choose as the component for the unbroken supersymmetry, SU (2) is broken to U (1) . The connection Q should take its value in r r SU (2) × U (1) . Namely, Q = Q = Q = 0 and the only non-vanishing components are r aa ˙ ˙ ˙ ˙ ˙ 11 22 Q , Q . (2.71) (ab) ˙ ˙ 12/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato The appear in the supersymmetry transformation as ↑˙a δλ = P , (2.72) ↓a ∗ ˙ z ab ↑ δλ = P , (2.73) ↓˙a z ↑˙a δλ = P , (2.74) ↓(ab)a ˙ ˙ z (ab)(a ˙b) δλ = P . (2.75) ˙ z a(a ˙ ˙ ↓a(a ˙b) ↑b) (We omitted the numerical coefﬁcients that are not important here.) If we require δλ = 0 for = 0, ↑1 ∗ ∗ ∗ we obtain P = P = P = 0 and the only non-vanishing components of P are z z aa ˙ ∗ ˙ z z (ab)(a ˙2) P . (2.76) ˙ ˙ z (ab)(11) (We also have similar conditions for P from the equations containing ∼ ( ) .) Equations (2.71) z ˙ ˙ ↓2 ↑1 and (2.76) show that non-vanishing components of P and Q are associated with a subgroup SO(4) ⊂ SO(5) . As we mentioned above, the SO(4) subgroup of SO(5) can be realized geometrically if we R R regard the theory as T compactiﬁcation of M-theory. We want to give the scalar ﬁelds L such that P and Q have only the non-vanishing components of Eqs. (2.76) and (2.71). Unfortunately, we have not obtained the answer. To simplify the problem, (Q) let us consider a restricted case with P = 0. Then F = P ∧ P takes value in the Cartan part (12) of SU (2) × U (1), and we can take the gauge such that Q = Q = 0; then the non-vanishing (11) (22) components are Q , Q , P , P . (2.77) (12) ˙ ˙ ˙ ˙ ˙ ˙ (12) (11)(11) (22)(11) In this case, with an appropriate real basis, the 5 × 5 matrices P and Q are block diagonal matrices in the following form: ⎛ ⎞ ⎛ ⎞ Q P ⎜ ⎟ ⎜ ⎟ Q = Q , P = P . (2.78) ⎝ ⎠ ⎝ ⎠ 0 0 Therefore, the solution reduces to the superposition of two copies of solutions for the SL(2, R)/SO(2) scalar manifold. In the same way as in higher dimensions, each SL(2, R) part can be expressed in terms of a holomorphic function. Let the two holomorphic functions be τ and τ . The solution is given by ⎛ ⎞ K (τ ) ⎜ ⎟ L = , (2.79) ⎝ K (τ ) ⎠ 2 μ ν m m ds = η dx dx + τ τ dx dx . (2.80) μν 2 2 As a special case of this 1/4 BPS solution we can realize the 1/2 BPS solution. Let us consider the cases where there is another Killing spinor in addition to . There are two cases. First, let us consider the case that is also a Killing spinor. In this case, from 0 = δλ = P (2.81) ˙ ∗ ˙ ↓(a ˙b)a z (ab)(a ˙b) ↑ 13/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato we obtain P = 0. Then the only non-vanishing component of P is P . In this case, ∗ ∗ ˙ z ˙ ˙ z (11)(11) z (a2)(a ˙b) just like the case of the 1/2 BPS solution in eight dimensions, we can show that one of τ and τ must be a z-independent constant. If two Killing spinors have the same SO(4) chirality, Eq. (2.74) requires P = 0. Namely, ∗ ˙ z (ab)(a ˙b) (Q) all components of P vanish. Because F = P ∧ P = 0 we can choose a gauge with Q = 0. Therefore, the solution is trivial. 3. Conclusions In this paper we investigated codimension-2 BPS solutions in maximal supergravities in 9, 8, and 7 dimensions. We assumed the Poincaré invariance along branes and vanishing of various gauge ﬁelds. The scalar manifold of nine-dimensional maximal supergravity is (SL(2, R)/SO(2)) × R. In a BPS solution the scalar ﬁeld associated with the factor R must be constant and play no role. Therefore, the solutions are essentially the same as those of type IIB supergravity in ten dimensions, and simply interpreted as the double dimensional reduction of type IIB 7-branes. In eight dimensions, the scalar manifold consists of the two factors SL(2, R)/SO(2) and SL(3, R)/SO(3). The Killing spinor equations associated with these factors decouple, and we can solve them one by one. From the SL(2, R)/SO(2) part we obtain 1/2 BPS branes on which six- dimensional N = (2, 0) supersymmetry is realized, while from the SL(3, R)/SO(3) part we obtain 1/2 BPS solutions on which six-dimensional N = (1, 1) supersymmetry is realized. The latter is always embedded in SL(2, R)/SO(2) ⊂ SL(3, R)/SO(3). These two types of solutions have essen- tially the same structure as the 7-brane solution in ten dimensions. Namely, each type of classical solution is speciﬁed by a holomorphic function and singularities of the function give branes. We also found 1/4 BPS solutions, which are speciﬁed by two holomorphic functions and are regarded as simple superposition of two types of 1/2 BPS solutions. If we regard the eight-dimensional supergravity as the T compactiﬁcation of type IIB theory, the two copies of SL(2, R)/SO(2) are associated with the complex moduli of the torus and the axio-dilaton ﬁeld in type IIB theory, and both are geometrically realized in F-theory. In seven dimensions, a generic BPS solution is 1/4 BPS. We showed that such solution can be embedded in SL(4, R)/SO(4) ⊂ SL(5, R)/SO(5). This means the solution can be realized as a geometric compactiﬁcation of M-theory. We could not solve the Killing spinor solutions in the general situation. We introduced one additional restriction to simplify the problem, and then the solution is factorized into two copies of solutions associated with SL(2, R)/SO(2). Again, similarly to the eight-dimensional case, the solution can be regarded as a simple superposition of two 1/2 BPS solutions. Although our original motivation for this work was to ﬁnd essentially new BPS branes, all the solutions we found have simple geometric realization in M- or F-theory. Acknowledgements We would like to thank Tetsuji Kimura for valuable discussions. The work of Y.I. was partially supported by Grant-in-Aid for Scientiﬁc Research (C) (No. 15K05044), Ministry of Education, Science and Culture, Japan. Funding Open Access funding: SCOAP . 14/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato Appendix. Notes on our notation We denote the Dirac matrices for the SO(2) group by ρ (i = 1, 2). We use the representation R i ρ = σ , ρ = σ , (A1) 1 x 2 y where σ are the Pauli matrices. We use lower indices a, b, ... for two-component spinors, and x,y,z thus the matrices acting on them have lower and upper indices like (ρ ) . For components of spinors i a we deﬁne the SO(2) charge as eigenvalues of the generator (−i/2)ρ . This means the upper and R 12 the lower components of spinors carry the charges +1/2 and −1/2, respectively. To specify these components of a spinor χ we use the notation χ and χ , respectively. + − For the analysis of the Killing spinor equations it is convenient to use a complex basis for vectors. i ⊕ 1 1 2 For example, for a vector v (i = 1, 2) we deﬁne v = v = (v + iv ) and v = v = 1 2 i (v − iv ).For ρ we have 0 2 00 ρ = ρ = , ρ = ρ = . (A2) 00 20 With this representation the lower index ⊕ and upper index carry SO(2) charge +1, while the lower and upper ⊕ carry SO(2) charge −1. This is checked by looking at the non-vanishing i + components of ρ . For example, the non-vanishing component of ρ is (ρ ) , and the total charge ⊕ ⊕ − of this component must be zero. The statement above about SO(2) charge is consistent with this. For the local rotation symmetry in the transverse space to branes we use up and down for the SO(2) charge (spin) ±1/2. With the choice of the Dirac matrices, the lower indices z and z carry spin +1 and −1, respectively. In eight dimensions we also deal with SO(3) symmetry. The notation is basically the same as the SO(2) case except that we put tildes on variables and indices to distinguish them from SO(2) R R objects. We specify components of spinors by eigenvalues of the Cartan generator (−i/2)ρ . χ ⊕ 3 carry the charge ±1/2, and a vector v has three components, v = v , v = v , and v = v , that carry the Cartan charges +1, −1, and 0, respectively. In the following we give relations of the ﬁelds in this paper and those in the references. We will not give detailed explanations for normalization of ﬁelds, spinor conventions, etc., because they are not important in our analysis of the Killing spinor equations. We focus on giving a rough correspondence between the ﬁelds used in this paper and those in the references. D = 10 Ten-dimensional supergravity is given in Ref. [16]. The global symmetry SL(2, R) is isomorphic to SU (1, 1). In Ref. [16] the scalar ﬁelds are expressed as the matrix V , which is deﬁned with a complex basis natural for SU (1, 1). The real matrix L used in this paper is related to V by 1 1 1 1 V V L L 1 −i − + 1 2 = U U , U = √ . (A3) 2 2 2 2 V V L L 1 i − + 1 2 2 The dilatino ﬁeld λ in Ref. [16] is deﬁned as the ﬁeld with U (1) charge ±3/2, while we denote this as a ﬁeld with vector and spinor indices. They are related by λ ∼ λ , λ ∼ λ . (A4) + − Due to the ρ-traceless condition, λ = λ = 0. + − 15/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018 PTEP 2018, 053B01 Y. Imamura and H. Kato D = 9 The nine-dimensional maximal supergravity is given in Ref. [17]. Two dilatino ﬁelds in Ref. [17] are renamed as λ and λ to match the ﬁelds in the other dimensions. SO(2) Dirac matrices are denoted by τ in Ref. [17] while we use ρ for them. i i D = 8 The eight-dimensional maximal supergravity is given in Ref. [18]. The dilatino ﬁeld χ in Ref. [18] does not satisfy the ρ-traceless condition, and we decompose it into the traceless part λ and the trace part λ . To make the SL(2, R)/SO(2) structure manifest we combine the scalar ﬁelds φ and B in Ref. [18] into the matrix L . With a gauge choice like Eq. (2.15) these are related by L = K (τ ) 2φ with τ =−2B + ie . D = 7 The seven-dimensional maximal supergravity is given in Ref. [22]. In the reference the scalar matrix is denoted by instead of L. The notation for other ﬁelds is similar to ours. References [1] B. R. Greene, A. Shapere, C. Vafa, and S.-T. Yau, Nucl. Phys. B 337, 1 (1990). [2] P. C. Argyres and M. R. Douglas, Nucl. Phys. B 448, 93 (1995) [arXiv:hep-th/9505062][Search INSPIRE]. [3] P. C. Argyres, M. R. Plesser, N. Seiberg, and E. Witten, Nucl. Phys. B 461, 71 (1996) [arXiv:hep-th/9511154][Search INSPIRE]. [4] O. Aharony and M. Evtikhiev, J. High Energy Phys. 04, 040 (2016) [arXiv:1512.03524 [hep-th]] [Search INSPIRE]. [5] I. García-Etxebarria and D. Regalado, J. High Energy Phys. 03, 083 (2016) [arXiv:1512.06434 [hep-th]] [Search INSPIRE]. [6] I. García-Etxebarria and D. Regalado, J. High Energy Phys. 12, 042 (2017) [arXiv:1611.05769 [hep-th]] [Search INSPIRE]. [7] S. Elitzur, A. Giveon, D. Kutasov, and E. Rabinovici, Nucl. Phys. B 509, 122 (1998) [arXiv:hep-th/9707217][Search INSPIRE]. [8] N. A. Obers and B. Pioline, Phys. Rept. 318, 113 (1999) [arXiv:hep-th/9809039][Search INSPIRE]. [9] J. de Boer and M. Shigemori, Phys. Rev. Lett. 104, 251603 (2010) [arXiv:1004.2521 [hep-th]] [Search INSPIRE]. [10] A. Kumar and C. Vafa, Phys. Lett. B 396, 85 (1997) [arXiv:hep-th/9611007][Search INSPIRE]. [11] C. M. Hull and P. K. Townsend, Nucl. Phys. B 438, 109 (1995) [arXiv:hep-th/9410167][Search INSPIRE]. [12] K. Kodaira, Ann. Math. 77, 563 (1963). [13] A. Sen, Nucl. Phys. B 475, 562 (1996) [arXiv:hep-th/9605150][Search INSPIRE]. [14] K. Dasgupta and S. Mukhi, Phys. Lett. B 385, 125 (1996) [arXiv:hep-th/9606044][Search INSPIRE]. [15] M. R. Gaberdiel and B. Zwiebach, Nucl. Phys. B 518, 151 (1998) [arXiv:hep-th/9709013][Search INSPIRE]. [16] J. H. Schwarz, Nucl. Phys. B 226, 269 (1983). [17] H. Nishino and S. Rajpoot, Phys. Lett. B 546, 261 (2002) [arXiv:hep-th/0207246][Search INSPIRE]. [18] A. Salam and E. Sezgin, Nucl. Phys. B 258, 284 (1985). [19] J. X. Lu and S. Roy, Nucl. Phys. B 538, 149 (1999) [arXiv:hep-th/9805180][Search INSPIRE]. [20] T. Kimura, Nucl. Phys. B 893, 1 (2015) [arXiv:1410.8403 [hep-th]] [Search INSPIRE]. [21] E. Sezgin and A. Salam, Phys. Lett. B 118, 359 (1982). [22] M. Pernici, K. Pilch, and P. van Nieuwenhuizen, Phys. Lett. B 143, 103 (1984). 16/16 Downloaded from https://academic.oup.com/ptep/article-abstract/2018/5/053B01/4994004 by Ed 'DeepDyve' Gillespie user on 21 June 2018

Progress of Theoretical and Experimental Physics – Oxford University Press

**Published: ** May 8, 2018

Loading...

personal research library

It’s your single place to instantly

**discover** and **read** the research

that matters to you.

Enjoy **affordable access** to

over 18 million articles from more than

**15,000 peer-reviewed journals**.

All for just $49/month

Query the DeepDyve database, plus search all of PubMed and Google Scholar seamlessly

Save any article or search result from DeepDyve, PubMed, and Google Scholar... all in one place.

Get unlimited, online access to over 18 million full-text articles from more than 15,000 scientific journals.

Read from thousands of the leading scholarly journals from *SpringerNature*, *Elsevier*, *Wiley-Blackwell*, *Oxford University Press* and more.

All the latest content is available, no embargo periods.

## “Hi guys, I cannot tell you how much I love this resource. Incredible. I really believe you've hit the nail on the head with this site in regards to solving the research-purchase issue.”

Daniel C.

## “Whoa! It’s like Spotify but for academic articles.”

@Phil_Robichaud

## “I must say, @deepdyve is a fabulous solution to the independent researcher's problem of #access to #information.”

@deepthiw

## “My last article couldn't be possible without the platform @deepdyve that makes journal papers cheaper.”

@JoseServera

DeepDyve ## Freelancer | DeepDyve ## Pro | |
---|---|---|

Price | FREE | $49/month |

Save searches from | ||

Create lists to | ||

Export lists, citations | ||

Read DeepDyve articles | Abstract access only | Unlimited access to over |

20 pages / month | ||

PDF Discount | 20% off | |

Read and print from thousands of top scholarly journals.

System error. Please try again!

or

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.

ok to continue