Textbook Asymptotic Analysis in General Relativity 1St Edition Thierry Daude Ebook All Chapter PDF

Asymptotic Analysis in General
Relativity 1st Edition Thierry Daudé

Visit to download the full and correct content document:
https://textbookfull.com/product/asymptotic-analysis-in-general-relativity-1st-edition-thi
erry-daude/
More products digital (pdf, epub, mobi) instant
download maybe you interests ...
Scalar Fields in Numerical General Relativity Katy

Clough
https://textbookfull.com/product/scalar-fields-in-numerical-
general-relativity-katy-clough/
Gravitational Theories Beyond General Relativity Iberê

Kuntz
https://textbookfull.com/product/gravitational-theories-beyond-
general-relativity-ibere-kuntz/
General relativity a first examination Second Edition

M. Blecher
https://textbookfull.com/product/general-relativity-a-first-
examination-second-edition-m-blecher/
A Mathematical Journey to Relativity Deriving Special

and General Relativity with Basic Mathematics 1st
Edition Wladimir-Georges Boskoff
https://textbookfull.com/product/a-mathematical-journey-to-
relativity-deriving-special-and-general-relativity-with-basic-
mathematics-1st-edition-wladimir-georges-boskoff/
The General Theory of Relativity A Mathematical
Approach 1st Edition Farook Rahaman
https://textbookfull.com/product/the-general-theory-of-
relativity-a-mathematical-approach-1st-edition-farook-rahaman/
A Student s Manual for A First Course in General

Relativity 1st Edition Robert B. Scott
https://textbookfull.com/product/a-student-s-manual-for-a-first-
course-in-general-relativity-1st-edition-robert-b-scott/
Lectures on General Relativity Cosmology and Quantum

Black Holes 1st Edition Badis Ydri
https://textbookfull.com/product/lectures-on-general-relativity-
cosmology-and-quantum-black-holes-1st-edition-badis-ydri/
Formulations of General Relativity Gravity Spinors and

Differential Forms 1st Edition Kirill Krasnov
https://textbookfull.com/product/formulations-of-general-
relativity-gravity-spinors-and-differential-forms-1st-edition-
kirill-krasnov/
Exploring Black Holes Introduction to General

Relativity 2nd Edition Edwin F. Taylor
https://textbookfull.com/product/exploring-black-holes-
introduction-to-general-relativity-2nd-edition-edwin-f-taylor/
L O N D O N M AT H E M AT I C A L S O C I E T Y L E C T U R E N OT E S E R I E S
Managing Editor:
Professor M. Reid, Mathematics Institute,
University of Warwick, Coventry CV4 7AL, United Kingdom
The titles below are available from booksellers, or from Cambridge University Press at
www.cambridge.org/mathematics
325 Lectures on the Ricci flow, P. TOPPING
326 Modular representations of finite groups of Lie type, J.E. HUMPHREYS
327 Surveys in combinatorics 2005, B.S. WEBB (ed)
328 Fundamentals of hyperbolic manifolds, R. CANARY, D. EPSTEIN & A. MARDEN (eds)
329 Spaces of Kleinian groups, Y. MINSKY, M. SAKUMA & C. SERIES (eds)
330 Noncommutative localization in algebra and topology, A. RANICKI (ed)
331 Foundations of computational mathematics, Santander 2005, L.M PARDO, A. PINKUS, E. SÜLI
& M.J. TODD (eds)
332 Handbook of tilting theory, L. ANGELERI HÜGEL, D. HAPPEL & H. KRAUSE (eds)
333 Synthetic differential geometry (2nd Edition), A. KOCK
334 The Navier–Stokes equations, N. RILEY & P. DRAZIN
335 Lectures on the combinatorics of free probability, A. NICA & R. SPEICHER
336 Integral closure of ideals, rings, and modules, I. SWANSON & C. HUNEKE
337 Methods in Banach space theory, J.M.F. CASTILLO & W.B. JOHNSON (eds)
338 Surveys in geometry and number theory, N. YOUNG (ed)
339 Groups St Andrews 2005 I, C.M. CAMPBELL, M.R. QUICK, E.F. ROBERTSON & G.C. SMITH (eds)
340 Groups St Andrews 2005 II, C.M. CAMPBELL, M.R. QUICK, E.F. ROBERTSON & G.C. SMITH (eds)
341 Ranks of elliptic curves and random matrix theory, J.B. CONREY, D.W. FARMER, F. MEZZADRI
& N.C. SNAITH (eds)
342 Elliptic cohomology, H.R. MILLER & D.C. RAVENEL (eds)
343 Algebraic cycles and motives I, J. NAGEL & C. PETERS (eds)
344 Algebraic cycles and motives II, J. NAGEL & C. PETERS (eds)
345 Algebraic and analytic geometry, A. NEEMAN
346 Surveys in combinatorics 2007, A. HILTON & J. TALBOT (eds)
347 Surveys in contemporary mathematics, N. YOUNG & Y. CHOI (eds)
348 Transcendental dynamics and complex analysis, P.J. RIPPON & G.M. STALLARD (eds)
349 Model theory with applications to algebra and analysis I, Z. CHATZIDAKIS, D. MACPHERSON, A. PILLAY
& A. WILKIE (eds)
350 Model theory with applications to algebra and analysis II, Z. CHATZIDAKIS, D. MACPHERSON, A. PILLAY
& A. WILKIE (eds)
351 Finite von Neumann algebras and masas, A.M. SINCLAIR & R.R. SMITH
352 Number theory and polynomials, J. MCKEE & C. SMYTH (eds)
353 Trends in stochastic analysis, J. BLATH, P. MÖRTERS & M. SCHEUTZOW (eds)
354 Groups and analysis, K. TENT (ed)
355 Non-equilibrium statistical mechanics and turbulence, J. CARDY, G. FALKOVICH & K. GAWEDZKI
356 Elliptic curves and big Galois representations, D. DELBOURGO
357 Algebraic theory of differential equations, M.A.H. MACCALLUM & A.V. MIKHAILOV (eds)
358 Geometric and cohomological methods in group theory, M.R. BRIDSON, P.H. KROPHOLLER
& I.J. LEARY (eds)
359 Moduli spaces and vector bundles, L. BRAMBILA-PAZ, S.B. BRADLOW, O. GARCÍA-PRADA &
S. RAMANAN (eds)
360 Zariski geometries, B. ZILBER
361 Words: Notes on verbal width in groups, D. SEGAL
362 Differential tensor algebras and their module categories, R. BAUTISTA, L. SALMERÓN & R. ZUAZUA
363 Foundations of computational mathematics, Hong Kong 2008, F. CUCKER, A. PINKUS & M.J. TODD (eds)
364 Partial differential equations and fluid mechanics, J.C. ROBINSON & J.L. RODRIGO (eds)
365 Surveys in combinatorics 2009, S. HUCZYNSKA, J.D. MITCHELL & C.M. RONEY-DOUGAL (eds)
366 Highly oscillatory problems, B. ENGQUIST, A. FOKAS, E. HAIRER & A. ISERLES (eds)
367 Random matrices: High dimensional phenomena, G. BLOWER
368 Geometry of Riemann surfaces, F.P. GARDINER, G. GONZÁLEZ-DIEZ & C. KOUROUNIOTIS (eds)
369 Epidemics and rumours in complex networks, M. DRAIEF & L. MASSOULIÉ
370 Theory of p-adic distributions, S. ALBEVERIO, A.YU. KHRENNIKOV & V.M. SHELKOVICH
371 Conformal fractals, F. PRZYTYCKI & M. URBAŃSKI
372 Moonshine: The first quarter century and beyond, J. LEPOWSKY, J. MCKAY & M.P. TUITE (eds)
373 Smoothness, regularity and complete intersection, J. MAJADAS & A. G. RODICIO
374 Geometric analysis of hyperbolic differential equations: An introduction, S. ALINHAC
375 Triangulated categories, T. HOLM, P. JØRGENSEN & R. ROUQUIER (eds)
376 Permutation patterns, S. LINTON, N. RUŠKUC & V. VATTER (eds)
377 An introduction to Galois cohomology and its applications, G. BERHUY
378 Probability and mathematical genetics, N. H. BINGHAM & C. M. GOLDIE (eds)
379 Finite and algorithmic model theory, J. ESPARZA, C. MICHAUX & C. STEINHORN (eds)
380 Real and complex singularities, M. MANOEL, M.C. ROMERO FUSTER & C.T.C WALL (eds)
381 Symmetries and integrability of difference equations, D. LEVI, P. OLVER, Z. THOMOVA
& P. WINTERNITZ (eds)
Downloaded from https://www.cambridge.org/core. University of New England, on 04 Jan 2018 at 16:45:21, subject to the Cambridge Core
terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/9781108186612
382 Forcing with random variables and proof complexity, J. KRAJÍČEK
383 Motivic integration and its interactions with model theory and non-Archimedean geometry I, R. CLUCKERS,
J. NICAISE & J. SEBAG (eds)
384 Motivic integration and its interactions with model theory and non-Archimedean geometry II, R. CLUCKERS,
J. NICAISE & J. SEBAG (eds)
385 Entropy of hidden Markov processes and connections to dynamical systems, B. MARCUS, K. PETERSEN
& T. WEISSMAN (eds)
386 Independence-friendly logic, A.L. MANN, G. SANDU & M. SEVENSTER
387 Groups St Andrews 2009 in Bath I, C.M. CAMPBELL et al. (eds)
388 Groups St Andrews 2009 in Bath II, C.M. CAMPBELL et al. (eds)
389 Random fields on the sphere, D. MARINUCCI & G. PECCATI
390 Localization in periodic potentials, D.E. PELINOVSKY
391 Fusion systems in algebra and topology, M. ASCHBACHER, R. KESSAR & B. OLIVER
392 Surveys in combinatorics 2011, R. CHAPMAN (ed)
393 Non-abelian fundamental groups and Iwasawa theory, J. COATES et al. (eds)
394 Variational problems in differential geometry, R. BIELAWSKI, K. HOUSTON & M. SPEIGHT (eds)
395 How groups grow, A. MANN
396 Arithmetic differential operators over the p-adic integers, C.C. RALPH & S.R. SIMANCA
397 Hyperbolic geometry and applications in quantum chaos and cosmology, J. BOLTE & F. STEINER (eds)
398 Mathematical models in contact mechanics, M. SOFONEA & A. MATEI
399 Circuit double cover of graphs, C.-Q. ZHANG
400 Dense sphere packings: a blueprint for formal proofs, T. HALES
401 A double Hall algebra approach to affine quantum Schur–Weyl theory, B. DENG, J. DU & Q. FU
402 Mathematical aspects of fluid mechanics, J.C. ROBINSON, J.L. RODRIGO & W. SADOWSKI (eds)
403 Foundations of computational mathematics, Budapest 2011, F. CUCKER, T. KRICK, A. PINKUS
& A. SZANTO (eds)
404 Operator methods for boundary value problems, S. HASSI, H.S.V. DE SNOO & F.H. SZAFRANIEC (eds)
405 Torsors, étale homotopy and applications to rational points, A.N. SKOROBOGATOV (ed)
406 Appalachian set theory, J. CUMMINGS & E. SCHIMMERLING (eds)
407 The maximal subgroups of the low-dimensional finite classical groups, J.N. BRAY, D.F. HOLT
& C.M. RONEY-DOUGAL
408 Complexity science: the Warwick master’s course, R. BALL, V. KOLOKOLTSOV & R.S. MACKAY (eds)
409 Surveys in combinatorics 2013, S.R. BLACKBURN, S. GERKE & M. WILDON (eds)
410 Representation theory and harmonic analysis of wreath products of finite groups,
T. CECCHERINI-SILBERSTEIN, F. SCARABOTTI & F. TOLLI
411 Moduli spaces, L. BRAMBILA-PAZ, O. GARCÍA-PRADA, P. NEWSTEAD & R.P. THOMAS (eds)
412 Automorphisms and equivalence relations in topological dynamics, D.B. ELLIS & R. ELLIS
413 Optimal transportation, Y. OLLIVIER, H. PAJOT & C. VILLANI (eds)
414 Automorphic forms and Galois representations I, F. DIAMOND, P.L. KASSAEI & M. KIM (eds)
415 Automorphic forms and Galois representations II, F. DIAMOND, P.L. KASSAEI & M. KIM (eds)
416 Reversibility in dynamics and group theory, A.G. O’FARRELL & I. SHORT
417 Recent advances in algebraic geometry, C.D. HACON, M. MUSTAŢǍ & M. POPA (eds)
418 The Bloch–Kato conjecture for the Riemann zeta function, J. COATES, A. RAGHURAM, A. SAIKIA
& R. SUJATHA (eds)
419 The Cauchy problem for non-Lipschitz semi-linear parabolic partial differential equations, J.C. MEYER
& D.J. NEEDHAM
420 Arithmetic and geometry, L. DIEULEFAIT et al. (eds)
421 O-minimality and Diophantine geometry, G.O. JONES & A.J. WILKIE (eds)
422 Groups St Andrews 2013, C.M. CAMPBELL et al. (eds)
423 Inequalities for graph eigenvalues, Z. STANIĆ
424 Surveys in combinatorics 2015, A. CZUMAJ et al. (eds)
425 Geometry, topology and dynamics in negative curvature, C.S. ARAVINDA, F.T. FARRELL & J.-F. LAFONT (eds)
426 Lectures on the theory of water waves, T. BRIDGES, M. GROVES & D. NICHOLLS (eds)
427 Recent advances in Hodge theory, M. KERR & G. PEARLSTEIN (eds)
428 Geometry in a Fréchet context, C. T. J. DODSON, G. GALANIS & E. VASSILIOU
429 Sheaves and functions modulo p, L. TAELMAN
430 Recent progress in the theory of the Euler and Navier–Stokes equations, J.C. ROBINSON, J.L. RODRIGO,
W. SADOWSKI & A. VIDAL-LÓPEZ (eds)
431 Harmonic and subharmonic function theory on the real hyperbolic ball, M. STOLL
432 Topics in graph automorphisms and reconstruction (2nd Edition), J. LAURI & R. SCAPELLATO
433 Regular and irregular holonomic D-modules, M. KASHIWARA & P. SCHAPIRA
434 Analytic semigroups and semilinear initial boundary value problems (2nd Edition), K. TAIRA
435 Graded rings and graded Grothendieck groups, R. HAZRAT
436 Groups, graphs and random walks, T. CECCHERINI-SILBERSTEIN, M. SALVATORI & E. SAVA-HUSS (eds)
437 Dynamics and analytic number theory, D. BADZIAHIN, A. GORODNIK & N. PEYERIMHOFF (eds)
438 Random walks and heat kernels on graphs, M.T. BARLOW
439 Evolution equations, K. AMMARI & S. GERBI (eds)
440 Surveys in combinatorics 2017, A. CLAESSON et al. (eds)
441 Polynomials and the mod 2 Steenrod algebra I, G. WALKER & R.M.W. WOOD
442 Polynomials and the mod 2 Steenrod algebra II, G. WALKER & R.M.W. WOOD
443 Asymptotic analysis in general relativity, T. DAUDÉ, D. HÄFNER & J.-P. NICOLAS (eds)
444 Geometric and cohomological group theory, P.H. KROPHOLLER, I.J. LEARY, C. MARTÍNEZ-PÉREZ &
B.E.A. NUCINKIS (eds)
London Mathematical Society Lecture Note Series: 443
Asymptotic Analysis in General Relativity
Edited by
T H I E R RY DAU D É
Université de Cergy-Pontoise, France
D I E T R I C H H Ä F N E R
Université Grenoble Alpes, France
JEAN-PHILIPPE NICOLAS
Université de Bretagne Occidentale, France
University Printing House, Cambridge CB2 8BS, United Kingdom
One Liberty Plaza, 20th Floor, New York, NY 10006, USA
477 Williamstown Road, Port Melbourne, VIC 3207, Australia
314–321, 3rd Floor, Plot 3, Splendor Forum, Jasola District Centre,
New Delhi – 110025, India
79 Anson Road, #06–04/06, Singapore 079906
Cambridge University Press is part of the University of Cambridge.

