Contents

ROM2F/2019/04

The two faces of T-branes

Iosif Bena, Johan Blåbäck , Raffaele Savelli , Gianluca Zoccarato

Institut de Physique Théorique, Université Paris Saclay, CEA, CNRS,

Orme des Merisiers, F-91191 Gif sur Yvette, France

[2mm] Dipartimento di Fisica, Università di Roma “Tor Vergata” & INFN - Sezione di Roma2

Via della Ricerca Scientifica 1, 00133 Roma, ITALY

[2mm] Department of Physics and Astronomy, University of Pennsylvania,

[8mm]

iosif.bena [AT] ipht.fr

{johan.blaback, raffaele.savelli} [AT] roma2.infn.it

gzoc [AT] sas.upenn.edu

Abstract

We establish a brane-brane duality connecting T-branes to collections of ordinary D-branes. T-branes are intrinsically non-Abelian brane configurations with worldvolume flux, whereas their duals consist of Abelian brane systems that encode the T-brane data in their curvature. We argue that the new Abelian picture provides a reliable description of T-branes when their non-Abelian fields have large expectation values in string units. To confirm this duality, we match the energy density and all the electromagnetic couplings on both sides. A key step in this derivation is a non-trivial factorization of the symmetrized-trace non-Abelian Dirac-Born-Infeld action when evaluated on solutions of the -corrected Hitchin system.

1 Introduction

T-branes are among the most intriguing objects in String Theory. They were first realized as configurations of stacks of ordinary D-branes on which the vacuum expectation values of two of the worldvolume scalars and of the worldvolume flux are mutually non-commuting [1] (see also [2]). This non-Abelian piece of brane physics implies that geometric data alone is not enough to characterize them, which makes their behavior somewhat exotic from a model-building viewpoint. This is one of the main reasons for their intense investigation in the past few years [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32].

In previous work [17], three of the authors and Minasian have shown that certain T-brane solutions preserving eight supercharges have a new description in the regime of parameters where the non-Abelian fields have large expectation values in string units, in terms of a collection of ordinary branes with commuting worldvolume scalars. This suggests a type of brane-brane duality, similar in spirit to the Myers effect [33, 34], by which non-Abelian brane configurations in one regime of parameters correspond to charges and dipole moments of higher-dimensional Abelian branes in another regime of parameters. The crucial difference is that T-branes do not polarize, so the data of the non-Abelian description is not encoded in the dipole moments of some higher-dimensional brane, but rather in the curved shape of the holomorphic manifold wrapped by Abelian branes of the same dimension.

The evidence for the brane-brane duality conjectured in [17] came via a rather indirect chain of reasoning that involved T-duality and the Myers effect, and depended crucially on certain details of the starting non-Abelian solutions. It is the purpose of this paper to show that this duality is a universal feature of all T-brane solutions, and to establish a way to systematically obtain the Abelian description of T-branes starting from their traditional non-Abelian description.

One highly non-trivial check of this duality is to match both brane actions, the Dirac-Born-Infeld (DBI) and the Wess-Zumino (WZ) ones, on the Abelian and the non-Abelian side. This guarantees that the energy density and all the induced brane charges agree in the two descriptions. Given the complexity of the non-Abelian brane action, at first glance such a match appears rather unlikely, except perhaps for very peculiar solutions. However, we will show that, upon taking into account curvature corrections to the Hitchin system and doing some rather non-trivial manipulations, one can establish this match systematically and in full generality. In particular, we will show that achieving the match is impossible unless the Abelian branes branch out into several components, according to a pattern dictated by the matrix structure of the T-brane worldvolume scalars.

To translate the T-brane non-Abelian data to the Abelian side, the strategy we will use is to first considerably simplify the expressions of the brane actions by making use of the supersymmetry equations, and then to formulate the duality match as a set of differential equations whose solution determines the holomorphic manifold wrapped by the branes in the Abelian description.

We will be able to establish the duality not only for T-branes preserving eight supercharges but also for T-branes preserving only four. The equations describing them are much more complicated (and also have much more interesting physics) and, to match all of their couplings, one needs to also take into account the next-to-leading order corrections to the supersymmetry equations and to the action.

We expect that effects coming from the finite size and nontrivial curvature of the cycles wrapped by T-branes will be suppressed as powers of , where is a typical size of the compactification manifold. Hence we will derive our dictionary restricting our analysis to T-branes extended on flat hyperplanes in a non-compact space. A common feature of the Abelian branes dual to these T-branes is that their worldvolume has no electromagnetic fluxes but has a non-trivial curvature. It is this curvature that encodes the information contained in the non-Abelian electromagnetic flux of the T-branes.

