A NNALES DE L ’I. H. P., SECTION A
E. S CHNIRMAN
C. G. O LIVEIRA
Conformal invariance of the equations of motion in curved spaces
Annales de l’I. H. P., section A, tome 17, n
o4 (1972), p. 379-397
<http://www.numdam.org/item?id=AIHPA_1972__17_4_379_0>
© Gauthier-Villars, 1972, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
379
Conformal invariance of the equations
of motion in curved spaces
E. SCHNIRMAN and C. G. OLIVEIRA
Centro Brasileiro de Pesquisas Fisicas
Vol. XVII, n° 4, 1973, Physique théorique.
ABSTRACT. - The conformal invariance of the classical and
quantum equations
of motion in curved spaces is studied. It is shown that this invariance may be obtained withoutconsidering
any mass variation.This is
possible
due to a suitable modification of the metric of the Rieman- nianspace-time.
The arc element of the newgeometry depends
onthe values assumed
by
a vector fieldalong
atrajectory leading
to thepoint
under consideration. This new formulation may be called a semi-metricalformulation,
in the sense that notonly
the metric(x)
is a fundamental
object,
but also the vector field.INTRODUCTION
In the
study
of the conformal invariance of the fundamentalequations
of
physics [1]
it isassumed,
ingeneral,
that the rest mass of theparticles
transform in a
specified
way in order to assure the conformal invariance of thoseequations.
As we will see, any realization of the rest masstransforming
in that way must bedependent
on the coordinates. In theparticular
case of the fifteenparameter
conformal group of the flat space, the rest mass has todepend
on the scale and acceleration para-meters,
as well as on the coordinates. Since thesequantities
mayassume any continous range of
values,
weget
arepresentation
of themass
depending
on a continuous set of variables. From thepoint
ofview of the
theory
ofelementary particles
this fact has nophysical interpretation.
In thisconnection,
it isusually
said that conformalsymmetry
holdsonly
athigh energies,
the rest energy of theparticles being neglectable compared
to their kinetic energy[2].
In the classicaltheory
we may, inprinciple,
allow a mass variation of this sort, if for380 E. SCHNIRMAN AND C. G. OLIVEIRA
instance we think at the conformal correction to m as a scalar interaction
acting
on thesystem,
that is in terms of the actionintegral :
where meff =
(m
+::£9)
is the eflective mass of thesystem,
whichcould, eventually,
assume a continuous range of values. However this inter-pretation
has noanalog
in thequantum theory.
Presently
we propose a redefinition of thespace-time
metric in a sucha way that the rest mass becomes conformal invariant. This is done for the case of curved manifolds. With the new
metric,
that means, with the newgeometry,
the arcelement,
calculated at anyregular point
for
(x) (the
metric of a Riemannianspace),
willdepend
on the lineintegral
of a vector fieldalong
atrajectory
which leads to thispoint
without
crossing
any world line ofsingularity
for ~(x).
It is
important
to note that the introduction of this vector field does not absorb the dilatation transformations in flatspace-time,
so that aconformal invariant scalar mass is
only
achieved in curved spaces satis-fying
aparticular
condition[(1.10),
in thetext].
The notation used is the
following : greek
letters denote valuesgoing
from 0 to
3,
latin letters indicate values from 1 to 3. Usualpartial
derivatives are denoted
by
a comma, orby
if thisoperates
on anyquantity independent
on thepath
ofintegration
referred above. Thesymbol d,
will be used fordenoting
the derivatives of thepath dependent objects.
A semi-colon denotes the covariant differentiation for the metric(x)
or anypath-independent object
and thesymbol D~
indicatesthe covariant differentiation for the new metric. The metric tensor
(x)
is taken with a localsignature equal
to - 2.1. THE CONFORMAL GROUP :
CONFORMAL TRANSFORMATIONS ON THE METRIC
We will think at the conformal group as the group of
general
transfor-mations which consists of the manifold
mapping
group(M.
M.G.),
the group of the
general
coordinate transformations such thatand the transformation group of the metric tensor, such
that,
underthe action of this group denoted in the
following by Cg [3] :
7
(x)
anarbitrary
function at least of the class C2.EQUATIONS
Due to this variation of the
metric,
thegeodesic
of a Riemannianspace is not conformal
invariant,
since the Christoffelsymbols transform,
under
Cg,
as , , . ,Weyl
has solved thisdifficulty,
in histheory
ofgravitation
and electro-magnetism by introducing
a conformal invariant semi-metricalsymmetric affinity by
means of the condition :This condition does not determine
uniquely (x)
andAx (x),
due tothe fact
that, given
apair (gL’I’ Ax),
which satisfies(1.4),
there is aninfinity
of otherpossible pairs (x), A~ (x)] satisfying
the same condi-tion
[4], provided
that :(x)
a scalarfunction]. However,
as it may beeasily proved,
the semi-metrical
symmetric affinity
ofWeyl’s
formulation is form invariant under the passage from onepair
of solutions of the fundamental condition to another. The first half of the above transformation repre- sentsjust
the conformal transformation of the metric and thus weobtain a conformal invariant
affinity by considering
as fundamentalobjects
the metric and a vector fieldAx.
InWeyl’s theory Ax
isinterpreted
as theelectromagnetic potentials.
Other variations of thistheory
have beenproposed
in such a form thatAx (x)
isinterpreted
as an
object proportional
to the metric[5] However,
the determi- nation of conformal invariantequations
ofmotion,
in these «purely
metrical formulations », seems to us very
complicated and,
moreover,the conformal invariance is not obtained without
considering
a confor-mally
covariant variation on the rest mass of theparticles.
Since
apparently
there is nophysical interpretation
for such variation in the mass, it would beinteresting
to look for otherpossible
form ofobtaining equations
of motion which are invariant under the conformal group such that the rest mass is also conformal invariant.For
obtaining
thistype
offormalism,
wemodify
the form of themetric,
instead ofmodifying
the form of theaffinity.
For this modification in gyw we follow an idea of Mandelstam[6]
who showed how to definegauge-invariant quantities
with a matter fieldinteracting
with theelectromagnetic
field. Thedisadvantages
of the current formulations ofquantum electrodynamics,
which use thepotentials
as the fundamental variablesand, therefore, depend
onparticular
gauges(as,
forinstance,
the Coulomb or the Lorentzgauge),
are notpresent
in the formulation382 E. SCHNIRMAN AND C. G. OLIVEIRA
in terms of
operators
whichkeep unchanged
under gauge transformations.In this way, the introduction of
non-physical
states normalized withrespect
to a non definite metric(Lorentz gauge)
or the use oflagrangeans
which are not
manifestly
Lorentz-invariant(Coulomb gauge)
is notnecessary.
For the
electromagnetic
fieldinteracting
with a scalarfield,
the gauge- invariant variables of the matter field are defined asThe
equations
of motion are constructed with the totalgauge-invariant
Lorentz covariant
Lagrangian :
where
The commutation rules among the gauge invariant
operators
aredetermined in the usual way,
leading
to thequantization
of the electro-magnetic
field whichdepends only
ongauge-independent quantities.
In this paper, we consider the conformal
changing
on the metric as agauge transformation on g,v
(x),
and then look for a redefinition of g~,., in such a form that it becomesgauge-invariant.
With this
aim,
we define(in
a cartesiansystem
ofcoordinates,
forconvenience) :
/ ~~ 1
where the
integration
is taken over atrajectory
Pstarting
at Xin, withoutcrossing
any world-line ofsingularity
for and in such a form that03B60 x0 (since
this is reasonable from thephysical point
of view-propagation
effects of the vector field in the manifoldobey
thecausality law) ;
the krx in(1.8)
is defined as a four vector under thegeneral
coordinatetransformations,
andchanges
underC~
as. It is
interesting
to note that these two simultaneousrequirements
do not allow a direct
representation
for ~x in terms of the metric gu.,and its derivatives ~.
Indeed,
we may form thequantities :
which
obey
the transformation law(1.9)
butthey
do not transform asa fourvector under curvilinear coordinate transformations. This
implies
that we must
keep
k;x as a set ofindependent variables,
of the same fundamental order as ~. A conformal invariantformulation,
as weintend
presently,
will need bothtypes
ofquantities. (x, P),
definedby (1.8)
will be conformal-invariant if weimpose
on the transformation function 03C3(x)
the condition :It is
important
to note that our formalism does not absorb the scaletransformations
(or dilatations)
inflat-space
time(remember
that thespecial
conformal group Cu contains thedilatations) for,
in this case,we have
under
Cg,
But in flat
space-time,
under an infinitesimal transformationwhere ~’~
are thegenerators
of the infinitesimal conformalspecial
group,with
~ : translation
parameters;
2~ : parameters
of the Lorentz group;fi
: dilatationparameter;
ax :
special
conformalparameter;
we
obtain,
At any fixed
point,
such as x;n, which may,eventually,
be taken as Xin =0,
384 E. SCHNIRMAN AND C. G. OLIVEIRA
Then
(1.10 a)
is conformal invariantonly
forspecial
transformations notcontaining
dilatations. We conclude that the introduction of avector field
k, (x)
does not absorb scale transformations. This is inagreement
with thegeneral assumption
that conformal Co-invariance isonly
verified athigh energies (the operator
of Hilbert space associated to thegenerator
of scale transformations has a continuousspectrum
ofeigenfunctions), implying
continuous rest-mass values(which
areneglec-
table at
high energies) [2].
As we will see in thefollowing,
a conformal-invariant scalar mass is
only
realizable in curved spacessatisfying
condi-tion
(1.10).
Although having
used a cartesiansystem
of coordinates for the defi- nition of(x, P)
and of thelimiting conditions,
we note that this may be done in any coordinatesystem,
since we haveimposed
that kx is aworld fourvector.
Denoting by
o(x, P)
the value of theintegral present
in
(1.8),
we haveUnder a coordinate transformation to a curvilinear
system
of coordi- nates, weget :
The
integration
in(1.8)
willdepend
on the choice of thetrajectory,
in each fixed coordinate
system.
Consider twopaths
Pi and P2 whichcoincide at all
points, except
at somepoint x
wherethey
differby
asmall
loop. Calling
the area of this infinitesimal closedloop by
we
get
from Stoke’s theorem :where
Thus,
there will beindependence
on the choice of thetrajectory,
if kxis a
gradient. However,
we will notimpose
anyparticular
form for kx.2. THE CONFORMAL INVARIANT DERIVATIVES The derivatives of
G,w
aregiven by
where
by x
we indicate theremaining
set of variables which do not vary, the variation in thetrajectory
Pbeing generated by
the variation3x>,
in the coordinate x:~. It may be shown that this variation in thetrajec- tory
tends to zero in the limit A~ 2014~0,
so that we can define the derivatives ofG~~ by
the usual formulawhich
gives
Under a conformal transformation :
This shows
explicitly
that the first kind Christoffelsymbols
constructed with theGap (x, P)
are conformal invariant :The
quantities p, } depend
on the choice of thetrajectory
P. However the second kind Christoffelsymbols :
are also conformal-invariant and
independ
on the choice of thetrajec- tory P,
sincethey
can be writtenentirely
in terms ofpath independent quantities
For the definition of
r ~
we have used the convention that the tensor index of anypath dependent quantity,
e.(x, P)
is raised(or lowered) by
GÀp(Gxp)
associated to the sametrajectory :
In
particular,
but
386 E. SCHNIRMAN AND C. G. OLIVEIRA
if
In
general,
allpath independent
conformal invariantquantities
areequivalent
to thecorresponding objects
inWeyl’s theory.
Forinstance,
theaffinity
is the same as theWeyl affinity.
Theonly
differenceis that now is the second kind Christoffel
symbol
for and itsreciprocal.
Thisinterpretation
is not obtained inWeyFs geometry.
By
the otherhand, objects
like(x, P)
andx, ~y ; (x, P)
which areconformal
invariant,
butdepend
on thetrajectory
P, do not exist inWeyl’s
formulation. As it will be shown in the nextsection,
isjust
the existence of such
objects
that will allow a formulation of theequations
of motion in a conformal invariant
form,
withoutrequiring
any trans- formation on the rest mass of theparticles.
The order in which conformal invariant derivatives appear cannot be
interchanged.
Astraightforward
calculation shows that :The tensor
standing
on theright
hand side of(2.6)
is a fourth rankconformal invariant tensor.
We saw that
ðp Gxp (x, P)
is conformalinvariant,
nevertheless it is not a third rank tensor withrespect
to curvilinear coordinate transfor- mations. Forobtaining
a conformal invariant third rank tensor out ofd~ 0x3
we introduce the conformal invariant covariant derivativeDp by
where is the
corresponding affinity, which, by definition,
has to be conformal invariant. Weimpose
the conditionFor another
trajectory
P’ = P + oP :EQUATIONS
Since for any choice of the
affinity,
we havewe
get,
to first order in the variations :Then,
the condition(2.8)
will holdindependently
of thetrajectory only
ifthat
is,
The
afinity
which is obtained from the conditions(2.8)
and(2.10)
is the second kind Christoffel
symbols
calculated for(x, P)
and itsreciprocal :
3. THE CONFORMAL INVARIANT CURVATURE TENSOR The conformal invariant curvature tensor associated to
(x, P)
is
is
independent
on the choice of thetrajectory
and as can beeasily verified, antisymmetric only
on the lastpair
ofindices, contrarily
to -the Riemannian curvature tensor, which is
antisymmetric
on bothpair
of indices.The Ricci tensor
contains a
symmetric
and anantisymmetric part,
the lastbeing,
388 E. SCHNIRMAN AND C. G. OLIVEIRA
Starting
from theidentity :
we arrive at the
following
relationwhere
The affinities
being symmetric,
the Bianchi identities are verified :Then,
Recalling
thata
straightforward
calculation leads towhere
Writing
we have for
equation (3.6) :
which are the contracted Bianchi identities
[7]
for this case.4. THE CLASSICAL
AND
QUANTUM EQUATIONS
OF MOTIONThe classical
equation
of motion forelectromagnetic
interactions iswhere e and m are
respectively
thecharge
and rest mass of theparticle..
The
velocity
four-vector is u"= ,2014 ?
dsbeing
the line element Riemannianspace-time geometry.
This
equation
is not form-invariant underCg, mainly
due to the beha-viour of the metrical
affinity,
the Christoffelsymbols
for gtJ.’J(x).
Tomake
(4.1)
conforminvariant,
we maytry,
as a firstapproximation,
to
replace
the metricalaffinity ) £ 10/
1by
the semi-metricalaffinity rgy
given by (2.5).
But the conformal covariance of theequation
of motionwill
only
be attained if the rest mass varies underC,. Indeed,
deno-ting by
we see
that,
underCg :
(use
that theelectromagnetic
fieldstrength
do notvary). Thus,
inorder to obtain conformal
covariance,
the rest mass has to transform asA variation of this
type
in the rest mass wasprimarily proposed by
Schouten and
Haantjes [1].
Since our initial aim was to avoid sucha transformation in the mass, we will look for a conformal invariant
equation
of motion forelectromagnetic interactions, starting
fromconformal invariant field
equations, plus
the Bianchi identities(3.7).
(In analogy
with thetheory
of GeneralRelativity, where,
as it is wellknown,
we canget
the correctequations
of motion for theparticle, represented
aspoint singularities,
from the fieldequations.)
In our case, the field
equations
will beformally
derived from a varia- tionalprinciple,
whereG,v
is the variantquantity
which vanishes at theboundary
of the domain ofintegration.
Consider the
following
conformal invariantLagrangian density
forempty space-time :
where a is a
constant,
and ui, u~ are the two field invariants constructedout of -
upon variations on we
get
the fieldequations
390 E. SCHNIRMAN AND C. G. OLIVEIRA
In these
equations, R,; represents
thesymmetric part
of thegeneralized
Ricci tensor, and
T~ ;
is theanalog
of the Maxwell stress tensor for the field variables o.j~ : :Since
we
obtain,
from(4.4),
thefollowing
conditionOr,
in terms of(x) and k (x),
we havewhere R is the Ricci scalar of the Riemannian
geometry.
As
(4. 4) represent
tenequations
for the fourteenquantities
g’f’J andA-p.,
we
impose
foursubsidiary
conditions :There is no way of
obtaining
theseequations
fromthe Lagrangean (4.3),
since the variations are taken on the
For a space with
charged matter,
we have theLagrangean density :
where
.~, f
denotes the freeLagrangean (4. 3), F~, :
:electromagnetic
fieldstrength;
A : :
density characterizing
thematter;
~, ~ :
constants.The field
equations
areSince :
where UV = is the
velocity
four-vector for ourgeometry
with line element dcr = dx"d~)’~,
andusing
thatfor p{O) and the
charge
and matter densities in the rest frame. We obtain from the identities(3.7) :
where we have
put
(4.10)
are the conformal invariantequations
of motion forparticles
of mass m and electric
charge
e.We may also
present (4.10)
in the formWe see, from this
equation,
that even in the case whereF,a
= 0and
r~a
=0,
theparticle
does not movealong
astraight line,
in thelocal
tangent plane,
due to the presence of the vector fieldk, (x) (1).
Observe that in
(4.10)
m is a conformal invariantscalar,
since allquantities
that enter into thisequation
are invariant inderCg.
Butwe should note that this invariance for m holds
only
in a non Riemannianspace,
resembling
close the so calledWeyl
space which appears in theunitary
fieldtheory proposed by Weyl.
Now we treat the case for the
quantum equation
ofmotion,
the Diracequation.
From the fundamental relationconnecting
thegeneralized
Dirac matrices y,
(x)
to the metric g,v(x),
it follows that y,
(x)
transforms underCg according
toThus,
to(x)
may becorresponded
the newobject
Such that from
(1.8)
we obtain the newequation replacing~(4.11),
(1) This was to be expected, since the local vanishing of the conformal invariant amnity does not imply that the Christoffel symbols vanish, but rather that they
are proportional to the local value assumed by the vector ka.
ANN. INST. POINCARE, A-XVII-4 27
392 E. SCHNIRMAN AND C. G. OLIVEIRA
The covariant derivative of the Dirac
spinor ’~ (x),
in the Riemannianspace, is
given by
Similarly
the covariant derivatives(x)
will begiven by
The
explicit expression
for thespin-affine
connection S’J(x)
isgiven by
the conditionsits
explicit
formbeing (see Appendix) :
From
(4 .13)
we obtain the conformal invariant derivative ofr~(.r, P)
in a form similar to
(2.1) :
As
before,
we note that this derivative is not a second rank tensor under the curvilinear coordinate transformations. Here thed~, IB
also do nottransform as a Dirac
spin-tensor
under the internal transformations.These two difficulties may be removed
by introducing
the conformal- invariant covariant derivativeD, rx (x, P) by
where we have taken
directly
theaffinity (x)
asgiven by
the conformalinvariant
expression (2.5),
and have considered that the internalaffinity
~? (x)
isindependent
oftrajectory [by
the same reason as in the casefor
G,v (x, P)].
We now set,accordingly
to(2.6)
and(4.14),
It is
important
to note that theexpression (4.13),
as well as the expres- sion(4.18),
for thecontravariant 03B303B1 (x)
take the formEQUATIONS
In
compact notation, introducing
we rewrite
(4.18)
and(4.22)
asThe
equation
that is obtained from(4.19)
and(4.20),
taken into consi- deration the notation introduced in(4.23)
and(4.24),
will beWhich is similar to
(4.17), except
that wereplace
the usual derivative7r~, since it
operates
on the ~,, andreplace / / / by
therx .
Thisy ~ P ’ p
91J
ynew internal
affinity ~~(~r), given by (4 . 25),
is conformal invariant.That
is,
underCb
we obtainThus,
theequation (4.15)
now becomesfor the conformal invariant coderivative of the Dirac
spinor.
Fromthis
equation
it followsdirectly
the form for Dirac’sequation.
In theusual versions this
equation
ispresented
asNow,
we write it under the formwhich is conformal
invariant,
without massvariation,
that means, m isconformal invariant.
Again
we note that thisequation depends
onvariables which contain
explicitly
thetrajectory P, namely
theIf we use instead of the ru the usual
matrices ; :~ (x),
the mass m has totransform in the form
given
before in order to maintain the form invariance of theequation.
394 E. SCHNIRMAN AND C. C. OLIVEIRA
1. -
Contrarily
to thegeneral assumption
that aspin 2 1
fieldchanges
underCg
asC~) :
(this
is obtainedby requiring
that the currentdensity
J:~ =~/2014 / ’~
is conformal
invariant),
we consider that in ourcase c! (x)
does notchange.
That means, thegeneralized
currentdensity
vector :is conformal
invariant,
withoutrequiring
any transformation on’~ (x).
Note 2. - We
emphasize
that the conformal invariant mass m is not anobservable,
in the usual sense of a directobservation,
since its conformal invariance isonly
attained in astrong gravitational
field[due
to the condition(1.10)].
The mass obtainedby
direct observations is measured in weakgravitational
fields and thus, conformal variant.APPENDIX From
(4.16), along
with y,;v = 0 we haveUsing
the vierbeineformalism,
where thecoordinate-dependent
matricesx~,
(x)
aregiven
as linear combination of the usual Dirac’s matricesWe may
expand
the matrix S(x)
as a linear combination of the sixteen Dirac matricesTherefore,
the commutatorstanding
in the left hand side of(A .1)
takesthe form
(=) C f . J. ELLIS, CERN, Genebra, Ref. Th.-1245. CERN, 22 October 1970.
EQUATIONS
where
Using
We
get
Substituting
this into(A .1),
we find after some easysteps
From the linear
independence
of the Diracoperators,
it follows thatand that
(where
the fact that isskew-symmetric
over the indices r, xwas
used).
This lastequation
is solved for thebl;‘~’ ((11J ,
Substituting
the coefficients a,b,
c and d back into(A. 2)
weget
theexplicit
form the matrixSv (x) satisfying (A .1) :
which
except
for amultiple
of theidentity
matrix is the formula(4.17)
of the text. The term
proportional
to theidentity
matrix is of no usefor us
presently (3),
so that we set av = 0.(3) Usually this term is connected to the electromagnetic interaction by means
of the requirement of the minimal coupling.
396 E. SCHNIRMAN AND C. G. OLIVEIRA
The formula
(A. 3)
was first derivedby
Fock and Ivanenko[8],
andby
this reason the S, are sometimes called as the Fock-Ivanenko coefficients.
We also note that the derivation of the formula
(4 . 25)
is similar to the derivation which we have done here.However,
we will include here some details of this derivation which are of interest due to the comments done at the end. From(4.19)
and(4.20)
we haveNow,
and a formula similar to
(A. 2)
holds for the~. Thus,
and
where
a calculus similar to before
gives
as resultThen,
It should be observed that the first two terms inside the bracket may also be written
simply
asIn this
form,
theonly
difference between03A303C1
andS,
is due to thechange
of
{ :’J } by 039303C1 03BD. As it may be easily checked,
the !p
will be conformal
invariant
independently
if we usei/"
rp v x -(03C003C1 i,z) vX
or03B303B1
i,«, , - 03B303B103C103B303B1
as the first term inside of the bracket in
(4. 25).
In otherworks,
the combinationy"
- ~,~z, ~i,"
is conformal invariant.EQUATIONS
[1] J. A. SCHOUTEN and J. HAANTJES, Korinkl. Ned. Akad. Weternschap Proc., t. 43, 1940, p. 1288.
G. CUNNINGHAM, Proc. London Math. Soc., t. 8, 1909, p. 77.
H. BATEMAN, Ibid., t. 8, 1936, p. 223.
J. A. SCHOUTEN and J. HAANTJES, Physica, t. 1, 1934, p. 869.
H. A. BUCHDALL, Nuovo Cimento, t. 11, 1959, p. 496.
[2] J. WESS, Nuovo Cimento, t. 18, 1960, p. 1086.
[3] F. ROHRLICH, T. FULTON and L. WITTEN, Rev. Mod. Phys., t. 34, n° 3, 1962, p. 442.
[4] M. ZORAWSKI, Théorie mathématique des dislocations, Dunod, Paris, 1967, p. 24.
[5] See [3].
[6] S. MANDELSTAM, Ann. Phys., t. 19, 1962, p. 25.
[7] M. A. TONNELAT, Des théories unitaires de l’électromagnétisme et de la gravitation, Gauthier-Villars, Paris, 1965, p. 257.
[8] V. FOCK and D. IVANEUKO, C. R. Acad. Sc., t. 188, 1929, p. 1470, (Manuscrit reçu le 17 juillet 1972.)