text:
# The Wizard Of Oz Theme

#### The Wizard Of Oz Theme

For some inexplicable reason, this thesis has taken on a life and a theme of its own. It started with the title I guess and then everything else just followed suit. As a result, there are references to ’The Wizard Of Oz’ all over the place. For those of you who have not seen the classic 1931 MGM musical111Though the movie is based on a book by L.Frank Baum, the images and quotes used here are from the film. starring Judy Garland, here is a quick synopsis.

Dorothy is a young girl who lives with her Aunt and Uncle on a farm in Kansas. She is on her way home when a huge tornado sweeps the land but by the time she reaches the farm-house, everyone else is already safe in the storm shelter underground. The tornado blows the house away carrying Dorothy and her dog Toto inside it. When the house finally lands, Dorothy opens the door and steps out into a magical world where things are unfamiliar, but beautiful. The film which started out in sepia bursts into Technicolour at this point as Dorothy utters one of the most famous sentences of the film, “Toto, I have a feeling we’re not in Kansas anymore. We must be over the rainbow!”. The song Over the Rainbow plays in the background.

Before Dorothy has had time to look around in this strange new place, a shimmering ball floats in, carrying the lovely Glinda, the Good Witch of the North. Glinda announces to Dorothy that her house has landed on, and killed, the Wicked Witch of the East who had ruled over Munchkinland – the wonderful country where Dorothy finds herself now. All that remains of the Wicked Witch are her feet which stick out from under the house with their sequin encrusted Ruby slippers. The jolly dwarf-like Munchkins, having quite suddenly and unexpectedly been liberated from a tyrannical reign burst into joyous celebration. Their cheer is brought to an abrupt end with the arrival of the Wicked Witch of the West who comes to swear vengence on Dorothy for killing her sister – and to collect the Ruby slippers. When she turns to them however, they are magically transferred to Dorothy’s feet. The witch tries to convince Dorothy to hand the slippers over, saying that they will be no use to her .. but Glinda tells her to hang on to them. They must be powerful, she says, if the Wicked Witch wants them so badly. Thwarted at her efforts, the Wicked Witch renews her menacing warning and disappears.

Fearful now, Dorothy expresses her desire to return home for safety, ”Which is the way back to Kansas? I can’t go the way I came”. Glinda suggests that she travel to the far-off Emerald City in the Land of Oz, since ”The only person who might know would be the great and wonderful Wizard of Oz himself.” To get there, Dorothy is told ”It’s always best that you start at the beginning, and all you have to do is follow the Yellow Brick Road,” The Munchkins guide Dorothy to the border of Munchkinland to start her on her journey as they bid her farewell singing Follow the Yellow Brick Road and Glinda reminds her, Never let those ruby slippers off your feet for a moment, or you will be at the mercy of the Wicked Witch of the West.

Dorothy and Toto then begin the long walk to the Emerald City, along the Yellow Brick Road. Quite soon they come across a fork in the road and when Dorothy wonders out loud where to go, she gets her answer from a talking Scarecrow! The Scarecrow, upon finding out Dorothy’s mission asks if he can join her on her quest to ask the Wizard for a brain. He has no brain he says, which is why the crows are not scared of him at all. In order to explain his predicament, he sings the song If I only had a brain. Dorothy is only too glad to have him go along. On their journey down the Yellow Brick Road, Dorothy and the Scarecrow are joined by a Tin Woodman, who is in need of a heart and a Cowardly Lion who wants the Wizard to give him some courage.

After a few adventures and set-backs, the friends reach the glittering towers of the Emerald City. From the outside the Emerald City looks like a huge shimmering castle and the four friends feel sure they will obtain their hearts’ desires in such a wonderous place. Getting in to the City does not prove an easy task however, as there is only one door and that is bolted shut. After many attempts at knocking, the four friends finally manage to attract the attention of the gate-keeper who talks to them through a small window which he reluctantly opens. The following exchange then takes place.

Dorothy: We want to see the Wizard.

Gateman: The Wizard? But nobody can see the great Oz. Nobody’s ever seen the great Oz. Even I’ve never seen him.

Dorothy: Well then, how do you know there is one?

Gateman: Because he, uh…, you’re wasting my time.

Finally Dorothy hits upon the happy notion of saying that it was Glinda who sent them there. As if that name was the magic password he had been waiting for, the gate-keeper flings open the doors and lets Dorothy and her friends in to the charming and very unique Emerald City. After being feted and introduced to the wonders of the Emerald City, Dorothy tries to seek an audience with the Wizard. Once again she meets with incredulous faces. The Guard outside the Wizard’s room puts it best when he says “Orders are, nobody can see the Great Oz, not nobody, not no how…not nobody, not no how!”. Once again, Dorothy has to explain who she is, and that the Wicked Witch of the West is after her, in order to be let in.

The meeting with the Wizard is brief to say the least. The little band of travellers is told that it is ofcourse in the Wizard’s power to grant their wishes, but first they must prove to him that they are worthy by performing a ’small task’. They must bring to him, the broom-stick of the Wicked Witch of the West. High drama follows including a scary run in with the evil Winged Monkeys, before the friends succeed in capturing the sought after broomstick – by pouring cold water on the Witch and melting her to death!

With the broomstick in hand, the group returns victorious to the Emerald City, confident that their desires will at least be fulfilled. This time, they are allowed to meet the Wizard with no further ado. However, when the Wizard is at his most grand and mysterious, a little accident happens. Toto the dog, sees a curtain and runs towards it, pulling it playfully — and revealing a little man who sits there, like a pupeteer controlling the illusion that is ’The Wizard Of Oz’. The true story now unfolds. It turns out that the man is a magician (also from Kansas) who landed in Oz one day when his hot air balloon flew astray. Since he came ’from the sky’ he was heralded in Oz as a Wizard. Rather than fight this myth, he furthered it and established himself in the Emerald City keeping the legend alive by distancing himself from all people and not allowing his authority to be questioned.

He is however, a good hearted man, who only became reconciled to a life in Oz when he thought there was no way for him to return home. He points out to the friends how they already have what they thought they were lacking – all that they need now is material proof. The Lion has displayed great courage, and in recognition is presented a medal. The Tinman has shown great feeling and is gifted a real ’beating’ heart as proof. The scarecrow has shown great intelligence and is awarded a ThD (Doctor of Thinkology) degree as a result. The only person who the Wizard can not help, is Dorothy.

At this point, just when Dorothy starts feeling rather deflated, Glinda shows up again. She proves that Dorothy too, already has what she needs to make her dreams come true: the Ruby Slippers. The magic, it seems, is that the person who wears the slippers can go where-ever they want to, as long as they Click the heels three times and tell the slippers where to go. Dorothy does this, repeating three times, there’s no place like home.. and she finds herself back at the farm.

Oh I could tell you why
The ocean’s near the shore
I could think of things
I’d never thunk before
And then I’d sit …
And think some more.

\- If I only had a Brain

The Wizard of Oz.

#### Abstract

This thesis starts with a review of supersymmetric solutions of 11-dimensional supergravity; in particular flat M-branes and BPS configurations which can be constructed from them. The harmonic function rule is discussed and it is shown why this cannot be expected to apply to intersecting brane configurations where the intersection is localised. A new class of spacetimes is needed to cover these situations and the Fayyazuddin-Smith metric ansatz is introduced as the answer to this problem. The ansatz is then used to find supergravity solutions for M-branes wrapped on holomorphic curves. This method is discussed in detail and its various components explained; for instance, the way holomorphicity dictates the projection conditions on the Killing spinor and the construction of a spinor in terms of Fock space states. The method is illustrated via various examples. We then move on and discuss a mathematical concept known as calibrations. Calibrations are forms which can be used to pick out the minimal surfaces in a given background. Since BPS configurations of M-branes are minimal, it turns out that they must wrap cycles ’calibrated’ by such p-forms. For the case when the background contains no flux, calibrations have been classified. However, for more general cases where there is a non-trivial field strength, such a classification does not yet exist. This would be desirable for various reasons, one of which is the following. Given a particular calibrated form, there is a simple and very elegant method of writing down the supergravity solution for a brane wrapped on the corresponding calibrated cycle. So far, this method was applied only to Kahler calibrations as these were the only ones known to exist in backgrounds with non-trivial flux. We extend this method to a wider class which contains Kahler calibrations. A constraint is used to classify possible calibrations; this constraint incorporates the geometry of the space transverse to the submanifold which contains the supersymmetric cycle. A rule is given which can generate the required constraint for any given M-brane wrapped on a holomorphic cycle. Ways in which this constraint can be satisfied are also discussed.

#### Acknowledgments

My “Esteemed Advisor”, Ansar Fayyazuddin, took considerable time off from contemplating ’the logic of late capitalism’ to tend to his advisory duties. Regardless of the nature of the problem I pose him with, Ansar always manages to rise to the occasion. He has taught me much, but more than that I owe him gratitude for giving me back my confidence at a time when Grad School was beating it down. I feel privileged to know him both as a student and as a friend.

It has been great fun having Fawad Hassan around. This thesis owes a lot to his endless supply of patience, chocolates and encouragement. He is always on hand when questions need to be answered and, together with Ioanna Pappa, is an excellent partner in crime when some crazy scheme is being hatched.

The String Theory group here is rather like a library of friendly human encyclopedias. All queries can be addressed by walking down the corridor and knocking on the doors of Ulf Lindstrom, Bo Sundborg and earlier, Alberto Guijosa, and Subir Mukhopadhyay.

Our all-girl group of students has to be a first – on this planet at least! I count on Cecilia Albertsson and Teresia Mansson for various things, from bailing me out of trouble with the printer, to a friendly chat in the middle of the day; when panic hits and reassurance is needed, Cecilia can be found at the desk next to mine. But before it was just us girls, Bjorn Brinne and Maxim Zabzine were around as well. I learnt a lot from both of them and still count on Bjorn for assorted help and advice.

Were it not for Britta Schmidt, I would be buried somewhere under piles of paper-work, with my Swedish dictionary in hand. She is truly the Guardian Angel of the Physics Department and I don’t know what I would have done without her smiling face to turn to.

Thanks are also due to the Theory Group at UT-Austin for their hospitality during my visit there. In particular, Jan Duffy for her welcoming warmth, Julie Blum for many useful discussions and Amer Iqbal for several fascinating conversations about Physics and everything else.

I couldn’t go without expressing my heartfelt gratitude to Ishrat Phophi, who never let me feel the lack of family in Sweden and to Khalu Jan who got me started on my journey here.

It’s amazing what friends can pull you through. Over the course of this PhD, many potential therapy sessions were averted by phone calls, emails and visits to Annie, Aisha, Afi, Sabir, Sidra, Erej, Hajira, Mahrukh, Aneeka, Roshani, Stella, Nicole, Saleha, Sherezade, Cristine and the HEPlons.

Never has the world known kids more precious than Manni and Ali. They are the best cheer-upers on Earth with their undying faith in me and their unconditional love. Amir and Zaib have been adorable specially during my time in Austin. Despite their firm conviction that I really do nothing and this whole PhD thing is just an elaborate hoax they have been rather indulgent of it all.

Shabeeb has suffered more than his fair share at the hands of my PhD – he has borne it well, with unwavering love and support. Maybe, now that the thesis is done, his suffering will be over as well …. no promises though! ;)

Most of all, my love and my deepest gratitude is for Abbu and Ammi, who gave me the roots which steady me and wings with which to fly. Between them, they have created such a haven that no matter where I go “there’s no place like home”.

## Chapter 1 Over The Rainbow

Anyone stumbling onto M-Theory by chance would experience an overwhelming feeling that they are certainly ’not in Kansas anymore’. It takes some getting used to, the idea that we live in 11 dimensions; I suspect it has a lot to do with a slight resentment that all our lives, so much has been going on that we were unaware of, but I’ll leave that analysis for my dissertation in Psychology! For now, the point is to realise that while it might seem a little overpowering initially, when Munchkins in colourful costumes jump at you from all angles, ’Over the Rainbow’ is a wonderful place to be.

### 1.1 The Rainbow

String theories have been around long enough that we are now more or less used to them. They are beautiful, but to the despair of many a string theorist a decade ago, there are almost as many consistent theories as colours in the rainbow! The theories looked lovely and were enjoyed for their ’decorative’ appeal but for a while it seemed that the promise of unification which had resulted in so much excitement was not a promise that would be kept.

Hope dawned anew in the mid-nineties when dualities were discovered and it was found that the string theories merely appear to be different but in fact are all linked! We can move around from one to the other in a continuous circle and no one theory is any more fundamental than the rest. So it was conjectured that perhaps there is something deeper, something which draws all the string theories into its folds and unifies them. This something was given the name M-Theory .

In the history of string theory, we stand now at the moment of the prism; all evidence points to the fact that the rainbow of string theories results from a single ray of light which is diffracted into the multi-coloured richness we see by the prism we unwittingly put in its path. However, for the time being, the white light of M-Theory is so bright that we are almost blinded. It will take a while before our eyes get accustomed to the light and we can see our way clearly in this new land over the rainbow.

### 1.2 um … M?

Irreducible representations of a SUSY algebra dictate the possible particle content of the corresponding supersymmetric field theory. States in massless irreducible representations are labelled by helicity. Using the SUSY generators, we can define fermionic creation and annihilation operators which raise or lower helicity. Given the number of supersymmetry generators $`𝒩`$ in the algebra and the maximal helicity $`\mathrm{\Lambda }`$ we want in a particular theory, we can then work out its possible particle content.

Supergravity  is a theory of massless particles with helicity $`\mathrm{\Lambda }2`$. Maximally extended supergravity in 4 dimensions has $`8`$ supersymmetry generators. Since these generators are Majorana spinors, they have 4 components (supercharges) each which means that the maximum number of supercharges in a supergravity theory is 32. It takes all these supercharges to form a single 11-dimensional Majorana spinor. Consequently, $`D=11`$ is the highest dimension in which a supergravity theory can exist.

11-d Supergravity

The particle content of 11-dimensional supergravity  can be obtained by studying irreducible representations of the algebra:

$$\{Q_\alpha ,Q_\beta \}=(\gamma ^mC^1)_{\alpha \beta }P_m+(\mathrm{\Gamma }^{mn}C^1)_{\alpha \beta }Z_{mn}+(\mathrm{\Gamma }^{mnpqr}C^1)_{\alpha \beta }Z_{mnpqr}$$
(1.1)
where $`Q_\alpha `$ is a Majorana spinor, $`P_m`$ is the momentum operator and the $`Z^{}s`$ are central charges. We find that the spectrum contains a graviton $`G_{MN}`$, a rank three anti-symmetric tensor $`A_{MNP}`$ and a gravitino $`\psi _\alpha ^M`$. The existence of all these fields can be intuitively justified: the graviton is needed for invariance under local coordinate transformations and the gravitino is needed for invariance under local supersymmetric transformations. However, the gravitino has 128 fermionic degrees of freedom whereas the graviton has only 44 bosonic degrees of freedom, so an additional 84 bosonic degrees of freedom are needed to make the counting come out right111All the counting of the degrees of freedom is done on shell – these are provided by the 3 form $`A_{MNP}`$.

Just as a point particle is an electric source for a gauge field (also known as a one-form) $`A_M`$ through the coupling $`eA_M𝑑X^M`$, a $`p`$-brane is an electric source for a $`(p+1)`$-form $`A_{M_1\mathrm{}M_{p+1}}`$ through the coupling:

$$\mu _pA_{M_1\mathrm{}M_{p+1}}𝑑X^{M_1}\mathrm{}dX^{M_{p+1}}$$
(1.2)
where $`\mu _p`$ is the charge of the $`p`$-brane under the $`(p+1)`$-form. Moreover, a $`p`$-brane is also a magnetic source for the $`(Dp3)`$-form whose field strength is the Hodge dual in D dimensions of the $`(p+2)`$-form $`F=dA`$

We can hence see that the three-form $`A_{MNP}`$ in 11 dimensions couples electrically to a two-brane and magnetically to a five-brane. Accordingly, 11-dimensional supergravity has two types of branes, which are known as the M2-brane (or membrane) and the M5-brane or fivebrane.

Dimensional Reduction

Now consider what happens when the $`X^{10}`$ coordinate is a circle of radius R. Since $`X^{10}y`$ is compact, we can Fourier expand 11-dimensional fields as follows:

$$\mathrm{\Phi }_{11}(X)=\underset{n}{}e^{\frac{iny}{R}}\mathrm{\Phi }_{10}^n(X)$$
(1.3)
Each field $`\mathrm{\Phi }_{11}(X)`$ in 11 dimensions leads to an infinite tower of states $`\mathrm{\Phi }_{10}^n(X)`$ in 10 dimensions, with masses that go like $`n/R`$. This can be seen by writing out the Klein-Gordon equation for the scalar field $`\mathrm{\Phi }`$

$`_{11}^2\mathrm{\Phi }_{11}=0`$
$`{\displaystyle \underset{n}{}}e^{\frac{iny}{R}}[_{10}^2_{y}^{}{}_{}{}^{2}]\mathrm{\Phi }_{10}^n(X)=0`$
$`[_{10}^2(n/R)^2]\mathrm{\Phi }_{10}^n(X)=0`$ (1.4)
At low energies or large distance scales, we do not see the eleventh direction. From our ten-dimensional point of view, the momentum in this $`y`$ direction hence seems like a mass. In the $`R0`$ limit where the circle shrinks, all the states $`\mathrm{\Phi }_{10}^n(X)`$ for $`n0`$ become infinitely massive so we are left with a ten dimensional theory in which only the massless zero mode $`\mathrm{\Phi }_{10}^0(x)`$ survives.