Even though one can construct T-branes with any kind of D-branes111with for 8 supercharges and for 4 supercharges., for traditional reasons we focus on T-branes constructed using D7-branes. We take them extended on times a four-dimensional “internal” hyperplane. The standard formulation of their supersymmetric dynamics is in terms of a Hitchin-like system [35], depending on a complex worldvolume scalar (the so-called Higgs field) valued in the Lie Algebra of the gauge group, parameterizing the two transverse directions of the D7-branes.222We will be working in non-compact space and regard as a scalar rather than as a top holomorphic form. Calling the non-Abelian gauge field living on the stack of D7-branes and its field strength and respectively, minimal supersymmetry on is preserved if and only if the following equations are satisfied:333Here we write the equations at leading order in . We will discuss perturbative corrections in Section 3.

 ¯∂AΦ=0,F(0,2)2=0,2J∧F2+⋆[Φ,Φ†]=0, (1.1)

where we have fixed the complex structure on the brane worldvolume and have denoted the anti-holomorphic covariant derivative by , and the superscript on the two-form field strength selects its component. Moreover is the Kähler -form of the internal part of the brane worldvolume, is the Hodge-star operator on it, and denotes complex conjugation and matrix transposition. T-branes are generally defined as solutions of the above equations for such that . Because of the last equation in (1.1), T-branes necessarily involve non-primitive worldvolume fluxes, which are therefore not purely anti-self-dual. While solutions preserving only four supercharges have the pair vary over a four-dimensional submanifold of the D7-brane worldvolume, for those preserving eight supercharges we only allow non-trivial profiles on a two-dimensional submanifold. Hence, for eight supercharges, the middle equation in (1.1) is trivially satisfied.

We will outline a general methodology that, given a T-brane solution of the Hitchin system (1.1) as an input, allows us to construct the profiles of the Abelian branes dual to it. Such profiles will emerge as solutions to the differential equations arising from matching the brane actions, subjected to boundary conditions imposed by the given Lie Algebra structure of . We will find that such profiles describe holomorphic submanifolds of the target space, compatibly with supersymmetry (complex curves and complex surfaces for eight and four preserved supercharges respectively). However, since the duality involves non-holomorphic data through the last equation of (1.1), the complex structures of the brane worldvolumes that make supersymmetry manifest on both sides simultaneously are in general not equivalent.

Before beginning, it is important to understand the range of validity of the Abelian description of T-branes we are proposing and its possible overlap with the non-Abelian description above. Clearly, when the curvature of the hypersurface the Abelian branes wrap is large, the Abelian picture breaks down. At this scale, the non-Abelian picture in terms of the Hitchin system takes over, since the expectation values of the non-Abelian fields drop below the string scale.

Conversely, the non-Abelian description stops being valid for large values of flux densities (or equivalently of worldvolume-scalar commutators), because the non-Abelian DBI action, based on the symmetrized-trace prescription [36, 33], is known to disagree with string perturbation theory starting at order [37, 38]. This happens because for non-Abelian fields, certain terms containing derivatives of the fluxes can be rewritten as powers of the fluxes; this in turn makes the approximation of neglecting gradients of the flux while keeping powers of it, on which the DBI action is based, ill-defined [39].

However, if we use minimal supersymmetry in four dimensions, and consider the on-shell DBI action, the validity of the non-Abelian description appears to extend to large expectation values of the non-Abelian fields. As we will discuss in Section 3, this happens essentially because corrections to the last equation of (1.1), which are generally out of control because of the absence of holomorphicity, are related to corrections of the WZ action, and thus take a particularly well-controlled form. This, in turn, makes it possible to remove any ambiguity from the non-Abelian DBI action by writing it on-shell. We therefore argue that the symmetrized-trace prescription for the non-Abelian DBI action, when the latter is evaluated on a solution of the (-corrected) Hitchin system, describes the physics correctly even for large non-Abelian-field vevs.

The rest of the paper is organized into two main Sections, 2 and 3, which discuss T-branes solutions preserving eight and four supercharges respectively. Their structure is similar: We first describe the non-Abelian side and write down the corresponding DBI and WZ actions; then we do the same on the Abelian side; finally we derive the full set of conditions needed to match the actions on both sides. In Section 2.2 we propose an algorithmic procedure to use these duality conditions and to construct the Abelian dual of a given T-brane. In Section 2.3 we apply this method to revisit the example presented in [17]. Finally, in Section 4 we draw our conclusions and list a number of interesting questions left unanswered.

Since this paper involves several technically heavy computations, we report only a limited amount of details and results here, and accompany the paper with a Mathematica notebook [40] which the reader is referred to for all the details.

2 Eight supercharges

In this section we will focus on generic T-branes preserving eight supercharges, and work out their dual Abelian description. In Section 2.1 we will establish the general set of rules that this description needs to meet and discuss its features. We will then discuss in Section 2.2 how to find in principle explicit solutions for the dual picture, and finally in Section 2.3 we will apply the duality to a specific six-dimensional T-brane configuration, revisiting the example presented in [17].

