A NNALES DE L ’I. H. P., SECTION A
E. C. G. S UDARSHAN
T OM D. I MBO
C HANDNI S HAH I MBO
Topological and algebraic aspects of quantization : symmetries and statistics
Annales de l’I. H. P., section A, tome 49, n
o3 (1988), p. 387-396
<http://www.numdam.org/item?id=AIHPA_1988__49_3_387_0>
© Gauthier-Villars, 1988, 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/
387
Topological and algebraic aspects of quantization:
symmetries and statistics
E. C. G. SUDARSHAN (*), Tom D. IMBO (*) and Chandni Shah
IMBO (~)
Center for Particle Theory (*) and Department of Mathematics ( ~), University of Texas at Austin, Austin, Texas 78712
Inst. Henri Poincaré,
Vol. 49, n° 3, 1988, p. Physique ’ theorique ’
ABSTRACT. 2014 We discuss the
inequivalent quantizations
of aphysical
system with
configuration
spaceQ.
A brief review isgiven
ofrigorous
results
concerning
the number and type ofquantizations
available to sucha system. The
example
of n identicalparticles moving
on anarbitrary
manifold is considered in some detail.
RESUME. - Nous discutons les
quantifications inequivalentes
d’unsysteme physique
a espace deconfiguration Q.
Nouspresentons
une breverevue des resultats
rigoureux
concernant Ie nombre et Ie type dequanti-
fications
possibles
pour un telsysteme. L’exemple
de nparticules identiques
en mouvement sur une variété arbitraire est considere en detail.
I INTRODUCTION
When
constructing
aquantum theory
from a classicaldynamical
system withconfiguration
space[1] Q,
the standardprocedure
is to choose thefixed-time
quantum
mechanical state vectors as functions fromQ
intothe
complex
numbers C.However,
one can use a much moregeneral
notion of a state vector
~P(~). First,
’ may be «multiple-valued »
onQ ;
and
second,
’ may take values in anyCN,
N 2:: 1. Morespecifically, ~(q)
Annales de l’Institut Henri Poincare - Physique theorique - 0246-0211
Vol. 49/88/03/387/IO/X 3,00/(0 Gauthier-Villars 14*
388 E. C. G. SUDARSHAN, TOM D. IMBO AND CHANDNI SHAH IMBO
can have
N-components ~n(q),
1 n N, andwhen q
is taken arounda
generic loop
inQ,
we may have[2] ]
m2014 1
where
V( [~])
is an N x Nunitary
matrixdepending only
on thehomotopy
class of
l,
denotedby [l ]. (Note
that 03A8~03A8 must besingle-valued.)
Moreoverfor any two
loops l1 and l2
werequire
where
l1l2
denotes the standardproduct loop. Eqs. (1)
and(2) imply
thatV
provides
an N-dimensionalunitary representation
of the funda-mental group of
Q [3 ].
If ’P and ~I’’ are two such
N-component objects
«transforming
underloops » according
to V and V’respectively,
then ~ + ~I’’ is anacceptable
state vector if and
only
if V = V’(as representations
of7Ti(Q)).
Thus thetotal Hilbert space Jf of states breaks up into a direct sum of
subspaces
{
where each~p only
contains states which transformaccording
to the fixed
representation
p of7Ti(Q).
If p isreducible,
then breaksup further into a direct sum of
subspaces {H03C1i}
where the03C1i’s
are theirreducible
components
of p. Therefore we can achieve adecomposition
of Jf into
superselection
sectors, each labelledby
a finite-dimensional irreducibleunitary representation (IUR)
of[4 ].
If we let~(~1(Q))
denote the set of all finite-dimensional IUR’s of then the
quantum
theories defined
by
each of the sectorsrepresent
the«
prime » quantizations
of theoriginal
system.Clearly,
containsat least one
element, namely
the trivialIUR,
and thecorresponding
quan- tumtheory
hasordinary complex-valued
functions as state vectors. How- ever, ingeneral
will contain more than one elementrevealing
the essential « kinematical
ambiguity »
inquantizing
a classical system[6 ].
The
quantizations corresponding
to IUR’s ofdegree 1,
the so-calledscalar
quantizations,
aresimply
labelledby
the character group Q of1L1 (Q) [7], [8]:
where
H 1 (Q)
is the first(integral) homology
group ofQ. Again,
there isalways
at least one scalarquantization.
Thequantizations
associatedwith IUR’s of
degree >
1 are of aqualitatively
different nature.They
possess an « internal symmetry » of
topological origin
associated with the entire system[9 ].
In this paper, we review various resultsconcerning
when a system has a
unique quantization,
aunique
scalarquantization,
or
only
scalarquantizations.
We then turn our attention to a class of sys-tems which almost
always
possesses nonscalarquantizations; namely,
Annales de l’lnstitut Henri Poincare - Physique theorique
389 TOPOLOGICAL AND ALGEBRAIC ASPECTS OF QUANTIZATION: SYMMETRIES AND STATISTICS
n identical
particles moving
on a manifold M. Here the different choices of quantumrepresentations
of the system are related to the differentpossible
types of statistics available for the n identicalparticles.
Muchwork has been done on the scalar
quantizations
of this class of systems, and theirrelationship
to statistics. Here we survey these studies andproceed
to derive some new results
concerning
nonscalarquantizations.
II SURVEY OF RIGOROUS RESULTS
In what
follows, by
aQ-system
we will mean aphysical
system withconfiguration
spaceQ.
One naturalquestion concerning
the above classi-fication of
inequivalent quantizations
of aQ-system
is :A)
When does aQ-system
have aunique prime quantization ?
For scalar
quantizations,
thisquestion
is answered in Ref.[10 ].
THEOREM 1. A
Q-system
has aunique
scalarquantization
if andonly
is a
perfect
group[ 11 ],
orequivalently, H 1 (Q)
is trivial.More
generally,
if we call a group G with no nontrivial finite-dimen- sional IUR’s a U-inert group, thenby
definition aQ-system
has aunique prime quantization
if andonly
if7~1 (Q)
is U-inert.(Clearly
U-inert groups must beperfect.)
A characterization offinitely generated
U-inert groups isgiven
in Ref.[5 ] :
THEOREM 2. A
finitely generated
group G is U-inert if andonly
if Ghas no nontrivial finite
quotient
groups.The restriction to
finitely generated
groups is not severe since almost all spacesQ
of interest inphysics
havefinitely generated.
There aremany nontrivial
examples
of U-inert groups[5 ]
and thepossibility
offinding physically interesting Q-systems
with U-inert(and nontrivial)
is addressed in Ref.
[5] ]
with some success. We therefore see, contraryto the usual
intuition,
that there existphysical
systems withmultiply-
connected
configuration
spacesQ
which nonetheless have aunique
quan- tization.Another natural
question
is thefollowing :
B)
When are all theprime quantizations
of aQ-system
scalar?Let us call a group U-scalar if it has no finite-dimensional IUR’s of
degree >
1. Thenby definition,
all theprime quantizations
of aQ-system
are scalar if and
only
if7:1 (Q)
is U-scalar.Clearly,
all abelian groups are U-scalar. In Ref.[5 it
is shown that :THEOREM 3. A
finitely generated
group G is U-scalar if andonly
ifG has no finite nonabelian
quotient
groups.Vol. 49, n° 3-1988.
390 E. C. G. SUDARSHAN, TOM D. IMBO AND CHANDNI SHAH IMBO
There are many
examples
of nonabelian U-scalar groups(for example,
all nontrivial U-inert
groups),
and such groups can be realized as7Ti(Q)
of
interesting Q-systems [5 ].
For moreproperties
of U-inert and U-scalar groups, see Ref.[5 ].
III. STATISTICS OF IDENTICAL PARTICLES
An
interesting example
of a class ofphysical
systems which almostalways
possesses nonscalarquantizations
is that of n identicalparticles moving
on anarbitrary path-connected
manifold M(without boundary).
The relevant
configuration
space is the orbit space[8] ]
where Mn represents the n-fold Cartesian
product
of M withitself,
1B isthe
subcomplex
of M" for which two or more(particle)
coordinates are the same, andSn
is thepermutation
group on nsymbols
with the obviousaction on Mn - 1B.
Clearly
this action is free(i.
e. without fixedpoints), yielding
thefollowing
fibration[72] ]
The
long
exacthomotopy
sequence of this fibrationgives
thefollowing
five term short exact sequence for
The is called the
n-string
braid group of M in the mathe- matical literature[12 ], [7~],
and isusually
denotedby Bn(M). (Note
that7Ti(M).)
Theprime quantizations
of our system are labelledby
contains at least as many elements as More
specifically,
for any IUR p ofSn
ofdegree
m, there is acorresponding
IURof Bn(M)
ofdegree m
constructedby « lifting »
p. So since3, always
has an IUR of
degree > 1,
we see that there isalways
a nonscalarquantiza-
tion of our system 3
(for
anyM).
It is clear that the different
quantizations
of the above system are relatedto the different
possible
statistics for the n identicalparticles (~ >: 2).
However,
one must be careful not to overcount. Thereis,
ingeneral,
aquantization ambiguity already
present for n = 1(and
thereforehaving nothing
to do withstatistics)
which will manifest itselfagain
infor any n. So in order to get the set which labels - the different choices of statistics one must take and « mod out »
by ~(B 1(M))
in an appro-priate
way. We will denote the formalquotient
setAnnales de l’Institut Henri Poincare - Physique theorique
391 TOPOLOGICAL AND ALGEBRAIC ASPECTS OF QUANTIZATION: SYMMETRIES AND STATISTICS
by 0n(M).
Forsimply-connected
manifolds M we have0n(M) ==
We now turn to a discussion of scalar
quantizations
and thecorresponding
choices of statistics.
IV . SCALAR STATISTICS
The scalar
quantizations
of n identicalparticles moving
on a manifold Mare labelled
by
.Qn(M)
= HomU( 1 )) "--’
HomU( 1 )) . (6)
In Ref.
[7~] it
isshown, using
standardtechniques
inalgebraic topology
and
homological algebra,
that if dim M > 3 or if M is a closed 2-manifoldnot
equal
toS2,
thenFor these manifolds we then have
The different statistics associated with these scalar
quantizations («
scalarstatistics
»)
are then labelledby 7~2
and it is easy to seethat these two choices
correspond
to Bose and Fermi statistics. So thereare no exotic scalar statistics available to n identical
particles moving
onthe above manifolds.
If M == ~2 the situation is different. We have
[7~] ] (n
>2)
So we see that the choices of statistics for n identical
particles moving
on ~2,are labelled
by
anangle 0,
0 e 27r. Thisangle smoothly interpolates
between
quantizations
with Bose(e
=0)
and Fermi(8
=~c)
statistics.The new statistics are often called 0-statistics
(or
fractionalstatistics)
and seem to be relevant in theoretical
interpretations
of the FractionalQuantum
Hall Effect[16 ]. Finally,
for M = S2 one has[16 ], [77] (n
>2)
Note that the number of
possible
scalar statistics grows as n grows. Thispeculiar n-dependence
of the set of scalar statistics seems to beunique
tothe case
V GENERAL STATISTICS
ON SIMPLY CONNECTED MANIFOLDS
In this section we consider the
possible
statistics for n identicalparticles moving
on asimply
connected manifold M. If dim M ¿ 3 we have[8] ]
A)
==f e ~
andEq. (5) yields
Vol. 49, n° 3-1988.
392 E. C. G. SUDARSHAN, TOM D. IMBO AND CHANDNI SHAH IMBO
The
representations
ofSn
are well studied. The number of IUR’s ofSn
is
equal
to the number ofpartitions
of theinteger n,
denotedby p(n).
Sothere are
p(n)
choices of statistics for n identicalparticles moving
on asimply
connected manifold M of three or more dimensions. Some valuesare
given
below[18 ].
Note that
p(n)
growsrapidly
as n increases. Forlarge n,
one can use theHardy-Ramanuj an asymptotic
formula[7~] ]
For any n >
2,
there areonly
two IUR’s ofdegree
1.Namely
the trivialIUR and the IUR
sending
all evenpermutations
to + 1 and all odd permu- tations to - 1. Thecorresponding
statistics are Bose and Fermirespectively (see
SectionIV).
The(nonscalar)
statistics associated with theremaining
IUR’s
represent
ageneralization
of these[5 ], [19 ].
The situation in dimension two is much more
complex. Bn([f~2) (n
>2)
is an infinite group known as the
n-string
Artin braid group[20] and
hasmany
applications
in knottheory.
It can be definedby
thefollowing
pre- sentation)’ ~)2014~/’ ~
B2(~2) ~
~ and therefore there are no non scalarquantizations
of 2 iden-tical
particles
on R2. For n ~3, Bn(R2)
is infinite and nonabelian. We shall concentrate on the case n = 3. Aslightly
more usefulpresentation
ofB ~2
isf~1, f271
.where a == and b = The
degrees
of the finite dimensional IUR’s are unbounded. This can be seen as follows. It is known[22] ]
that
where
F2
is the free group on twogenerators (x
andy).
It is easy to see thatF2
has an IUR in everypositive
dimension m. Just send x to any dia-gonal m
x munitary
matrix all of whoseeigenvalues
aredistinct,
andAnnales de l’Institut Henri Poincare - Physique theorique
TOPOLOGICAL AND ALGEBRAIC ASPECTS OF QUANTIZATION: SYMMETRIES AND STATISTICS 393
send y
to any m x munitary
matrix all of whose offdiagonal
elementsare nonzero.
Finally,
send z to anyunitary
scalar matrix. These three matrices willgenerate
aunitary representation
p ofF2
xZ,
and since theonly
matricescommuting
with all of them are the scalarmatrices,
p is irreducible. Nowby Eq. (5)
we have thatF2
is a normalsubgroup of finite
index inB3(fR~).
It is a well known result in thetheory
of inducedrepresentations [2~] ]
that if a group G has a normalsubgroup
of finiteindex with an IUR of
degree m,
then G mu.st have an IUR of finitedegree
>_ m. We therefore have that the
degrees
of thefinite-dimensional
IUR’s ofB3(~2)
are unbounded. So we see that there are an infinite number of«
types »
of nonscalar statistics for 3particles
on ~2.All the two-dimensional IUR’s of
B3(f~)
areeasily
found.They
arelabelled
by
twoangles ~
and0,0 ~ ~ 2~,
0 evc/2,
and aregenerated by (see Eq. (15))
where co =
e21d/3. (For 0=0,
one must restrict the rangein order not to
overcount.)
Thecase ~=7~/3,
8 = 0corresponds
to the « lift » of the two-dimensional IUR ofS3.
A3-parameter family
of three-dimen- sional IUR’s ofB3(t~)
isgenerated by (0 :::; 4J 27r)
where
~~k
is the Kronecker deltasymbol
and n =(nl,
n2,n3)
is a realpositive
unit vector all of whose components are nonzero.
(If
n 1 == n2 = n 3 ==1/B/3?
then one must restrict the range
of ø
to 0:::; ø 2~c/3
so as not to over-count.)
These exhaust the three dimensional IUR’s ofB3(~2).
Thehigher
dimensional IUR’s of can also be
explicitly
constructedalthough
the
procedure
is much more tedious.Representations
ofBn(f~2), n >- 4,
are also more difficult to construct.
Finally,
we consider M =S2.
We have[2~] ]
B2(S2) ~ 7~2
and there areonly
the Bose and Fermiquantizations. B3(S2)
can be
presented
aswhere c ==
5i52
and d =ð1ð2ð1. B3(S2)
has order 12 since[24]
7Ti((S~)~ - 0) ,., ~2 (see Eq. (5)).
There are six IUR’s of four of Vol. 49, n° 3-1988.394 E. C. G. SUDARSHAN, TOM D. IMBO AND CHANDNI SHAH IMBO
them have
degree
1(see
SectionIV)
and theremaining
two havedegree
2.They
aregiven by
with ~, = 1 and ~, = i. The groups
Bn(S2), n
>_4,
areinfinite,
nonabelian[2~] ]
and more difficult to deal with.
VI. CONCLUSION -
In this paper we discussed various
topological
andalgebraic aspects
of the process ofquantizing
a classical system.First,
the classifica- tion of theprime quantizations
of aQ-system by
finite-dimensional IUR’s of7~1 (Q)
was reviewed and then three recent theoremsconcerning
the nature of the
quantizations
available togiven Q-system
were stated.Specifically,
we saw that there existQ-systems
with nonabelian7Ci(Q)
which have
only
scalarquantizations,
or even aunique quantization.
Finally,
we considered in some detail theprime quantizations
of n identicalparticles moving
on anarbitrary
manifold M and theirrelationship
tostatistics. In
particular
thepossible
scalar statistics of n identicalparticles
on manifolds of dimension >_
3,
as well as 1R2 and all closed2-manifolds,
were
completely given,
followedby
a discussion of nonscalar statistics onall
simply
connected manifolds of dimension > 2.In
closing,
we would like to say thatthroughout
his career, Jean-PierreVigier
hasalways
been open to newideas,
no matter how bizarrethey
may haveinitially appeared.
This immensecuriosity
has oftenpaid
dividends.When the above nonstandard scalar
quantizations utilizing multiple-
valued state vectors first
appeared [25 ], they
must also have seemed very strange; a mere formalcuriosity. However,
with thediscovery
of « 8-vacua »in nonabelian gauge
theories, gravitational
theories and nonlinearsigma
models
[2 ],
as well as fractional statistics in condensed matterphysics,
the new scalar
quantizations
have entered the mainstream ofphysics, despite
their initial exotic appearance. It is our sincerehope
that the(even stranger)
nonscalarquantizations
discussed here willenjoy
a similarfate
[26 ].
ACKNOWLEDGEMENTS
It is our
pleasure
to thank T. R.Govindarajan,
DuaneDicus,
Steve DellaPietra,
JohnMoody, Gary Hamrick,
CecileDewitt-Morette, Yong-Shi Wu,
Lorenzo Sadun and
Greg Nagao
forinteresting
discussions and useful comments. One of us(T. 1.)
would like toacknowledge
the GraduateAnnales de l’Institut Henri Poincare - Physique theorique
TOPOLOGICAL AND ALGEBRAIC ASPECTS OF QUANTIZATION: SYMMETRIES AND STATISTICS 395
School of the
University
of Texas at Austin for supportthrough
a fellow-ship.
This work wassupported
in partby
the U. S.Department
ofEnergy
under grant number DE-FG05-85ER40200.
[1] We assume that Q is a path-connected, smooth manifold. We also assume that the system is not interacting with any external field.
[2] C. J. ISHAM, in Relativity, Groups and Topology II, edited by B. S. DeWitt and R. Stora
(Elsevier, New York, 1984), and references therein.
[3] The quantum theory does not distinguish between V’s which form equivalent repre- sentations of 03C01 (Q). Therefore in what follows, by a « unitary representation » we will always mean a « unitary equivalence class of unitary representations ».
[4] It is unclear whether one can construct consistent dynamical quantum theories based
on infinite-dimensional IUR’s of 03C01 (Q), i. e. using infinite-component state vectors.
For more on this point, see Ref. 5. In what follows, the statements we make concern-
ing the classification of quantizations should be understood as modulo these
possible « infinite-dimensional » prime quantizations.
[5] T. D. IMBO, C. SHAH IMBO and E. C. G. SUDARSHAN, Center for Particle Theory.
Report, No. DOE-ER40200-142, 1988.
[6] In this paper we will ignore possible quantization ambiguities of dynamical origin.
Also, an alternative, geometrical (and more precise) way of viewing the state vectors in H03B1, 03B1 ~ R(03C01(Q)), is as sections of an irreducible CN-bundle over Q (N = dim 03B1)
which possesses a natural, flat U(N) connection whose holonomy gives rise to the representation 03B1 of 03C01(Q). See Refs. 2 and 5.
[7] B. KOSTANT, in Lecture Notes in Mathematics, vol. 170 (Springer Verlag, Berlin, 1970).
[8] M. G. G. LAIDLAW and C. M. DEWITT, Phys. Rev., t. D 3, 1971, p. 1375 ; M. G. G.
Laidlaw, Ph. D. Thesis, University of North Carolina, 1971.
[9] E. C. G. SUDARSHAN, T. D. IMBO and T. R. GOVINDARAJAN, Phys. Lett., t. B 213, 1988, p. 471.
[10] T. D. IMBO and E. C. G. SUDARSHAN, Phys. Rev. Lett., t. 60, 1988, p. 481.
[11] A group G is called perfect if [G, G] = G where [G, G] is the commutator (or derived) subgroup of G. See, for example, D. J. S. ROBINSON, A Course in the Theory of Groups (Springer Verlag, New York, 1982).
[12] E. FADELL and L. NEUWIRTH, Math. Scand., t. 10, 1962, p. 111.
[13] R. Fox and L. NEUWIRTH, Math. Scand., t. 10, 1962, p. 119 ; J. S. BIRMAN, Braids, Links and Mapping Class Groups (Princeton University Press, Princeton, 1974), and references therein.
[14] T. D. IMBO and C. SHAH IMBO, Center for Particle Theory. Report, in preparation.
[15] Y.-S. Wu, Phys. Rev. Lett., t. 52, 1984, p. 2103.
[16] D. J. THOULESS and Y.-S. Wu, Phys. Rev., t. B 31, 1985, p. 1191.
[17] J. S. DOWKER, J. Phys., t. A 18, 1985, p. 3521.
[18] J. S. LOMONT, Applications of Finite Groups (Academic Press, New York, 1959).
[19] F. J. BLOORE, I. BRATLEY and J. M. SELIG, J. Phys., t. A 16, 1983, p. 729 ; R. D. SORKIN, in Topological Properties and Global Structure of Space-Time, edited by P. G.
Berg-
mann and V. de Sabbata (Plenum, New York, 1986); H. S. Green, Phys. Rev., t. 90, 1953, p. 270.
[20] E. ARTIN, Abh. Math. Sem. Hamburg, t. 4, 1926, p. 47.
[21] B3(R2) is torsion-free and is also isomorphic to the group of the trefoil knot. For more on braids and knots see D. L. JOHNSON, Topics in the Theory of Group Presentations
(Cambridge University Press, Cambridge, 1980), and J. S. BIRMAN in Ref. 13.
Vol. 49, n° 3-1988.
396 E. C. G. SUDARSHAN, TOM D. IMBO AND CHANDNI SHAH IMBO
[22] J. A. H. SHEPPERD, Proc. Roy. Soc. London, t. A 265, 1962, p. 229.
[23] A. H. CLIFFORD, Ann. Math., t. 38, 1937, p. 533.
[24] E. FADELL and J. VAN BUSKIRK, Duke Math. Jour, t. 29, 1962, p. 243 ; J. VAN BUSKIRK, Trans. Amer. Math. Soc., t. 122, 1966, p. 81.
[25] See Refs. 7 and 8, as well as D. FINKELSTEIN, J. Math. Phys., t. 7, 1966, p. 1218 ; D. FIN-
KELSTEIN and J. RUBINSTEIN, J. Math. Phys., t. 9, 1968, p. 1762; L. S. SCHULMAN, Phys. Rev., t. 176, 1968, p. 1558 ; J. Math. Phys., t. 12, 1971, p. 304; J. S. DOWKER, J. Phys., t. A 5, 1972, p. 936.
[26] Further references on nonscalar quantizations are, A. P. BALACHANDRAN, Nucl. Phys.,
t. B 271, 1986, p. 227; Syracuse University Report No. SU-4428-361, 1987 ; Syracuse University Report No. SU-4428-373, 1988 ; as well as Ref. 2.
(Manuscrit reçu le 10 juillet 1988)
Annales de l’Institut Henri Poincaré - Physique ’ theorique ’