Objects Involved in a Transformation
When quantum field theory textbooks discuss transformations, they are usually describing the relation between fields and coordinates. Tong’s lecture notes, for example, say:
we are dealing with an active transformation in which the field is truly shifted.
If we were instead dealing with a passive transformation in which we relabel our choice of coordinates.
Descriptions of this kind conceal an object that is rarely named explicitly: spacetime.
If fields and coordinates were the only objects involved, then shift field and relabel coordinates would not differ in substance; they would merely be two views of the same relative motion.
Once spacetime is included explicitly, we can discuss active and passive transformations more carefully, as well as why spacetime is so often omitted from the discussion.
Active Transformations
An active transformation changes the distribution of a field over spacetime. For a real scalar field
Here
It is important that neither the spacetime manifold nor its coordinate system changes under an active transformation. What changes is the field configuration.
For example, a Lorentz transformation sends
A common source of confusion is that this expression looks exactly like a Lorentz coordinate transformation. In the active picture, however, it is not a coordinate transformation. It relates the coordinates of
In other words, the object acted on by the “Lorentz transformation” here is the field configuration, not the coordinate system.
Passive Transformations
A passive transformation changes the coordinate system on spacetime. It changes the coordinates assigned to the same spacetime point from
For a Lorentz transformation,
Neither spacetime nor the field configuration changes under a passive transformation. This is the transformation commonly meant when we speak of a “Lorentz transformation.”
Comparing Active and Passive Transformations
To compare the two descriptions more carefully, introduce the coordinate map
Then
or equivalently
The active transformation can therefore be written as
Now introduce
The component expression
may then be written as
Define
Suppressing
If
Therefore,
Again suppressing
For a passive transformation, spacetime and the field configuration remain unchanged:
The coordinate system changes, meaning that the map
Define
Then
Suppressing
From
Therefore,
Suppressing
Why Is Spacetime Often Omitted?
The background spacetime of quantum field theory is Minkowski spacetime. Its high degree of symmetry makes spacetime itself easy to overlook: applying a transformation to the field configuration and then making the corresponding change of coordinates produces a result equivalent to the original description.
In fact, both the field configuration and the coordinates have changed relative to spacetime. The symmetry of Minkowski spacetime prevents that change from becoming visible. On an arbitrary spacetime, this equivalence no longer holds.
Equivalence of Active and Passive Transformations in Minkowski Spacetime
In Minkowski spacetime, appropriate active and passive transformations can be chosen to have the same final effect: the same field value is associated with the same spacetime coordinate, or equivalently, the coordinate-dependent functions used to describe the field configuration are identical.
Again consider a Lorentz transformation. The active transformation gives
The passive transformation gives
Therefore,
Moreover,
Thus the field-configuration function
Active and Passive Transformations Are Generally Inequivalent on an Arbitrary Spacetime
On an arbitrary spacetime, an active transformation changes the field configuration assigned to spacetime points. Different spacetime points may have different curvature, and curvature distinguishes one point from another. An active transformation therefore changes the correspondence between curvature and field value.
A passive transformation changes neither spacetime nor the field configuration on it, so it does not change the correspondence between curvature and field value.
From this perspective, active and passive transformations cannot in general be equivalent.