exactly solvable models in quantum field theory which bear any resemblance to the real world are extremely rare .
one example is provided by the gross - neveu model family @xcite , 1 + 1 dimensional four - fermion interaction models with @xmath0 flavors and lagrangian @xmath1 , \label{a1}\ ] ] where @xmath2 or 1 , and flavor indices are suppressed ( @xmath3 etc . ) .
depending on the value of @xmath4 , these models feature discrete ( @xmath5 , @xmath2 ) or continuous ( @xmath6 , @xmath7 ) chiral symmetry , possibly broken by the bare mass term @xmath8 . to avoid confusion
we shall refer to the first model as gross - neveu ( gn@xmath9 ) , the 2nd one as nambu  jona - lasinio ( njl@xmath9 ) model . from the point of view of strong interaction physics ,
they are most useful in the t  hooft limit ( @xmath10 ) to which we stick in the following . rather than repeating all the well - known attractive features of these models , we refer the reader to some pertinent review articles @xcite and the references therein .
the lagrangian ( [ a1 ] ) is known to possess multi - fermion bound states analogous to baryons or baryonium states in hadron physics .
they were first constructed by dashen , hasslacher and neveu ( dhn ) in the massless gn@xmath9 model @xcite and by shei in the massless njl@xmath9 model @xcite . the semi - classical method developed by these authors
may be rephrased equivalently as a dirac - hartree - fock calculation @xcite . here
, one solves the first - quantized , time - independent dirac equation @xmath11 for single particle orbits with label @xmath12 subject to self - consistency conditions for scalar and pseudoscalar mean fields , @xmath13 a major challenge arises from the fact that the dirac sea must be included in the sum over occupied states in ( [ a3 ] ) .
this problem was solved in refs .
@xcite by inverse scattering methods together with a careful subtraction of bound state and vacuum energies . at about the same time
the proposal was made to solve these models  classically " , neglecting the dirac sea and including only the discrete valence level @xcite .
this reduces the full problem to a non - linear dirac equation , which has been solved in closed analytical form for both the gn@xmath9 and njl@xmath9 models .
it appeared that the classical fermionic solution was useful for the gn@xmath9 model but completely failed in the njl@xmath9 case @xcite for poorly understood reasons .
the dirac sea also caused considerable difficulties in attempts to base nuclear physics on field theoretic models like the ( @xmath14 ) model @xcite , so that mean field calculations were typically done without the sea .
in the present work we reconsider the role of the dirac sea in multi - fermion bound states of gross - neveu models . from a general field
theoretic point of view , it should be possible to  integrate out " the dirac sea and derive an effective lagrangian for ( positive energy ) valence fermions only . in the large @xmath0 limit , it would then indeed be sufficient to solve the classical euler - lagrange equation of this effective theory for fermions .
from such a point of view the above mentioned  no - sea " calculations may be re - interpreted as follows : the authors assumed that the effective lagrangian is the same as the original lagrangian ( [ a1 ] ) , except that the bare parameters @xmath15 and @xmath16 are replaced by an effective mass and coupling constant .
in the course of this paper we will confront this implicit assumption with our results for an effective action derived from the underlying field theory .
let us mention that although the solvable models used here are restricted to 1 + 1 dimensions , the technique applied in deriving the effective lagrangian is not .
it might be useful also in higher dimensional ( mean field type ) theories .
the advantage of developing the methods in the context of gross - neveu models is the fact that the exact bound states are known analytically .
this enables us to test our effective action quantitatively and make sure that the expansion is consistent to a given order in some small parameter .
since the derivation of @xmath17 is not completely straightforward due to the necessity of resummations , this has turned out to be quite helpful indeed .
this paper is organized as follows . in sect .
ii we derive the effective lagrangian for the gn@xmath9 model in the three lowest orders of a systematic expansion valid for small filling fraction and/or large bare fermion mass and check it against the dhn baryon . in sect .
iii we take up the njl@xmath9 model . due to additional complications
, we will content ourselves with the leading order effective action here and test it against the shei bound state .
we end with a short summary and conclusions in sect .  iv .
our aim is to account for the effects of the dirac sea by means of an effective theory of positive energy fermions only .
since we do not use the path integral but work canonically , we first have to explain what we mean by  integrating out the dirac sea " .
we start with the massless gn@xmath9 model described by the bare lagrangian @xmath18 and focus on the dhn baryons .
they are characterized by a discrete positive energy level occupied with @xmath19 fermions , all negative energy levels being completely filled .
the presence of extra fermions polarizes the dirac sea , distorting the single particle wave functions .
ideally , one would like to fully integrate out the dirac sea .
we have not been able to do this .
anyway , the full effective theory will invariably be non - local and therefore of less practical use .
we therefore look for an expansion parameter which would enable us to derive an  almost local " effective action , consisting of a polynomial in the chiral condensate @xmath20 and its first few derivatives . from the dhn baryon
we know that for small filling fraction @xmath21 of the valence level , the self - consistent scalar potential @xmath22 differs from the physical ( vacuum ) fermion mass @xmath23 by a weak and slowly varying potential only .
this suggests to use @xmath24 as expansion parameter and to restrict oneself to small filling fraction where the hf potential becomes soft .
the following derivation of the effective action is tailored to the hf approach to which we now turn . in the vacuum ,
a fermion mass is generated dynamically as shown graphically in fig .  1
.    the self - consistent mass can be thought of as the sum over all one - particle - irreducible ( 1pi ) cactus type diagrams , see fig .  2 .
the ( self - consistent ) tadpole diagram receives contributions from all negative energy occupied states , leading to the gap equation @xmath25 ( with @xmath26 as uv cutoff @xcite ) .
clearly , since the physical fermion mass is a pure manifestation of the dirac sea , it has to be put in by hand into an effective theory as an effective mass term @xmath27 ( from now on the superscript on @xmath17 refers to the number of loops of the self - energy diagram from which it was derived . due to resummations
, it may contain higher loop effects as well . )
let us now turn to the problem of finite fermion number .
the hf approach still has the same basic structure as in fig .  1 , except that the fermion self - energy is in general @xmath28-dependent .
the propagator gets an extra contribution from the positive energy valence states .
we denote the vacuum and valence particle contributions by  @xmath29 " and  @xmath30 " , respectively . for the free massive propagator for instance
, the corresponding decomposition can be inferred from the well known result for finite temperature and chemical potential @xcite , @xmath31 .
\nonumber\end{aligned}\ ] ] here , @xmath32 is just the free feynman propagator , @xmath33 the fermi energy or chemical potential .
the one - loop self - energy ( i.e. , the tadpole ) then naturally splits up into the two pieces shown in fig .
3 .    in the effective theory with
the dirac sea integrated out , diagram a ) is accounted for by the mass term ( [ p3 ] ) .
diagram b ) corresponds to the lowest order  no - sea " hf calculation with the original four - fermion interaction from eq .
( [ p1 ] ) .
this splitting of the tadpole into @xmath34 pieces is also the key for the following systematic procedure . for a given number of loops ,
draw all topologically distinct 1pi cactus diagrams as shown in fig
.  4 up to five loops .    split each loop into a sum of @xmath35 and @xmath36 contributions .
this generates @xmath37 distinct ,  labeled " diagrams out of each @xmath38-loop diagram in fig .
4 . then analyze each labeled diagram with respect to the question whether it is accounted for by the effective action with the dirac sea integrated out .
if it is not , add a new term to @xmath17 which generates the corresponding fermion self - energy .
although this scheme is straightforward and constructive , it is still too naive .
we will see that it would be meaningless to terminate the procedure at any finite number of loops .
remember that the mass term ( [ p3 ] ) already includes an infinite number of diagrams due to the self - consistency condition ( see fig .  2 )
otherwise , dimensional transmutation , a truly non - perturbative phenomenon , could not occur .
we can only make sense out of the @xmath38-loop contribution to the effective lagrangian if we perform appropriate resummations .
this turns out to be a crucial element of the whole procedure and the way in which the bare coupling constant @xmath16 gets traded for a finite effective coupling constant .    to explain how this works ,
let us go through the first few terms of the loop expansion in some detail .
guided by the dhn baryon at small filling , we shall treat @xmath20 and @xmath39 ( or @xmath40 ) as being of the same order @xmath41 and derive systematically all terms up to o(@xmath42 ) .    at two - loop order ,
the only diagram ( out of 4 labeled diagrams ) which induces a new term in @xmath17 is the one shown in fig .
this corresponds to a vertex correction to the @xmath35 tadpole in fig .
technically , it involves the scalar vacuum polarization loop ( labeled @xmath36 in fig .
5a ) , where scalar means that the vertices are just 1 .
we evaluate it by standard feynman rules and expand the result in powers of the 4-momentum @xmath43 flowing through the graph . the result for the sum of the @xmath35 tadpole and fig .
5a then gives the following self energy contribution , @xmath44 here , the scalar condensate in momentum space , @xmath45 , is defined so as to include only @xmath35 terms . whereas the @xmath39-dependent correction terms are suppressed ( remember that @xmath46 ) ,
the @xmath47 contribution @xmath48 needs a special treatment . according to the gap equation ( [ p2 ] ) ,
this term is actually of o(1 ) so that the series expansion starting with eq .
( [ p5 ] ) is meaningless as it stands .
we therefore sum the whole series of graphs shown in fig .  6    into a geometrical series , or , equivalently ,
replace the bare coupling constant by the effective , momentum dependent coupling @xmath49 due to the gap equation , the 1 in the denominator is now cancelled against @xmath50 , and the bare coupling constant @xmath16 drops out of this expression . expanding the @xmath43-dependent terms again [ to o(@xmath51 ) ] , we arrive at the following momentum dependent effective coupling , @xmath52 it is now easy to write down a two - loop effective lagrangian which would give just these correction terms ( correct at two - loop level , but containing higher order terms due to resummation ) , @xmath53 notice that the bare coupling constant @xmath16 in the original @xmath54 term has been replaced by @xmath55 , and new four - fermion interaction terms containing derivatives of @xmath20 have been generated .
higher order terms could easily be obtained from the full @xmath43-dependence of the vacuum polarization graph if desired .
the result is manifestly non - perturbative , as it does not contain @xmath16 , and finite owing to the use of the gap equation .
it may be worthwhile to pause here and comment on the value of the leading order effective coupling , @xmath56 [ see eq .
( [ p8 ] ) ] .
this quantity already appeared in the original paper by gross and neveu @xcite as fermion - fermion scattering amplitude at zero momentum .
these authors also discuss the scalar @xmath57 meson , pointing out that the square of the fermion - antifermion-@xmath57 coupling constant is given by @xmath58 .
one can then understand the effective coupling in a similar way as in the old fermi theory of weak interactions , namely as a product of two coupling constants and a heavy boson propagator ( @xmath59 ) , @xmath60 keeping the momentum dependent terms approximately accounts for the finite range of the @xmath57-exchange .
we now turn to the three - loop graphs .
the two topologically distinct graphs in fig .
4b give rise to @xmath61 labeled subgraphs . by inspection
we find that only the graph shown in fig .
5b is the seed for a new term in the effective action , all other diagrams being generated by lower order terms or self - consistency in the @xmath35 sector . evaluating the fermion loop with three scalar vertices and finite momenta @xmath62 from the two @xmath35 loops , we find the contribution to the self - energy @xmath63 here , it is sufficient to go to o(@xmath39 ) . resumming bubbles by replacing each of the three couplings @xmath64 at the vertices by effective ones analogously to fig .  6 , @xmath65 we find to o(@xmath39 ) @xmath66 the effective lagrangian that yields this self - energy includes the following six - fermion interactions , @xmath67    at four - loop order
, there is again only a single graph ( out of @xmath68 labeled diagrams , see fig .
4c ) which generates a new term in the effective action .
it is shown in fig .
the central loop labeled @xmath36 with four scalar vertices is easy to compute , since we only need its value at @xmath47 .
resumming the bubbles by substituting @xmath69 [ to o(@xmath70 ) ] , an eight - fermion interaction , @xmath71 is induced .
this is not yet the whole story to o(@xmath42 ) though . out of the @xmath72
labeled five - loop diagrams derived from fig .  4d , the two shown in fig .
5d give rise to a further eight - fermion interaction term of the same order as ( [ p14 ] ) . applying
the by now familiar resummation it is given by @xmath73 the different origin of the contributions ( [ p14 ] ) and ( [ p15 ] ) becomes clearer if one interprets the scalar bubble sum as @xmath57-meson propagator .
while the four - loop contribution ( [ p14 ] ) corresponds to a @xmath74 point - like interaction due to a heavy fermion loop , the five - loop term ( [ p15 ] ) has a different topology .
it arises from the process @xmath75 with an iterated effective three-@xmath57 vertex , see fig .
this completes the discussion of all terms up to o(@xmath42 ) .
we summarize by writing down the effective low - energy lagrangian for the massless gn@xmath9 model valid to o(@xmath42 ) where the dirac sea has been integrated out , @xmath76 by counting powers of @xmath20 and @xmath40 , we identify the first two terms as leading order ( lo ) , the next two as next - to - leading order ( nlo ) and the remaining three as nnlo approximation . to lo ,
a mass term is generated and the coupling constant @xmath16 of the four - fermion interaction is replaced by the effective coupling constant @xmath55 . in higher orders ,
the dirac sea manifests itself through momentum dependent couplings and the appearance of six- and eight - fermion interactions , to the order we are working . here
we are in the fortunate position of being able to evaluate all coefficients of the effective lagrangian from the underlying field theory .
technically , the calculation of the coefficients only involves standard one - loop feynman diagrams in the vacuum , without any reference to finite fermion density or baryons .
nevertheless , the lagrangian ( [ p16 ] ) should be adequate to predict properties of baryons or baryonic matter by means of a purely classical calculation .
we shall test this conjecture against known results for the full gn@xmath9 model in two different ways .
first , we do a  no - sea " hf calculation for matter at low density , assuming unbroken translational invariance .
second , we evaluate the baryon with small occupation of the valence level by solving a non - linear dirac equation .
if the condensate @xmath77 is assumed to be translationally invariant , only the non - derivative terms of the effective action enter , i.e. , @xmath78 the euler - lagrange equation allows us to identify the effective mass @xmath79 via @xmath80 with @xmath81 by construction , the condensate @xmath82 that appears here refers only to the positive energy sector . using the matter part @xmath83 of the dirac propagator ( [ p4 ] ) ( @xmath84 denotes the fermi momentum ) , we find @xmath85 a low density expansion in @xmath86 yields @xmath87 for the solution of eqs .
( [ p18a],[p19 ] ) , in perfect agreement with the taylor expansion of the exact result @xcite , @xmath88 as is well known , this particular hf solution is not a minimum of the action .
if translational invariance is assumed to be unbroken , there is a first order phase transition which requires a maxwell construction , see ref .
nevertheless this unphysical solution can be used as a purely algebraic test of the effective action .
we thus confirm that the effects of the dirac sea are encoded in the effective action , both through the mass and coupling constant of the four - fermion interaction and through induced many - fermion interaction terms .
obviously , the lower the density one is interested in , the smaller the number of terms that need to be kept in @xmath17 .
a physically more relevant test case is the dhn baryon .
we start with the euler - lagrange equation derived from the full effective lagrangian ( [ p16 ] ) and everywhere replace @xmath20 by its ground state expectation value , this time determined by a single valence state .
let us define the @xmath28-dependent condensate @xmath89 with @xmath21 .
since @xmath90 is time independent , we get @xmath91 consequently , the euler - lagrange equation can then be cast into the form of the following non - linear dirac equation for the valence level , @xmath92 where the scalar potential @xmath93 is given by @xmath94 + \frac{2}{3m^2}s^3 , \label{p25}\end{aligned}\ ] ] and @xmath95 in turn depends on @xmath96 through eq .
( [ p22 ] ) .
( [ p24],[p25 ] ) have to be solved self - consistently subject to the normalization condition @xmath97 the mass of the baryon in the effective theory is then calculated as follows : deduce the hamiltonian density from @xmath17 ( [ p16 ] ) in the standard way , @xmath98 since @xmath17 is linear in @xmath99 , this amounts to dropping the term containing the time derivative of @xmath100 and reverting the overall sign of @xmath17 .
the baryon mass is now simply given by @xmath101 to solve the  no - sea " dirac - hf equation is not easy and would have to be done numerically in general .
since we know the exact answer for @xmath96 from the full gn@xmath9 model and are primarily interested in checking our effective action , we proceed differently .
we use the following representation of the @xmath102 matrices , @xmath103 the ( positive energy ) valence level of the dhn baryon then has the spinor wave function and energy @xcite @xmath104 with the definitions @xmath105 we plug this ansatz into the non - linear dirac equation ( [ p24 ] ) , expand in the filling fraction @xmath24 and check with maple that the equation is indeed satisfied up to ( including ) o(@xmath106 ) . for the baryon mass ( [ p28 ] ) we obtain at this order @xmath107 we have truncated the series because higher order terms are not reliable , as they would require an improved effective action .
the exact dhn baryon mass is given by the compact formula @xmath108 with @xmath109 as defined in eq .
( [ p30 ] ) .
if we expand this function in powers of @xmath24 , the series indeed starts with ( [ p31 ] ) .
this is obviously a very good test of our effective action and shows that the terms retained as well as the resummations done are consistent .    in the massless gn@xmath9 model ,
the only regime where an almost local effective action for the baryon can be justified is @xmath110 , i.e. , small valence filling fraction .
once we include a bare mass term , there is yet another handle to suppress dirac sea effects and make the scalar potential softer , namely by increasing the bare mass .
this incites us to generalize the  no - sea " effective action to the massive gn@xmath9 model .
the only difference to the previous calculation comes from the modified gap equation which now reads @xcite @xmath111 while the diagrams used to derive the effective action are the same as above , the algebra slightly changes .
we immediately jump to the final effective lagrangian for the massive gn@xmath9 model in nnlo , @xmath112 it reduces to eq .
( [ p16 ] ) in the chiral limit or , equivalently , at @xmath113 . in order to test our effective lagrangian
, we turn to the known exact baryons of the massive gn@xmath9 model @xcite . defining @xmath90 as in eq .
( [ p22 ] ) , the non - linear dirac equation ( [ p24 ] ) now contains the scalar potential @xmath114 + \frac{2}{3m^2 } \frac{(1+\gamma/4)}{(1+\gamma)^5}s^3 .
\nonumber\end{aligned}\ ] ] the exact spinor wave function and the energy remain the same as in eqs .
( [ p29 ] ) , but the relationship between the parameter @xmath115 and the valence occupation fraction @xmath24 changes to @xmath116 eq .  ( [ p37 ] ) can be solved for @xmath109 by means of a power series expansion in @xmath24 for given @xmath102 .
the exact baryon mass is given by @xmath117 .
\label{p38}\ ] ] we have verified with maple that the full wave function @xmath96 solves the non - linear dirac equation derived from eq .
( [ p35 ] ) to an accuracy of o(@xmath106 ) , as in the massless case .
the baryon mass calculated from the effective action is found analytically to be @xmath118 the generalization of eq .
( [ p31 ] ) to arbitrary @xmath102 . to the given order
this agrees once again with the result based upon the series expansion of the exact equations ( [ p37],[p38 ] ) .
these results show that with our  no - sea " effective action , we have indeed achieved what we were aiming at . depending on the number of terms
one is willing to include , one can systematically get an increasingly accurate value for the baryon mass and valence wave function .
note that the expansion parameter changes from @xmath24 in the chiral limit to @xmath119 in the heavy quark limit . as a matter of fact ,
the truncated series ( [ p39 ] ) is a much better guide to the exact baryon mass in the full range of the parameters ( @xmath120 ) than could have been expected on the basis of our derivation .
we find that the nnlo effective action yields the binding energy of the baryon with an error of less than 1.5@xmath121 even for full occupation ( @xmath122 ) and arbitrary @xmath102 . in the chiral limit ,
the error is below 0.3@xmath121 for all values of @xmath24 .
even the lo effective action yields results no worse than 10 - 20@xmath121 for the binding energy .    the most important result of this section is the effective lagrangian ( [ p35 ] ) for the massive gn@xmath9 model .
it contains the corresponding lagrangian ( [ p16 ] ) for the massless gn@xmath9 model as a special case ( @xmath113 ) .
the applications to homogeneous matter and baryons show that our general scheme is correct and underline the systematic character of the expansion . in the derivation
, we only had to compute standard one - loop feynman diagrams with increasing number of external lines .
nevertheless , we demonstrated that an excellent approximation to the baryon mass can be obtained even in regions of the parameter space where we had no a - priori reason to assume that our truncation of the effective action was justified .
the lagrangian of the gross - neveu model with continuous chiral symmetry ( njl@xmath9 model ) is @xmath123 .
\label{p40}\ ] ] in this model , the dirac sea has a more dramatic impact on the hadrons of the theory than in the case of the gn@xmath9 model .
this is already clear from the existence of massless mesons and baryons , despite the fact that the elementary fermions acquire a dynamical mass @xcite .
as compared to the gn model , one has to expect additional complications when integrating out the dirac sea . in the present section ,
we therefore restrict ourselves to the lo calculation of the effective action .
it turns out that the lo calculation in the njl@xmath9 model is about as complex as the nnlo calculation in the gn@xmath9 model described in sect .
the general procedure and the diagrams to be considered stay the same as before , except that each vertex can now be either 1 ( scalar ) or @xmath124 ( pseudoscalar ) .
some diagrams vanish due to parity selection rules .    at one - loop order ( tadpole ) , the scalar contribution yields an effective mass just like in the gn@xmath9 model .
the pseudoscalar tadpole vanishes , so that the one - loop contribution to @xmath17 is again a standard mass term , @xmath125 at two - loop level , we have to consider that the two vertices in fig .
5a can both be either scalar or pseudoscalar .
the first case is identical to the gn@xmath9 model and , after resumming the scalar bubbles , yields the first term in eq .
( [ p9 ] ) ( higher order terms are discarded since we now work to lo only ) . the second case involves a pseudoscalar vacuum polarization . for the sum of the @xmath35 tadpole and this correction
, we obtain to o(@xmath39 ) @xmath126 this should be compared to the corresponding scalar result , eq .
( [ p5 ] ) . using the same arguments for resumming the inner  @xmath29 " bubbles as in the scalar case
, we get ( denoting the pseudoscalar coupling by @xmath127 ) @xmath128 invoking the gap equation ( [ p2 ] ) now yields the result @xmath129 the pseudoscalar bubble sum has produced the pole of the massless  pion " .
actually , the difference between ( [ p45 ] ) and the leading order result for the scalar coupling @xmath56 can easily be understood : as already noted by gross and neveu @xcite , the coupling constants @xmath130 and @xmath131 are identical due to chiral symmetry . in eq .
( [ p9a ] ) , we have interpreted the scalar effective coupling constant in terms of a @xmath57-exchange , replacing the propagator by a constant , namely its value at @xmath132 . however , this can not be done in the case of the @xmath133-exchange .
the limit @xmath134 is singular and we must keep the leading momentum dependence , @xmath135 thus reproducing eq .
( [ p45 ] ) .
clearly , the pole in the effective pseudoscalar interaction has drastic consequences for the structure of the effective theory .
since the expansion around @xmath47 is singular in the njl@xmath9 model , we have to reconsider the ordering principle behind our approach . keeping the momentum dependence from the pion pole in eq .
( [ p45 ] ) , the total two - loop contribution to the effective lagrangian assumes the non - local form @xmath136 as before we shall treat @xmath20 and @xmath40 as being of o(@xmath41 ) .
we would like to test our effective action against the multi - fermion bound states of shei , in analogy to our test against the dhn baryon in the gn@xmath9 case . from these known bound states
we infer that @xmath137 is of o(@xmath138 ) .
hence both terms in eq .
( [ p46 ] ) are of the same o(@xmath139 ) , which defines our lo approximation .    at three - loop level
we must again consider the graph in fig .  5b .
if all three couplings are scalar , it is of o(@xmath140 ) and therefore nlo . we neglect it in the present case .
the only other non - vanishing contribution involves one scalar and two pseudoscalar couplings .
we evaluate the corresponding feynman graph and resum the scalar and pseudoscalar bubbles into effective couplings , generating two pion poles .
the resulting effective lagrangian reads @xmath141 notice that this is again of o(@xmath139 ) . due to the inverse powers of momenta or @xmath40 , unlike in the gn@xmath9 case
, there is no suppression of the three - loop contribution as compared to the two - loop contribution by a power of @xmath41 .
even worse , one can identify a whole class of higher terms with arbitrary many loops contributing to the same order of @xmath41 .
this calls once again for a resummation , namely [ add up the 2nd term in eq .
( [ p46 ] ) and eq .
( [ p47 ] ) ] @xmath142 we have summed up a special class of higher order diagrams , singled out by being of o(@xmath139 ) .
they can be described as follows : draw a string of pseudoscalar bubbles between two @xmath143 ( valence ) condensates .
then attach at most one scalar tadpole to any of the pseudoscalar loops ( on either side ) .
all diagrams generated with this prescription are summed up .
if there are @xmath38 scalar condensates , this must be matched by @xmath38 + 1 pion poles .
it is easy to convince oneself that any other way of attaching tadpoles to the bubble graphs is punished by a higher order in @xmath41 . as a result of this discussion
, we replace the effective action ( [ p46 ] ) induced by the two - loop graph with @xmath144 the massless pion propagator has been superseded by the propagator of the pion in a scalar background potential and sums up higher loop contributions of o(@xmath139 ) in @xmath17 as shown schematically in fig .  8 .
notice that the pion self - energy appearing in the denominator of eq .
( [ p49 ] ) has a form reminiscent of the gell - mann , oakes , renner ( gor ) relation @xcite which relates the pion mass to the bare fermion mass and the chiral condensate , @xmath145 however , in eq .
( [ p49 ] ) , @xmath23 is the physical fermion mass , and @xmath20 refers to the ( @xmath28-dependent ) valence contribution to the condensate only .
nevertheless , the formal similarity is striking and may point to a deeper physics reason behind our rather technical resummation .    due to the troublesome occurrence of inverse powers of @xmath41 in the pseudoscalar effective coupling
, we have to go to even higher order in the loop expansion in order to identify all lo terms . at four - loop order
, we had to consider fig .
5c for the gn@xmath9 model ( where it was nnlo ) .
if all four vertices are scalar ( like in the gn@xmath9 model ) , it is indeed of o(@xmath42 ) and can be discarded for our present purpose .
if two vertices are scalar and two are pseudoscalar , after resummation it will be of o(@xmath140 ) and hence still negligible .
the only o(@xmath139 ) contribution is the diagram in fig .
5c with four @xmath124 vertices .
the four pion pole terms together with four pseudoscalar condensates conspire to give o(@xmath139 ) .
the feynman diagram calculation yields the effective action @xmath146 according to our previous treatment of the two - loop diagram , we should once again replace every denominator @xmath40 by @xmath147 , thereby summing up another infinite set of diagrams of o(@xmath139 ) but containing multi - fermion interactions of arbitrary order , @xmath148    finally we turn to the five - loop graph in fig .
5d , which contributed in nnlo in the gn@xmath9 case .
the interesting case is the one where there are four pseudoscalar vertices and one scalar vertex , the latter connecting the two @xmath36 bubbles .
the calculation including all necessary resummations yields @xmath149 it yields exactly the same magnitude as ( [ p51 ] ) but the opposite sign , so that the four- and five - loop terms cancel in the njl@xmath9 model . in our opinion
this cancellation is an expression of the low energy theorem according to which the @xmath150 interaction at zero momentum should vanish @xcite . here
this comes about as a result of a cancellation between the @xmath151 vertex and the process @xmath152 involving the @xmath153 vertex , see fig .
it is interesting that the njl@xmath9 model respects the low energy theorems in the large @xmath0 limit , in spite of the usual strong reservations against goldstone bosons in two dimensions @xcite .
we have now identified all terms of o(@xmath139 ) in the effective lagrangian . as announced , the calculation was more involved than in the gn@xmath9 model .
whereas in the gn@xmath9 case we had to deal with four- , six- and eight - fermion interactions in lo , nlo and nnlo , here we had to sum up terms corresponding to 2@xmath38-fermion interactions with arbitrary @xmath38 already in lo .
the reason is the massless pion pole which induces inverse powers of @xmath41 .
it is responsible for the non - locality of the lo effective interaction for the njl@xmath9 model which nevertheless has a rather simple final form , @xmath154 the pseudoscalar term is associated with the fermion - fermion interaction through @xmath133-exchange , see fig .
the pion propagator has a long range and is dressed as in fig .
the scalar term arises from @xmath57-exchange , fig .  10b , and is of zero range in lo .
it is common to the gn@xmath9 and njl@xmath9 models .    at first glance ,
the non - locality of @xmath17 is irritating , since it is expected to make the solution of the euler - lagrange equation much harder .
however in the present case , the particular structure of the non - locality allows us to trade the non - local effective lagrangian for a local one , at the cost of introducing an elementary pseudoscalar field @xmath155 .
the local effective lagrangian equivalent to ( [ p53 ] ) is given by @xmath156 since we are in the large @xmath0 limit , @xmath157 can be treated as a classical field .
the equation of motion for @xmath157 following from ( [ p54 ] ) is @xmath158 upon solving this inhomogeneous equation formally and plugging the result into eq .
( [ p54 ] ) we indeed recover the non - local effective lagrangian ( [ p53 ] ) .
so we wind up with a local field theory containing both fermions and an elementary @xmath133-meson , the latter described by the field @xmath157 .
since the derivation was quite complicated ( in particular identifying all lo terms ) , it is again crucial to test @xmath17 against exact results for the njl@xmath9 model .
for this purpose , we choose the multi - fermion bound states of shei @xcite .
they are analogous to the dhn baryon of the gn@xmath9 model in the way they were derived ( inverse scattering theory ) , but in our opinion carry vanishing baryon number and should be regarded as  baryonium " states @xcite .
our strategy is as follows .
take the valence spinor wave function of shei in the notation of ref .
@xcite , @xmath159 with @xmath160 and energy @xmath161 .
this yields the ( valence ) condensates @xmath162 eq .
( [ p55 ] ) for @xmath157 becomes @xmath163 and , to leading order in @xmath24 , is solved by @xmath164 the euler - lagrange equation for @xmath96 is equivalent to the  no - sea " dirac - hf equation , @xmath165 with scalar and pseudoscalar potentials @xmath166 we have kept the lo terms only .
we find that @xmath96 satisfies the hf equation up to corrections of o(@xmath167 ) .
the hamiltonian density is given by @xmath168 taking its expectation value in the valence state , we insert the above results for @xmath96 and @xmath157 and integrate over @xmath28 .
the derivative term gives zero , the mass term has to be treated in nlo in @xmath24 and yields @xmath169 , the four remaining terms give @xmath170 to lo . the total result for the mass adds up to @xmath171 in agreement with the first two terms of the taylor expansion in @xmath24 of the exact result , @xmath172 since we can not expect more from a lo calculation , the test was successful .
now consider the question of baryon number .
one interesting aspect of the njl@xmath9 model is the fact that a topologically non - trivial mean field can induce fermion number in the dirac sea @xcite .
since this is a physical effect but we have eliminated the dirac sea , it must show up somewhere else in the effective theory . to understand what is happening , we treat the fermion density @xmath173 as an effective operator , in analogy with the scalar or pseudoscalar densities above . to this end
we write down the dressed tadpole with a @xmath174 vertex and again resolve it into positive and negative energy contributions .
the diagrams involving only @xmath36 terms add up to the divergent density of the ( vacuum ) dirac sea and can be subtracted .
the @xmath35 tadpole represents the density contribution of the valence level , @xmath175 , see fig .
its first correction is driven by the two - loop graphs in fig .
if the upper vertex is 1 ( scalar @xmath35 loop , fig .
11b ) , the vacuum polarization bubble is the time component of a four - vector and therefore proportional to @xmath70 ( where @xmath43 is the external momentum ) . since the self - energy insertion is static , this term vanishes
this is the reason why we did not have to worry about induced fermion number in the gn@xmath9 model . if the upper vertex is @xmath124 ( pseudoscalar @xmath35 loop , fig .
11c ) , the @xmath36 bubble behaves like the space component of a four - vector and is proportional to @xmath176 . we can replace the pseudoscalar @xmath35 bubble by the full pseudoscalar self - energy @xmath177 , thereby summing up all the lo diagrams as explained above .
the result for the induced fermion density in coordinate space then assumes the simple form @xmath178 , where the derivative reflects the above mentioned @xmath176-dependence .
the total fermion density in the effective theory consists of the valence fermion density and the induced one , @xmath179 this allows us to correctly compute the fermion density without dirac sea . if we insert the expressions for the shei bound state , we get an exact cancellation between the two contributions , in agreement with two independent recent results @xcite .
let us now switch on the bare fermion mass in the njl@xmath9 model . as discussed above , this modifies the vacuum gap equation , see eq .
( [ p33 ] ) , and thereby the effective couplings . for the scalar coupling the corresponding lo result
can be read off from the @xmath54 term in eq .
( [ p35 ] ) , @xmath180 an analogous calculation for the pseudoscalar effective coupling yields @xmath181 the massless pion pole gets replaced by a massive one with the pion mass @xmath182 in agreement with the leading order pion mass prediction near the chiral limit ( gor relation @xcite ) .
the next steps depend on the regime one is interested in .
two cases are particularly simple and will be considered here : i ) @xmath183 and @xmath39 are both of o(@xmath41 ) , and the scalar and pseudoscalar condensates are o(@xmath41 ) and o(@xmath138 ) respectively as for the shei bound state .
ii ) @xmath184 , i.e. , @xmath133 and @xmath57 masses are comparable and of o(@xmath23 ) , cf .
the exact relationship @xcite @xmath185    in case i ) we can neglect @xmath102 in the scalar effective coupling multiplying @xmath54 since it is of higher order than o(@xmath139 ) .
the same diagrams contribute to the pseudoscalar terms as before , except that the pion proapagator becomes massive everywhere , @xmath186 .
the cancellation in the @xmath150 scattering amplitude illustrated in fig .
9 is upset by the bare mass term , as expected from chiral perturbation theory and low energy theorems . however , since the correction gets an additional factor of @xmath102 , these terms can again be ignored to lo . as a result , the non - local effective action ( [ p53 ] ) of the massless njl@xmath9 model now gets replaced by @xmath187 with @xmath188 defined in eq .
( [ p69 ] ) .
this can again be converted into a local effective action by introducing an elementary pseudoscalar field @xmath157 .
the only modification as compared to eq .
( [ p54 ] ) is the appearance of a mass term for @xmath157 , @xmath189 this opens up the possibility to extend shei s bound state to finite bare fermion masses .
of course one would then have to verify that our assumptions concerning the order of @xmath41 of the valence condensates are fulfilled .    in case
ii ) we go into a regime where both @xmath133 and @xmath57 propagators may be treated as point - like .
the scalar and pseudoscalar effective couplings become equal ( to lo ) , @xmath190 all higher order corrections are suppressed by inverse powers of @xmath102 , and the lo effective lagrangian assumes the same structure as the original lagrangian ( apart from the mass term and the replacement of @xmath16 by the effective coupling ) , @xmath191 . \label{p74}\ ] ] in this regime , the lo effective lagrangian of the gn@xmath9 model reduces to @xmath192 these last two equations may be considered as the extreme heavy - fermion ( or non - relativistic ) limit of the original field theories .
finally , we comment on some early work which is relevant in this context . in the 70 s , there was some debate about the use of  classical calculations " for fermions in field theory .
these were mean field calculations without dirac sea , solving non - linear dirac - hf equations @xcite exactly as in our  no - sea " effective theory .
what was done at that time simply amounted to use the original lagrangian with a mass term added and replacing the bare coupling constant by an effective one .
shei @xcite noted that this type of calculation gave reasonable results for the gn@xmath9 model , but was completely off in the case of the njl@xmath9 model .
we can now understand the reasons behind this observation , using the framework of effective field theory . in the gn@xmath9 model ,
the lowest order effective lagrangian happens to agree with the ad - hoc prescription used in refs .
this explains why it gave useful results , at least for small filling fraction .
incidentally , another example of a  no - sea " calculation for this model can be found in ref .
@xcite where the effective coupling constant @xmath56 was determined  phenomenologically " , see eq .
( 4.17 ) of that paper .
we have now derived this number microscopically and are able to improve the calculation in a systematic fashion . in the njl@xmath9 model , the naive recipe for writing down the effective action breaks down due to the pion pole .
one can not ignore the singular momentum dependence of the effective pseudoscalar coupling ( @xmath193 ) which gives rise to long range non - localities .
this is the reason for the observed discrepancy between short range  no - sea " and long range semi - classical mean fields .
it is amusing that in the heavy - fermion limit , we do recover an effective action which agrees with the simple recipe of adding a mass term and introducing an effective coupling , see eq .
( [ p74 ] ) .
hence the technically rather nice classical calculations done in the 70 s for the chiral limit of the njl@xmath9 model ( where they had to fail , as we now understand ) can be  recycled " to solve the njl@xmath9 model in the heavy - fermion limit @xmath184 . in this regime
, the approximations can be justified by effective field theory . in the representation of the @xmath102-matrices ( [ p1a ] ) , the bound state found by lee et al .
@xcite has the spinor wave function ( filling fraction @xmath24 , energy @xmath194 ) @xmath195 we have checked that it satisfies the ( classical ) non - linear dirac equation obtained from the effective lagrangian ( [ p74 ] ) exactly .
the baryon mass is given by @xmath196 due to the truncation of the effective action , only the two listed terms of the series expansion can be trusted . at the same time
the induced fermion density gets suppressed by a factor of @xmath197 as compared to the valence density . the corresponding result for the gn@xmath9 model with effective action ( [ p75 ] )
can be read off eq .
( [ p39 ] ) ( for @xmath184 ) and agrees with ( [ p77 ] ) to this order in @xmath24 . as a matter of fact , the spinors @xmath96
also become equal in the limit @xmath198 , as can be seen by expanding in powers of @xmath24 .
the reason can be traced back to the fact that the ratio of pseudoscalar to scalar condensates decreases like @xmath197 .
thus we learn that in the heavy - fermion limit , the difference between discrete and continuous chiral symmetry of the four - fermion interaction becomes less and less important , and baryons of the gn@xmath9 and njl@xmath9 model approach each other . as far as the njl@xmath9 model is concerned , there is so far no independent information available about this regime these findings could be compared to .
using exactly solvable four - fermion models as theoretical laboratory , we have demonstrated that  integrating out the dirac sea " is indeed a viable concept .
tractable effective lagrangians could be derived , valid for multi - fermion bound states with weakly occupied valence level or large bare fermion masses .
whereas the original semi - classical calculations of bound states in gn@xmath9 and njl@xmath9 models required sophisticated and highly specialized techniques to deal with the dirac sea , the effective theories amount to solving the classical euler - lagrange equation , here a non - linear dirac equation .
one might suspect that the difficulties of the full non - perturbative calculations come back in the derivation of the effective lagrangian , but this is not quite so . although this derivation has non - perturbative features in the form of unavoidable resummations , the actual calculation is based on standard one - loop feynman diagrams and thus perturbative .
this suggests that similar techniques can also be applied to more realistic , higher dimensional theories .    in the gn@xmath9 case
, we were able to derive the nnlo approximation in some small expansion parameter .
since the exact dhn baryons and their generalization to finite bare fermion mass are known , we could show that the resulting effective theory works quantitatively .
thus baryon binding energies can be predicted  classically " in the full range of filling fraction and bare mass at the 1@xmath121 level , quite unexpectedly for us .
as far as the formalism is concerned , the main lesson we learned is that the bare parameters of the original theory ( @xmath199 ) disappear owing to resummations .
it would not make sense to truncate the procedure at any fixed number of loops .
all questions of renormalization and uv divergences are then properly dealt with and do not show up any more in the effective theory , which is of course finite .    in the njl@xmath9 case , when applying the same strategy we ran into a new difficulty .
the pseudoscalar effective coupling develops a singularity at @xmath132 due to the massless pion pole .
although one can again identify the lo of a systematic expansion in a small parameter , this necessarily causes a long range non - locality of the effective lagrangian .
the purely fermionic , non - local effective theory can be cast into a more convenient  almost local " form by introducing an additional elementary pion field .
the resulting theory contains elementary fermions and pions but is fully consistent , judging from the derivation and the comparison with shei s bound states .
the role of the massless pion explains the conspicuous difference between short range mean fields in the gn@xmath9 model and long range mean fields in the njl@xmath9 model , which had caused headaches in early , more naive attempts to treat fermions classically .
moreover , we could show how the important phenomenon of  induced fermion number " can be recovered in a  no - sea " effective theory .
finally , notice that no attempt was made to reduce the dirac equation to a non - relativistic schrdinger equation .
although this would be possible , we feel that it would only make our formulae more messy .
our main focus here was not on relativistic kinematics , but on the dynamical effects of the dirac sea .
99 d. j. gross and a. neveu , phys .
d * 10 * , 3235 ( 1974 ) . v. schn and m. thies , in _ at the frontier of particle physics : handbook of qcd _ , boris ioffe festschrift , ed .
m. shifman , vol .
33 , p. 1945 , world scientific , singapore ( 2001 ) .
j. feinberg , ann .
phys . * 309 * , 166 ( 2004 ) .
m. thies , j. phys .
a : math . gen .
* 39 * , 12707 ( 2006 ) .
r. f. dashen , b. hasslacher and a. neveu , phys .
d * 12 * , 2443 ( 1975 ) .
sun - sheng shei , phys .
d * 14 * , 535 ( 1976 ) .
r. pausch , m. thies and v. l. dolman , z. phys .
a * 338 * , 441 ( 1991 ) .
f. karbstein and m. thies , phys .
d * 76 * , 085009 ( 2007 ) .
s. y. lee , t. kuo and a. gavrielides , phys .
d * 12 * , 2249 ( 1975 ) .
s. y. lee and a. gavrielides , phys .
d * 12 * , 3880 ( 1975 ) .
b. d. serot and j. d. walecka , in : advances in nuclear physics , j. w. negele and e. vogt ( eds . ) , vol . 16 .
new york : plenum press ( 1985 ) .
e. j. levinson and d. h. boal , phys .
d * 31 * , 3280 ( 1985 ) .
k. ahmed and s. saleem , phys .
d * 35 * , 4020 ( 1987 ) .
m. thies and k. urlichs , phys .
rev . d*72 * , 105008 ( 2005 ) , appendix b. j. feinberg and a. zee , phys .
b * 411 * , 134 ( 1997 ) .
m. thies and k. urlichs , phys .
d * 71 * , 105008 ( 2005 ) .
j. feinberg and s. hillel , phys .
d * 72 * , 105009 ( 2005 ) . m. gell - mann , r. oakes and b. renner , phys . rev . * 175 * , 2195 ( 1968 ) .
s. weinberg , phys .
* 17 * , 616 ( 1966 ) .
s. coleman , comm . mat .
phys . * 31 * , 259 ( 1973 ) .
e. farhi , n. graham , r. l. jaffe , and h. weigel , nucl .
b * 585 * , 443 ( 2000 ) .
j. goldstone and f. wilczek , phys .
* 47 * , 986 ( 1981 ) .
r. jackiw and g. semenoff , phys .
50 * , 439 ( 1983 ) .
m. thies and k. ohta , phys .
d * 48 * , 5883 ( 1993 ) .


