Nakahara M. Geometry, Topology and Physics
Подождите немного. Документ загружается.
10.2.1 Definitions
10.3 Curvature
10.3.1 Covariant derivatives in principal bundles
10.3.2 Curvature
10.3.3 Geometrical meaning of the curvature and the Ambrose–
Singer theorem
10.3.4 Local form of the curvature
10.3.5 The Bianchi identity
10.4 The covariant derivative on associated vector bundles
10.4.1 The covariant derivative on associated bundles
10.4.2 A local expression for the covariant derivative
10.4.3 Curvature rederived
10.4.4 A connection which preserves the inner product
10.4.5 Holomorphic vector bundles and Hermitian inner
products
10.5 Gauge theories
10.5.1 U(1) gauge theory
10.5.2 The Dirac magnetic monopole
10.5.3 The Aharonov–Bohm effect
10.5.4 Yang–Mills theory
10.5.5 Instantons
10.6 Berry’s phase
10.6.1 Derivation of Berry’s phase
10.6.2 Berry’s phase, Berry’s connection and Berry’s curvature
Problems
11 Characteristic Classes
11.1 Invariant polynomials and the Chern–Weil homomorphism
11.1.1 Invariant polynomials
11.2 Chern classes
11.2.1 Definitions
11.2.2 Properties of Chern classes
11.2.3 Splitting principle
11.2.4 Universal bundles and classifying spaces
11.3 Chern characters
11.3.1 Definitions
11.3.2 Properties of the Chern characters
11.3.3 Todd classes
11.4 Pontrjagin and Euler classes
11.4.1 Pontrjagin classes
11.4.2 Euler classes
11.4.3 Hirzebruch L-polynomial and
ˆ
A-genus
11.5 Chern–Simons forms
11.5.1 Definition
11.5.2 The Chern–Simons form of the Chern character
11.5.3 Cartan’s homotopy operator and applications
11.6 Stiefel–Whitney classes
11.6.1 Spin bundles
11.6.2
ˇ
Cech cohomology groups
11.6.3 Stiefel–Whitney classes
12 Index Theorems
12.1 Elliptic operators and Fredholm operators
12.1.1 Elliptic operators
12.1.2 Fredholm operators
12.1.3 Elliptic complexes
12.2 The Atiyah–Singer index theorem
12.2.1 Statement of the theorem
12.3 The de Rham complex
12.4 The Dolbeault complex
12.4.1 The twisted Dolbeault complex and the Hirzebruch–
Riemann–Roch theorem
12.5 The signature complex
12.5.1 The Hirzebruch signature
12.5.2 The signature complex and the Hirzebruch signature
theorem
12.6 Spin complexes
12.6.1 Dirac operator
12.6.2 Twisted spin complexes
12.7 The heat kernel and generalized ζ -functions
12.7.1 The heat kernel and index theorem
12.7.2 Spectral ζ -functions
12.8 The Atiyah–Patodi–Singer index theorem
12.8.1 η-invariant and spectral flow
12.8.2 The Atiyah–Patodi–Singer (APS) index theorem
12.9 Supersymmetric quantum mechanics
12.9.1 Clifford algebra and fermions
12.9.2 Supersymmetric quantum mechanics in flat space
12.9.3 Supersymmetric quantum mechanics in a general
manifold
12.10 Supersymmetric proof of index theorem
12.10.1 The index
12.10.2 Path integral and index theorem
Problems
13 Anomalies in Gauge Field Theories
13.1 Introduction
13.2 Abelian anomalies
13.2.1 Fujikawa’s method
13.3 Non-Abelian anomalies
13.4 The Wess–Zumino consistency conditions
13.4.1 The Becchi–Rouet–Stora operator and the Faddeev–
Popov ghost
13.4.2 The BRS operator, FP ghost and moduli space
13.4.3 The Wess–Zumino conditions
13.4.4 Descent equations and solutions of WZ conditions
13.5 Abelian anomalies versus non-Abelian anomalies
13.5.1 m dimensions versus m + 2 dimensions
13.6 The parity anomaly in odd-dimensional spaces
13.6.1 The parity anomaly
13.6.2 The dimensional ladder: 4–3–2
14 Bosonic String Theory
14.1 Differential geometry on Riemann surfaces
14.1.1 Metric and complex structure
14.1.2 Vectors, forms and tensors
14.1.3 Covariant derivatives
14.1.4 The Riemann–Roch theorem
14.2 Quantum theory of bosonic strings
14.2.1 Vacuum amplitude of Polyakov strings
14.2.2 Measures of integration
14.2.3 Complex tensor calculus and string measure
14.2.4 Moduli spaces of Riemann surfaces
14.3 One-loop amplitudes
14.3.1 Moduli spaces, CKV, Beltrami and quadratic differentials
14.3.2 The evaluation of determinants
References
PREFACE TO THE FIRST EDITION
This book is a considerable expansion of lectures I gave at the School of
Mathematical and Physical Sciences, University of Sussex during the winter
term of 1986. The audience included postgraduate students and faculty members
working in particle physics, condensed matter physics and general relativity. The
lectures were quite informal and I have tried to keep this informality as much as
possible in this book. The proof of a theorem is given only when it is instructive
and not very technical; otherwise examples will make the theorem plausible.
Many figures will help the reader to obtain concrete images of the subjects.
In spite of the extensive use of the concepts of topology, differential ge-
ometry and other areas of contemporary mathematics in recent developments in
theoretical physics, it is rather difficult to find a self-contained book that is easily
accessible to postgraduate students in physics. This book is meant to fill the gap
between highly advanced books or research papers and the many excellent intro-
ductory books. As a reader, I imagined a first-year postgraduate student in theo-
retical physics who has some familiarity with quantum field theory and relativity.
In this book, the reader will find many examples from physics, in which topo-
logical and geometrical notions are very important. These examples are eclectic
collections from particle physics, general relativity and condensed matter physics.
Readers should feel free to skip examples that are out of their direct concern.
However, I believe these examples should be the theoretical minima to students
in theoretical physics. Mathematicians who are interested in the application of
their discipline to theoretical physics will also find this book interesting.
The book is largely divided into four parts. Chapters 1 and 2 deal with the
preliminary concepts in physics and mathematics, respectively. In chapter 1,
a brief summary of the physics treated in this book is given. The subjects
covered are path integrals, gauge theories (including monopoles and instantons),
defects in condensed matter physics, general relativity, Berry’s phase in quantum
mechanics and strings. Most of the subjects are subsequently explained in detail
from the topological and geometrical viewpoints. Chapter 2 supplements the
undergraduate mathematics that the average physicist has studied. If readers are
quite familiar with sets, maps and general topology, they may skip this chapter
and proceed to the next.
Chapters 3 to 8 are devoted to the basics of algebraic topology and
differential geometry. In chapters 3 and 4, the idea of the classification of spaces
with homology groups and homotopy groups is introduced. In chapter 5, we
define a manifold, which is one of the central concepts in modern theoretical
physics. Differential forms defined there play very important roles throughout this
book. Differential forms allow us to define the dual of the homology group called
the de Rham cohomology group in chapter 6. Chapter 7 deals with a manifold
endowed with a metric. With the metric, we may define such geometrical
concepts as connection, covariant derivative, curvature, torsion and many more.
In chapter 8, a complex manifold is defined as a special manifold on which there
exists a natural complex structure.
Chapters 9 to 12 are devoted to the unification of topology and geometry.
In chapter 9, we define a fibre bundle and show that this is a natural setting
for many physical phenomena. The connection defined in chapter 7 is naturally
generalized to that on fibre bundles in chapter 10. Characteristic classes defined
in chapter 11 enable us to classify fibre bundles using various cohomology
classes. Characteristic classes are particularly important in the Atiyah–Singer
index theorem in chapter 12. We do not prove this, one of the most important
theorems in contemporary mathematics, but simply write down the special forms
of the theorem so that we may use them in practical applications in physics.
Chapters 13 and 14 are devoted to the most fascinating applications of
topology and geometry in contemporary physics. In chapter 13, we apply the
theory of fibre bundles, characteristic classes and index theorems to the study of
anomalies in gauge theories. In chapter 14, Polyakov’s bosonic string theory is
analysed from the geometrical point of view. We give an explicit computation of
the one-loop amplitude.
I would like to express deep gratitude to my teachers, friends and students.
Special thanks are due to Tetsuya Asai, David Bailin, Hiroshi Khono, David
Lancaster, Shigeki Matsutani, Hiroyuki Nagashima, David Pattarini, Felix E A
Pirani, Kenichi Tamano, David Waxman and David Wong. The basic concepts
in chapter 5 owe very much to the lectures by F E A Pirani at King’s College,
University of London. The evaluation of the string Laplacian in chapter 14 using
the Eisenstein series and the Kronecker limiting formula was suggested by T Asai.
I would like to thank Euan Squires, David Bailin and Hiroshi Khono for useful
comments and suggestions. David Bailin suggested that I should write this book.
He also advised Professor Douglas F Brewer to include this book in his series. I
would like to thank the Science and Engineering Research Council of the United
Kingdom, which made my stay at Sussex possible. It is a pity that I have no
secretary to thank for the beautiful typing. Word processing has been carried out
by myself on two NEC PC9801 computers. Jim A Revill of Adam Hilger helped
me in many ways while preparing the manuscript. His indulgence over my failure
to meet deadlines is also acknowledged. Many musicians have filled my office
with beautiful music during the preparation of the manuscript: I am grateful to
J S Bach, Ryuichi Sakamoto, Ravi Shankar and Erik Satie.
Mikio Nakahara
Shizuoka, February 1989
PREFACE TO THE SECOND EDITION
The first edition of the present book was published in 1990. There has been
incredible progress in geometry and topology applied to theoretical physics and
vice versa since then. The boundaries among these disciplines are quite obscure
these days.
I found it impossible to take all the progress into these fields in this second
edition and decided to make the revision minimal. Besides correcting typos, errors
and miscellaneous small additions, I added the proof of the index theorem in terms
of supersymmetric quantum mechanics. There are also some rearrangements of
material in many places. I have learned from publications and internet homepages
that the first edition of the book has been read by students and researchers from a
wide variety of fields, not only in physics and mathematics but also in philosophy,
chemistry, geodesy and oceanology among others. This is one of the reasons
why I did not specialize this book to the forefront of recent developments. I
hope to publish a separate book on the recent fascinating application of quantum
field theory to low dimensional topology and number theory, possibly with a
mathematician or two, in the near future.
The first edition of the book has been used in many classes all over the world.
Some of the lecturers gave me valuable comments and suggestions. I would like
to thank, in particular, Jouko Mikkelsson for constructive suggestions. Kazuhiro
Sakuma, my fellow mathematician, joined me to translate the first edition of the
book into Japanese. He gave me valuable comments and suggestions from a
mathematician’s viewpoint. I also want to thank him for frequent discussions
and for clarifying many of my questions. I had a chance to lecture on the material
of the book while I was a visiting professor at Helsinki University of Technology
during fall 2001 through spring 2002. I would like to thank Martti Salomaa for
warm hospitality at his materials physics laboratory. Sami Virtanen was the course
assisitant whom I would like to thank for his excellent work. I would also like to
thank Juha Vartiainen, Antti Laiho, Teemu Ojanen, Teemu Keski-Kuha, Markku
Stenberg, Juha Heiskala, Tuomas Hyt¨onen, Antti Niskanen and Ville Bergholm
for helping me to find typos and errors in the manuscript and also for giving me
valuable comments and questions.
Jim Revill and Tom Spicer of IOP Publishing have always been generous
in forgiving me for slow revision. I would like to thank them for their generosity
and patience. I also want to thank Simon Laurenson for arranging the copyediting,
typesetting and proofreading and Sarah Plenty for arranging the printing, binding
and scheduling. The first edition of the book was prepared using an old NEC
computer whose operating system no longer exists. I hesitated to revise the
book mainly because I was not so courageous as to type a more-than-500-page
book again. Thanks to the progress of information technology, IOP Publishing
scanned all the pages of the book and supplied me with the files, from which I
could extract the text files with the help of optical character recognition (OCR)
software. I would like to thank the technical staff of IOP Publishing for this
painstaking work. The OCR is not good enough to produce the L
A
T
E
X codes for
equations. Mariko Kamada edited the equations from the first version of the book.
I would like to thank Yukitoshi Fujimura of Peason Education Japan for frequent
T
E
X-nical assistance. He edited the Japanese translation of the first edition of the
present book and produced an excellent L
A
T
E
X file, from which I borrowed many
L
A
T
E
X definitions, styles, diagrams and so on. Without the Japanese edition, the
publication of this second edition would have been much more difficult.
Last but not least, I would thank my family to whom this book is dedicated.
I had to spend an awful lot of weekends on this revision. I wish to thank my
wife, Fumiko, and daughters, Lisa and Yuri, for their patience. I hope my
little daughters will someday pick up this book in a library or a bookshop and
understand what their dad was doing at weekends and late after midnight.
Mikio Nakahara
Nara, December 2002
HOW TO READ THIS BOOK
As the author of this book, I strongly wish that this book is read in order. However,
I admit that the book is thick and the materials contained in it are diverse. Here
I want to suggest some possibilities when this book is used for a course in
mathematics or mathematical physics.
(1) A one year course on mathematical physics: chapters 1 through 10.
Chapters 11 and 12 are optional.
(2) A one-year course on geometry and topology for mathematics students:
chapters 2 through 12. Chapter 2 may be omitted if students are familiar with
elementary topology. Topics from physics may be omitted without causing
serious problems.
(3) A single-semester course on geometry and topology: chapters 2 through
7. Chapter 2 may be omitted if the students are familiar with elementary
topology. Chapter 8 is optional.
(4) A single-semester course on differential geometry for general relativity:
chapters 2, 5 and 7.
(5) A single-semester course on advanced mathematical physics: sections 1.1–
1.7 and sections 12.9 and 12.10, assuming that students are familiar with
Riemannian geometry and fibre bundles. This makes a self-contained course
on the path integral and its application to index theorem.
Some repetition of the material or a summary of the subjects introduced in
the previous part are made to make these choices possible.
NOTATION AND CONVENTIONS
The symbols , , , and denote the sets of natural numbers, integers,
rational numbers, real numbers and complex numbers, respectively. The set of
quaternions is defined by
={a + bi + c j + dk| a, b, c, d ∈ }
where (1, i, j, k) is a basis such that i · j =−j · i = k, j · k =−k · j = i,
k·i =−i·k = j, i
2
= j
2
= k
2
=−1. Note that i, j and k have the 2×2matrix
representations i = iσ
3
, j = iσ
2
, k = iσ
1
where σ
i
are the Pauli spin matrices
σ
1
=
01
10
σ
2
=
0 −i
i0
σ
3
=
10
0 −1
.
The imaginary part of a complex number z is denoted by Im z while the real part
is Re z.
We put c (speed of light) =
¯
h (Planck’s constant/2π) = k
B
(Boltzmann’s
constant) = 1, unless otherwise stated explicitly. We employ the Einstein
summation convention: if the same index appears twice, once as a superscript
and once as a subscript, then the index is summed over all possible values. For
example, if µ runs from 1 to m, one has
A
µ
B
µ
=
m
µ=1
A
µ
B
µ
.
The Euclid metric is g
µν
= δ
µν
= diag(+1,...,+1) while the Minkowski metric
is g
µν
= η
µν
= diag(−1, +1,...,+1).
The symbol
denotes ‘the end of a proof’.
1
QUANTUM PHYSICS
A brief introduction to path integral quantization is presented in this chapter.
Physics students who are familiar with this subject and mathematics students who
are not interested in physics may skip this chapter and proceed directly to the next
chapter. Our presentation is sketchy and a more detailed account of this subject
is found in Bailin and Love (1996), Cheng and Li (1984), Huang (1982), Das
(1993), Kleinert (1990), Ramond (1989), Ryder (1986) and Swanson (1992). We
closely follow Alvarez (1995), Bertlmann (1996), Das (1993), Nakahara (1998),
Rabin (1995), Sakita (1985) and Swanson (1992).
1.1 Analytical mechanics
We introduce some elementary principles of Lagrangian and Hamiltonian
formalisms that are necessary to understand quantum mechanics.
1.1.1 Newtonian mechanics
Let us consider the motion of a particle m in three-dimensional space and let x(t)
denote the position of m at time t.
1
Suppose this particle is moving under an
external force F(x).Thenx(t) satisfies the second-order differential equation
m
d
2
x(t)
dt
2
= F(x(t)) (1.1)
called Newton’s equation or the equation of motion.
If force F(x) is expressed in terms of a scalar function V (x) as F(x) =
−∇V (x), the force is called a conserved force and the function V (x) is called
the potential energy or simply the potential.WhenF is a conserved force, the
combination
E =
m
2
dx
dt
2
+ V (x) (1.2)
is conserved. In fact,
dE
dt
=
k=x,y,z
m
dx
k
dt
d
2
x
k
dt
2
+
∂V
∂x
k
dx
k
dt
=
k
m
d
2
x
k
dt
2
+
∂V
∂x
k
dx
k
dt
= 0
1
We call a particle with mass m simply ‘a particle m’.