2.1 Duality

As we outlined in the Introduction, to establish our duality we have to demand that the energy density and the charge densities on the two sides are the same. These are complicated functions of the worldvolume coordinates, given by the DBI action and the couplings to the various Ramond-Ramond potentials in the WZ action. We start by deriving these expressions on both sides, and then proceed to lay down the general dictionary to match them.

2.1.1 The non-Abelian side: Hitchin system

Let us consider flat ten-dimensional space-time in Type IIB string theory and a flat stack of D7-branes. For T-brane configurations preserving eight supercharges, we can just restrict our attention to a factor of the ten-dimensional space-time, which we parametrize by and , and disregard the remaining six directions. The non-Abelian complex worldvolume scalar is written in terms of real scalars as , and the brane stack is embedded through the trivial holomorphic equation .444The superscripts and denote quantities on the non-Abelian side and on the Abelian side respectively. We denote the only two real worldvolume coordinates we care about by , and choose to work in static gauge, meaning , . Given the space-time complex structure chosen, this specifies the complex structure on the worldvolume such that is the holomorphic coordinate.555Even though these appear as trivial remarks at this point, they are important for our later analysis, because the duality generically modifies the complex structure of the brane. Having made this choice, we can write the equations governing the supersymmetric dynamics of this configuration in the form of a Hitchin system (1.1). As it will be more useful for us, let us express it in terms of real coordinates:

 Dσϕ8=Dsϕ9,Dsϕ8+Dσϕ9=0,Fσs−i[ϕ8,ϕ9]=0, (2.1)

where we have used the fact that , , and we have defined . In the following, we will be using the short-hand notation . As stated in the introduction, we focus on configurations where , and where is along the Cartan of the gauge group.

The non-Abelian WZ action for a D-brane, including Myers’s terms [33] and curvature corrections [41, 42, 43] is:

 S\tiny WZ=μp∫STr[P[eiλιϕιϕC∧eB]∧eλF2]∧ ⎷^A(2πλRT)^A(2πλRN), (2.2)

where and , P denotes pull-back to the brane worldvolume, corresponds to contraction with the normal vector , is the Ramond-Ramond polyform, is the NS-NS two-form, and STr indicates symmetric trace. The last factor corresponds to the curvature corrections, expressed in terms of the so-called -roof genus, a polyform whose first non-trivial term is a four-form. For the moment, we can ignore these curvature terms, because only two dimensions of the brane worldvolumes we consider throughout this section are going to carry curvature. We will come back to them in Section 3.2.

Let us choose for definiteness . There are three types of RR fields that will have non-trivial couplings on both sides of this duality:666We use the following notation here: , where are collective coordinates for the subspace of the space-time.

• . This is the component along and , arising from the trivial pull-back of the static gauge and .

• . These components of arise in two ways: Non-Abelian pull-back which uses as transverse coordinate, and non-Abelian contraction followed by wedge with .

• Mixed. In principle there could be couplings to forms with mixed legs, of the type , in which we have a non-trivial, non-Abelian pull-back corresponding to the coordinate , and a trivial one corresponding to the coordinate . These terms will contain one power of the scalar . Since this field is traceless all these couplings are zero.

The final expression for the WZ action on the non-Abelian side can be written as (see [40] for details)

 S(A)\tiny WZ=μ7∫(NC(w1w2)8+λ2C(z1z2)8Tr{(Dσϕ8)2+(Dsϕ8)2−ϕcFσs})∧dσ∧ds, (2.3)

where we have used the first two equations of (2.1) to get rid of expressions containing . Note that the term , contained in (2.2), is zero for a T-brane solution because .

The non-Abelian DBI action [33] together with the curvature corrections [44], has the form777We use as a collective symbol for worldvolume coordinates.

 (2.4)

where is the dilaton and

 Qa b=δa b+iλ[ϕa,ϕc]Ecb,Eμν=Gμν+Bμν, (2.5)

with the space-time metric.

In the above, the indices are space-time indices, running from to , are worldvolume indices, running from to , and are transverse indices, running from to . The worldvolume Riemann and Ricci tensors are and respectively, and is the curvature two-form of the normal bundle. As before, these curvature terms vanish throughout this section. We will discuss them in more detail in Section 3.2, where they are going to play a key rôle.

Using the embedding of the D7-brane configuration outlined above, one can show that the DBI action (2.4) takes the form (see [40] for details)

 S(A)\tiny DBI=−μ7∫d6ξd% σdse−ϕ[N+λ2Tr{(Dσϕ8)2+(Dsϕ8)2−ϕcFσs}], (2.6)

where the first two equations of (2.1) have again been used to simplify this expression.

2.1.2 The Abelian side: Curved branes