understanding the physics of spacetime singularities is a challenge for any complete theory of quantum gravity .
it has been shown that string theory resolves certain seeming singularities , such as orbifolds  @xcite , flops  @xcite , and conifolds  @xcite , in the sense that their physics is completely nonsingular .
on the other hand , it has also been argued that certain singularities should not be resolved , but rather must be disallowed configurations  in particular , negative mass schwarzschild , which would correspond to an instability of the vacuum  @xcite .
also , in the study of perturbations of the ads / cft duality various singular spacetimes have been encountered , and at least some of these must be unphysical in the same sense as negative mass schwarzschild . a more general understanding of singularities in string theory is thus an important goal .
in this paper we study a naked singularity of a particular type  @xcite , which has been dubbed the _
repulson_. a variety of brane configurations in string theory appear to give rise to such a singularity . however , we will argue that this is not the case .
rather , as the name might suggest , the constituent branes effectively repel one another ( in spite of supersymmetry ) , forming in the end a nonsingular shell .
our interest in this singularity arose from a search for new examples of gauge / gravity duality .
in particular , the brane configurations that give rise to the repulson singularity have on their world - volumes pure @xmath3 , @xmath4 gauge theory ( or the equivalent in other dimensions ) , as opposed to the usual pure @xmath3 , @xmath5 , or @xmath3 , @xmath4 with hypermultiplets .
we do not precisely find such a duality , in the sense of using supergravity to calculate properties of the strongly coupled gauge theory , but we do find a striking parallel between the moduli space of the large-@xmath0 @xmath6 gauge theory and the fate that we have deduced for the singularity .
we also find some clues which allow us to guess at aspects of a possible dual .    in section  2
we describe the repulson singularity and the various brane configurations where it arises . in section  3
we deduce the specific physical mechanism by which it is removed . in section  4
we relate this to behavior of yang
mills theory with eight supersymmetries .
we do not find a duality , in the sense of being able to use supergravity to calculate in the strongly coupled gauge theory , but we find a striking parallel between the physical picture deduced in section  3 and the large-@xmath0 seiberg  witten theory .
we point out some features suggestive of a dual theory , and remark upon the case of finite temperature . in section  5
we develop two of the dual versions , in terms of bent ns5-branes , and wrapped / fractional d - branes .
section  6 offers brief conclusions , and suggestions for future directions .
let us consider first the oft - discussed d1d5 system , @xmath7 here @xmath8 run over the 05-directions tangent to all the branes , @xmath9 runs over the 1234-directions transverse to all branes , and @xmath10 runs over the 6789-directions of a @xmath11 , tangent to the d5-branes and transverse to the d1-branes .
we have defined @xmath12 with @xmath13 and @xmath14 the volume of the @xmath11 .
this configuration leaves 8 unbroken supersymmetries , all of which transform as @xmath15 under the @xmath16 that acts on @xmath17 . at the horizon , @xmath18 ,
the geometry approaches ads@xmath19 , giving rise to an ads / cft duality  @xcite .
the tension of the effective string in 6 dimensions is @xmath20 with @xmath21 and @xmath22 .
now imagine taking @xmath23 , but keeping the _ same _ unbroken supersymmetry .
this is not the same as replacing the d1-branes with anti - d1-branes , which would leave unbroken @xmath24 supersymmetries instead .
rather , the solution  ( [ 15sol ] ) is simply continued to @xmath23 , so that @xmath25 .
this radically changes the geometry : the radius @xmath26 is now a naked singularity  @xcite , and the region @xmath27 is unphysical .
also , the tension  ( [ tension ] ) can vanish and apparently even become negative .    in spite of these odd properties
, the case @xmath23 can be realized physically . to do this , replace the @xmath11 with a k3 , with @xmath28 d5-branes wrapped on the k3 .
then as shown in ref .
@xcite , the coupling of the d5-brane to the curvature induces a d1-brane charge @xmath29 . for @xmath30 sufficiently large the solution  ( [ 15sol ] ) with @xmath29 ( and with @xmath31 replaced by the metric of a k3 of volume @xmath14 )
would be expected to be a good description of the geometry .
the low energy theory on the branes is pure supersymmetric yang
mills with eight supersymmetries  @xcite , in @xmath32 dimensions
. one can understand this from the general result that the number of hypermultiplets minus vector multiplets is @xmath33 , from 1 - 5 strings .
continuing to @xmath29 gives @xmath34 , corresponding to the @xmath35 adjoint without hypermultiplets .
, we can also study the case of @xmath6 with @xmath36 fundamental flavours .
it is amusing to note that the case @xmath37 corresponds to @xmath38 , which means that @xmath39 and the supergravity solution simplifies greatly .
this is pertinent for the four - dimensional case which is superconformal . ]    by dualities one can find many other brane configurations with singularities of the same sort , and with the same low energy gauge theory in @xmath40 dimensions .
our interest in this solution arose from the search for supergravity duals to these gauge theories , and we will return to this point in section  4 . by @xmath41-dualities on the noncompact directions one obtains solutions with d@xmath42 and d@xmath43 charge , for @xmath42 = 0 , 1 , 2 , and 3 . by @xmath41-dualities on the whole k3
one can replace the d@xmath43-branes wrapped on the k3 with d@xmath44-branes wrapped on a nontrivial @xmath45 with self - intersection number @xmath46 .
this latter realization can also be obtained as follows .
consider @xmath0 d3-branes at a @xmath47 orbifold singularity  @xcite .
the low energy gauge theory is @xmath48 with hypermultiplets in the @xmath49 . by going along the coulomb branch in the direction diag@xmath50 one
gives masses to all the @xmath51 hypermultiplets .
this corresponds to separating the branes along the singularity into two clumps of @xmath0 half - branes , which are secretly  @xcite d5-branes wrapped on the collapsed @xmath45 ( the half d3-brane charge comes from the @xmath52 @xmath53-field at the orbifold point ) .
wrapped d5-branes plus @xmath0 d3-branes , producing gauge group @xmath54 with bifundamental hypermultiplets .
the focus of these papers is @xmath55 , whereas ours is the opposite limit @xmath56 . ]
a @xmath41-duality on this brane - wrapped ale space results in another dual realization , this time involving a pair of ns5-branes with @xmath0 d@xmath57-branes stretched between them  @xcite .
finally , by an @xmath58-duality the @xmath59 case can be related to the heterotic string on @xmath11 , with @xmath0 bps winding strings having @xmath60 .
these are the strings which become massless non - abelian gauge bosons at special points in moduli space , a fact that will play an important role in the next section .
similarly , the @xmath61 case @xmath58-dualizes  @xcite to a combination of the kaluza  klein monopole and the h - monopole  @xcite which is equivalent  @xcite to the @xmath62 magnetic black hole in four dimensions . in this heterotic form , these solutions have previously been considered in refs .
@xcite .
the nature of the singularity was studied in ref .
it was shown that massive particles coupled to the einstein metric feel an infinite repulsive potential at the singularity , hence the name _
repulson_. if instead one takes as probes the same kind of d5-brane as forms the geometry , then by the usual supersymmetry argument the potential should vanish . hence there should be no obstruction to building this geometry from a collection of such d5-branes .
however , we will find in the next section that this argument fails for a reason specific to the repulson geometry , so that in fact the geometry is smoothed out in a certain way , and the singularity removed .
for @xmath23 the gauge theory has no higgs branch ( which would correspond to one or more bound states ) , and so for @xmath63 infrared fluctuations might prevent the existence of a stable object .
for this reason we will focus on the d2-d6 example in this section , @xmath64 now @xmath8 run over the 045-directions tangent to all the branes , @xmath9 runs over the 123-directions transverse to all branes , @xmath65 is the metric of a k3 surface of unit volume , and @xmath66 we have inserted @xmath67 .
the bps bound for general charges is @xmath68 with @xmath69 and @xmath70 .
a d6-brane probe ( wrapped on the k3 ) has a well - defined moduli space . to understand better the physics of the repulson geometry , consider the effective action of such a probe , @xmath71 here @xmath72 is the projection of the world - volume onto the six noncompact dimensions and @xmath73 is the induced metric .
we have written this down on physical grounds .
the first term is the dirac action with the position - dependence of the tension  ( [ tension2 ] ) taken into account ; in particular , @xmath74 .
the second and third terms are the couplings of the probe charges @xmath75 to the background .
note that to derive this action from the full d6-brane action requires two curvature - squared terms .
one appears in the wz action and accounts for the induced d2 charge  @xcite .
the other appears in the dirac action and produces the @xmath76 term in the tension  @xcite .    expanding the action  ( [ probe ] ) in powers of the transverse velocity gives the lagrangian density @xmath77 the position - dependent potential terms cancel as expected for a supersymmetric system , leaving the constant potential @xmath78 and a nontrivial metric on moduli space as expected with eight supersymmetries .
the metric is proportional to @xmath79 we assume that @xmath80 , so that the metric at infinity ( and the membrane tension ) are positive .
however , as @xmath81 decreases the metric eventually becomes negative , and this occurs at a radius @xmath82 which is strictly greater than the radius @xmath83 of the repulson singularity .    to understand what is happening , note that this kinetic term comes entirely from the dirac term in the action  ( [ probe ] ) , and that what is vanishing is the factor @xmath84 in the probe tension .
this occurs when @xmath85 , and so before the singularity ( where @xmath86 goes to 0 ) .
the negative tension at @xmath87 is clearly unphysical . to see how we should interpret it ,
recall that the probe is dual to a heterotic winding string , and the vanishing of the tension corresponds to the vanishing of the winding string mass at a point of enhanced gauge symmetry .
it is well - known that the latter can be interpreted as the ordinary higgs mechanism . in the higgs mechanism
the mass is related to the expectation value by @xmath88 note the absolute value .    therefore we should take ( minus ) the absolute value in the first term of the action  ( [ probe ] ) and ( [ lag ] ) .
now the metric is positive but another problem appears : the potential no longer cancels , but rises as @xmath81 decreases below @xmath89 .
this means that we can not move the probe to @xmath90 in a supersymmetric way , and so contradicts the assumption that we can build the repulson geometry by bringing together a succession of wrapped d6-branes .
thus we are led to a very different picture : the @xmath0 d6-branes all live on the sphere at @xmath91 .
even if we try to build the geometry by starting with coincident d6-branes at @xmath92 , where @xmath93 , and then increasing the coupling , we would expect the system to expand as @xmath94 is increased .
we will see an interesting parallel to this behavior in the gauge theory discussion of the next section .    with this picture , the geometry  ( [ 26sol ] ) is correct only down to @xmath95 .
since the sources are all at this radius , the geometry should be flat in the interior @xmath96 : in the interior by continuity of the metric .
c. vafa suggests that there may be an ` overshoot , ' by analogy with ref .
@xmath97^{-1/2 } \eta_{\mu\nu } dx^\mu dx^\nu + [ z_2(r_{\rm e } ) z_6(r_{\rm e})]^{1/2 } dx^i dx^i + v_*^{1/2 } ds^2_{\rm k3 } \
, \nonumber \\
e^{2\phi } { \hspace{-6pt}&=&\hspace{-6pt } } g^2 { z_2(r_{\rm e})}/ { z_6(r_{\rm e})}\ , \nonumber\\ c_{\it 3 } { \hspace{-6pt}&=&\hspace{-6pt } } c_{\it 7 } = 0 \ .
\label{26flat}\end{aligned}\ ] ] note that the non - zero potential that appeared in the proof - by - contradiction is not a real feature , because the geometry  ( [ 26sol ] ) is no longer relevant for @xmath90 . indeed , it is difficult to see how such a potential could be consistent with supersymmetry .
now , however , we seem to have another contradiction
. there seems to be no obstacle to the probe moving into the flat region  ( [ 26flat ] ) , contradicting the conclusion that the d6-branes are fixed at @xmath89 . to see the obstacle
we must look more deeply .
note that in the interior region the k3 volume takes the constant value @xmath98 , meaning that the probe is a tensionless membrane .
a tensionless membrane sounds even more exotic than a tensionless string , but in fact ( as in other examples ) it is actually prosaic : it is best interpreted as a composite in an effective field theory . note that the ratios @xmath99 are equal .
this means that a wrapped d4-brane is a massless particle whenever the wrapped d6-brane is tensionless .
in fact , it is a non - abelian gauge boson , which together with an r  r vector and a wrapped anti - d4-brane form an enhanced @xmath100 gauge symmetry .
that is , in the interior geometry there is an unbroken @xmath100 gauge symmetry in six dimensions .
for this reason we refer to this as the enhanon geometry , and the radius @xmath101 as the enhanon radius .
now , a two - dimensional object in six dimensions would be obtained by lifting a point object in four , and so a magnetic monopole naturally suggests itself .
indeed , the wrapped d4-brane is a source of a 2-form r
r field strength in six dimensions , and the wrapped d6-brane is the source of the dual 4-form field strength .
the mass of a monopole is proportional to the mass of the corresponding @xmath102 boson , so they vanish together when @xmath103 . since the size of the monopole is inverse to the mass of the @xmath102 boson , there is no sense in which a probe can be localized within the enhanon radius .
for this same reason the probe begins to expand as it approaches @xmath89 , so it appears that it will essentially melt smoothly into the shell of @xmath0 monopoles at @xmath89 .
this has the effect that junction between the exterior geometry  ( [ 26sol ] ) and the interior geometry  ( [ 26flat ] ) is smoothed .
we can estimate this smoothing effect as follows .
the mass of a wrapped d - brane is @xmath104 .
the probe will cease to be effectively pointlike when @xmath105 leading to @xmath106 thus we have a consistent picture in which the repulson is replaced by a smooth geometry .
the same principle holds for other values of @xmath42 .
the enhanon locus is @xmath107 , whose interior is @xmath108-dimensional . for even @xmath42 the theory in the interior
has an @xmath100 gauge symmetry , while for odd @xmath42 there is an @xmath109 ( 2,0 ) theory .
this is consistent with the fact that a k3 with volume @xmath98 is @xmath41-dual to a k3 at an @xmath109 singularity .
the details of the smoothing depend on @xmath42 , and for @xmath110 it is likely that the ir fluctuations must be considered .
note that our result for the lagrangian density ( [ lag ] ) depends only on three moduli space coordinates , @xmath111 , or @xmath112 in polar coordinates . for a ( 2 + 1)-dimensional theory with eight supercharges ,
the moduli space metric must be hyperkhler  @xcite .
a minimum requirement for this is of course that it has four coordinates , and so we must find an extra modulus . on the probe , there is an extra @xmath113 gauge potential @xmath114 , corresponding to the overall centre of mass degree of freedom .
we may exchange this for a scalar @xmath115 by hodge duality in the ( 2 + 1)-dimensional world - volume .
this is of course a feature specific to the @xmath116 case .    to get the coupling for this extra modulus correct
, we should augment the probe computation of the previous section to include @xmath114 .
the dirac action is modified by an extra term in the determinant : @xmath117 where @xmath118 is the field strength of @xmath114 .
furthermore , in the presence of @xmath118 , there is a coupling @xmath119 where @xmath120 is the magnetic potential produced by the d6-brane charge : @xmath121 . adapting the procedures of refs .
@xcite , we can introduce an auxiliary vector field @xmath122 , replacing @xmath123 by @xmath124 in the dirac action , and adding the term @xmath125 overall . treating @xmath122 as a lagrange multiplier
, the path integral over @xmath122 will give the action involving @xmath126 as before .
alternatively , we may treat @xmath118 as a lagrange multiplier , and integrating it out enforces @xmath127 here , @xmath128 are the components of the pullback of @xmath129 to the probe s world - volume .
the solution to the constraint above is @xmath130 where the scalar @xmath115 is our fourth modulus .
we may now replace @xmath122 by @xmath131 in the action , and the static gauge computation gives for the kinetic term : @xmath132 where @xmath133 and @xmath134
one of the goals of this work is to obtain a useful dual description of the physics of strongly coupled @xmath6 gauge theory ( with eight supercharges and no hypermultiplets ) at large-@xmath0 .
this is a necessarily complex undertaking , as there are at least four different theories which play important roles here , and so in the spirit of ref .
@xcite , we should carefully determine where each theory has a weakly coupled description , as we change the energy scale .    to get to the limit
where we obtain the decoupled gauge theory we hold fixed the induced @xmath42-dimensional gauge coupling @xmath135 and , as usual  @xcite , hold fixed @xmath136 .
let us also define the @xmath57-dimensional t hooft coupling @xmath137 where @xmath0 is the number of d@xmath43-branes wrapped on the k3 .
we write the k3 volume as @xmath138 ; the background has a good limit if we hold this fixed as well
. then the string metric becomes , in the decoupling limit , @xmath139^{-1/2 } r^{-2}\eta_{\mu\nu}dx^\mu dx^\nu      \\\vspace{5pt }   & \ !
+ \left[\left(1-h_p(u)\right)/h_p(u)\right]^{1/2 }   ( 2\pi)^2 ds^2_{\rm k3 }     \\   & \ !
+ \left[h_p(u)\left(1-h_p(u)\right)\right]^{1/2 }    r^2\left(du^2+u^2d\omega_{4-p}^2\right ) \ , .
\label{scaledmetric } \end{array}\ ] ] we have abbreviated @xmath140 as @xmath141 , and @xmath142 the dilaton becomes @xmath143 note that the ` 1 ' has scaled out of @xmath144 but not @xmath145 .
the case of @xmath146 needs to be discussed separately .
the spacetime solution is @xmath147 where @xmath148 .
this is sensible only for @xmath149 . at @xmath150 , the inner radius ,
@xmath151 vanishes : this is the repulson , which is again unphysical , lying inside the enhanon . at @xmath152 , the outer radius ,
@xmath153 vanishes and the dilaton diverges . near this radius there is a story similar to that at the inner radius : nonperturbative corrections remove the singularity . for @xmath154 , this is understood in terms of ( choke ) f - theory  @xcite . for @xmath155 , as here , the details are not so well understood , but should not be relevant to the physics in the enhanon region
.    returning to @xmath156 , can work out where the supergravity description ( [ scaledmetric],[dilp ] ) is good by demanding  @xcite that the curvature in string units and the dilaton both be small .
for the curvature , we find @xmath157 where the functions @xmath158 are @xmath159 for all @xmath160 .
the first thing we notice about the curvature is its value at the enhanon radius : @xmath161 the control parameter @xmath162 will determine the nature of the phase diagram . the physical interpretation of @xmath163 is the value of the dimensionless t hooft coupling of the @xmath57-dimensional gauge theory at the energy scale @xmath164 , which is an effective uv cutoff . below this scale , since the physics is superrenormalizable , the effective coupling grows , becoming strong at @xmath165 . at this point the gauge theory ceases to be a useful description , we have the right to look for a supergravity ( or other ) dual . if @xmath166 is small , we expect to find a region of the phase diagram where gauge theory is a weakly coupled description .
otherwise , we will have only supergravity phases .
the interesting case is therefore @xmath167 , so that we have at least one region where the gauge theory is weakly coupled .
we will take @xmath168 for the remainder of this subsection .    in satisfying this condition
, we find that the supergravity geometry is strongly curved at the enhanon radius .
since the supergravity fields do not evolve inside the enhanon , this is the maximum curvature . at the enhanon radius
, we can also inspect the dilaton ; it is @xmath169 from the equation ( [ dilp ] ) , we find that the dilaton increases monotonically with @xmath170 .
it becomes of order one at @xmath171 at radii @xmath172 , we will need to use the @xmath58-dual supergravity description .
since at these radii the effect of @xmath145 is very small , by comparison to the effect of @xmath144 , we are in fact matching on to the picture obtained by  @xcite for the d@xmath43-branes alone ; the physics involving the k3 is essentially irrelevant .
we now need to find the degrees of freedom best suited to describing the physics for @xmath173 .
as @xmath170 decreases from @xmath174 , the curvature of the @xmath175 supergravity geometry will become stronger ; it becomes of order unity at @xmath176 at this place , the @xmath177-dimensional gauge theory will take over .
we can see this by starting with its dimensionless t hooft coupling as a function of gauge theory energy @xmath178 @xmath179 now , in order to relate @xmath178 to @xmath170 we need an ir / uv relation for the strings stretched between the probe brane and the source branes .
since the source branes are distributed on a s@xmath180 shell at the enhanon radius , the relation is @xmath181 , where @xmath182 encodes which brane on the shell the stretched string attaches to .
in addition , we have the condition on the control parameter @xmath183 , so that @xmath184 and thus the size of the shell is not important .
so the ir / uv relation is to good accuracy @xmath185 .
therefore we see that the dimensionless t hooft coupling of the @xmath177-dimensional gauge theory is order one at @xmath186 .
it decreases for smaller @xmath170 .
we also have the induced lower - dimensional gauge theory with dimensionless coupling @xmath187 the crossover between the @xmath177- and @xmath57-dimensional gauge theories is clearly at @xmath188 . at lower energies
_ i.e. _  smaller @xmath170 , the @xmath57-dimensional gauge theory takes over .
however , this time its dimensionless t hooft coupling increases as @xmath170 decreases , _
i.e. _ exhibits the opposite behavior to the @xmath177-dimensional gauge theory .
this is consistent with the physics of the @xmath5 supersymmetric systems studied in  @xcite .
the dimensionless t hooft coupling of the @xmath57-dimensional theory becomes strong at @xmath189 let us now recall the enhanon radius , defined by @xmath190 , or @xmath191 . from our previous considerations of a probe in the background of @xmath0 branes , we found that the branes were ( evenly ) distributed on a s@xmath180 shell of this radius .
the energy of a string stretched between any two branes in this shell must therefore fall between @xmath192 the energy at which the @xmath42-dimensional gauge theory becomes strong is then precisely the energy at which the physics of the system is described by some theory whose dynamics includes only the bps strings stretched between the source branes ( and of probe branes so close to the enhanon radius that they too can be thought of as source branes ) .    at the very lowest energies we can simply use the moduli space description of the physics .
the gap that remains in building our phase diagram is an understanding of the physics in the energy range ( [ newrange ] ) .
the curvature is strong there and thus we fail to find a supergravity dual for the strongly coupled @xmath57-dimensional gauge theory .
a further indication of that failure is the explicit appearance of @xmath193 in the metric  ( [ scaledmetric ] ) : in the gauge theory , @xmath193 enters the physics only through the parameter @xmath194 , and therefore should not explicitly appear in a dual description .
so we have a mystery here . a natural suggestion for @xmath61 ( with a suitable generalization involving the @xmath109 theory for @xmath195 )
is that the dual is the ( 5 + 1)-dimensional @xmath100 gauge theory in the @xmath0-monopole sector , where they are just becoming massless .
note that this @xmath100 gauge theory is part of the bulk physics , so what we are conjecturing is that it is the only relevant part and that the supergravity can be omitted .
a weak test is that it give the correct moduli space , and it does .
note also that the enhanon geometry has a natural interpretation in the gauge theory : in the @xmath0-monopole sector the higgs field has a zero of order  @xmath0 .
the function @xmath196 is essentially zero ( the flat interior ) until rising sharply .
thus a classical monopole solution of large charge might be expected to have its charge distributed in a thin shell . to go further we need a new expansion to describe this system , which becomes weak for @xmath0 large .
it appears that the spacing of the monopoles , of order @xmath197 times the enhanon radius , plays the role of a `` non - commutativity '' parameter , because the sphere has been effectively broken up into @xmath0 domains . in any case
, the mysterious dual description should include the dynamics of these stretched strings at large-@xmath0 .
again , the case @xmath195 needs special treatment . to orient ourselves
, we may review the case of d7-branes by themselves . using the equations ( [ peq3spacetime ] )
, we find that the scalar curvature in string units is @xmath198^{-1 } \,,\ ] ] and this becomes order unity when @xmath199 .
substituting this into the dimensionless t hooft coupling on the d7-branes , we find that the gauge coupling is order unity at the same place , and so the @xmath200-dimensional gauge theory and ten - dimensional supergravity parts of the phase diagram fit together as required .
the dilaton becomes order unity when @xmath201 , and because @xmath202 , the nature of this theory beyond the supergravity approximation is unclear .
let us now add the d3-branes .
the effect on the curvature is essentially to multiply the above result by a factor @xmath203 .
out at large values of @xmath170 such as @xmath186 and @xmath204 , the effect of the @xmath151-factor must be unimportant , by analogy with the lower-@xmath42 cases .
now , recall that at the scale @xmath164 , the @xmath200-dimensional gauge theory crosses over to the @xmath205-dimensional gauge theory , and the coupling must be weak there in order for there to be gauge theory descriptions at all .
therefore @xmath206 , and as a consequence we find @xmath207 , a condition necessary for clean separation of some of the phases as in the lower-@xmath42 cases .
the remaining conditions needed for clean separation of the other phases involve @xmath204 and remain somewhat puzzling .
we assume , by analogy with the @xmath156 cases , that they are met .
we summarize our findings in the phase diagram in figure  [ fig : phases ] .
= 3.5 in 0.2    to get a little more information on the mystery theory we may consider going to finite temperature , or adding energy to the branes .
the first change to the supergravity solution is that a nonextremality function @xmath208 appears multiplicatively in @xmath209 : @xmath210 in addition , the harmonic function of the d@xmath42-branes @xmath145 gets altered by nonextremality as if we had not taken the decoupling limit , while @xmath144 is unaltered fixed in the decoupling limit ; it does not scale with the string length .
] specifically , @xmath211 where @xmath212^{1/2 } - { { ( 2\pi)^{p-2}u_0^{3-p}}\over{2c_{p+4}\lambda_p } } \,.\ ] ] note that @xmath213 , and therefore the enhanon at @xmath214u_{\rm e}$ ] is pulled inwards to smaller @xmath170 as the ratio @xmath215 is increased .    in order for the supergravity horizon at @xmath216 to lie outside the enhanon locus , we need a sufficiently large energy density @xmath217 on the branes . using the relation @xcite @xmath218
, this implies that @xmath219 where we have used the condition ( [ weak ] ) .
this can not be satisfied in the @xmath220-dimensional gauge theory , and this is further evidence that the mysterious theory is not gravitational .
although we have failed to find a weakly coupled dual for the gauge theory , a study of the coulomb branch of the gauge theory reveals a striking parallel to our probe computations .
focusing on the case @xmath116 , suppose that the condition  ( [ weak ] ) holds , so the low energy physics can be described by a @xmath221-dimensional gauge theory .
the metric that the probe sees , after applying the scaling of the previous section to eqn .
( [ fourth ] ) , gives the metric on moduli space for the @xmath6 ( 2 + 1)-dimensional gauge theory in the decoupling limit : @xmath222 where @xmath223 the @xmath113 monopole potential is @xmath224 and @xmath225 , and the metric is meaningful only for @xmath226 .
our metric ( [ probenear ] ) is the euclidean taub
nut metric , with a negative mass .
it is a hyperkhler manifold , because @xmath227 , where @xmath228 .
it is striking that the moduli space metric is the same as that which can be derived from field theory , where this has the interpretation as the tree - level plus one - loop result .
it is also interesting to note that while the scaled supergravity solution failed to give a dual , the result for the probe s moduli space is independent of @xmath14 .
both of these facts could be understood if supersymmetry prevented @xmath14 from appearing in the probe metric : one can use @xmath14 as the control parameter to move from weak gauge theory to weak supergravity . on the surface
this does not seem to be the case  the probe moduli live in a vector multiplet , and so does @xmath14  but a more careful analysis may be needed .
so there is a mystery here , perhaps confirming our suggestions in the previous section that there is a useful duality to be found .
we see that the enhanon phenomenon is the same as the familiar fact that the tree - level plus one - loop kinetic term goes negative  the landau pole .
this metric is of course singular , and is therefore incomplete . as shown by seiberg and witten
, it receives no perturbative corrections but is fixed nonperturbatively .
it is the large @xmath81 expansion of the metric on the moduli space of @xmath0 monopoles .
there are nonperturbative instanton corrections to this metric which smooth it out into a generalization of the atiyah  hitchin manifold  @xcite . in the two - monopole case studies in ref
@xcite , the atiyah
hitchin manifold is the unique smooth completion of the taub
nut metric consistent with the condition of hyperkhlerity .
( see refs .
@xcite for examples of generalizations and further study . )    to discuss quantitatively the nonperturbative corrections to the metric on moduli space it is simpler to look at the case @xmath195 . on the gauge theory side
, the metric on moduli space is obtained from the seiberg
witten curve  @xcite , which for @xmath6 is  @xcite @xmath229 the point of maximal unbroken gauge symmetry , which in the present case can only be the weyl subgroup , is @xmath230 earlier work on the large-@xmath0 limit  @xcite focused on a different point in moduli space , but this highly symmetric point would seem to be the most natural place to look for a supergravity dual .
the branch points @xmath231 are at @xmath232 this ring of zeros is reminiscent of the enhanon , and is in fact the same . to see this add a probe brane at @xmath233 , @xmath234 for @xmath235 , there are @xmath236 zeros which closely approximate a ring , @xmath237 the new factor , in parentheses , being @xmath238 .
the remaining two zeros are at @xmath239 , or more precisely @xmath240 the correction being exponentially small . on the other hand , for @xmath241 ,
all @xmath242 branch points lie approximately in a ring , ) or ( [ inner ] ) into the polynomial ( [ poly ] ) produces a solution to order @xmath243 , which can be further improved by an @xmath244 correction to @xmath245 .
the difference between the two ranges of @xmath246 is that the terms in parentheses are arranged so as not to circle the origin , so that the @xmath247 root comes back to its original value as @xmath248 increases from zero to @xmath249 or @xmath250 . ] @xmath251 as deduced from the string picture , the probe does not penetrate the interior of the enhanon but rather melts into it .    one can extract the moduli space metric from the usual formalism  @xcite .
we leave a more detailed treatment for the future , but in the probe region @xmath252 it matches the perturbative result @xmath253 this agrees with the d3-brane probe result on the supergravity side if we identify @xmath254 .
as mentioned in the introduction , there are a number of @xmath41- and @xmath58- dual pictures where the same physics arises .
( the physics of the heterotic @xmath58-dual for the @xmath116 case is essentially contained in the recent work of ref .  @xcite . )    to construct some @xmath41-dual cases , consider  @xcite a pair of ns5-branes which are pointlike in the @xmath255 directions , with @xmath0 d@xmath57-branes stretched between them along the @xmath256 direction , where @xmath257 , or 3 .
the latter are pointlike in the @xmath258 directions , which are inside the ns5-branes , and also in the @xmath259 directions .
all of the branes share the directions @xmath260 .
this arrangement of branes , shown in figure [ bendy](a ) preserves eight supercharges .
we will state the general @xmath42 case in many of the following formulae .
the reader may wish to keep the @xmath116 case in mind for orientation .    denoting the separation of the ns5-branes in the @xmath256 direction by @xmath261
, there is a @xmath262-dimensional @xmath6 gauge theory on the infinite part of the world - volume of the d@xmath262-branes , whose coupling is @xmath263    a number of gauge theory facts from the previous sections are manifest here .
for example , the fact that ( for @xmath116 ) the coulomb branch of the @xmath6 gauge theory is dual to the moduli space of @xmath0 monopoles of a ( 5 + 1)-dimensional gauge theory follows from the fact that the ends of the d3-branes are membrane monopole sources ( in @xmath264 ) in the ns5-branes world - volume theory .
this is an @xmath100 gauge theory spontaneously broken to @xmath113 by the ns5-branes separation
. this will always be the relevant ( 5 + 1)-dimensional theory when @xmath262 is odd because we are in type  iib string theory .
when @xmath262 is even , we are in type  iia , and the ( 5 + 1)-dimensional theory is the @xmath109 ( 0,2 ) theory .    now place the @xmath256 direction on a circle of radius @xmath265 .
there is a @xmath266-dual of this arrangement of branes .
the ns5-branes become an @xmath109 ale space  @xcite . to see this in supergravity language , we start by smearing the ns5-branes along the @xmath256 space , writing the supergravity solution for the core of the ns5-branes as  @xcite ( @xmath267 ) : @xmath268 where @xmath269 is a 3-vector in the @xmath259 plane
. we have placed one ns5-brane at @xmath270 and the other at @xmath271 .
the condition  @xcite @xmath272 defines @xmath273 as a vector @xmath274 which satisfies @xmath275 . applying the usual supergravity @xmath41-duality rules
gives : @xmath276 which is the two - centre gibbons  hawking metric for the @xmath109 ale space , nonsingular because of the @xmath277 periodicity of @xmath256 , and hyperkhler because of the condition relating @xmath278 and @xmath273 for a supersymmetric fivebrane solution .
there are four moduli associated with this solution , forming a hypermultiplet in the @xmath108-dimensional theory .
three of them constitute the vector @xmath279 giving the separation between the two centres .
the fourth is a ns
ns 2-form flux , @xmath280 , through the nontrivial two - cycle ( a @xmath281 ) in the space .
this @xmath281 is constructed as the locus of @xmath256 circles along the straight line connecting the two centres @xmath282 and @xmath283 , where they shrink to zero size ; it has area @xmath284 .
these four numbers specify the separation of the two ns5-branes in the @xmath266-dual picture .    in our case , we have @xmath285 , and so the branes are only separated in @xmath256 , corresponding to having shrunk the @xmath281 away .
the flux @xmath286 is kept finite as we send @xmath287 to zero , and is the parameter dual to @xmath261 : @xmath288 ( the full ns5-branes solution , with dependence on @xmath256 , can be recovered in the duality by considering winding strings in the ale geometry  @xcite , doing a sum over those modes which is dual to a fourier transform of the fivebrane harmonic function on the @xmath256 circle . )    on the ale space , the @xmath102-bosons for the enhanced @xmath100 gauge symmetry of the @xmath289-dimensional theory are made from a d2- and an anti d2-brane wrapped on the @xmath281 , their masses being @xmath290 , where the flux appears due to the @xmath291 coupling ; there is some induced d0-brane charge . under @xmath266-duality ,
the stretched d@xmath262-branes become d@xmath292-branes which are wrapped on the @xmath281 , inducing some d@xmath42-brane charge due to the @xmath293 coupling .
so the configuration with @xmath0 d@xmath262-branes stretched between the two ns5-branes is dual to the same number of d@xmath292-branes wrapped on the two - cycle of an @xmath109 ale space , giving rise to @xmath0 effective d@xmath42-branes .
the gauge coupling in the resulting @xmath57-dimensional @xmath6 gauge theory is given by : @xmath294    as mentioned in the introduction , this configuration is @xmath41-dual to @xmath0 d@xmath295 branes wrapped on a k3 , of volume @xmath14 , the parameter dual to @xmath286 .
the things we learned about this original configuration translate into refinements of the dual pictures .
for example , the nontrivial metric on moduli space corresponds to the bending  @xcite of the ns5-branes away from being flat , resulting from the d@xmath57-branes pull on them ( see figure [ bendy](b ) ) . denoting the radial coordinate in the @xmath258 directions as @xmath81 , ( as we did before ) , the @xmath256 position of a ns5-brane
is given by the equation @xmath296 , giving the smooth shape of the ns5-brane for large enough @xmath81 , _ i.e. _ far away enough from the details of the junction itself .
the solution for the shape is @xmath297 ( @xmath298 ) , or @xmath299 ( for @xmath146 ) , where @xmath300 and @xmath301 are constants set by @xmath261 , the asymptotic separation of the branes , and @xmath94 and @xmath302 .
using this , an expression for the separation @xmath303 of the ns5-branes is @xmath304 notice that this is precisely the functional behavior that we see in the harmonic functions for the supergravity solution of the d@xmath42-d@xmath43 system .
the parameters @xmath300 and @xmath301 can be fixed completely by comparing to the large @xmath81 limit of probe moduli space computation done there , although we will not do it here .    in the expression ( [ coupling ] ) for the gauge coupling , we should replace @xmath261 by our expression for @xmath303 , giving the running of the coupling with position on the coulomb branch .
we recover therefore the singularity in the coulomb branch where the gauge coupling diverges , when the separation @xmath303 of the ns5-branes is of order @xmath302 , resulting in an enhanced gauge symmetry on the ns5-branes ( 5 + 1)-dimensional world - volume .
the enhanon is simply the @xmath305 of closest approach of the ns5-branes in the @xmath256 direction .
notice that the probe brane we studied previously is a single stretched d@xmath262-brane moving in @xmath258 in this picture .
an @xmath81-dependence in the separation between the ns5-branes translates , using ( [ elldual ] ) , into variable @xmath102-boson masses @xmath306 in the @xmath108-dimensional theory , giving the enhanon locus where @xmath307 vanishes .
using @xmath307 in the formula ( [ couples ] ) results in the divergence in the @xmath308-dimensional gauge coupling at the enhanon locus .
one notable result of this paper is a new mechanism that resolves a large class of spacetime singularities in string theory .
this involves a phenomenon , the resolution of a singularity by the expansion of a system of branes in the transverse directions , which is related to that which has recently arisen in other forms  @xcite .
one difference from @xcite is that the branes are found not at the singularity in the supergravity metric ; rather , the metric is modified by string / braney phenomena in the manner that we have described .
our result may point toward a more general understanding of singularities in string theory .    in the gauge theory
we have found a striking parallel between the spacetime picture and the behavior of large-@xmath0 @xmath6 gauge theories .
the most interesting open question is to find a weakly coupled dual to the strongly coupled gauge theory ; our results give many hints in this direction .
there are a number of technical loose ends , which include a more complete treatment of the d3-d7 case , and a fuller understanding of the constraints of supersymmetry on the probe moduli space
. finally , there are many interesting generalizations , including product gauge groups , the addition of hypermultiplets , and rotation .
we would like to thank p. ( bruce willis ) argyres , s. ( andrew jackson ) gubser , a. hanany , a. hashimoto , p. horava , a. karch , r. myers , p. pouliot , s. sethi , a. strominger , and c. vafa for helpful remarks and discussions .
this work was supported in part by nsf grants phy94 - 07194 , phy97 - 22022 , and career grant phy97 - 33173 .
99 l.  dixon , j.a .
harvey , c.  vafa and e.  witten , nucl .
* b261 * , 678 ( 1985 ) .
e.  witten , nucl .
* b403 * , 159 ( 1993 ) hep - th/9301042 ; + p.s .
aspinwall , b.r .  greene and d.r .
morrison , phys .
* b303 * , 249 ( 1993 ) hep - th/9301043 .
p.  candelas , p.s .
green and t.  hubsch , phys .
lett .  * 62 * , 1956 ( 1989 ) ; + a.  strominger , nucl .
* b451 * , 96 ( 1995 ) hep - th/9504090 ; + b.r .
greene , d.r .
morrison and a.  strominger , nucl .
* b451 * , 109 ( 1995 ) hep - th/9504145 .
g.t .  horowitz and r.  myers ,
* 27 * , 915 ( 1995 ) gr - qc/9503062 .
k.  behrndt , nucl .
* b455 * , 188 ( 1995 ) hep - th/9506106 .
r.  kallosh and a.  linde , phys .
* d52 * , 7137 ( 1995 ) hep - th/9507022 .
m.  cveti and d.  youm , phys .
* b359 * , 87 ( 1995 ) hep - th/9507160 . j. maldacena , adv .
* 2 * , 231 ( 1998 ) hep - th/9711200 .
m.  bershadsky , c.  vafa and v.  sadov , nucl .
* b463 * , 398 ( 1996 ) hep - th/9510225 . s.  kachru and e.  silverstein , phys .
lett .  * 80 * , 4855 ( 1998 ) hep - th/9802183 .
j.  polchinski , phys .
rev .  * d55 * , 6423 ( 1997 ) hep - th/9606165 . c.v .  johnson and r.c .
myers , phys .
* d55 * , 6382 ( 1997 ) hep - th/9610140 .
douglas , jhep * 07 * , 004 ( 1997 ) hep - th/9612126 ; + d.  diaconescu , m.r .
douglas and j.  gomis , jhep * 02 * , 013 ( 1998 ) hep - th/9712230 .
a.  hanany and e.  witten , nucl .
* b492 * , 152 ( 1997 ) hep - th/9611230 .
johnson , n.  kaloper , r.r .
khuri and r.c .
myers , phys .
* b368 * , 71 ( 1996 ) hep - th/9509070 .
sorkin , phys .
51 * , 87 ( 1983 ) ; + d.j .
gross and m.j .
perry , nucl .
* b226 * , 29 ( 1983 ) .
khuri , phys .
* b294 * , 325 ( 1992 ) hep - th/9205051 ; + r.r .
khuri , nucl .
* b387 * , 315 ( 1992 ) hep - th/9205081 . m.j .
duff , r.r .
khuri , r.  minasian and j.  rahmfeld , nucl .
* b418 * , 195 ( 1994 ) hep - th/9311120 . s.s .  gubser and i.r .
klebanov , phys .
* d58 * , 125025 ( 1998 ) hep - th/9808075 ; + i.r .
klebanov and n.a .
nekrasov , hep - th/9911096 .
m.  green , j.a .
harvey and g.  moore , class .
* 14 * , 47 ( 1997 ) hep - th/9605033 .
k.  dasgupta , d.p .
jatkar and s.  mukhi , nucl .
* b523 * , 465 ( 1998 ) hep - th/9707224 .
bachas , p.  bain and m.b .
green , jhep * 05 * , 011 ( 1999 ) hep - th/9903210 .
r.  gopakumar and c.  vafa , hep - th/9811131 .
l.  alvarez - gaume and d.z .
freedman , commun .
phys .  * 80 * , 443 ( 1981 ) .
townsend , phys .
* b373 * , 68 ( 1996 ) hep - th/9512062 . c.  schmidhuber , nucl .
* b467 * , 146 ( 1996 ) hep - th/9601003 . n.  itzhaki , j.m .
maldacena , j.  sonnenschein and s.  yankielowicz , phys .
* d58 * , 046004 ( 1998 ) hep - th/9802042 . c.  vafa , nucl .
* b469 * , 403 ( 1996 ) m.f .
atiyah and n.j .
hitchin , _ `` the geometry and dynamics of magnetic monopoles .
porter lectures '' _ , princeton university press ( 1988 ) . n.  seiberg and e.  witten , hep - th/9607163 .
g.  chalmers and a.  hanany , nucl .
* b489 * , 223 ( 1997 ) hep - th/9608105 . n.  dorey , v.v .
khoze , m.p .
mattis , d.  tong and s.  vandoren , nucl .
* b502 * , 59 ( 1997 ) hep - th/9703228 .
hep - th/9602022 .
n.  seiberg and e.  witten , nucl .  phys .
* b426 * , 19 ( 1994 ) hep - th/9407087 .
argyres and a.e .
faraggi , phys .
lett .  * 74 * , 3931 ( 1995 ) hep - th/9411057 ; + a.  klemm , w.  lerche , s.  yankielowicz and s.  theisen , phys .  lett .  *
b344 * , 169 ( 1995 ) hep - th/9411048 .
douglas and s.h .
shenker , nucl .
* b447 * , 271 ( 1995 ) hep - th/9503163 . m.  krogh , hep - th/9911084 .
johnson , nucl .
* b507 * , 227 ( 1997 ) hep - th/9706155 .
a.  karch , d.  lust and d.  smith , nucl .
* b533 * , 348 ( 1998 ) hep - th/9803232 . k.  dasgupta and s.  mukhi , jhep * 07 * , 008 ( 1999 ) hep - th/9904131 .
e.  witten , hep - th/9507121 ; + h.  ooguri and c.  vafa , nucl .
phys .  * b463 * , 55 ( 1996 ) hep - th/9511164 .
gauntlett , j.a .
harvey and j.t .
liu , nucl .
* b409 * , 363 ( 1993 ) hep - th/9211056 .
a.  strominger , nucl .
* b343 * , 167 ( 1990 ) ; + s.  rey , phys .
rev .  * d43 * , 526 ( 1991 ) ; + c.g .
callan , j.a .
harvey and a.  strominger , hep - th/9112030 .
r.  gregory , j.a .
harvey and g.  moore , adv .
* 1 * , 283 ( 1997 ) hep - th/9708086 .
e.  witten , nucl .
* b500 * , 3 ( 1997 ) hep - th/9703166 .
p.  kraus , f.  larsen and s.p .
trivedi , jhep * 03 * , 003 ( 1999 ) hep - th/9811120 ; + d.z .
freedman , s.s .
gubser , k.  pilch and n.p .
warner , hep - th/9906194 ; + a.  brandhuber and k.  sfetsos , hep - th/9906201 .
myers , hep - th/9910053 ; + j. polchinski and m. strassler , in progress ; + s.s .
gubser , k.  pilch and n.p .
warner , in progress .