Concentrating on just the bosonic fields, we find:

$$\begin{array}{cccccccc}& & G_{\mu \nu }& & & & & B_{\mu \nu }=A_{\mu \nu 10}\\ G_{MN}& & A_\mu =G_{\mu 10}& & & A_{MNP}& & \\ & & \mathrm{\Phi }=G_{10,10}& & & & & A_{\mu \nu \lambda }\end{array}$$
(1.5)
The 11-dimensional metric gives rise to a metric $`G_{\mu \nu }`$, a gauge field $`A_\mu `$ and a dilaton $`\mathrm{\Phi }`$ in ten dimensions, whereas the 3-form in eleven dimensions reduces to a 2-form $`B_{\mu \nu }`$ and a 3-form $`A_{\mu \nu \lambda }`$ in ten dimensions.

IIA Supergravity

In ten dimensions, we can arrange 32 supercharges to form two Majorana-Weyl spinors. If these spinors have the same chirality we get IIB supergravity and if they have opposite chiralities, we end up with IIA supergravity. The particle content of IIA supergravity can be obtained by looking at irreducible representations of the following algebra:

$`\{Q_\alpha ,Q_\beta \}`$ $`=`$ $`(\mathrm{\Gamma }^mC^1)_{\alpha \beta }P_m+(\mathrm{\Gamma }^{mn}C^1)_{\alpha \beta }Z_{mn}`$
$`+`$ $`(\mathrm{\Gamma }^{mnpqr}C^1)_{\alpha \beta }Z_{mnpqr}+(\mathrm{\Gamma }_{11}C^1)_{\alpha \beta }Z`$
$`+`$ $`(\mathrm{\Gamma }^m\mathrm{\Gamma }_{11}C^1)_{\alpha \beta }Z_m+(\mathrm{\Gamma }^{mnpq}\mathrm{\Gamma }_{11}C^1)_{\alpha \beta }Z_{mnpq}`$
The bosonic fields in this theory are a dilaton $`\varphi `$, a metric $`G_{\mu \nu }`$ a NS-NS 2-form $`B_{\mu \nu }`$, and R-R one and three forms, $`C_1`$ and $`C_3`$. Notice that this is precisely the spectrum obtained in the $`R0`$ limit of dimensional reduction of 11-dimensional supergravity on a circle.

### 1.3 aheM!

We have seen that IIA supergravity is a supersymmetric field theory in its own right. However, it can also be obtained as the low energy effective action of Type IIA string theory! The $`\alpha ^{}0`$ or low energy limit is a consistent truncation of string theory in which all massive states become infinitely massive (since $`M^21/\alpha ^{}`$) and hence decouple, leaving behind only massless fields. The massless spectrum of IIA string theory coincides exactly with the field content of IIA supergravity.

Recall from the previous section that IIA supergravity can be obtained from dimensional reduction of 11-dimensional supergravity compactified on a circle. More precisely, we have the following expression:

$$ds_{11}^2=e^{\frac{2}{3}\varphi }ds_{10}^2+e^{\frac{4}{3}\varphi }(dy^2+A_\mu dX^\mu )$$
(1.7)
Once again $`y`$ denotes the direction which has been compactified and $`\varphi `$ is the dilaton. It can immediately be seen from the metric that the radius R of the circular direction $`y`$ is given by

$$R=e^{\frac{2}{3}\varphi }=g_s^{\frac{2}{3}}$$

where we have used the fact that the dilaton is related to the string coupling constant as $`e^\varphi =g_s`$. Hence, small R corresponds to weak string coupling and large R to strong coupling.

Putting all these facts together, we are lead to postulate the existence of a theory which would fill the missing corner in this rectangle of relations – we call this M-Theory!

Though we do not know yet what this theory is, we can deduce from the above discussion what it reduces to in certain limits. The low energy limit of M-Theory is 11d supergravity and the small radius limit of M-Theory compactified on $`S^1`$ is IIA string theory! This is sometimes turned around and stated as follows: The strong coupling limit of IIA approaches a Lorentz invariant theory in 11 dimensions (M-Theory), whose low energy limit is 11d supergravity.

Branes descending to IIA

We can have two types of M-branes, those transverse to $`S^1`$ and those wrapped on it. An M$`p`$-brane wrapped on the circle ’loses’ a worldvolume direction when the circle is shrunk ($`R0`$) and has only $`p1`$ spatial directions remaining when it arrives in IIA. On the other hand, the spatial extension of an M-brane transverse to the circle will not be affected by the $`R0`$ limit; such a brane will continue to have a $`p+1`$ dimensional world-volume in IIA.

An M5-brane wrapped on the M-theory circle thus appears as a D4-brane in Type IIA, whereas an M2-brane wrapped on the circle would become a fundamental string. M5 and M2-branes transverse to the $`S^1`$ reduce to NS5 and D2 branes respectively in IIA string theory .

Supergravity as a detective.

In what follows we will be dealing exclusively with BPS states as solutions of 11-dimensional supergravity. The term BPS refers to the fact that these states saturate a bound which relates their mass to their charge $`MQ`$. Charge conservation prevents the decay of the least massive state with charge Q; it is obvious that the least massive state is the one which saturates the bound! It is also useful to note that supersymmetric states are automatically BPS.

The wonderful thing about BPS states is that since they are stable, they are expected to survive the perilous passage from supergravity to the full quantum theory of which the supergravity is just a low energy limit. In other words, supersymmetric M-brane configurations are present no matter how where we slide along the energy scale in 11 dimensions, moving from the all encompassing M-Theory to a small sector therein. Since this small sector, supergravity, is currently the only handle we have on M-Theory, we study M-branes in this context and hope that the clues we find will help us build a picture of the elusive M-Theory.

### 1.4 Building Blocks

Flat M2-branes and M5-branes are supersymmetric objects in M-Theory and can in fact be thought of as building blocks for the BPS spectrum since a large number of supersymmetric states can be constructed from them .

BPS states arise for example, when flat M-branes are wrapped on supersymmetric cycles, so-called because branes wrapped on them preserve some spacetime supersymmetry. There are various other ways in which flat branes can be combined to create supersymmetric configurations; a little later on, we will discuss the rule which dictates how these branes must be placed such that the resulting set-up is BPS.

We start by reviewing a few basic facts about M-branes. In the expressions which follow, $`X^\mu `$ denotes coordinates tangent to the brane, $`X^\alpha `$ is used to denote transverse coordinates and $`r=\sqrt{X^\alpha X_\alpha }`$ is the radial coordinate in this transverse space.

The M5-brane:

A flat M5-brane with worldvolume $`X^{\mu _0}\mathrm{}X^{\mu _5}`$ is a half-BPS object which preserves 16 real supersymmetries corresponding to the components of a spinor $`\chi `$ which satisfies the condition:

$$\widehat{\mathrm{\Gamma }}_{\mu _0\mu _1\mu _2\mu _3\mu _4\mu _5}\chi =\chi .$$
(1.8)
When this brane is placed in a flat background, the geometry is modified and the resulting spacetime is described by the following metric

$`ds^2`$ $`=`$ $`H^{1/3}\eta _{\mu \nu }dX^\mu dX^\nu +H^{2/3}\delta _{\alpha \beta }dX^\alpha dX^\beta `$ (1.9)
$`\mathrm{where}H`$ $`=`$ $`1+{\displaystyle \frac{a}{r^3}}`$ (1.10)
and the four-form field strength

$$F_{\alpha \beta \gamma \delta }=\frac{1}{2}ϵ_{\alpha \beta \gamma \delta \rho }_\rho H.$$
(1.11)
of the supergravity three-form.

Together, these equations (1.10) and (1.11) specify the full bosonic content of the supergravity solution for the M5-brane.

The M2-brane:

A flat M2-brane spanning directions $`X^{\mu _0}X^{\mu _1}X^{\mu _2}`$ is also a half-BPS object. Preserved spacetime supersymmetries correspond to the 16 components of a spinor $`\chi `$ which survive the following projection

$$\widehat{\mathrm{\Gamma }}_{\mu _0\mu _1\mu _2}\chi =\chi .$$
(1.12)
Like the M5 brane discussed above, the M2 brane is also a charged massive object which warps the flat space-time in which it is placed. The bosonic fields in the M2-brane supergravity solution are given by

$`ds^2`$ $`=`$ $`H^{2/3}\eta _{\mu \nu }dX^\mu dX^\nu +H^{1/3}\delta _{\alpha \beta }dX^\alpha dX^\beta `$ (1.13)
$`F_{\mu _0\mu _1\mu _2\alpha }`$ $`=`$ $`{\displaystyle \frac{_\alpha H}{2H^2}},`$ (1.14)
$`\mathrm{where}H`$ $`=`$ $`1+{\displaystyle \frac{a}{r^6}}.`$ (1.15)
We now pause for a minute to discuss certain features of the landscape which will guide us later when we try to navigate the supergravity solutions of more complicated brane configurations.

Construction Site Rules

One way of generating BPS states from the flat M-branes described above is to construct configurations of intersecting branes. In order for two M-branes to have a dynamic intersection, there must exist a worldvolume field to which this intersection can couple, either electrically or magnetically.

Consider a $`p`$-brane which has a $`q`$-dimensional intersection with another $`p`$-brane. From the point of view of the worldvolume, this intersection must couple to a $`(q+1)`$-form in order to be a dynamical object in the $`(p+1)`$ dimensional theory.

All $`p`$-branes contain scalar fields $`\varphi `$ which describe their transverse motion. The 1-form field strength of these scalars $`F_1`$ is the Hodge dual (on the worldvolume) of the $`p`$-form field strength $`F_p`$ of a $`(p1)`$ form gauge field $`A_{p1}`$, i.e

$$d\varphi =F_1=F_p=dA_{p1}$$

Since the gauge field $`A_{p1}`$ couples to an object with $`(p2)`$ spatial directions, we see that a $`p`$-brane can have a $`(p2)`$ dimensional dynamical self intersection  .

This rule can be derived also using the BPS $``$ no-force argument. Orienting branes of the same type so that they exert no force on each other, as must be the case for stable supersymmetric configurations (in the absence of world-volume fields) it is found that each pair of branes must share $`(p2)`$ spatial directions.

Intersecting Branes

BPS states can thus be built from multiple M-branes if these are oriented such that each pair of M$`p`$-branes has a $`(p2)`$-dimensional spatial intersection. Killing spinors of the resulting intersecting brane system are those which survive the projection conditions imposed by each of its flat M-brane constituents  .

Consider for example a system of multiple M2-branes. In order to obey the self intersection rule, these membranes must be oriented such that no two membranes share any spatial directions. This criterion is satisfied by, for example, a system of four M2-branes with worldvolumes $`012`$, $`034`$, $`056`$ and $`078`$. The Killing spinors of this configuration are proportional to a constant spinor $`\eta `$ obeying the following constraints:

$`\widehat{\mathrm{\Gamma }}_{012}\eta `$ $`=`$ $`\eta `$ (1.16)
$`\widehat{\mathrm{\Gamma }}_{034}\eta `$ $`=`$ $`\eta `$
$`\widehat{\mathrm{\Gamma }}_{056}\eta `$ $`=`$ $`\eta `$
$`\widehat{\mathrm{\Gamma }}_{078}\eta `$ $`=`$ $`\eta `$
Since all the Gamma matrices222By Gamma matrices I mean the $`\widehat{\mathrm{\Gamma }}_{012}`$ etc appearing in the above expression here commute, they are simultaneously diagonalisable and we can proceed to search for eigenstates of the system.

To begin with, notice that every Gamma matrix above squares to one so all the eigenvalues must be either 1 or -1. Since the trace of a matrix is the sum of its eigenvalues, we know that each Gamma matrix has an equal number of $`\pm `$ 1 eigenvalues, as all of the above matrices are traceless. Using these matrices we can construct projection operators333It is obvious that $`P_i^+`$ and $`P_i^{}`$ are projection operators as they obey
$$(P_i^+)^2=P_i^+,(P_i^{})^2=P_i^{},P_i^++P_i^{}=1,P_i^+P_i^{}=0$$
for each Gamma matrix $`\mathrm{\Gamma }_i`$ as follows:

$$P_i^+=\frac{1}{2}[1+\mathrm{\Gamma }_i]P_i^{}=\frac{1}{2}[1\mathrm{\Gamma }_i]$$
(1.17)
Acting $`P_i^+`$ on a spinor $`\eta `$, we see that components for which the $`\mathrm{\Gamma }_i`$ eigenvalue is -1 are projected out and the ones which survive must have eigenvalue +1; thus the oft-quoted statement that Gamma matrices (which square to one and are traceless) project out exactly half the spinors. Acting now a second projection operator $`P_j^+`$, corresponding to another one of the Gamma matrices, we find the following:

$$P_j^+P_j^+\eta =\frac{1}{4}[1+\mathrm{\Gamma }_i+\mathrm{\Gamma }_j+\mathrm{\Gamma }_i\mathrm{\Gamma }_j]\eta $$
(1.18)
Using the fact that the products of the Gamma matrices are also traceless and square to one, we know that the eigenvalues of $`\mathrm{\Gamma }_i\mathrm{\Gamma }_j`$ are also +1 and -1, in equal numbers. We now have the following 4 options corresponding to the possible eigenvalues of $`\mathrm{\Gamma }_i`$ and $`\mathrm{\Gamma }_j`$:

* Both eigenvalues are -1 $``$ The spinor is projected out.
* The eigenvalues are +1 and -1 (or -1 and +1) respectively
$``$ Again, the spinor is projected out.
* Both eigenvalues are +1 $``$ The spinor survives.

Hence, only 1/4 of the spinors survive the combined projections due to two Gamma matrices.

Extending this construction, it is easy to see that for a set of $`n`$ independent444By which we mean that each matrix squares to one, as do products of the matrices; each matrix is traceless, as are the product matrices, and further all matrices in the set commute Gamma matrices the corresponding projection operators will project out an independent half of the supercharges, leaving behind $`1/2^n`$ supersymmetry.

Applying this to the intersecting membrane configuration described above we see that the four projections imposed together leave behind only two supercharges, or equally, the brane configuration preserves $`1/16`$ supersymmetry.

When Wrappings Become Intersections..

A system of self-intersecting M$`p`$-branes corresponds to the singular limit of a single M$`p`$-brane wrapping a particular kind of smooth cycle. The cycle in question must be described by embedding functions that factorise. Each of the factors then gives the world-volume of a constituent brane.

In order to clarify this somewhat complicated statement, consider the following simple example of a membrane wrapped on a holomorphic curve. Take this curve to be $`f(u,v)=uvc=0`$ in $`^2`$ where $`c`$ is a constant. In the limiting case when $`c`$ = 0 the curve becomes singular and the function $`f`$ obviously factorises to describe a system of two membranes spanning the $`u`$ and $`v`$-planes respectively and intersecting only at a point.

In general, a complex structure can be defined on the relative transverse directions (those which are common to at least one but not all of the constituents) of a system of intersecting branes. The intersecting brane configuration then describes the singular limit of an M-brane wrapping a smooth cycle embedded in this complex subspace of spacetime. Due to the $`(p2)`$ self intersection rule, a system of $`n`$ orthogonally intersecting membranes has a relative transverse space $`^n`$.

Since preserved supersymmetries should be invariant under changes of the constant $`c`$ in the holomorphic function $`f(u,v)`$, the Killing spinors of the wrapped brane configuration ($`c0`$) are the same as those for a system of $`n`$ orthogonal membranes (the $`c=0`$ limit) intersecting according to the $`(p2)`$ rule.

### 1.5 Landmarks

The Munchkins have now brought you to the end of their domain. To get to your destination though, you’ll just have to ’Follow the Yellow Brick Road’. However, during your long walk, it might be useful to keep in mind some of the things you have learnt in this new land Over The Rainbow

On the world-volume of a flat M-brane, we would expect to have Poincare invariance. Hence, a metric describing space-time in the presence of such a brane should not have any dependence on coordinates tangent to the M-brane. Also, we expect the effects of the brane on spacetime to decrease as we move away from it and furthermore, the configuration is invariant under rotations in the transverse directions. From these considerations of isometry alone, we can conclude that the metric depends only on the radial coordinate in the space transverse to the flat M-brane world-volume. Notice that this is true for both the M-brane solutions discussed previously.

Moreover, each solution can be specified completely in terms of not just an arbitrary but in fact a harmonic function of this radial coordinate. Tracing the origin of this condition, we are lead to the equation of motion for the field strength $`dF=0`$. Writing this out in component form, we find

$$_I(\sqrt{|\mathrm{det}g_{IJ}|}F^{IJKL})=0$$
(1.19)
which implies that

$$^2H=\mathrm{\Sigma }_\alpha \frac{^2H}{X_{\alpha }^{}{}_{}{}^{2}}=0$$
(1.20)
so the function H must be a solution to the flat space Laplacian. Both these characteristics (i.e. the isometries and the role of the harmonic function) will have interesting generalisations when we consider supergravity solutions for non-trivial brane configurations.