With [17] as a guide, we look for a dual configuration involving ordinary D-branes wrapping curved, non-trivially embedded Riemann surfaces, without a worldvolume gauge field. The space-time is still parametrized by complex coordinates and , and the brane worldvolume by real coordinates and . If we insist on keeping supersymmetry manifest in our dual description, the brane embedding should be described as the zero-locus of a holomorphic function . Away from possible poles, we may always invert the latter equation and get a relation , which is better suited for the computations below. Since we fixed the real worldvolume coordinates on both sides of the duality to be , we also need to specify the relation , which we chose to be the identity on the non-Abelian side. This relation, in turn, will determine a choice of complex structure on the dual brane, which will in general not be holomorphically related to the one on the non-Abelian stack. This is to be expected, because the duality involves non-holomorphic data through the last equation of (2.1).888In this construction method, the freedom of reparametrization of the brane-worldvolume coordinates shows up as an overall modification in the relationship on both sides of the duality. Of course, to keep supersymmetry manifest, such modification needs to respect the holomorphic structure.

To establish the duality we will now derive the WZ action and the DBI action on this Abelian side, and compare them to the corresponding expressions (2.3) and (2.6) of the non-Abelian side. Let us start with the WZ action. Using the general formula (2.2), the fact that we have no worldvolume flux, and the holomorphicity of the embedding (i.e. ), we find (see [40] for details):

 S(A)\tiny WZ=μ7∫detJ[C(w1w2)8+C(z1z2)8|∂wz|2+(∂wz)C(z¯w)8+(∂¯w¯z)C(¯zw)8]∧dσ∧ds, (2.7)

where is the Jacobian matrix that pulls the space-time coordinates back to the worldvolume coordinates : .

We can see that there is a discrepancy between the Abelian couplings (2.7) and the non-Abelian ones (2.3), coming from the sources for the mixed forms and . Furthermore, one cannot impose these sources to be zero, since this would prevent the coupling to match. We also know that charge conservation imposes that the Abelian branes dual to a T-brane realized on D7 branes must also have charge .999One may attempt to formulate the dual description in terms of a single Abelian brane wrapped times, as done in [17]. This corresponds to fixing det, which still would not be sufficient to match the mixed terms.

Both of these issues can be resolved once we realize that the dual Abelian brane configuration is made of different strands, with WZ actions given by (2.7), each of them separated by a phase , for the strand. The action to be matched with the non-Abelian side is then the sum over the individual strands. The mixed terms get cancelled under this sum by appropriate choices of phase, for instance .

Explicitly this procedure means that the correct expression to match with (2.3) is instead

 S(A)\tiny WZ=N−1∑k=0μ7∫detJ[C(w1w2)8+C(z1z2)8|∂wz|2+e2πikN∂wzC(z¯w)8+e−2πikN∂¯w¯zC(¯zw)8]∧dσ∧ds=Nμ7∫detJ[C(w1w2)8+C(z1z2)8|∂wz|2]∧dσ∧ds. (2.8)

We will discuss the interpretation of this multi-branched Abelian brane when we revisit the explicit example of [17], in Section 2.3.

Let us now turn to the DBI action, which, using the general formula (2.4), can be written as (see [40] for details):

 S(A)\tiny DBI=−N−1∑k=0μ7∫d6ξdσdse−ϕ|detJ|(1+|∂wz|2)=−μ7N∫d6ξdσdse−ϕ|detJ|(1+|∂wz|2), (2.9)

where again we have used the holomorphicity of the embedding and the absence of flux. Notice that, the DBI action does not come with mixed terms before the sum over each strand of the Abelian brane. Also, note that, even though the worldvolume of the Abelian brane is curved, the curvature terms in the DBI (2.4) are still vanishing. This is because the curved part of the worldvolume is a Riemann surface, and thus the various curvature quantities appearing in (2.4) have the simple form

 (RT)α¯βγ¯δ(RT)α¯βγ¯δ =(Ω¯¯¯¯Ω)2h−4, (2.10) (RN)a¯bγ¯δ(RN)a¯bγ¯δ =(Ω¯¯¯¯Ω)2h−4, (2.11) (RT)α¯β(RT)α¯β =−(Ω¯¯¯¯Ω)2h−4, (2.12) ¯Ra¯b¯Ra¯b =−(Ω¯¯¯¯Ω)2h−4, (2.13)

where is the only surviving component of the second fundamental form, which we will discuss in more detail in Section 3.2, and is the hermitian metric on the Riemann surface.

2.1.3 Duality dictionary

We are now in the position to compare the two pairs of actions: The non-Abelian WZ (2.3) with the Abelian WZ (2.8), and similarly the DBI actions (2.6) and (2.9). Since we are going to establish a brane-brane duality, we must do it independently of closed-string data. Hence we have to match each -component in the WZ actions. This brings us to the following two real conditions

 detJ=1, (2.14) |∂wz|2=λ2NTr{(Dσϕ8)2+(Dsϕ8)2−ϕcFσs}, (2.15)