It furthers the University’s mission by disseminating knowledge in the pursuit of
education, learning, and research at the highest international levels of excellence.
www.cambridge.org
Information on this title: www.cambridge.org/9781316649404
DOI: 10.1017/9781108186612
© Cambridge University Press 2018
This publication is in copyright. Subject to statutory exception
and to the provisions of relevant collective licensing agreements,
no reproduction of any part may take place without the written
permission of Cambridge University Press.
First published 2018
Printed in the United Kingdom by Clays, St Ives plc
A catalogue record for this publication is available from the British Library.
Library of Congress Cataloguing in Publication data
Names: Daudé, Thierry, 1977– editor. | Häfner, Dietrich, editor. |
Nicolas, J.-P. (Jean-Philippe), editor.
Title: Asymptotic analysis in general relativity / edited by Thierry Daudé
(Université de Cergy-Pontoise), Dietrich Häfner (Université Grenoble Alpes),
Jean-Philippe Nicolas (Université de Bretagne Occidentale).
Other titles: London Mathematical Society lecture note series ; 443.
Description: Cambridge, United Kingdom ; New York, NY :
Cambridge University Press, 2017. |
Series: London Mathematical Society lecture note series ; 443 |
Includes bibliographical references.
Identifiers: LCCN 2017023160 | ISBN 9781316649404 (pbk.) | ISBN 1316649407 (pbk.)
Subjects: LCSH: General relativity (Physics)–Mathematics.
Classification: LCC QC173.6 .A83 2017 | DDC 530.11–dc23 LC record available at
https://lccn.loc.gov/2017023160
ISBN 978-1-316-64940-4 Paperback
Cambridge University Press has no responsibility for the persistence or accuracy of
URLs for external or third-party internet websites referred to in this publication
and does not guarantee that any content on such websites is, or will remain,
accurate or appropriate.
Contents
1 Introduction to Modern Methods for Classical and

Quantum Fields in General Relativity page 1
Thierry Daudé, Dietrich Häfner and Jean-Philippe Nicolas
1.1 Geometry of Black Hole Spacetimes 2
1.2 Quantum Field Theory on Curved Spacetimes 3
1.3 Conformal Geometry and Conformal Tractor Calculus 4
1.4 A Minicourse in Microlocal Analysis and Wave Propagation 5
References 6
2 Geometry of Black Hole Spacetimes 9

Lars Andersson, Thomas Bäckdahl and Pieter Blue
2.1 Introduction 9
2.2 Background 13
2.3 Black Holes 28
2.4 Spin Geometry 43
2.5 The Kerr Spacetime 53
2.6 Monotonicity and Dispersion 55
2.7 Symmetry Operators 65
2.8 Conservation Laws for the Teukolsky System 70
2.9 A Morawetz Estimate for the Maxwell Field on Schwarzschild 75
References 79
3 An Introduction to Conformal Geometry and Tractor

Calculus, with a view to Applications in General Relativity 86
Sean N. Curry and A. Rod Gover
3.1 Introduction 86
3.2 Lecture 1: Riemannian Invariants and Invariant Operators 91
v
vi Contents
3.3 Lecture 2: Conformal Transformations and Conformal Covariance 94

3.4 Lecture 3: Prolongation and the Tractor Connection 104
3.5 Lecture 4: The Tractor Curvature, Conformal Invariants and
Invariant Operators 120
3.6 Lecture 5: Conformal Compactification of Pseudo-Riemannian
Manifolds 128
3.7 Lecture 6: Conformal Hypersurfaces 145
3.8 Lecture 7: Geometry of Conformal Infinity 151
3.9 Lecture 8: Boundary Calculus and Asymptotic Analysis 154
Appendix: Conformal Killing Vector Fields and Adjoint Tractors 160
References 168
4 An Introduction to Quantum Field Theory on

Curved Spacetimes 171
Christian Gérard
4.1 Introduction 171
4.2 A Quick Introduction to Quantum Mechanics 175
4.3 Notation 178
4.4 CCR and CAR Algebras 179
4.5 States on CCR/CAR Algebras 183
4.6 Lorentzian Manifolds 190
4.7 Klein–Gordon Fields on Lorentzian Manifolds 192
4.8 Free Dirac Fields on Lorentzian Manifolds 197
4.9 Microlocal Analysis of Klein–Gordon Quasi-Free States 201
4.10 Construction of Hadamard States 209
References 217
5 A Minicourse on Microlocal Analysis for Wave Propagation 219