## Chapter 2 The Yellow Brick Road

In the paper  where the Harmonic Function rule was proposed, before even stating what the rule was, Tseytlin pointed out the assumptions that went into it. We should bear these in mind so that we only apply the rule to the configurations it was designed to describe in the first place. For starters,

* The harmonic function rule can be used only to construct supergravity solutions for intersecting $`p`$-brane systems which are smeared along the relative transverse directions (those which are tangent to atleast one but not all of the constituent branes). As a result, the metric is then independent of these coordinates and is a function only of the overall transverse directions, which are not tangent to the world-volume of any brane in the system.

It is mentioned in passing that a class of more general solutions is expected to exist, such that each constituent brane has a different transverse space. As we will see later on, these are the cases covered by the Fayyazuddin-Smith metric ansatz!

* Secondly, since these supergravity solutions are governed by harmonic functions of the radial coordinate in the transverse space, this (overall) transverse space must be at least three dimensional if the harmonic functions are to decay at infinity.

This excludes from the present consideration certain intersecting M-brane systems which are allowed by the $`(p2)`$ self-intersection rule . As will later be seen, these missing configurations are encompassed by the Fayyazuddin-Smith ansatz.

* Lastly, it is useful also to remember that the only configurations to which the rule is expected to be applicable are those for which the Chern-Simons contribution to the equation of motion for the four-form vanishes, i.e $`FF=0.`$

Bosonic backgrounds constructed by combining the individual supergravity solutions of constituent branes can still be solutions to the equations of motion of D=11 supergravity. The basic observation is that for brane bound states with zero binding energy, it is possible to assign an independent harmonic function to each constituent intersecting brane. The argument for this is sketched below.

A single brane supergravity solution can be expressed completely in terms of one harmonic function. For an extremal (no binding energy) BPS configuration of N branes, there is no force between the constituents and hence no obstruction to moving one of the branes far apart from the others. When a brane is moved sufficiently far apart from the rest, their effects on it are negligible and it is to all intents and purposes free. Fields near it should thus approximate the fields in the supergravity solution of a single brane. Since any or all N of the branes can arbitrarily be moved back and forth at no cost to the energy, we would expect the solution describing a configuration of N branes to be parameterized by N independent harmonic functions.

### 2.1 The Rule of the Harmonic Functions

In the presence of an intersecting M-brane configuration, the $`(10+1)`$ dimensional spacetime naturally ’splits up’ into three seperate parts. The directions common to all M-branes are referred to as the common tangent directions. Tangent space indices here will be denoted by $`a,b`$, and curved space indices by $`\mu \nu `$. In the wrapped brane picture, these are the worldvolume directions which are left flat. The supersymmetric cycle which the M-brane wraps is embedded in to the subspace spanned by the relative transverse directions, so called as they are tangent to at least one but not all of the constituent branes. We define complex coordinates on this space where flat and curved indices are denoted by $`m,\overline{n}`$, and $`M,\overline{N}`$ respectively. Finally there are the overall transverse directions which span the space transverse to all constituent branes in the intersecting brane system; in the wrapped brane picture, these are the directions which are transverse to both the brane worldvolume and the embedding space.

#### It is Decreed $`\mathrm{}`$

As mentioned above, the harmonic function rule gives a recipe for ’superposing’ the individual bosonic fields in the supergravity solutions of each of the component branes in an intersecting brane system.

* The Metric
Assigning a harmonic function $`H_a`$ to each constituent M-brane, we proceed to construct the metric for a multi-brane configuration by taking our cue from the metric for a single brane. In analogy to that case, directions tangent to the $`i^{th}`$ M5-brane are multiplied by a factor of $`H_i^{1/3}`$ whereas directions transverse to it are multiplied by $`H_i^{2/3}`$.

Similarly, a metric describing the background created by a system of intersecting membranes, can be constructed by ensuring that the coordinates along the worldvolume of the $`j^{th}`$ M2-brane carry a factor of $`H_j^{2/3}`$ while transverse coordinates are multiplied by $`H_j^{1/3}`$.
* The Field Strength

Since the field strength components due to each constituent M-brane carry different indices, the field strength of the intersecting brane configuration can be obtained merely by adding the individual field strengths corresponding to each M-brane.

This rule is made clear by its application to the following systems.

#### Two Membranes

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & \times & \times & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & \times & \times & & & & & & \end{array}$$
(2.1)
Assigning a factor of $`H_1`$ to the first membrane and $`H_2`$ to the second, we use the harmonic function rule to write down the metric and field strength. The metric is given by

$`ds^2`$ $`=`$ $`H_1^{1/3}H_2^{1/3}[H_1^1H_2^1dX_0^2`$ (2.2)
$`+`$ $`H_1^1(dX_1^2+dX_2^2)+H_2^1(dX_3^2+dX_4^2)`$
$`+`$ $`(dX_5^2+dX_6^2+dX_7^2+dX_8^2+dX_9^2+dX_{10}^2)]`$
and the non-vanishing components of the field strength are

$$F_{012\alpha }=\frac{_\alpha H_1}{H_1^2}F_{034\alpha }=\frac{_\alpha H_2}{H_2^2}$$
(2.3)
where $`H_1`$ and $`H_2`$ are functions only of $`X^\alpha `$ for $`\alpha =5,6\mathrm{}10`$.

#### Three Membranes

Introducing now a third membrane, characterized by the harmonic function $`H_3`$, we have the following configuration

$`\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & \times & \times & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & \times & \times & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & \times & \times & & & & \end{array}`$ (2.8)
with metric

$`ds^2`$ $`=`$ $`H_1^{1/3}H_2^{1/3}H_3^{1/3}[H_1^1H_2^1H_3^1dX_0^2+H_1^1(dX_1^2+dX_2^2)`$ (2.9)
$`+`$ $`H_2^1(dX_3^2+dX_4^2)+H_3^1(dX_5^2+dX_6^2)`$
$`+`$ $`dX_7^2+dX_8^2+dX_9^2+dX_{10}^2]`$
and field strength,

$$F_{012\alpha }=\frac{_\alpha H_1}{H_1^2}F_{034\alpha }=\frac{_\alpha H_2}{H_2^2}F_{056\alpha }=\frac{_\alpha H_3}{H_3^2}$$
(2.10)
Here, $`H_1`$, $`H_2`$ and $`H_3`$ are functions of the transverse directions $`X^\alpha `$ where $`\alpha =7\mathrm{}10`$

#### Two Fivebranes

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & \times & \times & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & & & \times & \times & & & \end{array}$$
(2.11)
The harmonic function rule dictates the following metric

$`ds^2`$ $`=`$ $`H_1^{2/3}H_2^{2/3}[H_1^1H_2^1(dX_0^2+dX_1^2+dX_2^2+dX_3^2)`$ (2.12)
$`+`$ $`H_1^1(dX_4^2+dX_5^2)+H_2^1(dX_6^2+dX_7^2)`$
$`+`$ $`(dX_8^2+dX_9^2+dX_{10}^2)]`$
and field strength components

$`F_{67\alpha \beta }=ϵ_{\alpha \beta \gamma }H_1`$
$`F_{45\alpha \beta }=ϵ_{\alpha \beta \gamma }H_2`$ (2.13)
The functions $`H_1`$ and $`H_2`$ depend only on the overall transverse directions labelled by $`\alpha `$ which takes values $`8,9,10.`$

#### Three Fivebranes

Adding now a third M5-brane in the following manner:

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & \times & \times & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & & & \times & \times & & & \\ \mathrm{𝐌𝟓}& \times & \times & & & \times & \times & \times & \times & & & \end{array}$$
(2.14)
we find that spacetime is described by the metric

$`ds^2`$ $`=`$ $`H_1^{2/3}H_2^{2/3}H_3^{2/3}[H_1^1H_2^1H_3^1(dX_0^2+dX_1^2)`$ (2.15)
$`+`$ $`H_1^1H_2^1(dX_2^2+dX_3^2)+H_1^1H_3^1(dX_4^2+dX_5^2)`$
$`+`$ $`H_2^1H_3^1(dX_6^2+dX_7^2)+(dX_8^2+dX_9^2+dX_{10}^2)]`$
and field strength components are

$`F_{67\alpha \beta }=ϵ_{\alpha \beta \gamma }H_1`$
$`F_{45\alpha \beta }=ϵ_{\alpha \beta \gamma }H_2`$
$`F_{23\alpha \beta }=ϵ_{\alpha \beta \gamma }H_3`$
The harmonic functions $`H_1`$, $`H_2`$ and $`H_3`$ depend on $`X^\alpha `$ where $`\alpha =8,9,10`$.

### Exiled!

Under the Rule of the Harmonic Functions, the configurations described below are banished on the charge that they do not have a sufficient number of overall transverse directions. The minimum number of transverse directions required for a law abiding brane configuration living under the Harmonic Function rule is three. At least three overall transverse directions are needed in order for the functions $`H_i`$ to be solutions of the flat Laplacian in this subspace with the right behaviour at infinity and thus be deserving of the title ’Harmonic’ functions.

Two Transverse Directions

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & \times & \times & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & \times & \times & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & \times & \times & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & & & \times & \times & & \end{array}$$
(2.16)
One Transverse Direction

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & \times & \times & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & & & \times & \times & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & & & & & \times & \times & \end{array}$$
(2.17)
No Transverse Directions!

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & \times & \times & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & \times & \times & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & \times & \times & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & & & \times & \times & & \\ \mathrm{𝐌𝟐}& \times & & & & & & & & & \times & \times \end{array}$$
(2.18)
### 2.2 The Cycles we Turn To

Supersymmetric cycles have the defining property that branes wrapping them preserve some supersymmetry. Holomorphic cycles are known to be supersymmetric; in fact being the simplest examples of supersymmetric cycles they are the ones considered most often. All the configurations studied in this thesis describe M-branes wrapping holomorphic cycles, so we now take a small detour and see how holomorphicity leads to supersymmetry and study the conditions it imposes on the surviving supercharges.

A wrapped $`p`$-brane whose embedding into spacetime is described by $`X^\mu (\sigma ^i)`$ is said to be supersymmetric only if the background it gives rise to admits at least one Killing spinor $`\chi `$ such that

$$\chi =\frac{1}{p!}\frac{1}{\sqrt{h}}\widehat{ϵ}^{\alpha _1\mathrm{}\alpha _p}\mathrm{\Gamma }_{M_1\mathrm{}M_p}_{\alpha _1}X^{M_1}\mathrm{}._{\alpha _p}X^{M_p}\chi .$$
(2.19)
where $`\mathrm{\Gamma }_{M_1\mathrm{}M_p}`$ is the completely anti-symmetrized product of $`p`$ eleven dimensional $`\mathrm{\Gamma }`$ matrices, $`\widehat{ϵ}`$ is the $`p`$-dimensional Levi-Civita symbol and $`h`$ denotes the determinant of the induced metric $`h_{ij}`$ on the brane.

For a brane embedded in a complex space with Hermitean metric $`G_{U\overline{V}}`$, the induced metric on the worldvolume is

$$h_{ij}=[_iX^U_jX^{\overline{V}}+_jX^U_iX^{\overline{V}}]G_{U\overline{V}}$$
(2.20)
If the brane is holomorphically embedded, the supersymmetric cycle it wraps must be even-dimensional; we denote its dimension by $`2m`$. Defining now a complex structure on this cycle which is compatible with the complex structure in spacetime, the induced metric can be written in the form:

$$h_{u\overline{v}}=_uX^U_{\overline{v}}X^{\overline{V}}G_{U\overline{V}}$$
(2.21)
Hermiticity of the embedding space metric $`G_{U\overline{V}}`$, will imply that the induced metric on the worldvolume is Hermitean as well; as such $`\mathrm{det}h_{u\overline{v}}=\sqrt{h}`$ is given by

$$\sqrt{h}=\frac{1}{m!}ϵ^{u_1\mathrm{}u_m}ϵ^{\overline{v_1}\mathrm{}\overline{v}_m}h_{u_1\overline{v}_1}\mathrm{}h_{u_m\overline{v}_m}$$
(2.22)
The Killing spinor equation (2.19) now takes the form

$`\sqrt{h}\chi `$ $`=`$ $`({\displaystyle \frac{1}{m!}})^2\widehat{ϵ}^{u_1\mathrm{}u_m}ϵ^{\overline{v_1}\mathrm{}\overline{v}_m}\mathrm{\Gamma }_{U_1\overline{V}_1\mathrm{}U_m\overline{V}_m}_{u_1}X^{U_1}\mathrm{}_{\overline{v}_m}X^{\overline{V}_m}\chi `$ (2.23)
$`=`$ $`({\displaystyle \frac{1}{m!}})^2\widehat{ϵ}^{u_1\mathrm{}u_m}ϵ^{\overline{v_1}\mathrm{}\overline{v}_m}\mathrm{\Gamma }_{u_1\overline{v}_1\mathrm{}u_m\overline{v}_m}`$
Inserting the expression for $`h`$ from (2.22), we can read off the projection conditions on the Killing spinor associated with an M-brane wrapping the given $`2m`$-dimensional holomorphic cycle.

In particular, for a two-cycle, we find

$$\mathrm{\Gamma }_{u\overline{v}}\chi =h_{u\overline{v}}\chi $$
(2.24)
and for a four-cycle,

$$\mathrm{\Gamma }_{u\overline{v}s\overline{s}}\chi =[h_{u\overline{v}}h_{w\overline{s}}h_{u\overline{s}}h_{w\overline{v}}]\chi $$
(2.25)
Both these conditions will be used later on when we discuss holomorphic embeddings of M-branes.

The Determinant of a Hermitean Metric.
Assume that the metric $`h_{MN}`$ in an $`m`$ dimensional complex space is Hermitean. Hermiticity implies that $`h_{ij}=h_{\overline{ij}}=0`$. Thus, in the $`2m\times 2m`$ dimensional matrix which would conventionally be used to represent the metric, there are only $`4m^2m^2m^2`$ entries which are non-zero and none of these are along the diagonal. Using then the fact that a metric must be symmetric, we find that the degrees of freedom are reduced by a further half, leaving only $`m^2`$ entries to determine the metric completely. These can be arranged into an $`m\times m`$ matrix which specifies the Hermitean metric. Consider a simple example to illustrate this point: Let $`h_{MN}`$ be the metric in a $`2m`$ real dimensional space.
$$\mathrm{det}h_{MN}=\frac{1}{(2m)!}ϵ^{I_1\mathrm{}I_{2m}}ϵ^{J_1\mathrm{}J_{2m}}h_{I_1J_1}\mathrm{}h_{I_{2m}J_{2m}}$$
If a complex structure is defined on this space, the anti-symmetric tensor $`ϵ^{I_1\mathrm{}I_{2m}}`$ splits up into a product of two tensors, with holomorphic and anti-holomorphic indices as follows:
$$\frac{1}{(2m)!}ϵ^{I_1\mathrm{}I_{2m}}=\frac{1}{m!}ϵ^{i_1\mathrm{}i_m}\frac{1}{m!}ϵ^{\overline{j}_1\mathrm{}\overline{j}_m}$$
If this complex structure is such that the resulting metric is hermitean, the determinant can be written as
$$h\mathrm{det}h_{MN}=[\mathrm{det}h_{i\overline{j}}]^2$$
where
$$\mathrm{det}h_{i\overline{j}}=\frac{1}{m!}ϵ^{i_1\mathrm{}i_m}ϵ^{\overline{j}_1\mathrm{}\overline{j}_m}h_{i_1\overline{j}_1}h_{i_2\overline{j}_2}\mathrm{}h_{i_m\overline{j}_m}$$

### 2.3 Killing (some) Spinors

The amount of supersymmetry preserved by a p-brane with worldvolume $`X^{M_1}\mathrm{}X^{M_p}`$ is given by the number of spinors which satisfy (2.19).

Because we are dealing with holomorphic cycles, and a complex structure has been defined on the embedding space, it makes sense to re-write the Clifford algebra in complex coordinates as well. This is in fact a very useful thing to do, as it turns out that the flat space Clifford algebra when expressed in complex coordinates resembles the algebra of fermionic creation and annihilation operators! We can thus express spinors on a complex manifold as states in a Fock space . Defining $`\mathrm{\Gamma }`$ matrices for a complex coordinate $`z_j=x_j+iy_j`$ as follows:

$`\mathrm{\Gamma }_{z_j}`$ $`=`$ $`{\displaystyle \frac{1}{2}}(\mathrm{\Gamma }_{x_j}+i\mathrm{\Gamma }_{y_j})`$ (2.26)
$`\mathrm{\Gamma }_{\overline{z_j}}`$ $`=`$ $`{\displaystyle \frac{1}{2}}(\mathrm{\Gamma }_{x_j}i\mathrm{\Gamma }_{y_j})`$
the Clifford algebra in $`C^n`$ takes the form

$$\{\mathrm{\Gamma }_{z_i},\mathrm{\Gamma }_{\overline{z_j}}\}=2\eta _{i\overline{j}}.$$
(2.27)
Declaring $`\mathrm{\Gamma }_{z_i}`$ to be creation operators and $`\mathrm{\Gamma }_{\overline{z_j}}`$ to be annihilation operators, it is now clear that a Fock space can be generated by acting the creation operators on a vacuum. Because there are $`n`$ creation operators, each state in the Fock space is labelled by $`n`$ integers taking values 0 or 1 which correspond to its fermionic occupation numbers.