which also imply equality of the DBI actions.

In order to get acquainted with these conditions, let us start by understanding what they mean for ordinary D-branes with . While Equation (2.14) can be trivially solved by choosing a static gauge, Equation (2.15) can be rewritten as

 |∂wz|2=4λ2NTr|∂wΦ|2, (2.16)

where we have simultaneously diagonalized and . This equation simply follows from the equivalence of two different descriptions of an Abelian system of D7-branes: On one hand we can describe it as a stack of D7-branes placed at with a non-trivial vev for the Higgs field along the Cartan of the gauge group, and this corresponds to the r.h.s. of (2.16); on the other hand, the l.h.s. of (2.16) corresponds to describing the same system by the embedding function of each of the components (strands) of the stack. This equivalence is expressed by the identification

 zk(w)⟷2λ√NΦkk(w), (2.17)

where labels the strands, and where the rôle of the eigenvalues of as transverse-deformation fields is apparent.

In Equation (2.15) we have the trace of a matrix, but the dependence of such a trace highly depends on the details of the T-brane configuration we focus on. A particular configuration of T-brane type where we can explicitly extract the dependence of the trace is one in which are proportional to the generators of an subalgebra of the gauge algebra. For the gauge algebra, this happens for example when , where the sum extends over the set of simple roots , with associated generators . This corresponds to the principal nilpotent embedding, where the dependence of the trace is given by: .101010The explicit example we will discuss in Section 2.3 belongs to this class of T-brane configurations.

There is another important point we want to emphasize here. The non-Abelian side has a manifestly supersymmetric description in terms of the Hitchin system (1.1), where we fixed the complex structure on the brane stack by choosing . Similarly, on the Abelian side, supersymmetry has been made manifest by working with an holomorphic function . Solving equations (2.14) and (2.15) in particular amounts to specifying a new relation of the type . The trivial relation , chosen for the Hitchin system, would still solve Equation (2.14), that can also be written as

 detJ=−Im[∂σw∂s¯w]=1. (2.18)

However, as we will see explicitly later in an example, this relation would in general be incompatible with Equation (2.15), thereby forcing us to choose a different solving (2.14). Such a relation will in general alter the complex structure chosen on the brane in the non-Abelian picture, in the sense that and are linked by a non-holomorphic transformation:

 F(A)=F(A)(F(A),¯F(A)). (2.19)

We would also like to make an observation regarding the mixed terms in Equation (2.7) and their cancellation. As we mentioned in the previous subsection, these mixed terms are eliminated by a relative rotation for the of the strands of this Abelian brane. This is possible because the profile of each of these strands has to satisfy Equation (2.15), which is invariant under a constant phase shift of .

In the next subsection, we will prescribe the steps one would have to follow in order to derive, given an explicit T-brane solution on the non-Abelian side, the embedding of the dual Abelian brane satisfying equation (2.15).

2.2 A solving procedure

The discussion of the previous sections suggests the existence of a brane-brane duality, governed by the two real conditions written in (2.14) and (2.15). We would now like to study them in more detail: In particular, we are going to outline a systematic procedure that, given the non-Abelian-brane description as an input of the problem, may be used for the derivation of the Abelian-brane dual of the same system.

The starting point is to solve Equation (2.14), which means fixing the function . As is clear from (2.18), this equation does not have a unique solution. Consider for example the Ansatz

 w=F(A)(σ,s)=h(σ)eis/(h′(σ)h(σ)), (2.20)

which solves Equation (2.14) for any . In the above, the symbol indicates the derivative with respect to . However, the symmetry of Equation (2.18) under the interchange of and makes it possible to generate yet another Ansatz that solves (2.14). We have not attempted to study the solution space of (2.14), in particular how large this is. Rather, we stick with Ansatz (2.20), which will prove to be a viable choice in our working example, and proceed with the solving algorithm.

The second step would be to solve the differential equation (2.15), whose unknown is the function . However, the r.h.s. of (2.15) is explicitly expressed in terms of , and hence we would need to invert (2.20) and write in terms of , in order to be able to solve (2.15) for . But this is impossible until we specify completely. Nevertheless, we can still proceed by making an important observation. Equation (2.15) implies that the expression in its r.h.s. is an absolute value of a holomorphic function of , and not just of a holomorphic function of , as can be easily checked. Moreover, the logarithm of the absolute value of a holomorphic function is harmonic. We can now use the expression of the Laplace operator in terms of to convert this harmonicity condition into a differential equation constraining the Ansatz for , and fixing the -dependence on completely.

Summarizing, the algorithm goes as follows:

1. Start with an explicit solution to the Hitchin system, Eq. (2.1).