András Vasy
5.1 Introduction 219
5.2 The Overview 221
5.3 The Basics of Microlocal Analysis 230
5.4 Propagation Phenomena 285
5.5 Conformally Compact Spaces 315
5.6 Microlocal Analysis in the b-Setting 349
References 371
1
Introduction to Modern Methods for Classical
and Quantum Fields in General Relativity
Thierry Daudé, Dietrich Häfner and Jean-Philippe Nicolas
The last few decades have seen major developments in asymptotic analysis
in the framework of general relativity, with the emergence of methods that,
until recently, were not applied to curved Lorentzian geometries. This has led
notably to the proof of the stability of the Kerr–de Sitter spacetime by P. Hintz
and A. Vasy [17]. An essential feature of many recent works in the field is the
use of dispersive estimates; they are at the core of most stability results and are
also crucial for the construction of quantum states in quantum field theory,
domains that have a priori little in common. Such estimates are in general
obtained through geometric energy estimates (also referred to as vector field
methods) or via microlocal/spectral analysis. In our minds, the two approaches
should be regarded as complementary, and this is a message we hope this
volume will convey succesfully. More generally than dispersive estimates,
asymptotic analysis is concerned with establishing scattering-type results.
Another fundamental example of such results is asymptotic completeness,
which, in many cases, can be translated in terms of conformal geometry as
the well-posedness of a characteristic Cauchy problem (Goursat problem) at
null infinity. This has been used to develop alternative approaches to scattering
theory via conformal compactifications (see for instance F. G. Friedlander
[11] and L. Mason and J.-P. Nicolas [22]). The presence of symmetries in the
geometrical background can be a tremendous help in proving scattering results,
dispersive estimates in particular. What we mean by symmetry is generally the
existence of an isometry associated with the flow of a Killing vector field,
though there exists a more subtle type of symmetry, described sometimes as
hidden, corresponding to the presence of Killing spinors for instance. Recently,
the vector field method has been adapted to take such generalized symmetries
into account by L. Andersson and P. Blue in [2].
This volume compiles notes from the eight-hour mini-courses given at the
summer school on asymptotic analysis in general relativity, held at the Institut
1
Downloaded from https://www.cambridge.org/core. University of Exeter, on 30 Dec 2017 at 23:36:17, subject to the Cambridge Core terms
of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/9781108186612.001
2 T. Daudé, D. Häfner and J.-P. Nicolas
Fourier in Grenoble, France, from 16 June to 4 July 2014. The purpose of the
summer school was to draw an up-to-date panorama of the new techniques
that have influenced the asymptotic analysis of classical and quantum fields in
general relativity in recent years. It consisted of five mini-courses:
• “Geometry of black hole spacetimes” by Lars Andersson, Albert Einstein
Institut, Golm, Germany;
• “An introduction to quantum field theory on curved spacetimes” by Christian
Gérard, Paris 11 University, Orsay, France;
• “An introduction to conformal geometry and tractor calculus, with a view to
applications in general relativity” by Rod Gover, Auckland University, New
Zealand;
• “The bounded L2 conjecture” by Jérémie Szeftel, Paris 6 University, France;
• “A minicourse on microlocal analysis for wave propagation” by András Vasy,
Stanford University, United States of America.
Among these, only four are featured in this book. The proof of the bounded
L2 conjecture having already appeared in two different forms [20, 21], Jérémie
Szeftel preferred not to add yet another version of this result; his lecture notes
are therefore not included in the present volume.
1.1. Geometry of Black Hole Spacetimes

The notion of a black hole dates back to the 18th century with the works of
Simpson and Laplace, but it found its modern description within the framework
of general relativity. In fact the year after the publication of the general
theory of relativity by Einstein, Karl Schwarzschild [30] found an explicit
non-trivial solution of the Einstein equations that was later understood to
describe a universe containing nothing but an eternal spherical black hole.
The Kerr solution appeared in 1963 [19] and, with the singularity theorems
of Hawking and Penrose [15], black holes were eventually understood as
inevitable dynamical features of the evolution of the universe rather than mere
mathematical oddities. The way exact black hole solutions of the Einstein
equations were discovered was by imposing symmetries. First Schwarzschild
looked for spherically symmetric and static solutions in four spacetime
dimensions, which reduces the Einstein equations to a non-linear ordinary
differential equation (ODE). The Kerr solution appears when one relaxes one
of the symmetries and looks for stationary and axially symmetric solutions.
Roy Kerr obtained his solution by imposing on the metric the so-called “Kerr–
Schild” ansatz that corresponds to assuming a special algebraic property for
Modern Methods for Classical and Quantum Fields in General Relativity 3
the Weyl tensor, namely that it has Petrov-type D, which is similar to the
condition for a polynomial to have two double roots. This algebraic speciality
of the Weyl tensor can be understood as another type of symmetry assumption
about spacetime. This is a generalized symmetry that does not correspond
to an isometry generated by the flow of a vector field, but is related to the
existence of a Killing spinor. The Kerr family, which contains Schwarzschild’s
spacetime as the zero angular momentum case, is expected to be the unique
family of asymptotically flat and stationary (perhaps pseudo-stationary, or
locally stationary, would be more appropriate) black hole solutions of the
Einstein vacuum equations (there is a vast literature on this topic, see for
example the original paper by D. Robinson [27], his review article [28] and the
recent analytic approach by S. Alexakis, A. D. Ionescu, and S. Klainerman [1]).
Moreover it is believed to be stable (there is also an important literature on this
question, the stability of Kerr–de Sitter black holes was established recently in
[17], though the stability of the Kerr metric is still an open problem). These
two conjectures play a crucial role in physics where it is commonly assumed
that the long term dynamics of a black hole stabilizes to a Kerr solution. The
extended lecture notes by Lars Andersson, Thomas Bäckdahl, and Pieter Blue
take us through the many topics that are relevant to the questions of stability
and uniqueness of the Kerr metric, including the geometry of stationary and
dynamical black holes with a particular emphasis on the special features of
the Kerr metric, spin geometry, dispersive estimates for hyperbolic equations
and generalized symmetry operators. The type D structure is an essential focus
of the course, with the intimate links between the principal null directions,
the Killing spinor, Killing vectors and tensors, Killing–Yano tensors and
symmetry operators. All these notions are used in the final sections where
some conservation laws are derived for the Teukolsky system governing the
evolution of spin n/2 zero rest-mass fields, and a new proof of a Morawetz
estimate for Maxwell fields on the Schwarzschild metric is given.
1.2. Quantum Field Theory on Curved Spacetimes

In the 1980s, Dimock and Kay started a research program concerning scatter-
ing theory for classical and quantum fields on the Schwarzschild spacetime;
see [9]. Their work was then pushed further by Bachelot, Häfner, and others,
leading in particular to a mathematically rigorous description of the Hawking
effect on Schwarzschild and Kerr spacetimes, see e.g. [4], [14]. In the
Schwarzschild case there exists a global timelike Killing vector field in the
exterior of the black hole that can be used to define vacuum and thermal states.
However, it is not clear how to extend these states to the whole spacetime.
From a more conceptual point of view this is also quite unsatisfactory because
the construction of vacuum states on the Minkowski spacetime uses the
full Poincaré group. In addition general spacetimes will not even be locally
stationary. On a curved spacetime, vacuum states are therefore replaced by
so-called Hadamard states. These Hadamard states were first characterized
by properties of their two-point functions, which had to have a specific
asymptotic expansion near the diagonal. In 1995 Radzikowski reformulated
the old Hadamard condition in terms of the wave front set of the two-point
function; see [26]. Since then, microlocal analysis has played an important
role in quantum field theory in curved spacetime, see e.g. the construction
of Hadamard states using pseudodifferential calculus by Gérard and Wrochna
[13]. The lectures given by Christian Gérard give an introduction to quantum
field theory on curved spacetimes and in particular to the construction of
Hadamard states.
1.3. Conformal Geometry and Conformal Tractor Calculus

Conformal compactifications were initially used in general relativity by André
Lichnerowicz for the study of the constraints. It is Roger Penrose who
started applying this technique to Lorentzian manifolds, more specifically
to asymptotically flat spacetimes, in the early 1960s (see Penrose [25]). The
purpose was to replace complicated asymptotic analysis by simple and natural
geometrical constructions. To be precise, a conformal compactification allows
one to describe infinity for a spacetime (M, g) as a finite boundary for the
manifold M equipped with a well-chosen metric ĝ that is conformally related
to g. Provided a field equation has a suitably simple transformation law under
conformal rescalings, ideally conformal invariance or at least some conformal
covariance, the asymptotic behavior of the field on (M, g) can be inferred
from the local properties at the boundary of the conformally rescaled field
on (M, ĝ). Penrose’s immediate goal was to give a simple reformulation of
the Sachs peeling property as the continuity at the conformal boundary of the
rescaled field. But he had a longer term motivation which was to construct a
conformal scattering theory for general relativity, allowing the setting of data
for the spacetime at its past null conformal boundary and to propagate the
associated solution of the Einstein equations right up to its future null confor-
mal boundary. Since its introduction, the conformal technique has been used
to prove global existence for the Einstein equations, or other non-linear hyper-
bolic equations, for sufficiently small data (see for example Y. Choquet-Bruhat
and J. W. York [8]), to construct scattering theories for linear and non-linear test
fields, initially on static backgrounds and, in recent years, in time dependent
situations and on black hole spacetimes (see L. Mason and J.-P. Nicolas [22]
and Nicolas [24] and references therein). It has also been applied to spacetimes
with a non-zero cosmological constant. There is an important literature from
the schools of R. Mazzeo and R. Melrose and more recently numerous studies
using the tractor calculus approach by A. R. Gover and his collaborators.
Tractor calculus in its conformal version started from the notion of a local
twistor bundle on four-dimensional spin-manifolds as an associated bundle to
the Cartan conformal connection, though it in fact dates back to T. Y. Thomas’s
work [31]. The theory in its modern form first appeared in the founding paper
by T. Bailey, M. Eastwood, and Gover [6] where its origins are also thoroughly
detailed. The extended lecture notes by Sean Curry and Rod Gover give an
up-to-date presentation of the conformal tractor calculus: the first four lectures
are mainly focused on the search for invariants; the second half of the course
uses tractor calculus to study conformally compact manifolds with application
to general relativity as its main motivation.
1.4. A Minicourse in Microlocal Analysis

