Lectures On The Geometry of Manifolds 2nd Edition Liviu I. Nicolaescu Updated 2025
Lectures On The Geometry of Manifolds 2nd Edition Liviu I. Nicolaescu Updated 2025
https://ebookfinal.com/download/lectures-on-the-geometry-of-
manifolds-2nd-edition-liviu-i-nicolaescu/
★★★★★
4.9 out of 5.0 (55 reviews )
ebookfinal.com
Lectures On The Geometry Of Manifolds 2nd Edition Liviu I.
Nicolaescu Pdf Download
EBOOK
Available Formats
https://ebookfinal.com/download/lectures-on-the-topology-
of-3-manifolds-an-introduction-to-the-casson-invariant-2ed-edition-
nikolai-saveliev/
https://ebookfinal.com/download/lectures-on-geometry-1st-edition-n-m-
j-woodhouse-ed/
https://ebookfinal.com/download/lectures-on-electromagnetism-2nd-
edition-ashok-das/
https://ebookfinal.com/download/lectures-on-quantum-field-theory-2nd-
edition-ashok-das/
Lectures on international trade 2nd Edition Jagdish N.
Bhagwati
https://ebookfinal.com/download/lectures-on-international-trade-2nd-
edition-jagdish-n-bhagwati/
https://ebookfinal.com/download/fourier-analysis-on-polytopes-and-the-
geometry-of-numbers-part-i-a-friendly-introduction-1st-edition-sinai-
robins/
https://ebookfinal.com/download/lectures-on-the-theory-of-pure-
motives-murre-j-p/
https://ebookfinal.com/download/dynamics-on-lorentz-manifolds-1st-
edition-scot-adams/
https://ebookfinal.com/download/beginning-excel-services-liviu-asnash/
Lectures On The Geometry Of Manifolds 2nd Edition
Liviu I. Nicolaescu Digital Instant Download
Author(s): Liviu I. Nicolaescu
ISBN(s): 9789812770295, 9812770291
Edition: 2
File Details: PDF, 2.33 MB
Year: 2007
Language: english
Lectures on the Geometry of Manifolds
Liviu I. Nicolaescu
Shape is a fascinating and intriguing subject which has stimulated the imagination of
many people. It suffices to look around to become curious. Euclid did just that and came
up with the first pure creation. Relying on the common experience, he created an abstract
world that had a life of its own. As the human knowledge progressed so did the ability of
formulating and answering penetrating questions. In particular, mathematicians started
wondering whether Euclid’s “obvious” absolute postulates were indeed obvious and/or
absolute. Scientists realized that Shape and Space are two closely related concepts and
asked whether they really look the way our senses tell us. As Felix Klein pointed out
in his Erlangen Program, there are many ways of looking at Shape and Space so that
various points of view may produce different images. In particular, the most basic issue
of “measuring the Shape” cannot have a clear cut answer. This is a book about Shape,
Space and some particular ways of studying them.
Since its inception, the differential and integral calculus proved to be a very versatile
tool in dealing with previously untouchable problems. It did not take long until it found
uses in geometry in the hands of the Great Masters. This is the path we want to follow
in the present book.
In the early days of geometry nobody worried about the natural context in which the
methods of calculus “feel at home”. There was no need to address this aspect since for the
particular problems studied this was a non-issue. As mathematics progressed as a whole
the “natural context” mentioned above crystallized in the minds of mathematicians and
it was a notion so important that it had to be given a name. The geometric objects which
can be studied using the methods of calculus were called smooth manifolds. Special cases
of manifolds are the curves and the surfaces and these were quite well understood. B.
Riemann was the first to note that the low dimensional ideas of his time were particular
aspects of a higher dimensional world.
The first chapter of this book introduces the reader to the concept of smooth manifold
through abstract definitions and, more importantly, through many we believe relevant
examples. In particular, we introduce at this early stage the notion of Lie group. The
main geometric and algebraic properties of these objects will be gradually described as we
progress with our study of the geometry of manifolds. Besides their obvious usefulness in
geometry, the Lie groups are academically very friendly. They provide a marvelous testing
ground for abstract results. We have consistently taken advantage of this feature through-
out this book. As a bonus, by the end of these lectures the reader will feel comfortable
manipulating basic Lie theoretic concepts.
To apply the techniques of calculus we need “things to derivate and integrate”. These
i
ii
“things” are introduced in Chapter 2. The reason why smooth manifolds have many
differentiable objects attached to them is that they can be locally very well approximated
by linear spaces called tangent spaces . Locally, everything looks like traditional calculus.
Each point has a tangent space attached to it so that we obtain a “bunch of tangent spaces”
called the tangent bundle. We found it appropriate to introduce at this early point the
notion of vector bundle. It helps in structuring both the language and the thinking.
Once we have “things to derivate and integrate” we need to know how to explicitly
perform these operations. We devote the Chapter 3 to this purpose. This is perhaps
one of the most unattractive aspects of differential geometry but is crucial for all further
developments. To spice up the presentation, we have included many examples which
will found applications in later chapters. In particular, we have included a whole section
devoted to the representation theory of compact Lie groups essentially describing the
equivalence between representations and their characters.
The study of Shape begins in earnest in Chapter 4 which deals with Riemann manifolds.
We approach these objects gradually. The first section introduces the reader to the notion
of geodesics which are defined using the Levi-Civita connection. Locally, the geodesics
play the same role as the straight lines in an Euclidian space but globally new phenomena
arise. We illustrate these aspects with many concrete examples. In the final part of this
section we show how the Euclidian vector calculus generalizes to Riemann manifolds.
The second section of this chapter initiates the local study of Riemann manifolds.
Up to first order these manifolds look like Euclidian spaces. The novelty arises when we
study “second order approximations ” of these spaces. The Riemann tensor provides the
complete measure of how far is a Riemann manifold from being flat. This is a very involved
object and, to enhance its understanding, we compute it in several instances: on surfaces
(which can be easily visualized) and on Lie groups (which can be easily formalized). We
have also included Cartan’s moving frame technique which is extremely useful in concrete
computations. As an application of this technique we prove the celebrated Theorema
Egregium of Gauss. This section concludes with the first global result of the book, namely
the Gauss-Bonnet theorem. We present a proof inspired from [25] relying on the fact
that all Riemann surfaces are Einstein manifolds. The Gauss-Bonnet theorem will be a
recurring theme in this book and we will provide several other proofs and generalizations.
One of the most fascinating aspects of Riemann geometry is the intimate correlation
“local-global”. The Riemann tensor is a local object with global effects. There are cur-
rently many techniques of capturing this correlation. We have already described one in
the proof of Gauss-Bonnet theorem. In Chapter 5 we describe another such technique
which relies on the study of the global behavior of geodesics. We felt we had the moral
obligation to present the natural setting of this technique and we briefly introduce the
reader to the wonderful world of the calculus of variations. The ideas of the calculus of
variations produce remarkable results when applied to Riemann manifolds. For example,
we explain in rigorous terms why “very curved manifolds” cannot be “too long” .
In Chapter 6 we leave for a while the “differentiable realm” and we briefly discuss the
fundamental group and covering spaces. These notions shed a new light on the results
of Chapter 5. As a simple application we prove Weyl’s theorem that the semisimple Lie
groups with definite Killing form are compact and have finite fundamental group.
Chapter 7 is the topological core of the book. We discuss in detail the cohomology
iii
of smooth manifolds relying entirely on the methods of calculus. In writing this chapter
we could not, and would not escape the influence of the beautiful monograph [17], and
this explains the frequent overlaps. In the first section we introduce the DeRham coho-
mology and the Mayer-Vietoris technique. Section 2 is devoted to the Poincaré duality, a
feature which sets the manifolds apart from many other types of topological spaces. The
third section offers a glimpse at homology theory. We introduce the notion of (smooth)
cycle and then present some applications: intersection theory, degree theory, Thom iso-
morphism and we prove a higher dimensional version of the Gauss-Bonnet theorem at the
cohomological level. The fourth section analyzes the role of symmetry in restricting the
topological type of a manifold. We prove Élie Cartan’s old result that the cohomology
of a symmetric space is given by the linear space of its bi-invariant forms. We use this
technique to compute the lower degree cohomology of compact semisimple Lie groups. We
conclude this section by computing the cohomology of complex grassmannians relying on
Weyl’s integration formula and Schur polynomials. The chapter ends with a fifth section
containing a concentrated description of Čech cohomology.
Chapter 8 is a natural extension of the previous one. We describe the Chern-Weil
construction for arbitrary principal bundles and then we concretely describe the most im-
portant examples: Chern classes, Pontryagin classes and the Euler class. In the process,
we compute the ring of invariant polynomials of many classical groups. Usually, the con-
nections in principal bundles are defined in a global manner, as horizontal distributions.
This approach is geometrically very intuitive but, at a first contact, it may look a bit
unfriendly in concrete computations. We chose a local approach build on the reader’s ex-
perience with connections on vector bundles which we hope will attenuate the formalism
shock. In proving the various identities involving characteristic classes we adopt an invari-
ant theoretic point of view. The chapter concludes with the general Gauss-Bonnet-Chern
theorem. Our proof is a variation of Chern’s proof.
Chapter 9 is the analytical core of the book. Many objects in differential geometry
are defined by differential equations and, among these, the elliptic ones play an important
role. This chapter represents a minimal introduction to this subject. After presenting
some basic notions concerning arbitrary partial differential operators we introduce the
Sobolev spaces and describe their main functional analytic features. We then go straight
to the core of elliptic theory. We provide an almost complete proof of the elliptic a
priori estimates (we left out only the proof of the Calderon-Zygmund inequality). The
regularity results are then deduced from the a priori estimates via a simple approximation
technique. As a first application of these results we consider a Kazhdan-Warner type
equation which recently found applications in solving the Seiberg-Witten equations on
a Kähler manifold. We adopt a variational approach. The uniformization theorem for
compact Riemann surfaces is then a nice bonus. This may not be the most direct proof but
it has an academic advantage. It builds a circle of ideas with a wide range of applications.
The last section of this chapter is devoted to Fredholm theory. We prove that the elliptic
operators on compact manifolds are Fredholm and establish the homotopy invariance of the
index. These are very general Hodge type theorems. The classical one follows immediately
from these results. We conclude with a few facts about the spectral properties of elliptic
operators.
The last chapter is entirely devoted to a very important class of elliptic operators
iv
namely the Dirac operators. The important role played by these operators was singled
out in the works of Atiyah and Singer and, since then, they continue to be involved in the
most dramatic advances of modern geometry. We begin by first describing a general notion
of Dirac operators and their natural geometric environment, much like in [11]. We then
isolate a special subclass we called geometric Dirac operators. Associated to each such
operator is a very concrete Weitzenböck formula which can be viewed as a bridge between
geometry and analysis, and which is often the source of many interesting applications. The
abstract considerations are backed by a full section describing many important concrete
examples.
In writing this book we had in mind the beginning graduate student who wants to
specialize in global geometric analysis in general and gauge theory in particular. The
second half of the book is an extended version of a graduate course in differential geometry
we taught at the University of Michigan during the winter semester of 1996.
The minimal background needed to successfully go through this book is a good knowl-
edge of vector calculus and real analysis, some basic elements of point set topology and
linear algebra. A familiarity with some basic facts about the differential geometry of
curves of surfaces would ease the understanding of the general theory, but this is not a
must. Some parts of Chapter 9 may require a more advanced background in functional
analysis.
The theory is complemented by a large list of exercises. Quite a few of them contain
technical results we did not prove so we would not obscure the main arguments. There
are however many non-technical results which contain additional information about the
subjects discussed in a particular section. We left hints whenever we believed the solution
is not straightforward.
Personal note It has been a great personal experience writing this book, and I sincerely
hope I could convey some of the magic of the subject. Having access to the remarkable
science library of the University of Michigan and its computer facilities certainly made my
job a lot easier and improved the quality of the final product.
I learned differential equations from Professor Viorel Barbu, a very generous and en-
thusiastic person who guided my first steps in this field of research. He stimulated my
curiosity by his remarkable ability of unveiling the hidden beauty of this highly technical
subject. My thesis advisor, Professor Tom Parker, introduced me to more than the funda-
mentals of modern geometry. He played a key role in shaping the manner in which I regard
mathematics. In particular, he convinced me that behind each formalism there must be
a picture, and uncovering it, is a very important part of the creation process. Although
I did not directly acknowledge it, their influence is present throughout this book. I only
hope the filter of my mind captured the full richness of the ideas they so generously shared
with me.
My friends Louis Funar and Gheorghe Ionesei 1 read parts of the manuscript. I am
grateful to them for their effort, their suggestions and for their friendship. I want to thank
Arthur Greenspoon for his advice, enthusiasm and relentless curiosity which boosted my
spirits when I most needed it. Also, I appreciate very much the input I received from the
1
He passed away in 2006. He was the ultimate poet of mathematics.
i
Rarely in life is a man given the chance to revisit his “youthful indiscretions”. With
this second edition I have been given this opportunity, and I have tried to make the best
of it.
The first edition was generously sprinkled with many typos, which I can only attribute
to the impatience of youth. In spite of this problem, I have received very good feedback
from a very indulgent and helpful audience from all over the world.
In preparing the new edition, I have been engaged on a massive typo hunting, supported
by the wisdom of time, and the useful comments that I have received over the years from
many readers. I can only say that the number of typos is substantially reduced. However,
experience tells me that Murphy’s Law is still at work, and there are still typos out there
which will become obvious only in the printed version.
The passage of time has only strengthened my conviction that, in the words of Isaac
Newton, “in learning the sciences examples are of more use than precepts”. The new
edition continues to be guided by this principle. I have not changed the old examples, but
I have polished many of my old arguments, and I have added quite a large number of new
examples and exercises.
The only major addition to the contents is a new chapter on classical integral geometry.
This is a subject that captured my imagination over the last few years, and since the first
edition of this book developed all the tools needed to understand some of the juiciest
results in this area of geometry, I could not pass the chance to share with a curious reader
my excitement about this line of thought.
One novel feature in our presentation of integral geometry is the use of tame geometry.
This is a recent extension of the better know area of real algebraic geometry which allowed
us to avoid many heavy analytical arguments, and present the geometric ideas in as clear
a light as possible.
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
1 Manifolds 1
1.1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
§1.1.1 Space and Coordinatization . . . . . . . . . . . . . . . . . . . . . . . 1
§1.1.2 The implicit function theorem . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Smooth manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
§1.2.1 Basic definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
§1.2.2 Partitions of unity . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
§1.2.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
§1.2.4 How many manifolds are there? . . . . . . . . . . . . . . . . . . . . . 18
3 Calculus on Manifolds 76
3.1 The Lie derivative . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
§3.1.1 Flows on manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
§3.1.2 The Lie derivative . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
§3.1.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.2 Derivations of Ω∗ (M ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
ii
CONTENTS iii
7 Cohomology 218
7.1 DeRham cohomology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
§7.1.1 Speculations around the Poincaré lemma . . . . . . . . . . . . . . . 218
§7.1.2 Čech vs. DeRham . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
§7.1.3 Very little homological algebra . . . . . . . . . . . . . . . . . . . . . 224
§7.1.4 Functorial properties of the DeRham cohomology . . . . . . . . . . . 231
§7.1.5 Some simple examples . . . . . . . . . . . . . . . . . . . . . . . . . . 234
§7.1.6 The Mayer-Vietoris principle . . . . . . . . . . . . . . . . . . . . . . 236
§7.1.7 The Künneth formula . . . . . . . . . . . . . . . . . . . . . . . . . . 239
7.2 The Poincaré duality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 242
§7.2.1 Cohomology with compact supports . . . . . . . . . . . . . . . . . . 242
§7.2.2 The Poincaré duality . . . . . . . . . . . . . . . . . . . . . . . . . . . 246
7.3 Intersection theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250
§7.3.1 Cycles and their duals . . . . . . . . . . . . . . . . . . . . . . . . . . 250
§7.3.2 Intersection theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255
§7.3.3 The topological degree . . . . . . . . . . . . . . . . . . . . . . . . . . 260
§7.3.4 Thom isomorphism theorem . . . . . . . . . . . . . . . . . . . . . . . 262
§7.3.5 Gauss-Bonnet revisited . . . . . . . . . . . . . . . . . . . . . . . . . 265
7.4 Symmetry and topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
§7.4.1 Symmetric spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
§7.4.2 Symmetry and cohomology . . . . . . . . . . . . . . . . . . . . . . . 272
§7.4.3 The cohomology of compact Lie groups . . . . . . . . . . . . . . . . 275
§7.4.4 Invariant forms on Grassmannians and Weyl’s integral formula . . . 276
§7.4.5 The Poincaré polynomial of a complex Grassmannian . . . . . . . . 284
7.5 Čech cohomology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290
§7.5.1 Sheaves and presheaves . . . . . . . . . . . . . . . . . . . . . . . . . 290
§7.5.2 Čech cohomology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294
Manifolds
1.1 Preliminaries
We call such a process coordinatization. The corresponding map is called (in this case)
Cartesian system of coordinates. A line or a plane becomes via coordinatization an alge-
braic object, more precisely, an equation.
1
2 CHAPTER 1. MANIFOLDS
r
θ
all these descriptions must “agree” in some sense, since they all reflect the same phenom-
enon. In other words, these descriptions should be independent of coordinates. Differential
geometry studies the objects which are independent of coordinates.
The coordinatization process had been used by people centuries before mathematicians
accepted it as a method. For example, sailors used it to travel from one point to another
on Earth. Each point has a latitude and a longitude that completely determines its
position on Earth. This coordinatization is not a global one. There exist four domains
delimited by the Equator and the Greenwich meridian, and each of them is then naturally
coordinatized. Note that the points on the Equator or the Greenwich meridian admit two
different coordinatizations which are smoothly related.
The manifolds are precisely those spaces which can be piecewise coordinatized, with
smooth correspondence on overlaps, and the intention of this book is to introduce the
reader to the problems and the methods which arise in the study of manifolds. The next
section is a technical interlude. We will review the implicit function theorem which will
be one of the basic tools for detecting manifolds.
§1.1.2 The implicit function theorem We gather here, with only sketchy proofs,
a collection of classical analytical facts. For more details one can consult [26].
Let X and Y be two Banach spaces and denote by L(X, Y ) the space of bounded
linear operators X → Y . For example, if X = Rn , Y = Rm , then L(X, Y ) can be identified
with the space of m × n matrices with real entries.
Definition 1.1.1. Let F : U ⊂ X → Y be a continuous function (U is an open subset of
X). The map F is said to be (Fréchet) differentiable at u ∈ U if there exists T ∈ L(X, Y )
such that
kF (u0 + h) − F (u0 ) − T hkY = o(khkX ) as h → 0. u
t
Loosely speaking, a continuous function is differentiable at a point if, near that point,
it admits a “ best approximation ” by a linear map.
When F is differentiable at u0 ∈ U , the operator T in the above definition is uniquely
determined by
d 1
Th = |t=0 F (u0 + th) = lim (F (u0 + th) − F (u0 )) .
dt t→0 t
We will use the notation T = Du0 F and we will call T the Fréchet derivative of F at u0 .
Assume that the map F : U → Y is differentiable at each point u ∈ U . Then F is said
to be of class C 1 , if the map u 7→ Du F ∈ L(X, Y ) is continuous. F is said to be of class
C 2 if u 7→ Du F is of class C 1 . One can define inductively C k and C ∞ (or smooth) maps.
Example 1.1.2. Consider F : U ⊂ Rn → Rm . Using Cartesian coordinates x =
(x1 , . . . , xn ) in Rn and u = (u1 , . . . , um ) in Rm we can think of F as a collection of
m functions on U
u1 = u1 (x1 , . . . , xn ), . . . , um = um (x1 , . . . , xn ).
The map F is smooth if and only if the functions ui (x) are smooth. u
t
Exercise 1.1.3. (a) Let U ⊂ L(Rn , Rn ) denote the set of invertible n × n matrices. Show
that U is an open set.
(b) Let F : U → U be defined as A → A−1 . Show that DA F (H) = −A−1 HA−1 for any
n × n matrix H.
(c) Show that the Fréchet derivative of the map det : L(Rn , Rn ) → R, A 7→ det A, at
A = 1Rn ∈ L(Rn , Rn ) is given by tr H, i.e.,
d
|t=0 det(1Rn + tH) = tr H, ∀H ∈ L(Rn , Rn ). u
t
dt
Theorem 1.1.4 (Inverse function theorem). Let X, Y be two Banach spaces, and F :
U ⊂ X → Y a smooth function. If at a point u0 ∈ U the derivative Du0 F ∈ L(X, Y )
is invertible, then there exits a neighborhood U1 of u0 in U such that F (U1 ) is an open
neighborhood of v0 = F (u0 ) in Y and F : U1 → F (U1 ) is bijective, with smooth inverse. u
t
The spirit of the theorem is very clear: the invertibility of the derivative Du0 F “prop-
agates” locally to F because Du0 F is a very good local approximation for F .
More formally, if we set T = Du0 F , then
where r(h) = o(khk) as h → 0. The theorem states that, for every v sufficiently close to
v0 , the equation F (u) = v has a unique solution u = u0 + h, with h very small. To prove
the theorem one has to show that, for kv − v0 kY sufficiently small, the equation below
v0 + T h + r(h) = v
has a unique solution. We can rewrite the above equation as T h = v − v0 − r(h) or,
equivalently, as h = T −1 (v − v0 − r(h)). This last equation is a fixed point problem that
can be approached successfully via the Banach fixed point theorem.
the set S of solution (x, y) of the equation F (x, y) = z0 which lie inside U × V can be
identified with the graph of G, i.e.,
© ª © ª
(x, y) ∈ U × V ; F (x, y) = z0 = (x, G(x)) ∈ U × V ; x ∈ U .
Above, DF1 (respectively DF2 ) denotes the derivative of x 7→ F (x, y0 ) (respectively the
derivative of y 7→ F (x0 , y)). The linear operator Dξ0 H is invertible, and its inverse has
the block decomposition
1X 0
(Dξ0 H)−1 = .
−1 −1
− (Dξ0 F2 ) ◦ (Dξ0 F1 ) (Dξ0 F2 )
Thus, by the inverse function theorem, the equation (x, F (x, y)) = (x, z0 ) has a unique
solution (x̃, ỹ) = H −1 (x, z0 ) in a neighborhood of (x0 , y0 ). It obviously satisfies x̃ = x and
F (x̃, ỹ) = z0 . Hence, the set {(x, y) ; F (x, y) = z0 } is locally the graph of x 7→ H −1 (x, z0 ).
u
t
§1.2.1 Basic definitions We now introduce the object which will be the main focus
of this book, namely, the concept of (smooth) manifold. It formalizes the general principles
outlined in Subsection 1.1.1.
Definition 1.2.1. A smooth manifold of dimension m is a locally compact, paracompact
Hausdorff space M together with the following collection of data (henceforth called atlas
or smooth structure) consisting of the following.
Ψj ◦ Ψ−1 m
i : Ψi (Ui ∩ Uj ) ⊂ R → Ψj (Ui ∩ Uj ) ⊂ R
m
is smooth. (We say the various charts are smoothly compatible; see Figure 1.2). u
t
6 CHAPTER 1. MANIFOLDS
Uj
Ui
ψ ψ
i
j
ψ ψ −1
j i
m
m R
R
The first and the most important example of manifold is Rn itself. The natural smooth
structure consists of an atlas with a single chart, 1Rn : Rn → Rn . To construct more
examples we will use the implicit function theorem .
Definition 1.2.2. (a) Let M , N be two smooth manifolds of dimensions m and respec-
tively n. A continuous map f : M → N is said to be smooth if, for any local charts φ
on M and ψ on N , the composition ψ ◦ f ◦ φ−1 (whenever this makes sense) is a smooth
map Rm → Rn .
(b) A smooth map f : M → N is called a diffeomorphism if it is invertible and its inverse
is also a smooth map. u
t
Example 1.2.3. The map t 7→ et is a diffeomorphism (−∞, ∞) → (0, ∞). The map
t 7→ t3 is a homeomorphism R → R but it is not a diffeomorphism! u
t
Remark 1.2.4. Let U be an open subset of the smooth manifold M (dim M = m) and
ψ : U → Rm a smooth, one-to one map with open image and smooth inverse. Then ψ
defines local coordinates over U compatible with the existing atlas of M . Thus (U, ψ) can
be added to the original atlas and the new smooth structure is diffeomorphic with the
1.2. SMOOTH MANIFOLDS 7
initial one. Using Zermelo’s Axiom we can produce a maximal atlas (no more compatible
local chart can be added to it). u
t
Our next result is a general recipe for producing manifolds. Historically, this is how
manifolds entered mathematics.
Proposition 1.2.5. Let M be a smooth manifold of dimension m and f1 , . . . , fk ∈
C ∞ (M ). Define
© ª
Z = Z(f1 , . . . , fk ) = p ∈ M ; f1 (p) = · · · = fk (p) = 0 .
Assume that the functions f1 , . . . , fk are functionally independent along Z, i.e., for each
p ∈ Z, there exist local coordinates (x1 , . . . , xm ) defined in a neighborhood of p in M such
that xi (p) = 0, i = 1, . . . , m, and the matrix
∂f1 ∂f1 ∂f1
1 2 · · · ∂xm
∂ f~ ∂x
..
∂x
. . ..
|p := . .
. .
. .
∂~x ∂fk ∂fk ∂fk
∂x1 ∂x2
· · · ∂xm x1 =···=xm =0
Proof. Step 1: Constructing the charts. Let p0 ∈ Z, and denote by (x1 , . . . , xm ) local
coordinates near p0 such that xi (p0 ) = 0. One of the k × k minors of the matrix
∂f1 ∂f1 ∂f1
1 2 · · · ∂x m
∂ f~ ∂x
..
∂x
. . .
|p := . .
. .
. .
.
∂~x ∂fk ∂fk ∂fk
∂x1 ∂x2
· · · ∂x m
x1 =···=xm =0
is nonzero. Assume this minor is determined by the last k columns (and all the k lines).
We can think of the functions f1 , . . . , fk as defined on an open subset U of Rm . Split
R as Rm−k × Rk , and set
m
X = Rm−k , Y = Rk , Z = Rk ,
and F : X × Y → Z given by
f1 (x)
.. k
x 7→ . ∈R .
fk (x))
¡ ∂F ¢
In this case, DF2 = ∂x 00 : Rk → Rk is invertible since its determinant corresponds to
our nonzero minor. Thus, in a product neighborhood Up0 = Up0 0 × Up000 of p0 , the set Z is
the graph of some function
i.e., © ª
Z ∩ Up0 = (x0 , g(x0 ) ) ∈ Rm−k × Rk ; x0 ∈ Up0 0 , |x0 | small .
We now define ψp0 : Z ∩ Up0 → Rm−k by
ψp
( x0 , g(x0 ) ) 7−→
0
x0 ∈ Rm−k .
The map ψp0 is a local chart of Z near p0 .
Step 2. The transition maps for the charts constructed above are smooth. The details
are left to the reader. u
t
§1.2.2 Partitions of unity This is a very brief technical subsection describing a trick
we will extensively use in this book.
Definition 1.2.8. Let M be a smooth manifold and (Uα )α∈A an open cover of M . A
(smooth) partition of unity subordinated to this cover is a family (fβ )β∈B ⊂ C ∞ (M )
satisfying the following conditions.
(i) 0 ≤ fβ ≤ 1.
(ii) ∃φ : B → A such that supp fβ ⊂ Uφ(β) .
(iii) The family (supp fβ ) is locally finite, i.e., any point x ∈ M admits an open neigh-
borhood intersecting only finitely many of the supports supp fβ .
P
(iv) β fβ (x) = 1 for all x ∈ M . u
t
We include here for the reader’s convenience the basic existence result concerning
partitions of unity. For a proof we refer to [95].
Proposition 1.2.9. (a) For any open cover U = (Uα )α∈A of a smooth manifold M there
exists at least one smooth partition of unity (fβ )β∈B subordinated to U such that supp fβ
is compact for any β.
(b) If we do not require compact supports, then we can find a partition of unity in which
B = A and φ = 1A . u
t
§1.2.3 Examples Manifolds are everywhere, and in fact, to many physical phenom-
ena which can be modelled mathematically one can naturally associate a manifold. On
the other hand, many problems in mathematics find their most natural presentation using
the language of manifolds. To give the reader an idea of the scope and extent of modern
geometry, we present here a short list of examples of manifolds. This list will be enlarged
as we enter deeper into the study of manifolds.
One checks that, along the sphere, the differential of |x|2 is nowhere zero, so by Proposition
1.2.5, S n is indeed a smooth manifold. In this case one can explicitly construct an atlas
(consisting of two charts) which is useful in many applications. The construction relies on
stereographic projections.
Let N and S denote the North and resp. South pole of S n (N = (0, . . . , 0, 1) ∈ Rn+1 ,
S = (0, . . . , 0, −1) ∈ Rn+1 ). Consider the open sets UN = S n \ {N } and US = S n \ {S}.
They form an open cover of S n . The stereographic projection from the North pole is the
map σN : UN → Rn such that, for any P ∈ UN , the point σN (P ) is the intersection of the
line N P with the hyperplane {xn = 0} ∼ = Rn .
The stereographic projection from the South pole is defined similarly. For P ∈ UN we
denote by (y 1 (P ), . . . , y n (P )) the coordinates of σN (P ), and for Q ∈ US , we denote by
(z 1 (Q), . . . , z n (Q)) the coordinates of σS (Q). A simple argument shows the map
¡ ¢ ¡ 1 ¢
y 1 (P ), . . . , y n (P ) →7 z (P ), . . . , z n (P ) , P ∈ UN ∩ US ,
is smooth (see the exercise below). Hence {(UN , σN ), (US , σS )} defines a smooth structure
on S n . u
t
Exercise 1.2.12. Show that the functions y i , z j constructed in the above example satisfy
yi
z i = ³P ´ , ∀i = 1, . . . , n. u
t
n j 2
j=1 (y )
Note that T 1 is diffeomorphic with the 1-dimensional sphere S 1 (unit circle). As a set T n
is a direct product of n circles T n = S 1 × · · · × S 1 (see Figure 1.3). u
t
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
ebookfinal.com