We illustrate the utility of this construction by considering in detail an M5-brane wrapping a two-cycle in $`^3`$. Let the holomorphic coordinates in $`^3`$ be $`u,v,w`$. The Clifford algebra can then be explicitly written out as

$$\{\mathrm{\Gamma }_u,\mathrm{\Gamma }_{\overline{u}}\}=\{\mathrm{\Gamma }_v,\mathrm{\Gamma }_{\overline{v}}\}=\{\mathrm{\Gamma }_w,\mathrm{\Gamma }_{\overline{w}}\}=1;$$
(2.28)
all other anti-commutators are zero. Since the Fock vacuum is the state where none of the oscillators are excited it is denoted by $`|000>`$ and the highest weight state where all oscillators are excited is denoted by $`|111>`$. Hence we have

$`\mathrm{\Gamma }_{\overline{z}}|000>`$ $`=`$ $`0`$ (2.29)
$`\mathrm{\Gamma }_z|111>`$ $`=`$ $`0.`$
where z can take values $`u,v,w`$. A generic spinor $`\psi `$ in $`^3`$ can then be decomposed in terms of Fock space states as follows:

$`\psi `$ $`=`$ $`a|000>+b|100>+c|010>+d|001>`$
$`+`$ $`e|110>+f|101>+g|011>+h|111>`$
An eleven dimensional spinor $`\chi `$ can be written as a sum of terms of the form $`\alpha \psi \alpha |n_u,n_v,n_w>`$ where $`\alpha `$ is a four-dimensional spinor and $`n_z,\mathrm{for}z=u,v,w`$ are the fermionic occupation numbers of the state. Expressing spinors in this way and writing down the supersymmetry preservation conditions in terms of $`\mathrm{\Gamma }_z`$, it becomes very easy to figure out the Killing spinors.

Consider an M5-brane wrapping a two-cycle in $`^3`$. From (2.19) we see that supersymmetry is preserved only if solutions can be found to the equation

$`i\mathrm{\Gamma }_{0123}\mathrm{\Gamma }_{m\overline{n}}\chi =\eta _{m\overline{n}}\chi `$ (2.31)
For the time being, we restrict ourselves to the implications of the above condition on $`\psi `$ alone. We then find the following constraints:

$`\mathrm{\Gamma }_{u\overline{v}}\psi =\mathrm{\Gamma }_{u\overline{w}}\psi =\mathrm{\Gamma }_{v\overline{u}}\psi =0`$
$`\mathrm{\Gamma }_{v\overline{w}}\psi =\mathrm{\Gamma }_{w\overline{u}}\psi =\mathrm{\Gamma }_{w\overline{v}}\psi =0`$ (2.32)
Those which were Killed, Live!
We pause for a minute to see what these constraints say about the spinor. Take a simple constraint, say $`\mathrm{\Gamma }_u\chi =0`$. Since $`\mathrm{\Gamma }_u`$ is a creation operator, it acts on $`\psi `$ such that all states with $`n_u=0`$ are taken to $`n_u=1`$ but states which already had $`n_u=1`$ are killed. Writing this out we find
$$\mathrm{\Gamma }_u\psi =a|100>+b|110>+c|101>+d|111>=0$$
Since all Fock space states are independent, this implies that $`a=b=c=d=0`$. The spinor $`\psi `$ can now only have the components $`|000>,|010>,|001>`$ and $`|011>`$ Hence, in effect what a constraint of the type $`\mathrm{\Gamma }\psi =0`$ does is to kill the spinors which survive the action of $`\mathrm{\Gamma }`$ and keep the spinors which were eliminated!

Hence (2.32) eliminates all states which have the following occupation numbers.

$`n_u=0\mathrm{and}n_v=1,\mathrm{or}n_u=0\mathrm{and}n_w=1,`$
$`n_v=0\mathrm{and}n_u=1,\mathrm{or}n_v=0\mathrm{and}n_w=1,`$
$`n_w=0\mathrm{and}n_u=1,\mathrm{or}n_w=0\mathrm{and}n_v=1.`$ (2.33)
The only components of $`\psi `$ which survive this treatment are $`|000>`$ and $`|111>`$. Recall that (2.31) also gives rise to constraints

$`i\mathrm{\Gamma }_{0123}\mathrm{\Gamma }_{z\overline{z}}\chi ={\displaystyle \frac{1}{2}}\chi `$ (2.34)
Since

$`\mathrm{\Gamma }_{z\overline{z}}|000>`$ $`=`$ $`|000>`$
$`\mathrm{\Gamma }_{z\overline{z}}|111>`$ $`=`$ $`|111>`$ (2.35)
these constraints can be used to determine the four-dimensional chirality of the spinors $`\alpha `$ and $`\beta `$ when $`\chi `$ is expressed as

$$\chi =\alpha |000>+\beta |111>$$
(2.36)
Imposing (2.34) we find that

$`i\mathrm{\Gamma }_{0123}\alpha `$ $`=`$ $`\alpha `$
$`i\mathrm{\Gamma }_{0123}\beta `$ $`=`$ $`\beta `$ (2.37)
#### Counting

The last step is to count the number of supercharges preserved by this configuration. As a generic spinor in 11 dimensions, $`\chi `$ starts out life with 32 complex components: 4 complex components come from the Dirac spinor $`\alpha `$ and, as we have seen explicitly, 8 components come from $`\psi `$. After the constraints (2.32) are imposed, only 2 of these 8 components survive, so the spinor $`\chi `$ is left with $`4\times 2`$ complex degrees of freedom. Determining the chirality of $`\alpha `$ and $`\beta `$ cuts the degrees of freedom down by a further half. Finally we impose the Majorana condition, which essentially states that $`\chi `$ can be completely determined by $`\alpha |000>`$ and thus has only the 4 real degrees of freedom of this state.

An M5-brane wrapping a holomorphic two-cycle in $`C^3`$ hence preserves 4 of the 32 possible supercharges, or $`1/8`$ of the total spacetime supersymmetry.

### 2.4 Pushing the Boundaries

Now that we have a rule which allows us to contruct supergravity solutions for a certain class of BPS bound states of branes, we can try to extend the scope of this rule to a wider class of supersymmetric configurations. A natural step in this direction would be to make the harmonic functions depend on coordinates in the relative transverse space so that they may describe branes which are not smeared in this subspace. However, even if we start from this assumption it turns out that at least one of the branes becomes delocalized because of the translational invariance which results from smearing.

To illustrate this point consider the simplest possible example, that of 2 M2-branes, which span worldvolumes $`X^0X^1X^2`$ and $`X^0X^3X^4`$ intersecting at a point, and are characterized by functions $`H_1`$ and $`H_2`$ respectively. $`H_1`$ and $`H_2`$ are now allowed to depend on all spatial coordinates, in contrast to what was acceptable previously for the harmonic function rule.

If the membrane spanning $`X^0X^3X^4`$ is localized then we should have translational invariance on its world-volume implying that the membrane with worldvolume $`X^0X^1X^2`$ cannot be localized in $`X^3`$ or $`X^4`$ and must instead be smeared. So, as far as this M2-brane is concerned, life is just as it was previously under the harmonic function rule; $`H_1`$ still depends only on the overall transverse directions $`X^5\mathrm{}X^{10}`$: Moreover, since it also obeys the flat space Laplace equation in these directions, $`H_1`$ is a Harmonic function of the radial coordinate in this space.

However, since the M2-brane with worldvolume $`X^0X^3X^4`$ is localised, the function $`H_2`$ characterising it obeys a different equation. Recall that the origin of the Harmonic function condition was the equation of motion for the four-form $`dF=0`$. Applying this to the case at hand, we now find that $`H_2`$ obeys the curved space Laplace equation

$$H_2(_{3}^{}{}_{}{}^{2}+_{4}^{}{}_{}{}^{2})H_1+(_{5}^{}{}_{}{}^{2}\mathrm{}_{10}^{}{}_{}{}^{2})H_1=0$$
(2.38)
and is hence called a generalised harmonic function

### 2.5 The Kingdom is larger than it seems..

The Harmonic Functions rule very successfully in their own domain, but they never claimed to exercise absolute control over the entire kingdom of supergravity solutions. Branes smeared over the relative transverse directions are loyal subjects, (as long as they have three or more overall transverse directions) but, as we have seen in the previous section, localised intersections defy the Rule and consequently must be described by a wider class of spacetimes.

In an attempt to address this problem, Fayyazuddin and Smith  came up with a metric ansatz whose form is dictated by the isometries of the background in the presence of a wrapped brane configuration,(which could have an intersecting brane system as its singular limit).

The spacetimes they considered describe M-branes wrapping holomorphic cycles so a complex structure has been described on the embedding space in order to make holomorphicity transparent. If the supersymmetric cycle is embedded into an $`2n`$ dimensional subspace, then we would expect the remaining directions of spacetime $`X^\alpha `$, (i.e those transverse to the flat worldvolume directions $`X^\mu `$ and also to the embedding space), to be rotationally invariant. Rotational invariance in $`X^\alpha `$ implies that the metric is diagonal in this subspace and that the undetermined functions in the metric ansatz depend only on the radial coordinate $`\rho =\sqrt{X_\alpha X^\alpha }`$.

Isometries, however, fail to guide us when it comes to dictating the form of the Hermitean metric $`G_{M\overline{N}}`$ in the complex space where the holomorphic cycle is embedded. All we can say is about the Hermitean metric is that that it too, along with $`H_1`$ and $`H_2`$, must be independent of $`X^\mu `$ since we would Lorentz symmetry to be preserved along the un-wrapped directions of the M-brane worldvolume. This Lorentz symmetry also implies that the metric is diagonal in $`X^\mu `$.

A metric incorporating the above symmetries takes the form:

$$ds^2=H_{1}^{}{}_{}{}^{2}\eta _{\mu \nu }dX^\mu dX^\nu +2G_{M\overline{N}}dz^Mdz^{\overline{N}}+H_{2}^{}{}_{}{}^{2}\delta _{\alpha \beta }dX^\alpha dX^\beta $$
(2.39)
We now describe some of its key features.

* Comparing this metric to that of a flat M-brane, we see one major difference. The metric for a wrapped brane too, depends only on the radial coordinate $`r`$ in the space transverse to the brane but because of the non-trivial worldvolume of this brane the transverse space is not as simple to define as it was earlier. We know that the transverse space now is some combination of what we call the relative transverse (or embedding space) directions and the overall transverse directions, but a more exact statement is hard to make, unless we know explicitly the geometry of the worldvolume.

Depending on how the supersymmetric cycle lies in the relative transverse/embedding manifold, it could ofcourse happen that $`r`$ does not depend on all the coordinates in this space. But in order to cover all possible cases and for the purposes of making a general ansatz, we assume $`r`$ is a function of all but the overall common directions.
* The Hermitean metric in the above ansatz will have, in general, off diagonal components as well. As will be shown later in an explicit example, it is these components of the metric which allow us to move from a supergravity solution with a smeared intersection to one which has a localised intersection. It also allows us to incorporate configurations of branes intersecting at angles – a class of systems not encompassed by the harmonic function rule
* Allowing $`r`$ to depend on the embedding space coordinates has another implication also. For supergravity solutions constructed via the harmonic function rule, the field strength $`F_{p+2}=dA_{p+1}`$ consisted only of components obtained from the gauge potential by acting $`d`$ in the overall transverse directions, as these were the only ones on which the metric was allowed to depend.

Using the Fayyazuddin-Smith ansatz instead, where the fields are allowed to depend on the relative transverse directions as well, we can now apply the exterior derivative in these transverse directions also, leading to previously unknown components for the field strength!
* Moreover, by allowing $`r`$ to depend on the embedding space coordinates, we get rid of the objection which the harmonic function rule levelled at brane configurations with less than three overall transverse directions. Such configurations too, are welcomed into the fold of this new ansatz.

New lands however, can not be added to the kingdom of supergravity solutions without paying a price. The battle we must wage now is against non-linear differential equations. Earlier, while discussing the flat M-brane solutions, we pointed out that the functions H were harmonic due to the fact that equations of motion for the four-form field strength $`dF=0`$ reduced to the flat space Laplace equation. With the more complicated metric we have now, this is no longer the case. The undetermined functions in the metric ansatz are thus harmonic no longer, and obey a more complicated differential equation, which will in practise be very difficult to solve.

### New Frontiers

The fact that a brane configuration preserves supersymmetry implies that the supersymmetric variation of the gravitino $`\delta _\chi \mathrm{\Psi }`$ vanishes in this background if the variation parameter is a Killing spinor. If we require this to be true for a given metric, we find a set of conditions relating the metric to components of the field strength of the supergravity three-form. If the resulting metric and four-form also obey the contraints $`dF=0`$ and $`dF=0`$ then Einstein’s equations are guaranteed to be satisfied and we have determined the bosonic components of a BPS solution to 11-dimensional supergravity.

Denoting flat (tangent space) indices in 11-dimensional spacetime by $`i,j`$ and curved indices by $`I,J`$, the bosonic part of the action for 11d supergravity can be written as

$$S=\sqrt{G}\{R\frac{1}{12}F^2\frac{1}{432}ϵ^{I_1\mathrm{}.I_{11}}F_{I_1\mathrm{}I_4}F_{I_5\mathrm{}.I_8}A_{I_9..I_{11}}\}$$
(2.40)
and the supersymmetric variation of the gravitino is given by

$$\delta \mathrm{\Psi }_I=(_I+\frac{1}{4}\omega _I^{ij}\widehat{\mathrm{\Gamma }}_{ij}+\frac{1}{144}\mathrm{\Gamma }_{I}^{}{}_{}{}^{JKLM}F_{JKLM}\frac{1}{18}\mathrm{\Gamma }^{JKL}F_{IJKL})\chi .$$
(2.41)
Following the logic outlined in the previous section, we begin our search for solutions of this theory by writing down an ansatz for the space-time metric following Fayyazuddin and Smith.

We then enforce supersymmetry preservation by setting $`\delta \mathrm{\Psi }_I=0`$. This expression involves components of the spin connection which can be calculated from the metric ansatz using the formula

$$2\omega _I^{ij}=e^{iJ}(_Ie_J^j_Je_I^j)e^{jJ}(_Ie_J^i_Je_I^i)e^{iK}e^{jL}(_Ke_L^l_Le_K^l)e_{lI}$$
(2.42)
Since $`\chi `$ can been expressed as a sum of Fock space states, the condition $`\delta \mathrm{\Psi }_I=0`$ amounts to a sum of linearly independent constraints (one arising from every Fock state), each of which must be put to zero seperately. This leads to a set of relations between various components of the field strength and the metric.

The supergravity solution is obtained  when these conditions are supplemented by the equations of motion and Bianchi identity for the four-form field strength $`dF=0`$ and $`dF=0`$. This is the method followed in the preceeding section, to find the bosonic solutions of 11-dimensional supergravity for all M-branes wrapping holomorphic curves such that $`FF=0`$.

### 2.6 Charging forth.

#### Membranes

The Fayyazuddin-Smith ansatz for a metric describing the supergravity background created by an M2-brane wrapping a holomorphic curve in $`^n`$ is :

$$ds^2=H_1^2dt^2+2H_1^1g_{M\overline{N}}dZ^MdZ^{\overline{N}}+H_2^2\delta _{\alpha \beta }dX^\alpha dX^\beta .$$
(2.43)
Here $`Z^M`$ are used to denote the $`n`$ complex coordinates, $`X^\alpha `$ span the remaining $`(102n)`$ transverse directions and a factor of $`H_1^1`$ is pulled out of the Hermitean metric for later convenience.

A Hermitean two-form $`\omega _g`$ associated with the metric is defined such that $`\omega _g=ig_{M\overline{N}}dz^Mdz^{\overline{N}}`$. Supersymmetry preservation imposes a constraint on the Hermitean metric $`g_{M\overline{N}}`$ and in addition states that111As pointed out in , this determines H only up to a rescaling by an arbitrary holomorphic function

$$H^1=\sqrt{\mathrm{det}g_{M\overline{N}}}$$

where $`HH_1^3=H_2^6`$. Further, a set of relations between components of the metric and field strength is obtained. These can be solved for the non-zero components of the four-form.

Killing spinors of this configuration being Majorana can be expressed as

$$\chi =\alpha +C\alpha ^{}$$

if C is the charge conjugation matrix. Hence, the spinor $`\alpha `$ is all that is needed to completely specify $`\chi `$

The Bianchi indentiy $`dF=0`$ is automatically satisfied, but the equation of motion $`dF=0`$ must be imposed by hand. This leads to a complicated non-linear differential equation involving $`g_{M\overline{N}}`$ and H which must be satisfied by any supergravity solution.

Having thus discussed the structure of the supergravity solutions for membranes wrapping holomorphic two-cycles in manifolds of various dimension, we proceed to present the results.

In some cases, when the holomorphic functions describing the embedding of the manifold are factorizable, the wrapped brane configuration has an intersecting brane interpretation when the curve becomes singular. Along with the components of the solution described above, we will also present in our analysis of each configuration , , the intersecting brane system which would arise in the singular limit of this curve, if indeed such a singular limit exists.

#### M2 wrapping a 2-cycle in $`^2`$

