Conformal Isometries and The Wave Equation: Article 10254 2023-11-12
Conformal Isometries and The Wave Equation: Article 10254 2023-11-12
Conformal Isometries
and the Wave Equation
Randy S
Contents
1 Conformal isometries 3
4 Composing fieldomorphisms 6
5 Strategy 8
6 Direct approach 9
1
© 2018-2023 Randy S
For noncommercial use only
cphysics.org article 10254 2023-11-12
9 Condition (10) 14
10 Condition (11) 15
15 Weyl invariance 21
16 General covariance 23
17 References 24
2
cphysics.org article 10254 2023-11-12
1 Conformal isometries
Let x = (x0 , x1 , ..., xN −1 ) denote a point in N -dimensional spacetime,1 and write
∂a for the partial derivative with respect to xa . For most of this article, spacetime
is taken to be flat, and the components of the metric are
(
±1 if a = b,
ηab =
0 otherwise.
This includes the Minkowski metric as a special case, but the signature is arbitrary
in this article. Use the abbreviations2
x · y ≡ ηab xa y a ∂ · ∂ ≡ η ab ∂a ∂b ,
where η ab are the components of the inverse metric, which in this case happen to
be the same as the original components ηab .
In this context, a conformal isometry3 is a diffeomorphism4 x → x̂ for which
dx̂ · dx̂ = Ω2 (x) dx · dx. (1)
Examples:3
• A conformal isometry for which Ω(x) = 1 is called an (ordinary) isometry.
Poincaré transformations are ordinary isometries in Minkowski spacetime.
• x → λx with λ > 0 is called a dilation. In this case, Ω(x) = λ.
• x → x/(x · x) is called an inversion. In this case, Ω(x) = 1/(x · x).
When N ≥ 3, all other conformal isometries are generated by these three examples.3
1
The superscripts are indices, not exponents.
2
I’m using the standard summation convention, with an implied sum over each index that occurs as both a
superscript and subscript in the same term.
3
Article 38111
4
In this context, a diffeomorphism is a smooth rearrangement of the points of spacetime (article 93875), but
not necessarily defined at all points in spacetime. The inversion x → x/(x · x) is defined only where x · x 6= 0.
3
cphysics.org article 10254 2023-11-12
∂ · ∂φ(x) = 0 (2)
∂ · ∂ φ̂(x) = 0. (4)
5
Equation (1) doesn’t specify the sign of Ω(x), but equation (3) assumes the convention Ω(x) > 0.
6
Appendix D in Wald (1984) uses the name conformal transformation for what many physicists (including this
article) call a Weyl transformation. Section 7.6.2 in Nakahara (1990) uses the name conformal transformation for
what this article calls a conformal isometry.
7
This name is not standard. It builds on the name fieldomorphism that article 00418 used for a transformation
like φ(x) → φ̂(x) ≡ φ(x̂), where x → x̂ is an arbitrary diffeomorphism.
8
Section 15 reviews the concept of a Weyl transformation, mainly for the purpose of distinguishing it from what
this article calls a conformal fieldomorphism.
9
When N ≥ 3, they are also symmetries of the more general equation ∂ · ∂φ ∝ φ(N +2)/(N −2) . Notice that the
exponent is an integer only if N = 4 or N = 6.
4
cphysics.org article 10254 2023-11-12
∂ · ∂ω(x) = 0
∂ · ∂ ω(x)x̂ = 0
wherever x · x 6= 0. Section 6 will use these properties of ω(x) to show that the
transformation φ(x) → φ̂(x) defined by (5) is a symmetry of the wave equation.
10
Article 38111
5
cphysics.org article 10254 2023-11-12
4 Composing fieldomorphisms
The composition of two conformal isometries (the result of applying them sequen-
tially) is another conformal isometry. This is clear from the definition (1). This
section shows that the composition of two conformal fieldomorphisms (3) is another
conformal fieldomorphism that agrees with the composition of the corresponding
conformal isometries.
Since we’re dealing with two conformal isometries now, we need to use a notation
that distinguishes between them. If we use the operator-like notation
x → σ1 x x → σ2 x
for the two conformal isometries, then their composition (the result of applying σ1
and then σ2 ) is
x → σ12 x ≡ σ2 σ1 x.
These are conformal isometries, so the effect of each one on the line element may
be written
d(σ1 x) · d(σ1 x) = Ω21 (x) dx · dx
d(σ2 x) · d(σ2 x) = Ω22 (x) dx · dx
d(σ2 σ1 x) · d(σ2 σ1 x) = Ω212 (x) dx · dx.
Use the first two equations to get
d(σ2 σ1 x) · d(σ2 σ1 x) = Ω22 (σ1 x) d(σ1 x) · d(σ1 x)
= Ω22 (σ1 x)Ω21 (x) dx · dx,
which gives this equation for the scale function Ω12 of the composite transformation:
Ω12 (x) = Ω2 (σ1 x)Ω1 (x). (6)
Now, for any function φ(x) and any n ∈ {1, 2, 12}, define a transformation φ → σn φ
by
σn φ(x) ≡ ωn (x)φ(σn x) (7)
6
cphysics.org article 10254 2023-11-12
with
ωn (x) ≡ (Ωn (x))(N −2)/2 , (8)
as in equation (3). Equations (7) with n ∈ {1, 2} imply
which is consistent with equations (6) and (8). This completes the derivation.
E
This would all still be true if ωn (x) = Ωn (x) for any exponent E, but the
exponent shown in (8) is special because it makes ωn (x) satisfy the conditions (10)
and (11). This is easy to check by direct calculation when σn is the inversion
σn x = x/(x · x). The following sections explain how it can be inferred for other
conformal isometries.
The result derived in this section can be expressed using the language of category
theory.11 Conformal isometries may be regarded as the morphisms in a category
with just one object. That one object is the smooth manifold (spacetime) on
which the conformal isometries act. Conformal fieldomorphisms may be regarded
as the morphisms in another category with just one object. That one object is the
set of scalar fields that satisfy the wave equation (wherever they’re defined). In
both cases, the composition of two morphisms is another morphism, as required by
the definition of category. By expressing conformal fieldomoprhisms in terms of
conformal isometries, equations (3) define a functor from the conformal-isometries
category to the conformal-fieldomorphisms category. A functor converts morphisms
in one category to morphisms in another category, respecting composition.
11
Spivak (2013) and McLarty (1992) are relatively inviting introductions to category theory.
7
cphysics.org article 10254 2023-11-12
5 Strategy
The goal is to show that the transformations φ → φ̂ defined in equation (3) –
conformal fieldomorphisms – are symmetries of the wave equation (2) if N ≥ 2.
Here’s an outline:
∂ · ∂ω(x) = 0 (10)
∂ · ∂ ω(x)x̂ = 0 (11)
wherever it is defined.
• Sections 7-8 will use a different method, involving the action principle, to
show that a conformal fieldomorphism is a symmetry of the wave equation if
ω satisfies the condition (10).12
• Sections 9-10 will show that if two conformal isometries both satisfy the
conditions (10)-(11), then so does their composition.13
• Sections 11 use that result to show that every conformal isometry satisfies
the conditions (10)-(11) if N ≥ 2. This implies that all of the corresponding
conformal fieldomorphisms are symmetries of the wave equation.
For extra fun, sections 12-14 review how the embedding space formalism can be
used to study conformal fieldomorphisms.14
12
This approach doesn’t use the condition (11) explicitly, but it does use the fact that ω(x) is defined by equations
(1) and (3), which the subsequent sections use to show that ω satisfies the conditions (10) and (11).
13
Actually the proof shown here is incomplete, because the composition of two conformal isometries may be defined
everywhere (by continuation) even if the conformal isometries that went into it are not. Example: composing the
inversion x → x/(x · x) with itself gives the identity transformation, which is defined everywhere, in the same sense
that (x · x)/(x · x) = 1. The proof shown here doesn’t include the continuation step.
14
Article 38111 uses the embedding space formalism to study conformal isometries (equation (1)).
8
cphysics.org article 10254 2023-11-12
6 Direct approach
This section shows that if φ(x) is any solution of the wave equation (2), and if ω
satisfies the conditions (10) and (11),15 then the new field φ̂(x) defined in (3) is
another solution of the wave equation.
Start with the elementary identities
∂ · ∂ φ̂(x) = ∂ · ∂ ω(x)φ(x̂)
= ∂ · ∂ω(x) φ(x̂) + 2 ∂ω(x) · ∂φ(x̂) + ω(x)∂ · ∂φ(x̂). (12)
9
cphysics.org article 10254 2023-11-12
and the assumption that φ(x) satisfies the wave equation (∂ · ∂φ(x) = 0) implies
∂ˆ · ∂φ(x̂)
ˆ = 0 just by relabeling the coordinates, so the last term in equation (14)
is zero. Use these results in (12) to get
with
Γa ≡ 2 ∂ω(x) · (∂ x̂a ) + ω(x)(∂ · ∂ x̂a ).
(19)
The condition (10) implies that the quantity Γa may also be written
Γa = ∂ · ∂ ω(x)x̂a .
(20)
Equations (18) and (20) show that φ̂(x) satisfies the wave equation if ω(x) satisfies
the conditions (10) and (11).
10
cphysics.org article 10254 2023-11-12
δS[φ]
=0
δφ(x)
Now suppose that x → x̂ is any conformal isometry, not necessarily satisfying the
condition (10). Section 8 shows that replacing the original scalar field φ(x) with
the new scalar field (3) has this effect on the action:
Z Z
S[φ̂] = ±S[φ] + d x ∂ · (something) − dN x φ2 (x̂)ω(x)∂ · ∂ω(x).
N
(22)
17
Article 49705
18
I’m omitting a conventional but inconsequential overall factor of 1/2.
11
cphysics.org article 10254 2023-11-12
and
Z
dN x 2ω(x)φ(x̂) ∂φ(x̂) · ∂ω(x) + φ2 (x̂) ∂ω(x) · ∂ω(x)
S2 [φ] ≡
Z Z
= d x ∂ · ω(x)φ (x̂)∂ω(x) − dN x φ2 (x̂)ω(x)∂ · ∂ω(x).
N 2
(26)
To get a more useful expression for S1 [φ], use the general identity
12
cphysics.org article 10254 2023-11-12
Combining (24), (26), and (31) gives the promised result (22).
13
cphysics.org article 10254 2023-11-12
9 Condition (10)
As in section 4, consider two conformal isometries σ1 and σ2 . This section shows
that if ω1 (x) and ω2 (x) both satisfy condition (10), then so does ω12 (x). The
notation here is the same as in section 4, and the abbreviations
∂
x̂ ≡ σ1 x ∂ˆ ≡
∂ x̂
will also be used.
Equation (9) combined with ∂ · ∂ω1 (x) = 0 implies
∂ · ∂ω12 (x) = 2 ∂ω1 (x) · ∂ω2 (σ1 x) + ω1 (x)∂ · ∂ω2 (σ1 x)
= 2 ∂ω1 (x) · (∂ x̂a )∂ˆa ω2 (x̂) + ω1 (x)∂ · (∂ x̂a )∂ˆa ω2 (x̂)
The assumption that ω1 (x) satisfies the conditions (10) and (11) implies that the
quantity in square brackets is zero, so this proves that ω12 (x) satisfies condition
(10).
14
cphysics.org article 10254 2023-11-12
10 Condition (11)
This section shows that if ω1 (x) and ω2 (x) both satisfy condition (11), then so does
ω12 (x). More explicitly: if
∂ · ∂ ω1 (x)σ1 x = 0 (32)
∂ · ∂ ω2 (x)σ2 x = 0, (33)
then
∂ · ∂ ω12 (x)σ12 x = 0. (34)
The notation here is the same as in section 9.
Equation (9) combined with ∂ · ∂ω1 (x) = 0 implies
∂ · ∂ ω12 (x)(σ12 x)a = ∂ · ω2 (x̂)(σ2 x̂)a ∂ω1 (x) + ω1 (x)∂ ω2 (x̂)(σ2 x̂)a
h i
a b ˆ a
= ∂ · ω2 (x̂)(σ2 x̂) ∂ω1 (x) + ω1 (x)(∂ x̂ )∂b ω2 (x̂)(σ2 x̂)
∂ · ∂ ω12 (x)(σ12 x)a = ∂ · [ω2 (x̂)(σ2 x̂)a ∂ω1 (x)] + ∂ · ω1 (x)(∂ x̂b ) ∂ˆb ω2 (x̂)(σ2 x̂)a .
∂ · ∂ ω12 (x)(σ12 x)a = ∂ [ω2 (x̂)(σ2 x̂)a ] · ∂ω1 (x) + ∂ · ω1 (x)(∂ x̂b ) ∂ˆb ω2 (x̂)(σ2 x̂)a
= (∂ x̂b )∂ˆb [ω2 (x̂)(σ2 x̂)a ] · ∂ω1 (x) + ∂ · ω1 (x)(∂ x̂b ) ∂ˆb ω2 (x̂)(σ2 x̂)a ,
Equation (32) implies that the quantity in square brackets is zero, which proves
(34).
15
cphysics.org article 10254 2023-11-12
dx · dx ∝ du dv
with
u ≡ x0 + x1 v ≡ x0 − x1
if the signature is lorentzian (Minkowski spacetime), or with
u ≡ x0 + ix1 v ≡ x0 − ix1
if the signature is euclidean, where i2 = −1. In either case, the condition (35) may
be written21
∂ ∂ ∂ ∂
û = 0 v̂ = 0.
∂u ∂v ∂u ∂v
According to sections 2.3 and 2.5 Schottenloher (2008), all conformal isometries
satisfy these conditions when N = 2, so the conclusion of the preceding paragraph
extends to N ≥ 2.
19
Section 1
20
Section 3
21
In the euclidean case, ∂/∂u ≡ 12 (∂0 − i∂1 ) and ∂/∂v ≡ 12 (∂0 + i∂1 ).
16
cphysics.org article 10254 2023-11-12
17
cphysics.org article 10254 2023-11-12
to such a function and then imposing the constraints (37) and (38) gives the same
result as applying the differential operator ∂x · ∂x to
−(N +2)/2 −x · x
φ(x) ≡ R f x, . (43)
R2
26
This is equation (37) in Bars (2000), but beware: that paper uses the same symbol λ for two different things on
the same page. The two different meanings of λ are introduced implicitly in equations (26) and (31) of that paper.
18
cphysics.org article 10254 2023-11-12
Y +Z =σ Y −Z =ρ X = σx
to infer29
∂ ∂
= σ
∂xa ∂X a
∂ 1
= (∂Y − ∂Z )
∂ρ 2
∂ X ∂ 1 1X a ∂ 1
= xa a
+ (∂ Y + ∂ Z ) = x a
+ (∂Y + ∂Z )
∂σ a
∂X 2 σ a ∂x 2
and uses these to infer that the differential operator in (40) may be written
19
cphysics.org article 10254 2023-11-12
with
∂
Φ1 ≡ σ −(N −2)/2 f (x, y)
∂y y=ρ/σ
∂2
Φ2 ≡ σ −(N −2)/2 f (x, y) .
∂y 2 y=ρ/σ
This is true even if Φ doesn’t satisfy (40). On the other hand, any function of the
form (43) satisfies
" #
N x·x X ∂
∂x ·∂x f (x, y) = ∂x · ∂x f (x, y) − f1 (x, y) + 2 f2 (x, y) − xa a f1 (x, y)
2 R a
∂x
y=−x·x/R2
with
∂ ∂2
f1 (x, y) ≡ f (x, y) f2 (x, y) ≡ 2 f (x, y).
∂y ∂y
According to equations (37) and (38), points on the intersection C ∩ P satisfy
−x · x
σ=R ρ= ,
R
Use this in the last line of equation (45) to complete the derivation.
20
cphysics.org article 10254 2023-11-12
15 Weyl invariance
Section 2 defined some symmetries of the wave equation. Those symmetries mix
the scalar field’s values at different points of spacetime with each other in the same
way that conformal isometries mix the points of spacetime itself, and they don’t
transform the metric field at all.
In contrast, a Weyl transformation30 does affect the metric field but doesn’t
mix the fields’ values in different regions with each other:
φ(x) → Ωs (x)φ(x) gab (x) → Ω2 (x)gab (x) (46)
where s ∈ R is called the conformal weight of the scalar field. To say anything
about what a Weyl transformation does to the action (or equation of motion) for
a scalar field, we first need to specify how the action depends on the metric field.
One natural choice is31
Z p
S[g, φ] = d x |g| g ab (∂a φ)(∂b φ)
N
(47)
where gab (x) are the components of a metric tensor, g ab (x) are the components of
its inverse, and |g|(x) is its determinant. When N = 2, the action (47) is invariant
under Weyl transformations (46) with s = 0.32 When N 6= 2, the action (47) is not
invariant under Weyl transformations (46) for any s, but the modified action
N −2
Z p
0 N ab 2
S [g, φ] = d x |g| g (∂a φ)(∂b φ) + Rφ (48)
4(N − 1)
is invariant up to a total derivative under Weyl transformations with33,34 s =
30
Article 38111
31
Section 16 reviews why this choice is natural.
32
p In abmore detail: the only part of the integrand affected by this transformation is the metric-dependent factor
|g| g , and the transformation (46) leaves this invariant when N = 2.
33
Section 22.3 in Blau (2021). Beware that Blau quietly ignores the total-derivative term, acknowledging its
existence only in the text above equation (22.115).
34
Appendix D in Wald (1984) derives this using the equation of motion instead of the action. The equation of
motion is not affected by the total-derivative term that a typical Weyl transformation adds to the action.
21
cphysics.org article 10254 2023-11-12
(2 − N )/2 when N ≥ 2, where R is the Ricci scalar constructed from the cur-
vature tensor.35 This property of (48) is called Weyl invariance or conformal
invariance,36 but beware that the names conformal transformation, conformal
invariance, and conformal symmetry are all overloaded in the physics literature.
A symmetry that doesn’t mix the fields’ values in different regions with each
other is called an internal symmetry, so Weyl invariance is an example of an
internal symmetry.
35
This is not related to the constant R in section 12.
36
Wald (1984), appendix D
22
cphysics.org article 10254 2023-11-12
16 General covariance
The action (47) is a natural choice because it has a property that is sometimes
called general covariance: for any diffeomorphism x → x̂, replacing the original
fields φ(x) and gab (x) with the new fields
φ̂(x) ≡ φ(x̂) ĝab (x) ≡ gcd (x̂)(∂a x̂c )(∂b x̂d ) (49)
to get
ĝ ab (x) ∂a φ̂(x) ∂b φ̂(x) = g ab (x̂) ∂ˆa φ(x̂) ∂ˆb φ(x̂) ,
37
To derive the second identity, let G(x̂) and Ĝ(x) be the matrices with components gab (x̂) and ĝab (x), respectively.
Let M be the matrix with components Mab = ∂a x̂b . Then the second equation in (49) is Ĝ(x) ≡ M G(x̂)M T . Take
the matrix inverse of both sides to get Ĝ−1 (x) = (M T )−1 G−1 (x̂)M −1 . This is the second equation in (50).
23
cphysics.org article 10254 2023-11-12
17 References
Bars, 2000. “Two-Time Physics in Field Theory” Phys. Rev. D 62: 046007,
https://arxiv.org/abs/hep-th/0003100
Blau, 2021. “Lecture Notes on General Relativity (Last update November 15,
2021)” http://www.blau.itp.unibe.ch/GRLecturenotes.html
24
cphysics.org article 10254 2023-11-12
25