MP Topics Notes
MP Topics Notes
Lecture notes for a course at Peking University, Fall 2022. Please email me
for feedback, and if you would like to use some of this material in teaching.
Contents
1 On fields and frames 4
1.1 Tangent bundle and other bundles . . . . . . . . . . . . . . . . 9
4 Smooth manifolds 38
4.1 Tangent vectors . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.2 Derivatives of smooth maps . . . . . . . . . . . . . . . . . . . 44
4.3 Immersions, submersions, embeddings . . . . . . . . . . . . . . 47
1
6 Principal G-bundles 58
6.1 Lie groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
6.2 Idea of principal bundles . . . . . . . . . . . . . . . . . . . . . 59
6.3 General principal bundle . . . . . . . . . . . . . . . . . . . . . 60
6.4 Transition functions . . . . . . . . . . . . . . . . . . . . . . . . 64
6.5 Frame bundle of a vector bundle . . . . . . . . . . . . . . . . . 67
6.6 Gauge transformations . . . . . . . . . . . . . . . . . . . . . . 68
7 Preview of Spin 73
7.1 Hopf bundle over S 2 . . . . . . . . . . . . . . . . . . . . . . . 73
7.2 Orthonormal frame bundle of S 2 . . . . . . . . . . . . . . . . . 74
7.3 Bundle of spin frames over S 2 . . . . . . . . . . . . . . . . . . 75
2
11.4 Local description of connection: gauge potentials . . . . . . . 109
11.5 Curvature of connections . . . . . . . . . . . . . . . . . . . . . 112
11.6 Physics notation . . . . . . . . . . . . . . . . . . . . . . . . . 115
11.7 Globally gauge-transformed connections and curvatures . . . . 116
3
16.4 Spinor bundle covariant derivative . . . . . . . . . . . . . . . . 174
16.5 Spin–Riemannian-curvature relations . . . . . . . . . . . . . . 176
4
is a right action of U(n) on Fr(E),
X
e′j = ek ukj , u = (ukj ) ∈ U(n). (1.1)
k
5
such that π(p) = πU (f (p)). Here, F is some “reference” fibre, and U × F is
a reference “trivial bundle” with πU the projection onto the first component.
This condition is called “local trivializability”.
F The observant reader might
notice that we have not yet given x∈U Ex a topology, so what we have just
described does not really make sense! Indeed, in physics, one often comes
across informal “definitions” like “. . . the tangent bundle of a manifold is the
(disjoint) union of all its tangent spaces. . . ”. However, the global topology of
E is actually extremely important, and we will spend some time understanding
how, e.g., the topology on the tangent bundle of E is defined.
Now, if the base space X is a manifold, then we not only have a notion
of “neighbourhood”, but we also have a notion of “infinitesimally approach-
ing a point” in various directions. Then there is scope for specifying how
Ex , Ex′ should be compared, or “smoothly connected” to each other. Such
relationships between the various Ex constitute an extra piece of geometric
data, called a connection on E. In physics, connections are often called gauge
fields. However, beware that this terminology can be confusing, because a
connection is not a field in the sense of “section of some bundle over X”.
Rather, we have to first fix a basis convention for the Ex , x ∈ U (i.e., refer
to a local trivialization), then the connection will be represented as a Lie-
algebra valued 1-form on X. This local representation is called a local gauge
potential/field in physics. A key point is that the basis convention is unphys-
ical. So the important information in a gauge potential does not lie in its
values (which are convention-dependent), but in those properties which are
convention-independent, and therefore intrinsic to the connection data.
Example 1.1. In Euclidean 3-space R3 , each point x ∈ R3 has a 3-dimensional
vector space of “direction vectors” based at x. A vector field is sometimes
thought of as a “three-component function” v = (v1 , v2 , v3 ) : R3 → R3 . The
components vi (x), however, only make sense when a basis choice {eP1 (x), e2 (x), e2 (x)}
3
for the vector space attached to x has been specified; then v(x) = i=1 vi (x)ei (x).
We have to do this at every x. This detail is often neglected because Euclidean
space comes with an action of the translation group R3 , so a basis choice at
one point may be “carried over” to every other point, obtaining a global par-
allelism.
For a general manifold X, a consistent identification of the tangent vector
spaces over all points of X may not even be possible! A familiar example is
X = S 2 embedded in R3 (think of the surface of the earth). Each x ∈ S 2
has a 2-dimensional tangent plane Tx S 2 ⊂ R3 attached to it. These tangent
6
planes vary with x. Altogether, the tangent bundle is the subset
G
T S2 = Tx S 2 ⊂ S 2 × R3 ,
x∈S 2
and this subset can be shown to be a manifold in its own right. Informally,
the tangent spaces Tx S 2 ⊂ R3 depend smoothly on x, and the entire collection
T S 2 is called a smooth vector bundle. However, T S 2 is not diffeomorphic to a
Cartesian product S 2 × R2 — this is a standard result in differential topology.
Consequently, we cannot reduce a tangent vector field over S 2 into a “two-
component map” v : S 2 → R2 , no matter how we try to choose bases for the
Tx S 2 . At best, we can regard v as a “three-component map” S 2 → R3 subject
to the constraint that
v(x) ∈ Tx S 2 , ∀ x ∈ S 2.
Nθ S 1 = {λ(cos θ, sin θ) : λ ∈ R} ⊂ R2 .
Essentially, we have chosen the basis vector (cos θ, sin θ) for Nθ S 1 ⊂ R2 , and
this choice is well-defined as θ is varied around all of S 1 . So we could discuss
normal vector fields over S 1 as though they were simply real-valued functions.
Now consider the quotient of S 1 by the antipodal map — this is called
the real projective line RP1 , and it is again a circle, but parametrized by
θ ∈ [0, π]/0∼π . Attached to each θ ∈ RP1 is the line Nθ S 1 ⊂ R2 as before,
but now we think of Nθ S 1 as the “tautological line” over θ. This assignment
7
of lines is consistent at θ = 0 ∼ π, since N0 S 1 and Nπ S 1 are the same line.
Altogether we have constructed the “tautological line bundle” over RP1 ,
G
LR := Nθ S 1 ⊂ RP1 × R2 .
| {z }
θ∈RP1 LR
θ
However, we no longer have a globally well-defined choice of bases for the lines
LRθ as θ is varied over RP1 . To see this, start with the basis vector (1, 0) ∈
LR0 = N0 S 1 . For continuity, we have to choose the basis vector (cos θ, sin θ) ∈
LRθ = Nθ S 1 at θ ∈ [0, π). So upon reaching θ = π, the basis vector becomes
(−1, 0) ∈ LRπ . This has a − sign mismatch compared to the starting choice
(1, 0) ∈ LR0 .
The above-mentioned sign problem is an example of holonomy. It is a
symptom of the fact that LR is not diffeomorphic to RP1 × R.
8
Remark. In the case where Ex ∼ = R, the freedom to choose a normalized basis
vector is labelled by a discrete set O(1) ∼
= Z2 . This may be thought of as the
choice of orientation on Ex . So there are no “local gauge freedoms” in the
sense that continuity in X forces the Ex to be identified with R in the same
way for all x in a local patch of X. This rigidity is a reason why gauge-theory
ideas hardly appear when studying classical differential equations governing
real-valued scalar systems (temperature, pressure, etc.) Subtleties arise only
when the Ex happen to be globally arranged in the manner of LR . Then, for
example, one cannot give global meaning to a quantity like “height above the
central circle of a Möbius band”.
In contrast, once we have Ex being a complex vector space, then we will
naturally encounter the local gauge freedoms. This occurs for the differen-
tial equations occurring in quantum mechanics. While at first, these gauge
freedoms seem like irritating details, they are now understood to be an indis-
pensable part of modern physics!
9
∂
∂xi
defined over U . The ∂x∂ i , i = 1, . . . , n provide a basis for each of the
x
tangent spaces Tx X, x ∈ U , identifying each of them with Rn . The derivative
dfx is then expressed as a matrix of partial derivatives. But df itself, as well
as rules like the chain rule, is independent of such choices.
So a smooth manifold X automatically comes with its tangent bundle T X,
and tangent vector fields over X are sections of the tangent bundle T X. Tan-
gent vector fields have long been known to arise in nature, the classical electric
and magnetic vector fields being basic examples.
For a long time, geometers agonized over the problem of relating tangent
vectors attached to different points of X, and therefore the issue of differenti-
ating vector fields. One observation was that of path dependence.
Example 1.3. For example, consider on the unit 2-sphere X = S 2 , a geodesic
triangle (i.e. following great circles) with first vertex on the North pole, and the
other two vertices on the equator. Start from a horizontal tangent vector, say
(1, 0, 0) at the north pole. Intuitively, we may parallel transport it southwards
along a longitude line y 2 + z 2 = 1, until we reach the equator. As we move
eastwards along the equator, however, (1, 0, 0) no longer lies in the tangent
plane at of the base point. Rather, after moving through a polar angle of
θ along the equator, the parallel transported tangent vector would becomes
(cos θ, sin θ, 0). Then parallel transport back to the north pole results in the
final tangent vector (cos θ, sin θ, 0).
In the above example, the space of orthonormal
frames of Ex is O(2), and
cos θ − sin θ
we acquired a holonomy of ∈ O(2) after completing a loop
sin θ cos θ
on S 2 with solid angle θ.
We observe that we have implicitly used the round metric on S 2 , inherited
from the background Euclidean metric, in the parallel transport prescription.
First, the lengths of the tangent vectors are preserved throughout the process.
Second, the parallel transported vector maintains the same angle with the
tangent to the path. Formally, we have used the parallel transport associated
to the canonical Levi–Civita connection for the round metric on S 2 . When
dealing with Riemannian manifolds, this distinguished connection is usually
implicitly used to define covariant differentiation of tangent vector fields.
General vector bundles, not canonically arising from the base manifold
alone, are harder to find in nature, which perhaps explains why it was quite
a conceptual leap to investigate them, and develop a theory of connections on
10
them. Once we entertain the idea that the valuation spaces Ex may be inde-
pendent from the smooth structure of X, we may go further and consider the
more general notion of a fibre bundle. In a fibre bundle, all the Ex are identifi-
able with a reference object F (the “typical fibre”, generally some topological
space or manifold), but not canonically so.
Historically (∼ 1918), the first “geometrically unusual” fibre bundle was
introduced by Hermann Weyl, and it had Ex ∼ = R+ = (0, ∞) as typical fibre.
A positive number in Ex was meant to be a “length scale” at x (hence the
terminology “gauge”). The multiplicative group (R>0 , ×) acts as a “change-
of-scale” on each Ex . This idea of Weyl was quite radical — he was thinking
of a generalization of (pseudo-)Riemannian geometry, where there is a bundle
of possible local gauges, without any distinguished global section/length scale.
He wanted to relate the (R>0 , ×) freedom in the local gauges with a similar
freedom in choosing electromagnetic potentials.
Weyl’s idea was rejected by Einstein, Pauli etc. on empirical grounds, and
it remained a beautiful piece of pure mathematics. As it turns out, Weyl was
ahead of his time. As quantum theory developed and increased in mathemat-
ical precision, it became apparent that it is the quantum mechanical wave-
function, rather than the metric tensor field of general relativity, which should
be coupled with the electromagnetic potential in Weyl’s theory. The “wave-
function” has a U(1)-phase indeterminacy, while the “group of length scales”
is (R>0 , ×). These two groups are “infinitesimally the same”, in the sense of
sharing the same Lie algebra. But the difference in their global topology (one
is compact, the other is simply-connected) has important consequences.
11
in quantum theory from the beginning. Another reason is to avoid giving the
impression that “all fundamental physics is geometry”. Rather, the worlds of
geometry–topology and functional analysis–spectral theory intersect in a very
deep way, via operators appearing in quantum theory – this is index theory.
Again, due to the historical development of index theory (Atiyah–Singer),
it appears to be an esoteric subject which the majority of physicists and math-
ematicians can safely ignore. This is quite untrue — index theoretic phenom-
ena can already be seen in fairly elementary toy examples, although such a
perspective is not easily found in existing textbooks. I particularly highlight
the phenomenon of topological phases of matter in modern condensed mat-
ter physics, as an area which can benefit greatly from a more geometric and
universal perspective afforded by index theory.
are. This probabilistic interpretation of |⟨ψ|ψ ′ ⟩|2 is called the Born rule. The
number ⟨ψ|ψ ′ ⟩ is usually called a transition amplitude.
The absolute value in Eq. (2.1) tells us that we may independently multiply
ψ and ψ ′ by some U(1) phases,
ψ 7→ α · ψ, ψ ′ 7→ β · ψ, α, β ∈ U(1),
12
ψ
i.e., |ψ| : X → U(1), is not directly observable. That is, ψ is overdetermined
as a complex-valued function.
How should we understand ψ “modulo phase redundancy”? If we make
the phase information totally redundant, and work just with |ψ|, then we do
get a real-valued scalar function: the probability density of ψ,
ρψ : X → R, ρψ (x) = |ψ(x)|2 ,
ψ ⇝ u · ψ.
13
we write ψ ∈ L2 (X; E). To turn ψ into a complex-number-valued function,
∼
=
we need a reference global trivialization h : E → X × C, i.e. a choice of basis
for every Ex . Composing ψ with the trivialization gives the map
ψ h
X → E → X × C, x 7→ ψ(x) 7→ (x, f (x)),
14
will learn, certain aspects of Aj are nevertheless intrinsic, e.g., its curvature,
holonomy, etc.
But what determines the connection on E? The section ψ is, typically,
supposed to be the “electron field”. As it turns out, Aj is identifiable with the
magnetic vector potential, and its curvature (“curl”) is identifiable with the
magnetic field that the electron is subject to. Now, in classical electromag-
netic theory by itself, one learns that the potentials Aj are “unphysical”, or
“fictitious”, or “redundant” data, and only the electric/magnetic fields they
determine are physical. But in quantum theory, the Aj have a more im-
portant role in specifying connection data for the quantum line bundle E.
More to the point, we must be careful about what precise aspect of Aj is es-
sential/physical in quantum theory. The answer is not “the potential Aj is
measurable” (literally false); rather, the connection represented by the Aj is
quantum mechanically measurable.
Here, it is not just the curvature of the connection which can be measured
(this is just the classical magnetic field). More pertinently, the holonomy of
the connection (“geometric phase”) along a path can be measured, in the so-
called Aharonov–Bohm effect, via interference experiments. This put an end
to a long confusing debate on the physical status of potentials.
Remark. In introductory courses, it is often said that electromagnetism is the
motivating and simplest example of a “U(1)-gauge theory”. This is supposed
to be due to a “gauge freedom” to modify the potentials,
Aj ⇝ Ãj := Aj + ∂j Λ,
15
When we change Aj to Ãj , thus ∂j − iAj is changed to ∂j − iÃj , physicists
observed that we can “compensate” by simultaneously replacing
ψ ⇝ ψ̃ := eiΛ · ψ. (2.2)
What is really happening is: when we apply eiΛ to change the gauge, this
effects the description of ψ according to Eq. (2.2), and also effects
eiΛ (∂j − iAj )e−iΛ = eiΛ e−iΛ (∂j − i∂j Λ − iAj ) = ∂j − iÃj
for the operation of taking derivatives. That is, the differentiation of the
electron field is also described in a modified way, when we change gauge.
Remark. In the seminal paper, Elektron und Gravitation. I. Z. Phys. 56, 330
(1929), H. Weyl proclaims:
. . . In my opinion the origin and necessity for the electromagnetic field is
in the following. . . From the arbitrariness of the gauge-factor in ψ appears the
necessity of introducing the electromagnetic potential. . .
To paraphrase, geometric considerations in quantum theory lie at the heart
of what is nowadays called the “gauge principle”.
Remark. There is another important setting in which connections on vector
bundles appear in quantum theory. This is when we have quantum systems
parametrized by some other manifold M (of control parameters). There is
a notion of “adiabatic parallel transport” of quantum states, which leads to
the notion of “Berry phase”, or “geometric phase” in physics. This was soon
clarified by Barry Simon to be the holonomy of a certain connection on a line
bundle over M .
16
formulation of gauge transformations, connections, and so on, becomes more
subtle.
We saw such global issues in the example of T S 2 . Actually, S 2 is a complex
manifold, and the tangent spaces Tx S 2 can be thought of as 1-dimensional
complex vector spaces. The Dirac monopole involves, roughly speaking, “half
of T S 2 ”. Namely, there is another complex line bundle LC over S 2 , called
the Hopf line bundle, which is not diffeomorphic to S 2 × C. In LC , we can
never have access to genuine wavefunctions defined on all of S 2 . We only have
“wavesections”, which can only be locally turned into functions by means of
local trivializations. Similarly, a connection on LC can only be locally described
by gauge potentials. We will discuss the Dirac monopole and LC in more detail
later on.
17
2.2 Time evolution in quantum mechanics
Remark. We will discuss unbounded Hilbert space operators and their spec-
trum, and some mention of their technicalities is unavoidable. If you are un-
familiar with these (important!) analytic issues, there will be a more detailed
discussion later on.
Quantum mechanics on a Riemannian manifold (X, g) is usually done on
a Hilbert space such as L2 (X), with the measure induced by the metric g. We
suppress the line bundle E for simplicity of discussion. The classical symme-
tries of (X, g) are the isometries, which actually form a Lie group (a result of
Myers–Steenrod). You may think of a Lie group as a “smooth group”, which
is meant to act on a smooth manifold.
On L2 (X), the isometry group of X has a natural unitary representation
via pullback,
18
of H. This is the infinite-dimensional version of unitary diagonalization. If λ
is a (real) eigenvalue of H with eigenfunction ψ (in the domain of H), then
the Schrödinger equation simplifies to
d
i ψ = λψ ⇒ ψ(x, t) = e−iλt ψ(x).
dt
So an eigenfunction evolves in time in a very simple way — it acquires a
dynamical phase factor which rotates at a rate dependent on its eigenvalue λ
(physically, the energy).
The spectrum of the linear operator H generalizes the notion of eigenvalues
of matrices. Self-adjointness of H implies that the spectrum of H is a subset of
the real line. Furthermore, it allows one to make sense of functions of H (the
functional calculus). A self-adjoint H exponentiates to a strongly-continuous
1-parameter family of unitary time-evolution operators,
Ut = e−iHt , t ∈ R.
Here, strong continuity means that for each fixed state ψ, the map t 7→ ||Ut ψ||
is continuous. But the continuity is not generally uniform in the choice of
ψ. Conversely, any strongly-continuous time-evolution group is generated by
a unique self-adjoint operator. This correspondence between unitary time-
evolution groups and self-adjoint operators is of fundamental importance in
quantum mechanics, and is a theorem due to M. Stone.
In principle, knowing the spectral decomposition of H, thus its time-
evolution group, amounts to solving the Schrödinger equation for ψt (x) =
ψ(x, t) for any time t, when the initial t = 0 quantum state ψ0 = ψ(x, 0) is
given:
ψt = Ut ψ0 .
So the second major question is: what can we say about the spectrum of
H? The spectrum is exactly solvable only for some simple toy models (e.g.
harmonic oscillator, Landau operator).
General quantum mechanics also allows for the Hamiltonian H to be a
first-order differential operator, and this is especially important in relativistic
quantum mechanics. The key example is the Dirac operator, which is roughly
a “square root of Laplacian”. The Schrödinger equation with H being the
Dirac operator (instead of Laplacian) is sometimes called a Dirac equation.
Importantly, the Dirac operator acts on square-integrable sections of spinor
bundles (a special kind of vector bundle), rather than line bundles.
19
3 Dirac operators in one dimension
3.1 The many faces of R
Write R for the 1-dimensional vector space, and let R denote the underlying
affine space. Once an origin is chosen for R, each point of R is uniquely
labelled by the element x ∈ R which translates the origin to that point. So we
get a global coordinate function x on the manifold R.
There is also a metric on R given by the Euclidean distance |x − x′ |. Then
the additive group (R, +) acts isometrically on the Riemannian manifold R
by translations.
The 1-form dx is translation invariant, orients R, and defines a translation-
invariant measure on R (the Lebesgue measure in this case). When we talk
about integrating “functions” f on R, we are actually integrating the 1-form
f dx over the manifold R.
So G = (R, +) is a Lie group of orientation-preserving isometries on the
oriented Riemannian manifold (R, dx2 ). It is convenient to view the Lie group
(R, +) as a subgroup of invertible matrices,
1 s
G= : s∈R ∼ = (R, +).
0 1
equipped with the trivial commutator (Lie bracket). The Lie group and Lie
algebra are related by the exponential map g → G,
0 s 1 s
exp = .
0 0 0 1
exp(s∂x ) = Ts . (3.1)
20
The classical interpretation of Eq. (3.1) is that the Killing vector field s∂x
exponentiates to an “isometric flow” Ts : x 7→ x + s of points on the manifold
R.
In quantum mechanics, we care about wavefunctions ψ ∈ L2 (R) rather
than individual points. In this setting, the Lie group of translation symme-
tries is unitarily represented by the operator (Ts ψ)(x) = ψ(x − s). This is
called the (left) regular representation of R on L2 (R). As for ∂x , it is formally
a skew-adjoint operator with respect to the L2 -inner product (verify this using
integration-by-parts). It is customary to consider the formally self-adjoint op-
erator P = −i∂x instead. The self-adjoint P is called the momentum operator
on R, and we have exp(−isP ) = Ts .
The point of this discussion is to list down some of the ingredients used in
quantum theory. Some of these are
When working in Euclidean space, the symbol R appears in all of the above
roles, which unfortunately obscures the importance of the geometric data in
the setup of a quantum mechanical problem.
21
It may be shown that Q is self-adjoint on this domain. The spectrum of Q,
denoted σ(Q), is the whole real line R. For example, an “eigenfunction” of Q
with eigenvalue λ is the delta “function” concentrated at λ.
d
A simple calculation (integrate by parts) shows that P = −i dx is formally
self-adjoint on the compactly-supported smooth functions,
e−itP = e−t∂x = Tt ,
22
To obtain the spectrum of P , we can perform a Fourier transform L2 (R) →
2
L (R̂). The reason for the notation R̂ is because it refers not to the abelian
translation group R, but its Pontryagin dual abelian group R̂ = Hom(R, U(1)),
also known as the momentum space. Namely, the real number p ∈ R̂ labels
the character (irreducible representation)
χp : x 7→ eipx ,
and the characters themselves obey a composition law, χp1 χp2 = χp1 +p2 . On
R̂, there is again the Lebesgue measure, defining the Hilbert space L2 (R̂).
The Fourier transform
F : L2 (R) → L2 (R̂)
Z ∞
1
ψ 7→ ψ̂ ψ̂(p) = √ e−ipx ψ(x) dx
2π −∞
is unitary (we take this for granted for now), and it conjugates P into the
operator of multiplication by the coordinate p ∈ R̂. So the spectrum of P is
the whole real line. In fact, the plane wave x 7→ eipx is an “eigenfunction”
of P corresponding to the “eigenvalue” p. If you know some spectral theory,
d
this is basically the spectral theorem applied to the operator P = −i dx . The
Fourier transform is the unitary “change of basis” which “diagonalizes” P into
the operator of multiplication by its “eigenvalues”.
Now we have a pair of self-adjoint operators (Q, P ), and they are easily
seen to satisfy the canonical commutation relation
[Q, P ] = i.
A famous theorem of Stone–von Neumann says that any pair of self-adjoint
operators Q′ , P ′ on a Hilbert space satisfying [Q′ , P ′ ] = i (more precisely, the
exponentiated version eisQ eitP = eist eitP eisQ called the Weyl relations), must
be unitarily equivalent to the standard pair (Q, P ).
Here is an interesting example: Let
Q′ = Q, P ′ = P + A, A ∈ C ∞ (R; R)
where A is (the multiplication operator by) any smooth real-valued1 “potential
function”.
1
If A is bounded, then P + A has the same domain of self-adjointness as P ; otherwise a
bit more care is needed to understand what P + A means.
23
Clearly A commutes with Q, so that we still have
(More precisely, (Q′ , P ′ ) can be shown to satisfy the Weyl relations.) There-
fore, by the Stone–von Neumann theorem, there must be a unitary operator
U on L2 (R), such that
U QU −1 = Q′ = Q, U P U −1 = P ′ = P + A.
d d
U P U −1 = U (−i )U −1 = −i( + iA) =: −i∇A = P + A.
dx dx
24
The operator P is self-adjoint on the Sobolev space H 1 (S 1 ), which we can
think of as comprising those functions ψ whose Fourier transform (ψn )n∈Z is
such that (nψn )n∈Z is square-summable. The eigenvalues and eigenfunctions
of P are easily verified to be
ψn : eiθ 7→ einθ , P ψn = nψn .
So the spectrum of P is σ(P ) = Z.
So far the story seems quite elementary and uninteresting. However, now
observe that in declaring the initial domain as the function space C ∞ (S 1 ),
we have committed to a common choice of basis for the copy of C above each
eiθ ∈ S 1 . For m ∈ Z, let us perform the gauge transformation of multiplication
by the smooth function um : eiθ 7→ e−imθ . This converts P to the operator
d −1 d
P (m) := um P u−1
m = um (−i )um = −i + m = P + m.
dθ dθ
The eigenfunctions of P (m) are still φn , but the eigenvalue of φn is now shifted
to n + m. We still have σ(P (m) ) = Z, independently of the value of m, which
is consistent with the unitarity of the gauge transformation. Therefore any
integer potential term m ∈ Z is “pure gauge”, and can be transformed away.
d
What about the operator P (ξ) := −i dθ + ξ for a potential term ξ ∈ (0, 1)?
Obviously, the spectrum becomes shifted by ξ,
σ(P (ξ) ) = Z + ξ ̸= σ(P ).
So Pξ must be unitarily inequivalent (in particular, gauge-inequivalent) to P .
In fact, the operators Pξ , ξ ∈ [0, 1) must all be mutually gauge-inequivalent!
Here, the real value of ξ is not gauge-invariant due to the possibility of modify-
ing it by an integer m through the gauge transformation um . But e2πiξ ∈ U(1)
(equivalently, ξ mod Z) is gauge-invariant (check this!); it is the holonomy of
a U(1)-connection on the line bundle S 1 × C.
So we see that there are many gauge-equivalence classes of connections on
the same (trivial) line bundle. Each such connection defines a twisted Dirac
operator P + ξ. Incidentally, the family {P + ξ}ξ∈[0,1] provides an example of
spectral flow, see Fig. 1, about which we will have much more to say.
25
σ(P + ξ)
ξ
1
−1
−2
−3
26
the gauge potential ξdθ is not an exact differential form. The candidate “gauge
transformation” uξ is necessarily discontinuous at one point. Multiplication
by uξ is a unitary transformation, so it would seem that conjugating P by uξ
should still produce “P + ξ”. This is not true: we must be extremely careful
with the domains of self-adjointness for unbounded operators on Hilbert space,
as explained in Section 3.3.4.
Remark. In cartesian coordinates, the 1-form ξ dθ is (exercise)
ξ
ξ dθ = (−y dx + x dy),
x2 + y2
ξ
which corresponds to the vector potential A(x, y, z) = x2 +y 2 (−y, x, 0). The
where the last surface integral is the magnetic flux through the cross section
of the cylinder. This is because the support of the magnetic field is contained
in this cylinder. Classically, the value of ξ ∈ R is relevant and measurable only
inside this cylinder, via the magnetic flux.
The term ξ dθ has a different status in quantum theory — as a gauge
potential representing the U(1)-phase connection data. Away from the small
cylinder, this gauge potential is non-vanishing, and intrinsically so — there is
no U(1)-valued gauge transformation which can get rid of ξ dθ.
Consider the following operator on S 1 ,
d
P +ξ 0 −i dθ + ξ 0
Dξ = = d .
0 −(P + ξ) 0 i dθ −ξ
This is a toy Hamiltonian operator which will illustrate the so-called Aharonov–
Bohm effect.
The self-adjoint operator Dξ governs the time-evolution of a two-component
wavefunction ψ = ψψ12 . Let the initial wave function be
ψ1 (θ; 0)
ψ(θ; 0) ≡ ψ(θ; t = 0) = ,
ψ2 (θ; 0)
27
where θ 7→ ψi (θ; 0) is some localized function on S 1 , with center θ0 , say. Ac-
cording to the Schrödinger equation with Hamiltonian Dξ , the first component
ψ1 propagates anticlockwise, evolving in time as (Exercise)
R θ−t
ψ1 (θ; t) = ei θ ξ dθ
ψ1 (θ − t; 0) = e−itξ ψ1 (θ − t; 0).
28
3.2.4 Anomaly
Returning to the real line R, a simple consequence of P + A being unitar-
ily equivalent to P , is that P + A always has spectrum being the entire R.
Similarly, there is a “spectrally rigid” left-handed Dirac operator, represented
as −(P + A). These two Dirac operators are sometimes called chiral Dirac
operators, or Weyl operators.
On its own, a chiral Dirac operator becomes problematic in quantum field
theory. This is a very complicated subject, so let us take a simplified per-
spective without all that baggage. Now, we have seen that we should think
of P + A as “the same operator”, regardless of A, since A is really an artifact
of gauge choices. For simplicity of discussion, take A to be a real constant
function. Then replacing P by P + A shifts the energy by A, so we would
appear to lose any canonical meaning of “0-energy”. In quantum field theory,
or “second quantization”, this leads to the problem of defining the “vacuum”
in a gauge-invariant way.
Now consider the direct sum, D / A = (P + A) ⊕ −(P + A), of a left-handed
and a right-handed Dirac operator, which will still have full spectrum in R.
However, the spectral gaplessness is no longer rigid. Specifically, we can add
an off-diagonal “mass term”,
P +A m gauge P m
D/ A + M := −→
m −(P + A) m −P
Fourier p m
−→ , m ∈ R, p ∈ R̂.
m −p
| {z √ }
eigenvalues ± p2 +m2
/ A + M is
So the spectrum of D
[ p p
σ(D/A + M) = {− p2 + m2 , + p2 + m2 } = (−∞, −|m|] ∪ [|m|, ∞).
p∈R̂
29
3.3 Dirac operators on incomplete 1-manifolds
3.3.1 Momentum operator on a half-line?
Consider the half-Euclidean line R+ = (0, ∞). Note that R+ is diffeomorphic
to R, but they are not isometric. A crucial difference between R and R+ is
that the former is complete, but the latter is not. This means that geodesics
in R+ do not extend indefinitely, but will “hit the boundary” x = 0.
This incompleteness causes severe problems for the definition of a self-
adjoint momentum operator on L2 (R+ ). In a naı̈ve construction, we will start
with P = −i dx d
defined on Cc∞ (0, ∞), then extend to a suitable domain of
self-adjointness. Suppose this is possible, then we would obtain a unitary
time-evolution group Ut = e−iP t on L2 (R+ ). This time-evolution applies, in
particular, to ψ ∈ Cc∞ (0, ∞), and we know that Ut will just translate such a
ψ by a distance t. However, for t ≪ 0, we would have ψ hitting the bound-
ary and “disappearing”, violating the unitary and hence the conservation of
probability. So, the assumption that P could be made self-adjoint must be
incorrect! Let us see what the problem is.
First, a linear operator L with domain Dom(L) is formally self-adjoint (or
symmetric), if
⟨Lφ|ψ⟩ = ⟨φ|Lψ⟩, ∀ φ, ψ ∈ Dom(L).
For example, P = −i dx d
with Dom(P ) = Cc∞ (R+ ) is formally self-adjoint. As
we will learn later, this is not enough to guarantee that its spectrum is real.
Generally, the domain of the adjoint operator L∗ is defined to be the set
of φ ∈ L2 (R+ ) such that there exists some η ∈ L2 (R+ ) with
⟨η|ψ⟩ = ⟨φ|Lψ⟩, ∀ψ ∈ Cc∞ (R+ ) = Dom(L).
Then for such φ, we define L∗ φ = η. This is the precise meaning of the
equation defining the adjoint operator,
⟨L∗ φ|ψ⟩ = ⟨φ|Lψ⟩, ∀ψ ∈ Dom(L), φ ∈ Dom(L∗ ).
Notice that the larger the domain of L, the smaller the domain of L∗ .
Now take L to be the formally self-adjoint P . Then P ∗ will be an ex-
tension of P to a larger domain. For example, Dom(P ∗ ) contains functions
φ ∈ Cc ([0, ∞)) without Dirichlet condition at x = 0:
Z ∞ Z ∞
∗
⟨P φ|ψ⟩ = −iφ′ (x)ψ(x) = − iφ(x)ψ ′ (x) = ⟨φ|P ψ⟩, ∀ψ ∈ Cc∞ (R+ ).
0 0
30
No boundary term appears in the integration-by-parts because ψ ∈ Dom(P )
always has ψ(0) = 0.
On the other hand, P ∗ has no chance of being formally self-adjoint: take
any ψ ∈ Dom(P ∗ ) with ψ(0) ̸= 0. Then a short calculation shows that
In fact, this calculation shows that we cannot enlarge Dom(P ) by any non-
Dirichlet ψ, otherwise formal self-adjointness will immediately be violated.
There is an impasse: P is forced to have Dirichlet domain, so its adjoint
will have non-Dirichlet functions. So there is simply no way of picking domains
such that P = P ∗ .
Let us stress that P ̸= P ∗ at the level of unequal domains, is not merely
a technical issue. For example, φ(x) = e−x ∈ Dom(P ∗ ), and is clearly it is an
eigenfunction,
P ∗ φ = iφ,
with imaginary eigenvalue!
31
/α + M)
σ(D
σess
m
0 Arg α
π 2π
−m
σess
In a later lecture, we will learn about the rigorous and systematic theory
of self-adjoint extensions, following von Neumann. Our more immediate task
is to figure out what the spectral meaning of the parameter α is (if any).
32
Much of index theory is concerned with making sense of ∞ − ∞. In fact, we
will learn that spectral flow is topological — this makes it very resistant to
perturbations.
uξ : eiθ 7→ e−iξθ , ξ ∈ R \ Z,
P (ξ) = uξ P u−1
ξ , Dom(P (ξ) ) = uξ · C ∞ (S 1 ) ̸= C ∞ (S 1 ),
33
acting on a domain of discontinous functions. On the other hand, P + ξ is a
genuine differential operator,
d
P + ξ = −i + ξ, Dom(P + ξ) = Dom(P ) = C ∞ (S 1 ),
dθ
on the smooth functions on S 1 . So
P + ξ ̸= P (ξ) ∼
=uξ P.
d
P̃ (ξ) := −i , Dom(P̃ (ξ) ) = {ψ ∈ C ∞ (0, 2π) : ψ(2π) = e2πiξ ψ(0)},
dx
These are the quasiperiodicity conditions that we saw in Eq. (3.2). Now the
gauge transformation uξ is a genuinely smooth map (0, 2π) ∋ θ 7→ e−iξθ ∈ U(1),
and it implements
d
uξ P̃ (ξ) u−1
ξ = −i +ξ, Dom(uξ P̃ (ξ) u−1 ∞
ξ ) = {ψ ∈ C (0, 2π) : ψ(2π) = ψ(0)}.
dx
(3.3)
That is,
uξ P̃ (ξ) u−1
ξ = P̃
(0)
+ ξ,
where P̃ (0) has periodic boundary conditions. Therefore,
Since P̃ (0) + ξ acts on periodic functions, we may identify it with the Dirac
operator P + ξ on the circle.
34
Indeed, the quasiperiodicity label e2πiξ is not gauge invariant; a gauge
transformation u ≡ u(x) will modify it by an extra u(2π)
u(0)
factor. For example,
consider P̃R (ξ) + A for some smooth real-valued A on (0, 2π). Define ξA ∈ R by
2π
e2πiξA = e 0 A . Then a simple calculation shows that
Rx
ei 0 A uξ+ξ
(ξ)
P̃ + A −→ P̃ (ξ+ξA ) −→A P̃ (0) + ξ + ξA . (3.4)
The three operators in Eq. (3.4) are different representations of “the Dirac
operator on (0, 2π) coupled to a connection with holonomy e2πi(ξ+ξA ) ”, with
respect to different gauge choices. Only the combined phase e2πi(ξ+ξA ) is gauge
invariant.
Remark (Optional). What about the quasimomentum label in solid-state physics
(surely a meaningful quantity)? Is it actually the same thing as quasiperiod-
icity? (See the notion of magnetic translations in the Assignment 1.)
Remark. Altogether, there is a circle’s worth of gauge-inequivalent twisted
Dirac operators S 1 (or on (0, 2π)), labelled by e2πiξ ∈ U(1). The space R/Z
is called the the moduli space of (flat) connections on S 1 . The moduli space
and the manifold S 1 are both circles, but do not mix them up! There are
many occasions where one has to consider a family of problems parametrized
by the moduli space. (In Floquet–Bloch theory, the so-called Brillouin zone is
basically the moduli space, and S 1 is the unit cell.)
d2
HSHO = − + x2 .
dx2
Let us consider the first-order operator
d
0 a†
0 − dx +x
DSHO = d = .
dx
+x 0 a 0
35
holds on C0∞ (R), or even the Schwartz functions S (R) (smooth functions
whose derivatives decay faster than any inverse power of |x|). It can be shown
[17] that DSHO and HSHO are essentially self-adjoint on S (R). We use the
same symbols for their closures to self-adjoint operators, and write a∗ instead
of a† for the genuine (rather than formal) adjoint of a.
The operators a∗ a and aa∗ are positive-definite, so their spectrum is a
subset of R≥0 . Quite generally, the non-zero spectrum of a∗ a and aa∗ coincide
(this is the key lemma in supersymmetric QM). From Eq. (3.5), we even have
aa∗ = a∗ a + 2, so aa∗ ≥ 2. So the interval (0, 2) is a spectral gap for aa∗ , thus
also for a∗ a. Then (2, 4) is a spectral gap for a∗ a + 2 = aa∗ . By induction, the
spectrum of a∗ a lies within the discrete set 2N, so it comprises eigenvalues. The
operator a∗ is a “raising operator” in the sense that if ψn is an eigenfunction
of a∗ a with eigenvalue 2n, then
36
can be gauge-inequivalent connections when X is topologically non-trivial,
with quantum mechanical consequences (e.g. AB-effect).
For 2D manifolds X, the possibility of curved connections arises. Even
if X is a boring contractible space like R2 , curvature of the connection has
dramatic consequences for the spectrum of Dirac/Laplace operators on X.
The prime example of this is the Landau quantization of the magnetic Lapla-
cian spectrum, which is key to the famous quantum Hall effect (several Nobel
prizes).
If X = S 2 , it is possible that the line bundle over S 2 is topologically non-
trivializable (much like the tangent bundle of S 2 ), a famous example being
Dirac’s magnetic monopole. In this case, there is simply no way to present a
section ψ as a global defined wavefunction, and the gauge potentials A are at
best locally defined terms contingent on local gauge choices.
This concludes our informal discussion of gauge-theoretic matters in quan-
tum theory. To fully understand these matters rigorously, we need to develop
the theory of fibre bundles, connections and curvature.
37
4 Smooth manifolds
We start with a working definition of a smooth manifold: it is a subspace of
some Euclidean space which, near each of its points, is locally diffeomorphic
to (some open subset) of Rn . Caveat: How the manifold is embedded in a
Euclidean space, is not part of its data!
Differential calculus of maps between manifolds can be set up, by working
locally and referring to the usual multivariable calculus in Euclidean spaces.
Integral calculus also makes sense, by invoking “partition-of-unity” and sum-
ming up local results.
For functions f : Rn → Rm between Euclidean spaces, partial derivatives
∂
∂xi
are defined once we pick some coordinates (e.g. Cartesian, polar, spher-
∂f i
ical, cylindrical. . . ), and they allow us to speak about quantities like ∂xj x
representing the j-th partial derivative of the i-th component of f at the point
x. We may arrange these partial derivatives neatly into a matrix, the Jaco-
bian matrix, and apply the appropriate transformation rules when (smoothly)
changing coordinates. Here, we stress that coordinates and coordinate changes
may only be defined on some open subset of X (e.g. Cartesian to polar co-
ordinates is only defined away from a branch cut). The consistency of the
transformation rules tells us that the Jacobian matrix of partial derivatives
is simply a particular coordinate-dependent expression of the derivative of f .
The latter, denoted dfx , is meant to be the “best linear approximation” of f
at x,
f (x + v) = f (x) + dfx (v) + . . . .
But how should we make sense of this idea in a coordinate-independent way?
(Many commonly used coordinate systems are not linearly related to one an-
other. . . )
On a smooth manifold X, each local diffeomorphism of X with Rn serves
as local coordinates, and is valid only within the domain of the coordinate
chart U ⊂ X. We must at least have a fiducial collection of local coordinate
charts (called an “atlas”) that suffices to cover all points of X. These charts
must also be smoothly compatible with each other (C ∞ coordinate changes
on overlaps). However, a key conceptual point is that there are no preferred
coordinates! Rather, all local coordinates which are smoothly compatible with
the fiducial coordinate charts are allowed. The mathematical expression of this
requirement is “smooth structure ↔ maximal C ∞ -atlas”.
38
Now for the abstract mathematical definitions:
Definition 1. A topological n-manifold is a second-countable, Hausdorff topo-
logical space X, such that every point x ∈ X has an open neighbourhood
homeomorphic to an open subset of Rn .
Thus X admits an open cover {Uα }α∈I together with homeomorphisms
φα : Uα → φα (Uα ) ⊂ Rn
xiα : Uα → R, i = 1, . . . , n,
used to provide numerical labels for the points in Uα . The subscript α will
usually be dropped unless ambiguity arises.
Every pair of charts has a change-of-coordinates homeomorphism on the
(possibly empty) overlap,
φα ◦ φ−1
β : φβ (Uα ∩ Uβ ) → φα (Uα ∩ Uβ ).
A (smooth) atlas is a collection of charts {Uα , φα }α∈I such that {Uα }α∈I covers
X, and has all change-of-coordinates functions being C ∞ (infinitely differen-
tiable). Extra charts can be admitted to an atlas provided the change-of-
coordinates functions remain C ∞ . A maximal atlas is called a smooth struc-
ture for X. So there is no distinguished sub-atlas (no distinguished coordinate
choices), although a minimal fiducial one may be used for convenience when
we want to describe a manifold to a colleague.
In particular, translated coordinate charts can always be used (i.e. shifting
of origin), so we regularly say “coordinate chart centred at x ∈ X” to mean
local coordinates φ for a neighbourhood of x, with the property that φ(x) = 0.
Definition 2. A smooth n-manifold is a topological n-manifold with a smooth
structure.
By default, we will use “manifold” to mean “smooth manifold”.
Example 4.1. The most simple example is the vector space R, with the single
fiducial chart (R, id); similarly for Rn . These are the manifolds on which
general manifolds are modelled. The identity chart can be composed with a
39
translation by any s ∈ Rn , to obtain another compatible chart. No particular
chart is distinguished amongst these translated charts. So as a manifold, Rn
has no particular distinguished point as its origin, and we sometimes write Rn
to emphasize its role as a manifold as opposed to a vector space.
Unless otherwise specified, we will simply use “manifold” to refer to smooth
manifolds. The technical second-countable and Hausdorff conditions preclude
some pathological examples, and in practice, ensure that an abstract manifold
can be smoothly embedded into Euclidean space (Whitney embedding the-
orem), and admits partitions-of-unity subordinate to any open cover. (You
can find these technical definitions in any comprehensive textbook on differ-
entiable manifolds, such as [11].) Embedding an abstract smooth manifold
into a background Euclidean space allows for a concrete visualization of its
abstract tangent spaces as hyperplanes in the background. Partitions-of-unity
allow local constructions to be smoothly globalized.
40
Example 4.3. When Y = R, the set of smooth functions X → R is denoted
C ∞ (X). Here, we actually treat the target R as a number field, not just a
manifold. So C ∞ (X) is an algebra, equipped with the compatible operations
of pointwise addition and multiplication of functions.
Let γ : (a, b) → X be a smooth map, also known as a curve in X,
parametrized by t ∈ (a, b). Let x = γ(t) be a point on the image of the curve.
Then at x, we can consider the rate at which a given function f ∈ C ∞ (X)
changes along the curve: just take the ordinary derivative of the single-variable
function f ◦ γ : (a, b) → R. We think of the curve γ as assigning the rate-of-
change (at time t) to each smooth function,
d(f ◦ γ)
γ ′ (t) : C ∞ (X) → R, γ ′ (t)(f ) := .
ds s=t
The assignment γ ′ (t) is called the velocity vector of γ at the point x = γ(t). So
the velocity vector operates on functions; the number γ ′ (t)(f ) is the derivative
of f along γ evaluated at the point x = γ(t).
Obviously, γ ′ (t) is a linear assignment (for each t). Furthermore, by ele-
mentary calculus, γ ′ (t) satisfies a Leibniz rule at x = γ(t),
d((f · g) ◦ γ)
γ ′ (t)(f · g) =
ds s=t
d((f ◦ γ) · (g ◦ γ))
=
ds s=t
d(f ◦ γ) d(g ◦ γ)
= · g(x) + f (x) ·
ds s=t ds s=t
= γ ′ (t)(f ) · g(x) + f (x) · γ ′ (t)(g), ∀ f, g ∈ C ∞ (X). (4.1)
Thus Eq. (4.1) says that the velocity vector γ ′ (t) is a derivation of C ∞ (X) at
the point x = γ(t).
If v1 , v2 are derivations at x, and λ ∈ R, then it is easy to see that
(λv1 + v2 )(f ) := λv1 (f ) + v2 (f ) defines another derivation. This motivates
the following:
41
Definition 4. The tangent space to X at a point x ∈ X, denoted Tx X, is the
vector space of derivations of C ∞ (X) at x.
γi : (−ϵ, ϵ) → X
t 7→ φ−1 (0, . . . , 0, |{z}
t , 0, . . . , 0).
i-th
(We take any sufficiently small ϵ > 0 to ensure that the curve lies within the
domain U of the chart.) This gives a set of coordinate tangent vectors at x,
∂i |x := (γi )′ (0), i = 1, . . . , n.
42
Writing ιi : (−ϵ, ϵ) → Rn for the inclusion t 7→ (0, . . . , 0, |{z}
t , 0, . . . , 0), we
i-th
untangle the definition of ∂i |x using the ordinary chain rule:
n
d(f ◦ γi ) X ∂(f ◦ φ−1 ) d(ιi )j
∂i |x (f ) ≡ = ·
ds s=0
j=1
∂xj φ(x) ds s=0
∂(f ◦ φ−1 )
= , f ∈ C ∞ (U ). (4.2)
∂xi φ(x)
Thus ∂i |x (f ) simply means: take the i-th partial derivative of the coordinate
representation f ◦ φ−1 of f , at the point φ(x).
Exercise 4.1. Let v ∈ Tx X be an arbitrary derivation at x. Show that v is a
linear combination,
Xn
v= v i ∂i |x ,
i=1
i i
where v := v(x ) ∈ R. Also show that {∂i |x }i=1,...,n is a linearly independent
set of derivations, thus it is a basis for Tx X.
Exercise 4.1 shows that the coordinate vector fields ∂i actually provide, for
every point x ∈ U , a basis for the tangent space Tx X.
In fact, given v ∈ Tx X, we can easily construct an explicit geometric curve
γ whose velocity vector at x is equal to v. Assume, without loss of generality,
that the coordinates of x are (0, . . . , 0), and write v i for the components of v
with respect to the basis {∂i |x }i=1,...,n . Then the curve
∂ x̃j
∂i |x = ∂˜j |x . (summation convention)
∂xi φ(x)
43
Above, we use the very handy Einstein summation convention of sum-
ming over repeated indices when they appear both as a superscript and as a
subscript. j
Note that ∂∂xx̃ i is precisely the Jacobian matrix for the change-of-
φ(x) ji
coordinates map φ̃ ◦ φ−1 . Since we may expand a general v ∈ Tx X as
v = v i ∂i |x or v = ṽ j ∂˜j |x ,
X → Tx X, v 7→ vx
44
dfx is a linear map.
f g
The chain rule is satisfied: if X → Y → Z, then d(g ◦ f )x = dgf (x) ◦ dfx .
d(idX )x = idTx X .
Thus the velocity vector γ ′ (0) ∈ Tx X is just the derivative of the map γ applied
to dtd t=0 .
Example 4.6. Let f : X → R be a smooth function, viewed as a smooth map
X → R of manifolds. Then dfx : Tx X → Tf (x) R = R is a linear functional,
also known as a cotangent/dual vector at x.
45
it suffices to see what it does to the basis of coordinate tangent vectors,
∂ fˇj
dfx (v) = v i ∂˜j |f (x) .
∂xi φ(x)
The components of the tangent vector dfx (v) with respect to the basis {∂˜j |f (x) }j=1,...,m
are
j ∂ fˇj
dfx (v) = vi, j = 1, . . . , m.
∂xi φ(x)
In other words, with respect to the bases of coordinate tangent vectors, the
linear map dfx is represented as the Jacobian matrix of fˇ,
ˇj
∂ f
dfx ↔ J(fˇ)|φ(x) := . (4.5)
∂xi φ(x) ji
46
Proof. By definition, for any g ∈ C ∞ (Y ), we have
d
(f ◦ γ)′ (0)(g) = (g ◦ f ◦ γ)(t) = γ ′ (0)(g ◦ f ) = v(g ◦ f ) = dfx (v)(g).
dt t=0
s = ψ −1 ◦ (x1 , . . . , xm ) 7→ (x1 , . . . , xm , 0, . . . , 0) ◦ φ,
which satisfies
s(x) = p, π ◦ s = idU .
47
Then
f |U = f |U ◦ idU = f ◦ π ◦ s
is the composition of the smooth maps f ◦ π and s, thus smooth. Since x ∈ X
is arbitrary, f is smooth.
If f is smooth, obviously its composition with the smooth π is smooth.
Remark. In topology, a quotient map is a surjective map π : E → X such
that U is open in X iff π −1 (U ) is open in E. Then one shows f : X → Y
is continuous iff f ◦ π : E → Y is continuous. A surjective submersion is the
smooth analogue of a quotient map.
Γf := {(x, y) ∈ X × Y : y = f (x)}.
48
Smoothness of maps behaves well with respect to restriction to submani-
folds:
Exercise 4.7. Let f : X → Y be a smooth map. Show that if X ′ is a sub-
manifold of X, then f |X ′ remains smooth. Similarly, show that if Y ′ is a
submanifold of Y such that f (X) ⊂ Y , then f : X → Y ′ remains smooth.
Proof. Exercise.
More generally:
49
5 Tangent bundle and vector bundles
5.1 Tangent bundle
As a set, the tangent bundle of a manifold X is a disjoint union
G
TX = Tx X,
x∈X
π : T X → X, (x, vx ) 7→ x.
φ̃−1
α (V ), V open in R2n , α ∈ I.
One checks that this is indeed a basis for a topology; the verification of Haus-
dorffness and second-countability are omitted. The charts φ̃α are now home-
omorphisms, and T X is a topological manifold. The maps φ̃α ◦ φ̃−1 β are easily
∞
seen to be C — the base coordinates transform smoothly since X is a mani-
fold, while the vector components transform according to the smooth formula
Eq. (4.3). Therefore we have constructed a smooth atlas for T X, turning
it into a smooth (2n)-manifold. With respect to the charts (T Uα , φ̃α ) and
(Uα , φα ), the projection map π is simply projection onto the first factor, thus
smooth.
50
Remark. If we have a smooth embedding X ,→ RN , then we may construct
T X as a subset of X × RN . The advantage is that the topology is directly
inherited from X × RN . A disadvantage is that we have to check that this is
a canonical construction, independent of choice of embedding.
Observe that the maps
φ̃α φ−1
α ×id
Φα : T Uα −→ φα (Uα ) × Rn −→ Uα × Rn
are diffeomorphisms which identify T Uα as a cartesian product — these are
called local trivializations of T X, and turn it into a vector bundle in the sense
of Definition 13.
For all f ∈ C ∞ (X), the function v(f ) defined by Eq. (5.1) lies in C ∞ (X).
Exercise 5.1 implies that a smooth vector field v defines a derivation on
the algebra C ∞ (X), i.e.,
v : C ∞ (X) → C ∞ (X), f 7→ v(f ) is linear;
51
5.2 General vector bundles
The tangent bundle T X is a special case of the following:
Φα : E|Uα := π −1 (Uα ) → Uα × Rn
such that
πUα ◦ Φα (p) = π(p) for all p ∈ E|Uα , where πUα denotes the projection
Uα × Rn → Uα ,
Φβ ◦ Φ−1
α (x, v) = (x, gβα · v), x ∈ Uα ∩ Uβ , v ∈ Rn , (5.2)
52
Remark. In an equivalent approach, the fibres Ex are a priori vector spaces,
and instead of having the smooth compatibility condition (5.2) in the defi-
nition, one requires the local trivializations Φα to restrict fibrewise to linear
∼
=
isomorphisms Ex → {x} × Rn . Then it is proved that the compatibility condi-
tion by smooth GL(n)-valued transition functions holds (details can be found
in Lemma 10.5 of [11]).
Remark. A specific choice of trivializing cover {Uα , Φα }α∈I is not part of the
data of a vector bundle, only the availability of such a cover is. In practice,
we may specify a fiducial set of local trivializations, then pass to a maximal
trivializing cover compatible with this fiducial set.
Remark. The space of sections, Γ(E), is a module over the ring C ∞ (X, K),
where K = R or K = C is the ground field of the fibres.
Exercise 5.2. Show that the projection map of a vector bundle is a submersion.
Ψ : U × Rn → π −1 (U )
n
X
(x, (v 1 , . . . , v n )) 7→ v i si (x).
i=1
53
We equip RP1 with the quotient topology; that is, U ⊂ RP1 is open iff q −1 (U )
is open in R2 \ {0}.
Let ℓH be the line spanned by (1, 0) and ℓV be the line spanned by (0, 1).
Define the subsets
U1 = RP1 \ {ℓV }, U2 = RP1 \ {ℓH }.
Then {U1 , U2 } is an open cover for RP1 (Why?). Define the maps
φ1 : U1 → R, [(x, y)] 7→ y/x,
φ2 : U2 → R, [(x, y)] 7→ x/y,
which are well-defined homeomorphisms (why?). The overlapping region is
U12 ≡ U1 ∩ U2 = RP1 \ {ℓV , ℓH },
and clearly φi (U12 ) = R \ {0} ≡ R× for i = 1, 2. The change-of-coordinates
map is
φ2 ◦ φ−1 × ×
1 : R → R , λ 7→ λ−1 ,
which is smooth. Thus RP1 is a smooth manifold.
The tautological line bundle π : LR → RP1 sits inside the product RP1 × R2
as the following subset,
LR = {(ℓ; v) ∈ RP1 × R2 | v ∈ ℓ},
and it is equipped with the projection map,
π : LR → RP1 , (ℓ; v) 7→ ℓ.
Define the continuous bijective maps
p
Φ1 : π −1 (U1 ) → U1 × R, (ℓ; (x, y)) 7→ ℓ; x 1 + (φ1 (ℓ))2 ,
p
Φ2 : π −1 (U2 ) → U2 × R, (ℓ; (x, y)) 7→ ℓ; y 1 + (φ2 (ℓ))2 ,
54
and are also continuous. We may compute (exercise)
Φ2 ◦ Φ−1
1 : U12 × R → U12 × R
(ℓ; µ) 7→ ℓ; sgn(φ2 (ℓ))µ .
φ2 sgn
Note that U12 → R× → O(1) is continuous (even smooth), so the above map
is smooth. Then (φ1 × idR ) ◦ Φ1 and (φ2 ◦ idR ) ◦ Φ2 may be regarded as
defining coordinate charts for LR as a smooth manifold. With this smooth
structure, π : LR → RP1 is smooth. Also, Φ1 , Φ2 are diffeomorphisms, and
they serve as local trivializations of LR , with smooth transition function being
sgn ◦ φ2 : U12 → O(1).
55
Definition 15. A morphism of vector bundles from π : E → X to π ′ : E ′ →
X ′ is a smooth map F : E → E ′ , such that there exists a smooth map
f : X → X ′ making the following diagram commute
F
E E′
π π′ , (5.3)
f
X X′
df : T X → T Y,
G G G G
dfx : Tx X → Tf (x) Y ⊂ Ty Y.
x∈X x∈X x∈X y∈Y
which is smooth, since fˇ and J(fˇ) are both smooth. If follows that df : T X →
T Y is a smooth map.
Therefore, df is a morphism of tangent vector bundles, in the sense of
Definition 15. It also follows from Exercise 4.3 that the derivative is functorial,
in the sense that:
56
Chain Rule: If f : X → Y and g : Y → Z are smooth maps, then
d(g ◦ f ) = dg ◦ df : T X → T Z;
d(idX ) = idT X .
57
6 Principal G-bundles
6.1 Lie groups
Definition 16. A Lie group is a manifold G together with a group structure
such that
G × G → G, (g1 , g2 ) 7→ g1 g2−1
is smooth.
Thus the group operations (inversion and composition) are smooth maps.
It follows easily that the operations of left and right multiplication on G by
any fixed g ∈ G,
Lg : g ′ 7→ gg ′ , Rg : g ′ → g ′ g, g ′ ∈ G,
are self-diffeomorphisms of G.
The basic example of a Lie group is GL(n) (over R or C). It is usually
considered as an open (why?) submanifold of the vector space of matrices
Mn (R) or Mn (C). The tangent spaces at each g ∈ GL(n) are the same as
those when g is considered as element of Mn (K). Thus the tangent bundle of
GL(n) is identified with
T GL(n) ∼
= GL(n) × Mn (K) .
| {z }
∼ 2
=Kn
Similarly for the orientation-preserving subgroup GL(n, R)+ (i.e. positive de-
terminant matrices). Smoothness of the group operations is deduced from
their algebraic nature in terms of the matrix entries. For an n-dimensional
vector space V , the invertible linear maps GL(V ) are identified with GL(n) by
picking a basis for V , and any two such choices are related by a conjugation.
The subgroups O(n), SO(n), U(n), SU(n) are also Lie groups, but of lower
dimension. This is usually shown by the following exercise:
Exercise 6.1. Consider Mn (R) ∼
2
= Rn and the subspace Sym(n) of symmetric
matrices. Check that 1n is a regular value for the map
f : Mn (R) → Sym(n), A 7→ At A.
Consequently, O(n) = f −1 (1n ) is actually a submanifold of Mn (R) (also of
GL(n, R)), due to Prop. 4.3. It follows (by Exercise 4.7) that O(n) is a Lie
subgroup of GL(n, R). Similarly, SO(n) and U(n), SU(n) are Lie subgroups of
GL(n, R)+ and GL(n, C) respectively.
58
6.2 Idea of principal bundles
In a vector bundle, the vector space Ex attached to x ∈ X does not come
with a canonical basis (“frame at x”). A frame, or “gauge”, at x is a choice
of isomorphism
∼
=
e : Kn → Ex
1 , 0, . . . , 0) 7→ ei ∈ Ex ,
(0, . . . , 0, |{z} i = 1, . . . , n.
i-th
59
6.2.1 Trivializable principal bundles
Consider a trivialized vector bundle E = X × Kn . Its (orthonormal) frame
bundle is then the product manifold
G
Fr(X × Kn ) = Fr(Kn ) = X × G, G = GL(n) (or U(n) or O(n)).
x∈X
60
A principal G-bundle over a manifold X is a manifold P with a smooth sur-
jection π : P → X and a smooth right G-action (by diffeomorphisms),
P × G → P, (p, g) 7→ p · g,
such that
π(p · g) = π(p), p ∈ P, g ∈ G;
Φ : π −1 (U ) → U × G
such that
πU ◦ Φ = π,
Φ(p · g) = Φ(p) · g.
61
Example 6.2. Example 6.1 has a direct complex counterpart, π : LC → CP1 .
Here, CP1 is the space of one-dimensional complex subspaces in C2 , and LC is
the complex tautological line bundle over CP1 , constructed in the same way
as RP1 .
For each ℓ ∈ CP1 , we can consider only the unit complex vectors inside the
corresponding fibre of C, and this is interpreted as the space of orthonormal
frames of ℓ, which is a U(1)-torsor. The sphere bundle of LC is thus the bundle
of orthonormal frames for the line bundle LC . The group U(1) acts on this
frame bundle by “rotating frames” at each ℓ.
This frame bundle can be shown to be diffeomorphic to S 3 . So we get
an interesting principal U(1)-bundle π : S 3 → CP1 . It is well-known that
CP1 ∼= S 2 , and π is actually the Hopf fibration, which we will study in detail
in Section 7.1.
62
The right G-action σ is free (every non-identity element g ∈ G has no
fixed points).
63
The role of a local gauge s is to provide a “field of reference frames” over U ,
so that we may label any other frame p ∈ P |U by the group element g = g(p)
which “rotates” the reference frame s(π(p)) to p.
Exercise 6.3. Show that the map Φs is precisely a trivialization of P |U . The
G-equivariance and bijectivity are quite straightforward. The diffeomorphism
property is more involved, and requires some general smooth manifold and Lie
group theory (Lemma 4.2.7 of [7]).
Given a trivialization Φ : P |U → U ×G, we can transport the trivial section
x 7→ (x, e) of U × G back to P |U , by taking
sΦ : U → P |U
x 7→ Φ−1 (x, e). (6.5)
It is easily checked that sΦs = s and ΦsΦ = Φ. That is, local sec-
tions/gauges over U are in 1-1 correspondence with local trivializations over
U.
64
for some transition function gβα : Uβα → G.
On triple overlaps, associativity (of group multiplication) implies that tran-
sition functions must satisfy the cocycle condition,
gαβ gβγ gγα = 1 on Uαβγ := Uα ∩ Uβ ∩ Uγ , α, β, γ ∈ I. (6.7)
Remark 3. It is important to realize that the transition functions gαβ , α, β ∈ I,
refer to a choice of trivializing cover (Uα , Φα )α∈I for P . Consider modifying
each Φα = (π, ϕα ) by picking smooth functions λα : Uα → G and defining
Φ′α = (π, λ−1 · ϕ ).
| α {z α}
ϕ′α
The transition functions obtained by using (Uα , Φ′α )α∈I are then
′ −1
gαβ = ϕ′α (ϕ′β )−1 = λ−1 −1
α · ϕα ϕβ · λβ = λα gαβ λβ .
65
6.4.1 Principal bundle via transition functions
Intuitively, transition functions provide the instructions for building a global
principal G-bundle out of a collection of local trivial G-bundles Uα × G.
So suppose we are given smooth functions gαβ : Uαβ → G satisfying the
cocycle condition, Eq. (6.7), with respect to some open cover {Uα }α∈I of X.
This is called a (smooth) Čech 1-cocycle. Note that the following are also
automatically satisfied,
−1
gαα = 1, gαβ = gβα , α, β ∈ I.
With the Čech cocycle gαβ , we can construct a principal G-bundle as follows
(for full details, see §3.2 of [14], Prop. 5.2 of [9]).
T := {(x, g, α) ∈ X × G × I : x ∈ Uα }
G
= Uα × G × {α},
α∈I
which makes sense because of the 1-cocycle condition, Eq. (6.7), (Exer-
cise). So take P to be the set of equivalence classes, with the quotient
topology, and define the projection map to be π[x, g, α] = x, and the
right G-action to be [x, g, α] · h = [x, gh, α]. Check well-definedness of π
and the G-action, that P is a manifold, and that the G-action is smooth.
66
So if the gαβ came from some trivializing cover for Pinitial , then the principal
bundle reconstructed out of gαβ is isomorphic to Pinitial . Due to Lemma 6.1,
passing to a refinement and modifying the transition functions as in Eq. (6.8)
will not change the isomorphism class of the reconstructed bundle. So we
see that principal G-bundles over X are classified, up to isomorphism, by
equivalence classes of Čech 1-cocycles gαβ on X. This is known as the Čech
cohomology classification.
as in Section 6.2.1. Here, the Φ̃α are G-equivariant and respect the projection
maps to the base. Each (x, g) ∈ (Uα ∩ Uβ ) × G is a basis {g1 , . . . , gn } of Kn
at x, where the gi denote the columns of g. Then Φ̃−1 α (x, g) is some frame
{e1,x , . . . , en,x } of Ex . If we switch to the β local trivialization of E, then this
frame would be mapped by Φ̃β to the basis {gβα (x)g1 , . . . , gβα (x)g1 } of Kn at
x, i.e., the element (x, gβα (x) · g) ∈ Uβ × G. Thus, we have
Φ̃β ◦ Φ̃−1
α : Uβα × G → Uβα × G
(x, g) 7→ (x, gβα (x) · g),
67
Remark. The vector bundle transition functions gαβ give a Čech 1-cocycle.
From this, we can also abstractly construct a principal G-bundle over X,
following the prescription of Section 6.4.1. This produces an isomorphic bundle
to the more concrete frame bundle described above, due to Lemma 6.1.
Thus, the change of frame labelling when switching local gauges is precisely
implemented by the transition function,
ϕβ (p)ϕ−1
α (p) ≡ gβα (x).
In this capacity, the map gβα : Uβα → G is referred to as a local gauge trans-
formation (from the β to the α gauge). We will discuss this local viewpoint
further in Section 6.6.3.
68
Definition 21. A gauge transformation of a principal G bundle P → X is an
automorphism of P (as a principal G-bundle) which covers the identity map
idX . The group G(P ) of gauge transformations is called the gauge group of P .
Example 6.4. Take X = pt, then P is just a G-torsor. A gauge transformation
is a self-map F : P → P which respects its structure as a G-torsor. So F
satisfies
F (p · g) = F (p) · g, ∀g ∈ G, p ∈ P. (6.10)
In other words, the G-relations between frames are preserved under the trans-
formation F .
Now, the target frames F (p) must have the form
F : p 7→ p · σF (p), (6.11)
for some uniquely-defined σF (p) ∈ G. That is, F must be implemented by
right-multiplication by some smooth map σF : P → G. Putting Eq. (6.11)
into Eq. (6.10) gives
F (p · g) = F (p) · g = (p · σF (p)) · g = (p · g) · (g −1 σF (p)g) . (6.12)
| {z }
=σF (p·g)
69
Exercise 6.4. Check that Map(P, G)G is a group under pointwise multiplica-
tion, and that the correspondence
Example 6.6. Consider the principal bundle P ∼= S 1 × U(1), with S 1 the unit
circle. For n ∈ Z, the maps gn : e 7→ e are elements of Map(S 1 , U(1)),
iθ inθ
s · τ (σ) : U → P |U .
τ (σ1 ) · τ (σ2 )(x) = (σ1 ◦ s(x)) · (σ2 ◦ s(x)) = (σ1 · σ2 ) ◦ s(x) = τ (σ1 · σ2 )(x),
70
so
τ : Map(P |U , G)G → Map(U, G), σ 7→ τ (σ)
is a group homomorphism.
In reverse, let f ∈ Map(U, G). Define a map
by
η(f )(s(x) · g) = g −1 f (x)g, x ∈ U, g ∈ G.
(Equivariance of η(f ) is clear from this formula.) Given f1 , f2 ∈ Map(U, G),
we check that
This is why, in physics, local gauge transformations are often simply regarded
as maps from the base U to the symmetry group G.
However, the identification of the local gauge transformations over U with
Map(U, G) uses a choice of reference local gauge s. So, for instance, gauge
transformations of non-trivializable P cannot simply be described as Map(X, G)
(in the case of non-Abelian G).
71
frames are not actually being regarded as things-in-themselves. Rather, only
the abstract inter-frame relations are considered important. Gauge-invariant
quantities are those which are intrinsic to this relational structure, as encoded
by [P ].
72
7 Preview of Spin
7.1 Hopf bundle over S 2
Consider S 3 as the set of unit vectors in C2 ,
The Hopf fibration is the smooth surjective map to the unit 2-sphere,
π : S 3 → S 2 ⊂ R3 = C × R
(w, z) 7→ (2wz̄, |w|2 − |z|2 ).
π(w1 , z1 ) = π(w2 , z2 ) iff (w2 , z2 ) = (w1 , z1 ) · eiθ for some eiθ ∈ U(1).
Uα = S 2 \ {N }, Uβ = S 2 \ {S},
with preimages
w/|w|
gβα : Uα ∩ Uβ → U(1), (2wz̄, |w|2 − |z|2 ) 7→ = exp(iArg(wz̄)).
z/|z|
73
Note that the overlap Uα ∩Uβ ⊂ S 2 retracts to the equatorial circle S 1 ⊂ S 2 ,
and it is easy to see that the transition function gβα |S 1 : S 1 → U(1) has winding
number 1. This topologically obstructs the extension of gβα to include the
north and/or south poles. The significance of this obstruction is as follows.
Suppose there is a global trivialization Φ̃ : S 3 ∼= CP1 × U(1). Then there are
transition functions Φ̃α ◦ Φ̃−1 and Φ̃β ◦ Φ̃−1 , both of which must have winding
number zero when restricted to the equator, since they can be extended to
the south pole and the north pole respectively. This would contradict the
non-trivial winding number of gβα = Φ̃β ◦ Φ̃−1 3
α . Thus S is an example of a
non-trivializable principal U(1)-bundle.
Remark. There is also the quaternionic Hopf fibration π : S 7 → S 4 . Here, S 7
is regarded as the unit-length quaternions in H2 , and there is a right “scalar
multiplication” on S 7 by the unit quaternion group Sp(1) ∼ = S 3 . The quotient
manifold S is identified with the quaternionic projective space HP1 . As with
4
the complex Hopf fibration, there are local trivializations over the upper and
lower hemispheres of HP1 , with transition function on the equator S 3 ⊂ HP1
being a map gβα : S 3 → Sp(1) of degree 1. Thus S 7 → S 4 is a non-trivializable
principal Sp(1)-bundle. The interested reader is invited to work out the details.
Recall that each of its tangent spaces is itself canonically isomorphic to Rd , and
we give them the same inner product. This means that we consider Euclidean
space as a Riemannian manifold, whose tangent bundle Rd × Rd is equipped
with the standard Euclidean metric on each fibre {x}×Rd . Furthermore, there
is an orientation given by the standard basis.
Take the unit 2-sphere S 2 ⊂ R3 , whose points are labelled by a unit 3-vector
a. The tangent plane at a is
Ta R3 = {v ∈ R3 : v · a = 0}.
In total, the tangent bundle T S 2 is the subset
T S 2 = {(a, v) ∈ S 2 × R3 : v · a = 0},
74
and it is a rank-2 Euclidean vector bundle over S 2 . Actually, we can orient
each tangent space by declaring a basis {u, v} of Ta S 2 to be positively oriented
if {u, v, a} is positively oriented for R3 . So S 2 is an oriented Riemannian
manifold.
We can consider the oriented orthonormal frame bundle of S 2 , denoted
π : FrSO (S 2 ) → S 2 . By general theory to be developed later, this would be
a principal SO(2)-bundle, with the SO(2) action being rotation of oriented
frames for each tangent plane. For now, let us obtain this structure directly.
Write each element of FrSO (S 2 ) as
FrSO (S 2 ) ∼
= SO(3), ({u, v}; a) ↔ (u v a), (7.1)
with π being the projection onto the last component a ∈ S 2 . Under this
identification, the action of SO(2) becomes
g0 0
(u v)g0 a = (u v a) ,
0 1
π : SO(3) ∼
= FrSO (S 2 ) → S 2 ,
75
as well as the principal U(1)-bundle
π : S 3 → S 2.
In its capacity as a double-covering of SO(2), the group U(1) is called the spin
group, Spin(2), and we say that π̄ : S 3 ∼
= SU(2) → S 2 is a principal Spin(2)-
bundle. To stress this principal bundle structure, we write S 3 ∼
= FrSpin (S 2 ).
The commuting diagram Eq. (7.2) may be summarized as
76
The key observation is that we have “upgraded” the oriented orthonormal
frame bundle FrSO (S 2 ) to some “spin frame bundle” FrSpin (S 2 ), which has
“twice as many frames” at each point. Such an “upgrade” is mathematically
called a spin structure on S 2 (see Section 16.1).
Why do we stress the label Spin(2) instead of U(1)? Why the word “Spin”?
First, the double cover Spin(2) → SO(2) means that completing a full loop in
the orthonormal frame space SO(2) only corresponds to completing half a loop
in Spin(2). So we do not get back to where we started from, but rather acquire
a −1 mismatch, ending up with the “opposite spin frame” to the original one.
This is precisely the characteristic feature of fermionic fields in physics.
A fermion field is not like the classical geometry vector/tensor fields. On
an n-dimensional oriented Riemannian manifold X, the space of “spin frames”
at each point is labelled by the “spin rotation group” Spin(n) rather than the
classical rotation group SO(n). Globally, there is a spin frame bundle FrSpin (X)
over X.
In general, there exist topological obstructions to defining the spin frame
bundle globally, and there may not be a unique choice of spin structure. The
classification of spin structures on X is not the same thing as the classification
of principal Spin(n)-bundles over X — the doubling relation between a spin
frame bundle and the oriented orthonormal frame bundle of X is a defining
ingredient for the notion of spin and spinors. We also mention that Spin(2) is
not the same as the U(1) appearing in quantum mechanics or electromagnetism
discussed in the introduction.
Incidentally, for n = 3, the double cover SU(2) → SO(3) exhibits Spin(3) ∼ =
SU(2) as the space of “spin rotations” at a point on a 3-dimensional manifold.
77
8 Tensors and differential forms
8.1 Commutator of vector fields
Over a coordinate chart U , the coordinate tangent vector fields ∂i provide
a commuting family of derivations of C ∞ (U ). This expresses the convenient
notion that partial derivatives commute. Unfortunately, ∂i is seldom globally
defined.
For general vector fields u, v ∈ X(X), we will acquire a commutator
[u, v] : u ◦ v − v ◦ u
78
8.2 Differential 1-forms
Recall Definition 6 of the cotangent spaces Tx∗ X := (Tx X)∗ . From doing
Exercise 4.4, we learn that the basis {(dxi )x } for Tx∗ X is dual to the basis of
coordinate tangent vectors,
ω(v)(x) = ωx (vx ) ∈ R.
79
which depends smoothly on x, since the components ωi and v i depend smoothly
on x. Thus we may regard a 1-form as a map ω : X(X) → C ∞ (X).
Exercise 8.4. Show that a 1-form ω is C ∞ (X)-linear, in the sense that
and the right-hand side depends smoothly on x (Exercise 5.1). Thus we can
regard df as a 1-form,
df : X(X) → C ∞ (X)
v 7→ v(f ).
Cf. Example 4.6, where we saw that dfx was a cotangent vector at x. If you
prefer, write in local coordinates,
∂ fˇ i
ˇ
∂f i
v(f ) = i
v = dx (v j ∂j ) .
∂x ∂xi | {z }
| {z } v
df
∂f ˇ
Although we might be used to thinking of the n-tuple ∂x i as a “gradient vector
80
8.3 Pullbacks and push-forwards
It is usual to write Ω0 (X) := C ∞ (X), and refer to smooth functions as “0-
forms”. If g ∈ Ω0 (Y ), then it may be pre-composed with a smooth map
f : X → Y to obtain a smooth 0-form
f ∗ (g) ∈ Ω0 (X), f ∗ (g) := g ◦ f.
This is called the pullback of g by the map f .
Similarly, let ω ∈ Ω1 (Y ). Then there is a pullback 1-form f ∗ ω ∈ Ω1 (X),
defined by
(f ∗ ω)(v)(x) = ωf (x) (dfx (vx )), v ∈ X(X). (8.3)
We should verify that f ∗ ω(v) is indeed a smooth function of x. This can be
shown from the following properties of the pullback:
Exercise 8.5. Let ω ∈ Ω1 (Y ) be a 1-form, and let f : X → Y and g ∈ C ∞ (Y )
be smooth maps. Verify the following formulae:
f ∗ (g · ω) = (f ∗ (g)) · f ∗ ω.
81
8.4 2-forms and Riemannian metrics
The dual space V ∗ of a (real) vector space can be generalized to the space of
bilinear maps (or forms) V × V → R. A bilinear form b is non-degenerate if
♭ : V → V ∗, v 7→ (u 7→ b(u, v)),
with inverse denoted ♯ : V ∗ → V (this should not be confused with the same
notation used for so-called fundamental vector fields later).
A symmetric (resp. antisymmetric) bilinear form b satisfies b(v1 , v2 ) =
b(v2 , v1 ) (resp. b(v1 , v2 ) = −b(v2 , v1 )) for all v1 , v2 ∈ V . (Anti)symmetric
forms constitute a vector space.
Example 8.4. An inner product on a real vector space V is a symmetric bilinear
form g which is positive definite (g(v, v) ≥ 0 with equality iff v = 0). This
is automatically non-degenerate. There is an induced inner product on V ∗ ,
denoted with the same symbol, and given by g(η, ω) = g(η ♯ , ω ♯ ).
Example 8.5. If η, ω ∈ V ∗ , their tensor product is the bilinear form
η ⊗ ω : (u, v) 7→ η(u)ω(v).
If {e1 , . . . , en } is a basis for V and {e1 , . . . en } the dual basis for V ∗ , then ei ⊗ej
is a basis for the bilinear forms on V (Exercise).
Example 8.6. We can symmetrize η ⊗ ω by taking 21 (η ⊗ ω + ω ⊗ η). Similarly,
we can take the antisymmetrized tensor product, also called the wedge product,
η ∧ ω := η ⊗ ω − ω ⊗ η. (8.5)
The space of skewsymmetric bilinear forms is denoted Λ2 (V ), and it has di-
mension n2 (Exercise).
On a manifold X, we consider a family of bilinear forms bx : Tx X × Tx X →
R, x ∈ X to be smooth, if in all coordinate charts (of an atlas) (Uα , φα ) of X,
we have
x 7→ bx (∂i |x , ∂j |x ), x ∈ Uα ,
being smooth, where ∂i are the coordinate tangent vector fields. We will simply
refer to a smooth family of bilinear forms as a “bilinear form on X”. Notice
82
that the wedge product of two one-forms η, ω can be defined by the pointwise
wedge product of Eq. (8.5), and this produces an antisymmetric bilinear form.
As in Exercise 8.4, we can also define a bilinear form on X as a C ∞ (X)-
bilinear map
X(X) × X(X) → C ∞ (X).
Definition 23. A (smooth) positive-definite symmetric bilinear form g on X
is called a Riemannian metric. An antisymmetric bilinear form ω on X is
called a (differential) 2-form. The space of 2-forms on X is denoted Ω2 (X).
Remark. If we think of Tx X as a linearized version of X near x, then a Rie-
mannian metric provides the notion of lengths and angles on Tx X. A 2-form
prescribes the “oriented area” of the parallelogram spanned by tangent vec-
tors u, v (in that order). There may not be any relationship between a given
Riemannian metric and a given 2-form.
Just as 1-forms can be pulled back under a map f : Y → X, we can also
pull back bilinear forms,
(f ∗ b)y (uy , vy ) := bf (y) ((df )y (uy ), (df )y (vy )), uy , vy ∈ Ty Y. (8.6)
It is easy to see that Riemannian metrics get pulled back to Riemannian
metrics, and 2-forms get pulled back to 2-forms. Furthermore, the wedge
product is compatible with pullback,
f ∗ (η ∧ ω) = f ∗ η ∧ f ∗ ω. (8.7)
Example 8.7. On RN as a manifold, all its tangent spaces are canonically RN ,
and they can be given the standard inner product. This gives the standard
Euclidean space as a Riemannian manifold. If X is a submanifold of RN , then
the Euclidean space metric restricts to a Riemannian metric on X.
83
Exercise 8.8. Check that dω as defined above is indeed a 2-form. (Exercise 8.1
would be helpful.)
Exercise 8.9. Check that the exterior derivative d : Ω1 (X) → Ω2 (X) satisfies:
For λ ∈ R, η, ω ∈ Ω1 (X), f ∈ C ∞ (X),
R-linearity: d(η + λω) = dη + λdω;
Leibniz rule: d(f · ω) = f · dω + df ∧ ω;
Chain complex: d(df ) = 0;
Pn
Coordinate formula: In a coordinate chart (U, φ), so that ω|U = i=1 ωi dxi
for some ωi ∈ C ∞ (U ), we have
n n n
X
i
X
i
X ∂ωi j
d( ωi dx ) = dωi ∧ dx = j
dx ∧ dxi . (8.9)
i=1 i=1 i,j=1
∂x
84
df is the usual differential for f ∈ Ω0 (X) ≡ C ∞ (X);
d2 = 0.
85
9 Integral curves and flows
9.1 Integral curves of vector fields
Every tangent vector at x has a geometric representative as a curve through
x. For a tangent vector field, we might expect that there is a smooth family
of curves on X, whose velocity vectors reproduce the given vector field.
Definition 25. Let v be a vector field on a manifold X. An integral curve of
v is a smooth curve γ : (a, b) → X such that
γ ′ (t) = vγ(t) , t ∈ (a, b).
Example 9.1. Consider R2 with (x1 , x2 ) coordinates, and global vector field v =
∂2 . The integral curves are vertical lines. For example, γ(t) = (x0 , y0 +t), t ∈ R
has, for each f ∈ C ∞ (R2 ),
d(f ◦ γ) ∂f
γ ′ (t)(f ) = = = ∂2 |γ(t) (f ) = vγ(t) (f ).
ds s=t ∂x2 γ(t)
So the velocity vector γ ′ (t) equals the vector field vγ(t) for all t ∈ R.
Example 9.2. In standard global (x1 , x2 ) coordinates for R2 , take the vector
field v = x1 ∂2 − x2 ∂1 . It is convenient to work with (local) polar coordinates
(r, θ) on U = R2 \ {(x, 0) : x ≤ 0}. Check that on U , we have v = ∂θ
(Exercise). The curves
γ(t) = (r0 , θ0 + t), r0 > 0, θ0 + t ∈ (−π, π)
have the property that γ ′ (t) = ∂θ |(r0 ,θ0 +t) = vγ(t) . Actually, these curves can
smoothly extended to t ∈ R (write them in Cartesian coordinates).
Within a local coordinate chart, the problem of finding integral curves
reduces
Pnto that of solving first-order ODEs. In a coordinate chart (U, φ), write
i i i
v = i=1 v ∂i with v ≡ v (x) the component functions. A curve γ lying
within U has the form
γ(t) = φ−1 (γ i (t), . . . , γ n (t))
for functions γ i : (a, b) → R. For f ∈ C ∞ (X), we have
n n
d(f ◦ γ) X ∂(f ◦ φ−1 ) dγ i X dγ i
γ ′ (t)(f ) = = ≡ ∂i |γ(t) (f ).
ds s=t
i=1
∂xi γ(t) ds s=t
i=1 |ds{zs=t}
γ̇ i (t)
86
So the velocity vector of γ at time t is
n n
need
X X
′ i
γ (t) = γ̇ (t)∂i |γ(t) = v i (γ(t))∂i |γ(t) .
i=1 i=1
ODE theory ⇒ local existence. There always exists some time interval
containing t0 , during which the initial value problem (9.1)-(9.2) has a (unique,
smooth) solution. See Theorem D.1 of [11] for details of the ODE theory
justifying this fact.
Proposition 9.1. Let v be a vector field on a manifold X. For each point
x ∈ X, there exists ϵ > 0 and an integral curve γ : (−ϵ, ϵ) → X starting from
x, i.e., γ(0) = x.
Generally, we may not be able to extend an integral curve to one which is
defined for all t ∈ R.
Exercise 9.1. Find an integral curve of the vector field ((x1 )2 + (x2 )2 )∂1 on
R2 , passing through the point (1, 0). Check that this integral curve cannot be
extended to all of R.
If γ is an integral curve of a vector field v, we have (basically by definition),
f (γ(t + t′ )) − f (γ(t))
vγ(t) (f ) = lim .
′ t →0 t′
So a vector field v differentiates functions along its integral curves.
9.2 Flows
Definition 26. A global flow on a manifold X is a smooth R-action on X,
i.e., a smooth map
θ :R×X →X
87
satisfying
θ(t, (θ(s, x)) = θ(t + s, x), θ(0, x) = x, x ∈ X, s, t ∈ R.
For each t ∈ R, a flow determines the smooth map
θt : X → X, x 7→ θ(t, x).
These θt satisfy a group law when composed,
θ0 = idX , θt ◦ θs = θs+t , s, t ∈ R,
so they are diffeomorphisms.
Starting from an initial point x ∈ X, a flow provides a smooth curve
γ (x) : R → X, t 7→ θt (x), (9.3)
and therefore a tangent vector at x,
vx = (γ (x) )′ (0) ∈ Tx X. (9.4)
Definition 27. The tangent vector assignment, Eq. (9.4), associated to a flow
on X is called the infinitesimal generator of the flow.
Proposition 9.2. Let θ be a global flow on X. Its infinitesimal generator is
a smooth vector field, and the γ (x) of Eq. (9.4) are its integral curves.
Proof. We may check that v is a derivation of C ∞ (X) (exercise), so it is a
smooth vector field (Remark 2).
Next, consider the curve γ (x) starting at a given x ∈ X. We need to check
the integral curve condition, vγ (x) (t) = (γ (x) )′ (t), t ∈ R.
Fix t ∈ R and write x′ := γ (x) (t) = θt (x). We have
′
γ (x ) (s) ≡ θs (x′ ) = θs ◦ θt (x) = θs+t (x) = γ (x) (s + t).
So for any f ∈ C ∞ (X),
′
(x′ ) ′ d(f ◦ γ (x ) (s))
vγ (x) (t) (f ) ≡ vx′ (f ) ≡ (γ ) (0)(f ) =
ds s=0
d(f ◦ γ (x) (s + t))
=
d(s + t) s+t=t
(x) ′
= (γ ) (t)(f ),
as required.
88
On R2 , the flows given by vertical translation by t and anticlockwise rota-
tion by an angle t, respectively give rise to the vector fields of Examples 9.1,
9.2. However, the example of Exercise 9.1 shows that a general vector field
might not be associated to any globally defined flow.
So in general, we have to consider local flows θ defined only on some open
subset D ⊂ R × X called the flow domain. At time t, the flow map θt is only
defined on a space-time subset
Xt := {x ∈ X : (t, x) ∈ D}.
So from an initial point x, the curve θ(·, x) only makes sense for some open
time interval D(x) containing 0. This is enough to make sense of the tangent
vectors vx in Eq. (9.4), and the notion of infinitesimal generator.
Proof. Suppose, for a contradiction, that v has some integral curve γ (x) which
can only be defined for t ∈ (−δ, tmax ) with δ ≤ tmax < ∞. Define x′ =
89
′
γ (x) (tmax − 2δ ). By hypothesis, the integral curve γ (x ) starting at x′ is at least
defined for t ∈ (−δ, δ). We try extending γ (x) as follows,
(
γ (x) (t), t ∈ (−δ, tmax ),
γ (x) (t) = ′
γ (x ) (t − tmax + 2 ), t ∈ (tmax − 3δ2 , tmax + 2δ ).
δ
The extended γ (x) remains an integral curve starting at x, but it has now been
defined until tmax + 2δ > tmax .
90
10 Geometry of Lie group actions
10.1 Lie algebra of left-invariant vector fields
Definition 30. A vector field v on a Lie group G is left-invariant if
(Lg )∗ v = v, ∀g ∈ G.
Recall from Eq. (8.1) that X(X) is a Lie algebra under the Lie bracket [·, ·].
Prop. 10.1 says that the left-invariant vector fields on X form a Lie subalgebra
of X(X).
Definition 31. The Lie algebra of a Lie group G, denoted g, is the vector space
of left-invariant vector fields on G, with Lie bracket being the commutator of
vector fields.
Theorem 10.2. Let g be the Lie algebra of a Lie group G. Evaluation at the
identity element e ∈ G,
ε : g → Te G, v 7→ ve ,
is a linear isomorphism.
91
From the group property of G, it follows that this tangent vector assignment
v(f ) : G → R
g 7→ vg (f )
d(f ◦ Lg ◦ γ)
v(f )(g) ≡ vg (f ) = ((dLg )e (ξ)) (f ) = ξ (f ◦ Lg ) = . (10.2)
ds s=0
We regard f ◦ Lg ◦ γ as a function
which is smooth. Then the right-hand-side of Eq. (10.2) equals the partial
derivative ∂η
∂s
, which is therefore smoothly dependent on g ∈ G. This
(s,g)=(0,g)
shows that v(f ) ∈ C ∞ (G) as required.
Thus there is only a finite-dimensional vector space of left-invariant vector
fields on G, with, dim g = dim Te G = dim G. Notice that Te G inherits a Lie
bracket operation from its identification with g.
Corollary 10.3. A Lie group is parallelizable, i.e. its tangent bundle is triv-
ializable.
Proof. Pick any basis {ξ1 , . . . , ξn } for Te G. Then we obtain left-invariant vec-
tor fields v (ξi ) ∈ g, i = 1, . . . , dim G by Theorem 10.2, Eq. (10.1), and they
are linearly independent at every g ∈ G. So we obtain a global frame for T G,
which determines a global trivialization by Exercise 5.3.
Example 10.1. GL(n, R) is an open submanifold of the vector space Mn (R) ∼
=
2
Rn . So Te (GL(n)) is naturally isomorphic to Mn (R) as a vector space. On
the one hand, the matrix commutator provides a Lie bracket for Te (GL(n)).
92
On the other hand, Theorem 10.2 tells that Te (GL(n)) is canonically identified
with the left-invariant vector fields on GL(n, R), so we get another Lie bracket
on Te (GL(n)) using the commutator of vector fields. These two natural Lie
brackets on Te (GL(n)) coincide (Exercise).
Thus it is customary to write gl(n, R) = Mn (R), and gl(n, C) = Mn (C) for
these matrix Lie algebras. If you prefer, we can also work with GL(V ) for a
general vector space V without a preferred basis. Then gl(V ) = End(V ), the
linear maps on V , with commutator as Lie bracket.
93
algebra. A more interesting example is su(2) ∼
= so(3). Take
1 0 1 1 0 −i 1 1 0
su(2) = spanR , ,
2i 1 0 2i i 0 2i 0 −1
0 0 0 0 0 1 0 −1 0
so(3) = spanR 0 0 −1 , 0 0 0 , 1 0 0 . (10.3)
0 1 0 −1 0 0 0 0 0
A direct calculation shows that the linear map taking the above basis vectors
to each other is a Lie algebra isomorphism (Exercise).
Remark. Even if G is known to be a matrix Lie group, G ⊂ GL(n), it is often
represented on some other vector space V other than Cn . For example, there
is a distinguished representation of G on the vector space g (see Section 10.3).
If G is represented as a subgroup of GL(V ), then g will be represented as a
Lie subalgebra of End(V ).
One should always keep in mind the geometric meaning of g as left-invariant
vector fields on G. The description as the tangent space at the identity matrix,
is largely for convenience of calculations.
Cg : G → G, g ′ 7→ gg ′ g −1 ,
the map
Ad : G → GL(g), g 7→ Adg ,
is itself a Lie group homomorphism. (Verification of smoothness of Ad is
omitted.) This homomorphism is called the adjoint representation of G on its
Lie algebra g.
94
Example 10.4. Let G = GL(n, R), which has gl(n, R) ∼= Te GL(n, R) = Mn (R).
The conjugation operation Cg is linear in the matrix entries (which are serv-
ing as the coordinates). So the adjoint representation Ad : GL(n, R) →
GL(Mn (R)) is given by
As for matrix Lie groups G ⊂ GL(n, K), their Lie algebras are realized as
(real) linear subspaces inside Te GL(n, K) = Mn (K). Restrict the adjoint rep-
resentation of GL(n), Eq. (10.4), to the subgroup G, and let it act only on the
corresponding tangent subspace g ⊂ Mn (K). This gives the adjoint represen-
tation of G on g.
Exercise 10.3. A basis for so(3) was given in Eq. (10.3). In this basis, the
adjoint representation of g ∈ SO(3) is given by the matrix g itself.
t 7→ γv (s + t).
These two curves must coincide, so γv (s) · γv (t) = γ(s + t) for all s, t ∈ R.
Thus the integral curve γv : R → G is necessarily a Lie group homomorphism.
95
Definition 33. A Lie group homomorphism γ : R → G is called a one-
parameter subgroup of G. In particular, for a left-invariant vector field v ∈ g,
the integral curve γv starting at e is called the one-parameter subgroup of G
generated by v.
Proof. We have just seen how a left-invariant vector field generates a one-
parameter subgroup of G.
In reverse, let γ : R → G be an arbitrary one-parameter subgroup of G.
Note that γ(0) = e. Let us investigate the tangent vectors to the curve γ,
which are
′ d
γ (s) = (dγ)s ∈ Tγ(s) G, s ∈ R.
dt t=s
Write Ls for the translation on R by s. The homomorphism property γ(s+t) =
γ(s)γ(t) can be rewritten as γ ◦ Ls = Lγ(s) ◦ γ, and this implies
Then
′ d d
γ (s) = (dγ)s = dγs (dLs )0
dt t=s dt t=0
d
= (dLγ(s) )e dγ0 . (10.5)
dt t=0
| {z }
≡γ ′ (0)∈Te G
This says that γ is recovered as the (maximal) integral curve of the left-
invariant vector field v, starting at e.
96
Definition 34. For a Lie group G with Lie algebra g, the exponential map is
defined as
exp : g → G, v→ 7 γv (1),
where γv : R → G is the 1-parameter subgroup of G generated by v ∈ g.
Example 10.5. Recall that the Lie group GL(n, R) has gl(n, R) ∼ = Mn (R) ∼
=
n2 ij
R . The matrix elements X play the role of coordinates, so there are coor-
dinate vector fields ∂X∂ ij . An element A ∈ Mn (R) is regarded as the tangent
vector n
X ∂
A↔ Aij ∈ gl(n, R) = Te (GL(n, R)),
i,j=1
∂X ij e
(A) ∂
γ(0) = e = 1n , γ ′ (s) = vγ(s) = (γ(s)A)ij .
∂X ij γ(s)
97
The solution is provided by the matrix exponential,
∞
X 1 1
γ(s) = (sA)k = 1n + sA + (sA)2 + . . . ,
k=0
k! 2
where the series on the right converges to an element of GL(n, R), and depends
smoothly on s (Exercise). Similarly for the complex case. Setting s = 1, we
get the matrix exponential map exp : gl(n) → GL(n).
Proposition 10.6. The flow θ(v) on G generated by v ∈ g is implemented by
right-multiplication by exp(tv),
θ(v) (t, g) = g · exp(tv) ≡ Rexp(tv) (g). (10.6)
Proof. Since v ∈ g is complete (Prop. 10.4), it generates a global flow θ(v) on
G. By definition, at each g ∈ G, the curve t 7→ θ(v) (t, g) has velocity vector
being vg = dLg (ve ). Since the curve t 7→ (Lg ◦ γv )(t) has
(Lg ◦ γv )′ (0) = (dLg )e ((γv )′ (0)) = dLg (ve ),
we learn that
θ(v) (t, g) = Lg (γv (t)) = Lg (exp(tv)) = g · exp(tv).
Example 10.6. On the Lie group R, a left invariant vector field is ∂x , and it
generates the global flow θ(t, x) = x + t. In this case, Rexp(t∂x ) is translation-
by-t.
Exercise 10.4. Let f : G → H be a Lie group homomorphism, and f∗ : g → h
be the induced Lie group homomorphism. Show that the exponential map is
natural, in the sense that the following diagram commutes:
f∗
g h
exp exp .
f
G H
Proposition 10.7. Let f : G → H be a Lie group homomorphism. Then
adjoint representations of G and H are compatible with f in the sense that
f∗ ◦ Adg = Adf (g) ◦ f∗ , g ∈ G.
98
Proof. Let g ∈ G and v ∈ Te G ∼
= g. From Exercise 10.4, we have
equivalently,
f ◦ Cg ◦ exp(tv) = Cf (g) ◦ exp(tf∗ (v)).
Differentiate at t = 0 to obtain
σ : P × G → P, (p, g) 7→ p · g.
We call P a G-space.
99
Fix v ∈ g, and restrict attention to the action of its 1-parameter subgroup
γv : R → G,
σ :P ×R→P
(p, t) 7→ p · exp(tv) .
| {z }
γv (t)
Notation: For a curve γ(·) in P , we shall often denote its velocity vector
γ ′ (0) ∈ Tγ(0) P at t = 0 by the suggestive expression dγ(t)
dt t=0
.
Definition 35. Let P be a G-space. The linear map
g → X(P )
v 7→ v ♯ , (10.8)
Op : G → P, g 7→ p · g.
100
Clearly Op·g = Op ◦ Lg . Then
♯
vp·g = (dOp·g )e (ve ) = (d(Op ◦ Lg ))e (ve ) = (dOp )g ((dLg )e (ve )) = (dOp )g (vg ),
where the last equality follows from left-invariance of v. Thus for all g ∈ G,
♯
dOp “pushes forward” vg to vp·g . One says that v and v ♯ are Op -related. By
the naturality of Lie brackets (see Prop. 8.30 of [11] for details), we also have
[v, w] being Op -related to [v ♯ , w♯ ]. This means, in particular, that
We obtain this equality at every other p′ ∈ P , by applying the orbit map Op′ .
So [v, w]♯ = [v ♯ , w♯ ]. We arrive at the following result:
101
Write Rg for the diffeomorphism p 7→ p · g. The following Proposition
expresses the sense in which fundamental vector fields are G-equivariant.
102
The idea is use Te G as a “reference tangent space”, and utilize the group
action L to canonically convert tangent vectors at general g to tangent vectors
at e. Doing this to an arbitrary vector field on G will turn it into a g-valued
function — this is what Θ is doing for us.
Exercise 10.5. Show that the Maurer–Cartan form Θ on a Lie group G satisfies
left-invariance,
(Lg )∗ Θ = Θ, ∀g ∈ G,
fixes fundamental vector fields on G,
Θ(v) = v, v ∈ g, (10.11)
Θ = g −1 dg.
What this means is that at each point g ′ ∈ GL(n, R), we have the matrix
(g ′ )−1 multiplied into the matrix of coordinate 1-forms at g ′ ,
(dX 11 )g′ · · · (dX 1n )g′
(g −1 dg)g′ = (g ′ )−1 · .. ... ..
, (10.13)
. .
n1 ′ nn ′
(dX )g · · · (dX )g
103
10.7 Derivative of Lie group action
For later use, we record the following calculation:
d(g exp(tΘ(ξ)))
ξ = (Lg )∗ (Lg−1 )∗ (ξ) = (Lg )∗ (Θ(ξ)) = .
dt t=0
Then
d(p · g exp(tΘ(ξ)))
dσ(p,g) (0, ξ) =
dt t=0
♯
= (Θ(ξ))p·g ,
104
11 Connections on principal bundles and their
curvature
We are finally ready to relate frames attached to different points.
Vp := Tp Pπ(p) ,
Vp ⊂ ker dπp .
Op : G → Pπ(p) , g 7→ p · g,
105
Since P is a principal bundle, Op is a diffeomorphism, so (dOp )e is actually a
linear isomorphism. Thus Eq. (11.1) gives a canonical way to identify each Vp
with the “reference” g, generalizing the Maurer–Cartan form.
Remark 4. Any basis of g leads, via Eq. (11.1), to (dim G) smooth vector
fields which span Vp at every p ∈ P . This framing property shows that V P
is a subbundle of T P (see Lemma 10.32 of [11]). In fact, there is a canonical
vector bundle isomorphism,
P ×g→VP
(p, v) 7→ vp♯ .
Hp ⊕ Vp = Tp P,
(Rg )∗ Hp = Hpg , ∀p ∈ P, g ∈ G.
The first condition is quite an obvious one. The second condition is imposed
because all points in a fibre are supposed to be treated on an equal footing.
The term principal connection is sometimes used to stress this second property.
Once P is equipped with a connection, then
dπp : Tp P = Hp ⊕ Vp → Tπ(p) X
106
Remark. In general, there are many vectors vp = (vpH , vpV ) ∈ Hp ⊕ Vp = Tp P
which lift v̌x in the sense that dπp (vp ) = v̌x . Nevertheless, any such lift has
the same horizontal component, namely, the horizontal lift of v̌x at p.
Exercise 11.1. Show that for any v̌ ∈ X(X), its horizontal lift is a G-invariant
vector field on P , i.e., (Rg )∗ v H = v H for all g ∈ G.
Exercise 11.2. Let u be a G-invariant vector field on P , and v ♯ be a funda-
mental vector field on P (thus v ♯ is vertical). Show that [u, v ♯ ] = 0.
We would like to define a map which projects each vp onto its vertical com-
ponent. Although the various Vp are not the “same” vector space, we have
seen how to identify every Vp with g, using Eq. (11.1). So we can define the
g-valued 1-form ω on P ,
(dOp )−1
e
ωp : Tp P → Vp → g
vp 7→ vpV 7→ u, (11.2)
107
ω takes a (vertical) fundamental vector field u♯ back to u,
ωp (u♯p ) = u, ∀p ∈ P, u ∈ g. (11.3)
ω is G-equivariant,
108
Then
ψ ∗ Θ = (pr2 ◦ Ψ)∗ (Θ) = Ψ∗ (pr∗2 Θ) = Ψ∗ (ωtriv )
is a connection on P (exercise).
Without reference to a trivialization, there is no meaning to “trivial con-
nection” on P . Furthermore, if P is not trivializable, there is no notion of
“trivial connection” in the first place.
Example 11.3. Let P = S 1 × U(1), so g = iR. Let dθ, dφ be the respective
coordinate 1-forms on S 1 and U(1) (Example 8.2). The Maurer–Cartan form
∂
on U(1) is idφ. For i ∈ g, the corresponding fundamental vector field on P is ∂φ
(Exercise). Fix any ik ∈ g, and consider the g-valued 1-form ω (k) := ik dθ+idφ.
Then ω (k) is a connection 1-form on P . The horizontal subspaces defined by
ω (k) are spanned by ∂θ − k∂φ .
Example 11.4. If G is a discrete group, then g = 0, and the only available
connection 1-form is the zero-valued 1-form. As Example 6.1 of S(LR ) shows,
it is possible to have vanishing connection 1-form, with globally non-trivial
“horizontal parallel transport”.
Exercise 11.3. Let ω, ω ′ be two connections on a principal G bundle P . Show
that ω − ω ′ is a horizontal 1-form in the sense that it annihilates all vertical
vectors,
(ω − ω ′ )p (vp ) = 0, ∀vp ∈ Vp , p ∈ P.
Example 11.5. On the trivial principal bundle S 1 × U(1), consider the connec-
tion 1-form ω = ikdθ + idφ of Example 11.3. Pulling back by the trivializing
section s0 : eiθ 7→ (eiθ , 1), we get the gauge potential s∗0 ω = ikdθ. For n ∈ Z,
apply the large gauge transformation gn ∈ Map(S 1 , U(1)), gn (eiθ ) = einθ ,
which converts s0 to the section sn = s0 · gn . Check that ω is now represented
by the gauge potential s∗n ω = i(k + n)dθ (Exercise).
109
Theorem 11.1. Let ω ∈ Ω1 (P, g) be a connection on a principal G bundle P .
Let sα , sβ be local sections of P defined over open subsets Uα , Uβ respectively,
related by the local gauge transformation gαβ : Uαβ → G (Eq. (6.9)). Write
ω (sα ) , ω (sβ ) for the respective local gauge potentials. On the overlap Uαβ , they
are related by
∗
ω (sβ ) = Adg−1 ◦ ω (sα ) + gαβ (Θ), (11.5)
αβ
For convenience, we drop the reference to x. Apply ω to the first term of Eq.
(11.7),
ω d(Rgαβ )sα (d(sα )(η)) = (Rg∗αβ ω)(d(sα )(η))
= Adg−1 ω(d(sα )(η)) (Eq. (11.4))
αβ
110
Remark. When G is abelian, the transformation law, Eq. (11.5), simplifies to
∗
ω (sβ ) = ω (sα ) + gαβ (Θ).
We may think of Eq. (11.5) as the “action” of local gauge transformations
gαβ on local gauge potentials, effecting ω (sα ) ⇝ ω (sβ ) .
Exercise 11.4. Let sγ : Uγ → P be a third local section. So we have the local
gauge transformation gβγ : Uβγ → G relating sβ to sγ , as well as gαγ : Uαγ → G
relating sα to sγ . Show that on the triple overlap Uαβγ , applying gαγ to a local
gauge potential ω (sα ) gives the same result as applying gαβ followed by gβγ .
Example 11.6. In Example 11.5, the section sn is obtained from s0 by applying
g0n : S 1 → G, eiθ 7→ einθ . The transformation law, Eq. (11.5), correctly gives
∗
ω (sn ) = ω (s0 ) + g0n (idφ) = ikdθ + indθ.
where gαβ are the local gauge transformations converting sα to sβ . Then it may
be shown that there exists a unique connection ω on P such that Aα = s∗α ω.
This “algebraic” method of defining connections via local gauge potentials and
checking (or declaring) mutual compatibility, is usually utilized in physics.
However, the global geometrical meaning of the connection becomes rather
obscured.
Finally, we remark on the terminology “gauge field”. Often, a local gauge
potential is called a “gauge field on X”. A somewhat better choice is to call
a connection on P a gauge field. Actually, it is possible to show that the
difference between two connections is a section of the so-called adjoint vector
bundle over X associated to P . So the space of connections could be identified
as a space of fields over X, but only affinely (there is no canonical “trivial” or
“zero” connection).
111
11.5 Curvature of connections
The exterior derivative of a k-form generalizes in the obvious way to V -valued
k-forms, giving rise to V -valued (k + 1)-forms. Namely, we can expand a V -
valued 1-form into R-valued k-forms with respect to any basis for V . Then
take the usual exterior derivative of each component, and sum the result up.
Definition 41. Let ω ∈ Ω1 (P, g) be a connection 1-form on a principal G-
bundle P . Its curvature is the g-valued 2-form
Ω(u, v) = dω(uH , v H ), u, v ∈ X(P ). (11.8)
Recall that (·)H denotes the horizontal part of a vector field on P , as
determined by the connection ω. The expression dω(u, v) would generally
involve three terms, as in Eq. (8.8). But on the right side of Eq. (11.8), we
only put in horizontal vector fields. Because ω annihilates horizontal vector
fields, we are left with only a single term,
Ω(u, v) = dω(uH , v H ) = −ω([uH , v H ]).
112
Proposition 11.2. The curvature Ω of a connection ω is G-equivariant,
Rg∗ Ω = Adg−1 ◦ Ω, ∀ g ∈ G.
113
Remark. In the particular case where P = G and ω = Θ is the Maurer–Cartan
form, there are no horizontal directions at all. So dΘ + 12 [Θ, Θ] = 0.
Exercise 11.5. Using the Cartan structure equation and Eq. (8.10), verify the
Bianchi indentity: Dω Ω ≡ (dΩ)H = 0 for the curvature Ω of any connection
ω.
Because pullback is compatible with wedge product and the exterior deriva-
tive, it is straightforward to verify the local form of the structure equations,
1
s∗ Ω = dω (s) + [ω (s) , ω (s) ]. (11.10)
2
The local field strengths are gauge-dependent, so let us work out their
transformation law under local gauge transformations.
While proving the transformation law for the local gauge potentials, Theorem
11.1, we derived Eq. (11.7),
∗
d(sβ )x (η) = d(Rgαβ (x) )sα (x) ◦ d(sα )x (η) + ((gαβ Θ)x (η))♯sβ (x) , η ∈ Tx X.
114
The second term on the right is vertical, so it does not contribute to Ω(·, ·).
Thus for any ux , vx ∈ Tx X,
(s∗β Ω)x (ux , vx ) = Ωsβ (x) (d(Rgαβ (x) )sα (x) ◦ d(sα )x (ux ), d(Rgαβ (x) )sα (x) ◦ d(sα (x))(vx ))
= (Rg∗αβ (x) Ω)sα (x) (d(sα )x (ux ), d(sα )x (vx ))
= (Adg−1 (x) ◦ Ω)sα (x) (d(sα )x (ux ), d(sα )x (vx ))
αβ
Fij = ∂i Aj − ∂j Ai + [Ai , Aj ]
115
law, Eq. (11.5), is
11 1n
d(gαβ )x · · · d(gαβ )x
∗
(gαβ −1
(Θ))x = gαβ (x) · ... ... .. ,
.
n1 nn
d(gαβ )x · · · d(gαβ )x
ij
with gαβ = X ij ◦ gαβ : U → R being the ij-th matrix entry of the transition
function gαβ . It is common practice to simply write g = gαβ : Uαβ → G for the
local gauge transformation, and condense the above expression into “g −1 dg”.
The gauge transformation rules are then
A ⇝ A′ = g −1 Ag + g −1 dg
F ⇝ F ′ = g −1 Fg. (11.13)
116
Furthermore, if v ♯ is a fundamental vector field on P1 , then
♯ d(p · exp(tv))
(dF )p (vp ) = (dF )p
dt t=0
so that
117
Proof. For the first equality, we use the structure equations, and commutativ-
ity of pullback with wedge product,
∗ ω ∗ ω ∗ 1
F Ω ≡ F (D ω) = F dω + [ω, ω]
2
1
= d(F ∗ ω) + [F ∗ ω, F ∗ ω]
2
F ∗ω ∗ ∗
= D (F ω) ≡ ΩF ω .
we may discard any vertical vectors occurring in the arguments on the right.
To understand F∗ = dF , we note that F : P → P may be written as the
composition
σ
p 7→ (p, σF−1 (p)) 7→ p · σF (p),
where σ : P × G → P is the group action map. The derivative of σ was found
in Eq. (10.14), and discarding vertical terms, we simply have
F ∗ Ωω = Adσ−1 ◦ Ωω .
F
11.7.1 Abelian G
Notice that when G is abelian, the curvature is simply Ω = dω, which is linear
in ω. In this case, the curvature is also invariant under gauge transformations.
In particular, the local field strengths s∗ ω are independent of the choice of
local gauge/section s. This can be explicitly seen from Eq. (11.11). Thus we
118
may pick any collection of local sections, sufficient to cover all of X, and obtain
a globally well-defined field strength F ∈ Ω2 (X, g).
Furthermore, the field strength is a closed 2-form, dF = 0, because we may
compute, using any local gauge, that
1
dF = d(s∗ Ω) = d(d(ω (s) )) + d [ω (s) , ω (s) ] = d2 (ω (s) ) = 0.
2 | {z }
abelian ⇒ 0
119
12 Fibre bundles and structure groups
Some motivation from physics. In classical geometry, principal G-bundles
usually arise as a bundle of frames, for some concrete vector bundle of interest,
such as a tangent bundle. In (quantum) physics, the principal G-bundle with
connection encodes an abstract notion of “local gauge symmetry”, or “inter-
frame relationships”, both at a single point of X, and between neighbouring
points. The principal bundle can be realised as the frame bundle of some as-
sociated vector bundle, and here there is considerable freedom to (unitarily)
represent G as transformations of some reference vector space. Different rep-
resentations are labelled by “charges”. The associated vector bundle is also
viewed abstractly, as a fibre bundle with structure group G, and it is determined
up to isomorphism.
Sections of the above-mentioned vector bundle are typically thought of as
matter fields (electron, proton, etc.). The principal bundle connection induces
a covariant derivative on the associated vector bundle, thereby allowing for
a gauge-independent notion of differentiation for the matter fields. The con-
nection itself could be allowed to vary — it then becomes a “dynamical gauge
field interacting with matter fields”. So we often need to consider the entire
space of connections rather than a fixed prescribed one. Although the space
of connections is (affinely) an infinite-dimensional linear space, in the end,
everything is done modulo gauge transformations. This is because we cannot
measure the section/connection as-it-is, but only the gauge-invariant aspects.
The above discussion can be taken as the “gauge principle”; compare the
situation in general quantum mechanics. It strongly constrains the variety of
admissible physical theories of matter and interactions.
120
where v = (v 1 , . . . , v n ) ∈ Kn is the n-tuple of components representing v. We
could choose to expand v with respect to another frame e′ = e · g, g ∈ GL(n),
n
X n
X n
X n
X
v= e′b (v ′ )b = ea g ab (v ′ )b = ea g ab (v ′ )b .
b=1 a,b=1 a=1
|b=1 {z }
va
g · ξ := ρ(g)(ξ), g ∈ G, ξ ∈ F,
121
Prompted by Eq. (12.2), we consider the set P × F , equipped with the
right G-action,
(p, ξ) · g := (p · g, g −1 · ξ).
Then pass to the set of equivalence classes modulo this G-action,
πρ : P × ρ F → X
[p, ξ] 7→ π(p)
122
From a trivializing cover {Uα , Φα }α∈I of P , we obtain a corresponding
(ρ)
continuous trivializing cover {Uα , Φα }α∈I of P ×ρ F . Each Uα ×F is a smooth
(ρ)
manifold, so (Φα )−1 (Uα × F ) inherits a smooth structure. Over Uαβ , the
(ρ) (ρ)
coordinate charts coming from Φα and from Φβ are compatible, due to the
following.
(ρ) (ρ)
Exercise 12.2. Let (Uα , Φα ), (Uβ , Φβ ) be two (continuous) local trivializa-
tions for P ×ρ F . Show that on the overlap Uαβ × F , we have
(ρ) −1
Φβ ◦ (Φ(ρ)
α ) : Uαβ × F → Uαβ × F
(x, ξ) 7→ (x, ρ(gβα (x))(ξ)), (12.4)
Definition 46. A fibre bundle with typical fibre F on which the structure Lie
group G acts (on the left by diffeomorphisms), is a smooth surjective map
π : E → X, such that every x ∈ X lies in an open neighbourhood U with
E|U := π −1 (U ) locally trivializable: there is a diffeomorphism
Φβ ◦ Φ−1
α (x, ξ) = (x, gβα (x) · ξ), x ∈ Uαβ , ξ ∈ F,
123
Example 12.2. As we saw in Eq. (6.6), a principal G-bundle P is a fibre bundle
with typical fibre G, and structure group G acting on the typical fibre G by
left multiplication (“frame relabelling”). Beware that this left multiplication
only makes sense in a local trivialization, and there is no global left G-action
on P .
Example 12.3. A rank-n vector bundle is a fibre bundle, with structure group
GL(n) acting on the typical fibre Kn .
Remark. As usual, a fibre bundle is allowed the maximal compatible collec-
tion of local trivializations, in the sense of all G-valued transition functions
remaining smooth. For example, the associated fibre bundle does not inherit
preferred local trivializations from those used in its construction.
Direct sums;
Hom(E, F ) ∼
= F ⊗ E ∗;
Complexification/realification;
Complex conjugate.
These algebraic operations generalize to vector bundles E, F over X.
For example, for the direct sum E ⊕F of a rank-m and a rank n-vector bun-
dle, we would take each (E ⊕ F )x to be Ex ⊕ Fx . Then use local trivializations
E|U ∼= U × Km and F |U ∼ = U × Kn to construct (E ⊕ F )|U ∼
= U × (Km ⊕ Km ),
and topologize E ⊕ F as we did for the tangent bundle in Section 5.1. The
resulting transition functions will be the direct product of those for E and
those for F , so they are smooth. More abstractly, we can also construct E ⊕ F
from the direct product GL(m) × GL(n)-valued transition functions, by the
gluing construction of Section 6.4.1.
Similarly, the cotangent bundle T ∗ X can be constructed by taking the
−1 t
transitions functions (gαβ ) , where gαβ are the ones for T X. We can con-
∗
struct T X from the tangent frame bundle by taking GL(n) to act on Rn in
124
the contragedient representation (g −1 )t . Similarly for tensor product bundles.
In particular, any manifold X automatically comes with a bundle Λk (X) of
differential k-forms, and Ωk (X) = Γ(Λk (X)).
A common procedure is to tensor Λk (X) with an auxiliary vector bundle
E, where E has structure group G′ ⊂ GL(dim E) independent from that of
T X. Elements of
Γ(Λk (X) ⊗ E) = Ωk (X, E)
are called 1-forms twisted by E.
T · v(x) = T (x)(v(x)),
125
If ρ is a faithful representation (i.e. injective), then F 7→ TF is a group
isomorphism G(P ) → G(E).
126
Orientation. Two bases for a real vector space E are said to be equivalent if
the change-of-basis matrix has positive/negative determinant. An orientation
of E is a choice of equivalence classes of bases. The set of orientations is a
Z2 -torsor (there is no canonical “trivial” orientation).
For E a real vector bundle, we can assign a pointwise orientation to ev-
ery Ex . A local frame {e1 , . . . , en } over U ⊂ X is positively oriented if
{e1 (x), . . . , en (x)} has the same orientation as the given pointwise orienta-
tion for all x ∈ U . The pointwise orientation is globally smooth if every point
of X lies in the domain of an oriented local frame; in this case, E is said to
be an orientable vector bundle, and a choice of smooth pointwise orientation
is simply called an orientation on E.
Once E has been given an orientation, we can decide to use only the pos-
itively oriented local frames as the local trivializations. Then the transition
functions will be GL(n, R)+ -valued. We obtain the oriented frame bundle
Fr+ (E) as a principal GL(n, R)+ -bundle, with GL(n, R)+ -valued transition
functions.
If E has a bundle metric, there is a further reduction to (oriented) orthonor-
mal frames, and we have the (oriented) orthonormal frame bundle Fr(S)O (E)
as a principal (S)O(n)-bundle.
Remark. If E = T X is the tangent bundle of a (oriented, Riemannian) mani-
fold X, then the above frame bundles are usually referred to the various frame
bundles of X, with the vector bundle T X being implicit.
Spin? As we will learn later, there can be a further “reduction” from SO(n)
to a so-called Spin(n) group. This does not naturally take place on a vec-
tor/tensor bundle over X. Instead, the natural starting point is the principal
“spin frame bundle”, to which the vector bundle of spinors is associated.
π ′ ◦ F = π,
F (p · h) = F (p) · ϕ(h), h ∈ H, p ∈ P .
127
Remark. The map F restricts to a map Px → Px′ of fibres. Picking basepoints
p ∈ Px and F (p) ∈ Px′ gives identifications Px ∼
= H and Px′ ∼
= G. Then F |Px is
identified with the homomorphism ϕ : H → G.
An idG -reduction is just a principal G-bundle isomorphism. When ϕ is the
embedding of a Lie subgroup H ⊂ G, we simply call P a H-reduction of P ′ .
The image F (P ) is then a principal H-subbundle inside P ′ .
Example 12.4. When an orientable real vector bundle E is given an orientation,
the oriented frame bundle is a principal GL(n, R)+ subbundle of the full frame
bundle. We say that the former is a GL(n, R)+ -reduction of the frame bundle.
Similarly, if a bundle metric is given, the oriented orthonormal frame bundle
is a further SO(n)-reduction of the frame bundle.
Let P be a principal G-bundle, and consider an associated vector bundle
E = P ×ρ V . Suppose V is equipped with a G-invariant inner product,
128
In Riemannian geometry, we would take FrSO (X), and SO(n) would be
represented in the defining way, or in some tensor representation. In quantum
theory, we have FrSpin (X) (defined in Section 16.1), and for dim X = 3, we have
the unitary representations of Spin(3) labelled by half-integers. In relativistic
(quantum) theory, the Lorentz-orthonormal frame bundle FrSO(1,3) (X), or the
Spin(1, 3) version, is used. The various irreducible representations of Spin(1, 3)
give a notion of elementary particle fields over the semi-Riemannian spacetime
X.
In any of the above situations, we may take G to be represented trivially
on V . Then the associated vector bundle is a trivial vector bundle (not just
trivializable). Its sections are scalar fields, which are now just functions since
only one global trivialization is usable. In physics, one might refer to scalar
fields as “spin-0” fields, and talk about “spinless particle” wavefunctions. So
(relativistic) frame rotation has no effect on the values/components of a scalar
field at all.
Indeed, Schrödinger’s quantum wavefunction theory (∼1926) was formu-
lated before it was established that electrons have “spin angular momentum”.
So it described “spinless electrons” — such Schrödinger operators abound in
physics models when electron spin effects can be ignored.
Later on, the geometric understanding of spin improved, triggered in part
by Dirac’s equation for the spin-ful electron field and its consistent but strange-
looking transformation behaviour under (relativistic) rotations. Over time, it
became appreciated that general quantum wavefunctions were not really scalar
fields/functions but sections of vector bundles associated to certain non-trivial
spin-representations. Then it becomes mandatory to introduce connections,
or more precisely, the induced covariant differentiation on the quantum wave-
sections.
129
13 Parallel transport and covariant differenti-
ation
13.1 Parallel transport of frames
Definition 48. Let P be a principal G-bundle over X with a connection ω.
Let γ : [0, 1] → X be a curve in X. A curve γ̃ : [0, 1] → P is a horizontal lift
of γ if π ◦ γ̃ = γ and its velocity vectors γ̃ ′ (t) are horizontal for all t ∈ [0, 1].
Note: At an end point, the velocity vector is defined by the one-sided deriva-
tive.
130
For convenience, we write β : t 7→ ω((s ◦ γ)′ (t)), which is a fixed curve in
g = Te G. The above vanishing condition now reads
which is an ODE for the function g : [0, 1] → G with initial condition g(0) = e.
To solve this ODE, we define a vector field v on G × [0, 1] by
∂
v(h,t) = − (Rh )∗ (β(t)), .
∂t′ t′ =t
Remark. Why is lifting a curve γ in X harder than lifting a vector field? Could
we not take the velocity vectors along γ, extend it arbitrary to a vector field
on X, then use the horizontally lifted vector field on P ? The issue is whether
we can integrate the resulting vector field into a curve γ̃p above all of γ. This
is what we had to prove above.
Theorem 13.1 allows us to make the following definition:
131
to ω is the map
Proof. Exercise.
Exercise 13.1. Show that τγ ≡ τγω has the following properties:
For the flipped path γflip : t 7→ γ(1 − t), the parallel transport satisfies
τγflip = τγ−1 .
132
Proof. Let p ∈ P be given. Write q = F (p) = p · σF (p), and let γ̃p be the
ω-horizontal lift of γ starting at q. Our candidate (F ∗ ω)-horizontal lift is
Γ = F −1 ◦ γ̃q .
where the last equality follows from γ̃q being ω-horizontal. The initial point
of Γ is
Γ(0) = γ̃q (0) · σF−1 (γ̃q (0)) = p · σF (p) · σF−1 (p · F (p)) = p.
| {z }
−1
σF (p)
Thus
∗
τγF ω (p) = Γ(1) = F −1 ◦ γ̃q (1) = F −1 ◦ τγω ◦ F (p).
Thus, the holonomy map gets conjugated by g −1 when we adjust the fibre
basepoint by g.
Next, consider loops as maps γ : S 1 → X without a preferred basepoint.
The holonomy around the loop will depend on the choice of start/end point
133
for the loop (as well as the initial fibre point above it). But the ambiguity is
just a conjugation by the parallel transport along the part of the loop joining
the two choices of start/end points. So, up to conjugacy, the holonomy of ω
around a loop γ is well-defined without reference to basepoints.
Definition 50. Fix a point p ∈ Px . Given a connection ω, its holonomy group
at p is defined as
It follows from Exercise 13.1 that Holp (ω) is indeed a group, and it is easy
to see that
Holp·g (ω) = g −1 Holp (ω)g, g ∈ G.
Prop. 13.3 shows that the conjugacy class of the holonomy along a loop
is invariant under gauge transformations of the connection. To utilize this,
we pass to a representation ρ : G → GL(n), then we can take the trace of
ρ(gγ (p)) to get a gauge-invariant of the loop γ (any fibre point p above any
loop point x can be used). Such a quantity is called a Wilson loop in physics,
and sometimes simply called “the holonomy”. Note that if G is abelian, then
the conjugations are trivial, and the holonomy itself (not just the conjugacy
class) is gauge-invariant.
[p′ , ξ ′ ] = [p · g, g −1 ξ]
134
for some g ∈ G. Then
Prop. 13.2
[τγω (p′ ), ξ ′ ] = [τγω (p · g), g −1 · ξ] = [τγω (p) · g, g −1 · ξ] = [τγω (p), ξ].
Basically, once we know how to parallel transport the frames, then the com-
ponents ξ just go along for the “parallel ride”.
Notice that τγE,ω provides a linear identification of the initial fibre Eγ(0)
with the final fibre Eγ(1) . Now we are finally ready to differentiate sections
of E. Let vx ∈ Tx X be a tangent vector to the base manifold at some point
x ∈ X. Let γ : (−ϵ, ϵ) → X be any curve such that γ(0) = x and γ ′ (0) = vx .
For t ∈ (−ϵ, ϵ), we write γt for the curve γ restricted to the time interval [0, t].
d
∇ωvx ψ := (τγE,ω
t
)−1 (ψ(γ(t))) ∈ Ex , (13.2)
dt t=0
In words: we parallel transport all the ψ(γ(t)) back to the same fibre Ex ,
then take the usual t-derivative. The key feature of the covariant derivative
is its manifest gauge-independence — we do not have to pick any gauge to
convert the section ψ into a V -valued function.
Let us check that Definition 52 only depends on the velocity vector vx , not
the choice of representative curve γ. Pick any local gauge s : U → P , and
write
ψ(x′ ) = [s(x′ ), ξ(x′ )], x′ ∈ U,
for some function ξ : U → F representing ψ. The local gauge gives a reference
curve s ◦ γ in P , which can be parallel transported to a curve r in the initial
fibre Px ,
r(t) := (τγωt )−1 ((s ◦ γ)(t)) ∈ Px .
The curve r has the form r(t) = s(x) · g(t) for a unique curve g ≡ g(t) in G
135
satisfying g(0) = e. With ψ locally represented as [s, ξ], we rewrite
(τγE,ω
t
)−1 (ψ(γ(t))) = (τγE,ω
t
)−1 [(s ◦ γ)(t), ξ(γ(t))]
= (τγE,ω
t
)−1 [τγωt (r(t)), ξ(γ(t))]
= [r(t), ξ(γ(t))] (Defn. 51)
= [s(x) · g(t), ξ(γ(t))]
= [s(x), ρ(g(t)) · ξ(γ(t))],
(Here, for the V -valued function ξ, the directional derivative dξx (vx ) is ob-
tained as dξ(γ(t))
dt
|t=0 with γ a curve representing vx .)
We now calculate
horizontal
z }| {
connection d d
g ′ (0) ω((s(x) · g)′ (0)) = ω ω
= τ
dt t=0 t γ (s(x)) + (s(x) · g(t))
dt t=0
d ω
=ω τ (s(x)) · g(t)
dt t=0 γt
d ω
=ω τ (s(x) · g(t))
dt t=0 γt
= ω((s ◦ γ)′ (0))
= s∗ ω(vx ).
136
because the dependence on vx is smooth. Thus each vector field v ∈ X(X)
determines a map of sections of E,
For the first term in Eq. (13.4), dξ is a V -valued 1-form, so dξ(v) is the
ordinary directional derivative of the V -valued function ξ along v. The local
gauge potential appears as an extra second term s∗ ω(v) acting linearly on ξ.
Finally, it is customary to consider v ∈ X(X) itself as an input variable for
the covariant derivative:
∇ω is K-linear in ψ;
Proof. Exercise.
Note: When K = C, the tangent vector field v is a derivation of the function
algebra C ∞ (X, K) in the same way as in the K = R case).
137
From covariant derivative to parallel transport. Sometimes, one begins
with a vector bundle E → X, and defines a covariant derivative on E to be a
map ∇ : Γ(E) → Ω1 (X, E) satisfying the algebraic properties listed in Prop.
13.5. Such a ∇ axiomatically allows differentiation of sections in a gauge-
independent way. The notion of path-lifting, parallel transport, and holonomy
also follows from such a starting point.
However, the information of the structure group G ⊂ GL(n) (e.g. due to a
bundle metric) is not yet involved. If we want the parallel transport/covariant
differentiation to preserve this extra structure, then extra conditions must be
imposed on ∇. Some examples are discussed in Section 13.6-13.7.
Suppose the local gauge is defined on a coordinate chart U (restrict the domain
otherwise). Then we could choose v = ∂i to be a local coordinate vector field,
and obtain
∇ωi ea := ∇ω∂i ea = [s, (dρ)e (s∗ ω(∂i )) · ηa ]
Recall the physicists’ notation for the local gauge potential s∗ ω = Aj dxj ,
where Aj = s∗ ω(∂j ) is a g-valued function over U . To simplify notation, one
suppresses the Lie algebra representation dρe on V , so
rank
XE
∇ωj ea = [s, Aj · ηa ] = [s, Ab
ja ηb ] = Abja eb
b=1
138
In the last line, one pretends that ψ is a V -valued function (ψ 1 , . . . , ψ rank E ) on
which the matrix Aj = Abja acts. Finally, reference to ω and the local frame
{e1 , . . . , erank E } is usually suppressed, and there is usually an i discrepancy
between physicists’ and mathematicians’ matrix Lie algebra conventions, so
−i∇j = −i∂j − Aj
Now generalize the representation to ρ(q) : U(1) → U(1), eiφ 7→ eiqφ , where
(q)
q must be some integer, called the (electric) charge. Then dρe = q · 1C , and
we will arrive at the formula
“ ∇j ψ = (∂j − iqAj )ψ ”.
Note that if U(1) is replaced by the noncompact Lie group (R, +), which
has the same Lie algebra as U(1), then ρq : R → U(1), λ 7→ eiqλ , could be used
as a unitary representation of the Lie group, whether or not q is integral. So
it is actually important to specify the Lie group and its representation, and
not just the Lie algebra.
We now understand that ψ is actually a section of a line bundle. The
∂j −iqAj is just a particular local-gauge-dependent way of writing the covariant
derivative of sections.
The local gauge potential A = (A1 , A2 , A3 ) is also called a magnetic vector
potential. That is, after using the Riemannian metric to convert A to a local
vector field, the curl of A is the magnetic vector field that we are familiar with.
Actually, in three spatial dimensions, the magnetic field is better understood
as a differential 2-form F using Hodge duality (induced by the Riemannian
metric). Then the relationship between the vector potential and the magnetic
field is simply dA = F, and we have seen that the latter is independent of
gauge because G = U(1) is abelian.
139
Classically, A, or even the gauge-independent connection ω, is not de-
tectable. This is because it is genuinely a redundant mathematical device for
efficiently solving Maxwell’s equations for the classical electromagnetic fields.
However, we learned from the Aharonov–Bohm effect that A (or ω) does mea-
surably affect the quantum mechanical evolution of a quantum wave-section.
This is because ω is playing a fundamental role in the Schrödinger equation
of motion, by specifying what it means to take derivatives. Nevertheless, only
the gauge-invariant holonomy of ω is actually measured, in accordance with
the gauge principle.
F ∇ (u, v)ψ = [s, dρe (s∗ Ω(u, v))(ξ)], u, v ∈ X(X), ψ ∈ Γ(E). (13.5)
140
The same is true for Hermitian vector bundles, with a metric connection
being a connection on FrU (E). In this case, the terminology unitary connection
is often adopted.
v(⟨ψ, φ⟩E ) = ⟨∇ωv ψ, φ⟩E + ⟨ψ, ∇ωv φ⟩E , ψ, φ ∈ Γ(E), v ∈ X(X). (13.6)
⟨∇ωv ψ, φ⟩E + ⟨ψ, ∇ωv φ⟩E = ⟨dξ(v) + s∗ ω(v) · ξ, ζ⟩Kn + ⟨ξ, dζ(v) + s∗ ω(v) · ζ⟩Kn .
141
for overusing the symbol g). Suppressing the reference to ω, Eq. (13.6) for a
metric connection on T X becomes the condition
u(g(v, w)) = g(∇u v, w) + g(v, ∇u w), u, v, w ∈ X(X). (13.7)
Furthermore, it makes sense to ask for an extra torison-free condition,
∇u v − ∇v u − [u, v] = 0, u, v ∈ X(X). (13.8)
A fundamental result in Riemannian geometry states that there is a unique
covariant derivative on T X, called the Levi–Civita connection ∇LC , which is
metric compatible and torsion-free, i.e., Eq. (13.7)-(13.8) are satisfied. You
may find a proof in any Riemannian geometry textbook. The covariant deriva-
tive on a Riemannian manifold (X, g) means ∇LC , unless otherwise stated.
It can be checked that the above ∇ is the Levi–Civita connection for X (Ex-
ercise).
142
13.7.2 Levi–Civita connection on orthonormal frame bundle
The Levi–Civita ∇LC can be viewed as the covariant derivative on T X obtained
from some connection ω LC on the orthonormal frame bundle FrO (X).
Let us work in a local orthonormal frame field e = {ei }i=1,...,n over U ⊂ X.
Thus e is a local section of FrO (X) over U . (In the physics literature, e is called
a tetrad or vielbein, sometimes written eiµ ∂µ ). So each ei is a normalized local
section of T X, and its covariant derivative along any v ∈ X(X) admits an
expansion
Xn
LC
∇v ei = ωij (v)ej ,
j=1
0 = v(g(ei , ej )) = g(∇LC LC
v ei , ej ) + g(ei , ∇v ej )
| {z }
δij
Thus the local 1-forms ωij are antisymmetric in the indices i, j. In fact, re-
calling that so(n) are the antisymmetric matrices, these ωij are the matrix
entries of the local gauge potential e∗ ω LC ∈ Ω1 (U, so(n)), with respect to the
local orthonormal frame field e. For historical reasons, ωij is sometimes called
the “spin connection”, but we shall reserve this terminology for a more precise
object later on.
143
with initial tangent vector being ek,x . Because the ei,x′ are parallel transported
from x along such radial curves, we have
∇LC LC
ek ei (x) = ∇ek,x ei = 0, ∀i, k = 1, . . . , n.
by the parallel transport definition of ∇LC , Eq. (13.2). Then ∇LC ei = 0 holds
at x.
Remark. Note that the vanishing of ∇LC ei is only guaranteed at x, not at any
other point x′ ∈ U . Furthermore, the frame field e will not generally comprise
coordinate tangent vector fields for any choice of coordinates on U . Rather, e
is a convenient device for certain calculations that we will do later.
144
in Floquet–Bloch theory in solid-state physics. An important subtlety, how-
ever, is that there is no canonical trivialization on the ambient Hilbert space
bundle, and therefore no canonical “Berry connection” on an eigen-subbundle.
Rather, there is a family of Berry connections, parametrized by choices of ori-
gin (implicit in defining the Floquet–Bloch transform), as explained in the
note [arXiv:1706.01149]. Therefore, certain apparently gauge-invariant quan-
tities of a single “Berry connection”, e.g. holonomy/geometric phase, may not
actually be physical. More precisely, such quantities usually only make sense
relative to some origin (e.g. polarizations).
145
14 Clifford algebras
Motivation. The Laplace P operator on C-valued functions on Rn is ∆ =
P n 2 n
j=1 (−i∂j ) . The operator j=1 −i∂j looks like a first-order square root of
∆, but we quickly find that we cannot get rid of the mixed derivatives ∂j ∂k .
Classical differential equations did not provide demand for such a square
root. In relativistic quantum theory, a wave equation needs to be first-order in
both time and space coordinates. In 1928, Dirac proposed a completely new
class of differential operators to address this difficulty. His original construc-
tion involved C4 -valued “spinors” rather than ordinary functions.
The basic idea is already apparent from the Dirac operator on Euclidean
2
R , which can be written as
0 ∂x − i∂y 0 ∂
D = −i ≡ −i ¯ , (14.1)
∂x + i∂y 0 ∂ 0
and does satisfy D2 = ∆⊗12 . By using a matrix version of partial derivatives,
we have made the mixed partial derivatives disappear.
More invariantly, the ei,x = ∂i |x are orthonormal basis vectors for the
tangent spaces Tx X at each x (inner product from Riemannian metric). We
simply imposed the formal algebraic condition
ei,x ej,x = −ej,x ei,x , (14.2)
turning Tx X into a noncommutative algebra.
If one only ever works in flat Euclidean space, then this sort of algebraic
construction is more or less sufficient. Under the influence of general relativity,
in the late 1920s to early 1930s, physicists and mathematicians debated on
how to make sense of spinors and Dirac operators on curved spaces. The
problem, even locally, is very subtle, particularly the correct notion of parallel
transport/covariant derivative of spinor fields, as compared to ordinary vector
fields. Furthermore, global well-definedness of spinors is not automatic. We
will eventually learn about the intrinsic geometric meaning of spinors and
Dirac operators, using the differential geometric tools introduced earlier. But
before that, we must first become familiar with the pointwise, algebraic story,
which is already not trivial.
146
A (unital) K-algebra is a K-vector space A with an extra bilinear asso-
ciative product A × A → A (and a unit element 1A for the product).
So, for a, b, c ∈ A and λ ∈ K, we have e.g.,
a ∈ A , b ∈ I ⇒ ab ∈ I.
q(λv) = λ2 q(v), λ ∈ K, v ∈ V,
Λ(V ) := T (V )/I0 .
147
Note that u ⊗ v + v ⊗ u = (u + v) ⊗ (u + v) − u ⊗ u − v ⊗ v, so symmetric
2-tensors will automatically vanish in Λ(V ). A little thought shows that
the grading on T (V ) (given by the number of tensor factors) remains
well-defined on Λ(V ), i.e.,
∞
M
Λ(V ) = Λk (V )
k=0
ω ∧ η ∈ Λk+l (V ), ω ∧ η = (−1)kl η ∧ ω.
148
Proposition 14.1. Cl(V, q) is the unique K-algebra with the property: given
a linear map f : V → A into an associative K-algebra A satisfying f (v)2 =
−q(v)1A for all v ∈ V , there exists a unique extension of f to an algebra
homomorphism, fˆ : Cl(V, q) → A . Diagrammatically:
ιV
V Cl(V, q)
∃! fˆ
.
f
A
F : T (V ) → A , v1 ⊗ · · · ⊗ vn 7→ f (v1 ) ⊗ · · · ⊗ f (vn ).
fˆ : T (V )/Jq ≡ Cl(V, q) → A ,
149
14.2.1 Clifford superalgebra
Beware that the Z-grading no longer makes sense on Cl(V, q). For example, the
2-tensor v ⊗ v and the 0-tensor −q(v) represent the same element vv = −q(v)
in the Clifford algebra. Nevertheless, Cl(V, q) does retain an important Z2 -
grading, as we now explain.
Proposition 14.1 applies, in particular, to the inversion map α : v 7→ −v.
The induced parity automorphism of Cl(V, q), again denoted α, satisfies α2 =
id. So we have a linear splitting
Cl(V, q) = Cl0 (V, q) ⊕ Cl1 (V, q),
according to the +1 (“even parity”) or −1 (“odd parity”) eigenspace of α.
Since α is a homomorphism, it follows that
Cli (V, q) · Clj (V, q) ⊂ Cli+j mod 2 (V, q).
This exhibits Cl(V, q) as a Z2 -graded algebra, or superalgebra. We often require
Cl(V, q) to be represented as linear operators on vector space W , such that:
W = W 0 ⊕ W 1 is Z2 -graded;
Cl0 (V, q) acts as grading-preserving (“even”/“diagonal”) operators, while
Cl1 (V, q) acts as grading-reversing (“odd”/“off-diagonal”) operators.
150
Multi-index notation: I denotes a sequence of indices 1 ≤ i1 < . . . < ik ≤
n with length |I| = k, and
eI := ei1 . . . eik ∈ Cl(V, q), e∅ = 1.
Proposition 14.2. Cl(V, q) has dimension nk=0 nk = 2n , with a basis given
P
by eI where I runs over all multi-indices. Each of Cl0 (V, q) and Cl1 (V, q) has
dimension 2n−1 , except for the case n = 0, where Cl(V, q) = Cl0 (V, q) = K.
Proof. Exercise.
Remark. Using Prop. 14.2, we deduce that there is a linear identification
Cl(V, q) → Λ• (V ), by converting eI into ei1 ∧ . . . ∧ eik . However, this is not an
algebra isomorphism, since e.g., e1 e1 = −q(e1 ) = −1 whereas e1 ∧ e1 = 0.
Exercise 14.1. Let η ∈ Cl0 (V, q), so
X
η= η I eI ,
|I| even
with respect to some orthonormal basis {e1 , . . . , en } of (V, q). Check that the
“vacuum coefficient” η ∅ does not depend on the choice of orthonormal basis.
14.2.3 Complexification
The complex field C can also be viewed as a real 2-dimensional vector space.
Given a real vector space V , the process of extending scalar multiplication
from λ ∈ R to λ ∈ C is called complexification, and is formally written
V C = V ⊗R C.
On the above tensor product of R-vector spaces, we can scalar multiply by
complex numbers,
(vλ ⊗ µ)ν = (v ⊗ λµ)ν = v ⊗ λµν, v ∈ V, λ ∈ R, µ, ν ∈ C,
so we have produced a C-vector space. We will just write v ⊗ µ ≡ vµ.
Given a real quadratic space (V, q), the quadratic form extends to a quadratic
form q C on V C , by taking q C (vµ) = q(v)µ2 ∈ C. So (V C , q C ) is a com-
plex quadratic space. Similarly, the Clifford algebra can be complexified,
Cl(V, q) ⊗R C, with the algebra product extended complex bilinearly, e.g.,
(u ⊗ µ)(v ⊗ ν) = uv ⊗ µν.
151
It may be shown, using Prop. 14.1, that there is a C-algebra isomorphism
Cl(V C , q C ) ∼
= Cl(V, q) ⊗R C
(uµ)(vν) ↔ (uv) ⊗ µν, u, v ∈ V, µ, ν ∈ C.
Cl1 . A linear basis for Cl1 is {1, e1 }, where e21 = −1. That is, e1 is a square
root of −1. So Cl1 ∼
= C regarded as an R-algebra. Wecould represent this on
0 −1
the Z2 -graded vector space R ⊕ R, with e1 = .
1 0
Cl2 . A linear basis for Cl2 is {1, e1 e2 , e1 , e2 }, where e1 , e2 are odd, anticom-
muting square roots of −1. The even element e1 e2 is also a square root of
−1, anticommuting with e1 and e2 . So Cl2 is isomorphic to the quaternions
H = spanR {1, I, J, K} as R-algebras.
Exercise 14.2. Show that there is an (ungraded) algebra isomorphism Cln+1 0 ∼
=
n+1
Cln . For instance, if {ei }i=1,...,n+1 is an orthonormal basis for R , consider
the map
f : Rn → Cln+1 0
, ei 7→ en+1 ei , i = 1, . . . , n.
152
Volume/chirality element. Suppose Rn is oriented, and let {e1 , . . . , en }
be a positively-oriented orthonormal basis. The volume/chirality element of
Cln is
n+1
ω C := i⌊ 2 ⌋ e1 · · · en .
Exercise 14.3. Check that the chirality element ω C has the following properties:
It is independent of the choice of oriented orthonormal basis.
(ω C )2 = 1.
154
15 Spin groups and representations
15.1 Spin groups
Let Cln× denote the multiplicative group of invertible elements in Cln . This
contains, in particular, all the nonzero vectors, since
v
v· = 1, v ∈ Rn \ {0}.
−q(v)
Definition 56. The twisted adjoint representation of the group Cln× on Cln is
f : Cl× → GL(Cln )
Ad n
y 7→ Ad
f y, f y (·) := α(y)(·)y −1 ,
Ad
yv + vy = −2⟨y|v⟩, v ∈ Rn ⊂ Cln .
Then
f y (v) = yv(y −1 (−||y||2 )) = yvy
||y||2 Ad
= y(−yv − 2⟨y|v⟩) = ||y||2 v − 2⟨y|v⟩y.
In Lemma 15.1, scaling y by any non-zero number leads to the same re-
flection. Also, a classical result of Cartan–Dieudonné says that any element of
O(n) is a product of reflections-through-hyperplanes. These lead us to consider
the following subgroups of Cln× .
155
Definition 57. The (S)pin group is the subgroup of Cln× generated by the
unit vectors in Rn ,
f : Pin(n) → O(n)
Ad
y1 · · · yk 7→ Ad
f y · · · Ad
1
fy .
k
f : Spin(n) → SO(n)
χ = Ad
y1 · · · y2k 7→ Ad
f y · · · Ad
1
fy
2k
= Ady1 y2 · · · Ady2k−1 y2k .
Proposition 15.2. For n ≥ 1, there are short exact sequences of Lie groups
χ=Ad
f
0 → {±1} → Spin(n) → SO(n) → 0,
Ad
f
0 → {±1} → Pin(n) → O(n) → 0.
Let {ei }i=1,...,n be the standard orthonormal basis for Rn . Then φ0 can be
expanded as a sum of products of even numbers of the ei . Whenever e1 appears
in one of these products, it can be successively moved to the front of the
product, at the expense of introducing signs and/or lowering the degree by 2
(if e1 appears twice). So φ0 = a0 + e1 a1 for some even-parity a0 and some
odd-parity a1 , neither of which contains any e1 factor. Putting φ0 = a0 + e1 a1
and v = e1 into Eq. (15.1) gives
e1 a0 + e21 a1 = e1 φ0 = φ0 e1 = a0 e1 + e1 a1 e1 = e1 a0 − e21 a1 ⇒ a1 = 0.
156
Therefore φ0 = a0 and does not contain any e1 term. Inductively, we deduce
that φ0 does not contain e2 , . . . , en , and is simply a scalar. A similar argument
shows that φ1 does not contain any e1 , . . . , en term, so φ1 = 0.
Therefore, φ can only be a scalar, which we know is obtained as a product of
unit vectors, φ = y1 · · · yk . Now, there is a transposition map (·)t : Cln → Cln ,
given by reversing the order of products — this is well-defined because the ideal
Jq is preserved under reversal of tensor product order. So consider
157
Spin(2). It is not hard to deduce the parametrization by a circle coordinate,
Spin(3). This group is contained in Cl30 . Recall from Exercise 14.2 that
Cl30 can be identified with the Clifford algebra on two generators, e3 e1 , e3 e2 .
Specifically,
Cl30 = spanR {1, e1 e2 , e3 e1 , e3 e2 }. (15.4)
|{z} |{z} |{z} |{z}
∼
=Cl2 ∼
=H I J K
158
So they are identified with products of unit quaternions, i.e. Sp(1) elements.
Therefore, the identification Cl30 ∼
= Cl2 restricts to an injective homomorphism
Spin(3) ,→ Sp(1) of Lie groups. Since Sp(1) comprises the unit quaternions
in H1 ∼ = R4 , it is S 3 as a manifold, thus a connected Lie group of the same
dimension as Spin(3). It may then be shown from general Lie theory that
Spin(3) ∼ = Sp(1) (Exercise).
It is also useful to regard H1 as C2 , via (a + bI + cJ + dK) ↔ a−ib ≡ wz ,
c+id
with right-multiplication by −I corresponding to complex scalar multiplication
by i. Then left multiplication by a Cl30 ∼ = H algebra element (a + bI + cJ + dK)
is represented by the complex 2 × 2 matrix
a − ib −c + id w −z̄
≡ . (15.5)
c + id a + ib z w̄
Taking q 7→ q̄ corresponds to taking Hermitian conjugate; unit quaternions
correspond to SU(2) matrices. We obtain a further accidental isomorphism
Spin(3) ∼
= Sp(1) ∼
= SU(2).
159
For example, e1 e2 corresponds to the matrix
0 −1 0 ··· 0
1 0
0 · · · 0
0 0
E12 = 0 · · · 0
.. .. .. . . . ..
. . . .
0 ··· ··· ··· 0
iℏ
Up to a factor of 2
, these are the spin matrices Σx , Σy , Σz used in physics.
161
We state a few representation-theoretic results without proof (they are not
particularly difficult.) First, any finite-dimensional representation of Mm (C)
or Mm (C) ⊕ Mm (C) is completely reducible, in the sense of splitting into a
direct sum of irreducible ones.
Next, a matrix algebra Mm (C) has very simple representation theory: up
to equivalence, its only irreducible representation (over C) is the defining one
on Cm . As for Mm (C) ⊕ Mm (C), it has two inequivalent irreducible represen-
tations: the representation space is Cm as before, except that one of the two
factors of Mm (C) acts as 0. So Cln has a unique irreducible representation
for n even, and two inequivalent irreducible representations for n odd. In the
latter case, how should we distinguish the two possibilities?
162
Cln0 ∼
= Cln−1 can be implemented by taking, say, ẽi = en ei , i = 1, . . . , n − 1.
Then the chirality element for Cln0 ∼
= Cln−1 would be
C
ωn−1 ∼ ẽ1 · · · ẽn−1 ∼ (en e1 ) · · · (en en−1 ) ∼ (e1 · · · en−1 en )enn−2 ∼ e1 · · · en ∼ ωnC ,
where we have ignored various factors of i(·) . So, up to a possible sign, the
action of ωn−1
C
∈ Cln0 on S ± is precisely the action of ωnC on S ± , which is just
a sign ±1 by definition. As n − 1 is odd, we know from the previous case that
this sign determines which irreducible Cln−1 ∼ = Cln0 we are in.
Example 15.4. For Cl2 ∼
= M2 (C) take S = C2 , and
0 −i 0 −1 C 1 0
e1 = , e2 = , ω = ie1 e2 = .
−i 0 1 0 0 −1
So S = S + ⊕ S − = C ⊕ C.
Proof. Odd n. The parity automorphism α preserves Cln0 , but swaps Cln+
with Cln− , as we saw in Eq. (14.5). Thus Cln0 is the “diagonal” subalgebra,
If we choose the irreducible representation of Cln for which Cln± acts non-
trivially, we obtain a representation ρ± of Cln0 , and the latter is irreducible.
163
Observe that ρ+ and ρ− are equivalent representations of Cln0 , with α imple-
menting the equivalence. In particular, their restrictions to Spin(n) ⊂ Cln0
are equivalent, so we simply write δn for either one. We observe that Spin(n)
contains a linear basis {eI }|I| even for Cln0 , so δn is also irreducible.
Even n. We saw from Prop. 15.5 that S splits into S + ⊕ S − , and that
Cln0 acts within S + or S − separately. These two options provide inequivalent
irreducible representations of Cln0 , therefore we also get inequivalent represen-
tations δ ± of Spin(n) ⊂ Cln0 on S ± .
Example 15.5. We have Spin(1) = {±1} ⊂ Cl10 = C. The spin representation
on S ± = C is the sign representation.
Example 15.6. Recall Example 15.4. The elements cos(θ) + sin(θ)e1 e2 of
Spin(2) are represented on S ± ∼ = C by the operator of multiplication by
cos(θ) ∓ i sin(θ) = e∓iθ . So Spin(2) is represented as U(S ± ) = U(1) in two
inequivalent ways. This makes clear that we should not be too sloppy about
identifying Spin(2) and U(1).
Example 15.7. In Example 15.3, we described the irreducible representations
of Cl3 on S ± ∼
= C2 , with e1 , e2 , e3 represented as in Eq. (15.7). Because the
volume/chirality element is ω C = −e1 e2 e3 is represented as ±12 , we actually
also have
e2 e3 = ±e1 , e3 e1 = ±e2 , e1 e2 = ±e3 (15.8)
in this representation space. So Cl30 is represented on S ± by the same ma-
trices found in Eq. (15.6). In particular, we obtain the spin representation of
Spin(3) ⊂ Cl30 on S ± as the SU(2) matrices found in Eq. (15.5).
Remark. In quantum mechanics in three spatial dimensions, it is usual to
present the notion of spin as directly coming from the matrix Lie group SU(2),
acting on “spinors” in C2 . Actually, the relevant Lie group is, a priori, Spin(3)
equipped with a double-covering map onto SO(3). The isomorphism Spin(3) ∼ =
SU(2) is accidental.
Remark. The Clifford-algebraic adjoint/conjugation representation
f : Spin(3) → SO(R3 )
χ = Ad
164
Because of Eq. (15.8), we have coincidentally also computed the Lie-theoretic
adjoint representation
Ad : Spin(3) → GL(spin(3)).
| {z } | {z }
SU(2) su(2)
165
Remark (Physics notation). If e1 , . . . en is an oriented orthonormal basis for
Rn , then the representative matrices γi := ρ(ei ) are called Dirac or gamma
matrices. So an n-tuple (y 1 , . . . , y n ) corresponds to a linear combination y i γi
of gamma matrices. Physicists usually think of χ(g) ∼ R as an SO(n) rotation
matrix (or SO(3, 1) Lorentz) matrix Rj i , and write the equality Eq. (15.9) as
a “transformation law” for gamma matrices,
Typically, the indices on γi are also raised by the bilinear form q (often a
Lorentz metric with mixed signature − + ++), and one writes {Γi , Γj } = 2g ij
for the (Clifford) anticommutation relations. Here, there is usually another
sign discrepency for the square of Γi .
Because of Eq. (15.10), the gamma matrices are sometimes said to “trans-
form as a tangent (four-)vector”. Later, we will uncover the geometric meaning
of the gamma matrices more clearly (Remark 5).
166
16 Spinor geometry
16.1 Spin structures and spin connection
Recall the double-covering homomorphism, χ : Spin(n) → SO(n), n ≥ 1.
For a Riemannian manifold, we would like to upgrade this pointwise “frame
doubling” to a “principal frame bundle doubling”.
Some remarks:
167
Example 16.1. In Section 7, we constructed a spin structure on the round
2-sphere S 2 .
Example 16.2. On S 1 , we have FrSO (S 1 ) = S 1 × {1}. There are two possible
spin structures: FrSpin (S 1 ) is either disconnected, S 1 ×Z2 , or it is the connected
double cover of S 1 (cf. S(LR )). These spin structures are respectively called
Neveu–Schwarz and Ramond, in the theoretical physics literature.
ω Spin := χ−1 ∗ LC
∗ ◦F ω .
Thus
(F ∗ ω LC )p (u♯p ) = ωFLC(p) (dFp (u♯p )) = ωFLC(p) ((χ∗ u)♯F (p) ) = χ∗ u,
168
and applying χ−1
∗ gives Eq. (16.1).
Next, we check the equivariance condition, Eq. (11.4), for ω Spin . For any
g ∈ Spin(n),
Rg∗ (χ−1 ∗ LC
∗ ◦F ω ) = χ−1 ∗
∗ ◦ (F ◦ Rg ) (ω
LC
)
= χ−1 ∗
∗ ◦ (Rχ(g) ◦ F ) (ω
LC
)
= χ−1 ∗
∗ ◦ F (Rχ(g) (ω
LC
))
= χ−1 ∗
∗ ◦ F (Adχ(g)−1 (ω
LC
))
= χ−1 ∗ LC
∗ ◦ Adχ(g)−1 (F ω )
Prop. 10.7
= Adg−1 ◦ χ−1 ∗ LC
∗ (F ω ),
Now let ẽ be either one of the local “spin frames” which lifts e. (Here, we
work over a small enough part of X such that the lift exists.) Then the local
gauge potential for ω Spin will be
Recalling the formula for χ∗ from Prop. 15.4, this means that the spin con-
nection has the local expression
n
∗ Spin 1X
ẽ (ω )= ωij ei ej . (16.4)
4 i,j=1
1
The extra factor of 2
in Eq. (16.4), compared to Eq. (16.2), is very important.
169
16.2 Example: spin structure and connection on S 2
In Section 7.3, we had constructed
π̄ : S 3 → S 2 , (w, z) 7→ (2w̄z, |w|2 − |z|2 ),
as a principal U(1)-bundle with right U(1)-action,
(w, z) · exp iθ = (weiθ , zeiθ ).
Let
iθ cos(2θ) sin(2θ)
ϕ : U(1) → SO(2), e 7→ .
− sin(2θ) cos(2θ)
Then the map F : S 3 → FrSO (S 2 ), Eq. (7.2), was shown to be a ϕ-reduction
of FrSO (S 2 ) to the U(1)-principal bundle S 3 .
Now recall the spin double covering map, Eq. (15.3),
cos(2θ) − sin(2θ)
χ : Spin(2) → SO(2), cos θ + sin θe1 e2 7→ .
| {z } sin(2θ) cos(2θ)
exp(θe1 e2 )
170
since π̄ ◦ ẽ(ϑ, φ) = (ϑ, φ) is easily verified. The local gauge potential for ω can
be computed to be
e1 e2
ẽ∗ ω = cos ϑ dφ.
2
Now, it may be checked that F ◦ẽ = e, where e is the following orthonormal
tangent frame field,
cos ϑ cos φ − sin φ sin ϑ cos φ
e : (ϑ, φ) 7→ cos ϑ sin φ cos φ sin ϑ sin φ ∈ SO(3).
− sin ϑ 0 cos ϑ
We recall that the last column of the above SO(3) matrix gives the carte-
sian coordinates (of (ϑ, φ) ∈ S 2 ), while the first two columns constitute the
orthonormal frame at that point. So e = {e1 , e2 } at (ϑ, φ) is
So in the lifted spin frame ẽ, the spin connection has local expression
Eq. (16.4) 1 e1 e2
ẽ(ω Spin ) = LC
(e1 e2 ω12 LC
+ e2 e1 ω21 )= cos ϑ dφ,
4 2
which is the same as ẽ∗ ω found above.
To summarize: The spin frame bundle for S 2 with spin connection can
be identified with the magnetic monopole U(1)-bundle.
171
Definition 61. Let X be a spin manifold. The spinor bundle S over X is the
associated Hermitian vector bundle
TX ∼
= FrSO (X) ×ρstd Rn ,
S∼= FrSpin (X) ×δ S, n
µ : T X ⊗ S → S,
172
Proposition 16.2. Clifford multiplication is well-defined. For even dimen-
sional X, the spinor bundle splits canonically into an orthogonal direct sum
S = S + ⊕ S − , according to the induced Clifford action of the chirality element
ω C . Furthermore, Clifford multiplication by T X is odd in the sense of mapping
S ± to S ∓ .
Proof. For any g ∈ Spin(n), we could have changed the tangent frame and
spin frame,
which is the same as what we had in the original frames, Eq. (16.5).
The proofs of the remaining statements are left as an exercise.
Globally, we may think of Clifford multiplication as defining an action of a
tangent vector field v ∈ X(X) = Γ(T X) on spinor fields ψ ∈ Γ(S). Recall that
at the beginning of Section 14, we had motivated Clifford algebras because we
wanted to promote tangent vectors to “matrix-derivatives”. Later on, we will
complete this process by providing the (covariant) derivative aspect.
Remark 5 (Local picture of Clifford multiplication). Let e = {e1 , . . . , en } :
U → FrSO (X) be a local oriented orthonormal frame field, and ẽ be a lift
to a local spin frame field. Then v is given locally by [e, v] where v is some
Rn -valued function over U . Similarly, ψ is locally given by [±ẽ, ±ξ] where ξ is
⌊n⌋
a C2 2 -valued function over U . Then Clifford multiplication (Definition 62)
is locally implemented as
In particular, take v(x) = ei for all x ∈ U , so that [e, ei ] is the i-th vector
field ei of the orthonormal frame field. Clifford multiplication by ei effects
173
ξ(x) 7→ ei · ξ(x); in physicists’ gamma-matrix notation,
ξ 7→ γi · ξ.
We should keep in mind that the local frames e and ẽ are implicit.
In introductory treatments, one works on flat Euclidean or Minkowski
space, and uses global orthonormal coordinate vector fields. In curved space(time),
a deeper geometric understanding is required. The gamma matrices should be
understood as the local, gauge-dependent implementers of Clifford multipli-
cation by the local orthonormal frame elements. We are free to change local
orthonormal/spin frames (“local rotation/Lorentz invariance”), and this will
cause the local gamma matrices to transform according to Eq. (15.9), or the
physicist version Eq. (15.10).
Remark (Physics terminology). In the even n case, sections of S are called
Dirac spinor fields, while sections of S ± are called Weyl spinor fields. The
“Weyl spinor subbundles” S ± could also be obtained directly as
S± ∼
= FrSpin (X) ×δn+ S ± .
In the odd n case, there are actually two possible Clifford multiplications,
depending on which irreducible Clifford representation (left or right-handed)
is used. In this case, sections of S are also called Weyl spinor fields.
174
In the last line, we use the fact that the spin representation δn comes from a
Clifford algebra representation on the spinor space S, and likewise for the the
induced Lie algebra representation of spin(n). Keeping the spin frame implicit,
and writing ωkij := ωij (∂k ), the “k-th spin-covariant derivative” is
1
“ ∇Spin k = ∂k + ωkij ei ej ”, (16.7)
4
acting on S-valued functions ξ : U → S.
Write ẽ = (ẽ1 , . . . , ẽa , . . . , ẽ2⌊ n2 ⌋ ) for the spin frame field. Each constituent
spinor field ẽa = [ẽ, ηa ] has constant component functions ηa = (0, . . . , 0, |{z} 1 , 0, . . . , 0).
a-th
The spin covariant derivative of ẽa is
1
∇Spin ẽa = [ẽ, ωij ei ej · ηa ] (sum over i, j)
4
1
= ωij [e, ei ] · [e, ej ] · [ẽ, ηa ]
4
1 Eq. (13.9)
= ωij ei · ej · ẽa , ωij = g(∇LC ei , ej ). (16.8)
4
Proposition 16.3. The connections ∇Spin , ∇LC and Clifford multiplication are
Leibniz rule compatible, in the sense that for any u, v ∈ X(X) and ψ ∈ Γ(S),
∇Spin
u (v · ψ) = (∇LC Spin
u v) · ψ + v · ∇u ψ. (16.9)
Proof. It is possible to verify this directly from the formula Eq. (16.8), by
using general properties of covariant derivatives.
We sketch a more conceptual argument. Let A ∈ spin(n) and h = exp(tA) ∈
Spin(n). For any vector v ∈ Rn ⊂ Cln and spinor ξ ∈ S,
Eq. (15.9)
h(v · ξ) = (hvh−1 ) · (hξ) = (χ(h)(v)) · (hξ).
Differentiating at t = 0 gives, with the usual Leibniz rule,
A(v · ξ) = (χ∗ (A)v) · ξ + v · (Aξ). (16.10)
This is essentially what is happening when we compute ∇Spin u (v · ψ) in a spin
frame, Eq. (16.6). The local spin(n)-valued connection acts on the local spinor
representing (v · ψ), and this splits into the sum of two Clifford multiplications
by vectors, as in Eq. (16.10). The latter is the local version of Eq. (16.9).
Proposition 16.4. When n is even, ∇Spin preserves the splitting S = S + ⊕S − .
Proof. This can be shown with the help of Prop. (16.3), and is left as an
exercise.
175
16.5 Spin–Riemannian-curvature relations
Let R ∈ Ω2 (X, End(S)) be the curvature of ∇Spin (Definition 54). Let us
work out the relationship between R and the Riemann curvature tensor R ∈
Ω2 (X, End(T X)) of ∇LC . As these are tensors, we can study their relationship
in a local orthonormal frame e over U ⊂ X, with spin frame lift ẽ.
As ω LC is a connection on a principal SO(n)-bundle, have the local Cartan
structure equation,
1
e∗ ΩLC = dω (e) + [ω (e) , ω (e )], ω (e) := e∗ ω LC ∈ Ω1 (U, so(n)).
2
For u, v ∈ X(X), the so(n)-valued function e∗ ΩLC (u, v) expresses the curvature
endomorphism R(u, v) on T X|U with respect to the local frame e. Explicitly,
X
e∗ ΩLC (u, v) = g(R(u, v)ei , ej )ei ∧ ej . (16.11)
i<j
176
Lemma 16.5. For any u, v, w, z ∈ X(X),
R(u, v)w + R(v, w)u + R(w, u)v = 0. (First Bianchi identity)
g(R(u, v)w, z) = g(R(w, z)u, v). (Swap symmetry)
Proof. By C ∞ (X)-linearity in all arguments, it suffices to assume that u, v, w, z
are coordinate vector fields, i.e., their Lie brackets vanish. Recall that ∇ =
∇LC is torsion-free, Eq. (13.8), so ∇u v − ∇v u = [u, v] = 0. Then
R(u, v)w + R(v, w)u + R(w, u)v = ∇u ∇v w − ∇v ∇u w + ∇v ∇w u − ∇w ∇v u = 0.
+ ∇w ∇u v − ∇u ∇w v
Ricci and scalar curvature. For each pair of vector fields v, w, we have
a tangent bundle endomorphism, (·) 7→ R(·, v)w, whose trace is denoted
Ric(v, w). If we use an orthonormal frame to compute this trace, we get
n n
local skew
X X
Ric(v, w) = g(R(ei , v)w, ei ) = g(R(v, ei )ei , w).
i=1 i=1
Ric(·, ·) is called the Ricci tensor. Contracting the Ricci tensor using the metric
gives the Riemannian scalar curvature function,
n n n
g ij =δ ij
X X X
ij
Sc = g Ric(ei , ej ) = Ric(ej , ej ) = g(R(ej , ei )ei , ej ). (16.13)
i,j=1 j=1 i,j=1
177
Lemma 16.6. Let e = {e1 , . . . , en } be a local orthonormal frame for the Rie-
mannian spin manifold (X, g). Then
n n
X 1X 1
ei · ej · R(ei , ej ) = g(R(ei , ej )ej , ei ) ≡ Sc.
i,j=1
2 i,j=1 2
| {z } | {z }
“spin scalar curvature′′ Riemann scalar curvature
178
17 Dirac operators
17.1 Atiyah–Singer–Dirac operator
Definition 63. The Atiyah–Singer (spin) Dirac operator on a spin manifold
X is the first-order differential operator on the spinor bundle S defined by
/ (X) : Γ(S) → Γ(S)
/ =D
D
n
X
ψ 7→ ej · ∇Spin
ej ψ
j=1
where {e1 , . . . , en } is any local oriented orthonormal frame, ∇Spin is the spin
covariant derivative,and · denotes Clifford multiplication.
To emphasize that D / does not depend on the local frame choice, it is
sometimes formulated in a slicker way, as
Spin ♯ µ
D/ : Γ(S) ∇→ Γ(T ∗ X ⊗ S) → Γ(T X ⊗ S) → Γ(S)
where ♯ is the isomorphism T ∗ X ∼ = T X given by the Riemannian metric g,
and µ is Clifford multiplication (Definition 62).
Remark. Dirac originally used an orthonormal coordinate frame (over Minkowski
space), when he wrote down his equation in 1928. In physics, one often prefers
/ = −iγ µ ∇Spin
to use a coordinate frame {∂1 , . . . , ∂n } and writes D µ . Usually,
the ∂µ cannot be chosen to be orthonormal, so one only has an expansion in
terms of “abstract” orthonormal frame vectors, ∂µ = Eµj ej , with the coeffi-
cient functions Eµj called the vielbein. Then −iγµ = −iEµj γj acts by Clifford
multiplication, and
/ = −iγ µ ∇Spin
D µ ≡ −ig µν γν ∇Spin µν k j Spin
∂µ = g Eν Eµ ek ·∇ej = g(ek , ej )ek ·∇Spin
ej = ej ·∇Spin
ej ,
179
n = 2 Examples. In Example 15.4-15.6, we saw that the spin representation
of Spin(2) decomposes into δ2+ ⊕ δ2− , each of which is one-dimensional.
Example 17.1. On Euclidean R2 , the orthonormal frame bundle R2 × SO(2)
is trivialized by the global coordinate frame e1 = ∂x , e2 = ∂y . Likewise, the
spin frame bundle is trivialized, R2 × Spin(2), with trivial spin connection.
The associated spinor bundle S = S + ⊕ S − has a flat trivialization, i.e., S ± ∼ =
2 Spin Spin
R × C with ∇e1 , ∇e2 simply being ∂x , ∂y . Then the Dirac operator in this
trivialization is Eq. (14.1).
Example 17.2. We worked out the spin frame bundle and spin connection for
S 2 explicitly in Section 16.2. Use the local orthonormal frame e = {∂ϑ , sin1 ϑ ∂φ },
and its spin lift ẽ given there. We saw that ẽ∗ ω Spin = e12e2 cos ϑ dφ, and in the
spin representation, we have
0 −i 0 −1
e1 = , e2 = .
−i 0 1 0
So on the spinor bundle, in the local frame ẽ, the Dirac operator acts on
C ⊕ C-valued functions as
∂ϑ + cot2 ϑ − sini ϑ ∂φ
(S 2 ) 0
/
D = −i . (17.1)
∂ϑ + cot2 ϑ + sini ϑ ∂φ 0
180
17.1.2 Odd dimensional case
When n is odd, recall that there are two possible spinor bundles, the left-
handed S + or the right-handed S − .
Example 17.3. Let X ∼ = R1 be the (flat) Euclidean line, with global coordinate
x and orthonormal frame {∂x }. The spinor bundle is S ± = R1 × S ± , where
S ± = C but with e1 acting as ∓i, and the spin connection coefficients are zero
in this trivialization. So the Dirac operator is
1 d d
/ (R ) = e1 ·
D = ∓i ,
dx dx
acting on sections regarded as C-valued functions.
Similarly, on the unit circle X = S 1 with global frame {∂θ }, choose FrSpin (S 1 ) =
1
S 1 × Z2 . Then the spinor bundle is trivial, and the Dirac operator is D / (S ) =
d
∓i dθ . We had already encountered these 1D Dirac operators in Section 3.
1
Later we will see how to twist D / (S ) by tensoring with a Hermitian line bundle
with connection.
Exercise: Describe the Dirac operator on S 1 when the spin structure is in-
stead the connected double cover of S 1 .
181
The Dirac equation with mass m ≥ 0 is
The sign in front of the mass term is indeterminate (another torsor!). The
main point is that the anticommutation of e0 , e1 leads to
182
/ to curved manifolds then required a deeper
matrix. The generalization of D
/2 =
understanding of its geometric ingredients. But what is the fate of “D
Laplacian”? What does “Laplacian” mean on a general vector bundle?
Definition 64 (Connection Laplacian). Let X be a Riemannian manifold,
and E → X be a vector bundle with covariant derivative ∇. For a pair of
tangent vector fields u, v ∈ X(X), the second (covariant) derivative on Γ(E)
is defined to be
∇2u,v = ∇u ∇v − ∇∇LC
u v
.
The connection Laplacian on Γ(E) is defined to be the “contracted second
covariant derivative”,
X n
∆ ≡ ∆E := − ∇2ej ,ej , (17.2)
j=1
Using this, we may deduce that ∇2u,v is tensorialP in the arguments u, v (Exer-
′
cise). So in Eq. (17.2), if we replace ej by ej = k ek hkj with h an O(n)-valued
transformation, then
n
X n
X n
X n
X
∇2e′j ,e′j = hkj hlj ∇2ek ,el = (hht
)kl ∇2ek ,el = ∇2ek ,ek .
| {z }
j=1 j,k,l=1 k,l=1 k=1
δkl
∆E = −Trg (∇2·,· ),
183
where Trg is the trace with respect to the Riemannian metric g. If coordinate
tangent frames are preferred, then we can also write
∆E = −g ij (∇2∂i ,∂j ).
184
{e1 , . . . , en } satisfying ∇LC ei (x) = 0 (Lemma 13.7),
n
/2 =
X
D ej · ∇ej (ek · ∇ek )
j,k=1
Xn
= ej · ek · ∇ej ∇ek (Prop. 16.3)
j,k=1
Xn X
=− ∇ej ∇ej + ej · ek · ∇2ej ,ek
j=1 1≤j̸=k≤n
1 X
= ∆S + ej · ek · (∇2ej ,ek − ∇2ek ,ej ) (antisymmetry)
2 1≤j̸=k≤n
n
1 X
S
=∆ + ej · ek · R(ej , ek ) (Eq. (17.3))
2 j,k=1
Sc
= ∆S + . (Lemma 16.6)
4
Corollary 17.2. Let X be a spin manifold, and ∇Spin be the spin covariant
derivative on its spinor bundle S. Let L be a Hermitian line bundle with
unitary connection ∇L , and let ∇Spin,L be the tensor product connection on
185
S ⊗ L. The twisted spinor Laplacian ∆S⊗L and the twisted Dirac Laplacian
/ 2L are related by the geometric identity
D
Sc 1 ∇L
/ 2L − ∆S⊗L =
D + F , (17.5)
4 2
L
where F ∇ is the curvature of ∇L acting by Clifford multiplication,
n
L L
X
F ∇ (ψ ⊗ φ) = F ∇ (ej , ek )ej · ek · ψ ⊗ φ.
j,k=1
L
where in the last line, we used the fact that F ∇ (ej , ek ) is a C-valued function,
so it can be commuted through the tensor product.
Historical note. Schrödinger had in fact already derived a Lorentzian signa-
ture version of Eq. (17.5) with a mass term in 1932. In 1962, A. Peres rederived
a Lorentzian version, with no mass term, as did Lichnerowicz independently.
Remark (Optional). The operator D / L is a special case of a so-called Spinc -
Dirac operator. The latter requires X to be a Spinc -manifold, which is a slight
weakening of the Spin condition.
186
and integrate the Euclidean space function fˇα = f ◦ φ−1 α . However, if we
switch to another coordinate chart (U, φβ ) with coordinates (y 1 , . . . , y n ), and
write T = φα ◦ φ−1 β for the change-of-coordinate function, then we get an
inconsistency,
Z Z
ˇ 1 n
(f ◦ φ−1 1 n
fα dx . . . dx = α ◦ T ) · | det(dT )| · dy . . . dy
φα (U ) φβ (U ) | {z }
f ◦φ−1 ˇ
β =fβ
Z
̸= fˇβ dy 1 . . . dy n .
φβ (U )
= fˇβ det(dT ) dy 1 . . . dy n
φ (U )
Z β
= fˇα det(dT ) det(dT )−1 dx1 . . . dxn
φ (U )
Z α
= fˇα dx1 . . . dxn ,
φα (U )
187
17.4.2 Riemannian volume form
To make sense Rof the function space L2 (X), we need an L2 -type inner product,
⟨f |h⟩L2 (X) = “ X f h”. But we had just seen that the right side does not make
coordinate-invariant sense, unless we have a prescription for converting func-
tions to n-forms. For example, weR can pick some nowhere-vanishing n-form,
called vol, and define ⟨f |h⟩L2 (X) = X f h vol (this requires X to be orientable).
Such a “volume form” is canonically provided when X is a Riemannian man-
ifold.
188
17.4.3 Formal self-adjointness
Proposition 17.3. Let ∇ be a unitary connection on a Hermitian vector
bundle E over an oriented Riemannian manifold X. The connection Laplacian
∆E is formally self-adjoint on the compactly-supported smooth sections of E.
Proof. Fix any x ∈ X, and work in a local orthonormal tangent frame with
∇LC ei = 0 at x. For compactly supported ψ, ψ̃ ∈ Γ(E), we calculate that at
x,
n
X
⟨∆E ψ, ψ̃⟩E = − ⟨∇ei ∇ei ψ, ψ̃⟩E (∇LC ei (x) = 0)
i=1
n
X
= −ei ⟨∇ei ψ, ψ̃⟩E + ⟨∇ei ψ, ∇ei ψ̃⟩E (metric connection (13.6))
i=1
The first sum is the divergence of a certain tangent vector field (this is inde-
pendent of the choice of frame), so it integrates to zero due to ∂X = ∅. [We
omit the Riemannian geometry treatment of div, grad, curl and Stokes’ the-
orem.] The second sum can be written as the inner product of the E-valued
1-forms ∇ψ, ∇ψ̃ at x. Altogether, we have
Z Z
E
⟨∆ ψ, ψ̃⟩E vol = ⟨∇ψ, ∇ψ̃⟩T ∗ X⊗E vol.
X X
189
geometric analysis and classical physics. From this viewpoint, the first-order
Dirac operator achieves the remarkable feat of being formally self-adjoint on
its own.
Proof. Write ∇ = ∇Spin,L for convenience. Similar to the proof of Prop. 17.3,
we calculate at x,
n
X
/ L ψ, ψ̃⟩S⊗L =
⟨D ⟨ei · ∇ei ψ, ψ̃⟩S⊗L
i=1
Xn
= −⟨∇ei ψ, ei · ψ̃⟩S⊗L (ei · skew)
i=1
Xn
= −ei ⟨ψ, ei · ψ̃⟩S⊗L + ⟨ψ, ∇ei ei · ψ̃⟩S⊗L (metric connection)
i=1
n
X
= −ei ⟨ψ, ei · ψ̃⟩S⊗L
i=1
n
X
+ ⟨ψ, ei · ∇ei ψ̃⟩S⊗L . (compatibility and ∇LC ei = 0)
|i=1 {z }
/ L ψ̃⟩S⊗L
⟨ψ,D
Remark. We will often encounter manifolds such as the half-line (0, ∞). When
considered as a subset of R, the manifold (0, ∞) has a “boundary” at 0, and
we often talk about “boundary conditions”. For the formal self-adjointness
results, the compact-support condition for sections over (0, ∞) means, in par-
ticular, that the sections are “supported away from the boundary”, thus they
vanish there.
190
18 Quantum Hall Effect
The quantum-mechanical spinless electron on a two-dimensional sample (em-
bedded in a laboratory Euclidean R3 ), and subjected to a magnetic field,
exhibits astonishing behaviour known as the quantum Hall effect (QHE). In
the recent literature, it has become quite popular to call the QHE a “topo-
logical phase” phenomenon. Unfortunately, this terminology is not accurate,
and often leads a newcomer (especially the enthusiastic topologist) to imagine
that the effect has something to do with, e.g., the genus of the sample. In-
stead, it has much more to do with geometry and analysis, and stability under
deformation of this data. The latter deformation-invariance is loosely thought
of as “topology” in physics.
191
In physics, the formally self-adjoint magnetic Laplacian ∆L = ∇∗ ∇ on L is
called the Landau Hamiltonian, and it governs the spinless quantum-mechanical
electron subjected to the magnetic field B.
The Landau Hamiltonian depends not only on the classical magnetic field
B, but on the connection ∇. Two simplifications often occur, rendering the
choice of ∇ unimportant:
1. The line bundle L is trivializable, so we can find some global U(1)-frame
such that ∇ is represented as a global u(1)-valued 1-form A satisfying
dA = F ∇ = −iB.
à = A + iη = A + e−iΛ d(eiΛ ),
HB := ∆L , L ≡ LB ,
192
Experimentally, the quantum Hall effect refers to the quantization of the
measured values of a macroscopic transport quantity, called the transverse
Hall conductance. A priori, this conductance is real-valued, and “quantiza-
tion” means that only integer multiples of some “indivisible” conductance are
observed. Furthermore, the quantization effect persists under various kinds of
perturbations.
In order to non-vacuously explain how this quantization occurs, we cannot
assume from the beginning that it is correlated with an integer-valued topolog-
ical invariant. Instead, the spectrum of the Landau Hamiltonian is supposed
to determine the aforementioned Hall conductance. The non-trivial work is
to explain and prove how the quantization occurs, and why it is stable under
a large variety of perturbations. One aspect of the stability concerns some-
thing called Anderson localization of the spectrum under the introduction of
disorder, but we will not discuss this.
∇ ∂x = ∂ x , ∇∂y = ∂y − ibx.
Hb = −∇2∂x ,∂x − ∇2∂y ,∂y = −∇∂x ∇∂x − ∇∂y ∇∂y = −∂x2 − (∂y − ibx)2 . (18.1)
193
operator (see Section 19.3.1). This operator is a remarkable example of an
exactly solvable Hamiltonian. In fact, its spectrum was already computed by
Landau in 1930, long before the discovery of the quantum Hall effect. Let us
outline the calculation.
First, observe that Hb is translation invariant in the y-direction. So we
may perform a Fourier transform, converting ∂y into ipy ,
Z ⊕
d2
Hb = Hb (py ), Hb (py ) = − 2 + (bx − py )2 .
py ∈ R
b dx
d2
2
Hb (0) = |b| − 2 + x̃ = |b|HSHO ,
dx̃
where HSHO is the simple harmonic oscillator Hamiltonian. In Section 3.4, we
had already found the spectrum of HSHO to be 2N + 1.
Therefore, we conclude that
The eigenvalue (2n + 1)|b| is called the n-th Landau level, and it is infinitely
degenerate. Contrast this with the b = 0 case, where the ordinary Laplacian
H0 = −(∂x2 + ∂y2 ) has continuous spectrum [0, ∞). The dramatic qualitative
change of the spectrum induced by the mangetic field is called Landau quan-
tization, and was first calculated in 1930 by Landau, half a century before the
unexpected experimental discovery of the quantum Hall effect by von Klitzing!
194
On S ⊗ Lb , we also have the formally self-adjoint twisted Dirac operator,
0 D /−
D/ Lb = , D/− = D/ ∗+ .
D/+ 0
195
This index does not immediately make sense as an integer number, because the
kernel dimensions are infinite. However, it is possible to understand this “Dirac
index” as an object in operator K-theory. Furthermore, this K-theoretic in-
dex is extremely stable against geometric perturbations. Substantially more
mathematical background is needed to understand this, but we will attempt
to illustrate the idea by considering the non-geometrically idealized Landau
Hamiltonian.
196
we only need to understand the endomorphism R(e1 , e2 ) for {e1 , e2 } a local
oriented orthonormal frame,
n
1X
R(e1 , e2 ) = g(R(e1 , e2 )ei , ej )ei · ej ·
4 i,j=1
1
= (g(R(e1 , e2 )e1 , e2 )e1 · e2 · +g(R(e1 , e2 )e2 , e1 )e2 · e1 ·)
4
1
= (−g(R(e1 , e2 )e2 , e1 )e1 · e2 · −g(R(e2 , e1 )e1 , e2 )e1 · e2 ·)
4
n
1X Sc
=− g(R(ej , ei )ei , ej )e1 · e2 · = − e1 · e2 · .
4 i,j=1 4
(X,g) Sc
/ LB )2 = ∆S⊗LB +
(D − iBe1 · e2 ·
4 !
HB− Sc + Sc
4
−B 0
= 4
Sc
0 HB+ Sc + 4
+B
4
HB− Sc + Sc
(X,g) 2 2
−B 0
/ L Sc ) =
(D 2 . (18.3)
B− 4 0 HB + B
Now, the key point is the following. We can consider the true magnetic
field strength B to be a constant b, up to some perturbation Bpert with
supx∈X |Bpert (x)| ≪ |b|. If the scalar curvature of X is also much smaller than
|b|, then the spectral gap argument of Section 18.2.1 still works, although the
deduced gap will be smaller. For instance, HB+ Sc + Sc 2
+ B will remain strictly
2
positive, so that HB − B retains some spectral gap above 0, e.g., (0, c), where
197
c is somewhat smaller than |b|. Adding back the function B, we deduce that
HB has an isolated band of spectrum around |b|.
Generally, the effect of non-constant curvatures B and Sc is to spread out
the Landau levels into “Landau bands”.
Remark (Optional). In general, the spectral subspace of the lowest Landau
band is identified with that of the Dirac operator around 0 energy. Its “large-
scale dimension” is measured by a certain K-theoretic Dirac index, which
occurs in quantized units. This index is a modern generalization of the classical
Fredholm index (which is a genuine integer counting kernel dimensions). The
Dirac index is stable (in the appropriate sense) against geometric perturbations
(in B and Sc). Unlike the standard Fredholm index of elliptic (e.g. Dirac)
operators on compact manifolds, the Dirac index on noncompact manifolds is
not a topological invariant. It is in fact possible to puncture many holes in X,
drastically changing its topology, without changing the index.
Remark (Optional). The idealized Landau Hamiltonian with constant B = b
on a hyperbolic plane (constant negative scalar curvature) had been studied
previously by Comtet–Houston. There, the scalar curvature needs to be over-
come by a sufficiently large field b before any isolated Landau levels can form
in the spectrum. This is already very different from the (idealized) Euclidean
plane case.
198
Each Landau level is able to admit a certain density of electron states. So
the total electron density divided by this Landau level capacity gives the filling
factor ν. When physical units are restored to the discussion, it turns out that
the Landau level capacity is proportional to the magnetic field strength |b|. So
by controlling b, the filling factor ν may be continuously varied.
Eq. (18.4) is rather tautological (integer = integer), and possibly useless,
since it only describes very specific filling factors. The key experimental sur-
prise is that σxy remains an integer even when ν is significantly varied around
integer values,
Edge states. Recall that the “geometric” calculation of σ(HB ) only works
under the assumption of essential self-adjointness. If X has a boundary, and
appropriate boundary conditions (e.g. Dirichlet) are imposed on the Landau
Hamiltonian, then the formal Dirac square root will not actually exist as a
self-adjoint operator. So we can no longer deduce the spectral gaps by the
geometric-algebraic method. In fact, the Dirichlet Landau Hamiltonian Hb
on the Euclidean half-plane can be shown to have unbroken spectrum [|b|, ∞).
The “bulk spectral gaps” ((2n + 1)|b|, (2n + 3)|b|), n ∈ N for Hb get completely
199
filled up upon the introduction of a boundary, and this continuous spectrum
is actually “unbreakable” in some sense! Here, we find another example where
issues of self-adjointness cannot be ignored, and are instead central to the
question at hand.
200
19 Unbounded operators on Hilbert space
19.1 Recap of Hilbert space theory
We take for granted the Lp spaces of complex-valued functions on measure
R 1/p
spaces X, e.g., that the p-norm ||ψ||p = X |ψ(x)|p defines a complete
R
2
metric, as does the L -inner product, ⟨ψ|φ⟩ = X ψ(x)φ(x). So Lp (X) is a
Banach space, and L2 (X) is a Hilbert space.
On a general Hilbert space H, each ψ ∈ H determines a functional ⟨ψ| :
φ 7→ ⟨ψ|φ⟩, whose norm makes sense, ||⟨ψ| || := sup||φ||=1 |⟨ψ|φ⟩|. The Riesz
representation theorem says that the correspondence ψ ↔ ⟨ψ| is antilinear,
norm-preserving, and exhausts all continuous linear functionals on H. So the
dual space H∗ can be turned into a Hilbert space in its own right, and is anti-
isomorphic to H. This is the justification behind the ket-bra duality in Dirac’s
notation for the inner product.
A Hilbert space admits orthonormal bases, whose cardinality is an invari-
ant. (Note: convergent infinite linear combinations are allowed!) A linear
operator T : H → H is continuous iff it is bounded in the operator norm,
and we write B(H) for the normed linear space of bounded linear operators
on H. For T ∈ B(H), its adjoint T ∗ ∈ B(H) is well-defined by the condition
201
Of particular interest are unitary operators, U ∗ = U −1 , and self-adjoint opera-
tors H = H ∗ . These are examples of normal operators, T ∗ T = T T ∗ , for which
the spectral theorem holds: there exists a unitary transformation V such that
Z
−1
V TV = λ dµ(λ), (19.2)
C
202
Closure. For example, dθ d
: C ∞ (S 1 ) → C ∞ (S 1 ) ⊂ L2 (S 1 ) initially makes
d
sense, but we cannot try to “continuously extend” the meaning of dθ to all L2
functions. So derivative operators T are always unbounded, and can only be
defined on some dense linear subspace (such a subspace is not closed in H!),
T : Dom(T ) → H.
| {z }
⊊H
ΓT = {(ψ, T ψ) : ψ ∈ Dom(T )} ⊂ H ⊕ H,
T ∗ φ := ηφ , φ ∈ Dom(T ∗ ).
By design, the adjoint’s domain is the maximal one for which the adjoint-
ness condition makes sense on the respective domains of T and T ∗ ,
Notice that the larger Dom(T ) is, the smaller Dom(T ∗ ) will be.
203
Lemma 19.1. Let T be a densely-defined operator on a Hilbert space H. Then
Range(T )⊥ = ker(T ∗ ), and thus
H = ker(T ∗ ) ⊕ Range(T ). (19.5)
Proof. For any φ ∈ ker(T ∗ ) and f = T ψ ∈ Range(T ),
⟨φ|f ⟩ = ⟨φ|T ψ⟩ = ⟨T ∗ φ|ψ⟩ = 0.
Thus
ker(T ∗ ) ⊂ Range(T )⊥ .
Conversely, suppose f ∈ Range(T )⊥ , so ⟨f |T ψ⟩ = 0 = ⟨0|ψ⟩ for all ψ ∈
Dom(T ). By definition, f ∈ Dom(T ∗ ) with T ∗ f = 0, i.e., f ∈ ker(T ∗ ).
Thus Range(T )⊥ = ker(T ∗ ), and the orthogonal decomposition, Eq. (19.5),
follows.
19.2.1 Self-adjointness
Now that we know what adjoint operators are, we can ponder about self-
adjointness. By default, we only consider densely-defined operators from now
on. First, we say that H is symmetric, or formally self-adjoint, if
⟨Hφ|ψ⟩ = ⟨φ|Hψ⟩, ∀φ, ψ ∈ Dom(H).
By definition, the true adjoint H ∗ will generally have a larger domain than
H. But note that H ∗ is generally not symmetric, because its domain is too
large. What we seek is a genuine equality H = H ∗ , including equality of their
domains, in which case, we say that H is self-adjoint.
So the issue of self-adjointness is the issue of finding an appropriate en-
largement of Dom(H) to Dom(H̃),
Dom(H) ⊂ Dom(H̃) = Dom(H̃ ∗ ) ⊂ Dom(H ∗ ).
| {z }
?
Of course we should also specify how the extended operator H̃ acts on the
extended domain.
As a preliminary step, we state, without proof, some general facts:
For a symmetric H, the graph-closure ΓH remains the graph of another
symmetric operator, denoted H. The latter operator is called the closure
of H, and ΓH = ΓH .
204
H ∗ is automatically closed (i.e. its graph is closed), and (H ∗ )∗ = H.
we actually have
(H ∗ ∓ i)(φ − ψ∓ ) = 0 ⇔ φ − ψ∓ ∈ ker(H ∗ ∓ i)
⇔ φ − ψ∓ ∈ Range(H ± i)⊥ = 0 (Lemma 19.1).
205
19.3 First-order differential operators
Let us begin with first-order differential operators D acting on C ∞ (U ; CN ),
where U is some open domain U ⊂ Rn . So
n
!
X
Dζ = Aj ∂j + B ζ, ζ ∈ C ∞ (U ; CN ), (19.6)
j=1
206
Symbol and ellipticity. In particular, we have to remember basepoints
x ∈ X, and consider ∂j |x ∈ Tx X, as well as ηx ∈ Tx∗ X. This means that the
“Fourier transform” of D should really be an object parametrized by T ∗ X.
Therefore, we define the (principal) symbol of D to be the bundle map
σD : T ∗ X → End(E)
n
X
η 7→ i Ãj (x)ηj , η = ηj dxj |x ∈ Tx∗ X.
j=1
We say that D is elliptic if its (principal) symbol σD (·) is invertible for all
non-zero cotangent vectors.
Remark. To see that σD is independent of the choice of coordinate cotangent
basis {dxj }j=1,...,n , write η = df |x for some smooth function f . Then the
calculation
n
X j
([iD, f ]ψ)(x) = i à (x) ∂j |x f ψ(x) = σD (η)ψ(x), ψ ∈ Γ(E),
| {z }
j=1
ηj
207
where η = ηj ej is expanded in a local orthonormal cotangent frame; the or-
thonormal frame elements ej act as endomorphisms of the spinors by Clifford
multiplication. Whenever ||η|| = ̸ 0, the endomorphism iη · squares to ||η||2 , so
/ is elliptic. Our calculation in Prop. 17.4 shows that D
it is invertible; thus D /
is symmetric on the initial domain.
Remark. There is a notion of higher-order differential operators acting from
sections of one bundle to another, and the principal symbol is similarly defined.
For example, a Laplacian has principal symbol being scalar, σ∆ (η) = ||η||2 ,
and is thus elliptic.
208
In this case, all powers of D are also essentially self-adjoint (on Γ∞
c (E)). This
result requires substantial analytic techniques (“mollifiers”), which we will not
develop. A reference for these facts is [8].
There are also criteria for essential self-adjointness of symmetric H which
are of second-order and/or elliptic [17, 3], and these usually depend on the be-
haviour of lower-order parts of H (e.g. potential terms), not just the principal
symbol of H or geometric properties of X alone.
One approach to dealing with the self-adjointness issue is to avoid it al-
together, by always working in situations where essential self-adjointness is
automatic (e.g. closed manifolds). Unfortunately, this “black box” attitude is
not enough to handle many situations of interest to us.
Instead, we shall investigate some “bad” examples, involving non-complete
manifolds, where essential self-adjointness fails. For example, X may have
“boundaries” that compactly-supported interior signals propagated by H can
reach in finite time. Then different self-adjoint extensions of H are obtained
by imposing different boundary conditions on Dom(H ∗ ). It is also possible
that no self-adjoint boundary conditions exist at all.
209
20 Self-adjoint extensions
20.1 Spectrum of symmetric operators
Definition 67. Let T be a closed operator on H. Its resolvent set is
Rλ (T ) := (T − λ)−1 , λ ∈ ρ(T ),
σ(T ) = C \ ρ(T ).
σ(H) is either the closed upper-half plane, closed lower-half plane, the
entire complex plane, or a subset of R. The last case occurs iff H is
genuinely self-adjoint, iff dim ker(H ∗ ± i) = 0.
Proof. (Optional.) Let λ = a + ib ∈ C \ R, so b ̸= 0. Since H is symmetric,
for all ψ ∈ Dom(H),
210
If limn→∞ (H − λ̄)ψn exists (with ψn ∈ Dom(H)), then the above inequality
means that ψn → ψ converges as well. Since H is assumed to be closed,
(ψ, (H − λ̄)ψ) lies in the graph of H − λ̄, with (H − λ̄)ψ = limn→∞ (H − λ̄)ψn .
Therefore, Range(H − λ̄) is a closed subspace of H. By Eq. (19.5),
ker(H ∗ − λ)⊥ = Range(H − λ̄). (20.2)
The next step is to show that a sufficiently small change of λ does not modify
dim ker(H ∗ − λ).
So consider a small perturbation λ+η, with |η| ≪ |b| so that λ+η remains in
the same upper/lower half-plane. Take any unit vector φ ∈ ker(H ∗ − (λ + η)),
and suppose φ ∈ ker(H ∗ − λ)⊥ as well. By Eq. (20.2), we may write φ =
(H − λ)ψ for some ψ ∈ Dom(H), and we have
0 = ⟨(H ∗ − (λ + η))φ |ψ⟩ = ⟨φ| (H − λ)ψ ⟩ − η⟨φ|ψ⟩ = ||φ||2 −η⟨φ|ψ⟩. (20.3)
| {z } | {z } | {z }
0 φ 1
211
Proposition 20.1 shows that the obstructions to self-adjointness are the
following:
Definition 68. Let H be a (closed) symmetric operator on H. Its deficiency
subspaces and (possibly infinite) deficiency indices are
H± := ker(H ∗ ∓ i), n± := dim H± .
212
Proof. This involves a tedious direct check, which we omit (A full proof can
be found in pp. 138 of [17]).
213
H is self-adjoint iff n+ = n− = 0.
The quotation marks indicate that δx0 is not actually a function, and its “in-
tegration against φ” is just a formal expression.
214
If f is classically continuously differentiable so that ∂k f is a genuine con-
tinuous function, then ∂k f would be the following distribution,
Z Z
∂k f : φ 7→ (∂k f )φ = − f · ∂k φ.
Ω Ω
215
Theorem 20.5. Let ψ ∈ AC[a, b]. Then ψ is almost everywhere differentiable,
and its almost-everywhere defined derivative ψ ′ satisfies
Z x
′ 1
ψ ∈ L (a, b), ψ(x) = ψ ′ (x̃) dx̃.
a
Rx
Conversely, let f ∈ L1 (a, b). Then F (x) := a
f (x̃) dx̃ is absolutely continu-
ous, with F ′ = f almost everywhere.
Suppose ψ, φ ∈ AC[a, b], then ψφ ∈ AC[a, b] as well, and (ψφ)′ = ψ ′ φ+ψφ′
almost everywhere, and is L1 . Integrating over [a, b] gives the integration-by-
parts rule, Z b Z b
ψφ′ = ψ(b)φ(b) − ψ(a)φ(a) − ψ ′ φ.
a a
Remark. If ψ ∈ AC[a, b], is its almost-everywhere defined (classical) derivative
the same thing as its distributional/weak derivative? By definition,
Z b Z b
′,dist ′
ψ : φ 7→ − ψφ = ψ ′ φ, φ ∈ Cc∞ (a, b),
a a
We have
AC[a, b] ⊂ L2 (a, b) ⊂ L1 (a, b),
216
(e.g. by Hölder’s inequality), so by Remark 20.3.1, we can actually write
Dom(T ) = {ψ ∈ L2 (a, b) : ψ ′ ∈ L2 (a, b)} =: W 1,2 (a, b),
Here, W 1,2 (a, b) is an example of a Sobolev space, equipped with the Sobolev
norm,
1/2
||ψ||1,2 = ||ψ||2L2 + ||ψ ′ ||2L2 .
Sometimes, W 1,2 is written H 1 , but we use the former notation, since H is
already being used for “Hamiltonian”.
As an exercise in analysis, we may check that T is a closed operator. In
d
fact, it is the closure of the classical derivative operator −i dx defined initially
∞
on C [a, b].
Let us compute the spectrum of T . For each λ ∈ C, the smooth func-
tion eiλ(·) belongs to Dom(T ). Furthermore, it is an eigenfunction of T with
eigenvalue λ,
T (eiλx ) = λ eiλx .
Thus the spectrum of T is the entire complex plane, and T is definitely not
self-adjoint.
d
Example 20.4. Let H be the classical derivative operator −i dx on the initial
domain
Dom(H) = Cc∞ (a, b).
So functions in Dom(H) vanish at the end points. Similar to Example 20.3,
the closure H is the weak derivative operator on the domain
Dom(H) = {ψ ∈ W 1,2 (a, b) : ψ(a) = 0 = ψ(b)}.
Integration-by-parts shows that H is a symmetric operator: for ψ, φ ∈ Dom(H) ⊂
AC[a, b],
Z b Z b
′
⟨ψ|Hφ⟩ = ψ(−iφ ) = −iψ ′ φ = ⟨Hψ|φ⟩.
a a
∗
Now consider the adjoint operator H = H . Suppose ψ ∈ Dom(H ∗ ). By
∗
217
The right side is the distributional derivative of −iψ applied to φ. The left
side is the distribution represented by the L2 -function H ∗ ψ. Thus the distri-
butional/weak derivative of ψ is precisely H ∗ ψ ∈ L2 (a, b), and we see that
ψ ∈ W 1,2 (a, b).
Conversely, suppose ψ ∈ W 1,2 (a, b), so ψ is AC with L2 weak derivative.
When integrating by parts, the condition ψ(a) = 0 = ψ(b) for ψ ∈ Dom(H)
ensures that no boundary terms will appear. So ψ is allowed in Dom(H ∗ ) with
H ∗ ψ being its weak derivative.
In summary, H ∗ is the weak derivative −i dxd
on the maximal domain
Dom(H ∗ ) = W 1,2 (a, b),
which is the operator T from Example 20.3.
Example 20.5. For simplicity, we shall consider the interval (−π, π). Example
d
20.4 shows that H = −i dx is symmetric but not self-adjoint on
218
Observe that if f = ψ + β(φ+ + αφ− ) ∈ Dom(Hα ), then
{ψ ∈ L2 (S 1 ) : ψ ′ ∈ L2 (S 1 )} ≡ W 1,2 (S 1 ),
at θ = π.
d
To summarize, the momentum operator −i dθ on the circle is already es-
sentially self-adjoint on C ∞ (S 1 ). Its closure D is the weak derivative on the
domain
Dom(D) = W 1,2 (S 1 ).
The function space W 1,2 (S 1 ) has a concrete description in terms of the Fourier
transform.
219
There is a Hilbert space isomorphism
ℓ2 (Z) → L2 (S 1 )
√
δm 7→ wm , wm (θ) = eimθ / 2π.
Dψ(m)
d = ⟨wm | − iψ ′ ⟩L2 (S 1 ) = ⟨−iwm
′
|ψ⟩L2 (S 1 ) = m⟨wm |ψ⟩L2 (S 1 ) = m · ψ(m).
b
and action
(Qψ)(m)
b = m · ψ(m),
b ψb ∈ Dom(Q).
Note that Eq. (20.8) is the largest domain on which Q can make sense as
an operator mapping into ℓ2 (Z). Eq. (20.8) is often used as the definition of
the Sobolev space W 1,2 (S 1 ).
We have found that D is unitarily equivalent to a (self-adjoint, unbounded)
multiplication operator. The spectrum of a multiplication operator is the
(essential) range, and this is Z in this case.
220
20.5 Example: momentum operator on line
The analysis is similar with (a, b) replaced by the unbounded real line R. We
say that ψ : R → C is absolutely continuous, denoted ψ ∈ AC(R), if it is abso-
lutely continuous on any compact interval. (This is sometimes called “locally
absolutely continuous”.) In this case, ψ is almost-everywhere differentiable,
with ψ ′ ∈ L1loc (R). If ψ ∈ L1loc (R) has a weak derivative (in L1loc (R)), then
we may consider ψ to be represented by an absolutely continuous function.
Integration-by-parts works as in the bounded interval case, with these modifi-
cations.
d
The classical derivative H = −i dx is symmetric on the initial domain
∞
Cc (R). The maximal domain is the Sobolev space
221
It is easy to see that the domains of self-adjointness are
/ α ) = {(ψ1 , ψ2 ) ∈ W 1,2 (R+ ; C2 ) : ψ2 (0) = αψ1 (0)},
Dom(D α ∈ U(1).
Let us replace m by the function m · sgn(x). This means that each half-
line has a different sign for the mass term. The corresponding massive Dirac
Hamiltonian is called a domain-wall Dirac Hamiltonian,
d
−i dx m · sgn
Ddw = d , Dom(Ddw ) = W 1,2 (R; C2 ).
m · sgn i dx
Naı̈vely, it would seem that the spectrum of Dm and Ddw should coincide.
This is almost true, except for a remarkable 0-eigenfunction (exercise),
i
ψJR (x) = e−|mx| ,
sgn(m)
called the Jackiw–Rebbi solution. Notice that ψJR has a cusp at x = 0, so it
does not belong to the initial domain of smooth functions. Nevertheless, it is
square-integrable, and has square-integrable weak derivative, so it belongs to
W 1,2 (R; C2 ), and is admissible as an eigenfunction for Ddw .
222
This is an example of an index phenomenon.
The
operator Ddw is odd
0 i
with respect to the grading operator ie1 = . In exactly the same
−i 0
way as the Dirac operators on graded spinor bundles, the operator Ddw can
be rewritten as
0 (Ddw )−
Ddw =
(Ddw )+ 0
with respect to a basis in which ie1 is diagonal. The usual spectral supersym-
metry argument holds, except for the 0-eigenspace: the kernels of (Ddw )+ and
(Ddw )− may not coincide, and this asymmetry is measured by
We have just seen that the mass function m · sgn leads to an index of ±1 for
the operator Ddw .
Of course, the 0-eigenvalue could actually be a spurious spectral phe-
nomenon, which disappears if the mass function is modified slightly. An index
theorem says that it is stable — the index is actually predicted by the sign
change in the asymptotic values (at x = ±∞) of the mass function, indepen-
dently of the precise form of the function. This is not too hard to prove for
the 1D case of Ddw . As an exercise, convince yourself that the replacement
of m · sgn(x) with a smooth version, such as m · tanh(x), still exhibits a ±1
index.
223
References
[1] Baez, J., Muniain, J.P.: Gauge Fields, Knots, and Gravity. World Sci-
entific, 1994
[2] Bleecker, D., Booß-Bavnbek, B.: Index theory with applications to math-
ematics and physics. International Press, 2013
[5] Eguchi, T., Gilkey, P.B., Hanson, A.J.: Gravitation, gauge theories and
differential geometry. Physics Reports 66(6) 213–393 (1980)
[8] Higson, N., Roe, J.: Analytic K-homology. Oxford Univ. Press, 2000
[12] Milnor, J.: Topology from the differentiable viewpoint. Univ. Press Vir-
ginia, 1965
[13] Naber, G.: Topology, Geometry, and Gauge Fields. Foundations. Texts
in Appl. Math., Springer, 2011
[14] Naber, G.: Topology, Geometry, and Gauge Fields. Interactions. Texts
in Appl. Math., Springer, 2011
224
[15] Nash, C.: Differential Topology and Quantum Field Theory. Acad. Press,
1992
[16] Reed, M., Simon, B.: Methods of Modern Mathematical Physics, Vol. 1.
Functional Analysis. Acad. Press, 1980
[17] Reed, M., Simon, B.: Methods of Modern Mathematical Physics, Vol.
II. Fourier analysis, Self-adjointness. Acad. Press, 1975
[18] Steenrod, N.: The Topology of Fibre Bundles. Princeton Math. Series,
1960
225