2. Fix an Ansatz solving Eq. (2.14).

3. Rewrite the harmonicity condition

 ∂w∂¯wlog(Tr{(Dσϕ8)2+(Dsϕ8)2−ϕcFσs})=0 (2.21)

in terms of , by using the expression , which follows from chain rule and Eq. (2.18). Now solve (2.21) for , using the explicit solution to the non-Abelian system (2.1).

4. If no solution is found, repeat Item 2 by finding a different Ansatz.

5. Having fixed the form of , we can now express in terms of using (2.20), finally rewrite Eq. (2.15) as a differential equation for , and solve it.

There is a little caveat here. Assuming that is a holomorphic function of is certainly not general enough, in the sense that poles may arise on the -plane (as we will see in the next section). However, the embedding of the Abelian brane can be globally described by a holomorphic function . In this description, the relevant quantity , which appears in the actions (2.8) and (2.9), should be replaced by . This can be seen as follows: On the Abelian-brane worldvolume, and is constant. Therefore its total derivative with respect to any coordinate on the brane must vanish, implying by chain rule that for any complex worldvolume coordinate . Going to static gauge, , we obtain the desired relation.

Before ending this section, we would like to stress that we have not investigated whether the above algorithm leads us to a unique solution for the Abelian side, given a specific input solution to the Hitchin system. We would expect, though, that every solution for of Equations (2.14) and (2.15) would be related to each another by holomorphic changes of the -variable, thereby leaving the brane physics invariant. It would be interesting to verify this statement.

2.3 Explicit example

In this section we will revisit the example of [17], in which the Abelian dual of a nilpotent T-brane configuration was derived. We will show how the procedure outlined in the previous section can be used to deduce and generalize the final result of [17].

The non-Abelian T-brane solution considered in [17] is given by

 ϕ8=g(σ)Σ1,ϕ9=g(σ)Σ2,As=ig′(σ)2g(σ)Σ3;g(σ)=C2sinh(Cσ), (2.22)

where the form an -dimensional representation of the algebra and is a real constant with the dimension of a mass. This is the input to our problem.

The next step of our procedure is to select an Ansatz solving (2.14), and we choose (2.20). Now we must evaluate and solve (2.21), which, after some manipulations, amounts to finding that satisfies

 (h′(σ))2Ξ−h(σ)(h′(σ)Υ+h′′(σ)Ξ)=0, (2.23)

with

 Ξ=sinh(Cσ)cosh(Cσ)(2+cosh(2Cσ))(5+cosh(2Cσ)),Υ=C[9+(2+cosh(2Cσ))(4cosh(2Cσ)−1)]. (2.24)

The differential equation (2.23) happens to have a fairly simple solution:

 h(σ)=31/4sinh(Cσ)C[2+cosh(2Cσ)]1/4, (2.25)

where integration constants have been chosen such that as . We will return to discuss the interpretation of these integration constants later on.

We now have explicitly given, and we are able to reformulate the r.h.s. of (2.15) in terms of and . For the particular solution at hand, the latter is independent of . Moreover we have . Therefore we can rewrite (2.15) as:

 |∂wz|2=λ2C4(N2−1)42/3sinh2(Cσ)+1sinh4(Cσ)⟶N≫1λ2N24h4(σ)=λ2N24(w¯w)2=∣∣∣λN2w2∣∣∣2, (2.26)

where, consistently with the procedure followed in [17], we took a large- approximation and hence have neglected corrections.

We can now solve the differential equation for , putting the integration constant (which gives position of the-center-of-mass of the Abelian brane) to zero. Equation (2.26) leaves us with the freedom of a constant phase, which can be chosen differently for each strand of the solution. Calling this phase for the strand, we have

 z=λN2weiχk. (2.27)

As described in Section 2.1, in order to cancel the mixed terms in the action, one convenient choice is for the strand.111111In [17], these phases were mistakenly chosen all equal, thus leaving mixed terms of the Abelian WZ action uncanceled. Note also that, in the method of [17], in contrast to the present one, this freedom of phase arose as the choice of integration constant of a first-order differential equation. In solving the differential equation (2.23), we have fixed two positive, real integration constants, and , in such a way as to recover a regular shape (2.27), without branch cuts. Different choices of such constants would amount to the holomorphic change of variable , which of course carries no physical information. A three-dimensional projection of this shape has been drawn in Figure 1, plotted for ten strands.

We would like to end this section by a few remarks. In [17] the family of solutions above (parametrized by ) was obtained using a chain of dualities: A first T-duality, followed by a brane-polarization effect, and a final T-duality. However, the last step was only taken for the representative of the family. The direct construction we obtain in this paper allows us to instead derive the Abelian dual of the whole family of solutions.

