Preface to the First Edition |
|
xvii | |
Preface to the Second Edition |
|
xix | |
How to Read this Book |
|
xxi | |
Notation and Conventions |
|
xxii | |
|
|
1 | (66) |
|
|
1 | (8) |
|
|
1 | (1) |
|
|
2 | (3) |
|
|
5 | (4) |
|
|
9 | (10) |
|
Hilbert space, bras and kets |
|
|
9 | (1) |
|
Axioms of canonical quantization |
|
|
10 | (3) |
|
Heisenberg equation, Heisenberg picture and Schrodinger picture |
|
|
13 | (1) |
|
|
13 | (4) |
|
|
17 | (2) |
|
Path integral quantization of a Bose particle |
|
|
19 | (12) |
|
Path integral quantization |
|
|
19 | (7) |
|
Imaginary time and partition function |
|
|
26 | (2) |
|
Time-ordered product and generating functional |
|
|
28 | (3) |
|
|
31 | (7) |
|
|
31 | (4) |
|
|
35 | (3) |
|
Path integral quantization of a Fermi particle |
|
|
38 | (13) |
|
Fermionic harmonic oscillator |
|
|
39 | (1) |
|
Calculus of Grassmann numbers |
|
|
40 | (1) |
|
|
41 | (1) |
|
|
42 | (1) |
|
|
43 | (1) |
|
|
44 | (1) |
|
|
45 | (1) |
|
|
45 | (1) |
|
Coherent states and completeness relation |
|
|
46 | (1) |
|
Partition function of a fermionic oscillator |
|
|
47 | (4) |
|
Quantization of a scalar field |
|
|
51 | (4) |
|
|
51 | (3) |
|
|
54 | (1) |
|
Quantization of a Dirac field |
|
|
55 | (1) |
|
|
56 | (4) |
|
|
56 | (2) |
|
Non-Abelian gauge theories |
|
|
58 | (2) |
|
|
60 | (1) |
|
|
60 | (3) |
|
|
61 | (1) |
|
|
62 | (1) |
|
|
62 | (1) |
|
|
63 | (4) |
|
|
63 | (1) |
|
The (anti-) self-dual solution |
|
|
64 | (2) |
|
|
66 | (1) |
|
Mathematical Preliminaries |
|
|
67 | (26) |
|
|
67 | (8) |
|
|
67 | (3) |
|
Equivalence relation and equivalence class |
|
|
70 | (5) |
|
|
75 | (6) |
|
Vectors and vector spaces |
|
|
75 | (1) |
|
Linear maps, images and kernels |
|
|
76 | (1) |
|
|
77 | (1) |
|
Inner product and adjoint |
|
|
78 | (2) |
|
|
80 | (1) |
|
|
81 | (4) |
|
|
81 | (1) |
|
|
82 | (1) |
|
Neighbourhoods and Hausdorff spaces |
|
|
82 | (1) |
|
|
83 | (1) |
|
|
83 | (2) |
|
|
85 | (1) |
|
Homeomorphisms and topological invariants |
|
|
85 | (8) |
|
|
85 | (1) |
|
|
86 | (2) |
|
|
88 | (1) |
|
Euler characteristic: an example |
|
|
88 | (3) |
|
|
91 | (2) |
|
|
93 | (28) |
|
|
93 | (5) |
|
|
93 | (3) |
|
Finitely generated Abelian groups and free Abelian groups |
|
|
96 | (1) |
|
|
96 | (2) |
|
Simplexes and simplicial complexes |
|
|
98 | (2) |
|
|
98 | (1) |
|
Simplicial complexes and polyhedra |
|
|
99 | (1) |
|
Homology groups of simplicial complexes |
|
|
100 | (17) |
|
|
100 | (2) |
|
Chain group, cycle group and boundary group |
|
|
102 | (4) |
|
|
106 | (4) |
|
|
110 | (1) |
|
More homology computations |
|
|
111 | (6) |
|
General properties of homology groups |
|
|
117 | (4) |
|
Connectedness and homology groups |
|
|
117 | (1) |
|
Structure of homology groups |
|
|
118 | (1) |
|
Betti numbers and the Euler--Poincare theorem |
|
|
118 | (2) |
|
|
120 | (1) |
|
|
121 | (48) |
|
|
121 | (6) |
|
|
121 | (1) |
|
|
122 | (1) |
|
|
123 | (2) |
|
|
125 | (2) |
|
General properties of fundamental groups |
|
|
127 | (4) |
|
Arcwise connectedness and fundamental groups |
|
|
127 | (1) |
|
Homotopic invariance of fundamental groups |
|
|
128 | (3) |
|
Examples of fundamental groups |
|
|
131 | (3) |
|
Fundamental group of torus |
|
|
133 | (1) |
|
Fundamental groups of polyhedra |
|
|
134 | (11) |
|
Free groups and relations |
|
|
134 | (2) |
|
Calculating fundamental groups of polyhedra |
|
|
136 | (8) |
|
Relations between H1(K) and π1(|K|) |
|
|
144 | (1) |
|
|
145 | (3) |
|
|
146 | (2) |
|
General properties of higher homotopy groups |
|
|
148 | (2) |
|
Abelian nature of higher homotopy groups |
|
|
148 | (1) |
|
Arcwise connectedness and higher homotopy groups |
|
|
148 | (1) |
|
Homotopy invariance of higher homotopy groups |
|
|
148 | (1) |
|
Higher homotopy groups of a product space |
|
|
148 | (1) |
|
Universal covering spaces and higher homotopy groups |
|
|
148 | (2) |
|
Examples of higher homotopy groups |
|
|
150 | (3) |
|
Orders in condensed matter systems |
|
|
153 | (6) |
|
|
153 | (1) |
|
Superfluid 4He and superconductors |
|
|
154 | (3) |
|
|
157 | (2) |
|
Defects in nematic liquid crystals |
|
|
159 | (4) |
|
Order parameter of nematic liquid crystals |
|
|
159 | (1) |
|
Line defects in nematic liquid crystals |
|
|
160 | (1) |
|
Point defects in nematic liquid crystals |
|
|
161 | (1) |
|
Higher dimensional texture |
|
|
162 | (1) |
|
Textures in superfluid 3He-A |
|
|
163 | (6) |
|
|
163 | (2) |
|
Line defects and non-singular vortices in 3He-A |
|
|
165 | (1) |
|
Shankar monopole in 3He-A |
|
|
166 | (1) |
|
|
167 | (2) |
|
|
169 | (57) |
|
|
169 | (9) |
|
|
169 | (2) |
|
|
171 | (2) |
|
|
173 | (5) |
|
The calculus on manifolds |
|
|
178 | (10) |
|
|
179 | (2) |
|
|
181 | (3) |
|
|
184 | (1) |
|
|
185 | (1) |
|
|
185 | (1) |
|
|
186 | (2) |
|
|
188 | (1) |
|
Flows and Lie derivatives |
|
|
188 | (8) |
|
One-parameter group of transformations |
|
|
190 | (1) |
|
|
191 | (5) |
|
|
196 | (8) |
|
|
196 | (2) |
|
|
198 | (3) |
|
Interior product and Lie derivative of forms |
|
|
201 | (3) |
|
Integration of differential forms |
|
|
204 | (3) |
|
|
204 | (1) |
|
|
205 | (2) |
|
Lie groups and Lie algebras |
|
|
207 | (9) |
|
|
207 | (2) |
|
|
209 | (3) |
|
The one-parameter subgroup |
|
|
212 | (3) |
|
Frames and structure equation |
|
|
215 | (1) |
|
The action of Lie groups on manifolds |
|
|
216 | (10) |
|
|
216 | (3) |
|
Orbits and isotropy groups |
|
|
219 | (4) |
|
|
223 | (1) |
|
The adjoint representation |
|
|
224 | (1) |
|
|
224 | (2) |
|
de Rham Cohomology Groups |
|
|
226 | (18) |
|
|
226 | (4) |
|
Preliminary consideration |
|
|
226 | (2) |
|
|
228 | (2) |
|
de Rham cohomology groups |
|
|
230 | (5) |
|
|
230 | (3) |
|
Duality of Hr(M) and Hr(M); de Rham's theorem |
|
|
233 | (2) |
|
|
235 | (2) |
|
Structure of de Rham cohomology groups |
|
|
237 | (7) |
|
|
237 | (1) |
|
|
238 | (1) |
|
|
238 | (2) |
|
Pullback of de Rham cohomology groups |
|
|
240 | (1) |
|
|
240 | (4) |
|
|
244 | (64) |
|
Riemannian manifolds and pseudo-Riemannian manifolds |
|
|
244 | (3) |
|
|
244 | (2) |
|
|
246 | (1) |
|
Parallel transport, connection and covariant derivative |
|
|
247 | (7) |
|
|
247 | (2) |
|
|
249 | (1) |
|
Parallel transport and geodesics |
|
|
250 | (1) |
|
The covariant derivative of tensor fields |
|
|
251 | (1) |
|
The transformation properties of connection coefficients |
|
|
252 | (1) |
|
|
253 | (1) |
|
|
254 | (7) |
|
|
254 | (2) |
|
Geometrical meaning of the Riemann tensor and the torsion tensor |
|
|
256 | (4) |
|
The Ricci tensor and the scalar curvature |
|
|
260 | (1) |
|
|
261 | (10) |
|
|
261 | (1) |
|
The Levi-Civita connection in the classical geometry of surfaces |
|
|
262 | (1) |
|
|
263 | (3) |
|
The normal coordinate system |
|
|
266 | (2) |
|
Riemann curvature tensor with Levi-Civita connection |
|
|
268 | (3) |
|
|
271 | (2) |
|
Isometries and conformal transformations |
|
|
273 | (6) |
|
|
273 | (1) |
|
Conformal transformations |
|
|
274 | (5) |
|
Killing vector fields and conformal Killing vector fields |
|
|
279 | (4) |
|
|
279 | (3) |
|
Conformal Killing vector fields |
|
|
282 | (1) |
|
|
283 | (6) |
|
|
283 | (1) |
|
Cartan's structure equations |
|
|
284 | (1) |
|
|
285 | (2) |
|
The Levi-Civita connection in a non-coordinate basis |
|
|
287 | (2) |
|
Differential forms and Hodge theory |
|
|
289 | (8) |
|
Invariant volume elements |
|
|
289 | (1) |
|
Duality transformations (Hodge star) |
|
|
290 | (1) |
|
Inner products of r-forms |
|
|
291 | (2) |
|
Adjoints of exterior derivatives |
|
|
293 | (1) |
|
The Laplacian, harmonic forms and the Hodge decomposition theorem |
|
|
294 | (2) |
|
Harmonic forms and de Rham cohomology groups |
|
|
296 | (1) |
|
Aspects of general relativity |
|
|
297 | (5) |
|
Introduction to general relativity |
|
|
297 | (1) |
|
|
298 | (2) |
|
Spinors in curved spacetime |
|
|
300 | (2) |
|
|
302 | (6) |
|
|
303 | (2) |
|
Symmetries of the Polyakov strings |
|
|
305 | (2) |
|
|
307 | (1) |
|
|
308 | (40) |
|
|
308 | (7) |
|
|
308 | (1) |
|
|
309 | (6) |
|
Calculus on complex manifolds |
|
|
315 | (5) |
|
|
315 | (1) |
|
|
316 | (1) |
|
|
317 | (3) |
|
Complex differential forms |
|
|
320 | (4) |
|
Complexification of real differential forms |
|
|
320 | (1) |
|
Differential forms on complex manifolds |
|
|
321 | (1) |
|
|
322 | (2) |
|
Hermitian manifolds and Hermitian differential geometry |
|
|
324 | (6) |
|
|
325 | (1) |
|
|
326 | (1) |
|
|
327 | (2) |
|
|
329 | (1) |
|
Kahler manifolds and Kahler differential geometry |
|
|
330 | (6) |
|
|
330 | (4) |
|
|
334 | (1) |
|
The holonomy group of Kahler manifolds |
|
|
335 | (1) |
|
Harmonic forms and ∂-cohomology groups |
|
|
336 | (5) |
|
The adjoint operators ∂† and ∂† |
|
|
337 | (1) |
|
Laplacians and the Hodge theorem |
|
|
338 | (1) |
|
Laplacians on a Kahler manifold |
|
|
339 | (1) |
|
The Hodge numbers of Kahler manifolds |
|
|
339 | (2) |
|
|
341 | (3) |
|
|
342 | (2) |
|
|
344 | (4) |
|
|
344 | (2) |
|
Three-dimensional examples |
|
|
346 | (2) |
|
|
348 | (26) |
|
|
348 | (2) |
|
|
350 | (7) |
|
|
350 | (3) |
|
Reconstruction of fibre bundles |
|
|
353 | (1) |
|
|
354 | (1) |
|
|
355 | (1) |
|
|
355 | (2) |
|
|
357 | (1) |
|
|
357 | (6) |
|
|
357 | (2) |
|
|
359 | (1) |
|
Cotangent bundles and dual bundles |
|
|
360 | (1) |
|
Sections of vector bundles |
|
|
361 | (1) |
|
The product bundle and Whitney sum bundle |
|
|
361 | (2) |
|
|
363 | (1) |
|
|
363 | (11) |
|
|
363 | (7) |
|
|
370 | (2) |
|
|
372 | (1) |
|
|
372 | (2) |
|
Connections on Fibre Bundles |
|
|
374 | (45) |
|
Connections on principal bundles |
|
|
374 | (10) |
|
|
375 | (1) |
|
|
376 | (1) |
|
The local connection form and gauge potential |
|
|
377 | (4) |
|
Horizontal lift and parallel transport |
|
|
381 | (3) |
|
|
384 | (1) |
|
|
384 | (1) |
|
|
385 | (6) |
|
Covariant derivatives in principal bundles |
|
|
385 | (1) |
|
|
386 | (2) |
|
Geometrical meaning of the curvature and the Ambrose--Singer theorem |
|
|
388 | (1) |
|
Local form of the curvature |
|
|
389 | (1) |
|
|
390 | (1) |
|
The covariant derivative on associated vector bundles |
|
|
391 | (8) |
|
The covariant derivative on associated bundles |
|
|
391 | (2) |
|
A local expression for the covariant derivative |
|
|
393 | (3) |
|
|
396 | (1) |
|
A connection which preserves the inner product |
|
|
396 | (1) |
|
Holomorphic vector bundles and Hermitian inner products |
|
|
397 | (2) |
|
|
399 | (10) |
|
|
399 | (1) |
|
The Dirac magnetic monopole |
|
|
400 | (2) |
|
The Aharonov--Bohm effect |
|
|
402 | (2) |
|
|
404 | (1) |
|
|
405 | (4) |
|
|
409 | (10) |
|
Derivation of Berry's phase |
|
|
410 | (1) |
|
Berry's phase, Berry's connection and Berry's curvature |
|
|
411 | (7) |
|
|
418 | (1) |
|
|
419 | (34) |
|
Invariant polynomials and the Chern--Weil homomorphism |
|
|
419 | (7) |
|
|
420 | (6) |
|
|
426 | (5) |
|
|
426 | (2) |
|
Properties of Chern classes |
|
|
428 | (1) |
|
|
429 | (1) |
|
Universal bundles and classifying spaces |
|
|
430 | (1) |
|
|
431 | (5) |
|
|
431 | (3) |
|
Properties of the Chern characters |
|
|
434 | (1) |
|
|
435 | (1) |
|
Pontrjagin and Euler classes |
|
|
436 | (7) |
|
|
436 | (3) |
|
|
439 | (3) |
|
Hirzebruch L-polynomial and A-genus |
|
|
442 | (1) |
|
|
443 | (5) |
|
|
443 | (1) |
|
The Chern-Simons form of the Chern character |
|
|
444 | (1) |
|
Cartan's homotopy operator and applications |
|
|
445 | (3) |
|
|
448 | (5) |
|
|
449 | (1) |
|
|
449 | (1) |
|
|
450 | (3) |
|
|
453 | (48) |
|
Elliptic operators and Fredholm operators |
|
|
453 | (6) |
|
|
454 | (2) |
|
|
456 | (1) |
|
|
457 | (2) |
|
The Atiyah--Singer index theorem |
|
|
459 | (1) |
|
|
459 | (1) |
|
|
460 | (2) |
|
|
462 | (2) |
|
The twisted Dolbeault complex and the Hirzebruch--Riemann--Roch theorem |
|
|
463 | (1) |
|
|
464 | (3) |
|
|
464 | (1) |
|
The signature complex and the Hirzebruch signature theorem |
|
|
465 | (2) |
|
|
467 | (5) |
|
|
468 | (3) |
|
|
471 | (1) |
|
The heat kernel and generalized ζ-functions |
|
|
472 | (5) |
|
The heat kernel and index theorem |
|
|
472 | (3) |
|
|
475 | (2) |
|
The Atiyah--Patodi--Singer index theorem |
|
|
477 | (4) |
|
η-invariant and spectral flow |
|
|
477 | (1) |
|
The Atiyah--Patodi--Singer (APS) index theorem |
|
|
478 | (3) |
|
Supersymmetric quantum mechanics |
|
|
481 | (6) |
|
Clifford algebra and fermions |
|
|
481 | (1) |
|
Supersymmetric quantum mechanics in flat space |
|
|
482 | (3) |
|
Supersymmetric quantum mechanics in a general manifold |
|
|
485 | (2) |
|
Supersymmetric proof of index theorem |
|
|
487 | (14) |
|
|
487 | (3) |
|
Path integral and index theorem |
|
|
490 | (10) |
|
|
500 | (1) |
|
Anomalies in Gauge Field Theories |
|
|
501 | (27) |
|
|
501 | (2) |
|
|
503 | (5) |
|
|
503 | (5) |
|
|
508 | (4) |
|
The Wess--Zumino consistency conditions |
|
|
512 | (6) |
|
The Becchi--Rouet--Stora operator and the Faddeev--Popov ghost |
|
|
512 | (1) |
|
The BRS operator, FP ghost and moduli space |
|
|
513 | (2) |
|
The Wess--Zumino conditions |
|
|
515 | (1) |
|
Descent equations and solutions of WZ conditions |
|
|
515 | (3) |
|
Abelian anomalies versus non-Abelian anomalies |
|
|
518 | (5) |
|
m dimensions versus m + 2 dimensions |
|
|
520 | (3) |
|
The parity anomaly in odd-dimensional spaces |
|
|
523 | (5) |
|
|
524 | (1) |
|
The dimensional ladder: 4--3--2 |
|
|
525 | (3) |
|
|
528 | (32) |
|
Differential geometry on Riemann surfaces |
|
|
528 | (7) |
|
Metric and complex structure |
|
|
528 | (1) |
|
Vectors, forms and tensors |
|
|
529 | (2) |
|
|
531 | (2) |
|
|
533 | (2) |
|
Quantum theory of bosonic strings |
|
|
535 | (20) |
|
Vacuum amplitude of Polyakov strings |
|
|
535 | (3) |
|
|
538 | (12) |
|
Complex tensor calculus and string measure |
|
|
550 | (4) |
|
Moduli spaces of Riemann surfaces |
|
|
554 | (1) |
|
|
555 | (5) |
|
Moduli spaces, CKV, Beltrami and quadratic differentials |
|
|
555 | (2) |
|
The evaluation of determinants |
|
|
557 | (3) |
References |
|
560 | (5) |
Index |
|
565 | |