in recent years , more and more effort has been devoted to finding and studying field theories which are candidates for effective descriptions of multiple m - branes .
inspired by the proposal of basu and harvey@xcite of an m - theory version of the nahm equation , bagger and lambert@xcite and independently gustavsson@xcite ( blg ) found a three - dimensional chern - simons matter theory with @xmath0 supersymmetry that is invariant under parity transformations .
this theory was based on a matter multiplet taking values in a 3-lie algebra@xcite and a topological gauge field with a natural action on the matter fields .
it was soon realized that the number of 3-lie algebras with desirable properties , such as admitting a positive definite metric , is very limited and generalizations of the blg model were sought .
the most promising such generalization is the aharony - bergman - jafferis - maldacena ( abjm ) model@xcite , which is again a chern - simons matter theory . in this model
the matter fields live in the bifundamental representation of the product gauge group @xmath1 , which is endowed with a metric of split signature .
one can , however , rewrite the abjm model in 3-algebra language if one uses a generalization of 3-lie algebras known as hermitian 3-algebras@xcite .
it seems that supersymmetry in the abjm model is reduced to @xmath2 , which makes it less appealing than the blg model .
this could be remedied by the inclusion of monopole operators , see @xcite and references therein .
furthermore , the abjm model passed a non - trivial consistency check when the scaling @xmath3 of the degrees of freedom with the number @xmath4 of m2-branes was reproduced@xcite . for
a comprehensive review of m2-brane models , see @xcite .
given that there is now a reasonable candidate for the description of multiple m2-branes , it is clearly tempting to look for a similar candidate for the effective description of multiple m5-branes .
there are various arguments in the literature suggesting that such a theory has to be intrinsically quantum and that it should not possess a lagrangian description@xcite .
however , recent results suggest that there might be loopholes to these arguments , as e.g.  the inclusion of non - local components in the model@xcite .    as mentioned above , the development of the m2-brane models used as a guideline the basu - harvey equation that captures the dynamics of self - dual strings , i.e.  m2-branes ending on m5-branes .
it is therefore reasonable to expect that the description of self - dual strings from the perspective of the m5-branes might shed light on potential m5-brane models .
moreover , self - dual strings are interesting by themselves , as they should lead to new integrable models with a wealth of non - trivial mathematical structures behind them .    in the following
, we will review a description of self - dual strings using loop space@xcite .
loop space appears very naturally within m - theory , as one can see by the following nave argument : recall that the interactions of d - branes are governed by fundamental strings , whose endpoints induce an effective theory on the set of points in the d - branes worldvolume .
the interactions of m5-branes , however , are governed by m2-branes , whose boundaries form loops called self - dual strings in the m5-branes worldvolume .
it is therefore natural to expect an effective description on the loop space of the worldvolume .
the use of loop space in m - theory has been advocated before@xcite .
moreover , loop space equations for self - dual strings ( which differ from the ones presented here ) have been proposed@xcite .
we will give more arguments in favor of a loop space description of m5-branes in the last section .
a configuration of ( flat ) m2-branes ending on m5-branes corresponds in string theory to d2-branes ending on d4-branes or d1-branes ending on d3-branes .
the latter configuration has been identified@xcite as the string theory interpretation of the atiyah - drinfeld - hitchin - manin - nahm ( adhmn ) construction of monopoles@xcite .
the loop space description of self - dual strings that we present in the following is a rather literal lift of the original adhmn construction to m - theory .
there are quite a few interesting structures related to the adhmn construction , such as twistor descriptions , lax pairs , spectral curves , etc .
our m - theory lift of the adhmn construction should therefore allow us to find the m - theory analogues of these structures .
we will list some more recent results related to this point in the last section .    as a further motivation for loop space
, we also review the reformulation@xcite of a set of equations of motion that was proposed@xcite as an effective description of m5-branes on loop space .
this reformulation leads to natural interpretations for some of the fields appearing in these equations as well as for some of the equations themselves .
the bps equations in this model essentially agree with the self - dual string equation on loop space .
this review is structured as follows . in section 2
, we recall the definition of self - dual strings as well as their description from the perspective of the m2-branes in terms of the basu - harvey equation .
just as monopoles can be seen as characteristic classes of principal fiber bundles , self - dual strings yield characteristic classes of abelian gerbes , which we review in section 3 .
section 4 discusses the lift of an abelian gerbe to a line bundle over loop space , which yields a loop space version of the self - dual string equation . in section 5 ,
we demonstrate how to lift all the ingredients in the adhmn construction of monopoles to m - theory .
we also perform a few consistency checks and demonstrate that this lift reduces to the adhmn construction in a very natural way .
section 6 gives a brief impression of how the construction of section 5 is extended to self - dual strings in the abjm model . in section 7 , we review the loop space interpretation of a proposal of m5-brane equations .
we close in section 8 by summarizing the presented results and putting them into the context of some more recent findings related to m - theory .
as stated in the introduction , it was the study of the bps equation for multiple m2-branes@xcite that ultimately led to the construction of the blg model@xcite .
analogously , one might hope that studying the bps equations for multiple m5-branes might provide crucial hints on their effective description .
this motivates the study of self - dual strings@xcite and their non - abelian extensions . in this section
, we provide a concise review of the self - dual string soliton and its relation to monopoles .
we start from a d - brane configuration of @xmath5 d1-branes ending on a d3-brane .
the worldvolumes of the branes extend in ten - dimensional flat target space of type iib superstring theory as follows : @xmath6 we have coordinates @xmath7 , and , as usual , we mostly write @xmath8 instead of @xmath9 .
the symbol @xmath10 indicates that the d1-branes end on the d3-brane located at @xmath11 . in the following
, we will be interested in the vacua of this configuration .    from the perspective of the d3-brane
, the endpoints of the d1-branes appear like @xmath5 dirac monopoles .
the configuration is thus described by the _ bogomolny monopole equation _
@xmath12 , where @xmath13 is the curvature of the electromagnetic potential @xmath14 and @xmath15 is the higgs field of the monopole configuration .    from the perspective of the d1-brane ,
however , the configuration is described by the _
nahm equation_@xcite @xmath16~.\ ] ] the @xmath17 are scalar fields taking values in the adjoint representation of @xmath18 and describe the fluctuations of the @xmath5 d1-branes in the directions parallel to the worldvolume of the d3-branes .
note that the configuration is invariant under @xmath19 rotations in the @xmath20-directions , and this is reflected in the nahm equation .
both descriptions are linked by the nahm transform@xcite .
one can see this link very explicitly when comparing solutions to the bogomolny monopole equation and the nahm equation .
note that @xmath12 , together with the bianchi identity , implies that @xmath15 is a harmonic function on @xmath21 , where we allow for sources at the positions of the monopoles .
for a monopole at @xmath22 , we therefore have a higgs field @xmath23 , where @xmath5 is the _ monopole charge _ and the number of d1-branes . on the other hand
, we find a simple solution to the nahm equation by factorizing @xmath24 , where @xmath25 . plugging this ansatz into
, we obtain @xmath26~.\ ] ] this solution is called the _ fuzzy funnel_@xcite : equations imply that the @xmath27 form a representation of @xmath28 , which suggests to interpret them as coordinates on a fuzzy sphere @xmath29 .
the radius of this sphere is given by the function @xmath30 .
thus , each point in the worldvolume of the d1-branes polarizes into a fuzzy sphere with a radius that diverges at @xmath31 . because the higgs field @xmath15 describes fluctuations of the d3-brane s worldvolume in the @xmath32-direction ( and therefore the coordinate @xmath8
should be identified with @xmath15 ) , the profile of the d1-branes given by @xmath30 agrees precisely with that given by the higgs field from the d3-brane s perspective .
let us now lift this configuration to m - theory . for this , we t - dualize along @xmath33 and interpret @xmath34 as the m - theory direction .
we arrive at the configuration @xmath35 here , the boundary of the m2-branes in the m5-brane s worldvolume looks like a string .
together with the self - duality of the three - form curvature in the m5-brane s worldvolume , this led to the name _ self - dual string_. we will assume that the boundary of the m2-brane is stable in the @xmath33-direction , and therefore restrict our attention to the @xmath36-directions .
from the perspective of the m5-brane , the vacua of the configuration are described by the self - dual string equation@xcite @xmath37 .
the configuration is obviously invariant under @xmath38 rotations in the @xmath36-directions , and this should be reflected in the extension of the nahm equation .
basu and harvey therefore suggested essentially the following equation@xcite @xmath39~.\ ] ] here , we assume that the bracket @xmath40 $ ] is totally antisymmetric and linear in each slot . before discussing this 3-algebra structure in any further detail , let us briefly compare the profiles of the scalar fields in the two descriptions .
we make again a product ansatz @xmath41 and plug it into .
the solution is @xmath42~.\ ] ] on the other hand , the self - dual string equation @xmath43 implies that @xmath15 is a harmonic function on @xmath44 with sources at the location of the self - dual string .
we therefore have @xmath45 , which is again compatible with the profile obtained from the solution given in .    the components @xmath46 of the solution @xmath47 take values in a _
3-lie algebra_@xcite : they are elements in a vector space @xmath48 endowed with a totally antisymmetric trilinear bracket @xmath40:{\mathcal{a}}^{\wedge 3}\rightarrow { \mathcal{a}}$ ]
. we also impose the _ fundamental identity _ , @xmath49=[[a , b , c],d , e]+[c,[a , b , d],e]+[c , d,[a , b , e]]~,\ ] ] which plays the role of a higher jacobi identity .
it guarantees that the inner derivations @xmath50 spanned by the operators @xmath51 with @xmath52 $ ] , @xmath53 , form a lie algebra .
this lie algebra can be used as a gauge algebra in the basu - harvey equation : analogously to the nahm equation , we can write in gauge covariant form after introducing a gauge potential @xmath54 taking values in @xmath50 : @xmath55~.\ ] ]    the most prominent example of a 3-lie algebra is the 3-lie algebra @xmath56 whose generators @xmath57 , @xmath58 , satisfy the relation @xmath59={{\varepsilon}}_{\mu\nu\kappa\lambda}\tau_\lambda~.\ ] ] it underlies the solution , and its lie algebra of inner derivations @xmath60 is @xmath38 .
the basu - harvey equation is a bps equation in the blg model@xcite , a chern - simons matter theory with @xmath0 supersymmetry that was proposed as a candidate for the effective description of stacks of multiple m2-branes . in this theory , the matter supermultiplet , which takes values in a 3-lie algebra ,
is coupled to a chern - simons action . to write down an action for this theory , it is necessary to equip the 3-lie algebra with a metric structure .
unfortunately , @xmath61 and its direct sums are the only examples of finite - dimensional 3-lie algebras that can be endowed with a positive definite , @xmath50-invariant metric .
generalizations of 3-lie algebras were therefore proposed that relax the total antisymmetry of the 3-bracket@xcite . _
real 3-algebras_@xcite are a generalization of 3-lie algebras obtained by allowing the 3-bracket to be antisymmetric only in the first two slots .
they evidently contain 3-lie algebras .
_ hermitian 3-algebras_@xcite are complex vector spaces endowed with a bracket @xmath62 $ ] , which is linear and antisymmetric in its first two slots and antilinear in the last one .
it satisfies the following form of the fundamental identity : @xmath63,d;e]=[[a , d;e],b;c]+[a,[b , d;e];c]-[a , b;[c , e;d]]~.\ ] ] the 3-lie algebra @xmath61 is contained in this class .    both for real and hermitian 3-algebras
, we have again a lie algebra of inner derivations and we can construct chern - simons matter theories using them . in the case of hermitian 3-algebras ,
these theories contain the abjm model@xcite , that is now regarded as the most promising candidate for the description of multiple m2-branes .
more details on 3-algebras can be found in @xcite .
all our constructions in the following can be applied to models using real or hermitian 3-algebras .
while monopoles are described in terms of certain connections on principal fiber bundles , self - dual strings are described by certain connective structures on ( abelian ) gerbes . to explain this statement ,
let us briefly recall the bundle description of magnetic monopoles . for simplicity
, we restrict ourselves to the abelian case .    consider a manifold @xmath64 covered by patches @xmath65 .
let @xmath66 be a circle- or principal @xmath67-bundle over @xmath64 .
the _ first chern class _ of @xmath66 can be identified with the curvature @xmath68 of a connection @xmath69 . here ,
@xmath68 is a globally defined closed two - form with values in @xmath70 .
the poincar lemma allows us to derive gauge potentials @xmath71 on the patches @xmath72 with @xmath73 .
another application of the poincar lemma yields transition functions @xmath74 on the intersections of patches @xmath75 taking values in the group @xmath67 .
altogether we have @xmath76 an example of a principal @xmath67-bundle over @xmath77 is the hopf fibration @xmath78 .
consider now a dirac monopole in @xmath21 . as we have seen before , the higgs field becomes singular at the position of the monopole .
let us therefore restrict to the unit sphere @xmath77 with the monopole at its center .
we cover @xmath77 with the standard patches @xmath79 and @xmath80 centered at the north and south poles , respectively .
the overlap @xmath81 can be contracted to the equator @xmath82 .
the transition function is therefore of the form @xmath83 with @xmath84 and @xmath85 the coordinate on the equator , this bundle is therefore the @xmath5-fold tensor product of the principal @xmath67-bundle given by the hopf fibration . for @xmath86
, we obtain tensor products of the dual of the hopf fibration . ] . the first chern number of this principal @xmath67-bundle is calculated as @xmath87 where we used stokes theorem .
the integer @xmath5 is a topological invariant and called the _ monopole charge_.    let us now come to the description of self - dual strings via abelian gerbes . here , we will restrict ourselves to abelian local or hitchin - chatterjee gerbes , see e.g.  @xcite for more details .
just as the first chern class @xmath68 of a principal @xmath67-bundle @xmath66 characterizes the bundle up to topological equivalence , the dixmier - douady class @xmath88 characterizes the abelian gerbe @xmath89 . here , @xmath88 is a globally defined , closed three - form with values in @xmath70
. repeated application of the poincar lemma yields the following objects : @xmath90 to describe a self - dual string , we restrict ourselves to a sphere @xmath91 with the self - dual string at its center .
we cover @xmath91 by two patches @xmath79 and @xmath80 , and the overlap @xmath81 can be contracted to the equator , which is a two - sphere . instead of a transition function on the overlap , we have now a one - form potential of a connection and therefore a principal @xmath67-bundle . as we saw above , however , the principal @xmath67-bundles over @xmath77 are characterized by their monopole charge .
thus , abelian gerbes over @xmath91 are also characterized by an integer , which we call the _ self - dual string charge_. cohomologically , this is reflected in @xmath92 .
the self - dual string charge can be computed explicitly analogously to by integrating @xmath88 over @xmath91 .
as mentioned in the introduction , it is rather natural to expect a description of self - dual strings in terms of loop space . to perform the transition from abelian gerbes to objects on loop space
, we use the so - called _
transgression map_.    the free loop space of a manifold @xmath64 is the space of all maps @xmath93 .
we restrict ourselves to maps that are immersions and factor out reparametrization invariance .
the latter is done by working only with formulas that are invariant under reparametrizations .
the resulting space of loops @xmath94 is also called the space of singular oriented knots@xcite . acting on functions of @xmath94
are the derivations @xmath95 where @xmath96 are some local coordinates on @xmath64 .
these derivations span the tangent space @xmath97 .
we write dual elements and the exterior derivative on @xmath94 as @xmath98 respectively . for more details and the precise definition of the above objects ,
see @xcite .
we have the following natural double fibration : @xmath99{$m$ } } \put(64.0,0.0){\makebox(0,0)[c]{${\mathcal{l}}m$ } } \put(32.0,33.0){\makebox(0,0)[c]{${\mathcal{l}}m\times s^1 $ } } \put(7.0,18.0){\makebox(0,0)[c]{$\mathsf{ev}$ } } \put(55.0,18.0){\makebox(0,0)[c]{$\mathsf{pr}$ } } \put(25.0,25.0){\vector(-1,-1){18 } } \put(37.0,25.0){\vector(1,-1){18 } } \end{picture } \end{aligned}\ ] ] here , @xmath100 is the obvious projection from a point @xmath101 to @xmath102 , and @xmath103 is the evaluation map @xmath104 . given a @xmath105-form @xmath106 on @xmath64 , we can pull it back to @xmath107 .
subsequent integration along the fibers of @xmath100 yields a @xmath108-form on @xmath94 .
locally , we have the following expressions : @xmath109 the transgression map @xmath110 is clearly reparametrization invariant . moreover , it is a chain map and maps closed forms to closed forms and exact forms to exact forms .
it therefore descends to a map @xmath111 on de rham cohomology .
this implies that an abelian gerbe on @xmath64 characterized by a dixmier - douady class @xmath88 is mapped via transgression to a first chern class @xmath68 of a principal @xmath67-bundle over the loop space @xmath94 .
note , however , that @xmath112 is _ not _ surjective , and therefore there are in general more circle bundles over the loop space @xmath94 than there are gerbes on @xmath64 .
forms on loop space in the image of @xmath112 are usually called _ ultra - local_.    working with vector bundles instead of gerbes is a priori easier .
for example , extending gauge structures to the non - abelian case is straightforward .
it should be stressed , however , that in performing a transgression , we trade the difficulties of working with gerbes for the difficulties of working over infinite - dimensional spaces .
let us now transgress the self - dual string equation @xmath113 on @xmath44 to the loop space @xmath114 .
applying @xmath112 to both sides of the equation , we obtain in cartesian coordinates @xmath96 , @xmath58 , on @xmath44 the following expression : @xmath115 we would like to extend the above equation in various ways : first , @xmath116 should be a function on @xmath94 and not , as it stands , a function on @xmath64 or @xmath107 .
moreover , we would like to extend the curvatures @xmath68 beyond abelian and ultra - local expressions .
we will see that the appropriate generalization of reads as@xcite @xmath117}~ , \end{aligned}\ ] ] where @xmath118 and @xmath119 $ ] indicates antisymmetrization .
we will refer to as the loop space self - dual string equation .
note that this equation is reparametrization invariant . in the following
, we will demonstrate how to construct solutions to this equation from a generalized adhmn construction .
the atiyah - drinfeld - hitchin - manin - nahm ( adhmn ) construction of monopoles is a nahm transform , which is in turn a special fourier - mukai transform@xcite .
the nahm transform takes an instanton bundle over a four - torus @xmath120 , pulls it back along the projection @xmath121 , where @xmath122 is the four - torus dual to @xmath120 , twists it with the poincar line bundle over @xmath123 and projects it down to an instanton bundle over @xmath122 . roughly speaking
, we consider in the adhmn case a degenerate four - torus with radii @xmath124 yielding @xmath125 .
the `` dual four - torus '' has then radii @xmath126 , giving @xmath21 .
the instanton equation reduces to the nahm equation on @xmath125 and the bogomolny monopole equation @xmath12 on @xmath21 . in both cases ,
certain boundary conditions have to be imposed .
the spaces @xmath125 and @xmath21 are to be seen as the spatial parts of the d1- and d3-branes in the configuration .
let us now go through the construction in more detail , and present all the ingredients that we will have to lift to m - theory .
we start from a @xmath18-valued solution @xmath17 to the nahm equation on an open subset @xmath127 of @xmath125 . for a dirac monopole
, we have @xmath128 , while for an @xmath129-monopole , we choose @xmath130 . from this solution , we construct the _ twisted dirac operator _ @xmath131 which acts on @xmath132-sections of a trivial complex rank @xmath5 vector bundle tensored with the spinor bundle @xmath133 on @xmath120 . the coordinates
@xmath134 describing a point on @xmath21 arise from the twist of the vector bundle with the poincar line bundle .
one can readily show that the @xmath17 satisfying the nahm equation is equivalent to the laplace operator @xmath135 being positive and @xmath136=0 $ ] .
we now determine all normalized zero modes of @xmath137 .
that is , we find all @xmath4 solutions @xmath138 , @xmath139 such that @xmath140 a solution to the monopole equation on @xmath21 is then given by @xmath141 as one can verify by direct computation after introducing a green s function for @xmath142 .
let us briefly consider two examples for @xmath143 and @xmath144 . for @xmath143 ,
the nahm equation reduces to @xmath145 , and we can put @xmath146 . a zero mode , yielding well - defined fields on the two domains@xmath147 and corresponding to the dirac string going through the north and the south pole , respectively . ] is given by @xmath148 and using formulas , we arrive at @xmath149 in the case @xmath144 , the nahm equation is nontrivial , and we choose the solution we obtained before from factorization : @xmath150 following the adhmn construction , one finds the solution @xmath151 and a more complicated expression for @xmath152 . recall that the higgs field is expected to be proportional to the monopole charge @xmath5 , which is indeed the case in the above examples .    to lift the construction up to m - theory ,
let us follow the t - duality along @xmath33 and the lift to m - theory along @xmath34 and construct dirac operators at each step : @xmath153 iia & 0 & 1 & 2 & 3 & 4 & 5 & 6 \\ d2 & $ \times$ & & & & & $ \times$ & $ \times$ & $ { \setbox0\hbox{$\nabla$ }     \rlap{\hbox to \wd0{\hss/\hss}}\box0}_{s , x}^{\rm iia}=-\gamma_5\dfrac{{\mathrm{d}}}{{\mathrm{d}}s}+\gamma^4\gamma^i ( x^i-{\mathrm{i}}x^i)$ \\ d4 & $ \times$ & $ \times$ & $ \times$ & $ \times$ & & $ \times$ & \\[0.5 cm ] m & 0 & 1 & 2 & 3 & 4 & 5 & 6 \\ m2 & $ \times$ & & & & & $ \times$ & $ \times$ & $ { \setbox0\hbox{$\nabla$ }     \rlap{\hbox to \wd0{\hss/\hss}}\box0}^{\rm m}_{s ,
x}=-\gamma_5\dfrac{{\mathrm{d}}}{{\mathrm{d}}s}+\tfrac{1}{2}\gamma^{\mu\nu}(d(x^\mu , x^\nu)-{\mathrm{i}}x^{\mu\nu})$ \\ m5 & $ \times$ & $ \times$ & $ \times$ & $ \times$ & $ \times$ & $ \times$ & \end{tabular}\ ] ] the dirac operator @xmath154 is clear and has been introduced before@xcite .
the @xmath38-invariant form of @xmath155 is equally evident , if we assume that the zero modes will take values in a 3-lie algebra @xmath48 .
we can then contract @xmath156 $ ] with @xmath157 .
it is merely the twisting element @xmath158 that is less clear . here
, however , the transition to loop space suggests to use @xmath159}(\tau)~,\ ] ] where @xmath160 is an element of @xmath114 , i.e.  an equivalence class of maps @xmath161 .
altogether we obtain the twisted dirac operator @xmath162 this dirac operator acts on @xmath48-valued functions on @xmath127 tensored by the trivial bundle @xmath163 , potentially originating from the chiral spinors over @xmath164 .
let us now try to build a generalized adhmn construction from this guess .
first , one readily shows that for a solution @xmath47 to the basu - harvey equation , the dirac operator is positive and commutes with the generators @xmath157 of @xmath165 .
the inverse statement is not true , as the map @xmath166 has a non - trivial kernel .
solutions for the loop space self - dual string equation are now obtained as follows : we start from the normalized zero modes @xmath138 , @xmath167 , satisfying @xmath168 where @xmath169 denotes the inner product on @xmath170 .
note that we have assumed here that @xmath48 is equipped with a compatible inner product @xmath169 .
because of the block - diagonal structure of the dirac operator in a reasonable basis of the clifford algebra , we can sort the zero modes according to their chirality . we arrive at @xmath4 zero modes @xmath138 , @xmath139 , with @xmath171 and @xmath4 zero modes @xmath138 , @xmath172 , with @xmath173 .
the solutions to are given by formulas very similar to : @xmath174 one readily verifies that these fields satisfy the loop space self - dual string equation by explicit calculation .
note that they are anti - hermitian and , because of our sorting of zero modes , the fields take values in the gauge algebra @xmath175 .    to streamline the discussion , we ignored the role of boundary conditions in the adhmn construction .
there , one has to demand that the @xmath17 have simple poles @xmath176 at finite boundaries of @xmath127 and that they form irreducible representations of @xmath28 at these points .
there are corresponding boundary conditions in the m - brane case : the @xmath47 should behave like @xmath177 at finite boundaries of @xmath127 and form irreducible representations of @xmath165 .    to explore our construction in more detail ,
let us first construct the obvious solutions for @xmath143 and @xmath144 . in the case
@xmath143 , the basu - harvey equation becomes again @xmath178 and we therefore put @xmath179 . after introducing the shorthand @xmath180 , the zero modes are given by @xmath181 \psi^-_{s , x(\tau)}&\sim{\mathrm{e}}^{-r^2_+ s}\left(\begin{array}{c } 0\\ 0 \\ { \mathrm{i}}\left(r_+^2+x^{12 } + x^{34}\right ) \\
x^{13}-x^{24}+{\mathrm{i}}(x^{23}+x^{14 } ) \end{array } \right)~. \end{aligned}\ ] ] formulas yield the following higgs field and gauge potential : @xmath182 where @xmath183 and @xmath184 is obtained from @xmath185 by substituting @xmath186 .    for @xmath144 , we start from the solution @xmath47 to the basu - harvey equation with @xmath187 based on factorization : @xmath188 the computation of the zero modes and the corresponding fields is a little more complicated in this case@xcite , but eventually one finds @xmath189 as expected , this is twice the higgs field of .
as mentioned above , the only finite - dimensional example of a 3-lie algebra with all physically desirable properties is @xmath61 .
this 3-lie algebra is conjectured to yield the effective description of two m2-branes .
it is therefore necessary to extend our construction , in particular to the case of hermitian 3-algebras .
the extension to real 3-algebras is almost trivial : we merely assume that the solution @xmath47 to the basu - harvey equation lives in a real 3-algebra , and the map @xmath166 is again the map from two elements of the real 3-algebra to its associated lie algebra of inner derivations .
above we have demonstrated that the description of the bps subsector of the m5-brane theory that is given by self - dual strings in terms of loop space works rather well .
let us now try to apply loop space to a description of the full model .
various models for an effective description of m5-branes have been proposed over the last years .
particularly interesting for our purposes is a proposal@xcite that assumes that all fields in the tensor multiplet assume values in a 3-lie algebra @xmath48 . adding a gauge potential @xmath217 of a connection @xmath69 as well as a 3-algebra valued vector @xmath218 , the field equations @xmath219+[x^j , c^\nu,[x^j , c_\nu , x^i]]&=0~,\\   \gamma^\mu\nabla_\mu\psi-[x^i , c^\nu,\gamma_\nu\gamma^i\psi]&=0~,\\   \nabla_{[\mu}h_{\nu\kappa\lambda]}+\tfrac{1}{4}{{\varepsilon}}_{\mu\nu\kappa\lambda\sigma\tau}[x^i,\nabla^\tau x^i , c^\sigma]+\tfrac{{\mathrm{i}}}{8}{{\varepsilon}}_{\mu\nu\kappa\lambda\sigma\tau}[\bar{\psi},\gamma^\tau\psi , c^\sigma]&=0~,\\ f_{\mu\nu}-d(c^\lambda , h_{\mu\nu\lambda})&=0~,\\ \nabla_\mu c^\nu = d(c^\mu , c^\nu)&=0~,\\ d(c^\rho,\nabla_\rho x^i)=d(c^\rho,\nabla_\rho\psi)=d(c^\rho,\nabla_\rho h_{\mu\nu\lambda})&=0~. \end{aligned}\ ] ] are invariant under the supersymmetry transformations
@xmath220{{\varepsilon}}~,\\    \delta h_{\mu\nu\lambda}&=3{\mathrm{i}}{{\bar{\varepsilon}}}\gamma_{[\mu\nu}\nabla_{\lambda]}\psi+{\mathrm{i}}{{\bar{\varepsilon}}}\gamma^i\gamma_{\mu\nu\lambda\kappa}[x^i,\psi , c^\kappa]~,\\    \delta a_\mu&={\mathrm{i}}{{\bar{\varepsilon}}}\gamma_{\mu\lambda } d(c^\lambda,\psi)~,\\    \delta c^\mu&=0~.   \end{aligned}\ ] ]    the field equation @xmath221 implies a factorization of the vector @xmath218 into @xmath222 , where @xmath223 is an element of the 3-lie algebra @xmath48 and @xmath224 is a vector in @xmath225 .
the appearance of this additional vector @xmath224 on spacetime suggests to identify it with the m - theory direction . going to loop space
, we correspondingly identify @xmath224 with the tangent @xmath226 to the loop @xmath160 . in this picture
, we obtain a very natural interpretation for the equation @xmath227 in : @xmath228 which is a non - abelian form of the transgression map . here
, we added a @xmath229 to indicate that the field @xmath230 lives on loop space .
introducing moreover the fields @xmath231 the field equations @xmath232 + [ { { \mathring{x}}}^j,[{{\mathring{x}}}^j,{{\mathring{x}}}^i]]&=0~,\\ \tfrac{1}{r } \gamma^{\mu\nu}{\dot{x}}_\nu\nabla_\mu{{\mathring{\psi}}}-\gamma^i [ { { \mathring{x}}}^i,{{\mathring{\psi}}}]&=0~,\\ \nabla_\mu { { \mathring{f}}}^{\mu\nu}+[{{\mathring{x}}}^i,\nabla^\nu { { \mathring{x}}}^i]+{\mathrm{i}}\left ( [ \bar{{{\mathring{\psi}}}},\gamma^\nu{{\mathring{\psi } } } ] - \tfrac{1}{r^2}{\dot{x}}^\sigma { \dot{x}}^\nu[\bar { { \mathring{\psi } } } , \gamma_\sigma { { \mathring{\psi}}}]\right)&=0 \end{aligned}\ ] ] are invariant under the supersymmetry transformations @xmath233{{\varepsilon}}~. \end{aligned}\ ] ] note that all the above equations are local on the loop @xmath160 .
there are , however , a few open questions concerning this rewriting : the additional conditions @xmath234 should merely state that the fields are invariant under reparametrizations .
the covariant derivatives @xmath235 , however , acts only on the zero - modes of the fields : @xmath236 and this should be extended to a full loop space derivative . at the moment
, it is not clear how to do this while preserving supersymmetry .    to compare this model with our generalization of the adhmn construction
, we can derive the bps equations from the supersymmetry transformations on loop space .
this yields indeed the ultra - local part of the loop space self - dual string equation .
the adhmn - like construction we reviewed above arose very naturally from the assumption that self - dual strings should be described in terms of loop space : the necessary lift of the dirac operator of the original construction as well as the non - abelian generalization of the equation were readily derived .
also , the basu - harvey equation features in the construction exactly in the expected way and takes over the role the nahm equation played in the original adhmn construction .
explicit examples of solutions to the loop space self - dual string equation can be constructed . moreover , the reduction to the adhmn construction of monopoles is rather obvious .
our construction extends to the more general real and hermitian 3-algebras , and it is therefore compatible with the abjm model .
also , we obtained naturally a gauge group structure @xmath237 , which fits well with a recent proposals for m5-brane equations@xcite .    besides the nave argument for the appearance of loop space given in the introduction , there is further evidence that this approach is appropriate .
first of all , the notion of a monopole bag together with the associated nahm construction have been lifted to m - theory@xcite . recall that a monopole bag is a double - scaling limit of infinitely many monopoles forming a surface diffeomorphic to a sphere , where the ratio of the monopole number and the yang - mills coupling constant is kept fixed . in this double - scaling limit , all equations become abelian , and the description of self - dual string bags is therefore known .
it was checked that the infinite - charge nahm construction has a loop space version , which produces solutions to an abelian form of the loop space self - dual string equation@xcite .
further motivation for the use of loop space also comes from a different perspective .
one might wonder about the interpretation of the fuzzy funnel in the case of m2-branes ending on m5-branes . recall that in the @xmath19-invariant situation of d1-branes ending on d3-branes , the points in the worldvolume of the d1-branes polarize into fuzzy two - spheres .
analogously one would expect that points on m2-branes polarize into fuzzy three - spheres . a satisfyingly precise notion of fuzzy 3-spheres
is so far unknown . roughly speaking
, the prequantum line bundle over @xmath77 should be replaced by a prequantum gerbe over @xmath91 .
the hilbert space of the quantization , which in the case of @xmath77 is given by global holomorphic sections of the prequantum line bundle , should here be obtained from global holomorphic sections of the prequantum gerbe .
while the latter notion seems rather opaque , one can transgress the problem to loop space : the loop space @xmath238 of @xmath91 carries the structure of a khler manifold@xcite , and the prequantum gerbe over @xmath91 is transgressed to a prequantum line bundle over @xmath238 .
one can then quantized ( a subset of the ) functions on the space @xmath238 by identifying them with linear operators on the space of global holomorphic sections of the transgressed abelian gerbe over @xmath91 .
such an approach to quantization has been suggested previously@xcite , where it was used to quantize the loop space of @xmath21 .
it could be shown that the quantization of the loop space reduces as expected to the moyal quantization of @xmath239 upon imposing the usual restrictions reducing m - theory to string theory .
the fact that an adhmn - like construction for self - dual strings exists at all is by now no longer surprising .
underlying both the original adhm and adhmn constructions are corresponding twistor geometric interpretations of the instanton and monopole equations . here
, a penrose - ward transform establishes a bijection between certain holomorphic bundles over a twistor space and solutions to the relevant equations .
quite recently , a twistor space was found@xcite , that yields a bijection between certain holomorphic gerbes on this twistor space and ( abelian ) solutions to the self - dual string equation . in principle
it is possible to transgress this picture to loop space and to obtain the twistor picture underlying our loop space self - dual string equation .
moreover , the twistor construction using abelian gerbes@xcite has recently been extended to the non - abelian case@xcite .
we therefore know that a full adhmn - like construction of self - dual strings based on ordinary space and non - abelian gerbes has to exist .
the existence of our construction leads to another question .
recall that the adhmn construction is a special case of a nahm transform mapping instanton solutions on a four - torus to instanton solutions on the dual four - torus .
it is therefore a map between solutions to the same theory on different spaces and in the special case of the adhmn construction , one has a map between solutions to dimensional reductions of the instanton equation . therefore one would also expect the m - theory lift to be a map between solutions to closely related theories .
the basu - harvey equation and the self - dual string equation , however , appear to be very different .
a first step towards resolving this issue is the observation that all 3-lie algebras ( as well as the generalized real and hermitian 3-algebras ) are special cases of differential crossed modules or strict lie 2-algebras@xcite .
these strict lie 2-algebras , in turn , are structure groups of categorified principal bundles , which contain in particular non - abelian gerbes as special cases . assuming that the gauge structure of the m5-brane model yet to be found will be defined by a non - abelian gerbe , we can conclude that at least the gauge structure of both m2- and m5-brane models do agree .
moreover , in the m2-brane model the gauge two - form curvature carries no degrees of freedom , as it is fixed via the equations of motion by the matter fields .
something analogous happens when working with non - abelian gerbes : here , a gauge two - form curvature is fixed by the two - form potential via the so - called fake curvature condition and just as in chern - simons matter theories , the gauge field does not carry any additional degrees of freedom .
altogether , it seems that m2- and m5-brane models might not be as different as it appeared initially .
this , together with the fact that more and more m5-brane models are being proposed@xcite , gives reason for careful optimism about the existence of an effective description of m5-branes .
i would like to thank sam palmer and costis papageorgakis for very pleasant collaborations on the papers@xcite that i reviewed here .
moreover , i am grateful to sergey cherkis for the invitation to berkeley as well as for many inspiring and entertaining discussions .
i would also like to thank martin wolf for comments on a draft of this review .
this work was supported by a career acceleration fellowship from the uk engineering and physical sciences research council .
a.  basu and j.  a. harvey , _ nucl .
b _ * 713 * , 136 ( 2005 ) .
j.  bagger and n.  d. lambert , _ phys .
d _ * 77 * , 065008 ( 2008 ) .
a.  gustavsson , _ nucl .
b _ * 811 * , 66 ( 2009 ) .
v.  t. filippov , _ sib .
* 26 * , 126 ( 1985 ) .
o.  aharony , o.  bergman , d.  l. jafferis and j.  m. maldacena , _ jhep _ * 0810 * , 091 ( 2008 ) .
j.  bagger and n.  lambert , _ phys .
d _ * 79 * , 025002 ( 2009 ) .
j.  bagger , n.  lambert , s.  mukhi and c.  papageorgakis , preprint , arxiv:1203.3546 , 2012 .
n.  drukker , m.  marino and p.  putrov , _ commun .
phys . _ * 306 * , 511 ( 2011 ) .
e.  witten , preprint , arxiv:0712.0157 , 2007 .
chu and s .- l .
ko , _ jhep _ * 1205 * , 028 ( 2012 ) . c.  saemann , _ commun .
phys . _ * 305 * , 513 ( 2011 ) .
s.  palmer and c.  saemann , _ jhep _ * 1110 * , 008 ( 2011 ) .
u.  schreiber , preprint , arxiv : hep - th/0509163 , 2005 .
a.  gustavsson , _ jhep _ * 0601 * , 165 ( 2006 ) .
a.  gustavsson , _ jhep _ * 0612 * , 066 ( 2006 ) .
a.  gustavsson , _ jhep _ * 0804 * , 083 ( 2008 ) .
diaconescu , _ nucl .
phys . _ * b503 * , 220 ( 1997 ) .
d.  tsimpis , _ phys .
b _ * 433 * , 287 ( 1998 ) . w.  nahm , talk presented at int . summer inst . on theoretical physics , freiburg ,
west germany , aug 31 - sep 11 , 1981 .
n.  j. hitchin , _ commun .
phys . _ * 89 * , 145 . c.  papageorgakis and c.  saemann , _ jhep _ * 1105 * , 099 ( 2011 ) .
n.  lambert and c.  papageorgakis , _ jhep _ * 1008 * , 083 ( 2010 ) .
p.  s. howe , n.  d. lambert and p.  c. west , _ nucl .
b _ * 515 * , 203 ( 1998 ) .
r.  c. myers , _ jhep _ * 12 * , 022 ( 1999 ) . s.  cherkis and c.  saemann , _ phys .
d _ * 78 * , 066019 ( 2008 ) .
j.  a. de  azcarraga and j.  m. izquierdo , _ j. phys .
_ * a43 * , 293001 ( 2010 ) .
m.  k. murray ( 2007 ) , in : _ the many facets of geometry : a tribute to nigel hitchin , _ eds .
o.  garcia - prada _
( oxford university press , 2010 ) .
h.  schenk , _ commun .
phys . _ * 116 * , 177 . v.  l. campos , g.  ferretti and p.  salomonson , _ jhep _ * 0012 * , 011 ( 2000 ) .
s.  mukhi and c.  papageorgakis , _ jhep _ * 0805 * , 085 ( 2008 ) .
j.  gomis , d.  rodriguez - gomez , m.  van  raamsdonk and h.  verlinde , _ jhep _ * 0809 * , 113 ( 2008 ) . s.  terashima , _ jhep _ * 0808 * , 080 ( 2008 ) .
k.  hanaki and h.  lin , _ jhep _ * 0809 * , 067 ( 2008 ) .
chu , preprint , arxiv:1108.5131 , 2011 .
d.  harland , s.  palmer and c.  saemann , preprint , arxiv:1204.6685 , 2012 . c.  saemann and r.  j. szabo , _ pos _ * cncfg2010 * , 005 ( 2010 ) . c.  saemann and r.  j. szabo , proc .
of the 4-th annual meeting of the european non - commutative geometry network , bucharest , 25.4.-30.4 .
2011 . c.  saemann and r.  j. szabo , preprint , arxiv:1203.5921 , 2012 . c.  saemann and m.  wolf , preprint , arxiv:1111.2539 , 2011 .
l.  mason , r.  reid - edwards and a.  taghavi - chabert , preprint , arxiv:1111.2585 , 2011 . c.  saemann and m.  wolf ( 2012 ) , preprint , arxiv:1205.3108 , 2012 .
s.  palmer and c.  saemann ( 2012 ) , preprint , arxiv:1203.5757 , 2012 .
h.  samtleben , e.  sezgin and r.  wimmer , _ jhep _ * 1112 * , 062 ( 2011 ) .