and Wave Propagation
One of the central questions in mathematical relativity is the stability of
the Kerr or the Kerr–de Sitter spacetime. As mentioned above, stability has
been established by Hintz and Vasy for the Kerr–de Sitter metric, and the
question remains open for the Kerr metric. The advantage of the Kerr–de Sitter
case is that the inverse of the Fourier transformed d’Alembert operator has a
meromorphic extension across the real axis in appropriate weighted spaces.
The poles of this extension are then called resonances. Resonances in general
relativity were first studied from a mathematical point of view by Bachelot
and Motet-Bachelot in [5]. Bony and Häfner gave a resonance expansion of
the local propagator for the wave equation on the Schwarzschild–de Sitter
metric [7] using the localization of resonances by Sá Barreto-Zworski [29].
Then Dyatlov, Hintz, Vasy, Wunsch, and Zworski made new progress leading
eventually to a resonance expansion for the wave equation on spacetimes which
are perturbations of the Kerr–de Sitter metric; see the work of Vasy [32]. The
whole program culminated in the proof of the non-linear stability of the Kerr–
de Sitter metric by Hintz and Vasy [17]. Many aspects come into this study.
The first is trapping. Trapping situations were studied in the 1980s for the wave
equation outside two obstacles by Ikawa who obtained local energy decay with
loss of derivatives in this situation; see [18]. The trapping that appears on the
Kerr (or the Kerr–de Sitter) metric is r-normally hyperbolic at least for small
angular momentum. Suitable resolvent estimates for this kind of situation have
been shown by Wunsch–Zworski [33] and Dyatlov [10]. Another important
aspect is the presence of supperradiance due to the fact that there is no globally
timelike Killing field outside a Kerr–de Sitter black hole. Whereas the cut-off
resolvent can nevertheless be extended meromorphically across the real axis
using the work of Mazzeo–Melrose [23] and several different Killing fields
(see [12]), a more powerful tool to obtain suitable estimates is the Fredholm
theory for non-elliptic settings developed by Vasy [32]. Microlocal analysis
was first developed for linear problems. Nevertheless, as the work of Hintz–
Vasy shows strikingly enough, it is also well adapted to quasilinear problems.
In this context one needs to generalize some of the important theorems (such
as the propagation of singularities) to very rough metrics. This program has
been achieved by Hintz; see [16]. The last important aspect in the proof of
the non-linear stability of the Kerr–de Sitter metric is the issue of the gauge
freedom in the Einstein equations. Roughly speaking, a linearization of the
Einstein equations can create resonances whose imaginary parts have the “bad
sign,” leading to exponentially growing modes. These resonances turn out to be
“pure gauge” and can therefore be eliminated by an adequate choice of gauge;
see [17]. The lectures notes by András Vasy introduce the essential tools used
in the proof of the non-linear stability of the Kerr–de Sitter metric.
References
[1] S. Alexakis, A. D. Ionescu, S. Klainerman, Rigidity of stationary black holes
with small angular momentum on the horizon, Duke Math. J. 163 (2014), 14,
2603–2615.
[2] L. Andersson, P. Blue, Hidden symmetries and decay for the wave equation on the
Kerr spacetime, Ann. of Math. (2) 182 (2015), 3, 787–853.
[3] L. Andersson, P. Blue, Uniform energy bound and asymptotics for the Maxwell
field on a slowly rotating Kerr black hole exterior, J. Hyperbolic Differ. Equ., 12
(2015), 4, 689–743.
[4] A. Bachelot, The Hawking effect, Ann. Inst. H. Poincaré Phys. Théor. 70 (1999),
1, 41–99.
[5] A. Bachelot, A. Motet-Bachelot, Les résonances d’un trou noir de Schwarzschild,
Ann. Inst. H. Poincaré Phys. Théor. 59 (1993), 1, 3–68.
[6] T. N. Bailey, M. G. Eastwood, A. R. Gover, Thomas’s structure bundle for
conformal, projective and related structures, Rocky Mountains J. Math. 24
(1994), 4, 1191–1217.
[7] J.-F. Bony, D. Häfner, Decay and non-decay of the local energy for the wave
equation on the de Sitter–Schwarzschild metric, Comm. Math. Phys. 282 (2008),
3, 697–719.
[8] Y. Choquet-Bruhat, J. W. York, The Cauchy problem. In A. Held, editor, General
relativity and gravitation, Vol. 1, 99–172, Plenum, New York and London, 1980.
[9] J. Dimock, B. S. Kay, Classical and quantum scattering theory for linear scalar
fields on the Schwarzschild metric, Ann. Physics 175 (1987), 2, 366–426.
[10] S. Dyatlov, Spectral gaps for normally hyperbolic trapping, Ann. Inst. Fourier
(Grenoble) 66 (2016), 1, 55–82.
[11] F.G. Friedlander, Radiation fields and hyperbolic scattering theory, Math. Proc.
Camb. Phil. Soc. 88 (1980), 483–515.
[12] V. Georgescu, C. Gérard, D. Häfner, Asymptotic completeness for superradiant
Klein–Gordon equations and applications to the De Sitter Kerr metric, J. Eur.
Math. Soc. 19 (2017), 2371–2444.
[13] C. Gérard, M. Wrochna, Construction of Hadamard states by pseudo-differential
calculus, Comm. Math. Phys. 325 (2014), 2, 713–755.
[14] D. Häfner, Creation of fermions by rotating charged black holes, Mém. Soc. Math.
Fr. (N.S.) 117 (2009), 158 pp.
[15] S. Hawking, R. Penrose, The singularities of gravitational collapse and cosmol-
ogy, Proc. Roy. Soc. London Series A, Mathematical and Physical Sciences, 314
(1970), 1519, 529–548.
[16] P. Hintz, Global analysis of quasilinear wave equations on asymptotically de
Sitter spaces, Ann. Inst. Fourier (Grenoble) 66 (2016), 4, 1285–1408.
[17] P. Hintz, A. Vasy, The global non-linear stability of the Kerr–de Sitter family of
black holes, arXiv:1606.04014.
[18] M. Ikawa, Decay of solutions of the wave equation in the exterior of two convex
obstacles, Osaka J. Math. 19 (1982), 3, 459–509.
[19] R. P. Kerr, Gravitational field of a spinning mass as an example of algebraically
special metrics, Phys. Rev. Letters 11 (1963), 5, 237–238.
[20] S. Klainerman, I. Rodnianski, J. Szeftel, The bounded L2 curvature conjecture,
Invent. Math. 202 (2015), 1, 91–216.
[21] S. Klainerman, I. Rodnianski, J. Szeftel, Overview of the proof of the bounded L2
curvature conjecture, arXiv:1204.1772v2.
[22] L. J. Mason, J.-P. Nicolas, Conformal scattering and the Goursat problem, J.
Hyperbolic Differ. Equ., 1 (2) (2004), 197–233.
[23] R. Mazzeo, R. Melrose, Meromorphic extension of the resolvent on complete
spaces with asymptotically constant negative curvature, J. Funct. Anal. 75 (1987),
2, 260–310.
[24] J.-P. Nicolas, Conformal scattering on the Schwarzschild metric, Ann. Inst.
Fourier (Grenoble) 66 (2016), 3, 1175–1216.
[25] R. Penrose, Zero rest-mass fields including gravitation: asymptotic behaviour,
Proc. Roy. Soc. London A284 (1965), 159–203.
[26] M. Radzikowski, Micro-local approach to the Hadamard condition in quantum
field theory on curved space–time, Comm. Math. Phys. 179 (1996), 3, 529–553.
[27] D. C. Robinson, Uniqueness of the Kerr black hole, Phys. Rev. Lett. 34 (1975),
905.
[28] D. C. Robinson, Four decades of black hole uniqueness theorems. In D.L.

Wiltshire, M. Visser and S.M. Scott, editors, The Kerr space–time, 115–143,
Cambridge University Press, 2009.
[29] A. Sá Barreto, M. Zworski, Distribution of resonances for spherical black holes,
Math. Res. Lett. 4 (1997), 1, 103–121.
[30] K. Schwarzschild, Über der Gravitationsfeld eines Massenpunktes nach der
Einsteinschen Theorie, K. Preus. Akad. Wiss. Sitz. 424 (1916).
[31] T. Y. Thomas, On conformal geometry, Proc. Nat. Acad. Sci. 12 (1926), 352–359.
[32] A. Vasy, Microlocal analysis of asymptotically hyperbolic and Kerr–de Sitter
spaces (with an appendix by Semyon Dyatlov), Invent. Math. 194 (2013), 2,
381–513.
[33] J. Wunsch, M. Zworski, Resolvent estimates for normally hyperbolic trapped sets,
Ann. Henri Poincaré 12 (2011), 7, 1349–1385.
Laboratoire AGM, Département de Mathématiques, Université de Cergy-Pontoise,

95302 Cergy-Pontoise cedex
E-mail address: thierry.daude@u-cergy.fr
Université Grenoble Alpes, Institut Fourier, UMR 5582 du CNRS, 100, rue des maths,
38610 Gières, France
E-mail address: Dietrich.Hafner@univ-grenoble-alpes.fr
LMBA, Université de Brest, 6 avenue Victor Le Gorgeu, 29238 Brest Cedex 3, France
E-mail address: jnicolas@univ-brest.fr
2
Geometry of Black Hole Spacetimes
Lars Andersson, Thomas Bäckdahl and Pieter Blue
Abstract. These notes, based on lectures given at the summer school on

Asymptotic Analysis in General Relativity, collect material on the Einstein
equations, the geometry of black hole spacetimes, and the analysis of fields
on black hole backgrounds. The Kerr model of a rotating black hole in a
vacuum is expected to be unique and stable. The problem of proving these
fundamental facts provides the background for the material presented in these
notes.
Among the many topics which are relevant to the uniqueness and stability
problems are the theory of fields on black hole spacetimes, in particular for
gravitational perturbations of the Kerr black hole and, more generally, the
study of nonlinear field equations in the presence of trapping. The study
of these questions requires tools from several different fields, including
Lorentzian geometry, hyperbolic differential equations, and spin geometry,
which are all relevant to the black hole stability problem.
2.1. Introduction
A short time after Einstein published his field equations for general relativity
in 1915, Karl Schwarzschild discovered an exact and explicit solution of the
Einstein vacuum equations describing the gravitational field of a spherical body
at rest. In analyzing Schwarzschild’s solution, one finds that if the central
body is sufficiently concentrated, light emitted from its surface cannot reach
an observer at infinity. It was not until the 1950s that the global structure of
the Schwarzschild spacetime was understood. By this time causality theory
and the Cauchy problem for the Einstein equations were firmly established,
although many important problems remained open. Observations of highly
energetic phenomena occurring within small spacetime regions, eg. quasars,
made it plausible that black holes played a significant role in astrophysics, and
by the late 1960s these objects were part of mainstream astronomy. The term
9
10 L. Andersson, T. Bäckdahl and P. Blue
“black hole” for this type of object came into use in the 1960s. According
to our current understanding, black holes are ubiquitous in the universe, in
particular most galaxies have a supermassive black hole at their center, and
these play an important role in the life of the galaxy. Our galaxy also has at
its center a very compact object, Sagittarius A*, with a diameter of less than
one astronomical unit, and a mass estimated to be 106 M . Evidence for this
includes observations of the orbits of stars in its vicinity.
Recall that a solution to the Einstein vacuum equations is a Lorentzian
spacetime (M, gab ), satisfying Rab = 0, where Rab is the Ricci tensor of gab .
The Einstein equation is the Euler–Lagrange equation of the diffeomorphism
invariant Einstein–Hilbert action functional, given by the integral of the scalar
curvature of (M, gab ),

Rdμg .
M
The diffeomorphism invariance, or general covariance, of the action has the
consequence that Cauchy data for the Einstein equation must satisfy a set
of constraint equations, and that the principal symbol of the Euler–Lagrange
equation is degenerate.1 After introducing suitable gauge conditions, the
Einstein equations can be reduced to a hyperbolic system of evolution equa-
tions. It is known that, for any set of sufficiently regular Cauchy data satisfying
the constraints, the Cauchy problem for the Einstein equation has a unique
solution which is maximal among all regular, vacuum Cauchy developments.
This general result, however, does not give any detailed information about the
properties of the maximal development.
There are two main conjectures about the maximal development. The strong
cosmic censorship conjecture (SCC) states that a generic maximal develop-
ment is inextendible, as a regular vacuum spacetime. There are examples where
the maximal development is extendible, and has non-unique extensions, which
furthermore may contain closed timelike curves. In these cases, predictability
fails for the Einstein equations, but if SCC holds, they are non-generic. At
present, SCC is only known to hold in the context of families of spacetimes
with symmetry restrictions; see [98, 7] and references therein. Further, some
1
From the perspective of hyperbolic partial differential equations, the Einstein equations are both
over and under-determined. Contracting the Einstein equation against the normal to a smooth
spacelike hypersurface gives elliptic equations that must be satisfied on the hypersurface;
these are called the constraint equations. After introducing suitable gauge conditions, the
combination of the gauge conditions and the remaining Einstein equations form a hyperbolic
system of evolution equations. Furthermore, if the initial data satisfies the constraint equations,
then the solution to this hyperbolic system, when restricted to any spacelike hypersurface, also
satisfies the constraint equations. If the initial hypersurface is null, the situation becomes more
complicated to summarize but simpler to treat in full detail.
Geometry of Black Hole Spacetimes 11
non-linear stability results without symmetry assumptions, including the sta-