Also, note that the constant does not appear in the embedding expression (2.27), but is hidden in the expression of . In other words, does not affect the shape of the Abelian brane, which is thus the same for every solution in the family, but rather it determines the complex structure on its worldvolume, through Equation (2.25).

Another important improvement of our approach is that it allows us to derive an exact-in- Abelian dual. Indeed, nothing prevents us from solving Equation (2.26) without making any large- approximation, thereby obtaining the correct factor of rather than in the shape (2.27). While this seems perfectly consistent in the present context, it would not be so within the framework of [17], where the Abelian dual was derived using a T-dual Type-IIA brane configuration. The reason is that the T-dual D6-D8 system involved a compactly supported worldvolume flux on the funnel-shaped D8-brane worldvolume, which is integrally quantized and accounts for the units of D6-brane charge. It is precisely this quantization condition that forces the non-Abelian and the Abelian pictures to match only approximately at large . Here, on the contrary, we have never assumed the existence of a T-dual frame for our D7-brane configurations, and we have derived the duality in a completely non-compact context directly in Type IIB string theory. Therefore, we do not have to impose any further consistency constraints from tadpoles or flux quantization conditions, and consequently there is no reason to expect our duality not to be exact in . Extending our work to compact settings will certainly induce further requirements, and consequently the duality match may need a large- expansion to work.

Finally, one may be worried that the Abelian dual solution we just constructed is made of independent branes, thus giving rise to a gauge symmetry, as opposed to the single left unbroken by the corresponding non-Abelian solution. However, we can easily see that the different strands are all frozen by their boundary conditions, and all join at two points. Indeed, from Equation (2.27) it follows that the various strands never meet, except at infinity. To see what happens near infinity in either complex plane, it is convenient to replace with . Working in units of , in the homogeneous coordinates of the two ’s the equation for the surface (2.27) becomes

 z1w1=N2e2πikNz2w2. (2.28)

So far we have been looking at the patch where and are both non-zero and therefore it is possible to set them to 1. However, there are four affine patches in total. Calling the patch where the coordinate does not vanish , we have

 Uz2∩Uw2 → zw=N2e2πikN, (2.29) Uz1∩Uw2 → w=N2e2πikN~z, (2.30) Uz2∩Uw1 → z=N2e2πikN~w, (2.31) Uz1∩Uw1 → 1=N2e2πikN~z~w. (2.32)

Here , and similarly for . We see that there is no intersection in and in , but all strands join at in and at in . This confirms that there is only one brane with different strands visible in the patch we were considering before.

This example suggests that, in general, the Abelian dual of any T-brane configuration would be specified by a meromorphic embedding expression , and by a strand structure where all the different strands would be frozen by boundary conditions.

3 Four supercharges

Let us now turn attention to T-brane configurations preserving only four supercharges. We will follow the same strategy as in the previous section to derive the general conditions that corresponding Abelian configurations need to meet. We first discuss in Section 3.1 the non-Abelian side with the corresponding Hitchin system of equations, deriving the general expressions of WZ and DBI actions, and distinguishing the various types of induced (lower-dimensional) brane charges. We then turn to the analysis of the Abelian side in Section 3.2, where we follow a similar structure in the derivation of the general WZ and DBI actions. Finally, in Section 3.3, we provide the duality dictionary relating the two brane systems.

3.1 The non-Abelian side

This time we retain a factor of the flat ten-dimensional space-time of Type IIB string theory, parametrized by , , and , and neglect the remaining four dimensions. We again consider a stack of D7-branes placed at . We denote the four real worldvolume coordinates we care about by , and choose to work in static gauge: , , , . Given the space-time complex structure chosen, this specifies the complex structure on the worldvolume such that and are the holomorphic coordinates. The BPS equations governing this supersymmetric system are written in (1.1). For the present analysis, however, we will also have to consider the leading correction to the non-holomorphic equation, which has been derived in [45, 46, 47, 18]. The latter will indeed be essential for establishing the duality. Written in real coordinates, the full set of equations, including the correction term is:

 Dσϕ8=Dsϕ9,  Dτϕ8=Dtϕ9,Dsϕ8+Dσϕ9=0,Dtϕ8+Dτϕ9=0,Fσt=−Fsτ,   Fστ=Fst,D:=(Fσs+Fτt+ϕc)+12λ2ϵαβγδ(Dαϕ8Dβϕ9Fγδ−14ϕcFαβFγδ)=0, (3.1)

where, as before, we have defined . Recall that we focus on configurations where , and where is along the Cartan of the gauge group. The last term of the last equation is an correction to the BPS equations [47, 18], and to write it we collectively indicated the worldvolume coordinates as , with . For dimensional reasons, and because the D7-brane stack is flat, this is the only non-vanishing correction to the BPS equations within the regime of validity of the Hitchin-system description.