Metric Constraint

$$(H\omega _g)=0$$
(2.44)
Four-Form Field Strength

The non-zero components of the four-form field strength are given by:

$`F_{0M\overline{N}\alpha }`$ $`=`$ $`{\displaystyle \frac{i}{2}}_\alpha g_{M\overline{N}},`$ (2.45)
$`F_{0M\overline{N}\overline{P}}`$ $`=`$ $`{\displaystyle \frac{3i}{4}}[_{\overline{P}}g_{M\overline{N}}_{\overline{N}}g_{M\overline{P}}]{\displaystyle \frac{i}{2}}[(_{\overline{P}}\mathrm{ln}H)g_{M\overline{N}}(_{\overline{N}}\mathrm{ln}H)g_{M\overline{P}}]`$
and their complex conjugates.

Killing Spinors

The eight Killing spinors of this configuration are specified by

$$\alpha =H^{1/6}\eta |00>$$
(2.46)
such that $`\eta `$ is a constant spinor obeying the projection condition

$$\mathrm{\Gamma }_{012}\eta =\mathrm{\Gamma }_{034}\eta =\eta $$
(2.47)
$`dF=0`$:

$$_\alpha ^2(Hg_{M\overline{N}})+2_M_{\overline{N}}H=0$$
(2.48)
Intersecting Brane Limit

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & \times & \times & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & \times & \times & & & & & & \end{array}$$
(2.49)
#### M2 wrapping a 2-cycle in $`^3`$

Metric Constraint

$$(H\omega _g\omega _g)=0$$
(2.50)
Four-Form Field Strength

The following expressions, together with their complex conjugates give the non-zero components of the field strength.

$`F_{0M\overline{N}\alpha }`$ $`=`$ $`{\displaystyle \frac{i}{2}}_\alpha g_{M\overline{N}},`$ (2.51)
$`F_{0M\overline{N}\overline{P}}`$ $`=`$ $`{\displaystyle \frac{i}{2}}[_{\overline{P}}g_{M\overline{N}}_{\overline{N}}g_{M\overline{P}}]`$
Killing Spinors

The four Killing spinors of this configuration are specified by

$$\alpha =H^{1/6}\eta |000>$$
(2.52)
where $`\eta `$ is a constant spinor such that

$$\mathrm{\Gamma }_{012}\eta =\mathrm{\Gamma }_{034}\eta =\mathrm{\Gamma }_{056}\eta =\eta $$
(2.53)
$`dF=0`$:

$$_\alpha ^2[H\omega _g\omega _g]=0.$$
(2.54)
Intersecting Brane Limit

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & \times & \times & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & \times & \times & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & \times & \times & & & & \end{array}$$
(2.55)
#### M2 wrapping a 2-cycle in $`^4`$

Since this is a configuration which has only two overall transverse directions, note that its supergravity solution could not be obtained using the harmonic function rule.

Metric Constraint

Supersymmetry requires the metric to obey

$$(H\omega _g\omega _g\omega _g)=0$$
(2.56)
Four-Form Field Strength

The field strength components are the same as the previous case. They are given by the following expressions and their complex conjugates.

$`F_{0M\overline{N}\alpha }`$ $`=`$ $`{\displaystyle \frac{i}{2}}_\alpha g_{M\overline{N}},`$ (2.57)
$`F_{0M\overline{N}\overline{P}}`$ $`=`$ $`{\displaystyle \frac{i}{2}}[_{\overline{P}}g_{M\overline{N}}_{\overline{N}}g_{M\overline{P}}]`$
Killing Spinors

The two Killing spinors are specified by

$$\alpha =H^{1/6}\eta |0000>$$
(2.58)
where the constant spinor $`\eta `$ obeys the projection conditions

$`\mathrm{\Gamma }_{012}\eta =\mathrm{\Gamma }_{034}\eta =\mathrm{\Gamma }_{056}\eta =\mathrm{\Gamma }_{078}\eta =\eta `$ (2.59)
$`dF=0`$:

$$_\alpha ^2[H\omega _g\omega _g\omega _g]+2\overline{}[H\omega _g\omega _g]=0.$$
(2.60)
Intersecting Brane Limit

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & \times & \times & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & \times & \times & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & \times & \times & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & & & \times & \times & & \end{array}$$
(2.61)
#### M2 wrapping a 2-cycle in $`^5`$

This is the maximal dimensional complex manifold we can have, since it now spans all ten spatial directions. There is hence no $`X^\alpha `$ and consequently no $`F_{0M\overline{N}\alpha }`$ component in the field strength. Moreover, there is no $`H_2`$, so $`H`$ is defined simply as $`H=H_1^3`$

The absence of any overall transverse directions also means that the supergravity solution of this configuration has no counterpart which can be obtained via the harmonic function rule.

Metric Constraint

$$(H\omega _g\omega _g\omega _g\omega _g)=0$$
(2.62)
Four-Form Field Strength

The only non-zero contributions come from:

$$F_{0M\overline{N}\overline{P}}=\frac{i}{2}[_{\overline{P}}(g_{M\overline{N}})_{\overline{N}}(g_{M\overline{P}})],$$
(2.63)
and its complex conjugate, $`F_{0\overline{M}NP}`$.

Killing Spinors

The single Killing spinor of this configuration is

$$\chi =H^{1/6}\eta (|00000>+|11111>)$$
(2.64)
where the constant spinor $`\eta `$ is subject to

$$\mathrm{\Gamma }_{012}\eta =\mathrm{\Gamma }_{034}\eta =\mathrm{\Gamma }_{056}\eta =\mathrm{\Gamma }_{078}\eta =\mathrm{\Gamma }_{09(10)}\eta =\eta $$
(2.65)
$`dF=0`$:

$`g^{M\overline{N}}_MH(_Cg_{B\overline{N}}_Bg_{C\overline{N}})=0`$ (2.66)
$`g^{M\overline{C}}_M[H^{\frac{1}{3}}(_Bg_{A\overline{C}}_Ag_{B\overline{C}})]=0`$
$`g^{N\overline{P}}3_{\overline{P}}(_Bg_{N\overline{C}}_Ng_{B\overline{C}})=`$
$`g^{N\overline{P}}g^{A\overline{M}}_{\overline{P}}[g_{A\overline{C}}_Bg_{N\overline{M}}+g_{B\overline{M}}_Ag_{N\overline{C}}_N(g_{B\overline{M}}g_{A\overline{C}})]`$ (2.67)
Intersecting Brane Limit

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & \times & \times & & & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & \times & \times & & & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & \times & \times & & & & \\ \mathrm{𝐌𝟐}& \times & & & & & & & \times & \times & & \\ \mathrm{𝐌𝟐}& \times & & & & & & & & & \times & \times \end{array}$$
(2.68)
Fivebranes

We now turn to supergravity solutions describing fivebranes wrapped on holomorphic curves. The relevant ansatz for the spacetime metric is:

$$ds^2=H^{1/3}\eta _{\mu \nu }dX^\mu dX^\nu +2G_{M\overline{N}}dz^Mdz^{\overline{N}}+H^{2/3}\delta _{\alpha \beta }dX^\alpha dX^\beta .$$
(2.69)
where $`\mu `$ labels the flat coordinates of the fivebrane worldvolume, $`z^M`$ are the holomorphic coordinates on the embedding space $`^n`$ and $`\alpha `$ takes values in the overall transverse space.

Supersymmetry preservation has already been used here to fix the relative coefficients $`H^{1/3}`$ and $`H^{2/3}`$. It further dictates that, (upto rescaling by an arbitrary holomorphic function), the function H is related to the determinant G of the Hermitan metric in a way that depends on the dimensions of the holomorphic curve and the complex space into which it is embedded. The Hermitean two-form $`\omega _G`$ associated with the metric in the complex subspace is defined such that $`\omega _G=iG_{M\overline{N}}dz^Mdz^{\overline{N}}`$.

Components of the four-form field strength can be expressed in terms of the functions in the metric ansatz by solving a set of constraints which arise from $`\delta \mathrm{\Psi }=0`$. Once again, the Killing spinors are Majorana and hence of the form $`\chi =\alpha +C\alpha ^{}`$ if C is the charge conjugation matrix. The spinor $`\alpha `$ depends on the particular configuration under study.

The non-linear differential equation involving $`g_{M\overline{N}}`$ and H now follows from imposing the Bianchi Identity $`dF=0`$, since the four-form F couples magnetically to the fivebranes and the roles of the equations of motion and Bianchi Identity are consequently interchanged.

All the supergravity solutions for fivebranes wrapping holomorphic cycles in manifolds of various dimension will be of the form outlined above. We present the results ,,, including in addition, the intersecting brane system which arises when the holomorphic cycle becomes singular. Note that such a limit does not always exist.

#### M5 wrapping a 2-cycle in $`^2`$

Metric Constraint

$$\left[H^{1/3}\omega _G\right]=0.$$
(2.70)
where $`H^{2/3}=\sqrt{G}`$

Four-Form Field Strength

The non vanishing components of the supergravity four-form are:

$`F_{M89\left(10\right)}`$ $`=`$ $`{\displaystyle \frac{i}{2}}_MH`$ (2.71)
$`F_{N\overline{M}\beta \gamma }`$ $`=`$ $`{\displaystyle \frac{i}{2}}ϵ_{\alpha \beta \gamma }_\alpha \left[H^{1/3}G_{N\overline{M}}\right]`$ (2.72)
and complex conjugates.

Killing Spinors

The eight Killing spinors of this configuration are specified by

$$\alpha =H^{1/12}\eta |00>$$
(2.73)
where the constant spinor $`\eta `$ is subject to

$$i\mathrm{\Gamma }_{0123}\eta =\eta $$
(2.74)
$`dF=0`$:

$$_\alpha ^2g_{M\overline{N}}+2_M_{\overline{N}}H=0$$
(2.75)
Intersecting Brane Limit

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & \times & \times & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & & & \times & \times & & & \end{array}$$
(2.76)
#### M5 wrapping a 2-cycle in $`^3`$

Metric Constraint

$$\left[H^{1/3}\omega _G\omega _G\right]=0.$$
(2.77)
and $`H=\sqrt{G}`$ must hold.

Four-Form Field Strength

The four-form field strength is given by the expressions below, and their complex conjugates:

$`F_{\overline{N}\overline{P}My}`$ $`=`$ $`{\displaystyle \frac{1}{2}}\left[_{\overline{P}}\left(H^{1/3}G_{M\overline{N}}\right)_{\overline{N}}\left(H^{1/3}G_{M\overline{P}}\right)\right],`$ (2.78)
$`F_{MN\overline{P}\overline{Q}}`$ $`=`$ $`{\displaystyle \frac{i}{2}}_y\left[H^{1/3}\left(G_{M\overline{Q}}G_{N\overline{P}}G_{M\overline{P}}G_{N\overline{Q}}\right)\right]`$ (2.79)
Killing Spinors

The four Killing spinors of this configuration are specified by

$$\alpha =H^{1/12}\eta |000>$$
(2.80)
where the constant spinor $`\eta `$ obeys the projection condition

$$i\mathrm{\Gamma }_{0123}\eta =\eta $$
(2.81)
$`dF=0`$:

$$_y^2\left(H^{1/3}\omega _G\omega _G\right)dy+2i\overline{}\left(H^{1/3}\omega _G\right)=0$$
(2.82)
Intersecting Brane Limit

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & \times & \times & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & & & \times & \times & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & & & & & \times & \times & \end{array}$$
(2.83)
Non-Kahler Metrics.
A flat M5-brane can be thought of as being wrapped on a trivial supersymmetric cycle embedded into a subspace of 11-dimensional spacetime. Take this subspace to be $`^3`$, spanned by holomorphic coordinates $`u,v,w`$. Two equations $`f=f(u,v,w)=0`$ and $`g=g(u,v,w)=0`$ are then needed to define a holomorphic two-cycle. If these equations are $`v=0`$ and $`w=0`$, the two-cycle in question is simply the complex $`u`$ plane.   In the presence of a flat M5-brane with worldvolume $`0123u\overline{u}`$, the spacetime metric is given by:
$$ds^2=H^{1/3}\left(dt^2+dx_1^2+dx_2^2+dx_3^2+dud\overline{u}\right)+H^{2/3}\left(dvd\overline{v}+dwd\overline{w}+dy^2\right)$$
where
$$H=\frac{\mathrm{constant}}{\left(\left|v\right|^2+\left|w\right|^2+y^2\right)^{3/2}}$$
In general, an M5-brane wrapping a Riemann surface embedded in $`^3`$ is expected to give rise to a metric of the form :
$$ds^2=H^{1/3}\left(dt^2+dx_1^2+dx_2^2+dx_3^2\right)+2G_{M\overline{N}}dz^Mdz^{\overline{N}}+H^{2/3}dy^2$$
Comparing the two expressions and defining a re-scaled Hermitean metric $`g_{M\overline{N}}=H^{1/6}G_{M\overline{N}}`$, we find
$$2g_{u\overline{u}}=H^{1/2},\mathrm{\hspace{0.33em}\hspace{0.33em}2}g_{v\overline{v}}=H^{1/2},\mathrm{\hspace{0.33em}\hspace{0.33em}2}g_{w\overline{w}}=H^{1/2}.$$
It can trivially be seen that this metric is not Kahler; moreover since a Kahler metric cannot be obtained even by rescaling, $`g_{M\overline{N}}`$ is not warped Kahler either. However, the components of this blatantly non-Kahler metric satisfy the following curious relations:
$$_u\left(g_{v\overline{v}}g_{w\overline{w}}\right)=_v\left(g_{u\overline{u}}g_{w\overline{w}}\right)=_w\left(g_{u\overline{u}}g_{v\overline{v}}\right)=0.$$
(2.84)  In terms of the Hermitean form $`\omega =ig_{M\overline{N}}dz^Mdz^{\overline{N}}`$ associated with the metric, this can be re-expressed as follows:
$$\left[\omega \omega \right]=0\mathrm{but}\omega 0$$

#### M5 wrapping a 4-cycle in $`^3`$

It turns out to be convenient to define a rescaled metric in this case

$$g_{M\overline{N}}H^{1/3}G_{M\overline{N}}$$
(2.85)
Metric Constraint

$$\omega _g=0$$
(2.86)
and $`g=\mathrm{det}g_{M\overline{N}}=H`$

Four-Form Field Strength

$`F_{89\left(10\right)M}`$ $`=`$ $`{\displaystyle \frac{i}{2}}_MH`$ (2.87)
$`F_{N\overline{M}\beta \gamma }`$ $`=`$ $`{\displaystyle \frac{i}{2}}ϵ_{\alpha \beta \gamma }_\alpha g_{N\overline{M}}`$ (2.88)
Killing Spinors

This configuration has four Killing spinors specified by

$$\alpha =H^{1/12}\eta |000>$$
(2.89)
where the constant spinor $`\eta `$ obeys

$$\mathrm{\Gamma }_{89\left(10\right)}\eta =i\eta $$
(2.90)
$`dF=0`$:

$$_\alpha ^2g_{M\overline{N}}+2_M_{\overline{N}}H=0$$
(2.91)
Intersecting Brane Limit

In the subcases for which an intersecting brane picture exists, this would take the form:

$$\begin{array}{cccccccccccc}& & & & & & & & & & & \\ & 0& 1& 2& 3& 4& 5& 6& 7& 8& 9& 10\\ & & & & & & & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & \times & \times & & & & & \\ \mathrm{𝐌𝟓}& \times & \times & \times & \times & & & \times & \times & & & \\ \mathrm{𝐌𝟓}& \times & \times & & & \times & \times & \times & \times & & & \end{array}$$
(2.92)
The Harmonic Function Rule is Safe!
We now show how this new ansatz encompasses and generalises the harmonic function rule, using the above example to illustrate the point. The Fayyazuddin-Smith metric ansatz for this system can be written as
$$ds^2=H^{2/3}\left[H^1\eta _{\mu \nu }dX^\mu dX^\nu +2H^1g_{M\overline{N}}dz^Mdz^{\overline{N}}+\delta _{\alpha \beta }dX^\alpha dX^\beta \right]$$
For ease of comparison, the metric dictated by the harmonic function rule can also be written using complex coordinates on the embedding (relative transverse) space. Defining $`u=X^2+iX^3`$, $`v=X^4+iX^5`$ and $`w=X^6+iX^7`$, this metric takes the form    $`ds^2`$ $`=`$ $`H_1^{2/3}H_2^{2/3}H_3^{2/3}[H_1^1H_2^1H_3^1(dX_0^2+dX_1^2)+H_1^1H_2^1dud\overline{u}`$     $`+`$ $`H_1^1H_3^1dvd\overline{v}+H_2^1H_3^1dwd\overline{w}+(dX_8^2+dX_9^2+dX_{10}^2)]`$   Comparing the two expressions, one can immediately see that
$$H=H_1H_2H_3,\mathrm{\hspace{0.33em}\hspace{0.33em}\hspace{0.33em}2}g_{u\overline{u}}=H_3,\mathrm{\hspace{0.33em}\hspace{0.33em}\hspace{0.33em}2}g_{v\overline{v}}=H_2,\mathrm{\hspace{0.33em}\hspace{0.33em}\hspace{0.33em}2}g_{w\overline{w}}=H_1$$
and all other components of $`g_{M\overline{N}}`$ are zero. Since $`H_1,H_2`$ and $`H_3`$ are only functions of the overall transverse coordinates, it follows that H must be too, so $`_MH=0`$. Substituting in (2.88), we find that this implies $`F_{89\left(10\right)M}=0`$ and $`F_{N\overline{M}\beta \gamma }\eta _{N\overline{M}}`$ such that    $`F_{u\overline{u}\beta \gamma }`$ $`=`$ $`{\displaystyle \frac{1}{2}}ϵ_{\beta \gamma \alpha }_\alpha H_3,F_{u\overline{u}\beta \gamma }={\displaystyle \frac{1}{2}}ϵ_{\beta \gamma \alpha }_\alpha H_2`$    $`F_{u\overline{u}\beta \gamma }`$ $`=`$ $`{\displaystyle \frac{1}{2}}ϵ_{\beta \gamma \alpha }_\alpha H_1`$   in perfect agreement with the results obtained in (2.79). It should by now be clear, through this explicit discussion, that the Harmonic Function Rule is the restriction of the Fayyazuddin-Smith ansatz to cases where H is not allowed to depend on the embedding space!