high - redshift radio galaxies ( hzrgs ) are rare objects in the cosmos , residing at the very brightest end of the radio luminosity function .
wide - area surveys have identified powerful radio galaxies out to very early cosmic epochs . however , since flux - limited surveys tend to probe increasingly luminous objects with increasing redshift , our knowledge of lower - luminosity hzrgs  at high redshift is sparse ( tnj0924 - 2201 has a 1.4ghz flux density @xmath4mjy , despite being at @xmath5 ; @xcite ) .
we have sought to remedy this situation with deep , multifrequency radio maps of the botes  field ( @xcite ; s.  croft et  al .
( 2008 , in preparation ) ;   [ sec : radio ] ) .
this field has substantial multiwavelength supporting data .
many hzrgs  show diffuse rest - frame optical morphologies and other characteristics of `` protogalaxies '' ( e.g. * ? ? ? * ) ; they appear to form when lyman - break - galaxy - sized clumps merge , and eventually evolve into large elliptical galaxies @xcite .
identifying lower - luminosity radio galaxies at early cosmic epochs can help our understanding of the nature of active galactic nucleus ( agn ) hosts as a function of radio luminosity , and can help constrain cosmic evolution of the radio galaxy population .    by applying a cut in radio spectral index , @xmath6 ( @xmath7 )
, we can preferentially select higher - redshift objects , since a combination of intrinsic evolutionary effects and an observational `` @xmath8-correction '' tend to cause @xmath6 to become steeper ( i.e. , more negative ) with increasing redshift ( for details see , e.g. * ? ? ?
indeed , 35%  of sources with @xmath9 and @xmath10mjy observed by @xcite were found to have @xmath2 .
this paper presents @xmath0-band images of radio sources with steeper than normal radio spectra and no detections in deep optical data to @xmath1mag ( vega ) from the noao deep wide - field survey ( ndwfs ) botes  field , in order to study the morphologies and properties of candidate hzrgs  that are fainter than `` typical '' hzrgs .
@xcite performed a complementary study of optically - invisible radio sources in the botes  field .
they used the very large array ( vla ) at 1.4ghz to map a 0.5  square degree  area to a limiting sensitivity ( at field center ) of @xmath11@xmath12jybeam@xmath13 .
thirty six of their 377 radio sources ( 10% ) were not visible in the ndwfs data , although 90%  of these 36 had flux densities less than 1mjy ; in contrast (   [ sec : ndwfs ] ) we consider sources brighter than 1mjy , and with relatively steep spectral indices , from our radio maps (   [ sec : radio ] ) covering an order of magnitude larger area .
like us , however , @xcite conclude that most of their optically - invisible objects are agns at relatively high redshifts .
the region mapped by @xcite has very little spatial overlap with our 325mhz data , and none of their optically - invisible radio sources is present in our radio catalog .    throughout this paper , we use vega magnitudes , j2000 coordinates , and assume an @xmath14  cosmology @xcite .
observations of a 4.9  square degree  region of the botes  field were made with the vla a - array at 325mhz during four runs from 2003 june  august .
the clean beam had a fwhm of 5  and the limiting sensitivity was @xmath15@xmath12jy .
the data analysis and reduction will be discussed in detail in an upcoming paper ( s.  croft et  al .
( 2008 , in preparation ) ) .
a catalog of radio sources ( as opposed to components , i.e. , a double - lobed radio galaxy counts as one source ) was generated using the method described by @xcite .
we matched the 325mhz catalog ( s.  croft et  al .
( 2008 , in preparation ) ) to the 1.4ghz westerbork synthesis radio telescope ( wsrt ) dataset of @xcite , which has @xmath16@xmath12jy , an ellipsoidal clean beam of 13@xmath17 , and an area of 6.68  square degrees . the typical positional accuracy at 1.4ghz for sources in the high signal - to - noise ratio ( s / n ) regime ( which is the case for our sources since their fluxes are @xmath18mjy ) is @xmath19 ( @xmath20 ) .
six hundred and fifty three sources ( in the 4.9  square degree  where the two radio datasets overlap ) were found to be in common and hence had measured radio spectral indices , @xmath6 .
the properties of this matched catalog will be discussed by s.  croft et  al .
( 2008 , in preparation ) .
to select hzrg  candidates , we combined deep radio data (   [ sec : radio ] ) with optical data from the ndwfs @xcite , a deep ( @xmath21 , @xmath22 , @xmath23 , @xmath24mag ; @xmath25 , 5  diameter
@xcite ) optical / near - ir survey in botes .
the magnitude limits for point sources are deeper , but hzrgs  are likely to be resolved in the @xmath26  seeing of ndwfs , so we used 4  diameter optical apertures to determine whether or not a source is identified .
we used the @xcite @xmath27-band selected catalog , which has improved photometry for faint objects compared to the public ndwfs dr3 source extractor ( sextractor ) catalog . in computing photometric redshifts , we measured photometry from the ndwfs optical data in 4diameter apertures at each of the radio positions (   [ sec : photoz ] ) .
the ndwfs botes  field is also covered by deep infrared , x - ray , and other observations (   [ sec : archival ] ) , although these data were not available to us at the time of our near infrared camera ( nirc ) observations and were not used as part of the selection .    as noted by @xcite , @xcite , and others , radio sources with spectral indices that are steeper than normal ( average @xmath28 )
have a higher probability of being unidentified in optical surveys , a result that holds true for the combination of our radio data with the ndwfs @xmath29-band ( fig .
[ fig : spixid ] ; see s.  croft et  al .
( 2008 , in preparation )  for more details ) .
we also see a similar drop in identification fraction for sources with inverted ( @xmath30 ) spectra . at @xmath31mjy ,
the radio source counts are dominated by agns @xcite .
pure starbursts with flux densities @xmath32mjy must either be at relatively low redshift , or have an extremely high star - formation rate , and either ought to be easily seen in our deep optical data .
one way to preferentially target hzrgs , therefore , is to look for radio sources brighter than 1mjy that are optically faint or invisible , although of course even in these objects there may be some contribution to the radio luminosity from a starburst component .
deep @xmath33-band imaging can provide information on the morphologies of the hzrgs , and the well - known @xmath34  relation ( e.g. , * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ) can be used to estimate their redshifts .
fraction of radio sources with @xmath31mjy that are identified in the ndwfs @xmath29-band data , as a function of radio spectral index , @xmath6 .
radio sources with inverted ( @xmath35 ) and steep spectral indices ( @xmath36 ) have lower identification fractions than sources with `` normal '' spectral indices , suggesting that they are more distant and / or less luminous .
this result will be discussed in more detail by s.  croft et  al .
( 2008 , in preparation ) . ]
four hundred and thirty of the 434 radio sources with @xmath31mjy in the matched 325mhz / 1.4ghz sample are within the ndwfs imaging coverage .
seventy two of these 430 have no identifications in the ndwfs optical / ir data ( which we define as no detections within 4  of the 1.4ghz radio position in @xmath37 to 3@xmath38 in a 4  diameter aperture ) . some of these 72 objects have confusing or extended radio contours , are near bright stars , or appear to be associated with extended objects ( e.g.  nearby galaxies larger than 8  in diameter where the radio position is offset from the optical centroid ) .
we inspected finding charts of the ndwfs + 325mhz radio data , and selected a subsample of 14 sources that were unambiguously unidentified .
these 14 sources have radio morphologies that appear unresolved at 325mhz , with no nearby extended radio emission , and are not near bright objects .
only one of the 14 has a steep spectrum , with @xmath39 ; four have @xmath40 , seven have @xmath41 , and two have @xmath42 .
the five radio sources with the steepest spectra ( fig .
[ fig : postage ] ) were followed up with infrared imaging (   [ sec : irim ] ) . here
we refer to these sources as a
e ; see table  [ tab : obs ] for positions and names .
llllllllll source a & j142631 + 341557 & @xmath43 & @xmath44 & @xmath45 & @xmath46 & @xmath43 & @xmath47 & 3840 & 0 + source b & j142647 + 345851 & @xmath48 & @xmath49 & @xmath50 & @xmath51 & @xmath52 & @xmath53 & 1920 & 0 + source c & j142741 + 342324 & @xmath54 & @xmath55 & @xmath56 & @xmath57 & @xmath58 & @xmath59 & 3840 & 3600 + source d & j143036 + 334026 & @xmath60 & @xmath61 & & 1920 & 0 + source e & j143258 + 342055 & @xmath62 & @xmath63 & @xmath64 & @xmath65 & @xmath62 & @xmath66 & 1920 & 4680 +           despite the efficiency of the method used for combining multiple radio source components in order to eliminate radio lobes from the catalog (   [ sec : radio ] ) , inevitably a few lobes may slip through .
one such object turns out to be source d ; it was undetected in our nirc observations , and later turned out to be undetected in any of the irac bands .
when we overplotted our vla data , as well as data from the nrao vla sky survey ( nvss ) , on a wide - field digitized sky survey ( dss ) image , we found that this source is in fact a lobe of a large ( 45  diameter ) fr - ii that has a faint @xmath29-band identification in the dss .
additionally , after the observations were taken , we replotted the radio data for source b  on the ndwfs images , including a lower contour than in our original plots , and noticed that the radio emission appeared extended ( fig .
[ fig : postage ] ) , and so this object ought not to have been included in our original sample of 14 objects with unresolved radio emission and no ndwfs matches .
nevertheless , the radio emission appears to be associated with an ir - bright source which meets our criteria for optical faintness .
source d  ( the large fr - ii ) will not be discussed further here ; the remaining four fields resulted in the detection of candidate hzrgs , as discussed in
[ sec : discuss ] .
[ sec : nirc]imaging observations were made in @xmath0-band , using the nirc @xcite ,  a @xmath67 insb array with 015 pix@xmath13  on keck i during two half nights on ut 2004 april 29 and 30 .
a 16-position ( @xmath68 ) dither , with dither spacing 3  and 60s per exposure ( @xmath69 ) was used .
three fields were observed for four dithers ( 3840s ) and the remaining two fields observed for two dithers ( 1920s ) , as summarized in table  [ tab : obs ] . seeing was 05  06 and the sky was clear .
the data were reduced in the standard manner using dimsum in iraf .
astrometry was bootstrapped from the ndwfs data ; the small offsets between the @xmath0  and 4.5  positions ( table  [ tab : obs ] ) suggest that our nirc astrometry is accurate to @xmath26 .
photometry was performed in a 35 diameter aperture ; the @xmath0  magnitudes are presented in table  [ tab : targets ] , where we also present the measured ndwfs and iss photometry (   [ sec : photoz ] ) .
llllllllllllll source a & -1.48 & @xmath70 & @xmath71 & @xmath72 & @xmath73 & @xmath74 & @xmath75 & @xmath76 & @xmath77 & @xmath78 & @xmath79 & @xmath80 + source b & -0.89 & @xmath81 & @xmath82 & @xmath83 & @xmath84 & & & @xmath85 & @xmath86 & @xmath87 & @xmath88 & @xmath89 + source c & -0.98 & @xmath90 & @xmath91 & @xmath92 & @xmath93 & @xmath94 & & @xmath95 & @xmath96 & @xmath97 & @xmath98 & @xmath99 + source e & -0.87 & @xmath100 & @xmath101 & @xmath102 & @xmath103 & @xmath104 & @xmath105 & @xmath106 & @xmath107 & @xmath108 & @xmath109 & @xmath110 +    two of the four hzrg  candidates were observed spectroscopically .
the slitmasks were filled with secondary targets selected by their ir colors from the agn `` wedge '' of @xcite , along with a few hzrg candidates ; these will be discussed in future papers .
these observations used the low resolution imaging spectrometer ( lris ; * ? ? ? * ) on keck i , with the d560 dichroic and a slit width of 13 . on the blue side ,
a 400 line mm@xmath13 grism , blazed at 3400  was employed , giving 1.09   / pixel and spectral resolution 8.1 . on the red side , a 400 line mm@xmath13 grating ,
blazed at 8500  was used , giving 1.86   / pixel and spectral resolution 7.3 .
this setup gives spectral coverage of @xmath111 , with some variation from slitlet to slitlet .
source c  was observed on ut 2005 june 4 for 3600s ( @xmath112s ) under clear skies , in 14 seeing .
source e  was observed on ut 2005 june 6 for 4680s ( @xmath113s ) in 08 seeing and with clear skies .
the observations are summarized in table  [ tab : obs ] .
the data were reduced in the standard manner using bogus in iraf , and spectra extracted in a 15 wide aperture for many of the secondary targets .
the primary targets were undetected in both the red and blue side two - dimensional spectra , and for these no extractions were performed .
the botes  field is covered by the _
chandra _
x - ray observations of @xcite .
the resulting catalogs , published by @xcite and @xcite , reach a limiting full - band ( @xmath114kev ) flux of @xmath115erg s@xmath13 @xmath116  for on - axis sources with four counts . we checked for counterparts to our targets , and found that source e  was detected , @xmath117 ) @xmath118 ( five counts in the full band , corresponding to @xmath119erg s@xmath13 @xmath116 ) .
this source is very likely to be a powerful high redshift and / or optically obscured quasar simply on the basis of its large x - ray - to - optical flux ratio @xcite .
intriguingly , an object in the field of source b  is also detected in x - rays with 5 counts in the full band ( @xmath120erg s@xmath13 @xmath116 ) .
the x - ray position , @xmath121 ) @xmath122 is close to the peak of the 325mhz radio contours , but offset ( by 70 ) from the flux - weighted 1.4ghz position .
however , it appears that the x - ray and radio sources are two distinct objects ; if they were the same ( or if the radio source were associated with the object nearest the peak of the radio contours ) , the radio source would be extremely core dominated , which is not supported by the comparatively steep spectral index .
rather , it appears that the radio source is an extended , double - lobed source associated with the @xmath27-band dropout at the position given in table  [ tab : obs ] , and that the x - ray source is associated with the optical object , @xmath123 ) ] nearest ( 12 ) the x - ray position , and clearly visible in the ndwfs @xmath27-band ( fig .
[ fig : postage ] ) and nirc @xmath0-band ( fig .
[ fig : nirccon ] ) data .    both of the x - ray sources have too few counts to reliably determine a hardness ratio ( three counts in the soft band and two in the hard band in both cases ) .
the other hzrg  candidates are not detected in xbotes , although they lie within the coverage area . since the catalogs of @xcite and @xcite contain only sources with four or more counts , it is possible that they may be x - ray sources , but be insufficiently bright for inclusion in the full catalog .
none of our sources is within the coverage area of the more sensitive ( @xmath124erg s@xmath13 @xmath116 ) , single - pointing _ chandra _  x - ray observations of @xcite .
the zbotes  survey @xcite provides @xmath125-band data for part of the botes  field .
we checked for counterparts to our four hzrg  candidates , and found that three were undetected at the zbotes  flux limits ( table  [ tab : targets ] ) , while source b  was outside the zbotes  coverage area .
[ sec : flamex]flamex @xcite provides @xmath126- and @xmath0-band catalogs for part of the botes  field .
the @xmath0-band catalogs are deeper than the @xmath33-band catalogs used for our selection , but our measured nirc @xmath0-band fluxes ( for the three sources in regions covered by flamex ) are below the flamex @xmath0-band limit ( @xmath127mag ) , so these sources are too faint to appear in the @xmath0-band flamex catalog .
the @xmath126-band flamex limit ( @xmath128mag ) is insufficient to put anything but the weakest constraints on @xmath129 colors , and in any case , two of our sources are outside the flamex coverage area . in future
, refining our selection criteria by requiring non - detections in flamex will further increase our efficiency at finding hzrgs , since @xmath130 corresponds to @xmath131 for sources on the @xmath34  relation ( fig .
[ fig : kz ] ;   [ sec : discuss ] ) .
@xmath34  diagram of @xcite ( circles represent radio galaxies with spectroscopic redshifts from the 3crr , 6ce , 6c@xmath132 , and 7crs surveys ) .
our hzrg  candidates are plotted as points with error bars , at the redshifts obtained from photometric redshift fitting .
vertical error bars represent the measured uncertainties in the @xmath0  band magnitudes ( where we assume @xmath133 is negligible ) , and horizontal error bars represent the 68%  confidence interval in redshift from hyperz as tabulated in table  [ tab : pz ] . ]
[ sec : iss]we checked the irac @xcite catalogs of the irac shallow survey @xcite for infrared counterparts to our hzrg  candidates .
all were detected at greater than @xmath134 significance at 3.6 and 4.5 , and one also at 5.8 .
we report the catalog 5  aperture magnitudes in table  [ tab : targets ] , and use these measurements to assist with spectral energy distribution ( sed ) fitting (   [ sec : discuss ] ) .
table  [ tab : targets ] shows measured values , even in cases where the photometric uncertainties are large , since real measurements from the data reflect the relative weights given to the data points in the @xmath135  photometric redshift fitting .
all objects are pointlike at irac resolution ( @xmath136 ) .
[ sec : mips]we downloaded the post - bcd 24  mosaics from the _ spitzer _  archival observations of soifer  et  al .  for the fields surrounding the four hzrg  candidates , and performed quick - look photometry using the published zero points .
three of our objects were undetected ( to a flux limit of @xmath137mjy ) but source a  ( the ultra - steep spectrum source ) was detected with @xmath138mjy .
we have @xmath0  and irac detections and optical upper limits for our hzrg  candidates ( table  [ tab : targets ] ) , which we use to make somewhat crude redshift estimates . @xmath0  @xmath139 [ 3.6 ] , which straddles the balmer and / or 4000  breaks for the two @xmath140 sources from table  [ tab : pz ] , provides quite tight redshift constraints . the position of our sources on a diagram of [ 3.6 ] @xmath139 [ 4.5 ] versus @xmath0  @xmath139 [ 3.6 ] color ( fig .
[ fig : cc ] ) suggests that three are at @xmath141 .
llllllll source a & 4.97 & 4.92 - 4.98 & 3.94 - 5.69 & arp220 & 0.00 & -24.67 & 6.94 + source b & 3.76 & 3.68 - 3.81 & 1.77 - 4.08 & qso2 & 0.30 & -24.32 & 10.5 + source c & 1.21 & 0.00 - 2.76 & 0.00 - 6.99 & mrk231 & 0.00 & -19.05 & 0.298 + source e & 4.65 & 4.21 - 4.99 & 0.00 - 6.99 & arp220 & 0.00 & -24.07 & 30.2 +     [ 3.6 ] @xmath139 [ 4.5 ] versus @xmath0  @xmath139 [ 3.6 ] diagram for our four hzrg  candidates ( magenta crosses with photometric error bars ) , compared to the colors of field sources in botes  with at least a @xmath142 detection at ndwfs @xmath33-band ( where we assume that @xmath133 is negligible ) , 3.6  and 4.5  ( black points ) . also plotted are the colors of non - evolving galaxy templates from @xcite , redshifted from @xmath143 to @xmath144 in steps of @xmath145 ( with redshifts marked in steps of @xmath146 ) .
the red line is a 2gyr old elliptical template , the blue line is arp220 , and the green line is a qso2 . ]
[ sec : photoz]we also obtained photometric redshifts using the publicly available software hyperz ( version 1.2 , * ? ? ? * ) .
in order to obtain more stringent limits on the fluxes of our objects than the 5  aperture limits used in the selection criteria , we remeasured photometry from the ndwfs @xmath147 images , in a 4  aperture at the position of the radio centroid .
empirical photometric errors were derived using the method of @xcite , a monte carlo technique which places apertures on random regions of sky .
this provides more accurate estimates of uncertainties ( verified by the addition of simulated galaxies to the real data ) than methods which assume uncorrelated poisson background noise and no source confusion .
although some of the resulting measurements have large uncertainties ( table  [ tab : targets ] ) , they help to constrain the resulting photometric redshifts better than using the published survey limiting magnitudes as upper limits . in cases where they are large
, the quoted uncertainties provide a real measure of the variations in the background values due to neighboring objects .
since the uncertainties are used essentially as weights in the @xmath135  photometric fitting , large uncertainties downweight the effect of bands where the object flux is poorly constrained , as opposed to assigning these bands too high a weight by setting the fluxes to zero and obtaining the uncertainty from the survey flux limit .
however , even when we re - run the photometric redshift fitting using the survey limits for those sources with uncertainties larger than 1mag , we find that there is essentially no change in the best - fit redshift ( the largest change is for source e , whose best - fitting template changes from arp220 to a 2gyr old elliptical , and whose redshift changes by just 0.04 ) , although the confidence intervals become marginally less well constrained .
for the @xmath125- and @xmath126-bands , where we only have access to catalogs and not to the original images ( in order to remeasure photometry at the radio positions ) , we set the fluxes to zero and derive the associated uncertainties from the published survey limiting magnitudes .
we find that whether or not the @xmath125- and @xmath126-band data points are included has essentially no effect on the best - fitting redshifts and confidence intervals ( due to the large uncertainties in these bands ) .
the @xmath27-band point for source a  seems rather high ( fig .
[ fig : sed ] ) ; inspection of the ndwfs @xmath27-band postage stamp in fig .
[ fig : postage ] suggests that this is probably due to the unrelated saturated star to the southwest .
in fact , even though source a  fulfils our initial selection criterion ( no source in the @xcite catalog closer than 4 ) , the aperture magnitude measured at the radio position ( table  [ tab : targets ] ) is brighter than the @xmath25 survey flux limits quoted in   [ sec : ndwfs ] , strongly suggesting that light from a nearby object is contributing to the measured aperture magnitude ( the ndwfs @xmath27-band point - spread function ( psf ) has wings which can cause problems for aperture photometry at surprisingly large radii ) . if the photometric redshift is correct , there could also be some contribution to the flux in this band from ly@xmath6  at @xmath148 , although an @xmath149 source ought to be visible in the postage stamps ( fig .
[ fig : postage ] ) . excluding the @xmath27-band point from the sed fitting for this object
has no effect on the best - fitting redshift , and little effect on the confidence intervals .    instead of using the templates provided with hyperz ,
we used a selection of templates ( the qso2 , arp220 , mrk231 , ell2 , ell5 and ell13 templates ; the latter three are 2 , 5 , and 13gyr old ellipticals ) from @xcite , which do a better job of reproducing ir fluxes .
the effects of dust extinction were simulated using the prescriptions of @xcite , with extinction @xmath150 allowed to vary between @xmath151 and @xmath152 mag ( although some of the templates already incorporate the effects of some intrinsic dust extinction ) .
@xmath153-band absolute magnitude , @xmath154 was constrained to be @xmath155 . because of the faintness of these objects in the optical , and the corresponding large uncertainties for the optical data points compared to the ir , the range of plausible redshifts is rather large ( table  [ tab : pz ] ) . however , we can still estimate the best - fitting redshifts , @xmath156 .
the template seds for the best - fitting models are shown in fig .
[ fig : sed ] .
three of the four hzrg  candidates have @xmath157 , and the fourth is rather poorly constrained ( due to low s / n ) to @xmath3 ( table  [ tab : pz ] ) .
we report precise values for @xmath156 in order that the reader may know what values were used for the calculation of the rest - frame radio luminosities and other such properties .
however , as can be seen from the confidence limits in redshift reported in table  [ tab : pz ] , we can not constrain redshifts for these objects very accurately using sed fitting , given the large number of bands with non - detections or large photometric errors . source
b  was not observed spectroscopically , so we can not say whether or not the emission lines seen in the template ( fig .  [ fig : sed ] ) are really present in its spectrum . in the event of galaxy - wide dust extinction
these spectral lines would be less prominent , but this ought not to affect our determination of @xmath156 too much .
we can also use the 4.5  flux densities alone as an alternative to the @xmath34  relation .
@xcite studied a sample of 69 hzrgs  with spectroscopic redshift @xmath158 and a wide range of radio luminosities .
they showed that the rest - frame @xmath159-band light for these objects is well described by models of elliptical galaxies with formation redshift @xmath160 and masses between @xmath161 and @xmath162@xmath163 . in fig .
[ fig:4p5z ] , we plot the measured values of the 4.5  flux density from @xcite against redshift , along with tracks representing @xcite models with @xmath160 and solar metallicity , normalized to @xmath161 and @xmath162@xmath163 . plotting our hzrg  candidates in this figure at their best - fit photometric redshifts , these redshifts seem reasonable , although the lower bounds on the redshift ( assuming our objects have masses @xmath164@xmath163 ) are still quite weak ( @xmath131 ) .
source c , with @xmath165 , falls below the @xmath161@xmath163  line , suggesting that it is either unusually low mass , or that the sed fitting underestimates the true redshift ( certainly possible given the wide confidence interval and low s / n for this source ) .
source c  is the only outlier on the @xmath34  plot ( fig .
[ fig : kz ] ) , again suggesting it is either very underluminous , or is in fact at higher redshift than suggested by the sed fits
.     4.5  flux density versus redshift for hzrgs  with spectroscopic redshifts from @xcite ( circles ) , and our hzrg  candidates ( crosses , plotted at the best - fit photometric redshift with 68%  confidence intervals shown ) .
the dashed and dotted lines are evolutionary tracks for elliptical galaxies with formation redshift @xmath160 and masses @xmath161 and @xmath162@xmath163 , respectively . ]    the nirc images ( fig .
[ fig : nirccon ] ) provide much higher resolution than irac , and we are able to see that two of the detected sources have somewhat extended , `` fuzzy '' morphologies ( fig .
[ fig : nirczoom ] ) .
source e  is somewhat more compact , but appears to have a faint trail of material extending to the northeast .
source b  seems to be quite compact and relatively bright .
the extended sources have @xmath0-band morphologies suggestive of the optical morphologies seen in hzrgs  such as b20902 + 34 @xcite , which hints that these objects may be galaxies still in the process of formation ( again arguing for a higher redshift for source c  than that obtained from sed fitting ) .
the compactness of the observed radio morphologies ( unresolved in our maps , except for source b ) suggests that we are probably seeing these radio galaxies relatively soon after the agn turn on . the deduced @xmath8-corrected rest - frame @xmath153-band magnitudes ( table  [ tab : pz ] ) imply optical luminosities a factor of a few times fainter than the most powerful @xmath2 radio galaxies as studied by @xcite and others , and the extended emission is a factor of a few smaller ( roughly @xmath166kpc as compared to @xmath167kpc for the more powerful sources ) .
the extended radio emission of source b  ( @xmath168kpc if its @xmath156 is correct ) is typical of a classical double - lobed radio galaxy , which lends weight to the ( independent ) selection of a qso2 template in the sed fitting .
radio galaxies are among the most massive objects at all redshifts @xcite , but there is some evidence for a dependence of host optical luminosity on radio power ( e.g. , * ? ? ?
* ; * ? ? ?
it is plausible that our objects are less powerful in the radio and hence might be expected to be fainter than the @xmath34  relation ( fig .
[ fig : kz ] ) ; they might , in fact , be still forming the bulk of their stars ( as suggested by their morphologies ) but the agn has already switched on .
source b , which is more compact in the near - ir , and has more extended radio emission ( suggesting that the agn activity is less recent than in the other three sources ) is slightly brighter than the @xmath34  relation , again as might be expected in this scenario .    from the measured radio fluxes and spectral indices , and the best - fit photometric redshifts , we calculate rest - frame 151mhz luminosities ( for the @xmath157 sources ) of @xmath169w hz@xmath13 sr@xmath13 , which implies @xcite ly@xmath6  luminosities @xmath170ergs@xmath13 . the corresponding ly@xmath6  fluxes are @xmath171erg s@xmath13 @xmath116 , essentially independent of redshift ( due to similar effects of distance on the observed ly@xmath6  and radio fluxes , and hence the determination of rest - frame luminosities ) .
a typical hzrg  ly@xmath6  line ( rest - frame fwhm @xmath172 ) would be marginally unresolved in our spectra at @xmath143 , but beyond @xmath173 , observed flux densities would start to decrease due to broadening of the ly@xmath6  line in the observed frame . at @xmath148 , the expected ly@xmath6  flux density is @xmath174erg s@xmath13 @xmath116 @xmath13 . since the noise in our spectra has @xmath175erg s@xmath13
@xmath116 @xmath13 , the predicted s / n is rather low ( @xmath172 ) , so it is perhaps unsurprising that we see no emission lines in our spectra , especially given the uncertainties ( @xmath176dex ) in the emission line  radio correlation . if the line happens to fall in a region of the spectrum where noise is higher ( at the position of a subtracted telluric emission line , for example )
, the s / n would be lower still .
dust , if present in the source , would also reduce the predicted fluxes , and hence the s / n . source a  has the steepest radio spectrum of our candidates , so is most similar to classical hzrgs , and remains a good candidate for future spectroscopy .
as discussed above , source b  may have prominent emission lines , and spectroscopic observations would also be worthwhile .    the photometric redshifts and `` typical '' hzrg  morphologies
support the interpretation of these objects as hzrgs  ( and their deduced radio luminosities and @xmath153-band absolute magnitudes are agn - like , as expected ) . at the fainter radio flux levels we probe , we seem to be seeing the more `` normal '' members of the hzrg  population that perhaps make up the bulk of the luminosity function at these redshifts . indeed , comparing to the results of @xcite
, we find that our three @xmath2 galaxies ( with rest - frame @xmath29-band magnitudes @xmath177mag , as computed from the photometric redshifts in table  [ tab : pz ] ) ought to lie on the fr - i / fr - ii break ( @xmath178whz@xmath13  at these optical absolute magnitudes ) .    as a sanity check
, we obtain a rough estimate of the space density of these objects by calculating the comoving volume covered by the 4.9  square degree  combined radio dataset , in the redshift range 1.21  4.97 ( the range of photometric redshifts in table  [ tab : pz ] ) . in our chosen cosmology , this volume is @xmath179mpc@xmath180 . since we do not claim to have exhaustively studied the radio - loud optically - faint galaxy population in this field within this redshift range , the resulting space density for our four hzrg  candidates of @xmath181mpc@xmath182 should be taken as a lower limit .
this compares favorably with the lower limit on radio galaxies of similar radio power ( @xmath183whz@xmath13 ) but steeper spectral index ( @xmath184 ) obtained by @xcite , @xmath185mpc@xmath182 at @xmath186 . since only one out of four of our hzrg  candidates has a spectral index as steep as this ( and since both estimates are lower limits ) , the space density is consistent with that measured by @xcite    deeper optical and / or ir observations ( particularly @xmath126 , @xmath159 and / or mid - ir ) would provide better constraints on our photometric redshifts .
as discussed above , our objects may be only marginally too faint to be detected in our lris observations , so it is possible that deeper ( red - sensitive ) 10 m spectroscopy could in future provide spectroscopic redshifts .
mid - ir observations would also be of interest in constraining star - formation rates , and the presence and temperature of any dust in these objects .
we thank s.  kulkarni and collaborators for making the lris observations of ut 2005 june 6 ( in exchange for images of grb  0505096 on ut 2005 june @xmath187 ) .
we thank the mips botes  team for mips data on our sources .
we thank m.  polletta and collaborators for making the swire template library publicly available .
data presented herein were obtained at the w.  m.  keck observatory , which is operated as a scientific partnership among the california institute of technology , the university of california , and the national aeronautics and space administration .
the observatory was made possible by the generous financial support of the w.  m.  keck foundation .
the authors wish to recognize and acknowledge the very significant cultural role and reverence that the summit of mauna kea has always had within the indigenous hawaiian community .
we are most fortunate to have the opportunity to conduct observations from this mountain .
the work of sc , wvb , wdv and sas was performed under the auspices of the u.  s.  department of energy , national nuclear security administration by the university of california , lawrence livermore national laboratory under contract no .  w-7405-eng-48 .
sc and wvb acknowledge support for radio galaxy studies at uc merced , including the work reported here , with the hubble space telescope and the _ spitzer space telescope _ via nasa grants
hst # 10127 , sst # 1264353 , sst # 1265551 , sst # 1279182 .
the work of ds and pe was carried out at jet propulsion laboratory , california institute of technology , under a contract with nasa .
this work is based in part on observations made with the spitzer space telescope , which is operated by the jet propulsion laboratory , california institute of technology under a contract with nasa .
support for this work was provided by nasa through an award issued by jpl / caltech .
this work made use of images and data products provided by the noao deep wide - field survey , which is supported by the national optical astronomy observatory ( noao ) .
noao is operated by aura , inc .
, under a cooperative agreement with the national science foundation .
finally , we thank the referee , r.  windhorst , for his comments .
blumenthal , g. , & miley , g.  1979 , , 80 , 13 bolzonella , m. , miralles , j .-
m . , & pell , r.  2000 , , 363 , 476 brand , k. , et al .
2006 , , 641 , 140 brodwin , m. , et al .
2006 , , 651 , 791 brown , m.  j.  i. , dey , a. , jannuzi , b.  t. , brand , k. , benson , a.  j. , brodwin , m. , croton , d.  j. , & eisenhardt , p.  r.  2007 , , 654 , 858 bruzual , a.  g. , & charlot , s.  1993 , , 405 , 538 calzetti , d. , armus , l. , bohlin , r.  c. , kinney , a.  l. , koornneef , j. , & storchi - bergmann , t.  2000 , , 533 , 682 cool , r.  j.  2007 , , 169 , 21 de breuck , c. , klamer , i. , johnston , h. , hunstead , r.  w. , bryant , j. , rocca - volmerange , b. , & sadler , e.  m.  2006 , , 366 , 58 de breuck , c. , van breugel , w. , rttgering , h.  j.  a. , & miley , g.  2000 , , 143 , 303 de breuck , c. , van breugel , w. , stanford , s.  a. , rttgering , h. , miley , g. , & stern , d.  2002 , , 123 , 637 de vries , w.  h. , becker , r.  h. , & white , r.  l.  2006 , , 131 , 666 de vries , w.  h. , morganti , r. , rttgering , h.  j.  a. , vermeulen , r. , van breugel , w. , rengelink , r. , & jarvis , m.  j.  2002 , , 123 , 1784 eisenhardt , p.  r. , et al .
2004 , , 154 , 48 elston , r.  j. , et al .
2006 , , 639 , 816 fazio , g.  g. , et al .
2004 , , 154 , 10 higdon , j.  l. , et al .  2005 , , 626 , 58 hopkins , a. , windhorst , r. , cram , l. , & ekers , r.  2000 , exp .
astron . , 10 , 419 jannuzi , b.  t. , & dey , a.  1999 , asp conf .
ser .  191 : photometric redshifts and the detection of high redshift galaxies , ( san francisco , ca : asp ) , 191 , 111 kenter , a. , et al .  2005 , , 161 , 9 krolik , j.  h. , & chen , w.  1991 , , 102 , 1659 ledlow , m.  j. , & owen , f.  n.  1996 , , 112 , 9 lilly , s.  j. , & longair , m.  s.  1984 , , 211 , 833 matthews , k.  & soifer , b.  t.  1994 , assl vol .  190 : astronomy with arrays , the next generation , 239 mccarthy , p.  j.  1993 , , 31 , 639 mclure , r.  j. , willott , c.  j. , jarvis , m.  j. , rawlings , s. , hill , g.  j. , mitchell , e. , dunlop , j.  s. , & wold , m.  2004 , , 351 , 347 murray , s.  s. , et al .
2005 , , 161 , 1 oke , j.  b. , et al .
1995 , , 107 , 375 pentericci , l. , mccarthy , p.  j. , rttgering , h.  j.  a. , miley , g.  k. , van breugel , w.  j.  m. , & fosbury , r.  2001 , , 135 , 63 polletta , m. , et al .
2007 , arxiv : astro - ph/0703255 seymour , n. , et al .
2007 , , 171 , 353 spergel , d.  n. , et al .
2007 , , 170 , 377 stern , d. , et al .
2005 , , 631 , 163 tielens , a.  g.  g.  m. , miley , g.  k. , & willis , a.  g.  1979 , , 35 , 153 van breugel , w. , de breuck , c. , stanford , s.  a. , stern , d. , rttgering , h. , & miley , g.  1999 , , 518 , l61 van breugel , w.  j.  m. , stanford , s.  a. , spinrad , h. , stern , d. , & graham , j.  r.  1998 , , 502 , 614 wang , j.  x. , et al .
2004 , , 127 , 213 willott , c.  j. , rawlings , s. , blundell , k.  m. , & lacy , m.  1999 , , 309 , 1017 willott , c.  j. , rawlings , s. , jarvis , m.  j. , & blundell , k.  m.  2003 , , 339 , 173