We are now in the position to write the general WZ action Eq. (2.2) for a four-supercharge configuration, which we split into three terms corresponding to the coupling to different RR-potentials:

 S(A)\tiny WZ=S(A)\tiny WZ|C8+S(A)\tiny WZ|C6+S(A)\tiny WZ|C4=μ7∫%STr{P[C8]+iλ2P[ιϕιϕC8]∧F2}+μ7∫STr{λP[C6]∧F2+i2λ3P[ιϕιϕC6∧F∧F]}+μ7λ22∫STr{P[C4]∧F2∧F2}. (3.2)

The curvature corrections in (2.2) are vanishing here, because the brane worldvolume is flat and trivially embedded. The three terms above correspond to D-, D-, and D-charges respectively, which we are going to consider in order.

D7-brane charges

The terms multiplying can be written as (see [40] for details)121212Analogously to the 8-supercharge discussion, we use the notation: , where are collective coordinates for the subspace of the space-time.

 S(A)\tiny WZ|C8=μ7∫dτ∧dt∧dσ∧ds∧(NC(v1v2w1w2)8+λ2C(w1w2z1z2)8STr% {(Dτϕ8)2+(Dtϕ8)2−ϕcFτt}+λ2C(v1v2z1z2)8STr% {(Dσϕ8)2+(Dsϕ8)2−ϕcFσs}+λ2(C(w1v1z1z2)8+C(w2v2z1z2)8)STr{Dσϕ8Dtϕ8−Dsϕ8Dτϕ8+ϕcFst}+λ2(C(w2v1z1z2)8−C(w1v2z1z2)8)STr{Dσϕ8Dτϕ8+Dsϕ8Dtϕ8+ϕcFsτ}), (3.3)

where linear terms in have been removed because of their tracelessness, and all but the last equation in (3.1) have been used to get rid of and to simplify the expression.

D5-brane charges

The terms multiplying can be written as (see [40] for details)

 S(A)\tiny WZ|C6=μ7λ∫dτ∧dt∧d% σ∧ds∧STr{C(w1w2)6Fτt+C(v1v2)6Fσs−(C(w1v1)6+C(w2v2)6)Fst+(C(w1v2)6−C(w2v1)6)Fsτ+λ(C(v1z1)6+C(v2z2)6)(Dtϕ8Fσs+Dσϕ8Fst+Dsϕ8Fsτ)−λ(C(v2z1)6−C(v1z2)6)(Dτϕ8Fσs−Dsϕ8Fst+Dσϕ8Fsτ)−λ(C(w1z1)6+C(w2z2)6)(Dsϕ8Fτt−Dτϕ8Fst+Dtϕ8Fsτ)−λ(C(w2z1)6−C(w1z2)6)(Dσϕ8Fτt+Dtϕ8Fst+Dτϕ8Fsτ)+λ2C(z1z2)6ϵαβγδ(Dαϕ8Dβϕ9Fγδ−14ϕcFαβFγδ)}, (3.4)

where, as usual, we have been using all but the last equation in (3.1) to simplify the expression. The coefficient of , is proportional to the correction to the Hitchin system, written in the last line of (3.1). None of these terms vanishes in general. In particular, the first line is generically non-zero because, as opposed to the eight-supercharge case, does not imply the tracelessness of . We will come back to the structure of the induced D5-brane charges in Section 3.3, where we will focus on configurations with a vanishing trace of all components of .

D3-brane charges

The terms multiplying can be written as (see [40] for details)

 S(A)\tiny WZ|C4=μ7λ2∫dτ∧dt∧dσ∧ds∧C4Tr{FτtFσs−(F2st+F2sτ)}, (3.5)

where we have used the equations in the third line of (3.1). Note that the above expression does not have a definite sign, because in T-brane configurations is not anti-self dual. In contrast, for ordinary D-brane solutions, vanishes. For low gradients of in string units, we can neglect the correction in (3.1), which implies primitivity of : . This in turn leads to , making the above expression a sum of three perfect squares and thus of negative definite sign.

DBI action

The computation of the non-Abelian DBI action is significantly more involved. The quantity we would like to compute is (2.4) by imposing that the system satisfies the set of equations (3.1). Since we are in flat space, (2.4) simplifies to [33]:

 S(A)\tiny DBI=−μ7∫d8ξe−ϕSTr[√−det(ηαβ+λ2DαϕaQ−1abDβϕb+λFαβ)detQ]. (3.6)

Remarkably, it is possible to show that, after imposing all but the last equation in (3.1), the DBI action significantly simplifies leaving the expression

 S(A)\tiny DBI=−μ7∫d8ξe−ϕSTr[√T2+λ2D2], (3.7)

where we defined the quantity as

 T:= 1+λ2[(Dσϕ8)2+(Dsϕ8)2+(Dτϕ8)2+(Dtϕ8)2 (3.8) −ϕc(