bility of Minkowski space and the stability of quotients of the Milne model
(also known as Löbell spacetimes, see [53, 18] and references therein), can
be viewed as giving support to SCC. The weak cosmic censorship conjecture
states that for a generic isolated system (i.e. an asymptotically flat solution of
the Einstein equations), any singularity is hidden from observers at infinity. In
this case, the spacetime contains a black hole region, i.e. the complement of
the part of the spacetime visible to observers at infinity. The black hole region
is bounded by the event horizon, the boundary of the region of spacetime
which can be seen by observers at future infinity. Both of these conjectures
remain wide open, although there has been limited progress on some problems
related to them. The weak cosmic censorship conjecture is most relevant for
the purpose of these notes; see [110].
The Schwarzschild solution is static, spherically symmetric, asymptotically
flat, and has a single free parameter M which represents the mass of the
black hole. By Birkhoff’s theorem it is the unique solution of the vacuum
Einstein equations with these properties. In 1963 Roy Kerr [68] discovered
a new, explicit family of asymptotically flat solutions of the vacuum Einstein
equations which are stationary, axisymmetric, and rotating. Shortly after this,
a charged, rotating black hole solution to the Einstein–Maxwell equations,
known as the Kerr–Newman solution, was found, cf. [87, 88]. Recall that a
vector field ν a is Killing if ∇(a νb) = 0. A Kerr spacetime admits two Killing
fields, the stationary Killing field (∂t )a which is timelike at infinity, and the
axial Killing field (∂φ )a . The Kerr family of solutions is parametrized by the
mass M and the azimuthal angular momentum per unit mass a. In the limit
a = 0, the Kerr solution reduces to the spherically symmetric Schwarzschild
solution.
If |a| ≤ M, the Kerr spacetime contains a black hole, while if |a| > M,
there is a ringlike singularity which is naked, in the sense that it fails to be
hidden from observers at infinity. This situation would violate the weak cosmic
censorship conjecture, and one therefore expects that an overextreme Kerr
spacetime is unstable and, in particular, that it cannot arise through a dynamical
process from regular Cauchy data.
For a geodesic γ a (λ) with velocity γ̇ a = dγ a /dλ, in a stationary
axisymmetric spacetime,2 there are three conserved quantities, the mass
μ2 = γ̇ a γ̇b , energy e = γ̇ a (∂t )a , and angular momentum z = γ̇ a (∂φ )a .
In a general axisymmetric spacetime, geodesic motion is chaotic. However, as
was discovered by Brandon Carter in 1968, there is a fourth conserved quantity
2
We use the signature + − −−; in particular timelike vectors have a positive norm.
for geodesics in the Kerr spacetime, the Carter constant k; see Section 2.5 for
details. By Liouville’s theorem, this allows one to integrate the geodesic
equations by quadratures, and thus geodesics in the Kerr spacetime do not
exhibit a chaotic behavior.
The Carter constant is a manifestation of the fact that the Kerr spacetime is
algebraically special, of Petrov type {2, 2}, also known as type D. In particular,
there are two repeated principal null directions for the Weyl tensor. As shown
by Walker and Penrose [112] a vacuum spacetime of Petrov type {2, 2} admits
an object satisfying a generalization of Killing’s equation, namely a Killing
spinor κAB , satisfying ∇A (A κBC) = 0. As shown in the just cited paper, this
leads to the presence of four conserved quantities for null geodesics.
Assuming some technical conditions, any asymptotically flat, stationary
black hole spacetime is expected to belong to the Kerr family, a fact which is
known to hold in the real-analytic case. Further, the Kerr black hole is expected
to be stable in the sense that a small perturbation of the Kerr spacetime settles
down asymptotically to a member of the Kerr family.
There is much observational evidence pointing to the fact that black holes
exist in large numbers in the universe, and that they play a role in many
astrophysically significant processes. For example, most galaxies, including
our own galaxy, are believed to contain a supermassive black hole at their
center. Further, dynamical processes involving black holes, such as mergers,
are expected to be important sources of gravitational wave radiation, which
could be observed by existing and planned gravitational wave observatories.3
Thus, black holes play a central role in astrophysics.
Due to its conjectured uniqueness and stability properties, these black holes
are expected to be modelled by the Kerr or Kerr–Newman solutions. However,
in order to establish the astrophysical relevance of the Kerr solution, it is vital
to find rigorous proofs of both of these conjectures, which can be referred
to as the black hole uniqueness and stability problems, respectively. A great
deal of work has been devoted to these and related problems, and although
progress has been made, both remain open at present. The stability problem
for the analog of the Kerr solution in the presence of a positive cosmological
constant, the Kerr–de Sitter solution, has recently been solved for the case of
small angular momenta [117].
Overview
Section 2.2 introduces a range of background material on general relativity,
including a discussion of the Cauchy problem for the Einstein equations.
3
At the time of writing, the first such observation has just been announced [1].
The discussion of black hole spacetimes is started in Section 2.3 with a

detailed discussion of the global geometry of the extended Schwarzschild
spacetime, followed by some background on marginally outer trapped surfaces
and dynamical black holes. Section 2.4 introduces some concepts from
spin geometry and the related Geroch–Held–Penrose (GHP) formalism. The
Petrov classification is introduced and some properties of its consequential
algebraically special spacetimes are presented. In Section 2.5 the geometry
of the Kerr black hole spacetime is introduced.
Section 2.6 contains a discussion of null geodesics in the Kerr spacetime.
A construction of monotone quantities for null geodesics based on vector
fields with coefficients depending on conserved quantities, is introduced. In
Section 2.7, symmetry operators for fields on the Kerr spacetime are discussed.
Dispersive estimates for fields are the analog of monotone quantities for null
geodesics, and in constructing these, symmetry operators play a role analogous
to the conserved quantities for the case of geodesics.
2.2. Background
2.2.1. Minkowski Space
Minkowski space M is R4 with metric which in a Cartesian coordinate system
(xa ) = (t, xi ) takes the form4
2
dτM = dt2 − (dx1 )2 − (dx2 )2 − (dx3 )2 .
Introducing the spherical coordinates r, θ , φ we can write the metric in the form
−dt2 + dr2 + r2 d 2S2 , where d 2S2 is the line element on the standard S2 ,
d 2
S2
= (gS2 )ab dxa dxb = dθ 2 + sin2 θ dφ 2 . (2.1)
A tangent vector ν a is timelike, null, or spacelike when gab ν a ν b > 0, = 0, or
< 0, respectively. Vectors with gab ν a ν b ≥ 0 are called causal. Let p, q ∈ M.
We say that p is in the causal (timelike) future of q
if p − q is causal (timelike). The causal and timelike
futures J + (p) and I + (p) of p ∈ M are the sets of
points which are in the causal and timelike futures
of p, respectively. The corresponding past notions
are defined analogously.
4 2 = (g ) dxa dxb , and metrics, eg. (g ) ,

Here and below we shall use line elements, eg. dτM M ab M ab
interchangeably.
Let u, v be given by
u = t − r, v = t + r.
In terms of these coordinates the line element takes the form
2
dτM = dudv − r2 d 2
S2
. (2.2)
We see that there are no terms du2 , dv2 , which correspond to the fact that
both u, v are null coordinates. In particular, the vectors (∂u )a , (∂v )a are null.
A complex null tetrad is given by
√ 1
la = 2(∂u )a = √ ∂t )a + (∂r )a , (2.3a)
2
√ 1
na = 2(∂v )a = √ (∂t )a − (∂r )a , (2.3b)
2

1 i
ma = √ (∂θ )a + (∂φ )a (2.3c)
2r sin θ
normalized so that na la = 1 = −ma m̄a , with all other inner products of tetrad
legs zero. Complex null tetrads with this normalization play a central role in the
Newman–Penrose (NP) and GHP formalisms; see Section 2.4. In these notes
we will use such tetrads unless otherwise stated.
In terms of a null tetrad, we have
gab = 2(l(a nb) − m(a m̄b) ). (2.4)
Introduce compactified null coordinates U, V, given by
U = arctan u, V = arctan v.
These take values in {(−π/2, π/2) × (−π/2, π/2)} ∩ {V ≥ U}, and we
can thus present Minkowski space in a causal diagram; see Figure 2.1. Here
each point represents an S2 and we have drawn null vectors at 45◦ angles.
A compactification of Minkowski space is now given by adding the null
boundaries5 I ± , spatial infinity i0 , and timelike infinity i± as indicated in the
figure. Explicitly,
I + = {V = π/2}
I − = {U = −π/2}
i0 = {V = π/2, U = −π/2}
i± = {(V, U) = ±(π/2, π/2)}.
5
Here I is pronounced “Scri” for “script I.”
i+
I+
r=0
∂U
∂V
i0
I−
{t = constant}
i−
Figure 2.1. Causal diagram of Minkowski space
In Figure 2.1, we have also indicated schematically the t-level sets which
approach spatial infinity i0 . Causal diagrams are a useful tool which, if applied
with proper care, can be used to understand the structure of quite general
spacetimes. Such diagrams are often referred to as Penrose or Carter–Penrose
diagrams.
In particular, as can be seen from Figure 2.1, we have M = I − (I + )∩I + (I − ),
i.e. any point in M is in the past of I + and in the future of I − . This is
related to the fact that M is asymptotically simple, in the sense that it admits a
conformal compactification with a regular null boundary, and has the property
that any inextendible null geodesic hits the null boundary. For massless fields
on Minkowski space, this means that it makes sense to formulate a scattering
map which takes data on I − to data on I + ; see [93].
Let
T = V + U, R = V − U. (2.5)
Then, with 2 = 2 cos U cos V, the conformally transformed metric g̃ab =

2 g takes the form
ab
g̃M
ab = dT − dR − sin Rd
2 2 2 2
S2
= dT 2 − d 2
S3
which we recognize as the metric on the cylinder R × S3 . This spacetime is

known as the Einstein cylinder, and can be viewed as a static solution of the
Einstein equations with dust matter and a positive cosmological constant [50].
2.2.2. Lorentzian Geometry and Causality