## Chapter 3 The Emerald City

You might have arrived at the doors of the Emerald City, but in order to get through the gate-keeper and set foot inside the hallowed portals, you must know the password: calibrations.

Even if this is just another word to you right now, the reason for it being so revered will become clear when you enter the shimmering jewelled towers of the Emerald City; in fact once you become accquainted with calibrations, you will wonder how you ever got along without them!

### 3.1 The Gate-Keeper

A calibration is a mathematical construction which enables us to track down preferred (minimal) submanifolds in a given spacetime. The minimization in question does not necessarily refer to the volume of the submanifold; in fact it is only in purely geometric backgrounds that this is so. As we shall soon see, when the background contains a non-vanishing flux, calibrations pick out minimum energy submanifolds. In general, the quantity being minimized tells us about the structure of the ambient space-time, so essentially calibrations provide us with a way of describing a particular background.

A useful way to discover the calibrations in a particular background  is to use ’test branes’. The idea is similar to a test particle in electrodynamics which is placed in an already existing electric field merely to measure its value at a given point. In order to focus our attention on the properties of the existing background, all possible distractions are set to zero, i.e it is assumed that the test particle is truly just a probe in that it gives rise to no fields of its own. Similarly, test branes are branes which do not themselves cause any deformations of the background in which they are placed, (i.e all such deformations are neglected) but merely act as probes for the existing geometry.

If a test brane is BPS, it takes on a stable shape which must by definition, be a supersymmetric cycle in the given background. When this background is flat space, we know what these cycles are. When the background is a manifold of special holonomy, again we know what the cycles are, Berger classified them for us. The problem though is to figure out what happens when the background is one created by a charged gravitating p-brane source! Such a background has a non-trivial flux, and the supersymmetric cycles in these geometries have not yet been classified. These are the cases we will attempt to study as we tour the Emerald City.

Requiring the world-volume of a wrapped brane to be supersymmetric determines or defines the supersymmetric cycles. In the same way, requiring the energy of a wrapped brane to be minimal determines the calibrations! This is like the age old chicken and egg conundrum $`\mathrm{}`$ who knows what came first? The logic can flow either way.

#### Reduced Holonomy

In the absence of the four-form field strength, a supersymmetric compactification of M-Theory is only possible on a manifold $``$ of reduced holonomy. The reason for this is as follows. Supersymmetry is only preserved if the supersymmetric variation of the gravitino vanishes. In a background with no field strength, we can see from (2.41) that setting the gravitino variation to zero is equivalent to the statement that Killing spinors $`\chi `$ on the manifold $``$ are covariantly constant111with respect to a torsion-free metric, since

$$\delta _\chi \mathrm{\Psi }_I=\left(_I+\frac{1}{4}\omega _I^{ab}\widehat{\mathrm{\Gamma }}_{ab}\right)\chi =D_I\chi =0,$$
(3.1)
where $`a=1,\mathrm{}`$ dim $``$. From $`D_I\chi =0`$, it follows that $``$ is Ricci flat. Furthermore, since

$$R_{abIJ}\gamma ^{ab}\eta =D_{[J},D_{I]}\eta =0$$
(3.2)
some generators of the holonomy group $`R_{abIJ}\gamma ^{ab}`$ annihilate the vacuum, so the holonomy group of the manifold must be a subgroup of the maximal SO(dim $``$) .

In other words, for backgrounds where there is no field strength flux, supersymmetry preservation implies the existence of covariantly constant spinors on the compactification manifold. These exist only if $``$ has reduced holonomy and is Ricci flat, ensuring that Einstein’s field equations are automatically satisfied by the internal manifold222A covariantly constant spinor is always a signal for reduced holonomy, but the converse is true for Ricci flat manifolds only.

For compactifications of string theory down to four dimensions, these conditions imply that the manifold $``$ should be a Calabi-Yau, ie, a 3 complex dimensional Ricci flat manifolds with SU(3), rather than SO(6), holonomy; for 4-dimensional compactifications of M-theory, we find instead that $``$ is a seven dimensional manifold with $`G_2`$ holonomy.

#### Introducing Calibrations

Calibrations $`\varphi `$ are $`p`$-forms, which enable us to classify minimal p-dimensional submanifolds in a particular background space-time  . The (standard) calibration $`\varphi `$ satisfies

$$__p\varphi Vol\left(_p\right)\mathrm{and}d\varphi =0$$
(3.3)
for any $`p`$-dimensional manifold $`_p`$. In every homology class there is a manifold $`\mathrm{\Sigma }_p`$ which minimizes the volume, saturating the above inequality. Since any other manifold $`\mathrm{\Sigma }_p^{^{}}`$ in the same homology class can be written as

$$\mathrm{\Sigma }_p^{^{}}=\mathrm{\Sigma }_p+_{p+1}$$
(3.4)
Using Stokes’ Theorem, we find

$$_\mathrm{\Sigma }^{^{}}\varphi =_\mathrm{\Sigma }\varphi +_{}\varphi =_\mathrm{\Sigma }\varphi +_{}𝑑\varphi =_\mathrm{\Sigma }\varphi =Vol\left(\mathrm{\Sigma }\right).$$
(3.5)
This can be used to prove that

$$_{\mathrm{\Sigma }_p^{^{}}}\varphi =Vol\left(\mathrm{\Sigma }_p\right)Vol\left(\mathrm{\Sigma }_p^{^{}}\right).$$
(3.6)
Hence, integrating the calibration $`\varphi `$ over any $`p`$-dimensional submanifold gives the volume of the minimal manifold in that particular homology class; this minimal manifold is known as a calibrated manifold.

Since we will mostly be dealing with branes of infinite spatial extent, their volumes will obviously be infinite as well. It thus makes more sense to express the definition of a calibrating form as follows:

$$𝒫__p\left(\varphi _p\right)dV__p$$
(3.7)
i.e, the pullback of the calibrating form $`\varphi _p`$ onto any $`p`$-dimensional manifold $`_p`$ is less than or equal to the volume form of this manifold.

#### Berger’s Classification.

For space-times with no background field strength, we have seen that the compactification manifold must have special holonomy. There is a classification, due to Berger, of the calibrations which can exist on such manifolds.

There are several different kinds of calibrations; Kahler calibrations and special Lagrangian calibrations which exist in any Calabi-Yau space and exceptional calibrations which exist only in exceptional holonomy spaces.

* In a Calabi-Yau $`n`$-fold, the $`2p`$-forms $`\varphi =\frac{1}{p!}\omega ^p`$ which are constructed from the Kahler form $`\omega `$ are closed and are known as Kahler calibrations.
* A Calabi-Yau $`n`$-fold admits a unique nowhere vanishing ($`n,0`$)-form, $`\varphi _n`$, called the Special Lagrangian calibration.
* In seven dimensional manifolds, there is a 3-form $`\psi `$ (and its dual 4-form $`\psi `$) which is invariant under the exceptional group $`G_2`$; these give rise to three and four dimensional calibrations known as the Associative and Co-associative calibrations respectively.
* Similarly, in eight dimensional manifolds, there is a self dual 4-form $`\mathrm{\Phi }`$ which is invariant under $`Spin\left(7\right)`$ and gives rise to a four dimensional calibration called the Cayley calibration.

#### Branes and Calibrations

In the absence of flux, stable branes are those whose world-volumes are minimized. Given what we have learnt about calibrations, it is obvious that the volume form on such a brane must be a calibrated form in the ambient spacetime!

For a membrane wrapped on a holomorphic cycle in $`^n`$, the volume form decomposes into a trivial one form contribution from the time direction and the two form associated with the Hermitean metric in the complex emdedding space of the two-cycle. In order for the volume form to be a calibration, it turns out that the metric on $`^n`$ should in fact be Kahler.

It is hence easy to see why a membrane wrapping a holomorphic two-cycle in a Calabi-Yau space gives rise to a supersymmetric configuration.

### 3.2 An Audience with the Wizard

In the presence of a charged brane, the bosonic fields needed to specify the background are the metric and the flux of the gauge field which couples to the brane. Killing spinors of the brane configuration are determined by the metric as well as the field strength and are hence no longer covariantly constant. Since the coupling of the gauge potential to the brane must now be taken into account, it is only natural that the criterion for brane stability also should change. In fact it turns out that stability requires now that the energy of the brane be minimized, where the energy is a measure of not only the volume but also the charge  .

Generalised calibrations $`\varphi _p`$ are defined such that

$`d\left(A_p+\varphi _p\right)`$ $`=`$ $`0`$ (3.8)
$`𝒫_{\mathrm{\Sigma }_p}\left(\varphi _p\right)`$ $``$ $`\stackrel{~}{dV}_{\mathrm{\Sigma }_p}`$ (3.9)
So, a generalised calibration $`\varphi _p`$ is a $`p`$-form whose pullback on to any $`p`$-dimensional manifold $`\mathrm{\Sigma }_p`$ is less than or equal to the (curved space) volume form of this manifold. Note that $`\stackrel{~}{dV}`$ is used to denote the volume form in curved space, as opposed to the flat space volume form $`dV`$ used in the definition of a standard calibration.

It is clear from the above that a generalised calibration is not closed, but rather is gauge equivalent to the potential $`A_p`$ under which the $`\left(p1\right)`$brane is charged. In the trivial case where the field strength flux vanishes, generalised calibrations reduce to the standard calibrations $`d\varphi =0`$ discussed earlier.

Recall from our ealier discussion that a calibrated manifold i.e, one which saturates the bound, must have minimal volume. We now proceed to show that an analogous statement holds for generalised calibrations as well, except that calibrated manifolds now have minimum energy. As we will show later , the energy $``$ is given by

$$\left(\mathrm{\Sigma }_p\right)=_{\mathrm{\Sigma }_p}\left[\stackrel{~}{dV}+A_p\right]$$
(3.10)
We start by assuming that $`\mathrm{\Sigma }_p`$ is a calibrated manifold and thus saturates the calibration bound

$$_{\mathrm{\Sigma }_p}\varphi _p=_{\mathrm{\Sigma }_p}\stackrel{~}{dV}=\stackrel{~}{Vol}\left(\mathrm{\Sigma }_p\right)$$

Since $`\mathrm{\Sigma }_p`$ is minimal, any other generic manifold $`\mathrm{\Sigma }_p^{^{}}`$ in the same homology class can be expressed as $`\mathrm{\Sigma }_p+_{p+1}`$. This implies the following

$$_{\mathrm{\Sigma }_p^{^{}}}\varphi _p=_{\mathrm{\Sigma }_p}\varphi _p+_{_{p+1}}\varphi _p=_{\mathrm{\Sigma }_p}\varphi _p+_{_{p+1}}𝑑\varphi _p$$
(3.11)
From the definition of generalised calibrations, we have $`dA_p=d\varphi _p`$,

$`{\displaystyle _{\mathrm{\Sigma }_p^{^{}}}}\varphi _p`$ $`=`$ $`{\displaystyle _{\mathrm{\Sigma }_p}}\varphi _p{\displaystyle _{_{p+1}}}𝑑A_p={\displaystyle _{\mathrm{\Sigma }_p}}\varphi _p{\displaystyle _{_{p+1}}}A_p`$ (3.12)
$`=`$ $`{\displaystyle _{\mathrm{\Sigma }_p}}\varphi _p+{\displaystyle _{\mathrm{\Sigma }_p}}A_p{\displaystyle _{\mathrm{\Sigma }_p^{^{}}}}A_p`$
Hence,

$$_{\mathrm{\Sigma }_p^{^{}}}\left[\varphi _p+A_p\right]=_{\mathrm{\Sigma }_p}\left[\varphi _p+A_p\right]$$
(3.13)
For the manifold $`\mathrm{\Sigma }_p^{^{}}`$,

$$_{\mathrm{\Sigma }_p^{^{}}}\varphi _p_{\mathrm{\Sigma }_p^{^{}}}\stackrel{~}{dV}_{\mathrm{\Sigma }_p^{^{}}}\left[\varphi _p+A_p\right]\left(\mathrm{\Sigma }_p^{^{}}\right)$$

However, for the calibrated manifold the inequality is saturated, and

$$_{\mathrm{\Sigma }_p}\left[\varphi _p+A_p\right]=\left(\mathrm{\Sigma }_p\right)$$

Hence (3.13) reduces simply to the statement

$$\left(\mathrm{\Sigma }_p\right)\left(\mathrm{\Sigma }_p^{^{}}\right)$$

which says that the calibrated manifold is the one which minimizes its energy in a given holonomy class.

Having seen the way things are in the Emerald City, let us now try and understand, as far as we can, the reasons why they are so.

#### Charged Branes

The Lagrangian density for a $`p`$-brane charged under a potential $`𝒜_{p+1}`$ is

$$=\sqrt{\mathrm{det}h_{ab}}𝒫\left(𝒜\right)$$
(3.14)
where $`h_{ab}`$ is the induced metric on the world-volume, and

$$𝒫\left(𝒜\right)=ϵ^{a_0a_1\mathrm{}a_p}_{a_0}X^{\mu _0}_{a_1}X^{\mu _1}\mathrm{}_{a_p}X^{\mu _p}𝒜_{\mu _0\mu _1\mathrm{}\mu _p}$$

is the pullback of the spacetime (p+1)-form gauge potential onto the brane. In what follows, we will consider only those spacetimes for which the component $`G_{0I}`$ of the metric vanishes, if I is a spatial index. Seperating the purely spatial part of the induced metric by defining

$$g_{ij}_iX^\mu _jX^\nu G_{\mu \nu }$$
(3.15)
we can express $`\mathrm{det}h_{ab}`$ as:

$$\mathrm{det}h_{ab}=\left(_tX^\mu _tX^\nu G_{\mu \nu }\right)\mathrm{det}g_{ij}$$
(3.16)
Choosing now the gauge $`X^0=t`$, the Lagrangian density takes the form

$`=`$ $``$ $`\sqrt{\left(G_{tt}+_tX^I_tX^JG_{IJ}\right)\mathrm{det}g_{ij}}`$ (3.17)
$``$ $`ϵ^{i_1\mathrm{}i_p}_{i_1}X^{I_1}\mathrm{}_{i_p}X^{I_p}𝒜_{tI_1\mathrm{}I_p}`$
$``$ $`ϵ^{i_1\mathrm{}i_p}_tX^M_{i_1}X^{I_1}\mathrm{}_{i_p}X^{I_p}𝒜_{MI_1\mathrm{}I_p}`$
Since the the canonical momentum $`p_I`$ is given by the expression

$`p_K`$ $`=`$ $`{\displaystyle \frac{}{\left(_tX^K\right)}}`$ (3.18)
$`=`$ $`{\displaystyle \frac{_tX^JG_{JK}ϵ^{i_1\mathrm{}i_p}_{i_1}X^{I_1}\mathrm{}_{i_p}X^{I_p}𝒜_{KI_1\mathrm{}I_p}}{\sqrt{\mathrm{det}h_{ab}}}}`$
it follows that the Hamiltonian density $`=p_I_tX^I`$ is

$$=\sqrt{\mathrm{det}h_{ab}}\frac{_tX^JG_{JK}+ϵ^{i_1\mathrm{}i_p}_{i_1}X^{I_1}\mathrm{}_{i_p}X^{I_p}𝒜_{tI_1\mathrm{}I_p}}{\sqrt{\mathrm{det}h_{ab}}}$$
(3.19)
Restricting ourselves to static configurations, we can set $`_tX^J=0`$ to get

$$=\sqrt{\mathrm{det}h_{ab}}+ϵ^{i_1\mathrm{}i_p}_{i_1}X^{I_1}\mathrm{}_{i_p}X^{I_p}𝒜_{tI_1\mathrm{}I_p}$$
(3.20)
For notational convinience we now introduce the $`p`$-form $`A_p`$ such that

$$A_{I_1\mathrm{}I_p}𝒜_{tI_1\mathrm{}I_p}$$
(3.21)
This allows us to define $`\mathrm{\Phi }`$, the worldvolume pull-back of the space-time gauge potential, as follows

$$\mathrm{\Phi }𝒫\left(𝒜\right)=ϵ^{i_1\mathrm{}i_p}_{i_1}X^{I_1}\mathrm{}_{i_p}X^{I_p}𝒜_{I_1\mathrm{}I_p}$$
(3.22)
Finally, we are in a position to write down the energy $``$, associated with the $`p`$-brane as follows

