General Covariance and the
Passive Equations of Physics
Shlomo Sternberg
1. What Do I Mean by âPassive Equationsâ ?
By the passive equations of physics, I mean those equations that describe the motion of a small object in the presence of a force field, where we ignore the effect produced by this small object.
For example, Newtonâs laws say that any two objects attract one another. But if we study the motion of a ball or a rocket in the gravitational field of the earth, we ignore the tiny effect that the ball or rocket has on the motion of the earth.
If we have a small charged particle in an electromagnetic field, the Lorentz equations describe the motion of the particle when we ignore the field produced by the motion of the particle itself.
To explain what I mean by general covariance will take the whole lecture.
2. The Sources of This Lecture
The first source of my lecture is a late paper by Albert Einstein, Leopold Infeld and Banesh Hoffman entitled âThe Gravitational Equations and the Problem of Motion,â published in the Annals of Mathematics, 39 (1938). It opens with the following words:
In this paper we investigate the fundamentally simple question of the extent to which the relativistic equations of gravitation determine the motion of ponderable bodies.
It will take a bit of effort to explain what this âfundamentally simple questionâ is. I should comment that the EinsteinâInfeldâHoffman paper is technically difficult to read, because it was written before the appropriate mathematical language â the theory of generalized functions â was developed. The person who extracted the key idea from this paper in modern mathematical language was J.M. Souriau, who applied the EinsteinâInfeldâHoffman method to determine the equations of motion of a spinning charged particle in an electromagnetic field. His paper, âModĂšle de particule Ă spin dans le champ Ă©lectromagnĂ©tique et gravitationnel,â appeared in Annales de lâinstitut Henri PoincarĂ©, 20 (1974). This is the second source of my lecture.
My purpose herein is to explain how the EinsteinâInfeldâHoffman method, as formulated for spinning particles by Souriau, can be viewed as a principle for determining the passive equations of physics in a very general setting.
Figure 1. Jean Marie Souriau.
Souriauâs paper is itself not an easy read. He has a wonderful but idiosyncratic mode of exposition. For example, here is the flow chart presented on page 2 of the paper (Figure 2).
3. What is the âFundamentally Simple Questionâ Posed by Einstein, Infeld and Hoffmann?
There are two fundamental principles of general relativity:
- The distribution of energy-matter determines the geometry of space time.
- A small piece of ponderable matter moves along a geodesic in the geometry determined as above.
Figure 2. Flow chart, J.M. Souriau, âModĂšle de particule Ă spin dans le champ Ă©lectromagnĂ©tique et gravitationnel,â Annales de lâinstitut Henri PoincarĂ©, 20 (1974), p. 2.
I will spend some time explaining the meanings of the word âgeodesic.â
Many distinguished physicists thought that these were two independent principles. The point of the EinsteinâInfeldâHoffman paper was to explain how they are related.
4. Einsteinâs Comment on the First Principle
Referring to the impact of the work of his predecessors Heinrich Rudolf Hertz and Hendrik Antoon Lorentz, which led to the elucidation of the first principle, Einstein remarked: âPeople slowly accustomed themselves to the idea that the physical states of space itself were the final physical realityâ (Albert Einstein, âThe History of Field Theory,â lecture to the general public, February 3, 1929).
Figure 3.âPeople slowly accustomed themselves to the idea that the physical states of space itself were the final physical realityâ â Albert Einstein (cartoon by Rea Irvin, The New Yorker, 1929; © Rea Irvin/The New Yorker Collection).
Figure 3 shows The New Yorkerâs take on Einsteinâs comment.
5. What Is a Geodesic?
Before the papers by EinsteinâInfeldâHoffman and Souriau, there were several (equivalent) definitions of what a geodesic is. They all try to extend to more general geometries a characteristic property that straight lines have in Euclidean geometry:
- A straight line is âthe shortest distance between two points.â
- A straight line is âself-parallelâ in the sense that it always points in the same direction at all its points.
A curved line will (in general) be pointing in different directions at different points.
For example, on a sphere, the geodesics are (portions of) great circles. To...