A NNALES DE L ’I. H. P., SECTION A
C. VON W ESTENHOLZ
On the significance of electromagnetic potentials in the quantum theory
Annales de l’I. H. P., section A, tome 18, n
o4 (1973), p. 353-365
<http://www.numdam.org/item?id=AIHPA_1973__18_4_353_0>
© Gauthier-Villars, 1973, 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/
353
On the significance
of electromagnetic potentials in the Quantum Theory
C. Von WESTENHOLZ
Institut fur Angewandte Mathematik der Universitat Mainz, Postfach 3980, 65-Mainz (Germany).
Ann. Inst. Henri Poincaré,
Vol. XVIII, 1973, :
Section A :
Physique théorique.
ABSTRACT. - A model for the Aharanow-Bohm effet can be
given
as follows. Introduce Aharanow-Bohm
fields,
which arespecial
Maxwellfields
(as specified
in section3).
These fields exhibit thefollowing properties :
10
They
account for theexperimentally
observablephase change 6.9 =
which isproduced by
the Aharanow-Bohm effect.20
Despite
themissing
Lorentz forcelaw,
the Aharanow-Bohm effectcan
ultimately
still be described in terms of some " force law " on amore abstract level however. This is due to the
specifically topolo- gical
character of the Aharanow-Bohm fields.30 The Aharanow-Bohm fields exhibit a "
quantization property "
invirtue of which the Aharanow-Bohm effect is characterized as a
quantum
effect.
1. INTRODUCTION
The Aharanow-Bohm effect
(hereafter
referred to as ABeffect)
asdescribed in our section
2, displays
two essentialquantum
mechanicalfeatures. The first is concerned with the
question
of whether or not the vectorpotential A,
which satisfies theequation B
= curlA
(B :
Imagnetic
fluxdensity)
must still beregarded
as mathematicalauxiliary
whenentering
intoQuantum Mechanics,
i. e. as a device inmaking calculations,
or whether it becomes a realphysical
field.This
question
has been discussedby
different authors[1], [2], [3], [7],
ANNALES DE L’INSTITUT HENRI POINCARE
[8].
The secondaspect
of the AB effect exhibits that the forceconcept gradually
fades away inQuantum
Mechanics. Instead offorces,
onedeals with the way interactions
change
thewavelengh
of the waves.In
fact,
AB showed that one of the results ofQuantum theory
isthat there are
physical
effects oncharged particles
inregions
in whichthe
electromagnetic
field isnonexistent,
but where A is nonzero.Hence,
thekey problems
related to the AB effect are thefollowing :
1. The
problem
of localization and action-at-a-distance and 2. Themeaning
of the forceconcept
inquantum
mechanics.Since the notion of field avoids the idea of action-at-a-distance in the
description
ofelectromagnetic phenomena,
it turns out that the interaction of acharged particle
with theelectromagnetic
field mustbe a local one
(i.
e. the field canoperate only
where thecharge is).
Therefore,
in thedescription
of thisinteraction, only
those fields whichare nonzero in the
region
to which thecharged particles
are confinedcan account for observable
physical
effects. The AB effect isactually
such that the local formulation is
possible only
with the aid of thepotentials Ap. (~),
sinceF,,,
= 0. Thisproblem
of localization has been discussedextensively by
AB[4]
and we therefore will not enter into thisquestion
here.In this paper we are
mainly
concerned with theproblem
of investi-gating
the mechanismthat,
forquantum mechanics, replaces
the Lorentz force lawIt turns out that the law that determines the behaviour of
quantum
mechanical
particles
isgiven
in terms of thephase
differenceSuch a law will
exist,
eventhough
there are nomagnetic
forcesacting
in the
places
where theparticle
beam passes. Otherwisestated,
formula(2)
determines the interferencepattern
of the ABarrangement (refer
to our section2),
i. e. characterizes how the notion in a field- freeregion
of thecharged particles
ischanged by
theelectromagnetic
field.
Although
it is thephysical
law(2)
that accounts for the ABeffect,
it will be shown in this paper that astraight-forward
model for the ABeffect
ultimately
still describes this effect in terms of some « force law »on a more abstract
level, (refer
to section4).
Thatis,
it turns outthat,
with recourse to atopological framework,
the AB-effect mayVOLUME A-XVIII - 1973 - N° 4
355
SIGNIFICANCE OF ELECTROMAGNETIC POTENTIALS
be characterized as a «
homotopy
effect ». The purpose of this articleis, therefore,
toprovide
a consistenttopological
model for this effect in terms of someappropriate fields,
the AB fields.2. A DESCRIPTION OF THE AB-EFFECT
The AB effect can be described as follows.
Suppose
anarrangement
of an
impenetrable
solenoid behind a wall and between two slits as shown in theadjacent figure.
The situation with and without currentthrough
the solenoid is thefollowing :
If there is nocurrent, clearly
B == A = 0 and those electrons emitted from a source, which arrive at the detector
by
eitherpath
1 or 2 create the familiarpattern
of inten-, +
sity
I at thebackstop.
If the current is turned on, one hasB ~
0, ,
+ -~
inside the
solenoid,
however B == 0 andA ~
0 outside. This corres-ponds
toshifting
the entire interferencepattern by
a constant amount ~.The wave
function,
when there is no field in thesolenoid,
iscomposed
of two
parts 03C801 and 03C802 corresponding
to thepaths
1 and 2. When thefield is on, the solution to
Schrödinger’s equation,
in the presence+
of
A,
is/~ -~ ~ -~
Because the
integral A dx
of Aalong
differentpaths
isdifferent,
1
the interference
pattern depends
onA,
inparticular
on i. e. thetotal flux 03A6
=
BFinally,
the Hamiltonian whichcorresponds
tothe AB effect is
given by
ANNALES DE L’INSTITUT HENRI POINCARE
Remark 1. - On account of the scalar
potential 03C6
a different expe- rimentalarrangement
wasproposed by
AB to demonstrate the effect of thispotential [1].
In oursubsequent
definition of an AB field wetherefore refer to the
4-potential A
==(co, A~,
i. e. the field tensorThat
is,
we define the Maxwell-two-form asbut restrict our later discussion to XO = const.
hyperplanes.
3. A TOPOLOGICAL MODEL FOR THE AB EFFECT A
possible
mathematical model for the AB effect consists of(a)
Aconfiguration
spacecorresponding
to thedynamical
Aharanow-Bohm
system.
(b)
Atopological
Aharanow-Bohm field(AB field)
on thecotangent
bundle
M
= T* M to M(differentiable n-manifold).
(c)
The canonical structure on T* M(T*
11Z issimply connected).
On account of remark 1 and from
physical arguments
we introducea
physical
AB field(refer
toremark)
2 as a Maxwell field in thefollowing
sense. Letm
=A,
dx EF1 {N’),
whereA,
=9, A
andc1 ~ C1 (N’) [FP (N’)
andCp (N’),
p =0, 1, 2,
..., denote the groups of closedp-f orms
andp-cycles respectively
on thedynamical
manifoldN’,
which is
specified below].
Then we can define an AB field as follows :DEFINITION. - An AB field is
given
in terms of thepairing (6)
andthe conditions
(7)
and(8)
as follows :(8) ~
-d) (d :
F1 - F2 denotes the exteriorderivative).
This amounts to
confining
ourselves to the case of the AB effectwith a vector
potential only,
thatis,
where(7)
reduces to(9)
B = 0and
(10) A ~
0 in the manifold N’ == R2 -Dr.
Thatis,
we consider thephysical
space Re with thecylindrical
solenoidremoved,
i. e. themultiply
connectedregion (R? - D,.)
x R where thecharged particles
VOLUME A-XVIII - 1973 - N° 4
357
SIGNIFICANCE OF ELECTROMAGNETIC POTENTIALS
travel. More
precisely :
Wedrop
the z-direction(along
the axis ofthe
solenoid)
and the space of interest is theplane
minus a diskDr.
Remark 2. - We call
(6)
thephysical
AB field. Thecorresponding topological
AB field on T* M issupposed
to be consistent with therequi-
rements
(7)
and(8)
and is related to thephysical
fields as follows : If~ :
M -
R2 -Dr
is any smooth function onM
= T* M with values in R2 -Dr
then we have :where
and
and
denote the
mappings
which are inducedby x.
The reason for
introducing
the AB-field as apairing
of a one formand a
one-cycle
is thefollowing :
cl may be written
formally
as a linear combination cj ==:À1
VI +À2
~.~where
==
: -M,
cp E~° j ;
denote Euclideansimplices.
Then,
with each ~~, =1, 2,
is associated the wave function(3),
moreprecisely
’Since the
integral
of Aalong
differentpaths (1/
isdependent
on thesepaths
thesepaths obviously
do contribute to adescription
of the ABeffect.
4. PROPERTIES OF THE AB FIELDS
PROPERTY 1. - Let
Hi (N’)
and Hi(N’)
be the firsthomology
andcohomology
groups of N’respectively. By
virtue of the Rham’s first theorem there exists anondegenerate
bilinearmapping
ANNALES DE L’INSTITUT HENRI POINCARE
which maps the
physical
AB field(1 03C9, Ci)
into the real numberGo t
==
T ð. S
==S1 - S2 , i.
e. the map(14)
accounts for thephase
change 1cp
=0394S
which isproduced by
the AB effect.jProo/’. 2014
Let0394S
=19
E R and suppose to eachone-cycle
ci is assi-gned
a number per(c,),
theperiod
of c¿ :Then de Rham’s second theorem
yields
the existence of a closed oneform
v~
on N’ which has theassigned periods,
i. e.From
physical arguments
one infers the law : Thephase
of the wavealong
anytrajectory
ischanged by
the presence of amagnetic
fieldby
an amountequal
to theintegral
of the vectorpotential;
therefore :where
Remark 3. -
Obviously,
formula(14)
does not hold for any Maxwellfield, since,
ingeneral, dlb == ~ -:F-
0.PROPERTY 2. -
Gauge transformation of
ABfields.
- The freedomof gauge transformations
yields
thefollowing property
of AB fields :Two AB fields
(i.
e.their " cohomologous components " 16
and whichdiffer
by
thegradient
of some zero-formf E F° (N’),
arerepresenta-
tives of the same
cohomology class,
which means :[refer
to the remarks(4)
and(5) below].
Proof. - By
definition of an AB field(8)
one has(vector
space of closed oneforms).
Therefore the gauge transformationis a necessary and sufficient condition for the
relationship (15)
to hold.VOLUME A-XVIII - 1973 - NO 4
359
SIGNIFICANCE OF ELECTROMAGNETIC POTENTIALS
Remark 4. - Within our
framework,
the ABfields,
as definedbefore,
ensure the gauge invariance of the
integral (14).
Indeed(according
to Stoke’sTheorem : d f = f = 0 .
Remark 5. - The formula
(15)
and(17) obviously
do not hold forany Maxwell
field, since,
ingeneral, I
_ ~F~,,,
dxv~
0.Therefore,
the
relationship (15)
isjust
asgood
a definition of an AB field.PROPERTY 3 OF AB FIELDS. - A
topological
AB field(1i, Cl) (more
precisely :
its ~~cohomologous component
"I)
can be related to the« action »
S : M
- Rby
means of the formulaProof by quolalion. -
SinceM
issimply connected,
it follows that the Poincare group ofM
mustvanish,
i. e. ’Formula
(20) implies
a naturalisomorphism
to exist :it
follows : ~
is exact. On the otherhand,
thephysical quantity B
= curlA
vanishesidentically,
thusA
may bewritten as the
gradient
of some scalar function :A grad
o whichis
just (19).
Finally,
AB fieldsdisplay
thefollowing important.
PROPERTY 4
(« Quantization property »).
- Apairing (~, c1~ represents
an AB field if and
only
ifwhere
The
proof
isstraightforward (elementary computation).
ANNALES DE L’INSTITUT HENRI POINCARE
Remark 6. - In the connected
physical
spaceR2 - ( 0 )
we have :16
dxk is closed but notexact,
i. e.(w’
is notexact)
since M = =dS
andd S
=x*
dS thisimplies x*
M’ =0,
i. e.but ~ Ker ~* (Ker x*
denotes the kernel of the mapx*).
4. A TOPOLOGICAL FORCE CONCEPT ASSOCIATED WITH AB FIELDS
In this section we are
going
to discuss theproperties
1through 4,
of AB fields. The most relevant ones areproperties
1 and3,
inparti-
cuclar, property
3 accounts for an abstract forceconcept.
This canbe seen
by comparison
with mechanics.Consider a force field w
= 03A3 Fi
dxi which isrequired
to be conser-;
vative. Which are the
corresponding properties
to beimposed
upon theunderlying geometry
M ? Thatis,
whichproperties
of Mimply
M = -
d(p ( or equivalently F~
= -2014~ ?
It turns out[5]
that thecorresponding topological
force field(~,
E dF°(M) (vector
space of exact1-forms),
cl EC1 (M),
iscompletely specified
ifThis amounts to
saying
that thefollowing
is true :Condition
(24)
accounts for the fact that all de Rhamperiods 03C9
of 03C9
vanish,
which isjust
theelementary property
that o(x) = - 03C9
be
independent
of thepath joining
Xo to x, orequivalently 03C9 =
0for all closed curves y which are
homotopic
to zero, i. e. deformableto a
point.
Likewise,
theproperties
1 and 3 of an AB fielddisplay
the samestructure as
(23).
Therefore we conclude that the A.B effect may beVOLUME A-XVIII - 1973 - N° 4
361
SIGNIFICANCE OF ELECTROMAGNETIC POTENTIALS
interpreted
as a« homotopy
effect » in terms of an AB field(~, Cl)
andby
virtue of therelationship
The
implication (25)
characterizes the AB effect in terms of some«force mechanism ». That
is,
if weinterpret
an AB field asbeing
derived from
geometry
in the sense that theproperties
of thetopo- logy M imply
theproperties
of thefield,
then thisgeometry
mustdisplay
the
property (25).
The
quantization property
4 of AB fields characterizes the AB effectas a
quantum
effect.This
property [formula (22)]
settles another controversial feature of the AB effect.Concerning
itsinterpretation
L.Janossy
claims in his paper[8],
that the AB effect should not be considered as aquantum-
mechanical effect. This has been refuted
by
Bohm andPhillipidis [7]
’on the
grounds
of thevalidity
of the formulaeand
fx
stands for thevelocity
fieldA
straight
forwardanalysis
ofrelationship (27) shows,
that the pro-perties
3 and 4 of ABfields,
inparticular
formula(22), strongly support
the
arguments
of Bohms andPhillipidis.
Tobegin with,
supposeci)
to be a
physical
ABfield,
i. =Ak
dxk. Thecorresponding topo- logical
field(~, CI)
thenenjoys
theproperties (19)
and(22). Suppose
now the converse to be
true,
i. e. let be apairing
on T*M,
subject
to the conditions(19)
and(22)
forc~. Then, according
toremark
6,
thepreimage
of(22)
isgiven by
That
is,
a is(up
to asign) just
the one-form(22).
Otherwisestated,
on the
physical
spaceR2 - 0 },
a is related to thephysical
AB fieldby
virtue of(27), (22’)
andANNALES DE L’INSTITUT HENRI POINCARE
This
again emphasizes
thequantum
mechanical character of the AB effect. Thatis,
the non-classicalrelationship (29) (refer
to remark 7below) supplements
ourdescription
of the AB effect as aquantum
effect.
Remark 7. -
Physically,
therelationship (29)
states that AB fieldsdo not
give
rise to a distribution ofvortices, which,
for classical Maxwellfields,
isgiven
as5. THE TOPOLOGICAL ASPECT
OF THE
QUANTUMTHEORETICAL
AB EFFECTThe aim of this section is to
provide
a«quantization
mechanism » for theeigenvalues
E of the Hamiltonian(4)
in terms of thequanti-
zation
property
4 of AB fields andby working
withappropriate topo- logical
conditions. It turns out that thequantized
values of E arethose for which the Bohr-Sommerfeld
quantum
conditionsholds,
whereThe AB effect may be described as a
quantum
effect in a suitablegeometric language
as follows. Letbe the
cotangent
bundle over theconfiguration
manifold of thedyna-
mical AB
system.
The smooth mapII,
called theprojection
of thecotangent bundle,
isdisplayed
asThe canonical structure on 1’* M is defined in terms of the one form
which
gives
rise to thedistinguished
closed 2-form i2 = dO of maximalrank,
the fundamental form. : ~ T* M be a Ck map,k 1,
VOLUME A-XVIII - 1973 - N° 4 .
363
SIGNIFICANCE OF ELECTROMAGNETIC POTENTIALS
which is defined
by rf* (Q)
= 0. Thisyields r}* Q == rf*
d0 = d(t* 0)
= 0.A sufficient condition for this
relationship
to hold isOn the other
hand,
on account of theelectromagnetic potential c~
=A;
there is adiffeomorphism
The transformation
(36)
induces anautomorphism p*
of the space F~~(T* M)
ofp-forms (p
=0, 1, ...).
Now suppose the «action»S : M - R and the
corresponding
1-formto be related to the undashed
quantities
S and dSby
means of theformula
Then the
following
lemma holds :LEMMA 1. - The
Bohr-Sommerfeld quantum
conditions(30)
are adia-baticallrd
invariant[9],
that isMoreover,
the1- form (37)
is related to the ABfield component by
meansof
theformula
~’roo f. -
Let~~~, c,~
be atopological
AB field of thetype (~’),
theny .
d S= ~ ;~*
d S= ~ dS
wherec,
is aone-chain,
S E F"(1VI~
and~ c.i ~.1
:
C, ~M~
--~C, Furthermore,
sincec~*
is1-1,
~ve havetherefore
ANNALES DE L’INSTITUT HENRI POIN CARE
The « action » S is a solution of the Hamilton-Jacobi differential
equation
of
particles
in anelectromagnetic field,
i. e.where
denotes the Hamiltonian
Following [6] quantization
rules which areassociated with the AB effect may be obtained
by imposing topological
conditions on the level surfaces of H
by
virtue of thefollowing
LEMMA 2. - The
quantummechanical
constraintmanifolds
whichcorrespond
to the ABeffect
aregiven by
(TE
M denote the energy level surfaces at the fixed energyE.)
~’roo f. - By
definitionclearly
satisfies the inclusion(42).
We now summarize our results as follows
THEOREM. - The AB
e f fect
may be described in termso f
thefollowing topological
conditions : There exist ABfields (3, 1)
whichsatisfy
thefollowing properties :
4 d S = 2i (d03C8 03C8 - d03C8 03C8) uantization condition).
~ )
2 tj ~, ~q
.)
q’hese
fields
describe the ABe f fect
as aquantum effect brd
virtueo f
thefollowing
statements :(a)
There existfunctions
whichcorresportd
to thequantization
condition
(4~ :
, _ -,
VOLUME A-XVIII - 1973 - N° 4
365
SIGNIFICANCE OF ELECTROMAGNETIC POTENTIALS
(b)
TheBohr-Sommerfeld
rules are associated with the constraintmanifolds
such that.
such that.
(c)
The adiabatic invariance condition17:
d S =dS
= n holds.Here and
cp* c
denole thetopological components o f
thecorresponding
AB
fields.
DiscussiON. 2014
Relationship (43)
inconjunction
with the formulaIf;* (9)
= dS isequivalent
to the Hamilton-Jacobiequation (40),
whichin local
coordinates,
reads H(ql ... qn, dS
... E. The afore- mentioned two Lemmata account for the characteristic features ofquantum
mechanics. Otherwise stated : The constraint manifolds(43)
in combination with the Bohr-Sommerfeld rules
(30) (i.
e.39)
determinein the
totality
of allpossible
energy levelsurfaces,
those which canbe
implemented quantummechanically,
i. e. those whichcorrespond
toan AB
system.
This interrelation betweenquantum theory
and themethod of the Hamiltonian action function S is achieved
by expressing
the Bohr Sommerfeld
phase integrals (30) through
the functionS,
i. e. interms of the
quantities dqk.
[1] AHARANOW and BOHM, Phys. Rev., vol. 115, 1959, p. 485.
[2] W. FRANZ, (a) Z. Phys., vol. 184, 1965, p. 85; (b) Quantentheorie, Springer- Verlag, 1970; (c) Quantenmechanik (Lecture Notes, University of Münster).
[3] FURRY and RAMSEY, Phys. Rev., vol. 118, 1960, p. 623.
[4] AHARANOW and BOHM, Phys. Rev., vol. 125, 1962, p. 2192.
[5] C. v. WESTENHOLZ, The principle of minimal electromagnetic interaction in terms of pure geometry (to appear : Ann. Inst. H. Poincaré, vol. XVII, 1972).
[6] R. HERMANN, Vector bundles in Mathematical Physics, W. A. Benjamin, Inc.
New York, 1970.
[7] BOHM and PHILLIPIDIS, Act. Phys. Sc. Hung., vol. 30, (2), 1971, p. 221.
[8] JANOSSY, Act. Phys. Sc. Hung., vol. 29, (4), 1970, p. 419.
[9] A. SOMMERFELD, Atombau und Spektrallinien, Vieweg und Sohn, Braunschweig,
1951.
(Manuscrit reçu le 14 décembre 1972.)
ANNALES DE L’INSTITUT HENRI POINCARE 25