We now consider a smooth Lorentzian four-manifold (M, gab ) with signature
+ − −−. Each tangent space in a four-dimensional spacetime is isometric to
Minkowski space M, and we can carry intuitive notions of causality over from
M to M. We say that a smooth curve γ a (λ) is causal if the velocity vector
γ̇ a = dγ a /dλ is causal. Two points in M are causally related if they can be
connected by a piecewise smooth causal curve. The concept of causal curves
is most naturally defined for C0 curves. A C0 curve γ a is said to be causal if
each pair of points on γ a are causally related. We may define a timelike curve
and timelike related points in an analogous manner.
We now assume that M is time oriented, i.e. that there is a globally
defined timelike vector field on M. This allows us to distinguish between
future and past directed causal curves, and to introduce a notion of the causal
and timelike future of a spacetime point. The corresponding past notions are
defined analogously. If q is in the causal future of p, we write p q. This
introduces a partial order on M. The causal future J + (p) of p is defined as
J + (p) = {q : p q} while the timelike future I + (p) is defined in an analogous
manner, with timelike replacing causal. A subset ⊂ M is achronal
+
I (p) if there is no pair p, q ∈ M such that q ∈
I + (p), i.e. does not intersect its timelike future
or past. The domain of dependence D(S) of S ⊂ M
S
is the set of points p such that any inextendible
p
causal curve starting at p must intersect S.
Definition 2.1 A spacetime M is globally hyperbolic if there is a closed,
achronal ⊂ M such that M = D( ). In this case, is called a Cauchy
surface.
D(S)
Due to the results of Bernal and Sanchez
[28], global hyperbolicity is characterized by the S
existence of a smooth, Cauchy time function
τ : M → R. A function τ on M is a time
function if ∇ a τ is timelike everywhere, and it is Cauchy if the level sets
−1 (t) are Cauchy surfaces. If τ is smooth, its level sets are then
t = τ
smooth and spacelike. It follows that a globally hyperbolic spacetime M is
globally foliated by Cauchy surfaces, and in particular is diffeomorphic to a
product × R. In the following, unless otherwise stated, we shall consider

only globally hyperbolic spacetimes.
If a globally hyperbolic spacetime M is a subset of a spacetime M , then
the boundary ∂M of M in M is called the Cauchy horizon.
Example 2.1 Let O be the origin in Minkowski space, and let M = I + (O) =
{t > r} be its timelike
√ future. Then M is globally hyperbolic with Cauchy
time function τ = t2 − r2 . Further, M is a subset of Minkowski space M,
which is a globally hyperbolic space with Cauchy time function t. Minkowski
space is geodesically complete and hence inextendible. The boundary {t = r}
is the Cauchy horizon ∂M of M. Past inextendible causal geodesics (i.e. past
causal rays) in M end on ∂M. In particular, M is incomplete. However, M is
extendible, as a smooth flat spacetime, with many inequivalent extensions.
We remark that for a globally hyperbolic spacetime, which is extendible, the

extension is in general non-unique. In the particular case considered in example
2.1, M is an extension of M, which also happens to be maximal and globally
hyperbolic. In the vacuum case, there is a unique maximal globally hyperbolic
extension, cf. Section 2.2.5 below. However, a maximal extension is in general
non-unique, and may fail to be globally hyperbolic.
2.2.3. Conventions and Notation

We will mostly use abstract indices, cf. [94], but will sometimes work with
coordinate indices, and unless confusion arises we will not be too specific about
this. We raise and lower indices with gab , e.g. ξ a = gab ξb , with gab gbc = δ a c ,
where δ a c is the Kronecker delta, i.e. the tensor with the property that δ a c ξ c =
ξ a for any ξ a .
Let a···d be the Levi-Civita symbol, i.e. the skew symmetric expression
which in any coordinate system has the property that 1···n = 1. The volume
√
form of gab is (μg )abcd = |g|abcd . Given (M, gab ) we have the canonically
defined Levi-Civita covariant derivative ∇a . For a vector ν a , this is of the form
∇a ν b = ∂a ν b + ac
b c
ν
where ac b = 1 gbd (∂ g + ∂ g − ∂ g ) is the Christoffel symbol. In order

2 a dc c db d ac
to fix the conventions used here, we recall that the Riemann curvature tensor is
defined by
(∇a ∇b − ∇b ∇a )ξc = Rabc d ξd .
The Riemann tensor Rabcd is skew symmetric in the pairs of indices ab, cd,
Rabcd = R[ab]cd = Rab[cd] , is pairwise symmetric Rabcd = Rcdab , and satisfies
the first Bianchi identity R[abc]d = 0. Here square brackets [· · · ] denote

antisymmetrization. We shall similarly use round brackets (· · · ) to denote
symmetrization. Further, we have ∇[a Rbc]de = 0, the second Bianchi identity. A
contraction gives ∇ a Rabcd = 0. The Ricci tensor is Rab = Rc acb and the scalar
curvature R = Ra a . We further let Sab = Rab − 14 Rgab denote the tracefree part
of the Ricci tensor. The Riemann tensor can be decomposed as follows,
Rabcd = − 12 gad gbc R + 12 gac gbd R + 2 gbd Sac

1 1 1
− 12 gbc Sad
− 2 gad Sbc + 2 gac Sbd + Cabcd .
1 1
(2.6)
This defines the Weyl tensor Cabcd which is a tensor with the symmetries of
the Riemann tensor, and vanishing traces, Cc acb = 0. Recall that (M, gab )
is locally conformally flat if and only if Cabcd = 0. It follows from the
contracted second Bianchi identity that the Einstein tensor Gab = Rab − 12 Rgab
is conserved, ∇ a Gab = 0.
2.2.4. Einstein Equation

The Einstein equation in geometrized units with G = c = 1, where G, c denote
Newton’s constant and the speed of light, respectively, cf. [109, Appendix F],
is the system
Gab = 8πTab . (2.7)
This equation relates geometry, expressed in the Einstein tensor Gab on the
left-hand side, to matter, expressed via the energy momentum tensor Tab on the
right-hand side. For example, for a self-gravitating Maxwell field Fab , Fab =
F[ab] , we have

1 1
Tab = Fac Fbc − Fcd F gab .
cd
4π 4
The source-free Maxwell field equations
∇ a Fab = 0, ∇[a Fbc] = 0
imply that Tab is conserved, ∇ a Tab = 0. The contracted second Bianchi

identity implies that ∇ a Gab = 0, and hence the conservation property of Tab
is implied by the coupling of the Maxwell field to gravity. These facts can be
seen to follow from the variational formulation of Einstein gravity, given by
the action

R
I= dμg − Lmatter dμg
M 16π M
where Lmatter is the Lagrangian describing the matter content in spacetime. In

the case of Maxwell theory, this is given by
1
LMaxwell =
Fcd F cd .
4π
Recall that in order to derive the Maxwell field equation, as an Euler–Lagrange
equation, from this action, it is necessary to introduce a vector potential for Fab ,
by setting Fab = 2∇[a Ab] , and to carry out the variation with respect to Aa . It
is a general fact that for generally covariant (i.e. diffeomorphism invariant)
Lagrangian field theories which depend on the spacetime location only via the
metric and its derivatives, the symmetric energy momentum tensor
1 ∂Lmatter
Tab = √
g ∂gab
is conserved when evaluated on solutions of the Euler–Lagrange equations.
As a further example of a matter field, we consider the scalar field, with
action
Lscalar = 12 ∇ c ψ∇c ψ
where ψ is a function on M. The corresponding energy-momentum tensor is
Tab = ∇a ψ∇b ψ − 12 ∇ c ψ∇c ψgab
and the Euler–Lagrange equation is the free scalar wave equation
∇ a ∇a ψ = 0. (2.8)
As (2.8) is another example of a field equation derived from a covariant
action which depends on the spacetime location only via the metric gab or its
derivatives, the symmetric energy-momentum tensor is conserved for solutions
of the field equation.
In both of the just mentioned cases, the energy momentum tensor satisfies
the dominant energy condition Tab ν a ζ b ≥ 0 for future directed causal vectors
ν a , ζ a . This implies the null energy condition
Rab ν a ν b ≥ 0 if νa ν a = 0. (2.9)
These energy conditions hold for most classical matter models.
There are many interesting matter systems which are worthy of considera-
tion, such as fluids, elasticity, kinetic matter models including Vlasov, as well
as fundamental fields such as Yang–Mills, to name just a few. We consider only
spacetimes which satisfy the null energy condition, and for the most part we
shall in these notes be concerned with the vacuum Einstein equations,
Rab = 0. (2.10)
2.2.5. The Cauchy Problem

Given a spacelike hypersurface6 in M with timelike normal T a , induced
metric hab , and second fundamental form kab , defined by kab X a Y b =
∇a Tb X a Y b for X a , Y b tangent to , the Gauss and Gauss–Codazzi equations
imply the constraint equations
R[h] + (kab hab )2 − kab kab = 16πTab T a T b (2.11a)
∇[h]a (kbc h ) − ∇[h] kab = Tab T .
bc b b
(2.11b)
A three-manifold together with tensor fields hab , kab on solving the
constraint equations is called a Cauchy data set. The constraint equations
for general relativity are analogs of the constraint equations in Maxwell and
Yang–Mills theory, in that they lead to Hamiltonians which generate gauge
transformations.
Consider a 3+1 split of M, i.e. a one-parameter family of Cauchy surfaces
t , with a coordinate system (x ) = (t, x ), and let
a i
(∂t )a = NT a + X a
be the split of (∂t )a into a normal and tangential piece. The fields (N, X a ) are
called lapse and shift. The definition of the second fundamental form implies
the equation
L∂t hab = −2Nkab + LX hab .
In the vacuum case, the Hamiltonian for gravity can be written in the form

NH + X a Ja + boundary terms
where H and J are the densitized left-hand sides of (2.11). If we consider

only compactly supported perturbations in deriving the Hamiltonian evolution
equation, the boundary terms mentioned above can be ignored. However,
for (N, X a ) not tending to zero at infinity, and considering perturbations
compatible with asymptotic flatness, the boundary term becomes significant,
cf. Section 2.2.6.4.
The resulting Hamiltonian evolution
√ equations, written in terms of hab and
its canonical conjugate π ab = h(kab − (hcd kcd hab )), are usually called the
ADM (for Arnowitt–Deser–Misner) evolution equations.
Let ⊂ M be a Cauchy surface. Given functions φ0 , φ1 on and F on M,
the Cauchy problem for the wave equation is that of finding solutions to
6
Where there is no likelihood of confusion, we shall denote abstract indices for objects on by
a, b, c, . . . .

∇ a ∇a ψ = F, ψ = φ0 , L∂t ψ = φ1 .
Assuming suitable regularity conditions, the solution is unique and stable with
respect to the initial data. This fact extends to a wide class of non-linear hyper-
bolic PDEs including quasilinear wave equations, i.e. equations of the form
Aab [ψ]∂a ∂b ψ + B[ψ, ∂ψ] = 0
with Aab a Lorentzian metric depending on the field ψ.
Given a vacuum Cauchy data set, ( , hab , kab ), a solution of the Cauchy
problem for the Einstein vacuum equations is a spacetime metric gab with
Rab = 0, such that (hab , kab ) coincides with the metric and second fundamental
form induced on from gab . Such a solution is called a vacuum extension of
( , hab , kab ).
Due to the fact that Rab is covariant, the symbol of Rab is degenerate. In
order to get a well-posed Cauchy problem, it is necessary either to impose
gauge conditions or to introduce new variables. A standard choice of gauge
condition is the harmonic coordinate condition. Let gab be a given metric on
M. The identity map i : M → M is harmonic if and only if the vector field
V a = gbc (bc
a
−a
bc )
vanishes. Here bca , a are the Christoffel symbols of the metrics g ,
bc ab gab .
Then V is the tension field of the identity map i : (M, gab ) → (M,
a gab ). This
is harmonic if and only if
V a = 0. (2.12)
Since harmonic maps with a Lorentzian domain are often called wave maps,
the gauge condition (2.12) is sometimes called a wave map gauge condition.
A particular case of this construction, which can be carried out if M admits a
global coordinate system (xa ), is given by letting
gab be the Minkowski metric
defined with respect to (xa ). Then a = 0 and (2.12) is simply
bc
∇ b ∇b xa = 0, (2.13)
which is usually called the wave coordinate gauge condition.
Going back to the general case, let ∇ be the Levi-Civita covariant derivative
defined with respect to
gab . We have the identity
1 √ ab + ∇(a Vb)
Rab = − 12 √ ∇ a gg ∇b gab + Sab [g, ∇g] (2.14)
g
a gcd . Setting
where Sab is an expression which is quadratic in first derivatives ∇
V = 0 in (2.14) yields Rab , and (2.10) becomes a quasilinear wave equation
a harm
ab = 0.
Rharm (2.15)
By standard results, the equation (2.15) has a locally well-posed Cauchy

