just a couple of years after the introduction of the concept of ( non - abelian ) gauge fields , in his classical paper utiyama @xcite already intended to interpret general relativity as a gauge theory , in which the lorentz group emerges as the gauge group of transformations taking locally defined orthonormal bases to orthonormal ones .
then mller @xcite formulated general relativity as a dynamical theory of frame fields , and in this new form einstein s theory showed indeed remarkable resemblance to yang  mills theories .
this similarity of the two theories made it possible to import techniques developed in one field to the other ( see e.g. @xcite ) , yielded a deeper understanding of both ( see e.g. @xcite ) , or motivated the search for a proper gauge theoretic foundation of general relativity ( see e.g. @xcite ) .
in particular , the concept of charge density of non - abelian gauge fields appeared to be similar to the ( ill - defined ) concept of the energy - momentum density of the gravitational field : the vanishing of the gauge - covariant divergence of the ( gauge - covariant ) non - abelian charge 4-current ( e.g. of the fermionic matter ) in itself does _ not _ yield any gauge - covariant notion of conserved charges .    to overcome this difficulty ,
tod @xcite introduced the notion of quasi - local charges in non - abelian yang
mills theories , following the analogous twistorial definition of quasi - local energy - momentum and angular momentum of penrose in general relativity .
his construction is based on the use of the holomorphic _ and _ anti - holomorphic cross sections of a hermitian vector bundle .
hence the original construction could give a well defined notion of charge in theories _ with ( pseudo-)unitary gauge groups _ ( or subgroups of them ) .
however , the lorentz group is not such a group , thus , to be able to see the closest analogy between general relativity and proper non - abelian gauge theories as it could be possible , it would have to be considered the latter with the lorentz ( or its covering group , the @xmath0 ) gauge group .
therefore , we need to generalize the notion of charge of tod to arbitrary gauge groups , or at least to the groups above .    in general relativity the energy - momentum and ( relativistic )
angular momentum take the form of 2-surface integrals , like the charge in maxwell theory . however , in einstein s theory there are ten additional quantities ( and in the coupled einstein  maxwell system 16 quantities ) , taking the form of 2-surface integrals on spherical cuts of future null infinity , which are _ absolutely conserved_. these are the newman
penrose ( or np ) quantities @xcite . though their meaning is still not quite well understood , in the linear approximation they appear to characterize the radiation profile of the _ incoming radiation _ ,
while in stationary configurations they are connected with the multipole structure of the source .
thus the analogy between einstein s theory and the non - abelian gauge theories raises the question if the np quantities can be introduced in yang
mills theories , and whether or not they are conserved . though there is an argumentation that the analogous np quantities can not be conserved @xcite ,
as far as we are aware no such mathematical analysis of the question has been given .
although the charges and the np type quantities are conceptually different physical quantities , technically they are similar . thus it seems natural to consider both .
therefore , the aim of the present paper is twofold : first , to generalize tod s definition of quasi - local charges to arbitrary gauge group and investigate the resulting expression in the standard small sphere and large sphere limits .
the second is to form the analog of the np quantities and clarify the conditions of their conservation .    mostly to fix the notation , in section 2 , we review the theoretical background and recall some basic facts that we use .
then , in section 3 , we introduce the general notion of the self - dual / anti - self - dual charge integrals .
we will see that the notion of electric and magnetic charges can be formulated and studied in terms of these more naturally and easier than the original charge integrals of the field strength . in subsection 3.2
we summarize the key points of tod s construction for hermitian vector bundles , and its generalization for arbitrary vector bundles and connections is suggested in subsection 3.3 , using _ either _ anti - holomorphic or holomorphic cross sections of the vector bundle .
here it is also shown that for globally trivializable bundles the modified construction also gives vanishing magnetic charges .    in subsection 3.4 .
the limit of the quasi - local charge integrals are calculated in three limits .
first , the charges are associated with small spheres near a point .
we show that _ in the first two non - trivial orders the electric charge integral is independent of the actual construction _ , i.e. has some universal nature .
the solution of the field equations near a point with the necessary accuracy is given in appendix [ sub - a.1 ] .
then we calculate the spatial infinity limit .
we show that under the standard boundary conditions for the gauge fields this limit is finite and constant in time , i.e. these define _ conserved _ total charges . in the case of the vanishing total magnetic charges the total electric charges in the holomorphic and in the anti - holomorphic constructions coincide .
we also calculate the null infinity limit of the general charge integrals .
we show that there is _ no _ reasonable definition for the total charges at _ null infinity _ that , for semisimple gauge groups , could be conserved in general radiative configurations . there can be charge conservation only in special ( e.g. not radiative ) field configurations or for gauge groups whose lie algebra contains a non - trivial solvable ideal , provided the charges are introduced in the anti - holomorphic construction .
the holomorphic construction appears naturally at _ past _ null infinity .
section 4 .
is devoted to the newman
penrose type quantities .
first we show that for semisimple gauge groups _ no _ reasonable definition yields conserved np type quantities in the generic , radiative configurations , and their conservation can be expected only in special configurations or for special gauge groups . we also calculate them in special stationary field configurations and find that they are built from the expansion coefficients of the field strength with dipole and higher moments . to be able to do these calculations we had to increase the accuracy of the asymptotic solutions of the yang  mills equations of newman @xcite by two orders .
these solutions are given in appendix [ sub - a.2 ] .
the signature of the spacetime metric is @xmath1 , and in connection with the spin weighted spherical harmonics we use the conventions of @xcite .
let @xmath2 be a real or complex vector bundle over the spacetime manifold @xmath3 with an @xmath4 dimensional real or complex vector space @xmath5 as the typical fiber , let @xmath6 , @xmath7 , be a locally defined frame field on some open @xmath8 , i.e. at each point @xmath9 the vectors @xmath10 , ... , @xmath11 span the fibre @xmath12 at @xmath13 .
( thus the capital latin indices @xmath14 are abstract indices referring to the internal fiber space , while the capital boldface latin indices are concrete name indices taking numerical values .
small latin indices are abstract spacetime indices . )
the dual frame field will be denoted by @xmath15 , and hence @xmath16 and @xmath17 hold .
clearly , such a frame field is not unique , and we allow the vector basis to be transformed as @xmath18 , where @xmath19 is a function on @xmath20 taking its values in some subgroup @xmath21 of @xmath22 or @xmath23 .
this yields the transformation @xmath24 of the dual frame field on @xmath20 , where @xmath25 .
thus we think of the set of the frames above as a principal fibre bundle @xmath26 with structure group @xmath21 , and the matrices @xmath27 provide the free action of @xmath21 on @xmath28 .
let a connection @xmath29 be given on @xmath2 .
this can be specified by its action on the vectors @xmath30 of the frame field , yielding the connection 1-form @xmath31 on @xmath20 .
the connection is a @xmath21connection if @xmath32 , as a locally defined matrix valued 1-form , takes its values in the lie algebra @xmath33 of the lie group @xmath21 .
the curvature ( or field strength ) , also in the local frame field on @xmath20 , is the @xmath33 valued 2-form @xmath34 , which satisfies the bianchi identity @xmath35 .
@xmath36 is already gauge - covariant , and globally well defined .
mills equations with gauge group @xmath21 and gauge - covariant source current @xmath37 are    @xmath38    these equations imply , in particular , that the spacetime _ and _ gauge - covariant divergence of @xmath39 is vanishing , and hence its spacetime divergence in itself is not : @xmath40 . therefore , by taking the flux integral on some spacelike hypersurface @xmath41 , it is the @xmath42-divergence free and _ not _ gauge - covariant current @xmath43 that should be used to define charge .
thus it is more convenient to use the non - gauge - covariant form    @xmath44    of the field equations .
in the rest of the paper we frequently use the matrix notation instead of writing out the boldface ( matrix lie algebra ) or abstract fiber indices explicitly .
for example , equation ( [ eq:2.1 ] ) takes the form @xmath45)=-4 \pi j_a$ ] .
if we fix a basis @xmath46 in the lie algebra @xmath47 , @xmath48 , then we can write @xmath49 and @xmath50 .
we define the structure constant @xmath51 of @xmath33 in this basis in the usual way by @xmath52 .
then the definitions yield @xmath53 , and that the gauge - covariant derivative of any field e.g. with components @xmath54 can also be written in the form @xmath55 .
the expression between the parentheses is just the gauge - covariant derivative on the vector bundle defined via the adjoint representation of @xmath21 as an abstract lie group , i.e. in which the typical fiber is @xmath33 as its abstract lie algebra .
then it is straightforward to rewrite the yang
mills equations in terms of these notions .
also for later use , we introduce the symmetric metric @xmath56 on the lie algebra @xmath33 . it is a direct calculation to check that @xmath57 ( which are constant functions on the domain @xmath20 of the frame field @xmath58 ) as a field on @xmath20 is constant with respect to the gauge - covariant derivative @xmath29 , too .
therefore , the connection is compatible with this metric : @xmath59 . in the adjoint representation , in which the basis @xmath46 is chosen to be the structure constants @xmath60
, this metric reduces to the killing
cartan metric @xmath61 on @xmath33 .
@xmath62 is well known to be non - singular precisely for semisimple @xmath33 , and this is negative definite precisely for lie algebras of compact semisimple ( and hence real ) lie groups .
let @xmath63 be any smooth , orientable , closed spacelike 2-surface .
let us fix a newman - penrose complex null tetrad @xmath64 on @xmath63 ( i.e. @xmath65 and @xmath66 are future pointing real null vectors orthogonal to @xmath63 , @xmath67 and @xmath68 are complex null tangents of @xmath63 , and they satisfy the normalization conditions @xmath69 and @xmath70 ) , and recall that the area 2-form on @xmath63 can also be given as @xmath71}$ ] , and the area element is @xmath72 ( see . e.g. @xcite ) .
note that while @xmath65 and @xmath66 are globally defined on @xmath63 , @xmath67 and @xmath68 are defined only on the local trivialization domains of the tangent bundle of @xmath63 .
then we search for the electric and magnetic charges in the form    @xmath73\!\!\!\!&:=\!\!\!\!&\frac{\rm i}{4\pi }   \oint_{\cal s}\varepsilon^a{}_b\ast f^b{}_{aab}\bar m^am^b{\rm d }   { \cal s}=\frac{1}{4\pi}\oint_{\cal s}{\rm tr}\bigl(\varepsilon(\chi_1   + \tilde\chi_1)\bigr){\rm d}{\cal s } , \label{eq:3.1.a } \\
{ \cal m}\bigl[\mu\bigr]\!\!\!\!&:=\!\!\!\!&\frac{\rm i}{4\pi}\oint   _ { \cal s}\mu^a{}_b f^b{}_{aab}\bar m^am^b{\rm d}{\cal s}=\frac{\rm i }   { 4\pi}\oint_{\cal s}{\rm tr}\bigl(\mu(\chi_1-\tilde\chi_1)\bigr){\rm    d}{\cal s},\label{eq:3.1.b } \end{aligned}\ ] ]    where @xmath74 and @xmath75 are two appropriately chosen globally defined cross sections of @xmath76 , where @xmath77 is the dual bundle , @xmath78 is the dual of the field strength , where @xmath79 is the spacetime volume 4-form . in the expressions on the right we adopted the matrix notation , in which @xmath80 is just the @xmath81 component of the anti - self - dual part of the curvature , and @xmath82 is the @xmath81 component of the self - dual part of the curvature ( see e.g. @xcite ) .
: @xmath83 . moreover , though @xmath84 is defined as the @xmath81 component of @xmath85 and the vectors @xmath67 and @xmath68 are only locally defined , @xmath84 is globally well defined .
in fact , it can be rewritten into the form @xmath86 , where @xmath87 is the area 2-form on the timelike 2-planes orthogonal to @xmath63 . in terms of the electric and magnetic field strengths defined with respect to some timelike unit vector field @xmath88 orthogonal to @xmath63 , @xmath89 and @xmath90 , respectively , @xmath91 holds , where @xmath92 is the outward pointing unit spacelike normal of @xmath63 such that @xmath93 . ) for real bundle and connection @xmath84 and @xmath82 are complex conjugate of each other , but in the complex case these are independent .
note that for @xmath94 the first integral can be rewritten into the flux integral of the trace ( in the lie algebra indices ) of the current @xmath95 on any spacelike hypersurface @xmath41 whose boundary is @xmath63 , while the second is precisely the integral of the first chern class and @xmath96 is @xmath97 ( rather than only @xmath98 ) , the proper normalization factor of the @xmath99th chern class is @xmath100 ( instead of @xmath101 ) .
] of @xmath102 , the pull back of @xmath2 to @xmath63 .
thus @xmath103 $ ] and @xmath104 $ ] are interpreted as the electric and magnetic charges , respectively , surrounded by @xmath63 and defined _ with respect to the fields _ @xmath74 and @xmath75 .
if we define @xmath105 , then    @xmath106:={\cal e}\bigl[q\bigr]-{\rm i}{\cal m}\bigl[q \bigr]=\frac{1}{2\pi}\oint_{\cal s}{\rm tr}\bigl(q\chi_1\bigr){\rm d } { \cal s},\label{eq:3.2}\ ] ]    in which only the _ anti - self - dual _ curvature component @xmath84 appears .
@xmath82 appears in @xmath107:={\cal e } [ \tilde q]+{\rm i}{\cal m}[\tilde q]$ ] with @xmath108 . if the bundle @xmath2 and the connection @xmath29 are real and @xmath74 and @xmath75 are chosen to be real , then @xmath107 $ ] is simply the complex conjugate of @xmath109 $ ] .
for complex bundles and connections @xmath110 $ ] and @xmath107 $ ] are independent . as we will see , it is more convenient to work with these anti - self - dual and self - dual charges than the original @xmath103 $ ] and @xmath104 $ ] .
since @xmath74 and @xmath75 are still arbitrary , the number of the ` charges ' @xmath103 $ ] and @xmath104 $ ] is infinite .
however , we expect that the number of the independent charges be the number of the gauge potentials , i.e. @xmath111 .
thus @xmath74 and @xmath75 should be restricted so that the number of independent charges be the correct ones , and the resulting integrals define reasonable electric and magnetic charge multiplets .
tod s suggestion @xcite for the quasi - local charges has the form ( [ eq:3.1.a])-([eq:3.1.b ] ) with @xmath112 for appropriately chosen cross sections @xmath113 of @xmath102 and @xmath114 of @xmath77 : suppose that @xmath2 is a _ complex _
vector bundle endowed with a non - degenerate _
fiber metric @xmath115 , and assume that the connection @xmath29 on @xmath2 is compatible with this fiber metric , @xmath116 .
thus the gauge group is assumed to be some ( pseudo ) unitary group ( or a subgroup of such ) .
then by means of @xmath115 the complex conjugate bundle @xmath117 can be identified with @xmath118 via the fiber map @xmath119 .
finally , the section @xmath120 was considered to be anti - holomorphic and @xmath121 to be holomorphic , i.e. on the local trivialization domains to be satisfying    @xmath122    here @xmath123 and @xmath124 are the standard edth operators on @xmath125 and @xmath126 and @xmath127 are of zero - spin - weight functions on the domain of the frame field ( see e.g. @xcite ) .
if @xmath128 is the space of solutions @xmath120 of ( [ eq:3.3.a ] ) and @xmath129 is the space of solutions @xmath121 of ( [ eq:3.3.b ] ) , then tod defines the quasi - local charges to be the eigenvalues of the bilinear mappings @xmath130 @xmath131 $ ] and @xmath132 @xmath133 $ ] . in the generic case on
@xmath134 this construction gives @xmath4 ( not necessarily real ) charges , independently of the dimension of the gauge group .
the magnetic charges are identically vanishing for globally trivializable bundle @xmath102 .
( for the details see @xcite . )
our aim is to modify tod s construction in such a way that ( 1 ) the gauge group can be arbitrary , ( 2 ) the number of the electric and the magnetic charges ( at least in the generic case ) be just @xmath111 , and ( 3 ) the charges be real for real bundles and connections ; but at the same time keeping the advantageous properties of the original construction ( especially the vanishing of the magnetic charges for globally trivializable bundles ) .    in principle
there are several ways to ensure the correct number of charges .
the first is to consider those cross sections whose components @xmath135 and @xmath136 in a _ local _ frame field @xmath6 ( as real or complex @xmath137 matrix valued functions on the domain of the frame field ) take their values in the matrix lie algebra @xmath33 . in this case
, we could always write them as @xmath138 and @xmath139 for some , still arbitrary ( real or complex ) valued functions @xmath140 and @xmath141
. then it would be the ( all together @xmath142 ) functions @xmath140 and @xmath143 that would have to be restricted appropriately to depend only on @xmath142 parameters in the generic case . though conceptually this appears to be the most natural approach , it turns out that this framework is less flexible as it is more difficult to prove statements ( e.g. the vanishing of the magnetic charges for globally trivializable bundles ) than e.g. in the third one below .
another strategy is to build the charge integrals from the curvature and the fields @xmath74 and @xmath75 _ in the adjoint representation _ ,
i.e. when the typical fiber @xmath5 of the bundle @xmath2 is @xmath33 as an abstract lie algebra , and it is the structure constants that provide the matrix representation of a basis of @xmath33
. however , the kernel of the action of the lie algebra on itself via the adjoint map is not trivial , it is the center of the lie algebra .
thus this construction may work e.g. for semisimple lie algebras , but it would not yield any charge e.g. for abelian lie algebras .
the third possibility is to construct the charge integrals in a vector bundle based on a representation in which the dimension @xmath4 of the fiber space is just @xmath111 ( though the representation is _ not a priori _ the adjoint one ) . since typically the dimension of the classical lie algebras grows with the _ square _ of the dimension of their defining representation , the representation space with the dimension of the lie algebra appears to provide enough room for a faithful representation . restricting the original construction of tod in this way we get the correct number of charges . for the sake of simplicity
we follow this strategy , but , instead of @xmath144 and @xmath75 , we formulate our conditions in terms of @xmath145 and @xmath146 .
we search for @xmath145 and @xmath146 in the form @xmath147 and @xmath148 , respectively , where @xmath120 and @xmath149 are anti - holomorphic while @xmath150 and @xmath151 are holomorphic .
if the bundle and the connection are real , then @xmath120 and @xmath149 are anti - holomorphic cross sections of the _ complexified _ vector bundles @xmath152 and @xmath153 , respectively , and the tilde denotes complex conjugation . in terms of their locally defined components these conditions are    @xmath154    then clearly @xmath155 is anti - holomorphic and @xmath156 is holomorphic .    next let us calculate the integrand of @xmath104 $ ] .
since @xmath157 , by forming total derivatives and using ( [ eq:3.4.a ] ) and ( [ eq:3.4.b ] ) , the integrand of @xmath158 $ ] is    @xmath159 where @xmath160 and @xmath161 , and , for the sake of brevity , we used the matrix notation . for general anti - holomorphic @xmath145 and holomorphic @xmath146 we could not prove more .
if , however , we use the special form of @xmath162 and @xmath146 given in terms of @xmath120 , @xmath149 , @xmath150 and @xmath151 and using ( [ eq:3.4.a ] ) and ( [ eq:3.4.b ] ) again , we obtain    @xmath163    where @xmath164 is the intrinsic levi - civita derivative operator on @xmath63 .
thus if @xmath102 is globally trivializable and hence the connection 1-form @xmath32 can be chosen to be globally defined on @xmath63 , then the right hand side of ( [ eq:3.5 ] ) is also globally defined , yielding identically vanishing magnetic charges .
therefore , the modified construction also satisfies one of the minimal requirement of reasonableness .
let @xmath165 denote the space of the anti - holomorphic cross sections @xmath120 of @xmath102 , and @xmath166 the space of the anti - holomorphic cross sections @xmath167 of the dual bundle @xmath168 .
similarly , let @xmath169 be the space of the holomorphic cross sections @xmath150 and @xmath170 the space of the holomorphic cross sections @xmath171 .
then the anti - self - dual and the self - dual charges are defined to be the eigenvalues of the @xmath172-bilinear maps    @xmath173 , \label{eq:3.6.a}\\ & { } & \tilde{\cal q}:\tilde{\cal h}\times\tilde{\cal h}^*\rightarrow   \mathbb{c}:(\tilde\phi^a,\tilde\psi_b)\mapsto\tilde{\cal q}\bigl [   \tilde\phi^a\tilde\psi_b\bigr ] , \label{eq:3.6.b}\end{aligned}\ ] ]    respectively . if @xmath2 and @xmath29 are real , then the complex conjugate of an anti - holomorphic cross section is holomorphic , and hence @xmath174 is the complex conjugate of @xmath165 .
similarly , @xmath175 is the complex conjugate of @xmath166 .
therefore , @xmath176 is the complex conjugate of @xmath177 , yielding real electric and magnetic charges . repeating the argumentation of tod in @xcite
one can show that for globally trivializable bundles over @xmath134 in the generic case the number of the electric charges is @xmath111 . on the other hand , there are exceptional 2-surfaces for which the construction still works , but the number of charges is different .
though in general @xmath178 is not an element of @xmath33 , it can be considered as the generator of _ the central extension of the matrix lie algebra _ @xmath33 .
since it is both holomorphic and anti - holomorphic , it is worth considering this extension .
@xmath179 $ ] and @xmath180 $ ] can be thought of as the ` mean ' electric and magnetic charge , respectively , and , as we already noted , the latter is just the first chern class of @xmath181 .
though the quasi - local charge integrals @xmath109 $ ] are well defined even in curved spacetime , for the sake of simplicity in the rest of the paper we assume that the spacetime is the minkowski spacetime .
in particular , we calculate their small and large sphere limits in the flat spacetime .
let @xmath182 be an arbitrary point , @xmath88 a future pointing timelike unit vector at @xmath13 , and let us consider the future pointing null geodesics starting from @xmath13 with affine parameter @xmath183 and tangents @xmath65 satisfying @xmath184 at @xmath13 .
then for sufficiently small @xmath183 the set @xmath185 of the points on these null geodesics whose affine distance from @xmath13 is @xmath183 is a smooth spacelike 2-surface , which is homeomorphic to @xmath186 .
such a surface is called a _ small sphere about @xmath13_. our aim is to calculate the charge integral @xmath109 $ ] for small spheres of radius @xmath183 , and to determine the coefficients @xmath187 in its expansion @xmath110={\cal q}^{(0)}+\cdots+r^4{\cal q}^{(4)}+o(r^5)$ ] .
( since @xmath188 is contractible to @xmath13 , any bundle over @xmath185 is globally trivializable , and hence @xmath104 $ ] is identically vanishing . ) the strategy is to expand the curvature component @xmath189 and the solutions @xmath190 and @xmath191 of ( [ eq:3.4.a ] ) ( or of ( [ eq:3.4.b ] ) ) by powers of @xmath183 . since @xmath192 , clearly @xmath193 and @xmath194 , and to calculate @xmath109 $ ] with @xmath195 accuracy we need to know @xmath189 , @xmath190 and @xmath191 with @xmath196 accuracy .
similarly , expanding the component @xmath197 of the connection 1-form as a series of @xmath183 , substituting this to ( [ eq:3.4.a ] ) and taking into account that @xmath198 , where @xmath199 is the edth operator on the unit sphere ( and is given explicitly in the appendix ) , we see that we need to know the expansion coefficients @xmath200 for @xmath201 . however , as the analysis of appendix [ sub - a.1 ] shows , to determine the solution of the yang  mills equations on the light cone (
more precisely , on the null boundary of the chronological future ) of @xmath13 for @xmath84 with @xmath196 accuracy , formally @xmath202 , @xmath203 and @xmath204 must be expanded with accuracy @xmath205 .
the solution of the hypersurface equations ( [ eq : a.1a])-([eq : a.1c ] ) is given in appendix [ sub - a.1 ] , by means of which the equations ( [ eq:3.4.a ] ) themselves are    @xmath206    since @xmath190 and @xmath191 are multiplets of type @xmath207 scalars , @xmath208 , @xmath209 , @xmath210 and @xmath211 are _ constant _ on @xmath63 .    to solve the third of ( [ eq:3.4.1a ] ) and ( [ eq:3.4.1b ] ) first
let us recall that in terms of the spinor form of the field strength , @xmath212 , and the ghp spinor dyad @xmath213 the curvature component @xmath214 is given by @xmath215 .
( in the present subsection we use two - component spinors , and hence , in particular , the capital latin indices @xmath216 , @xmath217 , ... _ in this subsection _ are abstract spacetime spinor indices .
these should not be confused with the indices referring to the internal fiber space or the concrete name indices @xmath218 , @xmath219 , ... etc . )
however , in terms of the cartesian spinor dyad @xmath220 at @xmath13 the ghp dyad is    @xmath221 and hence it is straightforward to integrate ( [ eq:3.4.1a ] ) and ( [ eq:3.4.1b ] ) in the coordinates @xmath222 :    @xmath223    here @xmath224 , @xmath225 , @xmath226 ; and @xmath227 and @xmath228 are arbitrary constant sections , being the general solution of the homogeneous equation .
then , using the pattern of ( [ eq:3.4.2a])-([eq:3.4.2b ] ) , it is easy to write down the holomorphic solutions , too .
though for small spheres the solution spaces @xmath165 and @xmath229 are @xmath111 dimensional , the space of the @xmath230 accurate solutions is @xmath231 dimensional .
the presence of the ` extra ' , spurious solutions is a consequence of the lack of a natural isomorphism between the solution spaces on _ different _ two - surfaces , and hence , in particular , with different radii .
these yield some ambiguity in higher accurate approximations .
( for a more detailed discussion of this issue in general relativity , see e.g. @xcite .
also , in the calculation of certain integrals , we will use equation ( 2.5 ) of @xcite . )    since @xmath232 and @xmath210 are constant , by ( [ eq : a.1.3a ] ) the @xmath233 order term @xmath234 is vanishing . for the @xmath235 order term
we obtain    @xmath236    where the integration is taken on the unit sphere .
thus @xmath237 is the volume of the 3-ball of radius @xmath183 times the timelike component of the gauge covariant current at @xmath13 .
this result coincides with that of tod , too .
in fact , let us observe that in @xmath238 only the zeroth order terms of the cross sections @xmath190 and @xmath191 matter ( the others integrate to zero ) , which are constant both for the holomorphic and anti - holomorphic sections .
in the fourth order we obtain    @xmath239    though formally @xmath240 is built from the @xmath233 accurate cross sections , their @xmath233 order correction terms are integrate to zero . hence we obtain the same result in the holomorphic and the anti - holomorphic constructions . on the other hand , in general @xmath241
_ does _ depend on the @xmath242 order ` gauge solutions ' @xmath209 and @xmath211 : @xmath240 is well defined only if @xmath243 , i.e. when @xmath244 at @xmath13 .
the calculation of @xmath245 is much longer and technically more difficult , so we summarize only the main message of that .
first , ambiguities similar to that in @xmath240 , parameterized by the ` extra ' solutions @xmath209 , @xmath211 , ... etc , appear , unless the third and fourth order terms , @xmath238 and @xmath246 , are vanishing .
the difference of the holomorphic and anti - holomorphic constructions can appear in this order .
thus @xmath247 and @xmath240 have some ` universal ' nature , not being sensitive to the details of the defining equations for the cross sections @xmath190 and @xmath191 , provided @xmath190 and @xmath191 are constant in the zeroth and first orders .
let @xmath248 be the standard spherical , complex stereographic coordinate system ( at least in a neighbourhood of spatial infinity ) in minkowski spacetime , and consider the charge integral @xmath109 $ ] on the metric 2-spheres @xmath185 of radius @xmath183 in some @xmath249 spacelike hyperplane .
let @xmath88 and @xmath92 be their future pointing unit timelike and outward pointing unit spacelike normals , respectively , such that @xmath88 is orthogonal to the @xmath249 hyperplanes and @xmath93 .
let @xmath67 and @xmath68 be the complex null tangents of the 2-spheres .
then we impose the following a priori fall - off conditions for the scalar potential and the radial and tangential parts of the spatial vector potential : @xmath250 , @xmath251 , @xmath252 , @xmath253 , respectively , for some @xmath254 .
in addition , we assume that the time derivative of the last three satisfy @xmath255 , @xmath256 and @xmath257 also for some @xmath258 . by technical reasons
we also assume that the differentiation with respect to @xmath183 reduces these orders by one , but the differentiation with respect to @xmath259 and @xmath260 does not change these orders .
then , expressing @xmath261 by the potentials , we find that @xmath262 if @xmath263 and @xmath264 .
therefore , these boundary conditions ensure the existence of the @xmath265 limit of the charge integrals @xmath109 $ ] on 2-spheres @xmath185 of radius @xmath183 provided @xmath266 .
( if @xmath267 were not involved in the 2-surface integral of the curvature , i.e. if that were only the 2-surface integral of the _ components of the field strength _ in some globally defined frame @xmath6 , then one could rewrite that as the 3-volume integral of its divergence on some spacelike hypersurface @xmath41 with boundary @xmath63 . then , using the constraint equation , one could show that even weaker boundary conditions could ensure the finiteness of the original 2-surface integral @xcite .
since , however , @xmath267 is defined _ only _ on @xmath63 , here this strategy can not be followed , and hence we have the above ` conservative ' fall - off conditions . )
next let us determine the conditions that ensure the vanishing of the @xmath265 limit of the time derivative of @xmath109 $ ] ,    @xmath268=\frac{1}{2\pi}\oint{\rm   tr}\bigl(\dot q\chi_1+q\frac{1}{2}\bigl(\dot e_a+{\rm i}\dot b_a\bigr ) v^a\bigr){\rm d}{\cal s}. \label{eq:3.4.5}\ ] ]    to determine the order of the second term of the integrand we use the evolution equations for the field strengths in the present geometrical situation ( i.e. flat spacetime foliated by spacelike 3-planes with vanishing shift vector ) . these are    @xmath269 , \hskip 20pt \dot b_a=-\bigl(\mathbb{d}_ce_d\bigr)\varepsilon^{cd}{}_{ab}t^b- \bigl[\phi , b_a\bigr],\ ] ]    where @xmath270 denotes the space- and _ spatial _ gauge - covariant derivative operator ( i.e. for example its action on any cross section @xmath271 of @xmath2 near the spatial infinity is @xmath272 and @xmath273 is the orthogonal projection to the @xmath249 hyperplanes ) . by these equations
@xmath274 if @xmath275 .
thus if @xmath276 and @xmath277 , then the @xmath265 limit of the time derivative of @xmath109 $ ] is zero .
note that by @xmath275 the asymptotic form of @xmath278 ( and of @xmath279 , too ) is    @xmath280    i.e. its leading order term does _ not _ depend on @xmath281 .
finally , let us write @xmath282 and substitute into the equation of the anti - holomorphicity of the cross section @xmath267 .
we find    @xmath283= \\
^{(0)},q^{(0)}\bigr]\bigr)+\frac{1}{r^{1+\epsilon}}\bigl({}_0 { { \mbox{\symbol{'360}}}}q^{(1)}+\bigl[\gamma^{(0)},q^{(1)}\bigr]+\bigl[\gamma^{(1 ) } , q^{(0)}\bigr]\bigr)+o\bigl(r^{-1-\epsilon}\bigr).\end{aligned}\ ] ]    thus its solution is such that the leading term @xmath284 does not depend on time , and hence @xmath285 .
therefore , under the fall - off conditions for the vector potential above , the spatial infinity limit of @xmath109 $ ] exists and is conserved in time
. it might be interesting to note that here we used only the anti - holomorphicity of @xmath145 , but did not assume that it has the dyadic product structure @xmath286 .
note that in general @xmath287 can not be transformed by gauge transformations to zero _ globally _ unless the leading term of the @xmath92 component of the magnetic field strength is vanishing . thus @xmath284 is _ not _ constant on the unit sphere , and hence the total charge depends on whether @xmath267 is anti - holomorphic or holomorphic . if the connection coefficients @xmath287 and @xmath288 can be made vanishing globally , then the total magnetic charges are vanishing and the total electric charges introduced in the holomorphic and anti - holomorphic constructions coincide .
let us consider the charge integral @xmath109 $ ] on any @xmath289 cut of @xmath290 for still _ arbitrary _ globally defined @xmath145 .
( for a summary of the relevant results on the asymptotic structure of the yang
mills fields near @xmath290 , see appendix [ sub - a.2 ] . ) because of the peeling this integral can be written in terms of the expansion coefficient @xmath291 as @xmath292 , where the integration is taken on the unit sphere .
hence this integral is still a function of the retarded time coordinate . in this subsection
we show that for semisimple gauge groups _ no _ reasonable definition yields conserved total charge in general , radiative configurations . in particular , neither tod s original definition ( as pointed out in @xcite ) nor the modified one yield _ conserved _ total charges .    by integration by parts and using ( [ eq : a.2.1.b ] ) , for the @xmath293-derivative of @xmath109 $ ]
we obtain    @xmath294=\frac{1}{2\pi}\oint{\rm tr}\bigl(\dot q \chi^0_1-\bigl({}_0{{\mbox{\symbol{'360}}}}q+\bigl[\gamma^0,q\bigr]\bigr)\chi^0_2 \bigr){\rm d}{\cal s}_1 . \label{eq:3.4.7}\ ] ]    since in any given retarded time instant @xmath295 in a generic ( radiative ) configuration @xmath291 and @xmath296 are independent data ( because @xmath297 and @xmath298 can be specified independently , see appendix [ sub - a.2.1 ] ) , the integrand can be zero precisely when the coefficient of @xmath299 and of @xmath296 are vanishing . in particular , @xmath145 must be anti - holomorphic , but in addition it would have to be constant in time even though the anti - holomorphic structure might be changing from cut to cut on @xmath290 :    @xmath300=0 . \label{eq:3.4.8}\ ] ]    the condition of the integrability of the system of these equations is @xmath301=0 $ ] .
thus the charge @xmath109 $ ] with anti - holomorphic @xmath145 is conserved in the absence of outgoing radiation , @xmath302 , or when @xmath267 is anti - holomorphic and belongs to the center of the lie algebra @xmath33 , too .
therefore , for semisimple gauge groups in the generic radiative configurations there is _ no _ total conserved charge .
charge conservation requires the non - triviality of the radical ( i.e. the maximal solvable subalgebra ) of @xmath33 in its levi  malcev decomposition .
remarkably enough , though in the presence of outgoing radiation there is no charge conservation , the structure of the yang
mills fields at _ future _ null infinity singles out just the anti - holomorphic cross sections @xmath145 in a natural way .
thus our suggestion for the quasi - local charges is justified by the conservation properties of the total charges at future null infinity . at past null infinity
the holomorphic cross sections would appear .
even for semisimple lie algebras and non - stationary , but special configurations , in which @xmath303 and @xmath297 are not quite independent , the total charge can be conserved .
such are the linard  wiechert type solutions . in @xcite tod defined them geometrically as the algebraically special solutions of the yang
mills equations for which the field strength components @xmath304 and @xmath305 are vanishing , and , in contrast to our present framework , the origin of the coordinate system @xmath306 ( i.e. the ` source s world line ' ) is allowed to be an arbitrary timelike curve .
he showed that there is an anti - holomorphic frame in which @xmath291 is constant both in time and on the cut of @xmath290 , and hence that the total charge is , in fact , conserved .
( for another approach to the linard  wiechert type configurations , based on certain assumptions on the explicit form of the 4-potential in terms of a pointlike source , the so - called colour , see @xcite , and for a recent review of them see e.g. @xcite ) .    in the special stationary case discussed in appendix [ sub - a.2.2 ]
@xmath307 and @xmath308 are vanishing and @xmath309 for some real or complex _ constants _ @xmath310 .
thus , in particular , the anti - holomorphicity of @xmath145 yields that it is constant , i.e. @xmath311 for some constants @xmath312 .
therefore , @xmath109=c^\mu
e^a_{\mu b}q^b{}_a = c^\alpha g _ { \alpha\beta}q^\beta$ ] , yielding the meaning of the constants @xmath310 of the solution : they should represent the total charge of the system .
in fact , if we search for @xmath145 in the form @xmath286 for anti - holomorphic @xmath120 and @xmath149 , then their anti - holomorphicity yields that they are constant , and hence that @xmath109=c^\mu e^a _ { \mu b}\phi^b\psi_a$ ] .
thus , indeed , the charges introduced in subsection [ sub-3.3 ] are the eigenvalues of @xmath313 .
the newman  penrose conserved quantities in general relativity and in maxwell theory ( and , in fact , in any theory based on a linear zero - rest - mass field equation with any spin or on the conformally invariant wave equation ) are built from the _ second _ nontrivial expansion coefficient of the tetrad component of the curvature with the _ highest spin - weight _ , weighted with appropriate spin - weighted spherical harmonics @xcite .
thus it is natural to define    @xmath314:=\oint{\rm tr}\bigl(\omega\chi^1_0\bigr ) { \rm d}{\cal s}_1 , \label{eq:4.1}\ ] ]    where @xmath315 is a cross section of ( in the case of real bundles , the complexified ) @xmath316 over the @xmath295 cut of @xmath290 with @xmath317 spin weight so that the integrand of ( [ eq:4.1 ] ) is globally well defined .
here we show that for semisimple gauge group and _ any _ non - trivial choice for @xmath315 the quantity @xmath318 $ ] is _ not _ conserved in generic , radiative configurations . using ( [ eq : a.2.1.d ] ) a straightforward calculation ( by integration by parts ) yields    @xmath319:=\oint{\rm tr}\bigl\{\dot\omega\chi^1_0 -\bigl({}_0{{\mbox{\symbol{'360}}}}\bigl({}_0{{\mbox{\symbol{'360}}}}'\omega+\bigl[\tilde\gamma^0,\omega   \bigr]\bigr)+\bigl[\gamma^0,\bigl({}_0{{\mbox{\symbol{'360}}}}'\omega+\bigl[\tilde   \gamma^0,\omega\bigr]\bigr)\bigr]-3\bigl[\omega,\chi^0_1\bigr]\bigr ) \chi^0_0\bigr\}{\rm d}{\cal s}_1 . \label{eq:4.2}\ ] ]    since @xmath320 and @xmath321 are freely and independently specifiable functions at @xmath295 ( see appendix [ sub - a.2.1 ] ) , @xmath318 $ ] is constant in time precisely when their coefficients in ( [ eq:4.2 ] ) are vanishing :    @xmath322\bigr)+\bigl[\gamma^0,\bigl({}_0{{\mbox{\symbol{'360}}}}'\omega+\bigl[\tilde   \gamma^0,\omega\bigr]\bigr)\bigr]=3\bigl[\omega,\chi^0_1\bigr ] .
\label{eq:4.3}\end{aligned}\ ] ]    using ( [ eq : a.2.1.a])-([eq : a.2.1.b ] ) of the appendix , the integrability condition of this system of equations is    @xmath323 \bigr)\bigr]+\bigl[\tilde\chi^0_2,\bigl({}_0{{\mbox{\symbol{'360}}}}'\omega+\bigl [ \tilde\gamma^0,\omega\bigr]\bigr)\bigr]=2\bigl[\bigl({}_0{{\mbox{\symbol{'360}}}}\chi ^0_2+\bigl[\gamma^0,\chi^0_2\bigr]\bigr),\omega\bigr].\ ] ]    thus , in particular , @xmath318 $ ] is conserved if @xmath315 satisfies ( [ eq:4.3 ] ) and there is no outgoing radiation , i.e. @xmath324 ; or if @xmath315 belongs to the center of the lie algebra @xmath33 and solves @xmath325=0 $ ] .
therefore , the np type quantities could be conserved in special situations ( e.g. for a collection of independent maxwell fields ) , but not conserved in general . however , this non - conservation of the np quantities in non - abelian yang
mills theories appears to be known for a while , as bazanski pointed out to newman in an unpublished private communication @xcite .    since for the linard
wiechert type solutions of the yang  mills equations , considered in @xcite , the curvature components @xmath304 and @xmath305 are identically vanishing , the np quantities for these solutions are vanishing for any gauge group .
it is known that in stationary configurations the np quantities in the theories based on the _ linear _ zero - rest - mass field equations ( e.g. in particular in maxwell theory or the linearized einstein theory ) are vanishing . on the other hand , in stationary spacetime the gravitational np quantities of the full non - linear theory reduce to a nontrivial combination of the mass and the dipole and quadrupole moments of the source @xcite .
thus their non - vanishing is due to the nonlinearity of the theory .
this result raises the question whether the analogous quantities @xmath318 $ ] in non - abelian yang
mills theories could be non - vanishing in the stationary configurations , and if they could , then what would be their meaning ?
in the special stationary case discussed in subsection [ sub - a.2.2 ] equation ( [ eq : a.2.1.e ] ) reduces to    @xmath326-\bigl[{}_0{{\mbox{\symbol{'360}}}}\chi^0_0,\tilde\chi^0_0\bigr]-2\bigl[\chi^0_0 , { } _ 0{{\mbox{\symbol{'360}}}}\tilde\chi^0_0\bigr]-3\bigl[\chi^0_0,{}_0{{\mbox{\symbol{'360}}}}'\chi^0_0 \bigr],\ ] ] while the defining equation ( [ eq:4.3 ] ) of @xmath315 to    @xmath327 .
\label{eq:4.4}\ ] ]    writing @xmath328 for some spin weight @xmath317 functions @xmath329 and expanding the latter as @xmath330 , equation ( [ eq:4.4 ] ) yields    @xmath331    thus @xmath332 can always be non - zero , and if @xmath333 , the ` charge matrix ' in the adjoint representation , has only one eigenvector with zero eigenvalue then @xmath334 for arbitrary constants @xmath335 .
if , in addition to @xmath310 , there are other eigenvectors with zero eigenvalue , say @xmath336 , ... etc , then @xmath332 will be a linear combination of all them with arbitrary coefficients @xmath335 , @xmath337 , ... etc .
however , @xmath338 for @xmath339 can be nonzero only in the exceptional case when @xmath340 is an eigenvalue of @xmath333 .
( for a more detailed discussion of @xmath333 see subsection [ sub - a.2.2 ] . ) substituting these into the definition of @xmath341 $ ] , by integration by parts we obtain    @xmath314=-\frac{1}{2}\oint\omega^\mu g_{\mu\nu}c^\nu _
{ \alpha\beta}\bigl(4c^\alpha k^\beta+\bigl({}_0{{\mbox{\symbol{'360}}}}h^\alpha\bigr ) \tilde h^\beta+2h^\alpha\bigl({}_0{{\mbox{\symbol{'360}}}}\tilde h^\beta\bigr)+3h
^\alpha\bigl({}_0{{\mbox{\symbol{'360}}}}'h^\beta\bigr)\bigr){\rm d}{\cal s}_1 ,   \label{eq:4.6}\ ] ]    where the functions @xmath342 , @xmath343 and @xmath344 have been introduced via @xmath345 , @xmath346 and @xmath347 , respectively .
thus , in particular , if the lie algebra @xmath33 is abelian , then by ( [ eq:4.6 ] ) @xmath318=0 $ ] , in accordance with the known fact that the np quantities are vanishing for ( an abelian multiplet of ) stationary maxwell fields .
thus in the rest of the paper we assume that @xmath33 is not abelian .
first suppose that @xmath333 is generic ( see appendix [ sub - a.2.3 ] ) .
then the only non - zero expansion coefficients of @xmath329 in terms of spin weighted spherical harmonics is @xmath348 , while the expansion coefficients of @xmath342 and @xmath344 ( and in the complex case of @xmath343 , too ) are determined in appendix [ sub - a.2.3 ] . substituting those solutions into equation ( [ eq:4.6 ] ) , using the notation of the appendix and elementary properties of the edth operators and the spin weighted spherical harmonics ( e.g. the orthogonality of these harmonics with different indices ) , we obtain    @xmath314=-\frac{1}{2}\oint\omega^\mu g_{\mu\nu}\bigl ( \sum_{m=-1}^1\bigl(c^\nu{}_\alpha k^\alpha_{1m}+h^\nu_{1m}\bigr)\,{}_1 y_{1m}\bigr){\rm d}{\cal s}_1.\ ] ]    in the special case when the only eigenvector of @xmath333 with zero eigenvalue is @xmath310 and @xmath349 is not an eigenvalue of @xmath333 this reduces to zero .
thus the non - abelian nature of the lie algebra @xmath33 in itself is _ not _ enough to have non - trivial np quantities . if , however , @xmath349 is an eigenvalue and @xmath350 are the corresponding eigenvectors , then @xmath318 $ ] can be non - zero . in the other extreme case
when @xmath351 ( e.g. when the total charge is vanishing ) it gives @xmath352 , which is a _ homogeneous quadratic expression of the coefficients @xmath353 and @xmath354 characterizing the dipole structure of the yang
mills field_.    we saw in appendix [ sub - a.2.3 ] that for the lie algebras @xmath355 , @xmath356 , and @xmath357 the charge matrix has only one eigenvector with zero eigenvalue while for @xmath358 there are two , moreover there could be exceptional configurations for the last three lie algebras , but not for @xmath355 . therefore , for the lie algebra @xmath355 in general and for @xmath356 , @xmath359 and @xmath358 in the generic case the np quantities can be non - vanishing e.g. when the total charge is zero .
finally we consider the exceptional configurations of appendix [ sub - a.2.3 ] . in this case
the solution of ( [ eq:4.5 ] ) is @xmath360 . substituting this and the solution of ( [ eq : a.2.11 ] ) into ( [ eq:4.6 ] ) , and using the orthonormality of the spin weighted spherical harmonics on the unit sphere
, we obtain that    @xmath314=\frac{1}{4}g_{\mu\nu}\bigl(\sum_{m=-1}^1 ( -)^m\omega^\mu_{1-m}\bigl(2c^\mu{}_\alpha k^\alpha_{1m}+k^\nu_{1 m } \bigr)+\sum_{m =- j}^j(-)^m\omega^\mu_{j - m}\bigl(2c^\mu{}_\alpha k ^\alpha_{jm}+k^\nu_{jm}\bigr)\bigr),\ ] ]    which can also be non - zero in general , even if the charge matrix has a single eigenvector with zero eigenvalue . in this case , however , @xmath318 $ ] is built from _ higher _ , actually the @xmath361th order multipole moments @xmath362 and @xmath363 of the curvature .
in this appendix we summarize the structure of the yang
mills fields near a point ( subsection [ sub - a.1 ] ) and near the future null infinity in minkowski spacetime ( subsection [ sub - a.2 ] ) . for the generalization to the coupled einstein
mills equations in the newman
penrose formalism , see @xcite .
following @xcite we use the coordinates @xmath306 , where @xmath364 is the standard retarded null coordinate and @xmath365 are the complex stereographic coordinates on the unit sphere . the complex null newman
penrose tetrad @xmath64 is adapted to the @xmath366 , @xmath367 2-spheres , the edth operators on the unit metric sphere will be denoted by @xmath368 and @xmath369 and their action on a scalar @xmath370 of ghp type @xmath371 is @xmath372 and @xmath373 , respectively .
the components of the connection 1-form @xmath374 in the np basis are denoted by @xmath375 , @xmath204 , @xmath202 and @xmath203 , respectively .
the components of the curvature are @xmath376 , @xmath377 , @xmath378 , @xmath379 , @xmath380 and @xmath381 .
note that for real connections @xmath375 and @xmath204 are real and @xmath382 is the complex conjugate of @xmath202 .
similarly , also for real connections , @xmath82 , @xmath383 and @xmath384 are complex conjugate of @xmath385 , @xmath84 and @xmath386 , respectively , but for general complex connections they are independent .    in the gauge @xmath387 of newman
@xcite the expression of the components of the field strength by the components of the connection 1-forms and the field equations ( [ eq:2.1 ] ) together with the bianchi identities take the form    @xmath388 , \label{eq : a.1b } \\ \frac{\partial\chi_1}{\partial r}\!\!\!\!&+\!\!\!\!&\frac{2}{r}\chi_1   -\frac{1}{r}{}_0{{\mbox{\symbol{'360}}}}'\chi_0=-\bigl[\chi_0,\gamma_{10'}\bigr]+   2\pi j_{00 ' } , \label{eq : a.1c } \\ \frac{\partial\chi_2}{\partial r}\!\!\!\!&+\!\!\!\!&\frac{1}{r}\chi_2   -\frac{1}{r}{}_0{{\mbox{\symbol{'360}}}}'\chi_1=-\bigl[\chi_1,\gamma_{10'}\bigr]+   2\pi j_{10 ' } , \label{eq : a.1d } \\ \frac{\partial\gamma_{10'}}{\partial u}\!\!\!\!&=\!\!\!\!&-\chi_2 +   \frac{1}{2}\frac{\partial\gamma_{10'}}{\partial r}+\frac{1}{2r }   \gamma_{10'}+\frac{1}{r}{}_0{{\mbox{\symbol{'360}}}}'\gamma_{11'}+\bigl[\gamma_{10 ' } ,   \gamma_{11'}\bigr ] , \label{eq : a.1e } \\ \frac{\partial\chi_0}{\partial u}\!\!\!\!&=\!\!\!\!&\frac{1}{2 }   \frac{\partial\chi_0}{\partial r}+\frac{1}{2r}\chi_0+\frac{1}{r }   { } _ 0{{\mbox{\symbol{'360}}}}\chi_1+\bigl[\chi_0,\gamma_{11'}\bigr]-\bigl[\chi_1 ,   \gamma_{01'}\bigr]-2\pi j_{01 ' } , \label{eq : a.1f } \\ \frac{\partial\chi_1}{\partial u}\!\!\!\!&=\!\!\!\!&\frac{1}{2 }   \frac{\partial\chi_1}{\partial r}+\frac{1}{r}\chi_1+\frac{1}{r }   { } _ 0{{\mbox{\symbol{'360}}}}\chi_2+\bigl[\chi_1,\gamma_{11'}\bigr]-\bigl[\chi_2 ,   \gamma_{01'}\bigr]-2\pi j_{11'}. \label{eq : a.1 g } \end{aligned}\ ] ]    the first four are only the constraint ( or ` hypersurface ' ) equations , while the remaining three are the evolution equations . in the complex case
there are analogous equations for the independent curvature components @xmath305 , @xmath82 and @xmath383 , too .      in the small sphere limit calculations of subsection [ sub-3.4.1 ] we need to know only @xmath84 and @xmath202 on the light cone of the point @xmath182 .
thus we need to solve only ( [ eq : a.1a])-([eq : a.1c ] ) with the accuracy required by the small sphere calculations .
hence we expand the components of the curvature and the connection 1-form as @xmath389 and @xmath390 , respectively , as well as @xmath391 .
then the solution of ( [ eq : a.1a ] ) and its tilded version is          equations ( [ eq : a.1.1a])-([eq : a.1.2 ] ) give all the components of the connection 1-form in terms of the curvature , except @xmath394 , which remains undetermined .
this , however , can be made zero by an appropriate gauge transformation .
the various components of the curvature are not independent either , as they are restricted by ( [ eq : a.1c ] ) and ( [ eq : a.1d ] ) .
since we need only @xmath84 , we evaluate only the former . using ( [ eq : a.1.1a ] ) it gives      the difference of these and their tilded version reproduces the expressions for @xmath396 , ... etc
obtained from ( [ eq : a.1b ] ) and its tilded version .
the expressions for the expansion coefficients of @xmath397 can be derived from ( [ eq : a.1d ] ) in an analogous way .      in @xcite newman
solved the source free yang
mills equations near the future null infinity , and determined the freely specifiable functions of such solutions . in subsection [ sub - a.2.1 ]
we present the results of the analogous analysis with the higher accuracy of the asymptotic expansion required by the analysis of section [ sec-4 ] . in subsection [ sub - a.2.2 ]
the asymptotic field equations are solved in certain special stationary configurations . in subsection [ sub - a.2.3 ]
we discuss some examples with specific gauge groups .
@xmath400\bigr ) , \label{eq : a.2.1.b } \\ & { } & \dot\chi^0_0={}_0{{\mbox{\symbol{'360}}}}\chi^0_1+\bigl[\gamma^0,\chi^0_1\bigr ] ,    \label{eq : a.2.1.c } \\ & { } & \dot\chi^1_0=-{}_0{{\mbox{\symbol{'360}}}}'\bigl({}_0{{\mbox{\symbol{'360}}}}\chi^0_0+\bigl[\gamma   ^0,\chi^0_0\bigr]\bigr)-\bigl[\tilde\gamma^0,{}_0{{\mbox{\symbol{'360}}}}\chi^0_0 +   \bigl[\gamma^0,\chi^0_0\bigr]\bigr]+3\bigl[\chi^0_1,\chi^0_0\bigr ] ,    \label{eq : a.2.1.d } \\ & { } & 2\dot\chi^2_0=-{}_0{{\mbox{\symbol{'360}}}}\bigl({}_0{{\mbox{\symbol{'360}}}}'\chi^1_0+\bigl[\tilde   \gamma^0,\chi^1_0\bigr]+\bigl[\chi^0_0,\tilde\chi^0_0\bigr]\bigr)-   \bigl[\gamma^0,{}_0{{\mbox{\symbol{'360}}}}'\chi^1_0+\bigl[\tilde\gamma^0,\chi^1_0   \bigr]+\bigl[\chi^0_0,\tilde\chi^0_0\bigr]\bigr]-   \nonumber \\ & { } & \quad -3\chi^1_0+\bigl[\chi^1_0,3\chi^0_1 + 2\tilde\chi^0_1\bigr]-   \bigl[\chi^0_0,3\bigl({}_0{{\mbox{\symbol{'360}}}}'\chi^0_0+\bigl[\tilde\gamma^0,\chi   ^0_0\bigr]\bigr)+\bigl({}_0{{\mbox{\symbol{'360}}}}\tilde\chi^0_0+\bigl[\gamma^0 ,   \tilde\chi^0_0\bigr]\bigr)\bigr ] ; \label{eq : a.2.1.e}\end{aligned}\ ] ]    and there are the analogous ones for @xmath401 , @xmath402 , ... etc obtained from ( [ eq : a.2.1.a])-([eq : a.2.1.e ] ) by formally taking their complex conjugate . ( the dot denotes derivative with respect to the retarded time coordinate @xmath293 . ) here @xmath403 is an arbitrary function ( and , for complex bundle and connection , @xmath404 is also ) , but the functions @xmath405 , @xmath406 , ( and , in the complex case , @xmath407 , too ) can be specified freely only at a given retarded time instant @xmath295 .
their time evolution is governed by ( [ eq : a.2.1.c])-([eq : a.2.1.e ] ) ( and the analogous tilded equations ) .
similarly , the sum @xmath297 can be freely specified at @xmath295 , but the difference @xmath408 is already determined by @xmath307 and @xmath308 via      it is a simple calculation to check that the evolution equation ( [ eq : a.2.1.b ] ) and its tilded version preserve ( [ eq : a.2.2 ] ) . geometrically @xmath307 and @xmath308 are the leading ( @xmath410 order ) term in the asymptotic expansion of @xmath202 and @xmath203 , respectively , and they are analogous to the asymptotic shear in general relativity , while @xmath296 and @xmath401 represent the outgoing radiation . in terms of these
the expansion coefficients @xmath411 , @xmath412 , @xmath413 and @xmath414 are given by    @xmath415\bigr ) , \label{eq : a.2.3.a } \\ & { } & \chi^2_1=-\frac{1}{2}\bigl({}_0{{\mbox{\symbol{'360}}}}'\chi^1_0+\bigl[\tilde   \gamma^0,\chi^1_0\bigr]+\bigl[\chi^0_0,\tilde\chi^0_0\bigr]\bigr ) ,    \label{eq : a.2.3.b } \\ & { } & \chi^1_2=-\bigl({}_0{{\mbox{\symbol{'360}}}}'\chi^0_1+\bigl[\tilde\gamma^0,\chi^0   _ 1\bigr]\bigr ) , \label{eq : a.2.3.c } \\ & { } & \chi^2_2=\frac{1}{2}\bigl({}_0{{\mbox{\symbol{'360}}}}'\bigl({}_0{{\mbox{\symbol{'360}}}}'\chi^0_0 +   \bigl[\tilde\gamma^0,\chi^0_0\bigr]\bigr)+\bigl[\tilde\gamma^0,{}_0   { { \mbox{\symbol{'360}}}}'\chi^0_0+\bigl[\tilde\gamma^0,\chi^0_0\bigr]\bigr]-\bigl [   \chi^0_1,\tilde\chi^0_0\bigr]\bigr ) , \label{eq : a.2.3.d}\end{aligned}\ ] ]        let the yang  mills field be stationary with respect to @xmath293 , i.e. all the dot - derivatives are vanishing . newman and penrose showed @xcite that in the analogous gravitational case the asymptotic shear can be made zero by an appropriate supertranslation of the origin cut .
however , now the integrability condition of the _ local _ existence of a gauge transformation @xmath421 taking @xmath307 and @xmath308 to zero is the vanishing of the corresponding curvature , which is proportional to the right hand side of ( [ eq : a.2.2 ] ) .
hence , for example , in the presence of magnetic charges ( see equation ( [ eq:3.1.b ] ) ) there is no such a gauge transformation .
thus in the rest of this subsection we consider those special stationary solutions of the asymptotic field equations in which @xmath422 and @xmath423 can be ensured even _ globally _ , and hence @xmath424 holds .
thus the total magnetic charges are vanishing .
( if the connection is real , then @xmath291 is also real . ) then equation ( [ eq : a.2.1.c ] ) immediately gives that @xmath291 is _ constant _ on @xmath63 , and hence has the form @xmath425 for some constants @xmath310 .
these constants are real for real bundles and connections , while in the complex case they are complex but @xmath426 .
we saw in subsection [ sub-3.4.3 ] that the constants @xmath310 represent the total charges .
thus the expansion coefficients @xmath432 must be eigenvectors of @xmath333 with the _ real non - positive _ eigenvalues @xmath437 . by
the definition of the charge matrix @xmath438 holds , i.e. @xmath439 is always an eigenvalue with eigenvector @xmath310 .
thus , in particular , @xmath440 can always be non - zero , and if @xmath310 is the only eigenvector of @xmath333 with zero eigenvalue then @xmath441 for some constants @xmath442 .
if the dimension of the kernel space of @xmath333 is @xmath443 , then @xmath440 will be the linear combination of the vectors of a basis of this kernel with arbitrary constants @xmath442 , @xmath444 , ... etc .
however , since @xmath333 is a finite matrix , it may have only finitely many eigenvalues , and hence only finitely many coefficients @xmath432 can be non - zero . nevertheless , since the total ( electric ) charges @xmath310 can be specified freely , in general no eigenvalues of @xmath333 has the form @xmath445 for some @xmath339 .
therefore , apart from the exceptional cases in which the charges have this structure , the expansion coefficient functions @xmath303 and @xmath446 are combinations only of the spherical harmonics @xmath447 and @xmath448 , respectively .
thus the general solution of the homogeneous equation contains non - trivial @xmath452 for @xmath454 only if the matrix @xmath455 is chosen to be very special .
this solution depends only on finitely many parameters .
a particular solution of the inhomogeneous equation ( [ eq : a.2.6 ] ) can also be found by using the spin weighted spherical harmonics and the expansion of their product , @xmath456 , by the appropriate clebsch
gordan coefficients and the spherical harmonics @xmath457 , @xmath458 .
thus , to summarize , in the present special stationary case the asymptotic field equations can be integrated completely and these solutions ( with the second order accuracy , i.e. keeping only @xmath459 , @xmath460 and @xmath291 ) can be indexed by the freely specifiable total ( electric ) charges @xmath310 and the expansion coefficients @xmath440 and @xmath461 ( and , in the complex case , by @xmath462 and @xmath463 , too ) .
other parameters may occur in the solutions ( viz .
in the expansion coefficients @xmath464 , @xmath460 , etc ) _ only _ when the charges are chosen in very specific ways .
first consider the generic case , i.e. when no non - vanishing eigenvalue of @xmath333 has the form @xmath465 for some @xmath466 .
then by ( [ eq : a.2.5 ] ) we have that @xmath467 and @xmath468 , and then , using the expressions how the edth operators act on the spin weighted spherical harmonics , ( [ eq : a.2.6 ] ) reduces to      its second line can be written as @xmath470 , where @xmath471 , @xmath472 , are explicitly given , homogeneous quadratic expressions of @xmath440 and @xmath462 , and are built also from the structure constants and the clebsch  gordan coefficients . with this substitution
we obtain that      moreover , if @xmath333 has an eigenvalue @xmath474 for some @xmath475 then @xmath476 are its eigenvectors while @xmath477 for all @xmath478 ; otherwise the coefficients @xmath452 are vanishing for all @xmath479 .
the first of ( [ eq : a.2.9 ] ) can be inverted to find the unique solution @xmath350 precisely when @xmath349 is not an eigenvalue of @xmath333 , otherwise the corresponding eigenvector can be freely added to the particular solution .
similarly , @xmath480 is determined only up to the general solution of the homogeneous equation @xmath481 .    if the only eigenvector of @xmath333 with zero eigenvalue is the charge vector @xmath310 , then @xmath441 and @xmath482 , which imply that @xmath483 .
( for the sake of simplicity we assume that the structure constants are real . )
hence @xmath350 is either an arbitrary combination of the eigenvectors of @xmath333 with eigenvalue @xmath349 or zero , while @xmath480 is a solution of @xmath481 .
if , in addition to @xmath310 , @xmath336 is another eigenvector of @xmath333 with zero eigenvalue , then @xmath484 , implying that @xmath471 are proportional to @xmath485 , i.e. @xmath483 again . in the other extreme special case when the charge matrix is vanishing ( e.g. if @xmath486 ) @xmath487 holds , @xmath480 are arbitrary , but now @xmath488 must hold .
this yields restrictions on the coefficients @xmath440 and @xmath462 .
the evaluation of the explicit formulae show that then @xmath489 , but @xmath490 are still non - zero .    to illustrate the above possibilities , let us specify the lie algebra @xmath33 .
first it is chosen to be the abstract lie algebra @xmath491 , @xmath355 ( i.e. @xmath492 ) or @xmath357 ; and let us choose the basis @xmath493 such that @xmath494=\mp e_1 $ ] , @xmath495=e_2 $ ] and @xmath496=e_3 $ ] , where the upper sign corresponds to @xmath356 and the lower to @xmath355 and @xmath357 . in this basis the components of the killing
cartan metric are @xmath497 .
the eigenvalues of @xmath498 are @xmath439 , in which case the corresponding eigenvector is proportional to the total charge vector @xmath310 , and @xmath499 .
the non - zero eigenvalues can be real for @xmath500 if @xmath501 and for @xmath502 also in special cases ( e.g. for purely imaginary @xmath310 ) , but never for @xmath503 .
thus the configurations for @xmath503 are always generic .    from the point of view of general relativity
the most interesting choice for @xmath33 is the abstract lorentz lie algebra @xmath358 .
we choose its basis @xmath504 to be the standard one , i.e. in which @xmath493 is the basis above for @xmath355 while @xmath505 , @xmath506 and @xmath507 are the ` boost generators ' such that @xmath508=0 $ ] , @xmath509=e_6 $ ] , ... etc . in this basis
the killing
cartan metric is @xmath510 .
one eigenvalue of the charge matrix is zero with eigenvectors @xmath310 and @xmath511 ( as a column vector ) .
clearly , @xmath512 .
the ( square of the ) non - zero eigenvalues are @xmath513 .
thus @xmath514 is real precisely when @xmath515 and @xmath516 , and , in contrast to @xmath355 , for special values of @xmath310 the non - zero eigenvalues could have the form @xmath517 or @xmath518 for some @xmath466 .        where @xmath440 and @xmath362 are arbitrary combinations of the eigenvectors of @xmath333 with zero and @xmath522 eigenvalue , respectively .
if we substitute this and the analogous expression for @xmath343 into ( [ eq : a.2.6 ] ) , use elementary properties of the edth operators and the spin weighted spherical harmonics and write the products of such harmonics as combinations of spherical harmonics with clebsch  gordan coefficients , we obtain      here @xmath524 can be given explicitly in terms of @xmath525 , @xmath526 , @xmath362 , @xmath363 , the structure constants and clebsch  gordan coefficients .
since we assumed that @xmath333 has non - zero eigenvalues , it can not be identically zero , and , for the sake of simplicity , let us assume that @xmath455 does not have more than two eigenvectors with zero eigenvalue .
then @xmath527 ( see the paragraph following equation ( [ eq : a.2.9 ] ) ) .
then , evaluating ( [ eq : a.2.11 ] ) , we find that @xmath477 for @xmath528 , @xmath452 are uniquely determined for @xmath529 , and @xmath461 are determined up to the addition of the general solution of the homogeneous equation @xmath530 .
the authors are grateful to ted newman and paul tod for the helpful discussions on various aspects of the problem , and to stanislaw bazanski and piotr chrusciel for their remarks on the np quantities and the spatial infinity limit of the charges , respectively , in yang
mills theories .
this work was partially supported by the hungarian scientific research fund ( otka ) grant k67790 .
f. w. hehl , j. d. mccrea , e. w. mielke , y. neeman , metric - affine gauge theory of gravity : field equations , noether identities , world spinors , and breaking of dilation invariance , phys . rep . *
285 * 1 - 171 ( 1995 )