$``$ $`=`$ $`{\displaystyle d^p\sigma \left[\sqrt{G_{tt}}\sqrt{\mathrm{det}g_{ij}}+\mathrm{\Phi }\right]}`$ (3.23)
$`=`$ $`{\displaystyle d^p\sigma \left[\stackrel{~}{dV}+A\right]}`$
#### Spatial Isometries

Typically, only those directions along the brane worldvolume which are wrapped on a supersymmetric curve have a non-trivial space-time embedding; the remaining directions are flat333In the notation adopted here, these are the $`X^\mu `$. Had its entire world-volume been flat, the brane would be a 1/2 BPS object; wrapped branes however, generically break more than half the supersymmetry. Since the preserved supercharges depend on the geometry of the supersymmetric cycle, it is the wrapped directions of the brane world-volume which play a essential role in this analysis whereas flat directions contribute trivially.

We can choose static gauge along the flat directions of the brane’s world-volume. Assume there are $`l`$ such directions, we then set $`X^i=\sigma ^i`$ for $`i=1,\mathrm{},l`$ and find that as a result, the determinant of the induced metric on the worldspace factorises such that

$$\mathrm{det}h_{ab}=G_{tt}\mathrm{det}G|_{l\times l}\mathrm{det}g_{rs}\nu _l^2\mathrm{det}g_{rs}$$
(3.24)
where $`\mathrm{det}G|_{l\times l}`$ denotes the restriction of the determinant of the bulk space metric to the $`l`$ spatial directions which are isometries of the system, and $`\mathrm{det}g_{rs}`$ is the determinant of the induced metric on the Mp-brane in directions $`\sigma ^{l+1}\mathrm{}\sigma ^p`$. Also, the pullback of the gauge potential $`𝒫\left(𝒜\right)`$ can be expressed in static gauge as

$`𝒫\left(𝒜\right)`$ $`=`$ $`ϵ^{i_1\mathrm{}i_p}_{i_1}X^{I_1}\mathrm{}_{i_p}X^{I_p}A_{I_1\mathrm{}I_p}`$ (3.25)
$`=`$ $`ϵ^{i_{l+1}\mathrm{}i_p}_{i_{l+1}}X^{I_{l+1}}\mathrm{}_{i_p}X^{I_p}A_{12\mathrm{}lI_{l+1}\mathrm{}I_p}`$
Hence the energy of this configuration is given by

$$=d^p\sigma \left[\nu _l\sqrt{\mathrm{det}g_{rs}}+ϵ^{i_{l+1}\mathrm{}i_p}_{i_{l+1}}X^{I_{l+1}}\mathrm{}_{i_p}X^{I_p}A_{12\mathrm{}lI_{l+1}\mathrm{}I_p}\right]$$
(3.26)
Due to the infinite extent of the brane, this energy too will be infinite. It thus makes sense to define the energy per unit $`l`$-volume

$$_l=d^{pl}\sigma \left[\nu _l\sqrt{\mathrm{det}g_{rs}}+ϵ^{i_{l+1}\mathrm{}i_p}_{i_1}X^{I_{l+1}}\mathrm{}_{i_p}X^{I_p}A_{12\mathrm{}lI_{l+1}\mathrm{}I_p}\right].$$
(3.27)
#### Supersymmetry Preservation

In order to be a Killing spinor, $`\xi `$ must satisfy the projection condition

$$\frac{1}{\sqrt{\mathrm{det}h}}ϵ^{a_0a_1\mathrm{}a_p}_{a_0}X^{\mu _0}_{a_1}X^{\mu _1}\mathrm{}_{a_p}X^{\mu _p}\mathrm{\Gamma }_{\mu _0\mu _1\mathrm{}\mu _p}\xi =\xi $$
(3.28)
Assuming that the configuration is static, this condition takes the form

$$\frac{1}{\sqrt{G_{tt}}\sqrt{\mathrm{det}h}}ϵ^{a_1\mathrm{}a_p}_{a_1}X^{\mu _1}\mathrm{}_{a_p}X^{\mu _p}\mathrm{\Gamma }_0\mathrm{\Gamma }_{\mu _1\mathrm{}\mu _p}\xi =\xi $$
(3.29)
Defining

$$\gamma ϵ^{a_1\mathrm{}a_p}_{a_1}X^{\mu _1}\mathrm{}_{a_p}X^{\mu _p}\mathrm{\Gamma }_{\mu _1\mathrm{}\mu _p}$$
(3.30)
we can re-write the above condition as

$$\left[1\frac{1}{\sqrt{G_{tt}}\sqrt{\mathrm{det}h}}\mathrm{\Gamma }_0\gamma \right]\xi \left[1\widehat{\mathrm{\Gamma }}\right]\xi =0$$
(3.31)
where $`\left(\widehat{\mathrm{\Gamma }}\right)^2=1`$ since $`\gamma ^2=1`$ and $`\mathrm{\Gamma }_0^2=G_{tt}`$.

#### Establishing a bound

The obvious statement that the square of a quantity is positive definite can be used to establish a general bound on $`\varphi |_\xi `$.

Consider$`\left[1\widehat{\mathrm{\Gamma }}\right]\xi `$, acting on a generic configuration. Even if the system is not supersymmetric, the following will obviously hold

$$\xi ^{}\left[1\widehat{\mathrm{\Gamma }}\right]^{}\left[1\widehat{\mathrm{\Gamma }}\right]\xi 0$$

Since $`\widehat{\mathrm{\Gamma }}`$ is Hermitean and the spinor $`\xi `$ has been normalised such that $`\xi ^{}\xi =\sqrt{G_{tt}}\sqrt{\mathrm{det}h}`$, we find

$$\sqrt{G_{tt}}\sqrt{\mathrm{det}h}\left[1\xi ^{}\widehat{\mathrm{\Gamma }}\xi \right]0$$

Inserting the expression for $`\widehat{\mathrm{\Gamma }}`$ from (3.31), we can re-write the above as

$$\sqrt{G_{tt}}\sqrt{\mathrm{det}h}\xi ^{}\mathrm{\Gamma }_0\gamma \xi 0$$

Since $`\sqrt{G_{tt}}\sqrt{\mathrm{det}h}=\mathrm{Vol}_\xi `$ is the (world-space dual of the) curved space volume form, this implies that in terms of the $`p`$-form

$$\varphi \xi ^{}\mathrm{\Gamma }_0\gamma \xi $$
(3.32)
which is the world-space dual of $`\xi ^{}\mathrm{\Gamma }_0\gamma \xi `$, the inequality (3.2) reduces to

$$\mathrm{Vol}\left(\right)𝒫_{}\left(\varphi \right)$$
(3.33)
But this is merely the definition of a generalised calibration, (3.9)! So (3.32) is actually a way to explicitly construct generalised calibrations from Killing spinors!

#### Supersymmetry Algebra

The supersymmetry algebra is motivated in  from considerations of $`\kappa `$-symmetry. It turns out that,

$`\overline{\xi }\{\overline{Q},Q\}\xi `$ $`=`$ $`{\displaystyle d^p\sigma \left[\sqrt{G_{tt}}\sqrt{\mathrm{det}h}\overline{\xi }\mathrm{\Gamma }_0\gamma \xi \right]}`$ (3.34)
$`=`$ $`{\displaystyle }d^p\sigma [\mathrm{\Phi }\varphi ]`$
$`=`$ $`H{\displaystyle d^p\sigma \left[A+\varphi \right]}`$
So, $`d^p\sigma \left[A\varphi \right]`$ constitues a central extension to the superalgebra; as such, it must be a topological term. This implies that

$$d\left(A+\varphi \right)=0$$
(3.35)
which was one of the defining statements about generalised calibrations.

### 3.3 The Great and Powerful Oz has Spoken!!

The Great Oz now convinces us of his greatness by showing us a simple and elegant way to reproduce the results we worked so hard for, in our trek down the Yellow Brick Road. Had we never walked that road, he argues, we could still have reached the same conclusions, if we only had the knowledge he has. All the supergravity solutions which we found after a long and arduous trek, the Wizard now reproduces in the comfort of his Emerald City quarters. The trick about to be performed will consist of a few short steps, carried out in quick succession, which result in the construction of a supergravity solution for any M-brane wrapped on a holomorphic curve and will replicate the expressions obtained from the Fayyazuddin-Smith analysis employed by us during our Yellow Brick Road travels.

“A supergravity solution”, says the Wizard, “ consists of a metric, which may be expressed in terms of undetermined functions, as long as we also present the equations which these functions must satisfy and in addition the four-form field strength of the supergravity three-form”. He will now prove to us his unquestionable superority, he says, through a point by point comparison of our earlier slower approach to his fast and elegant analysis.

Recall that we started out with the Fayyazuddin-Smith ansatz for a metric, and then obtained relations between the undetermined functions $`H_1,H_2`$ and det $`G_{M\overline{N}}`$ in the ansatz by appealing to the constraints which arose from setting $`\delta \mathrm{\Psi }=0.`$ The Wizard replicates these relations as follows:

Given the Fayyazuddin-Smith ansatz for the metric in a particular supergravity background, the functions $`H_1`$ and $`H_2`$ can be eliminated in favour of a single function $`H`$.

* For a membrane, $`H_1=H^{1/3}`$ and $`H_2=H^{1/6}`$,
* And for a fivebrane $`H_1=H^{1/6}`$ and $`H_2=H^{1/3}`$.

Note in both cases, the analogy with the flat brane solutions.

The relation between the determinant of the Hermitean metric and H can be obtained using the following simple relations which also follow from comparison with the flat brane case:

* For a membrane on a holomorphic cycle, the determinant of the full 11-dimensional metric is always $`H^{2/3}`$. The determinant G of the Hermitean metric in a manifold of complex dimension $`n`$ must be given by $`G=H^{\left(2n6\right)/3}`$ in order for this to hold444Bear in mind that all such relations hold only upto multiplication by an arbitrary holomorphic function.
* For a fivebrane wrapped on a holomorphic two-cycle, the determinant of the full 11-dimensional metric is $`H^{4/3}`$. The determinant G of the $`n`$ dimensional Hermitean metric must therefore be $`G=H^{\left(2n6\right)/3}`$.
* For a fivebrane wrapped on a holomorphic four-cycle, the determinant of the full 11-dimensional metric is still $`H^{4/3}`$. The determinant G of the $`n`$ dimensional Hermitean metric however is now $`G=H^{\left(2n12\right)/3}`$.

“So that”, says the Wizard, “takes care of that. True,” he adds, “the non-linear differential equation involving the Hermitean metric and H will have to be written out, but this follows simply from requiring $`dF=0`$ for membranes, and $`dF=0`$ for fivebranes. So, once I present you with the expressions for components of F, my work is done.”

Once again, he reminds us, where we had to wade through many different constraints, one for each Fock state of the Killing spinor, and solve them simultaneously to arrive at expressions for F, the Wizard will reproduce these in the wink of an eye. “Pay attention,” he says, “because this is where the magic really happens”. The Wizard now claims that components of the field strength can be calculated simply by acting the exterior derivative on the volume form of the wrapped M-brane in question! Noticing the awe-struck expression on our faces, the gleam in his eye deepens and he elaborates as follows:

“It is the BPS bound,” says he, “which steps in to make matters so simple. Since this bound is saturated by a supersymmetric brane, the mass of such a brane must be equal to its charge. Equally, one could say that the pull-back of the space-time gauge potential on to a supersymmetric brane is equal to the volume form of the brane, by virtue of the BPS condition. As you doubtless remarked during your tour of the Emerald City, the generalised calibration corresponding to a particular stable brane is (gauge) equivalent to the spacetime gauge potential under which the brane in charged.

“Hence, the generalised calibration for a a stable (and hence BPS) brane is given simply by its volume form! Components of the field strength can thus be determined by using the fact that the calibrated form corresponding to a wrapped brane is equivalent to the gauge potential to which the brane couples electrically”.

For our edification, and to convince us beyond a shadow of a doubt, this procedure will now be illustrated in detail for each of the M-brane configurations we came across earlier, at a time when we were ignorant of calibrations.

#### M2 wrapping a 2-cycle in $`^n`$

Start with writing down the Fayyazuddin-Smith metric in the background of M2-brane wrapping a holomorphic curve in $`^n`$:

$$ds^2=H^{2/3}dt^2+2H^{1/3}g_{M\overline{N}}dz^Mdz^{\overline{N}}+H^{1/3}\delta _{\alpha \beta }dx^\alpha dx^\beta .$$
(3.36)
The $`n`$ holomorphic coordinates are denoted by $`z^M`$ and $`\alpha =2n+1,\mathrm{}10.`$ A factor of $`H_1^1`$ has been pulled out of the Hermitean metric to facilitate comparison with the expressions found earlier.

We know from the BPS condition that the calibrating form $`\mathrm{\Phi }`$ of the M2-brane must be identical to its volume form and can hence be read off directly from the metric

$`\mathrm{\Phi }`$ $`=`$ $`iH^{1/3}g_{M\overline{N}}dtdz^Mdz^{\overline{N}}`$ (3.37)
$`=`$ $`dV_0\varphi _{M\overline{N}}`$ (3.38)
Since $`F_4`$ is the electric field strength for the M2-brane, it can be calculated using $`F_4=d\mathrm{\Phi }`$ to yield the expressions in (2.6) through (2.6).

#### M5 wrapping a 2-cycle in $`^2`$

When an M5-brane wraps a holomorphic 2-cycle in $`^2`$, the relevant ansatz for the spacetime metric is:

$$ds^2=H^{1/3}\eta _{\mu \nu }dX^\mu dX^\nu +2G_{M\overline{N}}dz^Mdz^{\overline{N}}+H^{2/3}\delta _{\alpha \beta }dX^\alpha dX^\beta $$
(3.39)
where $`z^M`$ are coordinates on $`^2`$, $`\alpha `$ takes values $`8,9,10`$ and $`\mu `$ runs over $`0,1,2,3`$. The harmonic function H is related to the determinant G of the Hermitan metric by $`\sqrt{G}=H^{2/3}.`$ Since the calibrating form $`\mathrm{\Phi }`$ of the BPS M5-brane is identical to its volume form, we can read it off directly from the metric to obtain

$`\mathrm{\Phi }`$ $`=`$ $`iH^{2/3}G_{M\overline{N}}dtdX^1dX^2dX^3dz^Mdz^{\overline{N}}`$ (3.40)
$`=`$ $`dV_{0123}\varphi _{M\overline{N}}`$ (3.41)
We can now calculate $`F_4=dF_7=d\mathrm{\Phi }`$ and find the same expressions as in (2.72).

#### M5 wrapping a 2-cycle in $`^3`$

When the M5-brane is wrapped on a holomorphic curve embedded in $`^3`$, the metric takes the form:

$$ds^2=H^{1/3}\eta _{\mu \nu }dX^\mu dX^\nu +G_{M\overline{N}}dz^Mdz^{\overline{N}}+H^{2/3}dy^2.$$
(3.42)
where $`z^M`$ now span $`^3`$, $`y`$ is the single overall transverse direction. and the harmonic function H is related to the determinant of the Hermitean metric by $`H=\sqrt{G}`$.

In this background, the wrapped M5-brane is calibrated by the volume form

$`\mathrm{\Phi }`$ $`=`$ $`H^{2/3}G_{M\overline{N}}dtdX^1dX^2dX^3dz^Mdz^{\overline{N}}`$ (3.43)
$`=`$ $`dV_{0123}\varphi _{M\overline{N}}`$ (3.44)
The field strength can be calculated using $`F_4=dF_7=d\mathrm{\Phi }`$. This yields the same expressions as in (2.79).

#### M5 wrapping a 4-cycle in $`^3`$

For an M5-brane wrapped on a 4-cycle $`\mathrm{\Sigma }_4`$ in $`^3`$, the metric takes the form:

$$ds^2=H_1^2\eta _{\mu \nu }dX^\mu dX^\nu +2G_{M\overline{N}}dz^Mdz^{\overline{N}}+H_2^2\delta _{\alpha \beta }dX^\alpha dX^\beta $$
(3.45)
where $`\mu =0,1`$ labels the unwrapped directions, $`z^M`$ are holomorphic coordinates in $`^3`$ and $`\alpha `$ takes values 8,9, and 10. The determinant of the Hermitean metric is given by $`G=H^{4/3}`$

The generalised calibration $`\mathrm{\Phi }`$ for this wrapped M-brane is the same as its volume form, hence the only non-vanishing component of of $`\mathrm{\Phi }`$ is the following:

$`\mathrm{\Phi }_{01MN\overline{P}\overline{Q}}`$ $`=`$ $`H^{1/3}\left(G_{M\overline{P}}G_{N\overline{Q}}G_{M\overline{Q}}G_{N\overline{P}}\right)`$
$`=`$ $`dV_{01}\times \varphi _{MN\overline{P}\overline{Q}}`$
Using the fact that $`F_4=d\mathrm{\Phi }`$ we can once again calculate the components of the four-form, obtaining the same results as in (LABEL:fstm5c34).

### 3.4 Lifting the curtain.