problem in Sobolev spaces H s for s > 5/2. Using more sophisticated
techniques, well-posedness can shown to hold for any s > 2 [71]. Recently
a local existence has been proved under the assumption of curvature bounded
in L2 [73]. Given a Cauchy data set ( , hab , kab ), together with initial values
for lapse and shift N, X a on , it is possible to find Lt N, Lt X a on such
that the V a are zero on . A calculation now shows that, due to the constraint
equations, L∂t V a is zero on . Given a solution to the reduced Einstein vacuum
equation (2.15), one finds that V a solves a wave equation. This follows from
∇ a Gab = 0, due to the Bianchi identity. Hence, due to the fact that the Cauchy
data for V a is trivial, it holds that V a = 0 on the domain of the solution. Thus,
the solution to (2.15) is a solution to the full vacuum Einstein equation (2.10).
This proves local well-posedness for the Cauchy problem for the Einstein
vacuum equation. This fact was first proved by Yvonne Choquet-Bruhat [54];
see [99] for background and history.
Global uniqueness for the Einstein vacuum equations was proved by
Choquet-Bruhat and Geroch [35]. The proof relies on the local existence
theorem sketched above, patching together local solutions. A partial order is
defined on the collection of vacuum extensions, making use of the notion of
a common domain. The common domain U of two extensions M, M is the
maximal subset in M which is isometric to a subset in M . We can then define
a partial order by saying that M ≤ M if the maximal common domain is M.
Given a partially ordered set, a maximal element exists by Zorn’s lemma. This
is proven to be unique by an application of the local well-posedness theorem
for the Cauchy problem sketched above. For a contradiction, let M, M be two
inequivalent extensions, and let U be the maximal common domain. Due to the
Haussdorff property of spacetimes, this leads to a contradiction. By finding a
partial Cauchy surface which touches the boundary of U (see Figure 2.2 and
making use of local uniqueness) one finds a contradiction to the maximality of
U. It should be noted that here uniqueness holds up to isometry, in keeping with
the general covariance of the Einstein vacuum equations. These facts extend
to the Einstein equations coupled to hyperbolic matter equations. See [101]
∂U
Figure 2.2. A partial Cauchy surface which touches the boundary of ∂U
Another random document with
no related content on Scribd:
The Project Gutenberg eBook of Elämä ja minä
This ebook is for the use of anyone anywhere in the United States
and most other parts of the world at no cost and with almost no
restrictions whatsoever. You may copy it, give it away or re-use it
under the terms of the Project Gutenberg License included with this
ebook or online at www.gutenberg.org. If you are not located in the
United States, you will have to check the laws of the country where
you are located before using this eBook.
Title: Elämä ja minä

