Schrödinger’s Space-Time Structure – Chapter 1
Let’s work through Erwin Schrödinger’s Space-Time Structure one chapter at a time, explaining both the argument and the mathematics.
The book’s overall approach
Schrödinger builds spacetime geometry in three stages:
| Stage | Structure introduced | What becomes possible |
|---|---|---|
| Unconnected manifold | Points, coordinates, vectors and tensors | Express local quantities independently of coordinates |
| Affinely connected manifold | A connection | Differentiate vector fields, transport vectors, define curvature and geodesics |
| Metrically connected manifold | A metric compatible with the connection | Measure intervals and develop Einstein’s spacetime geometry |
His strategy is to identify how much structure each mathematical idea actually requires. For example, tensors can exist before we introduce any notion of distance.
The Introduction also presents his ambition to describe physics geometrically. This is the motivation for the later discussion of unified theories; ordinary general relativity does not, by itself, derive all other interactions from spacetime geometry.
Chapter I — Invariance; Vectors and Tensors
The chapter asks:
What can we say about spacetime that does not depend on how we label its points?
Coordinates are labels. A change of labels should change how we describe something, while preserving the underlying quantity.
1. Begin with points and coordinate labels
An event has four coordinates, which we will write in modern notation as
![]()
Another coordinate system assigns the same event labels
![]()
For this to be a valid local coordinate change, its Jacobian must be invertible:
![]()
At this stage, we have introduced no metric. We cannot yet calculate lengths, angles or elapsed proper time.
Also, the coordinate values
themselves are generally not vector components: coordinate changes can be nonlinear or include translations.
2. A scalar is a number attached to an event
A scalar field assigns a number to each point:
![]()
Its value at a particular event is independent of coordinates:
![]()
The function’s expression can change even though its value at the same point does not.
For example, in two dimensions,
![]()
becomes, in polar coordinates,
![]()
These are two expressions for the same field.
3. Coordinate displacements give the prototype of a contravariant vector
The chain rule gives
![]()
Schrödinger defines a contravariant vector as a quantity transforming this way:
![]()
A useful example is the tangent to a curve
:
![]()
where
is a fixed curve parameter independent of the coordinate choice.
The vector belongs to a particular point. The Jacobian used to transform it is evaluated at that point.
4. Scalar derivatives give the prototype of a covariant vector
Now differentiate a scalar field:
![]()
The chain rule gives
![]()
Notice the inverse Jacobian, compared with the vector transformation law.
A covariant vector, or covector, therefore transforms as
![]()
Thus:
| Object | Transformation factor |
|---|---|
| Vector | |
| Covector |
The different index positions record different transformation laws.
5. Their contraction is invariant
The change in a scalar between neighboring points is
![]()
Written explicitly,
![]()
Both factors change under a coordinate transformation, but their changes cancel:
![Rendered by QuickLaTeX.com \[ \begin{aligned} A'_\mu V'^\mu &= \frac{\partial x^\nu}{\partial x'^\mu} \frac{\partial x'^\mu}{\partial x^\rho} A_\nu V^\rho\\ &=\delta^\nu{}_\rho A_\nu V^\rho\\ &=A_\nu V^\nu. \end{aligned} \]](https://stationarystates.com/wp-content/ql-cache/quicklatex.com-8e85979cda0b69591f35d0c7d5297b01_l3.png)
Therefore,
![]()
Geometrically, a covector takes a vector as input and returns a number. This pairing requires no metric.
6. Tensors generalize these transformation laws
A tensor has one transformation factor for each index. For example,
![]()
A mixed tensor transforms as
![]()
An array of numbers qualifies as a tensor because it obeys the appropriate transformation law.
A product such as
![]()
provides an example, although a general rank-two tensor need not factor into a single product.
7. Tensor algebra preserves coordinate independence
The chapter develops several operations:
| Operation | Example | Result |
|---|---|---|
| Addition of tensors of the same type at the same point | A vector | |
| Tensor product | A mixed rank-two tensor | |
| Contraction | A scalar | |
| Symmetric part | A symmetric tensor | |
| Antisymmetric part | An antisymmetric tensor |
For example,
![]()
Contraction pairs one upper index with one lower index. We cannot yet freely raise and lower indices, because that requires a metric.
Likewise, vectors at different points cannot yet be compared by parallel transport: we have not introduced a connection.
8. Why tensor equations are useful physical laws
Suppose
![]()
Equivalently,
![]()
Because tensor transformations are linear and homogeneous, a tensor whose components all vanish in one coordinate system vanishes in every coordinate system.
Consequently:
![]()
This makes tensors a natural language for expressing coordinate-independent physical relationships. It does not determine which relationships are physically correct; dynamics must still supply that information.
9. The chapter’s final tool: recognizing a tensor indirectly
Schrödinger proves a useful converse.
If an array
satisfies
![]()
for every independently chosen pair of vectors
, then
must transform as a covariant tensor.
The arbitrary vectors probe every component of the array. Requiring their contraction to be invariant forces the tensor transformation law.
One application is the identity tensor:
![Rendered by QuickLaTeX.com \[ \delta^\mu{}_\nu = \begin{cases} 1,&\mu=\nu,\\ 0,&\mu\neq\nu. \end{cases} \]](https://stationarystates.com/wp-content/ql-cache/quicklatex.com-11b79938dcafc5436dcc545a88561c4b_l3.png)
It satisfies
![]()
and has the same numerical components in every coordinate system.
Connection to your scalar Lagrangian question
We can now distinguish what geometry is needed for
![]()
Chapter I already gives us the scalar
and covector
. But writing an upper derivative index requires a metric:
![]()
Thus the kinetic term really means
![]()
The metric supplies the missing structure needed to contract those two covectors. In Minkowski coordinates,
, producing the time and spatial derivative terms we expanded earlier.
The central lesson of Chapter I: vectors and tensors describe local quantities without requiring a notion of distance. A connection and a metric add further capabilities later.
Next is Chapter II: Integrals, Densities, Derivatives, which asks how integration and differentiation behave when coordinates change.
Leave a Reply