In this awe-inspiring show where supergravity solutions of wrapped M-branes make their appearance with such grace and speed, it is easy to get side-tracked and ignore the one major sleight of hand; all the information obtained via the Fayyazuddin-Smith method has been duplicated here $`\mathrm{}`$ with the conspicuous omission of the metric constraint!

It is with this slight over-sight that the Great Oz betrays himself as a mere magician rather than a real Wizard. His failure to constrain the metric in any way, leaves us with a very rich structure, but no clue where to apply it. Having now pointed out the Wizard’s short-coming, which doubtless he was hoping we would not catch on to, we are almost as far away from an answer as we were before.

Without any further knowledge of the Hermitean metrics we can allow, it seems that a journey home, or for that matter anywhere else, is currently out of the question. As a last resort, we turn to the truly magical Ruby Slippers to show us the way.

## Chapter 4 The Ruby Slippers

We have seen, in our journey down the Yellow Brick Road, how to construct the supergravity solution for a wrapped M-brane by looking for bosonic backgrounds which admit Killing spinors. Having set the gravitino to zero, we have made sure that the supersymmetric variations of the bosonic fields vanish identically and it is left only to impose that the supersymmetry variation of the gravitino vanish as well. We require this to be true for our metric ansatz, when the variation parameter in the supersymmetry transformation is a Killing spinor. If in addition, the Bianchi identity and equations of motion for the field strength are also satisfied, the metric and four-form we have obtained are guaranteed to satisfy Einstein’s equations, furnishing a bosonic solution to 11-dimensional supergravity.

Once we arrived in the Emerald City, we learnt that there was an alternate way in which this problem could be solved. Since the generalised calibration corresponding to a wrapped M-brane is gauge equivalent to the gauge potential to which the brane couples electrically, the field strength $`F=dA=d\varphi `$, then immediately follows once we are given a suitable calibration. For membranes, this field strength is the four-form we are used to seeing in our supergravity solutions; for five-branes, the field strength is a seven-form and we have to dualise it in order to obtain the familiar four-form. Supersymmetry requirements fix the undetermined functions in the metric ansatz in terms of the Hermitean metric $`G_{M\overline{N}}`$ which obeys a non-linear differential equation that follows from $`dF=0`$.

This procedure is by far simpler than the previous one… however there is a catch! Since generalised calibrations which can exist in a background with non-zero flux have not yet been classified, there is no comprehensive (or even partial) list from which we can pick a suitable calibration $`\varphi `$, from which to construct a supergravity solution.

### The Constraint

A persistent feature of the wrapped brane supergravity solutions we saw along the Yellow Brick Road is a constraint on the metric in the subspace where the supersymmetric cycle is embedded. This constraint in turn restricts the $`\left(p+1\right)`$-form potential to which the brane couples. Since the potential is gauge equivalent to the generalised calibration, we find that in fact the metric constraint can alternately be viewed as a condition which determines generalised calibrations in the given background.

This condition can be expressed as a constraint on the Hodge dual, with respect to the embedding space, of the generalised calibration in that space. When written this way, it shows clearly that calibrated (supersymmetric) cycles in a particular submanifold of space-time, are not specified completely by the submanifold and in fact have a non-trivial dependence on the surrounding spacetime as well. This is to be expected because unlike the case for F=0 when supersymmetric cycles depended only on geometry, we do expect now that the field strength flux (and through it, the remaining non-complex directions of spacetime) will make their presence felt and play their part in determining the calibrated cycles which can exist in a given subspace.

Expressing the results in this form also enables us to unify the M2 and M5 brane analysis and to show that the constraint can be expressed perfectly generally and arises for all M-branes embedded holomorphically into a subspace of 11 dimensional spacetime, such that $`FF=0`$.

The Magic of the Ruby Slippers

In 11-dimensional backgrounds with non-zero four-form flux, a class of generalised calibrations in the embedding space M is given by the $`2m`$-forms $`\varphi _{2m}`$, for

$`\begin{array}{ccc}\varphi _{2m}& =& \left(\underset{}{\omega \omega \mathrm{}..\omega \omega }\right)\\ & & m\end{array}`$ (4.3)
if the following constraint holds:

$$_{}\left[\varphi _{2m}\left|G^{^{}}\right|^{1/2m}\right]=0.$$
(4.4)
Here, $`G^{^{}}`$ denotes the determinant of the metric restricted to directions transverse to the embedding space, and the Hodge dual is taken within the embedding space.

The Hodge Dual of the Hermitean Form. If $`\omega `$ is the two-form associated with the Hermitean metric on a manifold $``$ of complex dimension $`n`$, and $``$ denotes the Hodge dual on this space, then we have the following:    $`\omega _{\overline{P}_2\mathrm{}\overline{P}_nQ_2\mathrm{}Q_n}`$ $`=`$ $`\sqrt{\mathrm{det}g}ϵ_{\overline{P}_2\mathrm{}\overline{P}_n}^{M_1}ϵ_{Q_2\mathrm{}Q_n}^{\overline{N}_1}\omega _{M_1\overline{N}_1}`$  (4.5)    $`=`$ $`\sqrt{\mathrm{det}g}g^{M_1\overline{S}_1}g^{R_1\overline{N_1}}\stackrel{~}{ϵ}_{\overline{S_1}\overline{P}_2\mathrm{}\overline{P}_n}\stackrel{~}{ϵ}_{R_1Q_2\mathrm{}Q_n}ig_{M_1\overline{N}_1}`$     $`=`$ $`i\sqrt{\mathrm{det}g}g^{R_1\overline{S}_1}\stackrel{~}{ϵ}_{\overline{S_1}\overline{P}_2\mathrm{}\overline{P}_n}\stackrel{~}{ϵ}_{R_1Q_2\mathrm{}Q_n}`$   Substituting now the expression for the inverse metric
$$g^{R_1\overline{S}_1}=\frac{1}{\left(n1\right)!}\frac{1}{\sqrt{\mathrm{det}g}}\stackrel{~}{ϵ}^{\overline{S_1}\overline{S}_2\mathrm{}\overline{S}_n}\stackrel{~}{ϵ}^{R_1R_2\mathrm{}R_n}g_{R_2\overline{S}_2}\mathrm{}g_{R_n\overline{S}_n}$$
(4.6)  we find that    $`\begin{array}{ccc}i^{\left(n2\right)}\omega & =& \left(\underset{}{\omega \omega \mathrm{}..\omega \omega }\right)\\ & & \left(n1\right)\end{array}`$  (4.9)  As a ’check’ of the above, note that wedging both sides with $`\omega `$ gives the identity    $`\begin{array}{ccccc}\omega \omega & =& \left(\underset{}{\omega \omega \mathrm{}..\omega \omega }\right)& =& \mathrm{Vol}\left(\right)\\ & & n& & \end{array}`$  (4.12)

### 4.1 Click the Heels …

#### M2-branes

Supergravity solutions for a class of BPS states corresponding to wrapped membranes were dicussed in . In keeping with the logic that holomorphicity implies supersymmetry, the M2-branes were wrapped on holomorphic cycles in complex subspaces of varying dimension $`n`$.

We will work with the following (standard) ansatz for the spacetime metric:

$$ds^2=H^{2/3}dt^2+2G_{M\overline{N}}dz^Mdz^{\overline{N}}+H^{1/3}\delta _{\alpha \beta }dX^\alpha dX^\beta ,$$
(4.13)
where $`z^M`$ are $`n`$ holomorphic coordinates and $`X^\alpha `$ span the $`\left(102n\right)`$ transverse directions.

Inorder to express the constraint on the generalised calibrations in each case, we resort to (4.4). Since the M2-branes wrap only two-cycles, the calibrating form in the complex space is simply the Hermitean form associated with the metric, $`\omega =iG_{M\overline{N}}dz^Mdz^{\overline{N}}`$. The restricted determinant $`\left|G^{^{}}\right|`$ is also simple to calculate and we find that

$$\left|G^{^{}}\right|=H^{2/3}\left(H^{1/3}\right)^{102n}=\left(H^{1/3}\right)^{82n}$$
(4.14)
The constraints now follow immediately. For a membrane wrapping a holomorphic curve in $`^n`$, (4.4) dictates that

$$_^n\left[H^{\left(4n\right)/3}\omega _G\right]=0$$
(4.15)
This can be explicitly written out as follows:

$`\left[H^{2/3}\omega _G\right]`$ $`=`$ $`0\mathrm{for}n=2`$
$`\left[H^{1/3}\omega _G\omega _G\right]`$ $`=`$ $`0\mathrm{for}n=3`$
$`\left[\omega _G\omega _G\omega _G\right]`$ $`=`$ $`0\mathrm{for}n=4`$
$`\left[H^{1/3}\omega _G\omega _G\omega _G\omega _G\right]`$ $`=`$ $`0\mathrm{for}n=5`$ (4.16)
Note that these constraints reproduce (2.44) - (2.62)

#### M5-branes

The five-brane configurations do not fit this easily into a pattern, and will just have to be considered one by one.

We start with the two M5-branes which wrap a holomorphic two-cycle in $`^n`$. For both these systems, the calibrating form is the Hermitean two-form associated with the metric, as long as it is subject to the proper constraint. In order to work out the constraint, we need to first calculate $`\sqrt{\left|G^{^{}}\right|}`$, where $`G^{^{}}`$ is the determinant of the metric in the directions transverse to $`^n`$.

M5 wrapping a 2-cycle in $`^2`$

From the metric (3.39) it is clear that

$$\left|G^{^{}}\right|=\left(H^{1/3}\right)^4\left(H^{2/3}\right)^3=H^{2/3}$$
(4.17)
so, the constraint (4.4) for this system is

$$_^2\left[H^{1/3}\omega _G\right]=\left[H^{1/3}\omega _G\right]=0$$

which agrees with (2.70).

M5 wrapping a 2-cycle in $`^3`$

The metric (3.42) allows us to read off

$$\left|G^{^{}}\right|=\left(H^{1/3}\right)^4H^{2/3}=H^{2/3}$$
(4.18)
so the constraint in this case takes the form

$$_^3\left[H^{1/3}\omega _G\right]=\left[H^{1/3}\omega _G\omega _G\right]=0$$

which reproduces (2.77).

We now turn to the last configuration on our list, and the only one which involves a brane wrapping a four-cycle. The calibrating form is now the square of the Hermitean two-form, $`\omega _G\omega _G`$ and in order to impose the relevant constraint, we need to compute $`|G^{^{}}|^{1/4}`$.

M5 wrapping a 4-cycle in $`^3`$

In this case, we can see from the metric (3.45) that

$$G^{^{}}=\left(H^{1/3}\right)^2\left(H^{2/3}\right)^3=H^{4/3}$$
(4.19)
and the constraint on the calibration is thus

$$_^3\left[H^{1/3}\omega _G\omega _G\right]=\left[H^{1/3}\omega _G\right]=0.$$

in perfect agreement with (2.85).

Until the explicit forms of these constraints were found , , , , the Fayyazuddin-Smith construction was assumed to apply only to Kahler metrics. While (warped) Kahler metrics  definitely solve all the above constraints they by no means exhaust the available options, as we will show in the following section. So, by assuming that the metric on the embedding space is Kahler, we are in fact restricting ourselves unnecesarily and losing out on a wealth of possibilities.

### 4.2 Count to Three….

Satisfying $`(\omega \omega )=0`$

Since $`\omega _{M\overline{P}}=iG_{M\overline{P}}`$, the above constraint can be written in component form as

$$_{[R}\left(G_{M\overline{P}}G_{N]\overline{Q}}\right)=0$$
(4.20)
Upon contraction with the inverse metric $`G^{N\overline{Q}}`$ this gives

$`2\left(n3\right)\left[_RG_{M\overline{P}}_MG_{R\overline{P}}\right]+G_{M\overline{P}}_RlnG=`$
$`2G^{N\overline{Q}}\left[G_{M\overline{P}}_NG_{R\overline{Q}}G_{R\overline{P}}_NG_{M\overline{Q}}\right]+G_{R\overline{P}}_MlnG`$ (4.21)
Here, $`n`$ denotes the complex dimension of the manifold which has $`G_{M\overline{N}}`$ as its Hermitean metric. Contracting again with $`G^{M\overline{P}}`$ we find the relation111 There is an overall factor of (n-2) multiplying this equation, but that can be cancelled once we note that on manifolds of complex dimension $`n2`$, the five-form $`(\omega \omega )`$ would vanish identically! Similar, obviously non-zero factors also occur in the analysis of the remaining constraints.

$$_RlnG=2G^{N\overline{Q}}_NG_{R\overline{Q}}$$
(4.22)
which can be substituted into (4.21) to give

$$\left(n3\right)\left[_RG_{M\overline{P}}_MG_{R\overline{P}}\right]=0$$
(4.23)
This equation can be satisfied in two ways:

* Either $`n=3`$, in which case $`\left(\omega \omega \right)`$ = 0 is a non-trivial requirement,
* Or we must have a Kahler metric, so that $`\left(\omega \omega \right)`$ vanishes as a result of $`\omega =0.`$

Satisfying $`(\omega \omega \omega )=0`$

Employing the same procedure as in the previous case, we write the constraint out in component form

$$_{[U}\left(G_{M\overline{Q}}G_{N\overline{R}}G_{P]\overline{S}}\right)=0$$
(4.24)
and contract it with $`G^{P\overline{S}}G^{N\overline{R}}`$ to obtain

$`\left(n4\right)\left[_UG_{M\overline{Q}}_MG_{U\overline{Q}}\right]+G_{M\overline{Q}}_UlnG=`$
$`2G^{N\overline{R}}\left[G_{M\overline{Q}}_NG_{U\overline{R}}G_{U\overline{Q}}_NG_{M\overline{R}}\right]+G_{U\overline{Q}}_MlnG`$ (4.25)
Contracting once more with the inverse metric $`G^{M\overline{Q}}`$ we arrive at the relation

$$_UlnG=2G^{M\overline{Q}}_MG_{U\overline{Q}}$$
(4.26)
which can be substituted into (4.25) to give

$$\left(n4\right)\left[_UG_{M\overline{Q}}_MG_{U\overline{Q}}\right]=0$$
(4.27)
Hence, it is only in a four-complex dimensional manifold that the constraint $`\left(\omega \omega \omega \right)=0`$ can be satisfied without having $`\omega =0`$.

In particular this implies that $`\left(\omega \omega \omega \right)=0`$ cannot be satisfied by a Hermitean two-form (of a non-Kahler metric) which obeys $`\left(\omega \omega \right)=0`$. This is in agreement with the analysis of the previous constraint, where it was found that $`\left(\omega \omega \right)=0`$ is a non-trivial constraint only in three complex dimensions.

Satisfying $`(\omega \omega \omega \omega )=0`$

Writing the constraint out in component form,

$$_{[A}\left(G_{B\overline{C}}G_{D\overline{E}}G_{F\overline{H}}G_{I]\overline{J}}\right)=0$$
(4.28)
and contracting with $`G^{B\overline{C}}G^{D\overline{E}}G^{F\overline{H}}`$, leads to the expression

$`2\left(n5\right)\left[_AG_{I\overline{J}}_IG_{A\overline{J}}\right]+3G_{I\overline{J}}_AlnG=`$
$`6G^{B\overline{C}}\left[G_{I\overline{J}}_BG_{A\overline{C}}G_{A\overline{J}}_BG_{I\overline{C}}\right]+3G_{A\overline{J}}_IlnG`$ (4.29)
This, when contracted further with $`G^{I\overline{J}}`$, yields the relation

$$2G^{B\overline{C}}_BG_{A\overline{C}}=_AlnG$$
(4.30)
Substituting the above into (4.29), we find that

$$\left(n5\right)\left[_AG_{I\overline{J}}_IG_{A\overline{J}}\right]=0$$
(4.31)
This statement implies that in order to satisfy

$$\left(\omega \omega \omega \omega \right)=0$$

non-trivially, we must have a manifold with complex dimension $`n=5`$; in all other dimensions, this constraint can only be satisfied by a Kahler metric.

### 4.3 … and You’re Home!

So, to summarize, what we learnt in the Emerald City was how to construct a supergravity solution for a wrapped M-brane by looking simply at the isometries of the configuration and using the technology of generalised calibrations. This analysis leads to an almost complete picture – the one missing piece in the puzzle is a constraint on generalised calibration. This constraint as we have now seen, can be generated by applying a remarkably simple rule (4.4) to the spacetime in question. We have also seen that it is solved only by two possible classes of calibrations; those corresponding to metrics which are either Kahler, $`\omega =0`$, or co-Kahler, $`\omega =0`$.

Now that you can construct the supergravity solution for an M-brane wrapped on any holomorphic cycle with a click of your heels, perhaps it is time to venture futher into lands as yet unknown. Countless wrapped M-brane configurations exist which have not been considered here. The most obvious extension would be to look at M-branes on holomorphic cycles such that $`FF0`$; an example is provided by an M5 wrapping a holomorphic four-cycle embedded in a four-complex dimensional manifold. Branching out further, one could consider M-branes wrapping Special Lagrangian cycles. It would be interesting to see if an analogous constraint arises on the embedding space metric in those cases and to explore its implications for the corresponding calibrations.

Whether or not the Ruby Slippers will be of any use to us in these new journeys remains to be seen. Certainly they have served us well in our little adventure here, and have provided us with plenty of material about which we can now “sit, and think some more”.