Suorasanaisia runoja
Author: M. Pajari
Release date: December 14, 2023 [eBook #72405]
Language: Finnish
Original publication: Jyväskylä: K. J. Gummerus Oy, 1921
Credits: Tuula Temonen
*** START OF THE PROJECT GUTENBERG EBOOK ELÄMÄ JA

MINÄ ***
ELÄMÄ JA MINÄ
Suorasanaisia runoja
Kirj.
M. PAJARI [Tyyne Maria (Maija) Rautio]
Jyväskylässä, K. J. Gummerus Osakeyhtiö, 1921.
SISÄLLYS.
ELÄMÄ JA MINÄ
1. Elämä
2. Elämä ja minä
3. Elämäntyö
4. Kanssaihmiseni
5. Elämä, ota minut!
6. Ympäristö
7. Elämästä ja ystävästä
8. Onnen löytämisestä
9. Mies ja nainen ja kaikkeinpyhin
10. Rakkaus
11. Ystävä
12. Lempi ja minä
13. Onni ja minä
14. Mestari ja minä
15. Minä ja minä
YSTÄVÄNI JA MINÄ.
16. He ja minä 17. Hän ei tietänyt 18. Lempi ja vapaus 19.

Luuletko? 20. Kun ensi kerran tulit 21. Minun sydämeeni on tullut
joulu 22. Kun rakkauteni heräsi 23. Yhtä siinä yhdessä 24.
Lempemme puu 25. Hullut hetket 26. Ehkä niin on paras 27. Ja minä
itkin hiljaa 28. Punainen kukka 29. Kevätkö, poikani? 30. Muisto 31.
Sininen silta 32. Kuka olet? 33. Kukaties 34. Synti 35. Tuhlaajapoika
36. Vaikka sinulla olisi… 37. Sano 38. Joka oli väkevämpi kuin
rakkautesi 39. Älä suutele minua nyt 40. Pyhä-aamu 41. Liian
pitkällekö leikin? 42. Miksi lainkaan tulit? 43. Löysitkö kenties sinä?
44. Mene pian, tyttöseni! 45. Sisarukset 46. Lempemme 47. Eivät he
voi aavistaa 48. Syy ei ole minun — eikä sinun 49. Juuri sellaisena
50. Markkinatori 51. Naisen sydän 52. Vanhuus ja nuoruus 53. Tuska
54. Kadotetulle ystävälle 55. Siksi se oli 56. Se olen sittenkin minä
57. Ensimmäiselle ystävälle 58. Sydämeni taru
KUVIA JA TUNNELMIA
59. Uni 60. Kevät 61. Aamupimeä 62. Ensi lumi 63. Köyhän lempi
64. Markkinamies 65. Se vanha lahja
ELÄMÄ JA MINÄ
1. ELÄMÄ.
Kun kauan ihmisvilinässä kaduilla. Näin monenlaisia ohimeneviä,

mutta kaikkien katseessa oli ylinnä yhdenlainen kaipuu. Jokaisen
silmä kerjäsi rakkautta — kenenkään päähän ei pälkähtänyt sitä
antaa.
2. ELÄMÄ JA MINÄ.
Minä kuuntelen, — mutta ei mitään kuulu.
Elämä liukuu ohitseni. Seison syrjässä ja odotan, että se ottaisi

minutkin mukaansa. Aamusta iltaan minä istun ja kuuntelen, eikö
joku ääni jo kutsu. Eikö siellä valmisteta juhlaa jo minuakin varten,
eikö jo näppäillä huilun painimia, eikö viulusta helähdä iloinen kutsu-
sävel. Eikö jo kiilloiteta salien parketeita ja temmata minua niiden
palkeille. Eikö jo lasketa tuhatpäisiä raketteja ja hukuteta minua
karnevaalikukkien paljouteen. Nuorihan minäkin olen, ja maailmassa
vietetään nuorien juhlaa. — Ei, minä kuuntelen, — mutta hiljaista on.
Elämä liukuu ohitseni — ja unohtaa minut, ja turhaan minä sieltä

kutsua kuuntelen.
3. ELÄMÄNTYÖ.
Katselen ulos ikkunastani ja mietin itseäni ja muita.
Monet, jotka käyvät asuntoni ohitse, omistavat paljon, — minulla

on vain nöyryyteni.
Toiset ovat tehneet suuria tekoja, — minä olen tunnustanut vain

oman tyhjänpäiväisyyteni itselleni.
Sitä tehtävää vartenko äitini minua sydämensä alla kantoi ja

kivulla synnytti?
4. KANSSAIHMISENI.
Peitän ikkunani, suljen oven ja istun äänettömänä huoneessani, ettei

kukaan tietäisi tulla luokseni. Säälistä heihin en soisi heidän
kuulevan sanojani: »Turhaan tulitte, ei minulla ole mitään teille
antaa.» Kenties joku pyytäisi: »Anna itseäsi.» Ja minun täytyisi
vastata: »Kaikki minussa on vain rihkamaa, joka ei kelpaa muille.»
He jättäisivät minut yhtä köyhinä kuin tullessansa ja minun

sydämeni olisi kipeä siitä, ettei minulla ollut mitään, jota olisin voinut
tarjota heille.
5. ELÄMÄ OTA MINUT.
Elämä, älä aja noin korskeesti ohitseni!
Ota minutkin rattaillesi ja anna hevosten hurjasti nelistää. Mitä

siitä, jos ne pillastuvat ja rattaat särkyvät ja minä putoan maantien
ojaan ja saan verisiä haavoja. Parempi sekin kuin seisoa
varovaisesti syrjässä ja hiutua hiljalleen vähäverisyyteen.
Ei, Elämä, ota minutkin rattaillesi, äläkä noin sääli ja aja ohitseni!
Muuta en pyydä.
6. YMPÄRISTÖ.
Olen hiljan tullut tähän kaupunkiin.
Ihmiset sanovat, että tämä on rihkamakaupunki ja asukkaat

markkinaväkeä. — Siksi kai tähän ensisilmäyksellä miellyin ja tänne
jäin.
Täällä eivät fariseukset kolmasti päivässä kumarra temppeleissä.

Täällä vain publikaanit lyövät rintaansa ja sanovat: Herra minä olen
syntinen! Täällä kaikille anteeksi annetaan, — sillä täällä kaikkia
ymmärretään. Juuri siksi sanovat ihmiset ulko-puolella, että tämä on
rihkamakaupunki ja asukkaat markkinaväkeä.
— Tätä kaupunkia ja näitä ihmisiä olen etsinyt. Ja näille tahdon

minä elämäni antaa ja tähän multaan tulla haudatuksi.
7. ELÄMÄSTÄ JA YSTÄVÄSTÄ.
Olin pikku tyttö ja kyselin isoäidiltäni elämästä ja ystävästä ja isoäitini

sanoi mulle näin:
»Niin kuin meidän ruumiimme on kerran oleva vain kourallinen

multaa haudan pohjalla, niin on meillä ystävästä oleva kerran jälellä
— vain muisto sydämemme syvyydessä. Sentähden, pienoiseni, kun
tulet suureksi ja astut elämään, niin muista joka hetki muotosi
katoavaisuus, jotta voisit sen antaa, kun kuolema tulee noutamaan,
— tuskatta pois. Ja kun ystävä tulee luoksesi, niin älä unohda, että
hän ei tullut ijäksi, — jotta et särkyisi hänen lähdöstänsä.
Jos tahdot välttää kärsimyksen, pienoiseni, niin älä maailmassa

rakasta mitään omanasi, — omastansa on niin tuskallista luopua.
Katso, elämä antaa — mutta ei koskaan ijäksi — vain lainaksi.»
Näin kertoi isoäitini minulle ja isoäidille oli kertonut elämä.

8. ONNEN LÖYTÄMISESTÄ.
Isoäiti, mitä on elämä?
Lapseni, se on onnenetsintää.
Siksi minä varmaankin olen usein surullinen, kun olen niin nuori,
etten ole vielä ehtinyt sitä löytää?
Niin, lapsi?
Mutta isoäiti, monta vanhaa on tullut vastaani kaduilla, ja heidän

kasvonsa ovat olleet yhtä surulliset kuin minunkin. Eivätkö hekään
ole vielä löytäneet?
Luulen, että he ovat löytäneet, mutta hukanneet sen ja etsivät

uudelleen, vaan eivät muista enään kuinka se löydetään.
Mutta eivätkö vanhat ole viisaita?
Ovat, lapseni.
Silloinhan heidän pitäisi ymmärtää kuinka se löydetään.

Lapsi, onnen löytäminen on niin yksinkertaista, ettei siihen tarvita
viisautta, — mutta sitä eivät viisaat tiedä. He unohtivat sen kun
tulivat viisaiksi. Siksi he aina vain etsivät, vaan eivät löydä.
Isoäiti, sinä olet varmaan vieläkin yksinkertainen, sillä kasvosi ovat

kirkkaat, niinkuin olisit onnen löytänyt?
Olen, lapsi.
Olenko minä sitten viisas, kun kasvoni ovat usein synkät kuin
niiden, jotka ovat vastaani tulleet?
Isoäiti hymyili ja virkkoi: Sinun pieni järkesi on aina valveilla ja

keksii aina uusia keinoja uusien pikku onnien löytämiseksi ja on
niistä huolissaan, — mutta sinun sydämesi vielä nukkuu. Siinä sinä
olet niin: kuin ne viisaat. Mutta kun sinun sydämesi herää, lakkaa
sinun pieni pääsi viisastelemasta ja sinä tulet yksinkertaiseksi kuin
isoäiti.
Sittenkö löydän onnen?
Sitten.
Silloinko sinäkin löysit?
Niin, lapsi.
Luuletko, että ymmärtäisin, vaikka en olekaan vielä yksinkertainen,

jos kertoisit kuinka löysit?
Pelkään, että olet liian viisas.
Kerro sittenkin, isoäiti. Kerro niinkuin satu.

Isoäiti pani kätensä pääni päälle ja katsoi minua silmiin: Ensin olin
minä sellainen pieni viisas tyttö kuin sinä ja etsin onnea itselleni,
mutta kun minun sydämeni heräsi, tulin minä yksinkertaiseksi, enkä
ymmärtänyt etsiä mitään itselleni, — vaan aloin antaa muille — ja
ensimäiseksi annoin minä sydämeni. Silloin tulivat minun silmäni
kirkkaiksi, niin kuin on kaikilla niillä, jotka ovat onnen löytäneet.
Isoäiti, en ymmärrä?
Katso, lapseni, joka tahtoo onnen löytää, hänen täytyy lakata sitä
etsimästä — ja ruveta antamaan, — sillä vain antaminen on onnea.
Katsoin suurin, ihmettelevin silmin ja kysyin hiljaa:
Isoäiti, koska minun sydämeni herää?
Sitten kun sen joku herättää.
En rohjennut kysyä enempää, sillä olin jo kysynyt enemmän kuin

saatoin ymmärtää. Sanoin isoäidille hyvääyötä ja menin vuoteeseeni
ja valvoin kauan, kauan.
Isoäiti, katso taivaasta lapsenlapsesi silmiä. Nyt on hän tullut

yksinkertaiseksi niinkuin sinä, sillä hänen sydämensä on herännyt
niinkuin sinun kerran ja hän on antanut sen pois, niinkuin sinäkin olit.
Katso taivaasta, isoäiti, lapsenlapsesi silmiä nyt, kuinka ne ovat

kirkkaat ja valoisat niinkuin sinun silmäsi ennen ja kaikkien niiden,
jotka ovat onnen löytäneet.
9. MIES JA NAINEN JA
KAIKKEINPYHIN.
Kun mies menee sielunsa peräkamariin, menee hän sinne — yksin

ja sulkee jälkeensä oven. Tuskin ainoankaan naisen jalka on miehen
kaikkeinpyhimmän kynnyksen yli astunut.
Mutta nainen menee kaikkeinpyhimpäänsä vasta sitten — kun hän

voi viedä jonkun sinne mennessänsä. Ja jos ei sitä »jotakin» löydy,
jää häneltä sinne alati menemättä, — ja hänen sielunsa peräkamari
jää hoitoa vaille.
Mies tarvitsee henkisesti kasvaaksensa — yksinäisyyttä. Nainen

— ystävää.
Mies etsii korkeampaa itseään yksinäisyydestä, nainen —

ystävästä.
10. RAKKAUS.
Rakkaus on luovaa tahtoa.
Rakastava on luoja.
Missä ei luomista ole, siellä ei ole rakkautta.
Rakkaus on kuin puu. Hedelmillään se todistaa:
Minä olen! Minä elän!
Missä kaksi ruumista rakkaudessa yhtyy — syntyy lapsi.
Missä kaksi henkeä rakkaudessa yhtyy, tulevat he siitä henkisesti

raskaiksi ja synnyttävät — itsensä uudelleen.
Ilman rakkautta ei ole uudesti syntymistä. Ja ilman

uudestisyntymistä ei ole täydellistä rakkautta.
Sillä rakkaus on kuin puu, hedelmissään se itsensä ilmentää.

11. YSTÄVÄ.
Ystävä on se, joka rakastaa meitä — meidän Itsemme tähden.
Kun hetki oli tullut, alkoi Natsarealainen Mestari ihmisten joukosta

etsiä kahtatoista, jotka häntä rakastaisivat — yli sen, mitä kansa
rakasti. Kansa rakasti hänessä vain sitä minkä näki, mutta hän etsi
niitä, jotka rakastaisivat hänessä sitä, jonka tunsivat. Sillä heidän
rakkautensa oli oleva kallio hänen jalkainsa alle ja suola hänen
leivällensä.
Etsi ja löysi ne kaksitoista ystäväänsä.
— Ihmiselle riittää yksi. Ja tätä yhtä aloin minä etsiä siitä hetkestä,
kun aloin Itseäni etsiä, — jotta minä itseni löytäisin.
Kuljin ja etsin. Yksi rakasti silmiäni, toinen suutani, kolmas ääntäni,

joku aatteitani, mutta yksikään ei edes tuntenut — minua itseäni. Ja
yhäti seison minä hiekalla ja leipäni on ilman suolaa ja kysyn:
Lieneekö siis olemassakaan sitä Itseäni, — kun ei sitä kukaan ole
nähnyt, — vai enkö minä vielä ole nähnyt ystävääni?

Textbook Asymptotic Analysis in General Relativity 1St Edition Thierry Daude Ebook All Chapter PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Textbook Asymptotic Analysis in General Relativity 1St Edition Thierry Daude Ebook All Chapter PDF

Uploaded by

Copyright:

Available Formats

Asymptotic Analysis in General

Relativity 1st Edition Thierry Daudé

Scalar Fields in Numerical General Relativity Katy

Gravitational Theories Beyond General Relativity Iberê

General relativity a first examination Second Edition

A Mathematical Journey to Relativity Deriving Special

A Student s Manual for A First Course in General

Lectures on General Relativity Cosmology and Quantum

Formulations of General Relativity Gravity Spinors and

Exploring Black Holes Introduction to General

Asymptotic Analysis in General Relativity

Cambridge University Press is part of the University of Cambridge.

1 Introduction to Modern Methods for Classical and

2 Geometry of Black Hole Spacetimes 9

3 An Introduction to Conformal Geometry and Tractor

3.3 Lecture 2: Conformal Transformations and Conformal Covariance 94

4 An Introduction to Quantum Field Theory on

5 A Minicourse on Microlocal Analysis for Wave Propagation 219

1.1. Geometry of Black Hole Spacetimes

1.2. Quantum Field Theory on Curved Spacetimes

1.3. Conformal Geometry and Conformal Tractor Calculus

1.4. A Minicourse in Microlocal Analysis

[28] D. C. Robinson, Four decades of black hole uniqueness theorems. In D.L.

Laboratoire AGM, Département de Mathématiques, Université de Cergy-Pontoise,

Abstract. These notes, based on lectures given at the summer school on

non-linear stability results without symmetry assumptions, including the sta-

The discussion of black hole spacetimes is started in Section 2.3 with a

4 2 = (g ) dxa dxb , and metrics, eg. (g ) ,

Figure 2.1. Causal diagram of Minkowski space

Then, with 2 = 2 cos U cos V, the conformally transformed metric g̃ab =

which we recognize as the metric on the cylinder R × S3 . This spacetime is

2.2.2. Lorentzian Geometry and Causality

product × R. In the following, unless otherwise stated, we shall consider

We remark that for a globally hyperbolic spacetime, which is extendible, the

2.2.3. Conventions and Notation

where ac b = 1 gbd (∂ g + ∂ g − ∂ g ) is the Christoffel symbol. In order

the first Bianchi identity R[abc]d = 0. Here square brackets [· · · ] denote

Rabcd = − 12 gad gbc R + 12 gac gbd R + 2 gbd Sac

2.2.4. Einstein Equation

∇ a Fab = 0, ∇[a Fbc] = 0

imply that Tab is conserved, ∇ a Tab = 0. The contracted second Bianchi

where Lmatter is the Lagrangian describing the matter content in spacetime. In

2.2.5. The Cauchy Problem

where H and J are the densitized left-hand sides of (2.11). If we consider

By standard results, the equation (2.15) has a locally well-posed Cauchy

Figure 2.2. A partial Cauchy surface which touches the boundary of ∂U

Title: Elämä ja minä

Release date: December 14, 2023 [eBook #72405]

Original publication: Jyväskylä: K. J. Gummerus Oy, 1921

Credits: Tuula Temonen

*** START OF THE PROJECT GUTENBERG EBOOK ELÄMÄ JA

M. PAJARI [Tyyne Maria (Maija) Rautio]

Jyväskylässä, K. J. Gummerus Osakeyhtiö, 1921.

16. He ja minä 17. Hän ei tietänyt 18. Lempi ja vapaus 19.

Kun kauan ihmisvilinässä kaduilla. Näin monenlaisia ohimeneviä,

Minä kuuntelen, — mutta ei mitään kuulu.

Elämä liukuu ohitseni. Seison syrjässä ja odotan, että se ottaisi

Elämä liukuu ohitseni — ja unohtaa minut, ja turhaan minä sieltä

Katselen ulos ikkunastani ja mietin itseäni ja muita.

Monet, jotka käyvät asuntoni ohitse, omistavat paljon, — minulla

Toiset ovat tehneet suuria tekoja, — minä olen tunnustanut vain

Sitä tehtävää vartenko äitini minua sydämensä alla kantoi ja

Peitän ikkunani, suljen oven ja istun äänettömänä huoneessani, ettei

where ac b = 1 gbd (∂ g + ∂ g − ∂ g ) is the Christoffel symbol. In order