Professional Documents
Culture Documents
and Topology
Anatolij Fomenko
as guest Professor
at the Mathematical Institute
in Heidelberg
Anatolij Fomenko
Visual Geometry
and Topology
With 50 Full-page Illustrations
and 287 Drawings
Springer-Verlag
Berlin Heidelberg New York
London Paris Tokyo
HongKong Barcelona
Budapest
Author:
Anatolij T.Fomenko
Dept. of Differential Geometry and Applications
Faculty of Mathematics and Mechanics
Moscow University, Moscow 119899
Russia
Translator:
Marianna V. Tsaplina
Moscow, Russia
Title of the Russian edition:
Naglyadnaya geometriya i topologia
Moscow University Press, 1993 (abridged version)
1.1 Polyhedra . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1 Introductory Remarks . . . . . . . . . . . . . . . . . . . .
1.1.2 The Concept of an n-Dimensional Simplex
Barycentric Coordinates . . . . . . . . . . . . . . . . . . 5
1.1.3 Polyhedra. Simplicial Subdivisions of Polyhedra.
Simplicial Complexes . . . . . . . . . . . . . . . . . . .. 8
1.1.4 Examples of Polyhedra . . . . . . . . . . . . . . . . . . . 10
1.1.5 Barycentric Subdivision . . . . . . . . . . . . . . . . . . 14
1.1.6 Visual Material ., . . . . . . . . . . . . . . . . . . . . . 16
2 Low-Dimensional Manifolds
1.1 Polyhedra
Geometry and topology most often deal with geometrical figures, objects
realized as a set of points in a Euclidean space (maybe of many dimen-
sions). It is useful to view these objects not as rigid (solid) bodies, but
as figures that admit continuous deformation preserving some qualita-
'~
tive properties of the object. Recall that the mapping of one object onto I
I ~
another is called continuous if it can be determined by means of continu- I __
o
2) Both end-points of each edge are included in the number of
vertices of the graph (Fig. 1.1.5).
A graph is called connected if it cannot be divided into two subgraphs
without common vertices and edges. Otherwise the graph is disconnected
and falls into several connected subgraphs called components of this
graph (connected components). r_r'
b-l
We have begun with the concept of a graph in order that already at
the beginning of Chap. 1 we could visually demonstrate the basic con-
cepts which are further on developed in a more general case of arbitrary
polyhedra. The reader who will now "feel" these concepts will easily
orientate in the entire material of the book. r -f'
If we remove one edge from the graph r without removing a single Fig. U.S
vertex (including the end-points of the edge), we shall have a subgraph
r'. This operation may apparently vary the number of connected com-
ponents in the graph. The number of components of the graph r' will
remain the same (as in the graph r) if the removed edge joined the ver-
tices of one and the same component of r ' (Fig. 1.1.5). On the contrary, Components of the graph
the number of components of the graph r will increase by one if the
removed edge joined vertices of different components of the graph r'.
The order of connectedness of a graph is the maximal number of
edges which can be removed without changing the number of components
of the graph.
4 1. Polyhedra. Simplicial Complexes. Homologies
Oriented edge aligned, will be denoted by - ..11. Each simple cycle on the graph with
the chosen direction of detour we shall write formally as an algebraic
sum of the constituent edges, taking each edge either with the "+" or
" -" sign depending on whether its direction coincides with that on the
cycle or is opposite to it. If a certain edge of the graph has not entered
in the cycle, we assume that it enters in the algebraic sum with zero co-
efficient. Consequently, each simple cycle z will be written as the sum
Cycles z = C]..1j + ... + ck..1l, where the numerical coefficients Ci are equal
to +1, -lor zero. We shall consider the various linear combinations of
such linear forms, i.e. of simple cycles written in the algebraic language.
Such general forms will not, generally speaking, correspond to simple
cycles. We shall call them cycles (without the adjective "simple"). After
Algebraic sum "grouping of like terms" such a general cycle becomes a linear form
a]..1j + ... + ak..1l, where the coefficients ai are integers already gener-
ally distinct from +I, -1, O. At the same time it is clear that the obtained
numerical coefficients aj are not quite arbitrary: they satisfy some linear
Chains relations. We might consider arbitrary linear combinations of the form
A]..11 + ... + Ak..1l, where the coefficients Ai are already arbitrary inte-
gers. Such linear combinations ar called chains. Clearly, a simple cycle
and a cycle are particular cases of chains. Not any chain is however a
cycle. A cycle is a linear combination of simple cycles.
1.1 Polyhedra 5
Suppose in a Euclidean space ]Rn+l we are given n + 1 linearly inde- n-dimensional simplex
pendent points Ao, ... , An. We assume the points to be independent,
so there are n + 1 vectors going from the origin into these points
(Fig. 1.1.7). We place at each point Ai a non-negative m~ss mi (i.e.
assume Ai to be a material point) and require that the resultant mass of
all the points be equal to unity. This means that we have tI,.e equality
mo + ... + mn = 1. The centre of gravity of these masses (points) is the
point A, the tip of the vector OA which has the form of the linear combi-
m,
nation OA = ~Al +.. ·+mnOAn of the vectors OAi joining the origin
o with the points Ai. The numbers mo, ... , mn are called barycentric
coordinates of the point A. They are related as mi ~ 0, mo+" ·+mn = 1.
By changing the masses mo, ... , ffin we force the point A to change its
position. As a result, it runs through a certain set ,1n, which is called an
n-dimensional simplex. In other words, the simplex,1n is a convex linear
hull of the points Ao, ... ,An+l • Therefore it is occasionally referred to
as a rectilinear (or Euclidean) simplex. Figure 1.1.7 gives the simplest
examples. A zero-dimensional simplex is represented by a point, one-
6 1. Polyhedra. Simplicial Complexes. Homologies
differing by an even permutation determine one and the same orientation Curvilinear simp/ex
of the simplex. If the orders of vertices differ by an odd permutation,
they determine opposite orientations of the simplex. For example, if two
neighbouring vertices of a simplex exchange places (within a given or-
dering), the orientation changes (Fig. 1.1.8). We shall sometimes denote
an oriented simplex by +L1n and a simplex with opposite orientation by Positive and
- L1n. negative orientation
Here we can trace out the connection with linear algebra. The above
definition of orientation is connected with the fact that a linear mapping
of an n-dimensional simplex onto itself determined by some permutation
of its vertices has either a positive or a negative determinant depending
of whether this permutation is even or odd. So, we shall in some cases
speak of a positive or a negative simplex orientation. It should be recalled
here that any permutation of vertices of a simplex can be obtained as a
composition of elementary permutations understood as a permutation of
neighbouring vertices. At the same time, a linear mapping of a simplex
onto itself, determined by permutation of two neighbouring vertices, has
a negative determinant.
In what follows we shall consider not only rectilinear (Euclidean)
simplexes themselves, but also their various homeomorphic images, i.e.
images of a rectilinear simplex under homeomorphisms. Such homeo-
morphic images of a simplex are called topological or curvilinear sim-
plexes. Let us, for example, examine a standard tetrahedron inscribed in
a sphere, i.e. positioned inside a sphere so that all of its vertices lie on the
sphere. Then the centre of the tetrahedron coincides with the centre of
the sphere. Projecting the edges of the tetrahedron from the centre of the
sphere onto the sphere, we obtain curvilinear triangles which are the im-
ages of the equilateral faces of the tetrahedron (Fig. 1.1.9). Consequently,
the sphere falls into the union of four curvilinear triangles - homeomor-
phic images of equilateral rectilinear triangles. Figure 1.1.9 shows the
process of transformation of a rectilinear triangle into a curvilinear one.
Curvilinear one-, two- and three-dimensional simplexes are also depicted.
Thus, on each curvilinear simplex there exist vertices, curvilinear faces Fig. 1.1.9
and edges. One can compose many more objects from curvilinear sim-
plexes than from rectilinear convex simplexes. The concept of convexity
is generally not so meaningful for the curvilinear simplex as it is for the Convex simp/ex
Euclidean rectilinear one.
8 1. Polyhedra. Simplicial Complexes. Homologies
Rectilinear simplex At the same time, each curvilinear simplex "remembers" its origi-
nation from a rectilinear simplex. To this end one could fix a concrete
homeomorphism of a rectilinear simplex onto a curvilinear one. From this
Linear map it is immediately clear how the linear map of two topological curvilinear
simplexes should be naturally defined. This is a topological map under
which the pre-images of points of curvilinear simplexes (the pre-images
belonging to rectilinear simples) are carried into one another through a
linear map of the corresponding rectilinear simplexes.
Using simplexes one can compose more complex objects and figures. Let
a set X of points of a Euclidean space (or, more generally, the so-called
Topological space "topological space") be represented as a union of a finite or countable
number of curvilinear simplexes of dimensions from zero to a certain
n. In other words, the set X is "glued" of curvilinear simplexes. It will
be useflli if we henceforth think of a topological (curvilinear) simplex
as a pair consisting of a rectilinear simplex and its topological map
into a certain set of points of a Euclidean space. The set of simplexes
covering X must include all the faces of these simplexes. For simplicity
we assume from now on the number of simplexes covering the set X
to be finite. We now impose simple and natural restrictions upon the
indicated subdivision.
We shall say that curvilinear simplexes form a finite simplicial sub-
Simplicial space division of the set X if the following two conditions are met.
1) There is a finite number of simplexes and each point of the set
X gets into a certain simplex (is covered by a certain simplex).
2) Either two simplexes do not intersect at all (do not have common
points), or one of them is a face of the other, or they have a cOmnlon
face which is the intersection of these simplexes.
Figure 1.1.1 0 represents all the versions of mutual disposition of two-
Fig. 1.1.10 dimensional simplexes. Figure 1.1.11 shows some "forbidden" situations.
As has already been mentioned above, with each curvilinear simplex
1.1 Polyhedra 9
From the preceding subsection one can see that a polyhedron can be
represented as a result of glueing of a certain (finite or infinite) number
of simplexes along some of their common faces. Glueing is understood
here as follows. We take two simplexes, in each of them take one face
and identify these faces through a linear map (in case the simplexes
are rectilinear) or through the corresponding topological map (in case
the simplexes are curvilinear) (Fig. 1.1.12). This procedure gives a more
Fig.1.1.12 complex object composed of two simplexes glued along one common
1.1 Polyhedra 11
Now let us examine a plate with two holes drilled (Fig. 1.1.17).
I
" ~
rr
____ ..,r Clearly, we again obtain a two-dimensional polyhedron composed of two
I
I rectangles each of which can be subdivided into simplexes. Applying an
appropriate homeomorphism, one can transform a ''plate with two holes"
into the object depicted in Fig. 1.1.17 and called in the mathematical
Fig.1.1.17
1.1 Polyhedra 13
allowance made for the arrows) (Fig. 1.1.19). The polyhedron obtained "" ::.....::... :-:
::. c I
a
is called a projective plane or a two-dimensional projective space. In the
sequel we shall repeatedly encounter this polyhedron and get acquainted Fig.1.1.19
in more detail with its various interesting properties.
+M
from an open one by adding a boundary sphere.
The examples of polyhedra listed above (Euclidean space, sphere,
sphere with handles, projective plane, Klein bottle) are in fact manifolds.
Figure 1.1.21 demonstrates two polyhedra (one-dimensional and two-
Fig. 1.1.21 dimensional) which are not manifolds. In both cases the point 0 does not
have a neighbourhood (in the polyhedron) homeomorphic, respectively,
to a one-dimensional disc (i.e. to an interval) and a two-dimensional disc.
,,
I
Fig. into the upper chamber and "eat out" its interior, except for the walls of
I
Open ball As has already been mentioned, there exist many ways to represent each
polyhedron in the form of a simplicial complex, i.e. to divide it into
Closed ball simplexes. Such ways are infinitely many. To have a deeper insight into
1.1 Polyhedra 15
Page 17, Fig. 1.1.25. Simplicial polyhedra. Cubic partitions and cubic ho-
mologies. To M. Bulgakov's "The Master and Margaret": night talk be-
tween Pontius Pilate and Afranii (story of Judas)
18 1. Polyhedra. Simplicial Complexes. Homologies
Simplicial chains The language of polyhedra and simplicial homology groups (see below)
is rather obvious and convenient for the first acquaintance with the im-
Simplicial portant geometric concepts. This language is primary enough, based on
homology groups
Page 19, Fig. 1.1.26. Cubic polyhedron and the action of boundary oper-
ator. To M. Bulgakov's "The Master and Margaret"; crucifixion of Jesus
Christ and hurakan over Jerusalem
Page 20, Fig. 1.1.27. Simplicial prisms and cubic homology groups. To M.
Bulgakov's "The Master and Margaret"; crucifixion of Jesus Christ; story
of St. Matthew - the Jesus' pupil; Gospel according to St. Matthew
1.2 Simplicial Homology Groups of Simplicial Complexes (polyhedra) 21
This shows how one can define chains with coefficients from an
arbitrary Abelian group. To this end one should consider linear forms
7,
2:i gi Ll where the coefficients gi belong to the abelian group G. The
arising Abelian group of chains with coefficients in the group G will be
denoted by Ck(X, G). In this notation, the above-defined group Ck(X) of
integer-valued chains will be written as Ck(X, Z). This is afree Abelian
Free Abelian group group because it is represented in the form of the direct sum of a certain
number of infinite Abelian groups Z.
1.2 Simplicial Homology Groups of Simplicial Complexes (Polyhedra) 23
ment) Lli is given by its two vertices Ao and Al (Fig.1.2.l). Then its A1 +
faces are represented by a pair of points Ao and Al taken one (Ao) with
6 -+
+: f).:.~
a "-" and the other (AI) with the "+" sign. Indeed, Lli = (Ao, AI), ..........
Ll~ = (-1)0 Al = AI; Ll~ = (_1)1 Ao = -Ao. Geometrically, the differ- Ao - A:z.
ence in the sign is explained by the fact that at the point Ao (Fig.1.2.l) Fig. 1.2.1
the arrow indicating the simplex orientation is turned inside the simplex,
while at the point Al outside the simplex. So, when moving along the
straight line on which the segment lies, we first enter the segment (the
"-" sign) and then leave it (the "+" sign). Therefore, the concept offace
orientation introduced above corresponds to the intuitive idea. We shall
consider the following example.
24 1. Polyhedra. Simplicial Complexes. Homologies
Two-dimensional simplex A two-dimensional simplex is given by three vertices Llz = (Ao, AI,
Az) (Fig. 1.2.1). The simplex has three one-dimensional faces (sides
of the triangle), namely, an edge Ll~ = (-I)o(AI,A z) = (AI, Az),
an edge .11 = (-1)1 (Ao,Az) = -(Ao,Az) = (A2,Ao), and an edge
.11 = (-Ii (Ao,AI) = (Ao,A I ). In Fig. 1.2.1 the arrows are placed on
one-dimensional faces of the simplex to show the orientation induced
on these faces. It should be emphasized that the edges (AI, A2) and
(A o, AI) are positively oriented and the edge (Ao, A2) is negatively ori-
Boundary edges ented. Therefore, we have replaced the edge -(Ao, A2) by an equivalent
edge (A2, Ao). From Fig. 1.2.1 it is seen that the formal definition of
induced orientation, given above, is in close agreement with geomet-
rical intuition. Indeed, from the calculations we have revealed that the
boundary edges endowed with induced orientation give one and the same
direction ofrotation on the triangle. Going round its boundary clockwise,
it would be natural to expect that the passed-by edges are endowed with
arrows indicating the same direction of motion. This is precisely what we
Algebraic boundary have obtained on the basis of the algebraic definition of induced orien-
of a simplex tation. Now we can define an important concept of algebraic boundary
of a simplex.
Induced orientation Definition. The boundary 8Llk of an oriented simplex Llk is the sum of
all its (k - I)-dimensional faces taken with induced orientation.
Boundary operator We shall write the simplex boundary in the algebraic language. We
obtain:
k
aLlk = L(_1)i Ll~-I = Ll~-I - Ll~-I + Ll~-I - ... Ll~-I
i=O
All these three edges determine one and the same clockwise rotation,
that is, precisely that orientation which is induced on the boundary of a
triangle if inside it one sets a clockwise rotation.
Weare now in a position to derme the boundary of an arbitrary Boundary of a chain
chain. Suppose e = al..1f + ... + aq..1~ is a simplicial integer-valued
chain.
a
1) The operator is linear. This means that for any k-dimensional
chains CI, C2 and for any integer coefficients a, b there holds the identity
o(aci + bC2) = aoC) + bOC2. To say it differently, the operator a deter-
Abelian group mines a homeomorphism of the Abelian group of k-dimensional chains
of k-dimensional chains Ck(X) into the Abelian (k - I)-dimensional chain group Ck-I (X). We
shall sometimes denote this operator by Ok indicating explicitly the di-
mensions of the chains on which the operator is defined. Consequently,
in the preceding subsection we have in fact defined the whole family of
operators 80, 01, ... , Ok, ... , an, where n = dim X (Le. the dimension of
Square of the the complex X). Thus, Ok: Ck(X) -+ Ck-I (X).
boundary operator 2) The square of the boundary operator ais identically zero.
a
Proof. Since the operator is linear, it suffices to prove the statement
only for elementary chains, Le. for a single k-dimensional simplex ..1k .
It is sometimes convenient to write the boundary operator in the form
O..1 k = Ef=o(-1 )i(Ao, ... , Ai, ... ,Ak),where the sign" (the hat) im-
A "
plies that the symbol under it is omitted, eliminated. We must prove that
{j2 == 0 a
02..1 k = O. Applying the operator for the second time, we obtain a
long sum which necessarily involves the following two summands:
two summands that we have distinguished enter in the overall sum with
opposite sign and therefore are mutually annihilated, which completes
the proof.
Its geometrical meaning is absolutely clear: the boundary of a simplex Boundary of a simplex
has no boundary. has no boundary
3) Ijo(ae) = 0 and at-O, then oe= O. This assertion is obvious, as
we are examining integer-valued chains and from the equality o(ae) = 0,
where at-O, it follows that aoe = 0, i.e. a(oe) = 0 and oe = 0 (the
coefficient at- 0 can be cancelled out).
Clearly, all these objects (boundary operator, cycles, boundaries) can also
be defined for an arbitrary Abelian group of coefficients. We shall not
repeat here the corresponding definitions and invite the reader to do it
himself.
4) The set of cycles forms an Abelian subgroup in a chain group.
This subgroup is denoted by Zk(X). The set of boundaries forms an Set of boundaries
Abelian subgroup in a chain group. This subgroup is denoted'by Bk(X).
Each boundary is a cycle. This means that the subgroup Bk(X) is always Each boundary
contained in the subgroup Zk(X). These statements follow from linearity is a cycle
of the operator 0 and from the equality & == 0 proved above. A cycle
should not necessarily be a boundary. This means that in the general
case the group Zk(X) can be larger than the subgroup Bk(X). So, Ok:
Ck(X) --+ Bk_I(X); Ok: Zk(X) --+ 0, Ok-I: Bk_I(X) --+ O.
Theorem. The simplicial homology groups of the polyhedron do not Different triangulation
depend on the way the polyhedron is represented as a simplicial complex. of the polyhedron
Betti number where 13k is the rank (the Betti number), ZPi are fmite cyclic Abelian
groups of orders Pi, and each number Pi may be assumed to be a divisor
of a preceding one. The numbers PI , ... , Ps are sometimes referred to as
Torsion coefficients torsion coefficients of the simplicial complex X in dimension k.
towards the vertex (3) and then to assign to each link, i.e. to each one-
dimensional simplex, an integer equal to unity. As a result, we obtain a
chain, = ..11 +... +..11, where N is the number of edges composing the
path. Let us find the boundary of this chain. Consider an interior vertex Interior vertex
ai of the path, i.e. a vertex which is the end of a certain edge ..11 and
the beginning of the subsequent edge ..11+1 (Fig. 1.2.5). Then we have:
8..11 = ai - ai-\, 8 ..11+1 = ai+1 - ai. Therefore,
Consequently, each interior vertex will enter the sum twice, once with the
"+" and then with the "-" sign, which entails mutual cancellation of these
two summands. This does not happen only to the two boundary vertices Boundary vertices
a = ao and (3 = aN, i.e. to the initial and terminal points of the path ,.
Hence, 8, = aN - ao =(3 - a. This means that the zero-dimensional chain
(3 - a is homologous to zero (it is represented as the boundary of some
one-dimensional chain ,). This implies our statement. Indeed, since any
zero-dimensional vertex (with coefficient 1) is homologous to the chosen
vertex a, it follows that any zero-dimensional chain I:f=1 ai..1~ = c is
homologous to the zero-dimensional chain rna = (I:f=1 ai) a. Thus, to
calculate the zero-dimensional group Ho(X) it suffices to consider only
one vertex a. From this we obtain that the group Ho(X) of the' connected
complex X is the same as that of the complex consisting of a single point Homologies of a circle
a. But the latter group is isomorphic to Z all the cycles here have the form
rna, where m is an arbitrary integer (there are no nonzero boundaries).
From the above arguments one can immediately deduce the proof
of the fact that the group Ho(X) of the disconnected complex X is iso-
morphic to 7!}, where q is the number of arcwise connected components.
We shall not do it here and leave the proof to the reader.
2) Homologies of a circle. Let us consider a simplicial partition of
,i
a circle 8 1. Clearly, it is given by the set of vertices ao, ... ,aN and the
one-dimensional simplexes confined between neighbouring vertices.
We prescribe a clockwise orientation to all these one-dimensional edges
(Fig. 1.2.6). The zero-dimensional homology group Ho(8 1) is already Fig. 1.2.6
known to us - it is isomorphic to Z. The groups Hi(8 1), where i > 1,
are equal to zero since the complex 8 1 is one-dimensional.
34 1. Polyhedra. Simplicial Complexes. Homologies
One-dimensional and It remains to calculate the group HI(SI). We state that HI(SI) = z.
two-dimensional homology An arbitrary one-dimensional chain has the form e = ao'Yo + ... +an'YN,
groups of 2-manifolds where aj are integers. In what case is such a chain a cycle? Calculating
the chain boundary, we obtain
oe = ao(al - ao) +al (a2 - al)+'" +aN(ao - aN)
We remove the brackets amd group the like terms. As a result, we are
led to the following zero-dimensional chain:
oe=(-ao+aN)ao+(ao-aJ)al + ... +(aN-I-aN)aN .
2-dimensional topological Thus, the one-dimensional chain e is a cycle if and only if oe = 0, Le. if
manifold is a polyhedron the coefficients ai satisfy the following system of equations:
-aD + aN = 0, ao - al = 0, ... , aN-I - aN =0 .
From this we obtain ao = al = ... = aN-I = aN. Thus, the chain e is
a cycle if and only if all the coefficients are equal to one another. In
other words, we habe described all one-dimensional cycles. They have
the form z = abo +... +'YN), where a is an arbitrary integer. The group
Sphere, torus, of one-dimensional boundaries BI(SI) is equal to zero since there are
sphere with handles no chains of dimension two. Therefore, the group of one-dimensional
homologies HI (Sl) coincides with the group of one-dimensional cycles
ZI (Sl). Since all one-dimensional cycles have the form a (E 'Yi), where
a E Z, it follows that the one-dimensional homology group is isomorphic
to Z. Thus, for a circle we have: Ho = Z, HI = Z, Hi = 0 for i 0, 1. r
3) Two-dimensional homology groups of two-dimensional polyhe-
dra, which are manifolds without boundary. We shall say that a two-
dimensional topological manifold has no boundary ifeach of its points
~
..::::..:...
::,. ..
:::': has a neighbourhood homeomorphic to an open two-dimensional disc (the
::
'
:'. '"
.: .. ...... .
centre of this disc is a point). Any two-dimensional topological manifold
is a polyhedron. We shall for simplicity examine only those manifolds
~CJ32
which are finite polyhedra. For example, a sphere, a torus, a sphere with
handles are manifolds without boundary. To demonstrate this defmition,
Fig. 1.2.7 Fig. 1.2.7 gives examples of manifolds with boundary. Points lying on
the boundry (boundary points) differ from interior points in that they
possess a neighbourhood homeomorphic to half a disc, the point itself
lying on the diameter of this half disc. A manifold without boundary has
no such points.
1.2 Simplicial Homology Groups of Simplicial Complexes (polyhedra) 35
Theorem. The two-dimensional homology group H2(M) of a finite con- Orientable and
nected polyhedron which is an orientated manifold without boundary is non-orientable manifolds
isomorphic to a group of integers Z. If the manifold is non-oriented, the
group H2(M) is equal to zero.
cide on all the other edges or triangulation. In other words, the cycle z
can be taken from the edge t.
Proof of the lemma Proof. Let the edges be oriented as shown in Fig. 1.2.10. We shall
calculate the difference z - z' of the cycles z and z'. From Fig. 1.2.11 it
seen that as a result we obtain a cycle assuming the values a on t, -a on
7, and -a on fl. We shall consider a two-dimensional chain e acquiring
the value a on a triangle Ll and equal to zero on all the other triangles
of triangulation. Let us calculate its boundary 8e. Clearly, we obtain a
Edges of triangulation one-dimensional chain equal to zero on all the edges of triangulation
different from t, 7, fl and equal respectively to a, -a and -a on these
\ l-l' / \ q ,.
latter edges. Here we make use of the fact that the oriented boundary of
the triangle Ll consists of edges t, - fl, and -7 (Fig. 1.2.11), and therefore,
\v"~/
-
()
-q
~
q 0 (8e)(t) = +a, (8e)( -fl)) = a, (8e)( -7) = -a. Thus, the cycles z and z'
are homologous since z - z' = 8e. The proof of the second and third
i d(a.t/-) =!
parts of the lemma is carried out in a similar way (see Figs. 1.2.10 and
1.2.11). We shall not dwell on this proof and only point out that the
equality b = e in item 2 the equality a = 0 in item 3 follow from the
condition 8z = O. This statement is based on the fact that the vertex A is
incident only to two edges of triangulation on which the cycle acquires
a nonzero value, namely, to the edges 7 and fl. The other edges, incident
to A, make a zero contributiop. to the zero-dimensional chain 8z. This
Fig. 1.2.11 completes the proof of the lemma.
Polygonal lines certain point of the cycle and do not return onto this cycle. Thus, a system
with free ends of rubber threads representing a cycle can be continuously deformed
about the manifold, by glueing the threads and simplifying the cycle
support. For example, a closed curve drawn on a torus and going round
it twice along the parallel (and evidently representing a one-dimensional
A#\~ cycle) can be continuously deformed into a curve which is also a parallel
V@]~O}tJ
11; .;
but taken with coefficient 2 (Le. into a parallel passed twice).
5) Homologies of a sphere. We shall consider an arbitrary fmite
,.,w ......
triangulation of a two-dimensional sphere (Fig. 1.2.13). Let z be an ar-
Fig. 1.2.13 bitrary one-dimensional cycle. We state that it is homologous to a zero
cycle, i.e. to a cycle which is identically zero on all edges of triangula-
tion. We apply the preceding lemma. It states that one can always remove
any edge ("erase" it) from the composition of the cycle z by adding the
numerical value given initially on this edge to two adjacent edges of the
triangle which contained this edge. As a result, one obtains a new cycle
homologous to the initial one. We start this operation with an arbitrary
Homologies of a 2-sphere edge. We erase it, redistribute the number ascribed to it between the ad-
jacent edges, take the next edge, erase it, etc. Repeating the process a
fimte number of times and combining it with operations 2 and 3 (see the
lemma), we run over all the edges of triangulation (they are finite). In
Case of the penultimate step we obtain a cycle equal to zero everywhere except
n-dimensional sphere on the edges of one triangle, on which the cycle assumes vales a, b, c.
But since we are dealing with a cycle, a = b = c. Consequently, in the
last step, extruding one of the edges onto the sum of two other edges. we
liquidate all the three numbers and as a result obtain a cycle homologous
Deformation of to the initial one but equal to zero on all the edges. We have proved that
multidimensional cycles the one-dimensional homology groups of a sphere is trivial (equal to
zero). Thus, HO(S2) = 'l, HI (S2) = 0, H2(S2) = 'l. We invite the reader
to prove that the homology groups of an n-dimensional sphere have the
form: Ho(sn) = 'l, Hi(sn) = 0 for 1 ~ i ~ n - 1, Hn(sn) = 'l. At the
same time the reader will have to prove a multidimensional analogue of
the lemma on cycle deformation. From the proof of our lemma one can
see that one can similarly deform supports of multidimensional cycles by
extruding them inside a multidimensional cycle and replacing one face
of the simplex by the sum of the rest of its faces (with altered numerical
values).
1.2 Simplicial Homology Groups of Simplicial Complexes (Polyhedra) 41
mind that all the four vertices of the square, AI,A2,A3,~, represent
actually one and the same polyhedron vertex. This fact is dictated by the
rule of identification of the sides of a square in the case of a torus. This
proves the statement.
Thus, each one-dimensional cycle is homologous to a cycle of the
form ma+n{3, the cycles a and {3 being linearly independent. Therefore,
the one-dimensional homology group HI (T2) of the torus is isomorphic
to the direct sum Z EB Z two copies of the group Z.
Returning to the model of a torus in the form of a ''roll'' (Fig. 1.2.14)
we can see that the generator a corresponds to the torus parallel and the
generator (3 to the torus meridian. As has been proved above, any other
cycles on the torus are a linear combinations ofthe parallel and meridian
taken with arbitrary integer coefficients.
7) Homologies of the sphere with 9 handles. It is now clear how
one should calculate the one-dimensional homology group of a sphere
with an arbitrary number of handles. Recall that a torus is a sphere with
a single handle. A sphere with 9 handles is convenient to represent as
Fig. 1.2.15 shown in Fig. 1.2.15. One can see that the consideration is largely reduced
to a multiple repetition of the construction which we have realized on a
torus. To this end we construct a convenient triangulation of a sphere with
9 handles. We shall cut the surface curvilinearly, as shown in Fig. 1.2.15.
As a result, we obtain a flat polygon with 4g sides. On a handle with
number i we denote the parallel by ai and the meridian by {3i. Then the
sides of the polygon obtained are numbered as follows (we write down
the letters in the order of their appearance in a clockwise detour on
the boundary: 0'.1 {31 all {31 1... a g{3g a; I{3; I. We triangulate the polygon
(and thus the surface) as shown in Fig. 1.2.16. Clearly, we can now repeat
the arguments used above for the torus. First we prove that each cycle z
is homologous to a cycle z' which has the form
Here mj, ni are integers. Next, we prove, as in the case of the torus,
that all the cycles aj = aj + bi and (3j = Cj + dj, where 1 ~ i, j ~
g, are linearly independent. We therefore point out in an explicit form
Fig. 1.2.16 the basis in the group H1(Mg), where Mg is a sphere with g handles.
1.2 Simplicial Homology Groups of Simplicial Complexes (polyhedra) 43
Namely, the basis consists of the cycles ai, ... , a g and (31, ... , (3g. Thus, Homologies of a
HI(Mg) = Z E!1'" E!1 Z (29 times), i.e. HI (Mg) = Z29. Summarizing the sphere with handles
results obtained above, we now can formulate the following theorem.
Calculating its boundary, we obviously obtain from Fig. 1.2.17 the rela-
Projective plane tion 8T = 2a + 2b + 2c + 2d = 2"1, and the statement follows. We have
and Klein bottle proved therefore that the group HI (RP2) is isomorphic to the group Z2
whose generator is the cycle "I depicted in Fig. 1.2.17, i.e. "I = a+b+c+d.
edges - cycles 0:1,"" O:k taken with arbitrary integer coefficients, i.e.
z' = ml 0:1 +... +mkO:k. Given this, the cycle 2(0:1 +... +O:k) is homo-
logous to zero since it is the boundary of a two-dimensional chain which Homologies of
takes the value 1 on each oriented triangle. Consequently, for the gener- non-orientable 2-surfaces
ators in a one-dimensional homology group one can take the following
cycles: 0:1, ... , O:k-I, h, where h = 0:1 + ... + O:k-I +O:k. Then 2h 0,tv
and the cycles 0:1, ... , O:k-I are free. As a result, the homology group
HI is isomorphic to the direct sum Zk-I Ell Z2.
k-dimensional This matrix has Cik rows and Cik+I columns. It is called a k-dimensional
incidence matrix incidence matrix. Thus, with each triangulation of the polyhedron there is
associated a set of incidence matrices EO, ... , En-I, where n = dim X.
Let us consider the simplest examples.
In Fig. 1.3.1 one can see two polyhedra: a segment and a triangle. In
the case of a segment we have a single incidence matrix EO of the form
.1 1
EO=.10 -1
1
.1~ +1
What is the role of incidence matrices? It turns out that a simplicial com-
Polyhedron triangulation plex (co"esponding to a given polyhedron triangulation) is completely
(and uniquely) determined by the incidence matrices.
Incidence matrices Indeed, knowing these matrices and taking an arbitrary simplex .1j
of a simplicial complex we uniquely restore to which simplexes of dimension n - 1 it is inci-
dent. Continuing this process in the order of decreasing dimension, we
ultimately restore the whole scheme of simplicial complex, i.e. find out
which of its simplexes are incident and which are not. Consequently,
all the properties of a simplicial complex are laid in its incidence ma-
trices and must be calculable if these matrices are known (given). This
also refers to the simplicial homology groups of a complex. To put it
1.3 General Properties of Simplicial Homology Groups 51
Since the simplexes Ll~-I are linearly independent (as elementary chains),
equality to zero of their linear combination with some coefficients im-
plies that all these coefficients are equal to zero. Therefore, we are led
to the system of equations: Ef:i afja~q- I = 0, where 1 ::; j ::; ll!k+ I, 1 ::;
q ::; ll!k- I. Clearly, for a fixes k this system is equivalent to a single
matrix equation, namely, E k- I Ek = O. Here the index k runs over the
range from 0 to n - 1. Figure 1.3.1 shows that muliplying the ll!k- I X ll!k
matrix Ek-I by the ll!k x ll!k+I matric Ek, we obtain a new ll!k-I x ll!k+I
matrix composed entirely of zeros.
The system of matrix equations obtained writes, in the incidence
matrix language, the fact that the square of the boundary operator a Simplification
is equal to zero. Suppose that instead of the elementary chains chosen of incidence matrices
above we have passed over to another basis in the chain space, using
a nondegenerate linear transformation. Then the incidence matrices Ek
will, of course, transform to become some new matrices Ek. But it is
readily seen that the matrix equation E k - I Ek = 0 remains unchanged,
i.e. the identity Ek- I Ek = 0 holds as before. Indeed, passing over to
another basis in the chain space does not alter the geometric fact that the
square of the boundary operator is equal to zero.
This simple observation offers the opportunity to simplify incidence Change the basis
matrices by changing the basis in the chain spaces. We wish to reduce in the chain groups
these matrices to the simplest, canonical form in order that we could
52 1. Polyhedra. Simplicial Complexes. Homologies
Different types Lemma. 1) Under type 1 transformations, the matrix tk-1is obtained
of transformations from the matrix Ek-l by adding to the i-th column of the matrix Ek-l
its t-th column. The matrix tk is obtained from the matrix Ek by sub-
straction of the i-th row from its t-th row.
2) Under type 2 transformations, the i-th column of the matrix Ek-l
and the i-th row of the matrix Ek are multiplied by -1 (i.e. all the
elements of this column and this row reverse signs).
3) On renumbering simplexes (i --t j and j --t i) the corresponding
rows (columns) exchange places.
terms of its minors. Since we do not need here their explicit form, we
omit these formulas and only note that the very fact of their existence Algorithmic calculation
permits algorithmic calculation of all the invariant factors. of invariant factors
We now change a little the canonical form and normalize the inci-
dence matrices. It should be understood that it is insignificant for us that
the matrices EO, ... ,En-I are incidence matrices of a certain simplicial
complex. It is only essential that they satisfy the equations Ek- IEk = 0.
In other respects these matrices are arbitrary.
We begin for simplicity with the matrix EO. We reduce it to the
canonical form and then, applying elementary transformations, permute
invariant factors of the matrix EO so that they single out the right top
,0
comer of the matrix EO (Fig.1.3.2). Let be the rank of the matrix
EO. The matrices EO and EI being related by the equation EO EI =
0, the transformation of the matrix EO to the form HO automatically Fig. 1.3.2
entails the transformation of the matrix EI. Since EO EI = 0, the last
,0 rows of the transformed matrix EI must consist entirely of zeros.
Otherwise, multiplying be nonzero invariant factors, we would obtain
nonzero elements.
Now we start transforming the upper al -,0 rows of the matrix EI.
These transformations induce transformations of the first al-,o columns
of the matrix EO, and since these columns already consist entirely of
zeros, the corresponding incidence coefficients a~j will not change. It
is only one-dimensional basis chains that can change. Given this, the
matrix EO assumes its final normal form which we denote by HO. Next,
making transformations of the columns of the matrix EI (which do not
already change the matrix HO), we reduce the matrix EI to the normal
form HI in which the invariant factors occupy the same position as in
the matrix HO (they out the right top comer of the matrix). This process
can be extended to higher dimensions. As a result, we reduce all the
incidence matrices to the normal form. We shall describe in more detail Normal form
the indicated normal form vf the matrices. of the incidence matrix
The incidence matrix Ek reduces to the normal form Hk is such
that all its elements are equal to zero except for those positioned on the
diagonal segment which singles out the right top comer of the matrix
(Fig. 1.3.3). On this diagonal there first appear gk numbers cf, ... ,c~k' Diagonal of
different from unity, each of which is a divisor of a preceding one. The incidence matrix
rest of the numbers on the diagonal are equal to unity. Their amount is
54 I. Polyhedra. Simplicial Complexes. Homologies
equal to Ik - (lk. It turns out that this form of incidence matrices permits
immediate calculation of integer-valued homology groups. Let us repre-
sent a homology group Hk(X) as the direct sum of a free Abelian group
F and a fmite group T. The group F = 'lf3k is uniquely characterized
Rank of homology group by its rank {3k (by the number of free generators, i.e. infinite~order gen-
erators). The group T can be represented as the direct sum of its finite
subgroups 'lc~ E9 ... E9 'lc~k of orders cf, ...
,C~k respectively, and (as is
cf
known from algebra) the orders can always be assumed to be a divisor
Torsion coefficients of a preceding one. The numbers cf, ...
'~k are sometimes referred to
of homology group as k-dimensional torsion coefficients. Thus, the k-dimensional homology
group Hk(X) is uniquely defined by its rank and its torsion coefficients.
All these umbers appear to be calculable if one knows normalized inci-
dence matrices. There holds the following important theorem.
In terms of the above notation we have the identities: cf = cf, ... ,c~k
= ~k' where {lk = '{Jk;{3k = Ilk -,k -'k-I· We shall present the scheme
of the proof of this theorem. Consider k-dimensional chains of the com-
plex X and divide their basis into three groups. Chains of each group
Normalized we denote, respectively, by Ak, Bk and Ck. Any k-dimensional chain
incidence matrices is representable in the form of their linear combination. We choose the
indicated three groups according to the form of the matrices H k- I and
Hk (Fig. 1.3.3). The number of chains of the form Ck is equal to Ik-I.
Incidence equations All of them have a nonzero boundary, i.e. they are not cycles. Indeed,
the boundary of each chain of the form Ck is obtained by multiplication
of a chain of the form Ak-I by a nonzero invariant factor of the matrix
H k- I (Fig. 1.3.3). We shall write the three groups of chains introduced
above in an explicit form and indicate their number.
1.3 General Properties of Simplicial Homology Groups 55
We have:
This notation is introduced for reader's convenience in Fig. 1.3.3 on the Finite-order elements
matrices H k - 1 and Hk.
We now calculate the boundaries of chains of the form Ak and Bk.
From the form of the matrix H k- 1 it is clear that all these chains are k-
dimensional cycles since all the matrix columns corresponding to chains Generators of
of the form Ak and Bk consist entirely of zeros. Thus, oAf = 0, oBj = O. homology groups
Next, from the normalized incidence matrices one derives the following
system of equation: cf Af oCr
= 1, where cf
are nonzero numbers that
stand on the bold-faced diagonal of the matrix Hk in Fig. 1.3.3 (i.e. in-
variant factors). Consequently, all cycles of the form Afare finite-order
elements, and this order is equal to the number cf,
i.e. to the corre-
sponding invariant factor. Thus, the cycles A~, ... , ~k are generators of
fmite subgroups in the homology group Hk(X), and the order of these
Af
generators (generated by elements of cyclic subgroups) is equal to cf.
We now consider the remaining cycles of the form Bk which are
obviously equal in number to Ci.k -'Yk -'Yk-l (Fig. 1.3.3). All these cycles I ,
are remarkable for the fact that none of their linear combination with 1c I I
A I I
nonzero coefficients is a cycle homologous to zero. This is clearly seen : I
, I
from the matrix Hk, where the horizontal line composed of rows of the
form Bk consists entirely of zeros. This just means that the boundaries
of all (k +1)-dimensional chains (with our normalization of the incidence
matrix) are "outside" the chains Bk and their linear combinations. All "'\IH>'- ~
the cycles Bf are, therefore, free generators in the homology group. This fle+! P1:+1 J'f< 1-/*
completes the proof of the theorem. Fig. 1.3.3
Let us sum up the results. The basis in a k-dimensional chain group
can be divided into three parts, i.e. into chains of the form Ak, Bk
and Ck. Chains of the form Ck are not cycles, and therefore are of
no interest for us from the point of view of the calculation of the k-
dimensional homology group Hk(X). Chains of the form Ak and Bk
are cycles. Cycles Bf are free generators and cycles Aj are finite-order
generators, this order being equal to the corresponding invariant factor
of the incidence matrix.
At the same time one should realize very clearly that the practical
calculation of homologies using incidence matrices is rather cumbersome
56 1. Polyhedra. Simplicial Complexes. Homologies
We shall consider a torus depicted in Fig. 1.3.4 as a square with Cell homology groups
identified opposite sides. For the basis of cell chains we can take, for
example, the following objects:
As has already been noticed, the homology groups are important and for
they do not depend on the choice of triangulation of a polyhedron.
Theorem. Let X be a finite polyhedron and let K), K2 be the sim- Simplicial mapping
plicial complexes corresponding to two arbitrary triangulations of this
polyhedron. Then the simplicial homology groups Hj(KI) and Hj(K2)
are isomorphic and coincide (by definition) with the homology groups Simplicial homologies
Hj(X) of the polyhedron. of the polyhedron
We shall not prove this theorem since the proof is fairly trivial and
technically cumbersome. We shall only give the brief scheme of the proof
displaying its visual geometrical meaning.
Suppose X is a polyhedron on which a certain triangulation gener-
ating a simplicial complex K is fixed. We have introduced before the Chain complex
groups of simplicial chains Cj(K) and the boundary operators 8j . Taking
all these groups together, we may organize them in a sequence of groups
and homomorphisms of the form
-t CI(K) ~ CoCK) ~ Z - t 0 .
60 1. Polyhedra. Simplicial Complexes. Homologies
- and two-dimensional simplexes Lli and Ll2. It is quite clear how this
process should be extended to higher dimensions. Doing so, we have
constructed and shall henceforth consider only such triangulations of the
prism K x I which coincide on the prism bases (Le. on K x 0 and K xl)
with the given triangulation of K, the triangulated prism K x I falling
into the union of prism Lli x I, there Lli runs over all the simplexes of the
complex K. We shall not repeat these conditions each time in the sequel,
but we simply speak of triangulation of the prism K x I compatible with
Fig. 1.3.6 the initial triangulation of K.
Commutativity
of the diagram
1) If I: K ...... Land g: L ...... N are simplicial maps of the simplicial Identity self-map
complexes K, L, N, then (g/)* = g*I*.
2) If lK is an identity self-map of the complex K (it is obviously
simplicial), then (lK)*: Hi(K) ...... Hi(K) is an identity homomorphism
(for any i).
To prove the theorem, we shall require the concept of chain ho- Chain homotopy
motopy. Let G = {Gi } and G' = {Gn be two chain complexes, i.e.
Gi =Gj(K) and CI =Gi(L). Let 'P and ¢ be two maps of G into G', i.e.
'P = {'Pi}, ¢ = {¢i}, where 'Pi and 'Pi are the homomorphisms Gi ...... CI·
We shall say that we are given a chain homotopy D between the maps
'P and ¢ of the chain complex G into the chain complex G' if we are
given a set D ={Di} of homomorphisms Di : Gi ...... CI+l such that for
each i there holds the equality Di-18i + a:+l Di = 'Pi - ¢i. This can be
written as the following diagram
62 1. Polyhedra. Simplicial Complexes. Homologies
Chain-homotopic maps
of chain complexes
••• - t I - G'j -
G'j +8i+! a;
It is natural to call such two maps <P and 'l/J of chain complexes G and
G' chain-homotopic.
Chain-homotopic maps of chain complexes induce indentical maps
of homology groups. In other words, if <P is chain-homotopic to <p then
all the homomorphisms <P*, 'l/J* : Hj(K) - t Hj(L) coincide.
Indeed, if the chain Z E Gj(X) is a cycle, i.e. aiZ = 0, then by
the definition of chain homotopy we have: <Pi(Z) - 'l/Ji(Z) = Dj-l ai(z) +
~+IDi(Z) = ~+I(Di(Z» = ~+I(w), i.e. under the maps <Pi and'l/Ji the
Chain-boundary images of the cycle Z differ by a chain-boundary, and therefore they are
homologous. This completes the proof.
The proof of the corollary follows immediately from the lemma and
from the properties of chain homotopy. It remains to prove the lemma.
Since the maps j and 9 are simplicially homotopic, there exists a
Triangulation of the prism simplicial map of the prism K x I into L, the prism being triangulated in
a compatible way (the triangulation on its bases coincides with the initial
triangulation of the complex K). One should construct a chain homotopy
of the chain complex Gi(K) into the chain complex Gi(L). It suffices to
Chain homotopy specify this chain homotopy only on some individual simplexes of the
complex K. So, let Lli be an arbitrary simplex in K. Since the triangu-
lation of the prism K x I is compatible with (respects) the triangulation
of K, a prism Lli x I embedded into the prism K x I hangs over the Ll j .
The prism Lli x I is triangulated in some way (it is of no importance for
us in what particular way). Accordingly, it is a simplicial complex itself.
1.3 General Properties of Simplicial Homology Groups 63
The proof (which we omit here) follows from the chain homotopy
Fig.1.3.? property, from Fig. 1.3.7 and from the theorem on simplicial approxima-
tion.
Returning to the theorem on independence of homology groups of
the choice of triangulation, we can note the following. Comminuting
one triangulation (reducing it to smaller fragments), on the one hand
we do not change the homology group (see above). On the other hand,
we cover the complex with increasingly small simplexes. Beginning with
another triangulation, we cover the polyhedron with very small simplexes
Independence of homology also without changing the homology groups. One can prove that the
groups of the choice comminuted cycles of the first triangulation can be associated with some
of triangulation other cycles that combine features of simplicial and cell chains. The same
can be done with another triangulation. From this we deduce isomorphism
of homology groups.
Two polyhedra X and Yare called homotopically equivalent if there
exist continuous maps f: X -+ Y and g: Y -+ X such that their com-
positions f 9 and 9f are respectively homotopic to identity selfmaps I y
Homotopically and Ix. The properties of homology groups immediately imply that ho-
equivalent polyhedra motopically equivalent polyhedra have equivalent homology groups. In-
deed, (jg)* = (ly)* = id,(gf)* = (lx)* = id, i.e. the homomorphisms
f*: Hj(X) -+ Hj(Y) and g*: Hj(Y) -+ Hj(X) are mutually inverse, and
therefore each of them is an isomorphism.
1.3 General Properties of Simplicial Homology Groups 65
Page 67, Fig. 1.3.8. Theorem on simplicial approximation. From the cy-
cle "Signs of Zodiac" - constellation of Virgo; and simultaneously - the
picture for Bulgakov's novel (Margaret's flight)
Page 70, Fig. 1.3.11. Prism triangulation, chain homotopy and indepen-
dence of homology groups of triangulation. Egyptian legend about star
Sotis; ancient priests in the temple devoted to Sotis
Page 72, Fig. 1.3.13. Chain homotopy prisms and invariance of homology
groups. To M. Bulgakov's 'The Master and Margaret": crucifixion of Jesus
Christ; non-canonical version of Middle Ages
a gravitational field), cylindrical (in the study of liquid column stability Open region
and surface tension forces), etc.
The analysis of all such coordinate systems suggests that they are
based on some general idea which admits a simple and independent
formulation.
We consider an arbitrary open region C in ]Rn endowed with Carte-
sian coordinates xl, ... , xn. Assigning each point P from C a set n
of real numbers yl(p), ... , yn(p), we define n functions on the re-
gion C. We shall specify curvilinear coordinates in terms of these func-
tions. Since the position of a point can be uniquely determined by its
Cartesian coordinates, the functions introduced above will be written as
yl = yl (xl, ... ,xn), ... , yn = yn(xl , ... ,xn).
Definition 1. A continuous coordinate system in a region C is a family Continuous
of functions yi = yi(x l , ... , xn) determining a one-to-one and continuous coordinate system
map f of the region C onto a region A in another copy of the Euclidean
space. In other words, f is a homeomorphism of the region C onto the
region A.
Implicit function theorem The implicit function theorem implies that in this case the map i-I,
inverse to f, is also smooth. Thus, a regular curvilinear coordinate system
is given by a smooth one-to-one map which establishes, in particular, a
homeomorphism between the regions C and A. Such maps are called
Diffeomorphism diffeomorphisms. Suppose that in a region we are given a set of smooth
functions yl(p), ... , yn(p). How shall we know whether it specifies a
Regular transformation regular coordinate system in the region?
of coordinates
Lemma 1. Suppose the Jacobian of a family of smooth functions yl (P),
... ,yn(p) is nonzero at all points of the region. Then for each point
there exists an open neighbourhood in which these functions determine
a regular (localj coordinate system.
At the same time this family offunctions may fail to determine the
global curvilinear coordinates in the entire region.
The proof of the first statement follows from the implicit function
r
theorem. The second statement means that the map 1 of the region A
onto the region C may be not existent. We shall present a simple example.
Consider as regions C and A a plane ]R2 with the origin punctured out.
The position of the point P on C will be given by a complex number
z = rei"'. The map f will be given as f(z) = z2 (Fig.2.1.2). Clearly,
the Jacobian of this map is no'nZero (on the entire region), but f is not
a one-to-one map and, therefore, does not have an inverse single-valued
FiQ.2.1.2 map.
We shall define a regular change of coordinates. Suppose in C we
are given two regular coordinate systems, i.e. two diffeomorphisms f:
C - t A c ]Rn(yl, ... ,yn) and g: C - t B c ]Rn(zl, ... , zn) are fixed.
Since these maps are one-to-one, it follows that the map assigning to the
coordinates yi(p) of the point P its coordinates zi(p) is well defined.
There appears a map gr 1 = q : A - t B (Fig.2.1.3). As a result, we
obtain the functions zi = zi(yl, ... ,yn) which determine this transfor-
mation. We call this transformation a regular change of coordinates in
a region. Our consideration is based on the following statement.
Lemma 2. The map zi = zi(yl, ... , yn) is a one-to-one and smooth map
of a region A onto a region B with a nonzero Jacobian.
2.1 Basic Concepts of Differential Geometry 79
The proof follows from the properties of the Jacobi matrix. Recall
that the Jacobi matrix of a composition of maps falls into the product of
the Jacobi matrices of these maps.
The system of curvilinear regular coordinates yl, . . . ,yn in a region
C determines the families of coordinate lines in this region. Namely, the Coordinate lines
i-th coordinate line passing through a point Po is a smooth trajectory de-
scribed by the set of equations yj (P) = d, j =!= i and 1 ~ j ~ n, where d
are some fixed constants, namely, d = yj(Po). In other words, along the
i-th coordinate line there changes only the coordinate yi, the rest of the
coordinates being fixed. Thus,jrom each point there goes n different co-
ordinate lines (Fig. 2.1.4). We shall give examples of classical curvilinear Fig.2.1.4
coordinates on the plane and in I? We determine Cartesian coordinates
~o.~.
x, y on the plane. Taking as a region C a plane with a discarded ray
(x ~ 0, y = 0), we can define the functions <p = arctan y/x, r = Jx2 +y2
on this plane. This change of coordinates is also given by the formulas
x = r cos <p, y = r sin <po A rectangular net of Cartesian coordinates be- Fig.2.1 .5
comes a polar net of coordinate lines (Fig. 2.1.5). Polar coordinates
Cylindrical coordinates r, <p, t in R3 are well defined, for example, Cylindrical coordinates
in a region obtained by discarding a half plane (x ~ 0, y = 0) from a
three-dimensional space. The formulas for the change of coordinates are
as follows: x = r cos <p, y = r sin <p, z = t (Fig. 2.1.6).
Spherical coordinates r, e, <p in R3 are well defined, for example, Spherical coordinates
in a region obtained by discarding from the space of the same half plane
~-r
as in the preceding example. The formulas for the change of coordinates
e e e
are: x = r sin cos <p, y = r sin sin <p, z = r cos (Fig. 2.1.7).
Fig. 2.1.6
Fig.2.1 .7
There presently exist several ways of drawing maps of earth's surface
or its separate regions. All of them are in any case reduced to one and
the same procedure, namely, to projecting a convex spherical surface of
the globe (or its parts) onto a plane. It is more or less obvious that it
is impossible to make a one-to-one continuous projection of the whole
80 2. Low-Dimensional Manifolds
sphere onto a region of a plane (or onto a whole plane). This assertion can
Medieval cartographers be given a rigorous mathematical proof. Medieval cartographers did not
however realized this essential fact immediately. Superficial experience
of an observer allows him to hypothesize that earth's surface is flat. So,
the earth was thought of as flat and limited by the "boundary of the
world". The first medieval maps of the world were drawn on a plane,
accordingly, in the form of a disc or a rectangle where cartographers
placed the whole world known at that time. See, for instance, medieval
maps dated traditionally X-th and V-th centuries A.D. (Fig. 2.1.8). The
same are also the maps, for example, of the .X-XV-the centuries A.D.
The same is the world-known map of 1527 made by a Portuguese Diogo
Ribeiro [34].
After the discovery of the spherical shape of the earth, after the trips
of Christopher Colomb (1492), Vasko de Gama (1497-1498), Magellan
(1515-1592), the necessity of maps taking into account earth's sphericity
was finally realized. The first attempts were pictures of a ball, a globe
turned to the viewer with one side which was most important for the
cartographer. These pictures represented corresponding regions which
were, however, gradually distorted with approaching the visible boundary
of the ball. Such is, for example, the map of the world due to Stabius-
Diirer (1515) [34]. At the same time, cartographers were not satisfied with
this way of mapping since the invisible part of the ball required a separate
Fig.2.1.8 representation; moreover, the difficulties of representing a convex globe
surface in a flat picture needed engraver's and draftsman' skill. Therefore,
various ways of projecting large regions of earth's surface onto a plane
with allowance made for inevitable distortions were invented already in
the XVI-th century. Great contribution to the development of the theory
of projection and its applications (to cartography, painting and drawing)
was made, in particular by A. Diirer (1471-1528). Thus, beginning with
the XVI-th century cartographers use various tricks cutting a sphere into
several pieces each of which is then separetely projected onto a part
of a plane. The initial sphere (globe) is restored from them by way
of glueings according to the rules indicated on the flat map. The most
frequently used technique is to cover the surface of the globe with two
regions each of which is a bit larger than a hemisphere and then to project
Fig.2.1.9
them separately onto a plane (Fig. 2.1.9). Glueing to two discs obtained
along their common part (along a narrow ring), we can restore the initial
2.1 Basic Concepts of Differential Geometry 81
picture on the globe. The map of the world can be glued of several pieces
(Fig. 2.1.9). Thus, a sufficiently complic"ated object (a sphere) is obtained
of several simpler objects (of two or more discs) by way of glueing along
some common part of theirs.
This idea underlies the construction of a wide class of geometrical
objects called manifolds. Manifold
The concept of a manifold acquired its most clear form due Gauss Gauss
(1777-1855) when he was engaged in the studies in the field of geodesy
and carthography of earth's surface. In a practical drawing of maps of
rather large regions of earth's surface, they are divided into smaller, par-
tially overlapping regions, each assigned to a separate group of experts.
They drawn a map of each separate region endowed with reference points
(the names of villages, rivers, etc.). In compiling the general atlas, these
separate maps are sewed, glued along those regions which overlapped,
and thus they are represented in several local maps. Linking separate
local maps is realized by comparison and superposition of their common
reference points.
This is just the idea that underlies the modem concept of a mani-
fold. The term "manifold" was introduced to mathematics by B. Riemann Riemann
(1826-1866) in his famous lecture "On the hypotheses underlying geom-
etry". Roughly speaking, manifolds are geometrical objects obtained by
glueing open discs (balls) like a papier-mache is glued of small paper
scraps. To this end, one first prepares a clay or plastecine figure which is
then covered with several sheets of paper scraps glued onto one another.
After the plasticine is removed, there remains a two-dimensional surface.
We now give the mathematical definition.
~~~,
two coordinate maps 'Pj : Uj n Uj -+ 'Pj(Ui n Uj} c Dn and 'Pj : Ui n
Uj -+ 'Pj(Uj n Uj} c Dn are defmed (Fig.2.1.10). Since a composition
of homeomorphisms is a homeomorphism, on the open subset 'Pi(Ui n
IRn IR tl Uj} in the disc Dn the homeomorphism 'Pij = 'Pj'Pjl mapping the set
Fig.2.1.10 'Pi(Ui n Uj} onto the set 'Pj(Ui n Uj} is well defined.
k ::; n. Then the common level surface, at each of whose points the
rank of the Jacobian matrix (a9/ax) of this family is equal to k, i.e. is
maximal, is a smooth manifold of dimension n - k. This follows from
°
the implicit function theorem. Thus, manifolds can be given as sets of
solutions of systems of equations 9i(X I, ... , xn) = in ]Rn. For k = 1 System of equations
we obtain a hypersurface. Smooth manifolds are, for example, standard for the manifold
spheres sn, real and complex projective space ]Rpn and cpn, groups of
orthogonal matrices SO(n), unitary matrices U(n), special unitary matri-
ces SU(n), symplectic matrices Sp(n), etc.
We have naturally come up to the concept of a submanifold. Hence- Submanifold
forth we mainly deal with smooth manifolds, the therefore will not each
time repeat the smoothness condition.
The condition on the rank of the Jacobi matrix implies that all the Rank of the
functions 91, ... ,9k are fUnctionally independent in the given 'neighbour- Jacobian matrix
hood. Independent functions
Let us pay attention to the fact that this defmition of a manifold does
not embrace a number of natural geometrical objects, for instance," an n-
dimensional closed disc. The point is that for points located on the disc
boundary there exists no open neighbourhood homeomorphic to an open
disc in ]Rn. This category of objects is within the scope of the concept
of a manifold with boundary.
84 2. Low-Dimensional Manifolds
Tangent vector Definition 10. We shall say that a point x E M a tangent vector a is
given in case in each local regular coordinate system a set of numbers
aI, ... , an (coordinates of the vector) is given which is formed under the
coordinate change (x) --? (x') by the lawai' = Ei(8xi' /8x i )ai, where
8xil /8x i are coefficients of the Jacobi matrix of the coordinate change.
Definition 12. A tangent bundle T*M is the totality of all pairs of the Tangent bundle
form (x, a), where x is a point of the manifold M and a is the tangent
vector to the manifold at this point.
Non-orientable manifold Manifolds that do not satisfy this property are called non-orientable. This
means that there always exists apair of charts on whose intersection the
Jacobian of the transition function is negative.
7i/Jf
Thus, the differential of mapping can be defined in another way. We
1J7
take a tangent vector a at a point x E M and any smooth curve ')' which
1iID f!;fj
has a as its velocity vector at the point x. We consider its image in the
I- manifold N and calculate the velocity vector of the curve iT at the point
y = f(x). As we have seen, the vector obtained is just the image of the
Fig.2.1.17 vector a under the mapping df: TxM -7 TyN (Fig.2.1.17).
The proof of this fact is rather nontrivial (on the contrary, Theo-
rem 2 is proved rather simply using partition of unity). For details see,
for example, Refs. [27], [31], [35]. In a simpler way, on the basis of the
Sard theorem Sard theorem one establishes a weaker theorem, namely, that any n-
dimensional manifold, both compact and noncompact (again of the class
or, where 1 ~ r ~ (0) admits embedding of the class or into 1R2n+1 and
Weak Whitney theorem immersion into 1R2n. This is the so-called weak Whitney theorem, as dis-
tinct from the strong Whitney theorem (Theorem 3). In some particular
cases Theorem 3 can be strengthened. For example, if n is positive and is
not the power of 2, then any smooth manifold Mn admits a smooth em-
bedding in 1R2n- 1• On the other hand, for any n = 2Q, there q ~ g, there
exist closed smooth n-dimensional manifolds admitting neither smooth
Embeddings nor topological embeddings into 1R2n - 1• This refers, for example, to a
and immersions real projective space ]Rpn, where n = 2Q• For example, a projective plane
of projective space m>2 is not embedded into 1R3 even topologically, but is immersed into
it. For details see, for example, Ref. [31].
Therefore, without loss of generality one can further on consider
smooth manifolds realized in the form of smooth surfaces in a finite-
dimensional Euclidean space.
Critical points Let f : Mn -+ N m be a smooth map. We shall say that a point
x E M is critical for the map f if the differential df : TxM -+ Tf(x)N
has a rank lower than m = dim N. In this case we shall call a point
Critical values y = f(x) the critical value o/the map f. According to the Sard theorem
(see, e.g. Ref [27]) the set of all critical values of the smooth map f :
M -+ N always has measure zero in the manifolds N. We shall consider
a particular case where N = lRl is a real straight line. Since dim Tf(x)N =
1, the point x is critical for f if and only if dflx = O. The critical
points x of the smooth scalar function f on M are found from the
system of equations {)f / {)x i = 0, 1 ~ i ~ n, i.e. grad f = O. We
Nondegenerate shall say that the critical point x of the smooth function f is called
critical points nondegenerate if the matrix of the second differential (& f /{)xi{)x j ) is
nondegenerate at this point. Since grad f(x) =0, this critical point is well
defined, i.e. independent of the choice of local coordinates. The function
Morse function f on the manifold M is called a Morse function if all of its critical
points are nondegenerate. The second differential d2f can be treated as
a symmetric bilinear form on the tangent space TxM. Let a, bE TxM.
We include the vectors a and b into smooth local vector fields A and
2.1 Basic Concepts of Differential Geometry 91
Thus, the function is reduced to the canonical form not only at one point,
but simultaneously in a whole neighbourhood. Do Morse functions exist
on manifolds? The answer is given by the following theorem (see e.g.
Ref. [35]).
1) On any smooth compact manifold there exist Morse functions. Existence of
2) Morse junctions are everywhere dense in the space ofall smooth Morse functions
junctions on the manifold.
3) Any Morse junction has only a finite number of critical points
on a compact manifold.
4) There exists an everywhere dense subset S in the set of all
Morse junctions, such that to each critical value of any function I E S
there corresponds only one critical point.
In this sense the Morse functions are "typical" (are functions "in Morse functions
general position") in the space of all smooth functions. are functions in
general position
Vector field Definition 18. We shall say that on a smooth manifold M a smooth vector
field is given if at each point x E M a tangent vector a(x) smoothly
depending on the point is given.
If xl, ... , xn are local coordinates, then the vector field in the neigh-
bourhood of some point can be written in the form of a family of
functions, i.e. coordinates of the point a, namely: al(x l , ... , xn), ... ,
Vector field as ordinary an(xl., ... , xn). Each vector field determines in a one-to-one manner
differential equation a system of ordinary first-order differential equations on the manifold,
nameIy.. x.i -- ai(x I , ... ,xn) , 1 <
_ z. <
_ n.
Along with the tangent space TxM, at each point of the smooth
Cotangent space manifold a cotangent space T; M is defmed, which is a dual (conju-
gate) space to TxM. The elements of the cotangent space (which we
shall sometimes call covectors) are linear functionals defined on TxM.
Covectors Clearly, the tangent and cotangent spaces are linearly isomorphic and
therefore are of the same dimension. By analogy with Definition 18 we
Covector field shall say that a smooth covector field is given on M if each point x
a covector, €(x) smoothly depending on the point is given. By analogy
Cotangent bundle with tangent bundle we construct a cotangent bundle T* M whose points
are pairs (x,O, where x E M,€ E T;M. The space T*M is a smooth
2n-dimensional manifold homeomorphic to the manifold T*M.
Integral trajectory Definition 19. The trajectory ')'(t) on the manifold M is called the inte-
gral trajectory of the vector field a(x) if and only if its velocity vector
coincides at each point with the field vector a, i.e. 7(t) = a(")'(t».
i.e. 'Y is the integral trajectory of the field which goes from the point
x. Sometimes the notation df Ida is used rather than a(f). Clearly, the
function a(f) can be written in the form
afax i
a(f) = '" -. -
~axl dt
= ( '" ai -a. ) f
~ ax l
Definition 20. Let a and b be two vector fields. Then the vector [a, b] ==
ab - ba called the commutator (or the bracket) of the fields a and b is Commutator
uniquely defined. Here ab and ba are compositions of the differential of vector fields
operators a and b.
In local coordinates xl, ... , xn the field [a, b] has the following
components:
Although the differential operators ab and ba have order two, their dif-
ference is a first-order operator, which just means that the space of all
smooth vector fields on the manifold is closed under the commutation
operation (the vector field commutator is again a vector field). We shall
give a geometric interpretation of the vector field commutator. Let a and Geometric interpretation
b be vector fields defined in the neighbourhood of a point x. It turns of the local commutator
out that one can construct a curve 'Y on M, whose velocity vector at the
point x = 'Y(O) coincides with the values of the field [a, b] at the point
x. Let t be a sufficiently small number and let 'YI be an integral curve
of the field a going from the point x. Let 'Y2 be an integral curve of the
field b going from the point 'YI (t); then let 'Y3 be an integral trajectory
of the field -a going from the point 'Y2(t); finally, let 'Y4 be an integral
curve of the field -b going from the point 'Y3(t). We now specify the
curve 'Y, going from the point x, by the equality 'Y(t2) = 'Y4(t). Then
one can verify that [a, b]f(x) = -y(O)f for any smooth function f. Thus,
94 2. Low-Dimensional Manifolds
Differentiation Lemma 5. The operator ada is differentiation of the Lie algebra, i.e.
of the Lie algebra satisfies the Leibniz formula:
and the Leibniz formula
ada[b, c] = [adab, c] + [b, adac]
Proposition 6. The linear space of all vector fields in the region a man-
ifold M is an infinite-dimensional Lie algebra under the commutator of
the vector fields [a, b] = ab - ba.
Proposition 5 implies that the linear space ofall vector fields tangent
to a smooth submanifold is a Lie subalgebra in the Lie algebra of all
vector fields on the manifold.
Page 96, Fig. 2.1.18. Morse functions, polynomials of high degree. Ancient
religious cults devoted to underground flame and volcanos eruption; the
origin of monotheism
Page 97, Fig. 2.1.19. Algebraic surfaces and singular points. Ancient tem-
ples and ruins. Greek legends, Persians wars
98 2. Low-Dimensional Manifolds
0 1 00
mersion class one cannot deform a standardly embedded circle into a
figure-of-eight. Any attempt to make such a deformation will necessar-
ily meet with an obstacle, also shown in Fig. 2.2.5. One can see that
9Q QQ2z?
there definitely appears a decreasing loop which fmally degenerates into
a sharp beak. In the vertex of this beak the smooth map of the circle
2.2 Visual Properties of One-Dimensional Manifolds 101
@
natural defInition. We shall say that two frames T and'TJ of one and the
same submanifold Mk in IRn+k are equivalent if there exists a smooth 7
deformation of the submanifold Mk in IRn+k within the immersion class ::f.
transforming the normal frame field T into the normal frame field 'TJ. It is
required that the field I.{JtT (which is the result of a smooth deformation
of the initial field T) be normal to the immersed submanifold I.{JtM, i.e.
that I.{JtT be the frame of the manifold I.{JtM for each t varying from 0
to 1.
We shall again examine the two frames of a circle shown in
Fig. 2.2.8, i.e. the normal field outside and the normal field inside. The
question is whether these two frame are equivalent, i.e. whether it is
possible to turn the circle inside out, to make its interior become ex-
terior and vice versa. We can prove these frames to be non-equivalent
in the sense of the definition given above. Intuitively this follows from
Fig. 2.2.8 which shows an attempt to deform the frame T into the frame
'TJ. Pressing two opposite arcs towards each other, we try to get the larger Fig. 2.2.8
102 2. Low-Dimensional Manifolds
part of the nOrm;ll exterior vector field directed inside the curve ob-
tained. It is obvious, however, that in this case there necessarily arise
and remain some small loops on which the field is directed outside as
before. Decreasing in size, these loops have fmally to degenerate into
sharp beaks forbidden by our rules so long as in the vertex of each such
beak a smooth map of the circle is already not an immersion (a break of
the curve).
Page 110, Fig. 2.2.15. Idea of a smooth isotopy and singular points of
algebraic surfaces. Stone monument-temple; pre-Christian cult
2.3 Visual Properties of Two-Dimensional Manifolds 111
As we have already seen, there are few I-manifolds: all of them are
unions of circles and straight lines. There are much more 2-manifolds:
for example, any open subset of a plane is a 2-manifold (Fig. 2.3.1). We
shall give examples of compact 2-manifolds: the sphere 8 2, the torus
T2 = 8 1 x8 1 (Fig. 2.3.2). The sphere gn and the torus rn =T n - I x8 1 are Fig. 2.3.1
examples of compact n-manifolds. Other examples of multidimensional
manifolds can be constructed noting that the direct product of manifolds Direct product
of dimensions m and n is a manifold of dimension m + n. As we have of manifolds
seen, it is very convenient to extend the general concept of a manifold
including here the concept of a manifold with boundary. Recall that the
Hausdorff topological space is called an n-manifold with boundary if
each of its points has a neighbourhood h.omeomorphic either to a space
]Rn (i.e. a ball neighbourhood) or to a closed half space ~ (i.e. a half-
ball neighbourhood). The union of points of a manifold M which have
no neighbourhood of the first type is called its boundary 8M. Fig. 2.3.2
The proof of this theorem is quite obvious since all the points of
the boundary hyperplane of the space ~ are equivalent and have in
this hyperplane (n - I)-ball neighbourhoods. On the other hand, the
intuitively obvious existence of at least one manifold with a non-empty
boundary is a rather nontrivial fact from the formal logical point of view
since it is not a priori clear why the half space ~ (with a distinguished
point on the boundary) is not homeomorphic to the space ]Rn (with a
distinguished point inside). This is, in fact, a direct consequence of the
Brouwer theorem on invariance of a region (see Ref. [36], vol. I). In line Brower theorem
with our principle we do not dwell here on thorough investigations to
confirm the intuitively clear (and valid) facts. One should however bear in
mind that there exist seemingly obvious but of course incorrect (I) mathe-
•
.0' : .,
.. <:
:::0"
...--... <:.... .::~.;:
112 2. Low-Dimensional Manifolds
matical facts. We shall each time infonn the reader which "geometrically
obvious" facts are valid and which are not.
We shall give examples of manifolds with boundary: the half in-
Q2) :.:;. :. ":':::":' Ir.=-.t. terval (a noncompact manifold) and the segment (a compact manifold).
0:':::::;"
'. \'::::::": . :;:" :;;
These are one-dimenional manifolds. Next: the disc D2, the ring 8' x I,
and the Mobius strip (two-dimensional manifolds), see Fig. 2.3.3. Their
. ; :";~": .::":: . ~::. boundaries consist of a point, two points, a circle, two circles and a circle,
respectively.
Fig. 2.3.3
We consider a three-dimensional ball, i.e. a set of points bounded
in 1R3 by a standard sphere. The direct product of a disc by a segment,
i.e. a filled cylinder, will be called a three-dimensional handle. Clearly,
such a handle can be glued to a ball along the two bases of the handle,
i.e. along two discs. As a result, we obtain a ball with a handle. One can
glue several such handles to obtain a three-dimensional body called a full
Solid pretzel/solid) pretzel or a filled (solid) pretzel, the number of handles being the
genus of the pretzel. Thus, an example of a 3-manifold with boundary
may be a full pretzel Kp of genus p (a ball with p handles as shown in
Fig. 2.3.4). For any n, and n-dimensional ball Dn and a half space ~
are examples of n-manifolds with boundary.
The direct product of manifolds of dimensions m and n with bound-
ary is a manifold of dimension m + n with boundary. Given this, there
holds the fonnula
a(M x N) = aM x N U M x aN
is not embedded into 1.3. One can also glue together n-manifolds along
submanifolds of their boundaries to obtain n-manifolds with boundary.
.. .
@
' ... .
For example, a solid pretzel K2 of genus 2 can be obtained by glueing to- .. . .
" ',
We shall not describe the details of the glueing in words, but suggest the
Cl[J:
.. ·\::l .CD·}::·: a
well-known formula used by medieval geometricians: Vide! (see).
The second word in Fig. 2.3.7 determines the glueing process visu-
. . .... ." .
••• • '0 •••••••••
·ciJ· ·EJ·
from the defInition (we leave this exercise to the reader).
The third word in Fig.2.3.7 determines a projective plane JlU>2. To
make sure of this, we recall the classical defIntion of a projective plane.
Its points are various straight lines l in R3 passing through a fIxed point,
:g RP2. -8 K2- for example, the origin (Fig. 2.3.10). An equivalent model is constructed
Fig. 2.3.7 like this. We consider a standard sphere centred at the origin. Then
each straight line from our sheaf is uniquely defIned by points of its
intersection with the sphere. There are exactly two such points. They are
diametrically opposite on the sphere. We shall denote them by (x, -x).
So, a projective plane can be given as a set of pairs of the form (x, -x),
where x runs through the sphere. An equivalent model is a projective
plane obtained from a sphere 8 2 through identifIcation of its diametrically
opposite p~ints. This can be conditionally written as RP2 = 821'l2. The
point is that on a sphere one can defme a smooth action of the group 'l2
consisting of two elements: unity and involution (J, i.e. the transformation
whose square is equal to unity (identity transformation). The involution
is given by the formula (J(x) = -x. Factorizing the sphere by the action
:tillj
.
of this group (i.e. identifying the points x and (J(x», we just obtain a
projective plane.
-8 •.•.•. The next equivalent model of a projective plane is this. Let us con-
~.:«.~. -- -
t1 ::
sider the upper (or lower) hemisphere 81 and identify on its boundary,
i.e. on the boundary circle, diametrically opposite points (Fig. 2.3.10).
: :: '-8'. :-....... :
'.
".
.
'0··
II
b' ::
::
Equivalence of this model to the preceding ones is obvious. It suffIces
..... ·f· ~ to cut the sphere by a plane passing through the centre of the sphere.
Discarding the lower hemisphere, we fInd out that to construct RP2 it
suffIces to take only the upper hemisphere, but one should identify dia-
metrically opposite points on the equator.
This model can be reformulated. Applying homeomorphism (assum-
ing the sphere to be made of thin rubber which can be expanded without
ruptures and glueings), we deform the hemisphere into a large sphere
Fig. 2.3.9 from which a small disc is discarded, and then on the boundary of the
2.3 Visual Properties of Two-Dimensional Manifolds 115
Proof. Figure 2.3 .16 presents a model of a projective plane in the form
of a square with glueings abab. We shall prove that when discarding a
Fig. 2.3.15 disc from [U>2, we obtain a Mobius strip. Since lR.p2 is a smooth closed
2.3 Visual Properties of Two-Dimensional Manifolds 117
manifold, it does not make any difference where we choose the centre of
the discarded disc. At this moment all the points of the projective plane
are equivalent. We choose the point in the middle of the side a. The
disc centred at this point will be depicted as its two half discs (black in
the figure) glued together along the diameter. Discarding this disc, we
obtain, after straightening the remaining angles, a square whose opposite
sides are glued with orientation reserval, as required.
How shall we depict this line of the cut on a Klein bottle immersed
in 1R.3 (Fig. 2.3.12)? We invite the reader to trace out attentively the cut
line motion in Figs.2.3.18 and 12. So, cutting a Klein bottle as shown
in Fig. 2.3 .19, we get two Mobius strips. Each of them is immersed in
lR3 (with self-intersection). Consequently, this model of a Mobius strip
is more regular (a ''better'' one) than a crossed cap which, we recall,
is not an immersion of the Mobius strip. Note that the immersion of
the Mobius strip discovered by us is remarkable for the fact that its
boundary is immersed into a plane, i.e. its boundary is a flat curve (with
self-intersections).
Fig. 2.3.19 According to Lemma 1, a projective plane is obtained by glueing
a Mobius strip with a two-dimensional disc. By proving Lemma 2, we
have constructed a Mobius strip immersion such that its boundary is a flat
circle. We shall use this immersion to continue it to the immersion of the
entire projective plane. We assume this Mobius strip immersed in lR3 to
be part ofprojective plane. To immerse the whole of the projective plane,
Fig. 2.3.20 it suffices to add a disc, i.e. to glue the flat boundary of the Mobius strip
by the immersed disc. So, we are approaching the following problem.
We are given a flat curve 'Yo shown in Fig. 2.3.20 which is an immersion
of a circle into a plane. How shall we glue it by an immersed disc?
Let lRij be a plane containing the Mobius strip boundary (Fig. 2.3.21).
We start moving this plane raising it up parallel to itself. This fives a
family of planes ~~ depending on the parameter t, where 0 ~ t ~ 1.
Simultaneously we start smoothly deform the initial flat curve 'Yo in this
plane. This gives a family of curves 'Yt. With varying t, these curves form
a two-dimensional surface (sweep up the surface). We shall describe the
Fig. 2.3.21 process of deformation of the curve 'Yo into curves 'Yt. See the illustration
of this process in Fig. 2.3.22. This smooth deformation leads to the fact
that the curve is slipping down itself and becomes a curve already without
self-intersection, i.e. a circle embedded standarly into the plane. As has
been mentioned above, as the plane goes up, this deforming curve sweeps
up a certain surface. At the moment when the curve becomes a circle we
glue it by a smooth disc. Thus, we have glued the Mobius strip with a
disc, i.e. obtained a model of a projective plane. At the same time we have
Fig. 2.3.22 obviously constructed its immersion into lR3• How is the set of points of
2.3 Visual Properties of Two-Dimensional Manifolds 119
this immersion organized? It follows from Fig. 2.3.22 that the set consists
of three circles glued at one point. As a result, we obtain a surface in
space representing an immersed projective plane. This realization of a
projective plane is called the Boy surface [38]. It can be drawn in JR.3. To
do so, we represent the projective plane as a result of identification of
opposite points on the boundary of a regular hexagon (but not a square, as
we have done before). See Fig. 2.3.23. The corresponding code is abcabc.
Clearly, a hexagon with such identifications is equivalent to a disc with
opposite points of the boundary identified. As before, we transform the
hexagon into a sphere from which a hexagon is cut out (Fig. 2.3.23).
On the sides of the hexagon there stand letters and arrows determining
the glueings. We cut the sphere into three lobes with meridians q, d,p
(Fig.2.3.23). As a result, the sphere falls into three congruent pieces
which coincide with one another under an appropriate turn. We take one Fig. 2.3.23
of these pieces, for example, the one between the meridians q and d
(Fig. 2.3.24). There appear three ascending peaks. We glue them at one
point and denote the point by N (the analogue of the north pole). Note
that this glueing is not needed from th~ viewpoint of the topology of
a projective plane, but as we shall see below, we shall have to glue
the indicated points since we attempt to realize a projective plane in a
three-dimensional space. The result is shown in Fig. 2.3.24, Step 2.
We now fix two meridians q and d and raise the loop a as shown
in Fig.2.3.24, Step 3. The surface will stretch to become a dome- or
shell-shaped.
The next step is to tum the loop c to the right top side taking it
inside the dome and nearer the inner side of the dome in such a way that
the loops a and c occupy the position indicated in Fig.2.3.24, Step 5.
Step 6 in the same figure is the final shape of the surface. Here the arcs
d and q are congruent, and when the whole figure turns through an angle
of 27r /3 around the vertical axis SN, the arc d is superposed on the arc
q and the loop a on the loop c. Similar deformations will be performed
for the other two lobes of the initial surface. As a result, we obtain three
3
120 2. Low-Dimensional Manifolds
Fig. 2.3.27
manifold. We shall perform all the glueings required by the code word
W (Fig.2.3.27). The manifold obtained is called a pretzel of genus 2
or simply a pretzel. It admits another representation which we present
below. First recall the operation of glueing a handle. A handle is a usual
cylinder (Fig.2.3.28). Its boundary consists of two circles. We discard
two non-intersecting discs from a two-dimensional manifold to obtain a
manifold with boundary {two circles}. We glue a cylinder to this manifold
by identifying its boundary circles with the boundaries of the holes in
the manifold. This operation, resulting in a new manifold, will be called
the glueing of the handle.
Lemma 3. A torus is obtained from a sphere by means of glueing one Fig. 2.3.28
handle. A pretzel is homeomorphic to a sphere with two handles.
The proof follows immediately from Lemmas 1 and 2 and from the
defmition of the operation of glueing a Mobius strip. The glueing of k
Mobius strips j.L to a sphere will be denoted by 82 +kj.L, where k > O. All
these manifolds are non-orientable. Indeed, we shall use the defmition
of orientability in terms of orientation of a reference frame transported
Fig. 2.3.31 along a closed path on a manifold. On a manifold Sl +kj.L, where k > 0,
2.3 Visual Properties of Two-Dimensional Manifolds 123
we take a closed path 'Y tmversing exactly one Mobius strip (Fig. 2.3.32).
We state that when a tangent frame moves along a path and then returns
to the initial point, its orientation reverses. This fact is illustrated in
Fig. 2.3.32.
Thus, we have discovered two infmite series of 2-manifolds: 8 2 +gr
(spheres with handles, 9 ~ 0), 82 + kp, (spheres with Mobius strips,
k > 0). Manifolds of the first series are orientable, while those of the
second series are not. Manifolds from distinct series are therefore not
homeomorphic since orientability is an invariant of homeomorphism.
There arises a natural question of why we have not yet mentioned
here a mixed series of manifolds when both handles and Mobius strips
are glued to a sphere. It turns out that such a mixed series does not q
provide anything new: it yields manifolds of the second series.
Lemma 6. A manifold of the form 82 +gr + kp" i.e. one obtained from
a sphere via glueing 9 handles and k Mobius strips (where k > 0), is
homeomorphic to a manifold 82 +(2g +k)p" i.e. to one of the manifolds
from the second, non-orientable series. Fig. 2.3.32
Fig.2.3.43 are orientable and strips 3 and 4 are not. Suppose, all the
strips are orientable. Let L1 be one of them. Then there necessarily
exists a strip L2 joining the two arcs into which the circle aD falls by
the base of the strip L1 (Fig. 2.3.44) since otherwise at least two patches
would be needed. Note that the base of each subsequent strip can be
isotopically moved along the boundary of the union of the disc D with the
Fig. 2.3.44
previous strips (Fig. 2.3.45). The manifold remains unaltered. Using this
operation, one can free from the strip bases the region distinguished in
Fig. 2.3.44 thus separating the so-called pair of crossed strips. Repeating
these arguments we see that it is only in the case of orientable strips
that the manifold is obtained from the disc via glueing several (say, k)
individual pairs of crossed strips and one patch (Fig. 2.3.46). It can be
easily verified that the manifold is then homeomorphic to the pretzel ... . '. . .., ... . .
.......
" " '
'
'
surface of genus k.
Fig. 2.3.45
Suppose now that there exists at least one non-orientable strip L.
Then, as above, the part of the circle aD, singled out in Fig. 2.3.47, can
be freed from the bases of the other strips thus separating the strip L
from the other strips.
: .... :........ :.. ~.:.: .':.".
2.3.48 shows how (in the presence of a non-orientable strip) a pair of " .': . : .'
crossed strips can be replaced by a pair of individual (non-crossed) non- " .: .....
orientable strips. Fig. 2.3.46
Fig. 2.3.47
Fig. 2.3.48
128 2. Low-Dimensional Manifolds
From Theorem 2 one can also deduce the' classification theorem for
compact 2-manifolds with boundary: each such manifold M is obtained
via removal of several open discs either from the suiface of a pretzel of
some genus or from a sphere with several Mobius strips. Indeed, if we
glue components of the boundary of the manifold M with discs, we come
to a closed manifold M J , i.e. a pretzel surface or a sphere with Mobius
strips. Inversely, M is obtained from M J by removal of the glued discs.
There is another noteworthy way of specifying 2-manifolds. We take
several polygons, divide their edges into pairs and glue the edges of each
pair in one of the two possible ways. As a result, we obtain a closed 2-
manifold. Any closed 2-manifold can be obtained in this way.
All the other spheres (of higher dimensions, i.e. with n ~ 7) cannot be
inverted in ]Rn+1 (S. Smale). So, a sphere 8 n can be inverted in ]Rn+l only
for n = 2, 6. The visual inversion of a sphere 8 2 in ]R3 was constructed Visual inversion
by Arnold Shapiro [39]. See also the papers of S. Smale, N. Kuiper, B.
Morin.
Inverting 8 2 in ]R3 is rather nontrivial. We can try to draw it (see
Sect. 2.3.7). Here we shall briefly describe the main idea of this defor-
mation.
It turns out that there exists a smooth deformation of a sphere in
the immersion class which carries it to a neighbourhood of an immersed
projective plane in ]R3, namely, to a neighbourhood of the Boy surface Boy surface
constructed in Sect. 2.3.3 above. As a result, the sphere 8 2 is positioned
in ]R3 (as an immersed surface) in such a manner that it is the boundary
of the normal tubular neighbourhood of the Boy surface (i.e. immersed 2-sphere can be immersed
]R2). This means that a normal segment reconstructed at an arbitrary point in 3-space as the boundary
from JRp2 meets the immersed sphere at two close points (on both sides of tubular neighbourhood
of JRp2). We take these two points and start moving them along the of projective plane
segment towards each other. Then they meet at a point on the projective
plane (in the centre of the normal segment), then pass right through
each other and, therefore, exchange places, i.e. moving further the first
point will take the place of the second and vice versa. As a result of
this smooth deformation of the sphere its points exchange places: the
exterior point takes the place of the interior one and vice versa. Thus,
we have made the deformation of the immersed sphere (near the Boy
surface) after which the exterior and interior of the sphere exchanges
places, i.e. the sphere was turned inside out. It remains now to apply
the process, inverse to the initial one, which carried the sphere from its
standard position into the neighbourhood of the Boy surface. As a result,
we return to the standard embedding of a sphere, but now its exterior
and interior exchanged places. It the outside of the sphere was white and
the inside black, we now have a black sphere with white inside.
130 2. Low-Dimensional Manifolds
Page 133, Fig. 2.3.51. Illustration of the minimization process in the theory
of minimal surfaces. German and Scandinavian myths about the fal/ of
Valhal/a; death of the Gods
As we have seen, 2-manifolds are divided into two series: spheres with Two series of 2-surfaces:
handles (they are orientable) and spheres with Mobius strips (they are orientable and non-orientable
non-orientable). Since homeomorphic manifolds should have the same
type of orientation, it follows that a sphere with handles cannot be home-
omorphic to a sphere with Mobius strips. Hence, manifolds from distinct
series differ by their orientation. We now consider manifolds of one se-
ries, for instance, spheres with handles. It turns out that spheres with
different number of handles are not homeomorphic or even homotopy
equivalent. How can this be proved? Why is, for instace, a torus not
homeomorphic and not homotopy equivalent to a sphere or, say, to a
pretzel?
The answer to this question is not an easy one. We have to find
some characteristic properties which differ a torus from a pretzel, i.e.
to discover some invariants of 2-manifolds distinct for a torus and a
pretzel. These must be invariants under homotopy equivalence. As we
already know, such invariants do exist - these are homology groups of
polyhedra. In the case of manifolds one can point out another approach to
the definition of homology groups, which we shall now briefly discuss.
Since the differentials dx l ', ... ,dxn' are independent, equating the co-
efficients before them we obtain the equalities: Pi' = l:i Pi8x i/ 8xi'.
Thus, we have deduced the transformation law of the coefficients I{
in the sum w which guarantees invariance of the differential expression
w = l: Pidx i under coordinate changes.
Exact differentia/Horm Definition 2. Differential I-forms w of the form dj are called exact
forms.
It turns out that on a set of differential I-forms one can define a natural
Exterior differentiation operation called exterior differentiation and denoted by the same symbol
d as the ordinary differential of a smooth function. We shall not give here
the general definition of the operation d but restrict our consideration to
the concept of closed forms defined as forms whose exterior differential
is identically zero. The concrete expression of this condition is defmed
as follows.
2.4 Cohomology Groups and Differential Forms 137
Definition 3. The differentiall-fonn w = 2: Pidx i is called closed if for Closed differential forms
all i, j there hold the identities: 8Pi/8xj = 8Pj/8x i.
Definition 4. The quotient group Zl / Bl is denoted by Hl(M, JR) and 1-dimensional cohomology
referred to as the one-dimensional real cohomology group of the manifold group in terms of
M. differential forms
The letter JR indicates here that we are dealing with fonns with real
coefficients. Closed fonns are occasionally called cocycles and exact Cocycles
fonn coboundaries. Omitting the notation JR for the field of real numbers, Coboundaries
we shall sometimes write simply H1(M).
Using the same scheme, one can also define k-dimensional cohomo-
logy groups of a manifold, but we do not need them now and therefore
do not dwell them.
138 2. Low-Dimensional Manifolds
Proof. We shall begin with the simpler case of a straight line. By Cohomology groups
definition, HI = Z 1/B I . We should therefore calculate the groups Z I of 1-dimensional manifolds
and BI. From the defmition of differential forms it immediately follows
that the I-form on a straight line is written as g(x)dx = w, where x is
a Cartesian coordinate on the straight line and 9 is an arbitrary smooth The case of
function. Turning to the definition of a closed I-form we see that any such a straight line
I-form on a straight line is closed because there is only one coordinate x
here, and therefore og/ox = og/ox for any function g. Thus, any Ijorm
W = g(x)dx on a straight line is closed. It turns out that any Ijorm on a
straight line is exact. Indeed, for any smooth function 9 there holds the
140 2. Low-Dimensional Manifolds
J;
identity: w = g(x)dx = d U; g(t)dt) , i.e. w = dj, where f(x) = g(t)dt.
The integral is known to depend smoothly on its upper limit, and therefore
f is always a smooth function. Thus, we have proved that on a straight
line any closed I-form is exact and, accordingly, Zl = BI. Hence the
group HI is zero. This proves the theorem for the straight line.
The case of We now proceed to the circle. On a circle we introduce the angular
a circle coordinate cp, where 0 ::;; cp ::;; 271". Then the functions 9 on the circle are
functions of the parameter cp, such that g(cp) = g(cp + 271"), Le. periodic
with respect to cp. Consequently, the general form of the I-form on the
circle is w = g(cp)dcp, where g(O) = g(271"), (Le. 9 is a periodic function in
Any 1-form on 1-manifold cp). As in the case ofa straight line, we obtain that any smooth ljorm on
is closed but not a circle is closed. It remains to calculate the group of exact forms. We
necessary exact consider the following linear map A of the space Z I of closed I-forms
into the group I. of real numbers, where A(W) = A(g(cp)dcp) = J~7r g(cp)dcp.
In other words, we associate with the form on the circle its integral along
the whole circle (Le. from 0 to 271"). Clearly, Ais linear since the integral
is additive. Hence, A is a homomorphism on the space Zl into a real
straight line 1.1.
Lemma 1. The map Ais an epimorphism, i.e. an "onto" map, its image
covers the whole straight line.
Lemma 2. The kernel of the map A coincides with the space BI of all
exact 110rms on the circle.
Proof. We first prove that ker A:::l BI. Let w = df, where f is a smooth
function on the circle (i.e. 21l'-periodic function of 'P; f(O) = f(21l')). Then
Aw = Ii1l'df('P) = f(21l')- f(O) = 0, i.e. A(W) = 0, that is, Wbelongs to the
kernel of the map. We shall prove the inverse inclusion, namely ker AC
BI. Suppose w = g('P)d'P is a certain I-form on a circle and A(W) = 0, i.e.
Ii1l' g('P)d('P) = O. On the circle we define the function f('P) = It d(t)dt.
We shall verify whether it is a all defined function on the circle, i.e.
whether it is 21l'-periodic. We have: f(21l') = Ii1l' g(t)dt = 0 = f(O).
Here we have made use of the fact that the I-form W belongs to the
kernel of A. Consequently, we have specified on the circle a 21l'-periodic
function f('P) such that w = df since df = d ut g(t)dt) = g('P)d'P. Thus, Fig. 2.4.2
BI = ker A. Therefore, Zl / BI =]RI, i.e. HI =]RI, as required.
From Theorem 1 we iffi!I1ediately have that the circle and the straight Circle and straight line
line are not homotopy equivalent. This can however be readily seen from are not homotopy equivalent
other considerations. Note that a straight line is homotopy equivalent to a
point (Fig. 2.4.2). Hence, a circle is not homotopy equivalent to a point.
We proceed to 2-manifolds.
Different forms for the Proof. We must have a function f on the plane, such that there holds the
potential function ofa identity w = df, i.e. Pdx+Qdy = df(x,y) = (8fI8x)dx +(8fI8y) . dy.
closed 1-form on a plane This implies the following equations for the function f: 8f 18x = P,
8fl8y = Q, where 8PI8y = 8Q18x. We now integrate the first of
these equations to obtain f(x, y) = It P(x, y)dx + g(y), where g(y) is
a smooth function of one variable y. We have to find this function. To
do so, we differentiate the previous relation with respect to y and get
8fl8y = It(8PI8y)dx+8g18y. Since 8PI8y = 8QI8x and 8J18y =
0, it follows that
that is,
Q(x, y) = Q(x, y) - Q(O, y) + d~~) ,
B
r w = r P(x(t), y(t)dx(t) +Q(x(t), yet)~ dy(t) = it'r (Px +QiJ) dt ,
til til
iA it'
W
where A = 'Y(t), B = 'Y(t"), x = dx/dt, iJ = dy/dt. The same integral can
be written compactly as I"(w = I(v, "y)dt, where v = (P,Q),"y = (x,iJ)
are two vector fields along the curve (Fig. 2.4.4). Given this, the field v
depicts the form w, the field 'Y is the velocity vector field of the curve
Fig. 2.4.4
and (v, "y) denotes their Euclidean scalar product.
In these terms, the explicit formula for the potential of a closed
I-form on a plane can be rewritten in a more visual form. Consider }
on a plane a piecewise smooth path 'Y1 (Fig.2.4.5) consisting of two A Jt C
(0,1) (:IC,~)
segments - up the y-axis and then to the right, parallel to the x-axis.
j~ j"
This is the path from the point 0 (the origin) to the point (x, y). Then
the first formula for the potential f will be rewritten as f = 1"(1 w since J'2. B a::
If
f = It Q(O, y)dy + It P(x, y)dx = loA Pdx + Qdy + Pdx + Qdy =
0
Fig. 2.4.5
(:r,O)
1"(1 Pdx + Qdy. Here we assume for simplicity that f(O,O) = 0 and,
besides, that dx = 0 along the segment OA of the curve 'Y1 and dy = 0
along the segment AC of the curve 'YI.
We deduce quite similarly that there exists one more representation Visual representation
of the potential f : f = 1"(2 w, where the path 'Y2 consists of the following of a potential function
two segments: OB along the x-axis and then BC parallel to the y-axis
(Fig. 2.4.5). To integrate the values of the potential f at some point (x, y),
one should integrate the form w along a broken path starting at the point Integral of a closed form
o (say, the origin) and ending at the point (x, y). along the curves
Lemma 4. The result of integration of a closed 110rm along a path on 1-form is closed if
a plane depends only on the position of the initial and final points of corresponding vector field
the integration path and does not depend on the choice of the piecewise is potential on the plane
smooth path joining these two points. In particular, the integral of a
144 2. Low-Dimensional Manifolds
oc:!;;>C
'Z" 0' tr
The vector field on a manifold can be interpreted as the velocity field
of a liquid flow through the manifold. Given this, the tangent vector v
fixed at a point x of the manifold should be assumed to represent the
Fig. 2.4.7 velocity vector of a particle of the liquid which, at a given moment, is
at the point x. This interpretation is useful in many respects.
Vortex-free vector field Definition 5. A liquid flow (a vector field) v = (P, Q) is called vortex-
free if oP/oy = oQ/ox.
Theorem 4. The following conditions are equivalent: 1) The differential Three equivalent
110rm W = Pdx+Qdy on a plane is closed. 2) The corresponding vector conditions for closedness
field v = (P, Q) is vortex-free. 3) The vector field v = (P, Q) is potential, of 1-form on plane
i. e. v = grad f. 4) The form w is exact, i. e. is the total differential of the
function f.
as fields VI = (1,0), V2 = (0, 1). Both the fields are shown in Fig. 2.4.9.
Calculation They represent liquid flows along the x- and y-axes respectively, having
of 1-cohomology constant velocities equal to 1.
:··,s:···1
group of a torus Let Zl be the linear space of closed I-forms on a torus. Consider
E:j
a linear map (homomorphism) ,\ of the group Zl into an Abelian group
]R2, i.e. into a Euclidean plane: '\(w) = (a,{3), where a = Ia w,{3 = Ibw
.' .
. .. ',' are two numbers which are respectively the integrals of the I-forms w
a'.:'. a along two circles a and b on the torus, namely, along the meridian a
" ..... ~: ::- and the parallel b. When a torus is made of a square, the side a of the
11',f, square becomes the circle-meridian and the side b the circle-parallel. In
the explicit form, ,\ will be written as follows. The general form of the
•
I-form on the torus is Pdx +Qdy, where P and Q are doubly periodic
functions on the plane (i.e. periodic in x and y). Then
We state that ,\ is the map onto the entire plane, i.e. ,\ is an epi-
morphism. Indeed, if as the I-form w we take WI = dx, we obtain
'\(dx) = (1,0). Taking as w the form W2 = dy, we have '\(dy) = (0, 1).
Since the vectors (1,0) and (0, 1) form the basis on the plane, ,\ is an
epimorphism, as required. Both the forms dx and dy are closed on the
torus, i.e. belong to the space Zl. Consequently, from the general al-
gebraic considerations it follows (as in the case of a plane or a sphere)
that Z 1/ ker ,\ = ]R2. It remains to prove that ker ,\ = B I, i.e. that the
kernel of >. coincides with the space of exact I-forms. If the form is
° °
exact, i.e. w = df, where f is the function defined on the entire torus,
Fig. 2.4.9 then lad! = and Ibdf = since a and b are closed paths (cycles).
Therefore, BI C ker >.. We shall prove inversely that BI :J ker >.. Let
Parallels and meridians the closed I-form w be such that its integrals along the meridian and
of a torus as the 1-cycles parallel on the torus are equal to zero. It should be proved that the form
Parallel and meridian is exact, i.e. that there exists a potential f on the torus, such that w = df.
form the basis on a torus We shall present it in the explicit form. We set by defmition f = I"(w,
Closed 1-forms where 'Y is any piecewise smooth path going from a fixed point 0 on
on the torus the torus into a variable point (x, y) on the torus. It should again be
proved that this defmition is independent of the choice of the path going
from the point (0,0) to the point (x, y). As we know, this will follow
from the fact that the integral of a given closed form along any closed
2.4 Cohomology Groups and Differential Forms 147
path (loop) is equal to zero. Let 'Y be any such path on the toms. As is
already known, a continuous deformation of a path leaves the integral
of a closed I-form along this path unchanged. Next, it is geometrically
obvious that a path can always be deformed into a path moving along a
certain parallel and a certain meridian of the toms (in an arbitrary order).
For example, the path will go alon~ the parallel, then several times along
the meridian, then again along the parallel, etc. Consequently, the initial
integral of the I-form along the path 'Y is equal to the integral of the
same form but along a new path (which is described above) composed
of several copies of the parallel and several copies of the meridian (per-
haps with reverse orientations). By virtue of additivity of the integral,
the initial integral II w is represented as the sum of the integrals of the
form w along the parallel and meridian, and each of these integrals is,
generally, taken several times according to how many times the path 'Y
revolved along the parallel and how many times along the meridian (with
allowance made for the direction of revolution). But since each of these
integrals is equal to zero, so is the initial integral. We have proved that
the function f = II W is well defined on the entire toms. Next, as in the
planar case we obtain that w = df. Consequently, a closed 110nn with
zero integrals along the parallel and meridian of the toms is an exact 1-cohomology group of
form. Thus, BI = ker >., whence HI (T2) =]R2. a torus is isomorphic to 1.2
So, we begin revealing the following regularity. A sphere is a closed
manifold without handles and has a zero group HI. A toms is a sphere
with one handle and has a nonzero group HI isomorphic to ]R2. Thus,
glueing one handle to a sphere we increase the one-dimensional coho-
mology group by the group ]R2. It is natural to assume that if we glue
one more handle to the sphere (i.e. obtain a pretzel, a sphere with two
handles), the cohomology group will again increase by]R2, and as a result
the one-dimensional cohomology group of the pretzel will be isomorphic
to ]R4.
In particular, we have in fact proved the theorem: a closed 110rm Exact 1-forms on a torus
on a torus is exact if and only if its integrals along two closed circles and zero periods of the
- the parallel and meridian - are equal to zero. The extension of this form along parallel
criterion to the case of a sphere with an arbitrary number of handles is and meridian
discussed in the subsection to follow.
148 2. Low-Dimensional Manifolds
The proof will be carried out by the scheme already elaborated for
the plane, sphere and torus. The crucial point of this construction is to
present in an explicit form a sufficiently large set of independent closed
I-forms.
We consider a surface of genus 9 and represent it as a convex flat
Coding of a 2-surface 4g-gon with sides aj and bj, where 1 ::; i ::; g, the code W being
of the form alblallbll ... agbgaglbgl (Fig. 2.4.10). On the surface we
construct closed I-forms WI, ... ,Wg and 71, .•• , 7g • If a closed path (such
paths are sometimes called cycles) is given on the surface, the integral of
Period of a form the form along the path is called its period along the cycle. We single out
along the cycles the cycles al, ... ,ag and bl, ... ,bg on the surface and call them basis
cycles (from the considerations described below). Each of the cycles is
represented as a circle on the surface. To each handle there correspond
exactly two such cycles: aj and bj, where i is the number of the handle
(Fig. 2.4.10). For each of the forms Wj and 7j (to be constructed just now)
its period by the basis cycles is defined. Calculating the periods, we are
Matrix of periods led to a square matrix called the period matrix. We wish to construct
I-forms Wj and 7j such that the period matrix be a unit matrix of the
form
c. :)
Let us construct the form WI. We single out four edges of the poly-
gon W corresponding to the first letters of the code W, namely, to the
commutator alblallbll. On the edge al we choose three successive
points G, B, A and then consider the corresponding points G', B', A' on
the edge all (Fig. 2.4.10). We join corresponding points with segments,
i.e. draw segments AA', BB', GG'. When the surface M is glued of the
2.4 Cohomology Groups and Differential Forms 149
fundamental polygon W, the segment eA is identified with the segment Fundamental polygon
e' A'. We now construct on the polygon the function fas follows:
e e'
the rectangle, including the sides Band B'. The restriction of the
----_ ..
function on the side eB coincides with that on e' B', and after glueing
the sides eB and e' B', we obtain a smooth function.
Space of closed 1-forms We denote the linear space of all closed I-forms on the surface by
on a 2-surface Z I and construct the map .A of this space into the space (group) 1.2g by
the formula: .A(w) = (0'.1, (31, ... , O'.g, (3g), where O'.j = fai Wi, (3i = fbi 7'i.
Here Wi and 7'i are the forms constructed above. We state that the map
.A is an epimorphism. Indeed, calculate all the periods of the forms Wi
and 7'i. Take, for instance, the form WI. Its period along the circle al is
equal to fal WI = fg WI = I(B) - I(C) = 1 - 0 = 1. At the same time,
the period of the same form along any of the basis cycles other than al
is obviously equal to zero. The point is that this form is equal to zero on
all the other basis cycles. Hence, .A(WI) = (1,0,0, ... ,0).
It can be verified quite similarly that .A(7'I) = (0,1,0, ... ,0). Finally
Period matrix we obtain that the period matrix of the forms WI, 7'1, ... , wg, 7'g along
of a basis 1-forms the cycles ai, bl, ... , ag , bg is a unit matrix, as required. Considering
on 2-surface in the space 1.2g the standard basis consisting of vectors all of whose
coordinates are zero except one (which is equal to 1), we obviously just
obtain that these basis vectors get into the image of the map .A. Therefore,
the image of the map .A covers the whole space 1.29 • As before, we shall
prove that ker .A = B I, i.e. that a closed l{orm on the surface is exact if
and only if all its periods along basis cycles are equal to zero. We shall
prove the lemma valid for any smooth manifold.
All periods of an exact Lemma 5. If the l{orm W has the form dl, where I is a smooth function
1-form are equal to zero defined on the entire manifold, the integral ~f the form along cycle 'Y is
equal to zero.
Indeed, f"{w = f"{dl = 1('Y(I» - 1("f(0» since the path 'Y is closed,
and therefore 'Y(O) = 'Y(1).
This implies that BI C ker .A. We shall prove the inverse inclusion.
If all periods of a closed Lemma 6. Let W be a certain closed I-form on M, all of whose periods
1-form are equal to zero, along the basis cycles on the surface are equal to zero. Then this form
then the form is exact is exact.
Explicit form We shall construct the potential I in a explicit form, i.e. such a
of a potential for function that W = df. We fix on the surface an arbitrary point 0 (''the ori-
the exact 1-form gin"), take an arbitrary point P and join it with a piecewise smooth path
'Y on the surface. By definition I(P) = f,,{ w. It is required to prove that
2.4 Cohomology Groups and Differential Forms 151
this function is well defined, i.e. does not depend on the choice of the
path. This will obvioulsy follow from the fact that the period of the closed
I-form w along any closed path (cycle) "( is equal to zero (in our assump-
tions). We take an arbitrary piecewise smooth closed path and subject
it to a continuous deformation. Then the integral i'"l w does not change.
Indeed, any continuous deformation of a path can be represented as a
sequence of the following simplest (elementary) deformations "( -+ "(' I
(Fig. 2.4.11). On the other hand, the path difference "( -+ "(' (Fig. 2.4.11)
may be thought of as the boundary of a two-dimensional disc. Therefore,
we may apply Lemma 4 to obtain that under continuous deformation the
/~
r-
unknown integral remains unchanged. Next, continuously deforming an Fig. 2.4.11
arbitrary closed path on a closed 2-surface (i.e. on a sphere with handles)
we can make it become a path composed of several copies of elementary
paths-cycles a" b" ... ,ag , bg (Fig. 2.4.10) taken with certain multiplic-
ities (one and the same loop can be passed several times and, perhaps,
in different directions and in an arbitrary order). This transforms the un-
known integral i'"l w into the sum of integrals of the I-form along the
loops ai and bi passed, may be, several times. But these individual in-
tegrals are equal to zero' by the assumption that all the periods of the
form along the basis cycles are zero. Consequently, the integral of the
form along any closed cycle is also zero. This completes the proof of
Lemma 6.
Since w = df, where f is the function constructed above, we have
proved exactness of any closed I-form with zero periods along basis Exactness of any closed
cycles. Hence, ker A = B' and H'(Mi) = R2g , which implies the 1-form with zero periods
theorem.
Corollary. Two-dimensional closed manifolds of different genus are not 2-surfaces of different
homeomorphic and not homotopy equivalent. genus are not homotopy
equivalent
Indeed, we have HI = R2g, where 9 is genus. If p =f q, the Abelian
groups R2p and R2q are not isomorphic. Therefore, a sphere with p han-
dles and a sphere with q handles have different cohomology groups. By
virtue of Theorem 1, these manifolds are not homotopy equivalent.
152 2. Low-Dimensional Manifolds
the surface is compact, the process will stop sooner or later. It is essential
that we should work in each step only on a small piece of the surface.
Let a 2-maifold be realized in space as a smooth surface and let
a small geodesist be "landed" onto this surface with a task to draw an
accurate map of the surface and to establish its topological type. He Map of the surface
cannot see the whole surface at a time and cannot answer the question
on what precise manifold he is (Fig.2.4.12), or whether there exists an
algorithm for surface recognition. That is, he cannot. say whether it is Surface recognition
orientable or not, how many handles or Mobius strips it has. If the reader
ponders over the problem seriously, he is sure to find the answer to be
not an easy one. A simple detour round the surface will give nothing:
one does not know how to discover handles and how to count them. It is
intuitively clear that to find out what fundamental polygon this surface
has is practically impossible by way of simple observation. The formal
knowledge (which is geodesist has) of the fact that the surface has some Fig. 2.4.12
fundamental polygon is of no use here.
However, we already know that the geodesist can solve the problem ~ _ o OllC>OClQ{je •••• •
without leaving the surface. We shall describe this method once again II)fl-- ooQ'i?0'ii'oQQ .... •
giving attention to the subject matter of the recognition process. Within a ~ ¥ __ 'OQ~I>~09~· .. ..
fmite period of time, the geodesist can draw on the surface a set of trian- .!!~ ___ O'OP DDo9Q .... •
.~" ___ t3~O(l:>e.&t'c:O ... ..
gles to obtain triangulation. The work may appear to be cumbersome, but ~; codes of manifolds
moving continuously along the surface and sometimes returning he can
make all the triangles compatible. The geodesist numbers successively Fig. 2.4.13
(without turns) all the triangles, edges and vertices. The result of this
cartography will be the table T(M). The process of partition of a mani- Cartography process
fold into triangles is of course ambiguous. For example, if the geodesist
erased this triangulation and repeated the whole process agian, he would
almost sure to get the result different from the initial one. So, one and
the same manifold can be associated with an infinite number of tables
T(M) that code a given surface (Fig. 2.4.13). Thus, we can construct the
algorithm for enumerating all 2-manifolds and obtain the list of them. Algorithm for
The list will be excessive in the sense that one and the same manifold enumerating all 2-surfaces
is represented there an infinite number of times, i.e. acquires an infi-
nite number of codes. The problem arises of how we can know from
two codes in the list whether they specify one and the same or different
manifolds.
154 2. Low-Dimensional Manifolds
Algorithm for recognition Such an algorithm for recognition does exist, although in practical
and incidence matrices work it may require much time to give an answer. This necessary time can
however be efficiently estimated from above using a calculable constant
which depends only on the size of the initial table T(M). This procedure
is described below.
We should now return to the material of Chap. 1. Recall that the real
cohomology groups of smooth manifolds coincide with real simplicial
homology groups of these manifolds calculated using incidence matrices.
The problem therefore reduces to the analysis of the incidence matrices
which are in fact already known to the geodesist since he has already
compiled the table T(M) corresponding to a given triangulation. The
geodesist should calculate all the boundary operators (Fig.2.4.14) and
Fig. 2.4.14 find all the one-dimensional cycles and boundaries (Fig.2.4.15). Then,
using personal computer, he can quickly reduce the incidence matrices to
~
1. the normal form and calculate the real homology groups. Moreover, he
•. :::.L13 can determine whether the surface is orientable or not. Using the familiar
"fJ......
.. ' to him theoretical information on the structure of homology groups of
/1;" 2-manifolds, the geodesist answers the question.
Fig. 2.4.15
2.4.9 Visual Material
Page 158, Fig. 2.4.18. Incidence matrices determine the topological struc-
ture of a complex objects; memory af an individual block reconstructs its
neighbourhood
2.5 Visual Properties of Three-Dimensional Manifolds 159
The proof is carried out using the same technique as in the proof
of the two-dimensional surface classification theorem. We preliminarily
introduce a very important concept of a handle.
Let M be an n-manifold and let h : 8 A- 1 X Dn-A --t 8M be a certain
embedding. Then we say that the manifold MI = M Uh(D A X Dn-A)
n-dimensional handle is obtained from the manifold M by glueing an n-dimensional handle
of index'\ of index A. The image of the manifold DA X Dn-A in the manifold MI
Base of the handle under glueing is called a handle and the manifold h(8 A- 1 X Dn - A) is
called the base of it. The disc, the strip and the patch from the proof
of Theorem 2, Sect. 2.4.3 are two-dimensional handles of indices 0, 1
and 2 respectively. The glueing of a handle of index 0 to an n-manifold
consists in the addition of an n-ball taken separately; the glueing of a
handle of index n consists in glueing up the spherical component of the
boundary by an n-ball. Examples of three-dimensional handles of indices
Fig. 2.5.1 1 and 2 are given in Fig. 2.5.1.
Splitting into An n-manifold is said to be splitted into handles if it is obtained
union of handles from a ball by a successive glueing of handles of different indices. There
exists the following duality: any handle of index A glued to the union of
Duality between the preceding handles can be regarded as a handle of index n - Aglued
the handles to the union of the remaining handles.
2.5 Visual Properties of Three-Dimensional Manifolds 161
discs each of which intersects the i-axis at exactly one point and is
obtained by rotation of a corresponding "solenoidal" arc. Therefore, this
complement is also a solid torus. Note that meridians and parallels of
solid tori exchange places under glueing: a meridian becomes a parallel
and vice versa.
In Fig. 2.5.4 the space ID'3 is represented as a space JR.3 with im-
proper points added by one for each direction (the class of parallel straight
lines). The one-sheeted hyperboloid splits JR.p3 into two solid tori. The
meridional disc of one torus coincides with the disc spanned by the neck
cross-section of the hyperboloid, the meridional disc of the other one is
composed of parts (31, f32 of the plane passing through the hyperboloid
axis. As the parallel of both the tori one can take the rectilinear generator
of the hyperboloid.
Fig. 2.5.4 We are already acquainted with the simplest examples of three-dimen-
sional manifolds. This is the standard sphere 8 3 given by the equation
(xli + (x 2)2 + (x 3i + (x4)2 = I in a Euclidean space JR.4; the three-
Projective space lRp3 dimensional projective space JR.p3 whose points are, for example, straight
Direct product 8 1 x 82 lines in JR.4 passing through the origin; the direct product of a circle by a
two-dimensional sphere, i.e. 8' x 8 2 and, finany, the three-dimensional
3-torus torus T3 which is a product of three circles, i.e. 8 1 x 8 1 X 8 1. Besides, in
Lens spaces concrete applications we often encounter so-called lens spaces (or simply
"lenses") Lp,q defmed like this. We consider a sphere 8 3 embedded
standardly in JR.4 which is identified with the complex space C2(z, w).
The sphere is given here by the equation Izl2 + Iwl 2= 1. Let us consider
the action of the Abelian group Zc on the sphere 8 3, which is given by
the formula (z, w) - t (e27riP/C. z, e27riq/c • w). The linear transformation
defined by this formula obviously maps the sphere into itself Considering
the iterations of this transformation, we determine the action of the other
elements of the group Zc. Factorizing the sphere by the action of this
group (Le. identifying the points obtained from one another via group
transformations) we obtain a new space which is just called the lens
space. In a particular case, considering a lens Ll,1 for c = 2, we obtain
a projective space. In this case the action of the group Z2 is given by
0;
2.5 Visual Properties of Three-Dimensional Manifolds 163
,gOl
opposite one. 1 ._~
.., ......
0"'"
homeomorphic to the initial manifold (Fig.2.5.6), i.e. Mn Usn ~ Mn.
In particular, sn U..• usn = sn. A connected sum of two tori gives .~ '\
a pretzel. Generally, a connected sum of a 2-manifold with a torus is ,
equivalent to glueing one handle. Thus, any closed orientable connected
2-manifold, i.e. a sphere with handles results from taking a connected
sum of a corresponding number of tori. In this sense S2 and the torus
T2 are "independent" (in the class of orientable manifolds). The other
orientable manifolds are decomposed into connected sums o~ these man-
ifolds. On this basis we give the natural defmition. A manifold M n is
called irreducible (in the topological sense) if it cannot be represented
as a connected sum of two manifolds Ml and M2 distinct from the stan-
dard sphere, i.e. M f Ml UM2. The other manifolds are called reducible.
Therefore, the manifold M is reducible provided that M = Ml ~ M2,
where Mi f sn, i = 1,2. From this point of view, the standard sphere is
assumed to be an irreducible manifold (although it falls into a connected Fig. 2.5.6
sum of an arbitrary number of spheres).
164 2. Low-Dimensional Manifolds
Fig. 2.5.7 Note that none of these facts is trivial. The first of them admits a
beautiful reformulation in the language of homeomorphisms of a pret-
Homeomorphism group zel surface. We denote a homeomorphism of the surface of a standard
of the pretzel pretzel, which maps its meridians into parallel~, by cpo Then the homeo-
morphism h determines a sphere if and only if h has the form acpb,
where the homeomorphisms a and b are continued onto the interior of a
solid pretzel. The structure of the homeomorphism group of the pretzel
surface is well-known. Lickorish has found the generators and Wein-
reeb the relations (see e.g. Referativnyi Zhumal (Review Journal) 1984,
Homeomorphism group 4A597). The structure of a homeomorphism group of a solid pretzel is
of a solid pretzel also well known. For the review of these results see Ref. [29]. The prob-
lem of algorithmic recognition of a sphere is reduced to the problem of
recognition of bilateral cosets of a known group by a known subgroup.
From the second class one can readily obtain the topological classi-
fication of lens spaces (without the use of Rademeister torsion).
Using the fourth fact one can reuce the problem of classification
of all 3-manifolds to the problem of classification of bilateral cosets of
a stabilized homeomorphism group of a pretzel surface by a stabilized
homeomorphism group of a solid pretzel.
2.5 Visual Properties of Three-Dimensional Manifolds 165
2.5.4 Spines
The classical concept of a spine (not to be confused with "spline") is Spine of a 3-manifold
a convenient means for defining 3-manifolds; it is based on the idea
of reducing the study of 3-manifolds to the study of two-dimensional
polyhedra. See, for example [44].
Coding 3-manifolds by spines is favourable from the viewpoint of a Coding 3-manifo/ds
succesive enumeration of manifolds with their increasing "complexity" by spines
(for details see below). The new theory of almost special spines and its
applications to the problems of three-dimensional topology (including
computer geometry) has been thoroughly developed by S.V. Matveev.
Some of his results admitting a particularly obvious interpretation are
presented in this subsection.
g. . . . .
concept of a spine.
.- j
~
."... The proof of this theorem consists in the fact that the structure of
--~~ the direct product M - P ~ 8M x (0,1) can be changed locally (in the
...........
neighbourhood of some given simplexes) so as to obtain the structure of
Fig.2.5.11 the direct product by M - Q. It is sufficient to verify the possibility of
such a change for a standard simplex in a Euclidean space (Fig. 2.5.12)
because all the simplexes in a manifold are positioned standardly up to
homeomorphism.
A spine is called non-collapsible if it cannot be collapsed into a
smaller spine. From among the above examples of spines it is only the
circle (the spine of a ring or of a Mobius strip) and point (the spine
of a ball or of a sphere) that are non-collapsible for the reason of "the
absence of the beginning", i.e. free boundaries from which the collapse
could start. It can be readily proved that a point is the only non-collapsible
spine of a two-dimensional sphere (a two-dimensional disc). Indeed, a
Fig. 2.5.12
2.5 Visual Properties of Three-Dimensional Manifolds 167
• • •:
I
I
mension two. This is a "genuine buckle", i.e. a disc with two holes and I
I
I
I
I
I
I .: I
a "piratic buckle", i.e. a torus with a hole. Figure 2.5.16 gives similar I
t
I
:
I
J
examples of dimension 3: a full torus with two discarded balls and a ~. . . . . . .I • • • • •"
manifold 8 2 x 8 1 with two discarded balls have one and the same two- Fig. 2.5.15
dimensional spine, namely, the surface of a torus with two discs glued
along meridianal curves.
-Sexiis Fig.2.5.16
168 2. Low-Dimensional Manifolds
Theorem 5. (see Ref. [44]). If two 3-manifolds have homeomorphic spe- 3-manifolds with
cial spines, they are homeomorphic. homeomorphic special
spines are homeomorphic
The idea of the proof is the following. Since a circle with three
radii is embedded into a two-dimensional sphere in a unique (up to a
homeomorphism) way, the neighbourhoods of the vertices of the special
polyhedron get thickened up to balls in a unique way. This thickening is
uniquely continued up the thickening of the edges of the special polyhe- Special polyhedron
dron. It remains to prove that the thickening of the neighbourhood of the
boundary of each 2-component, which is observed in this case, i.e. the
direct product of this neighbourhood by a segment, is continued up to the
thickening (i.e. the direct product by a segment) of the 2-component itself
in a unique way. This easily follows from the fact that all 2-components
are cells - this is why the condition was imposed.
Similar consideration show that the neighbourhood of the set of
singular points of any special polyhedron (not necessarily the spine of
a 3-manifold) thickens up to the 3-manifold. The continuation of this
thickening up to the thickening of 2-components may be hampered by a
nontrivail character of the fibre bundle of segments appearing near the
boundary. Such an obstacle is really encountered: let a special polyhedron
be obtained by glueing a disc to a projective plane along a projective
straight line. Then it is not embedded into any 3-manifold just for the
reason indicated above. Thus, not all special polyhedra are spines of
3-manifolds, i.e. get thickened. But if a special polyhedron does get Filtration in the set
thickened, it does it in a unique way! of all 3-manifolds
170 2. Low-Dimensional Manifolds
Problem of enumerating Theorem 5 implies that the problem of enumerating 3-manifolds reduces
of all 3-manifolds to the problem of enumerating special thickened polyhedra.
An important fact is that for each number k there exists only a finite
number of various 3-manifolds having special spines with k vertices. All
Special thickened polyhedra special polyhedra with k vertices can be enumerated as follows. First we
should construct all regular graphs of degree 4 with k vertices. This is
not difficult to do. Then for each such graph r we should run through all
special polyhedra whose set of singular points is homeomorphic to the
graph r. For this purpose we should do this. We embed the graph r into
"Detail" ]R3 and replace each of its vertices by a so-called "detail" homeomorphic
to the cone above the circle with three radii (Fig. 2.5.21).
IAL
X~ Fig. 2.5.21
A·:·:·
to a polyhedron Po glued of details. We thicken all details as shown Polyhedron glued
in Fig.2.5.23. A topologically thickened detail is a 3-ball with two dis- of details
tinguished discs on its boundary, each two of which are joined by a
distinguished arc. Glueing the thickened details gives a solid pretzel. . .
The distinguished arcs will be so glued as to form closed curves on the
0.
........... '.
;... )
pretzel surface which constitute the Heegaard diagram of the manifold
M. So, any closed orientable manifold M has a Heegaard diagram of
a very special form, glued of standard pieces (thickened details). For
any number k there exists only a finite number of special diagrams of
genus k, which fact differs them advantageously from usual diagrams
(the number of the latter is infinite).
The fact that there is a finite number of manifolds having special Fig. 2.5.25
spines with ~. k vertices leads to a natural idea to take as the complexity Complexity of
of a 3-manifold M the number of vertices in its minimal (in the number a 3-manifold
of vertices) special spine. This characteristics is convenient in that there
exists only a finite number of3-manifolds of complexity k. But it has its
shortcomings too: first, the complexity of a sphere appears to be equal
to 1, whereas that of a manifold £3,1 appears to be equal to zero. Figure
2.5.24 presents the neighbourhood of a singular graph of the minimal
special spine of a sphere, and in Fig. 2.5.25 we can see the neighbourhood
of a singular graph of the minimal spine of a lens £3,1, which is a triangle
with identified compatibly oriented edges (we shall call it the "Mobius
cap").
172 2. Low-Dimensional Manifolds
~~~
~~Y
An example of an almost special polyhedron is given in Fig. 2.5.26. The
polyhedron porperty of being almost special is preserved when we pass
over to the non-collapsible polyhedron. This follows readily from the
definition.
Fig. 2.5.26
Complexity of Definition 5. (S.V. Matveev). The complexity of a 3-manifold is equal
a 3-manifold to k if it has an almost special spine with k vertices and has not a single
special spine with a smaller number of vertices.
Additive property Theorem 6. (S.V. Matveev). Let the complexity of a closed orientable
of the complexity 3-manifold M be equal to k. Then M = Ui Mi, where each Mi is homeo-
morphic to 82 x 8 1, m>3 or has a special spine Pi the number of whose
vertices coincides with the complexity ki of the manifold Mi. Given this,
there holds the equality k =Ei ki.
2.5 Visual Properties of Three-Dimensional Manifolds 173
The idea of the proof is the following. If the minimal almost special Idea of the proof
spine P of the manifold M contains points with one-dimensional neigh-
bourhoods, it contains the principal edge, i.e. an edge not adjoint by the
two-dimensional part of the polyhedron P. When this edge is cut, the
spine P either falls into two parts, which corresponds to the manifold
decomposition into a connected sum, or does not fall into parts at all,
which corresponds to singling out the summand 8 2 x 8 1. If some of the
2-components of the polyhedron P contains a simple closed curve not
restricting a disc, then the polyhedron P should be cut along this curve,
and one of the circles resulting from the cut should be glued up by a
disc. The manifold will then fall into a connected sum of two manifolds
with simpler spines. If the spine of P contains no principal edges and
if all simple closed curves in its 2-components restrict discs, then this
polyhedron is either special or homeomorphic to ]R2, which corresponds
to the case of projective space. The proof of the inequality 2:i ki ~ k is
obvious since if we join the minimal almost spines of the manifolds Mi
with arcs, we obtain the almost special spine of the manifold M. The
inverse inequality 2:i ki ::; k is proved using the Haken theory of normal Haken theory
surfaces [45], and the proof is rather cumbersome. of normal surfaces
This theorem implies the above-mentioned result concerning ori-
entable manifolds of complexity 0 since the only special spine with 0 3-manifolds
vertices is a Mobius cap. From the theorem it also follows that up to con- of complexity 0
nected sums with manifolds 8 2 x 8 1, ]Rp3, L 3,1 there exists only a finite
number of manifolds of complexity k. In other words, if we restrict our-
selves to closed orientable manifolds containing no non-splitting spheres, Only a finite number
projective planes and Mobius caps, then there exists only a finite number of irreducible manifolds
of such manifolds of complexity k, and the minimal almost special spine with a fixed complexity k
of such a manifold is special.
Simplification of which enables one special spine to be transformed into other special
special spines spines. For simplicity we shall consider only closed 3-manifolds. Let P
be a special spine of a closed 3-manifold M and let D c M be a disc
in M having no common interior points with P, such that the curve aD
lies in P and is in general position to its singular graph r. This means
that the curve aD does not pass through the vertices of the graph rand
crosses its edges transversally. The disc D splits an open ball M - P
into two balls Vi and Y2. An important and easily verified (proceeding
from the structure of singular points of the polyhedron P) fact is that
the intersection K of closures of the balls Vi and Y2, i.e. their common
boundary is a closed 2-manifold composed entirely of 2-components of
the polyhedron P. The polyhedron MUD is a speGial spine of the man-
ifold M with two removed balls. If we puncture the disc D, we go back
to the spine P of the manifold M with one removed ball, i.e. simply to
a spine of the manifold M. But if we puncture one of the 2-components
on the surface K, then after collapse we obtain another special (or al-
most special) spine PI of the manifold M. Figure 2.5.27 presents two
particularly simple re-Iayings TI and T2 made in the neighbourhood of
a vertex or an edge of the polyhedron P. Inverse transformations TI- I
and T2- 1 are also re-Iayings.
It turns out that even these very simple re-Iayings suffice to transform
one special spine of a 3-manifold into another.
The proof of this theorem is based on the fact that any two tri-
angulations of a 3-manifold have a common subdivion. Note that the
complexity (the number of vertices) of a special polyhedron increases
by 2 under transformation TI and by 1 under transformation T2. Let us
Fig. 2.5.27
analyze the change in the complexity of a special polyhedron under an
arbitrary re-Iaying. Let a curve aD intersect the graph r at k points
and let the boundary of the punctured 2-component a of the surface K
contain m vertices. After the disc D is glued to the polyhedron P, the
number of its vertices increases by k, and after the 2-component is punc-
tured and the polyhedron collapses, the number of its vertices decreases
not less than by m. Therefore, the complexity p,(PI) of the polyhedron
2.5 Visual Properties of Three-Dimensional Manifolds 175
Note that a positive solution of this hypothesis would imply the pos-
sibility of algorithmic recognition of homeomorphic 3-manifolds. This
follows from the fact that the number of special polyhedra of fixed com-
plexity is finite as well as from the fact that re-Iayings of fixed degree
can be applied to a given special polyhedron also in a finite number of
ways. Let PJ and P2 be special spines of manifolds MJ and M2. We shall
apply to them simplifying and balanced re-Iayings as long as possible. Balanced re-Iaying
If the two finite sets of special spines which we obtained intersect, then Hypothesis about
MJ and M2 are homeomorphic and if not, then MJ and M2 are distinct. algorithmic recognition of
The validity of the hypothesis can be grounded as follows. homeomorphic 3-manifolds
Note that one can easily realize the indicated simplification technique
and construct, in fact, an almost special spine with a smaller number of
Bing house vertices. The Bing house has both a short boundary curve and a counter-
run. Using any of these procedures, one can simplify the Bing house to
a point. It is noteworthy that in the case of a boundary curve of length
4, such a re-Iaying is balanced.
2.5 Visual Properties of Three-Dimensional Manifolds 177
The results of subsections 2.5.6 and 2.5.7 allow enumeration of all closed
orientable (containing no non-splitting spheres, projective planes and
Mobius caps) manifolds using computer. Such an enumeration of mani-
folds of complexity :::; 5 was made in 1972 by S.V. Matveev and V.V.
Savvateev and then repeated in an extended version (including some disk hole
manifolds of complexity 6) by S.V. Matveev in 1984 [46]. In 1986, S.V.
Fig. 2.5.30
Matveev enumerated all manifolds of complexity 6 [47]. Recently, in
1987, Matveev and Fomenko [48] used computer for analysis one of the Computers in 3-topology
problems of three-dimensional topology, namely, for estimation the least
volume of a compact hyperbolic manifold. Restriction to complexity 6
is caused both by the lack of machine time (calculation of each graph
with 6 vertices takes up 5 to 8 hours depending on its type) and by
difficulties of manual identification of manifolds yielded by computer.
Regular graphs of degree 4 with a given number of vertices are to be
enumerated manually (for the first time this was done in 1972) or using Enumeration of
computer (1984). Then each graph is set into computer which enumer- a 3-manifolds
ates all possible glueings to toroides (see Sect. 2.5.6) and subjects the Glueings of toroides
boundary curves of the special polyhedron obtained to the check:
1) there exists a boundary curve oflength :::; 3;
2) there exists a counterrun;
3) the glueing of thickened details gives Heegaard diagrams of the Glueing of
orientable manifold. thickened details
Description of a These groups are known to be able to act freely and linearly
corresponding 3-manifolds on the sphere 8 3 (J. Milnor). In particular, the groups Q4n, P24, P48
and P120 are subgroups of the groups 8 3 (of unit length quatemions).
In the two-sheeted covering 8 3 ~ Jltll3 = SO(3) these subgroups
cover twice the orientation-preserving symmetry groups of a regular
n-gon prism (dihedron), tetrahedron, octahedron and dodecahedron re-
spectively. Denoted by T2 x 1/ (~ ~) is the 3-manifold obtained
by glueing the bases of the direct product of a torus by a segment
via the homeomorphism specified by the indicated matrix. Denoted by
It= 0
Table 1
180 2. Low-Dimensional Manifolds
n=S'
Table 2
2.5 Visual Properties of Three-Dimensional Manifolds 181
i L1.l,2..'
s,1'
--
L19,3,Lzo,3,L2f,J,.,L2.3,J,. , L2.4-,5" ,
.
L2.4;11'L2.1,S' L2.8,S' L2.9, g' L30, '/, L31, ,/', L 3 (,ff '
o.
Table 4
182 2. Low-Dimensional Manifolds
Table 7
2.5 Visual Properties of Three-Dimensional Manifolds 183
Table 8
Table 9
184 2. Low·Dimensional Manifolds
4 -~.. )
We take several oriented tetrahedra, divide their faces into pairs and
(B. [J .,
~.- glue faces of each pair through one of the three possible orientation
®
.... ......
reversing homeomorphisms. This will give us a topological space (a cell
complex, a polyhedron) X. We shall attempt to prove that X is a closed
• • I 1
~
\. ... - J.!
: I t -., ; '1.5
~
orientable 3-manifold. If a point x E X corresponds to an interior point
Fig. 2.5.31 of one of the tetrahedra, it has in X a ball neighbourhood since there was
such a ball neighbourhood in the tetrahedron. If the point x corresponds to
a pair of points inside two faces of tetrahedra, then its ball neighbourhood
is glued of two half-ball neighbourhoods (Fig. 2.5.31). Let the point x
corresponds to points ai, a2, ... , an on the edges. Each point on the edge
has in its tetrahedron a neighbourhood of a ''watermelon slice" type. Of
them one glues the ball neighbourhood of the point x (Fig. 2.5.32).
Let the point x be obtained by glueing vertices. Each vertex has in
the tetrahedron containing it a cone-like neighbourhood over the triangle.
Fig. 2.5.32 When glued, such cone-like neighbourhoods form the neighbourhood of
the point x, homeomorphic to the cone over an ,orientable closed surface.
Cone·like singularities Thus, the space X is a 3-manifold with cone-like singularities over a
surface. In case all the surfaces are 2-spheres, X is a closed 3-manifold.
There is a simple way to establish this fact.
The necessity of the equality x(X) = 0 follows from the fact that
the Euler characteristic of any closed 3-rnanifold is equal to zero, which
can in turn be deduced from the existence of Heegaard splitting. Indeed,
if Kn and K~ are solid pretzels of Heegard splitting of genus n, then
X(X) = X(Kn) + X(K~) - X(Kn n K~) = 1 - n + 1 - n - (2 - n) = 0,
where Kn n K~ is their common surface.
Sufficiency of the equality X(X) = 0 is deduced from the following
considerations. Let X have cone-like singularities at points a], a2, ... ,an
2.5 Visual Properties of Three-Dimensional Manifolds 185
over surfaces FI , F2, ... ,Fn. Removal of the open cone-like neighbour-
hood of the point ai results in a decrease of the Euler characteristic by the
number 1- x(Fi) since this procedure removes one vertex (the point ai)
and as many edges; triangles and tetrahedra as there are vertices, edges
and triangles on the surface Fi. On removing open conic neighbourhoods Conic neighbourhoods
of all singular points, one obtains a three-manifold Y with boundary and of a singular points
with the characteristic X(Y) = X(X) - Ei=I(l - x(Fi». On the other
hand, by means of doubling the manifold Y one easily derives the for-
mula X(Y) = 1/2 Ei=1 X(Fi). Comparison of these two equalities gives
the new one X(X) = 1/2 Ei=1 (2 - X(Fi». Since no characteristic of a
surface exceeds 2, in the case X(X) = 0 we have X(Fi) = 2, ie. all Fi
are spheres. It turns out that there exists a close relation between the Relation between
complexity of a 3-manifold and the number of simplexes necessary for complexity and the
glueing this manifold. number of simplexes
~~ '2! ~
Fig.2.5.33
186 2. Low-Dimensional Manifolds
Fig. 2.5.35
A series of figures (Figs. 2.5.36, 37, 38, 39) illustrates the scheme of
Coding of 3-manifolds coding three-dimensional manifolds by means of spines. For this pur-
by means of spines pose we first cut a manifold (Fig. 2.5.36) and remove from it, say, one
three-dimensional cell (a ball). We obtain a 3-manifold with bound-
ary. In Fig. 2.5.36 the operation is shown" literally" as cutting a three-
dimensional body (volume) with a knife. Then the manifold with bound-
ary starts contracting to its special two-dimensional frame (= spine) de-
scribed in Sect. 2.5 above. Spines can be thought of as piecewise-linear
Flexible cells polyhedra, as shown in Fig. 2.5.37. Here flexible, amorphous cells of the
smooth 3-manifold gradually contract to rectilinear frames and freeze in
this form as the "code of the manifold". Given this, each manifold can be
assignes "complexity", i.e. the minimal number of vertices in the almost
Filtration in the set special spine. As a result, the codes of all 3-manifolds form an infinite
of all 3-manifolds sequence in the increasing order of their complexity. Such an ordering
(filtration) is schematically shown in Fig.2.5.38. The farther we move
along this sequence, the more complicated became the codes of the mani-
folds. Contraction of 3-manifolds to its spine is schematically shown also
in Fig. 2.5.39 where flexible cells of the manifold are shown as bended,
rather amorphous objects and the spine of the manifold as rectilinear (cu-
bic) constructions. All the cells gradually "settle" of the spine, and the
code of the manifold is transformed into a two-dimensional polyhedron.
Extra-mathematical Figure 2.5.39 has also some extra-mathematical content. It can be
pictures considered as an illustration for the novel "Master and Margaret" by the
famous Russian writer Michael Bulgakov. The giant cat Begemot (the
servant of the devil Woland) watchs the crucifixion of Jesus Christ.
Page 190, Fig. 2.5.38. Filtration in the set of all 3-manifolds. Gods of
ancient India
Euclidean space ]R2n Example. The Euclidean space JR.2n referred to Cartesian coordinates
as a symplectic manifold pi , ... ,pn , ql , ... ,qn and endowed with a bilinear form whose matrix
. ( -E0 0
IS E) ,were .matrIx.
h E'IS an n x n umt . It turns out that m.
the neighbourhood of any point on an arbitrary symplectic smooth mani-
fold one can always choose such local coordinates pi, ... ,pn, ql , ... , qn
(already not necessarily locally Euclidean) relative to which the matrix
of the form (a, b) will be written as ( _ ~ ~) independent of the
point (in the given neighbourhood). In other words, if (a, b) is written
in an explicit form '£WijaiQi, where Wij = -Wji and [} = (Wij) is the
skew-symmetric matrix of the form (a, b), then there exists a coordinate
change in the entire neighbourhood of the given point, such that at each
point of this neighbourhood the matrix of the form is (_~ ~) (the
Darboux theorem Darboux theorem). Such coordinates are called symplectic.
Symplectic coordinates
Definition.1. Let v be a smooth vector field (a system of differential equa-
tions) on an even-dimensional symplectic manifold M2n. This system is
Hamiltonian system called Hamiltonian if on the manifold there exists a smooth function H
Energy or (termed the Hamiltonian or the Hamiltonian/unction) such that in local
Hamiltonian function sympIt ' coord't
ec IC ma es pI , ... , pnl
,q , ... , qn(h'h
W IC are known t 't
0 eXIS
always in the neighbourhood of any point of the manifold) this system
Canonical Hamiltonian form v is written in the (so-called Hamiltonian) form:
of differential equation
dpi = oH(p, q) dqi = _ oH(p, q)
dt oqi dt opi
Recall that a function I on a manifold is called the integral of the Integrals of the
vector field (the system) v if its derivative along this field (i.e. the func- dynamical system
tion v(f) = 1:. viaf/ 8xi) is identically zero. Equivalently, the function
I is the integral of the field v if and only if it is constant on all inte-
gral trajectories of the system. An integral trajectory of a system is a Integral trajectofy
smooth curve whose velocity vector coincides at each of its points with
the vector of the field v (at this given point).
One can readily see that a Hamiltonian is always the integral of a Function of Hamilton
Hamiltonian field. Indeed, is always the integral
has, the lower its order. This explains the desire of specialists investigat-
ing one or another system of equations to find as many of its independent
integrals as possible.
The above arguments can be applied to any vector field. In the case
of Hamiltonian fields there is an important specific fact which in some
cases permits, roughly speaking, the order of the system to be lowered
each time not by unity but by two unities, i.e. each time the integral is
so to say "taken for two integrals". This happens when the system has
integrals in involution (involutive integrals). We recall the defmtion of
Poisson bracket the Poisson bracket of two functions. Let I and 9 be smooth functions
of the functions on a symplectic manifold M. We choose local symplectic coordinates
Some dynamical systems pi, ... ,pn, ql , ... ,qn on M2n. The Poisson bracket {f, g} on the func-
have many integrals tions I and 9 is the function given by the formula
which are in involution
n 01 og 01 og
{f, g} = ~ opi oqi - oqi opi
Next, the initial system leaves these tori invariant, i.e. the integral
trajectories (solutions) of the system lie on the tori and fill them com- Special coordinates
pletely. Furthermore, on a Liouville torus and in its neighbourhood one in the neigbourhood
can always choose coordinates in which the system v will be written of a Liouville torus
as that with constant (!) coefficients. Therefore, in these coordinates the Angle-action variables
integral trajectories will determine the rectilinear winding of the torus. Rectilinear winding =
For example, if the torus is two-dimensional, it can be represented as a almost periodic motion
glued square (Fig. 3.l.3). Then (in appropriate coordinates) the integral
trajectories of the field are depicted as straight lines (Fig. 3.1.3). In this
situation two cases are possible: a) all integral trajectories (straight lines)
are closed on the torus; b) all of them are non-closed i.e. are wound
round the torus infinitely long and without self-intersections. In the first
case, all integral trajectories are homeomorphic to a circle (periodic so- a
lutions of the system). In the second case, all of them are homeomorphic Fig.3.1 .3
to a straight line. In the second case the system is said to determine the
conditionally (or almost) periodic motion (and periodic in the first case). Periodic =
In the model of a torus on a square it can be readily explained when rational solutions
the case "a" and when the case "b" is realized. We consider the angle a Almost periodic =
between the straight line and the x-axis in Fig. 3.1.3. If the tangent of the irrational solutions
angle a is rational, the integral trajectory will sooner of later close up on
the torus. The point is that a straight line on a plane gets sooner or later
to the point with integer-valued coordinates (m, n), where the mutually
simple numbers m and n are such that tan a == min. If the tangent of the
angle a is irrational, the straight line passes by all integer points (m, n)
on the plane (except for its starting point (0,0)), and therefore after
the plane is rolled up into a torus, the trajectory cannot get closed. In
particular, it never returns to the initial point and starts winding infinitely Irrational trajectories
round the torus, this covering being increasingly dense. It can be shown are everywhere dense
that this torus winding is everywhere dense, i.e. if we fix an arbitrary
point on the torus and an arbitrary small number c: > 0, then the moment
is sure to come when our trajectory will pass near the chosen point at
a distance not exceeding the number c:. In other words, in some time
such a trajectory will pass arbitrarily close to any aforegiven point of the
torus. True, it may be a long time before this event happens.
If we now close such an irrational trajectory, we obtain the whole
torus. In this case the Liouville torus is a set of points arbitrarily closely
approximated by points of the given integral trajectory. It is known from
198 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
Liouville torus mechanics, that for analytic systems the case described above is the case
as the closure of general position, i.e. typical in the sense that if we choose randomly
of its irrational the initial point of the integral trajectory, send a trajectory from this point,
integral trajectory continue it to infinity and close, we obtain a complete Liouville torus.
The cases when an integral trajectory returns to the initial point (i.e. is
homeomorphic to a circle) are "exceedingly rare" and correspond to so-
called resonances. In systems of general form, such resonance points fill
up a set of measure zero, i.e. a very "thin" set.
Thus, the behaviour of integral trajectories of Liouville-integrable
Phase space as a systems is described rather thoroughly, at any rate from the topological
symplectic manifold point of view. The points of a symplectic manifold (in mechanics it is
in mechanics called the phase space of a mechanical system) on which a completely
integrable system is given appear to split into three groups (types). Points
of type 1 are characterized by the fact that the integral trajectory sent from
them never returns to the same point but starts winding round a Liouville
torus which is its closure (Fig. 3.1.4). Points of type 2 are characterized
by the fact that the integral trajectory sent from them moves along the
Liouville torus and in some time goes back, i.e. the trajectory is closed.
In this case, the trajectory continues moving along itself winding on itself
infinitely many times. All the rest ofthe points are of type 3. We shall not
specify here the behaviour of the integral trajectory for points of type 3
since it may prove to be very complicated. We shall mention them later.
Non-resonant It turns out that for analytic non-resonant systems points of type 1 are
integrable systems typical, of general position and constitute the "majority" of all points.
Points of types 2 and 3 occupy a thin subset of measure zero.
Consider a point x of type 1 in a phase space M2n and denote by
Tn(x) the Liouville torus which is the closure of the integral trajectory
sent from the point x. When the point x changes, the torus m(x) also
undergoes some changes. Moving along the phase space, it can at some
instant degenerate into a circle. This happens, for example, if when mov-
ing the point x gets into the set of points of type 2. Thus, Liouville tori
may deform within the phase space transforming, splitting into a union
of other Liouville tori, merging with tori, degenerating, etc. What is hap-
Evolution and bifurcations pening with Liouville tori is important for understanding the geometry
of a Liouville tori of a given mechanical system since they show what is happening with
show the "topology the solutions of a Hamiltonian system of equations when the initial data
of a given system" are changed.
3.1 Some Concepts of Hamiltonian Geometry 199
Regular values Points a from ~n which are not critical values will be called regular
of a momentum mapping values (for a given momentum map). Let F-i(q) be a complete pre-
image of the point q under the map F. If a is a regular value and the
3.1 Some Concepts of Hamiltonian Geometry 201
But since dim E ::; n - 2 and the path "{ is one-dimensional, one can
remove the path "{ from the set E using a small deformation. As a result,
we obtain the path joining the points a and b and not intersecting E.
Then the above arguments are valid. In this sense, when the "majority"
of Liouville torus deformations occur in the manifold M2n , the Liouville
tori undergo no surgery (and if some surgery does accidentally occur, it
can be removed by means of small "stirring").
We see quite a different picture when dim E = n - 1. Here the
set E, generally speaking, splits the space ]Rn into individual isolated
Chambers of "chambers" (Fig. 3.1.7). The point is that here E consists of pieces of
momentum mapping smooth hypersurfaces (perhaps with singularities). Therefore, E separates
]Rn. Consequently, choosing the points a and b in different chambers
we can see that any smooth path joining these points will necessarily
puncture the set E at some point c (or in several such points). Hence,
when moving along this path, a Liouville tours (in the manifold M) will
The case of "large" necessarily come across the set N of critical points and may undergo
bifurcation diagrams is a serious topological surgery. Moreover, any way we choose to send a
vel}' important in physics torus from F-l(a) into a torus from F- 1(b) will necessarily lead us at
some moment to a qualitative surgery.
Thus, if dim E = n - 1, then each chamber (i.e. each connected
-.' ----------- .--c::> component of the set ]Rn \ E) is generally characterized by its unique
~.~ A r i:: c:::::) set of Liouville tori. The number of these tori may be different for each
chamber. This situation is most frequently encountered in concrete inte-
-- ---- --- -- _.c::><:::::>
':. ::. 0 0
'"
grable systems in physics and mechanics. We shall therefore give some
o
more attention to the case dim E = n - 1.
o We shall discuss a concrete mechanism responsible for the drift of
"" real Liouville tori about a symplectic (phase) manifold. Consider a simple
example - a well with the profile shown in Fig. 3.1.8. Suppose that a ball
Fig.3.l.8 starts falling down along the well wall, the friction being now absent.
Then the ball motion is completely determined by its initial position (the
height), i.e. by its potential energy in the vertical gravitational field. In
the absence of friction the ball will each time reach the initial height, fall
Physical example down the well again, and so on. The process will be infmite.
Now we "switch on" the frictional force. Let the friction be very
small. Then we assume to a first approximation that the motion of the
3.1 Some Concepts of Hamiltonian Geometry 203
ball has not practically changed, and taking very small time intervals we
may say that the system behaves as before. But on large time intervals the Motion of a ball and
effect of small friction is telling appreciably. Clearly, in the course of time effect of small friction
the ball will rise at an increasingly small height due to the energy loss Decrease in the
(energy dissipation). Finally, the moment of qualitative transformation ball energy
of the ball motion will come: it will for ever remain either in the left or
in the right well (Fig. 3.1.8). The surgery proceeds at the moment when
the level of the ball rise touches the saddle A. If above the point A the
level line is homeomorphic to a circle, then at the moment the level line
touchs the saddle A (the critical energy level), it (the level line) becomes
a figure-of-eight, and as the energy goes on decreasing the level line
splits into two separete circles which go down until they finally become
the points of minimum [50].
Thus, the deformation of system's behaviour was caused here by
the decrease in the ball energy. In the general case this situation can be
described like this.
Consider an integrable system with integrals H = II, h, ... ,In. Fix General situation: the
the values of all the integrals but one, namely, let the values of the func- drift of Liouville tori
tions h, ... , In be fixed and the value of the energy integral (i.e. H) induced by change
vary. There starts the drift of the Liouville tori about the manifold, in- of energy value
duced by the variation of the H value. In the course of this, the torus
will sweep an (n + I)-dimensional surface which we denote by xn+l.
Clearly, it is the common level surface of the integrals h, ... , In (the
integral II is excluded). See Fig. 3.1.9. We may assume the surface X n+!
to be the pre-image of the straight line lying in ]Rn and passing through
the point a parallel to the coordinate axis H. The surface X may, ac-
cordingly, be considered outside the manifold M. Then H becomes a
smooth function on the surface, i.e. H can be regarded as the map of X
into a real straight line. As the energy increases, the Liouville torus or
tori corresponding to the energy value a start deforming on X. Then, at
a certain critical energy value c, the torus undergoes a surgery, i.e. splits
into several tori, and the latter, carried away by the increasing energy,
go on moving (Fig. 3.1.9).
The question is how the surgeries on Liouville tori are classified.
The answer for a rather large class of systems is given in the subse.ction
to follow. Fig.3.1.9
204 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
interest for us now. The value c is the critical value of the function H on Singular level
the manifold x, i.e. on the level set Xc = {x EX: H(x) = c} = H-1(c) of energy function
there exist critical points of the functions H (at which gradH = 0).
Consider the case of general position, i.e. the case where the function H
has typical singularities. This circumstance can be specified. We shall
say that the smooth function H is a nondegenerate or Bott one on the Nondegenerate
manifold X if the critical points of the function H form nondegenerate or Bott integrals
critical submanifolds.
Let us decipher this definition. Consider the set of critical points of
the function H. It is required that this manifold be a smooth subman-
ifold in the manifold X, and not necessarily a connected one. More-
over, it is required that the Hessian d2H of the function H (the sec-
ond differential) be nondegenerate on planes orthogonal to the subman-
ifolds of critical points (Fig. 3.2.2). In other words, consider the matrix
J = (fiHjaxiax j ), where xi are local coordinates. Then it is required Fig. 3.2.2
that its kernel coincide with the tangent plane to the critical submanifold
and that on the orthogonal complement to this submanifold the matrix Bott integral
be non degenerate. This means that the restriction of the function H to is a Morse function
each normal disc of small radius with centre at a point on the criti- on a normal disc to
cal submanifold is a Morse function. Such functions were introduced a critical manifold
by M. Morse and then especially intensively studied in the well-known
papers by R. Bott. This is why we call them Bott functions. It was proved recently that
So, let the Hamiltonian H be a Bott function on the suiface X in any analytical integrable
the neighbourhood of the Liouville torus surgery of interest, i.e. in the system can be approximated
neighbourhood of the critical energy value. by an integrable system
We shall point out another visual interpretation of the condition of with a Bott integral
Bott character (the condition of general position). Consider the bifur-
cation set of a momentum mapping. From Sect. 3.1 it follows that of
particular interest is the case where E is one-dimensional, i.e. consists
of segments of smooth arcs on the plane. They may be glued together,
i.e. the set E has, generally speaking, some singularities. Surgeries of
Liouville tori occur at the moment when a point, moving along a curve
on the plane, punctures (at a point c) the bifurcation diagram (Fig. 3.2.3).
Clearly, we obtain a three-dimensional surface X3 (see above). Since Fig. 3.2.3
we are interested in the case of general position, we may assume that
the smooth segment 'Y punctures the curve E transversally at its non-
singular point (Fig. 3.2.3) and with a nonzero velocity. These conditions
210 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
Almost an invesffgated single out the class of "typical segments" ,. Any segment can always
today physical integrable be transformed by means of small stirring into such a "typical segment".
systems are nondegenerate The exact formulation of these requirements is given above in terms of
(= with Bott integral) Bott (= nondegenerate) integrals.
It turns out that typical surgery of Liouville tori can be effectively and
demonstratively described. There is a finite number of such basic surgi-
cal operations, and what is happening to a torus under surgery can be
represented in a three-dimensional space. Consider the following three
topological operations on a two-dimensional torus.
1) Consider a solid torus standardly embedded in 1R3 (i.e. a direct
product of a circle by a disc) (Fig. 3.2.4). Inside this torus consider the
axis, i.e. a circle. The boundary of the solid torus is a torus. Examine its
deformation. The torus contracts inside the solid torus and becomes the
axial circle. This surgery will be denoted by T2 ___ 8 1 --- O.
2.) 2) Drill from the solid torus a thin solid torus concentric to the
initial one, i.e. consider in 1R3 the standardly embedded thickened torus
- the direct product of the torus by a segment (Fig. 3.2.4). Consider the
"middle" torus in this thickened torus. We may construct a deformation
contracting the boundary of the thickened torus (Le. both the inner and
outer tori) onto the middle torus (Fig. 3.2.4). The two tori move towards
each other (one decreasing in size, the other increasing) and finally meet
in the middle of the thickened torus merging into one. This surgery will
be denoted by 2T2 ___ T2 --- O.
3) Drill two solid tori from the complete torus standardlyembedded
3
in 1R as shown in Fig. 3.2.4. Each of the inner solid tori goes once along
the axis of the large solid torus. We obtain a three-dimensional manifold
with boundary consisting of three tori. Now consider the deformation of
the outer torus. It contracts to two thin tori inside it (Fig. 3.2.4). At some
3)
critical moment, the outer torus becomes a surface whose orthogonal
~ "
t) b M
/.' : cross-section (by a plane orthogonal to the torus axis) is a figure-of-
eight. Then the figure-of-eight breaks down and splits into two circles.
This corresponds to a breakdown of the outer torus into two tori, after
29-0000
·. . . 6d.b.o Ag.3.2A
3.2 Qualitative Questions of Geometric Integration 211
which each of them contracts to its inner thin torus. We denote this
surgery by T2 ~ 2T2. It is quite clear that sending the arrows into the
opposite direction, we shall obtain from all the three indicated operations
their inverses.
the torus strikes the critical energy surface from above and is again
reflected in to the region of higher energy values;
two tori fall onto the critical surface from above, run into each other,
merge into one torus which breaking the surface continues its downward
motion.
We have described the elementary surgeries which form the "basis"
in the set of all surgeries of Bott position. Any typical surgery is a com-
position of elementary ones. It turns out that one can effectively describe
"second level" surgeries, i.e. "not very complicated" combinations of the
three above-mentioned surgeries.
Consider a critical energy surface and suppose there is exactly one
connected critical manifold of Bott Hamiltonian H on this surface. Then
while intersecting this critical surface a Liouville torus will undergo a
surgery. Let us call this surgery Hamiltonian and simple. Theorem 2
to follow provid~s a complete description of all possible Hamiltonian
(simple) surgeries. Before formulating the theorem, we point out two
more surgeries on the torus.
4) Consider a solid torus embedded standardly in 1.3 and going
twice along its axis drill a thin solid torus from it as shown in Fig. 3.2.6.
This gives a 3-manifold A3 whose boundary consists of two tori, outer
and inner. We shall describe the process of transformation of the outer
torus into the inner one. In Fig. 3.2.6 we see a deformation of the outer
Fig. 3.2.6 torus (in the normall cross-section of the solid torus, i.e. on a disc with
two holes). It contracts inside the solid torus and then transforms into
a torus wound twice along its own axis and tangent to itself along a
circle (Fig. 3.2.7). To obtain this surface, we should do the following.
We should take a standard flat circle, consider an orthogonal to it figure-
of-eight with loops labelled by numerals 1 and 2 and then start moving
the figure-of-height along the circle leaving the former orthogonal to the
latter but rotating it so that after a revolution it could occupy its initial
position but its loops 1 and 2 exchange places. The surface sweeped
by the figure-of-eight during its motion will just be the median position
of the outer torus which tends to transform into a thin one wound twice
round its axis. This surgery will be denoted by T2 - t T2. In our terminol-
ogy this surgery means the following. The torus approaches the critical
Fig. 3.2.7 energy surface (Fig. 3.2.7), breaks through it, and on transforming again
3.2 Qualitative Questions of Geometric Integration 213
into one torus goes on moving already in the region of higher energy.
Transformation of a torus into a torus consists in its double winding
round itself (the exact description is given above).
5) Consider a Klein bottle K2 immersed in ~3 (Fig.3.2.8). Al- Immersed Klein bottle
though this immersion has a circle of self-intersection, this is inessential as a critical level surface
for us here. Examine a tubular neighbourhood of this immersed subman- of a simple integral
ifold. This means that at each point x of the Klein bottle we take a small
segment centred at the point x and orthogonal to the surface. Uniting
all these segments, i.e. making the point x run through the whole of the
Klein bottle, we obtain a 3-manifold K3 immersed in ~3. This manifold
contains the Klein bottle and obviously contracts to it. For contraction
it suffices to make the points p and q (the end-points of the segment
centred at the point x, see Fig. 3.2.8) move towards each other in the
direction of the point x. As a result, the manifold K3 contracts to the
2-surface, the Klein bottle. Consider the boundary of the manifold K3. It
can be readily seen that it is diffeomorphic to a two-dimensional torus. It
is immersed in ~3 and in the course of the above-mentioned contraction
"covers" the Klein bottle. Given this, to one point there go exactly two
points of the torus. Namely, to the point x there go the points p and q.
To make sure that the boundary of K3 is a torus we recommend that
the reader draw carefully an immersed Klein bottle and trace out the
whole picture of contraction. An attempt to represent this picture was Fig. 3.2.8
made by the author in Fig. 3.1.19. In topology, such a transformation of
a torus into a Klein bottle is called a two-sheeted covering. We denote
this surgery of a torus by T2 - K2 - O. Here the Liouville torus ap-
proaches at low velocity the critical energy surface, does not break it but
"fades" becoming a Klein bottle that lies on the surface H = c.
Theorem 2. (Fomenko [54], [55]). Any Hamiltonian (simple) surgery ofa Simple integrable system
Liouville torus (of Bott position) coincides with one of the five elementary has exactly one critical
surgeries 1,2, 3, 4, 5 listed above. manifold on each
critical level
The Hamiltonian character of surgeries 1, 2, 3 is rather obvious. It
is more difficult to make sure that the Hamiltonian surgeries 2, 4 and 5
are compositions of the elementary surgeries 1 and 3. There holds the
following assertion:
214 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
We shall not prove this fact here. For what follows it is convenient
to introduce visual notation. In Fig. 3.2.9 we show how we shall represent
surgeries 1-5 of Liouville tori. This will be also instructive in the study
of topological structure of constant energy surface.
So, surgery 1 (Fig. 3.2.9) means that the torus degenerates into its
axial circle. Surgery 2 (Fig. 3.2.9) shows a merging of two tori into one.
Surgery 3 (Fig. 3.2.9) is transformation of one torus into two. Surgery 4
(Fig. 3.2.9) is transformation of a torus into a torus twice wound round
the initial one. Surgery 5 (Fig. 3.2.9) implies transformation of a torus
into a Klein bottle (by means of a two-sheeted covering). Figure 3.2.9
illustrates the inverse surgeries as well. These are separated from the first
five by a dashed line.
If on one energy level there arise two or more surgeries, we shall
depict this event as shown in Fig. 3.2.9, where three types of surgery on
one energy level are given as an example.
3-t-3~ Clearly, from the elementary graphs of Fig. 3.2.9 we can compile
more complicated graphs by glueing the ends of the edges. The inte-
/\ Fig. 3.2.9
rior (nonsingular) point on the edge of the graph depicts schematically a
nonsingular Liouville torus. As the point slides along the edge the torus
moves inside the surface, on which the integral f is constant, sweeping
a part of it. At those points at which the edges of the graph merge or end
"Molecule" = as vertices, the tori undergo corresponding surgery. Thus, constructing a
one-dimensional graph shows one-dimensional graph, we draw the set of all Hamiltonian (simple) surg-
all topological bifurcations eries of Liouville tori (i.e. their decomposition into simple surgeries) on a
of Liouville tori 3-surface given by a constant value ofthe integral f. In Sects. 3.2.4-3.2.9
we employ this geometrical language for a visual interpretation of the
familiar results concerning topological surgery of Liouville tori in some
classical integrable physical systems.
Complete classification The complete classification of ALL surgeries of Bott position (i.e.,
of all complex (i.e. not not only Hamiltonian, simple) is given in the paper by A.T. Fomenko
only simple) bifurcations "Topological Invariants of Liouville-Integrable Hamiltonian Systems"
of Liouville tori published in Fllnktsional'nyi Analiz i eygo Prilozheniya, 1988, v.2,
3.2 Qualitative Questions of Geometric Integration 215
No.4, pp. 38-51. Here the integrable system can have many critical sub-
manifolds on the same critical level.
Consider a critical energy level H "" const ~n a manifold X 3, i.e. under Classification of all
the condition that the second integral f is fixed. The question is how this critical submanifolds
level is topologically organized. First we enumerate the possible critical of a nondegenerate
submanifolds of the energy integral on the surface X = (f = const). integrable systems
From now on, Sect. 3.2 demonstrates fruitfulness of the methods of vi-
sual geometry ~n the analysis of concrete mechanical systems. We employ
here the new language elaborated above and permitting, in particular, a
visual presentation, using the graphs r( Q), of some already familiar re-
3.2 Qualitative Questions of Geometric Integration 217
{ (A,w) +w x Aw =v x gradII
v=vxw,
Inertia tensor v vi
where A is the diagonal matrix (inertia tensor), E 8 2 = {II[ + + vj- = I}
determines the position of the rigid body up to rotations about the ver-
tical, x is vector mUltiplication, (,) is the Euclidean scalar product of
vectors.
This system of equations always has two integrals, namely, the
Energy integral energy integral H(v, w) = 1/2(Aw, w) + II(v) and the area integral
Area integral G(v, w) = (Aw, v).
It can be shown that if there exists an integral K = K(v,w) indepen-
dent of the integrals G and H, then the connected component of the non-
singular surface Ih,g,k = {x E 8 2 x lR.3IH(x) = h, G(x) = g, K(x) = k}
is diffeomorphic to a torus T2, and the motion on it is conditionally
periodic.
The set of the critical values of the map I = H x G x K : 8 2 x lR.3 --+
Phase topology of lR. is the bifurcation diagram E C lR.3. To investigate the phase topology
3
Domain of possible motion The domain of possible motion (DPM) corresponding to (h, g, k) E
of a mechanical system lR.3 is the set Uh,g,k = P(h,g,k) C 8 2, where 8 2 is the Poisson sphere.
The generalized boundary of DPM of Uh,g,k is the set of critical values
of the map p = plh,g,k : h,g,k --+ Uh,g,k' A vector w E lR.3 such that
Admissible velocity (v, w) E h,g,k is called the admissible velocity at the point v E 8 2 for
the DPM of Uh,g,k'
The classification of DPM types with an indication of the set of
admissible velocities at each point is called geometrical analysis of a
mechanical system ([56]-[58]).
3.2 Qualitative Questions of Geometric Integration 219
The configuration space il,1 this problem is ]R2(XI, X2). The system is
defined by the Lagrange function: Lagrange function
( .2 .2)
'PI (XI) +'P2(X2)
L = 1/2 ()Ij (xd + >d X2» (XI (XI)xI + (X2(X2)x2 - Al (XI) +>d X2) ,
where Al (x]) + A2(X2)f 0, (XI(X]) > 0, (X2(X2) > 0. This system has two Integrals of
integrals: Liouville system
/ ( .2
K = 1 2(AI + A2) A2(X2 XI - AI(X2 X2 +
.2) 'PI A2-'P2 AI
Al + A2
Horizontal and
Consider the projection p : T*]R2 ---+ ]R2, p(XI, X2, XI, X2) = (XI, X2). Here vertical oscillations
instead of the Poisson bracket we take the configuration space ]R2. From
the conditions H = hand K = k it can be easily calculated that
.2 2('Pi - Aih +(-I)ik)
Xi = - (Xi(AI + A2)2 ' i = 1,2 .
Let a rigid body be fixed in the centre of mass and let it be in the
central Newton field. Here JI(II) = (All, II) /2AIA2A3, and in addition
to the energy and area integrals there also exists the integral K(w, II) =
l/2(Aw,Aw) -l/2(A- I II,v). This integral was pointed out by Clebsch
for the problem of the motion of a rigid body in a liquid.
Consider the case G = O. We have:
TS2 = {(WII) E82 x 1R3IG(w, II) = O} .
Now iI = HT• S 2 and K = KIT.S2 are the integrals of the system on T*8 2•
Fig. 3.2.15 The bifurcation diagram of the momentum map I = iI x K : T*8 2 -+ 1R2
has the form shown in Fig. 3.2.15. The bifurcation set E consists ofthree
rays and a parabola segment tangent to two of them. The set E splits
the plane into five regions. For regions I, II, III we have h,k = 2T2 , for
region IV - h,k = 4T2, and for the other points, not lying on E, we
have h,k = 0. For the segments of E labelled by the numerall we have
h,k = 28 1, for segment 2 - h,k = 481 and for segments 3 - h,k = R X8 1
(Fig. 3.2.16). For segments 4 we have h,k = (8 1 V 8 1) X 8 1 (Fig. 3.2.14).
Next, the DPM for I has the form of two squares on opposite sides
of the Poisson sphere (Fig. 3.2.17). Projections of the phase trajectories
fill up the squares like Lissajous figures. Next, the DPM for type II
has the shape of a ring (Fig. 3.2.18), and for type III it is another ring
R.@ (Fig.3.2.19). On the ring, in both directions (since this is the image of
two tori) there go trajectories touching by tum the ring boundaries. Next,
the DPM for type IV consists of two rings (Fig. 3.2.20). Trajectories go
Fig. 3.2.16
in both directions on each ring. The surgery in going over from region
I to region II is shown in Fig. 3.2.21. Given this, the squares (DPM for
region I) are glued with their sides and form a "horizontal" ring (DPM
for region II). The surgery in going over from region II to region III
is shown in Fig. 3.2.21. Here the horizontal ring (DPM for II) is glued
Fig. 3.2.19
)It Pit-
Fig. 3.2.17 Vi
Fig. 3.2.18
Fig. 3.2.20
3.2 Qualitative Questions of Geometric Integration 221
- yy
Fig. 3.2.23
Fig. 3.2.24
C>
rigid body. Given this, Eg degenerate as shown in Fig. 3.2.28. Except
for the trivial case 9 = h = k = 0, where h,g,k = 82 is a Poisson sphere
filled with motionless points, non-empty sets are obtained when k > O.
Fig. 3.2.27 Then one can introduce parameters c =l/k and (1 = 2h/k and project
the set E onto the plane (c, (1). This will give us the picture represented
in Fig. 3.2.29. Here the DPM type changes not only in passing over the
points (h, g, k) E E as in the case of Liouville tori in the preceding
examples. There are 25 DPM types altogether corresponding to the 25
regions into which the image on the plane (c, (1) is split. We obtain
;'=0
three basic types of images of the Liouville tori on the Poisson sphere
(Fig. 3.2.30, cases a, b, c). Cases a, b and c in Fig. 3.2.30 are distributed
It ii~_ .BL
on the plane (c, (1) as shown in Fig. 3.2.31. These images of tori are stable
," lI. in the sense of stability of smooth mappings. There may also exist two
",
'"
'!::"':, '1*0
JY
* types of unstable images (Fig. 3.2.30, cases d, e) realized on the curves
separating regions a, b, c.
Fig. 3.2.28
6" iv
tfAa .' .- .....
.. :'. Iff. . : '. Ii
l~ : ....... ."..:.
I" •• '.",." ." 8)
1 ......"" . "
~t "N'" ii e
Fig. 3.2.29 Fig. 3.2.31
Fig. 3.2.30
-1
Fig. 3.2.32
3.2 Qualitative Questions of Geometric Integration 223
Fig. 3.2.36
Fig. 3.2.38
224 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
This is the image of two Liouville tori. The projection of each of these
tori onto the Possion sphere is in this case symmetric about the plane
113 = O. Therefore, we depict here only the hemisphere 113 > O. The nar-
row band near the boundary of the ring in Fig. 3.2.38 is the image of one
of the tori· which lies entirely in the image of the other torus.
.','
',' n.L _71"
......
:-:'
Fig. 3.2.39
3.2 Qualitative Questions of Geometric Integmtion 225
Figure 3.2.41 illustrates rotation of various tops differing from one an-
other by their moments of inertia, i.e. roughly speaking, by the form. The Moments of inertia
whirligig is one of such tops. A rapidly spinning top is one 6f the prin-
cipal parts of such wide-spread devices as gyroscopes. High demands Spinning top
are made of their symmetry and centring. If a top is non-symmetric, Gyroscopes
it can tear to pieces when it speeds up and the number of revolutions
is large. Gyroscopes are used for aligning various apparatus (airplanes,
ships, etc.). In modem mechanics of nonholonomic systems much atten- Nonho/onomic
tion is given to the study of solid bodies rolling along two-dimensional mechanical systems
surfaces as well as various "skates" or a sharpened plate (blade) sliding
on the ice or a similar surface. Integration of such equations of motion is
a fascinating but difficult task. See e.g. the recent papers by V.V. Kozlov
and Ya.V. Tatarinov. Figure 3.2.42 shows a Poisson spheres onto which
226 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
Page 227, Fig. 3.2.41. Gyroscops as a rapidly spinning tops; rolling ball
as a nonholonomic mechanical system
Page 230, Fig. 3.2.44. Boundary effects in the flow and analytic functions.
Greek and Atlantic legend about the daughter of the god Poseidon
3.3 Three-Dimensional Manifolds and Visual Geometry 231
Simple nondegenerate We shall now, be concerned with simple Bott integrals. For the case
integrals of complicated integrals see the papers [60], [61] and the book [62] by
the author.
Almost all known It turns out that the overwhelming majority of known physical and
physical integrable systems mechanical integrable systems possess Bott integrals, and are non-
are nondegenerate resonance on almost all nonsingular Liouville tori. A Hamiltonian system
Non-resonant systems is called non-resonance (on an isoenergy. surface Q) if the Liouville tori
on which the trajectories of the system form an irrational winding are ev-
erywhere dense in a given isoenergy manifold Q3. It turns out (for details
see Ref. [62]) that if a Hamiltonian system is non-resonance (on some
Q), its topology does not depend on the choice of the second integral f
and is completely determined by the Hamiltonian H itself.
We find it convenient to determine to topology of a manifold Q (and
at the same time the behaviour on it of any second integral f independent
Graph as a diagram of the Hamiltonian H) by means of a graph which we denote here by
of an integrable system r(Q, H, f) or simply by r(Q, H) since, as mentioned above, in the non-
resonance case this graph does not depend on the choice of the integral
f. We describe the construction of this graph in the case of a simple
integral f (more precisely, in the case of those Hamiltonian H which
admit at least one simple integral f). The construction of a graph in
the case of a Hamiltonian admitting complicated integrals is given in
Ref. [62].
A graph r(Q, H) will be called the diagram ofan integrable Hamil-
tonian H on a given isoenergy surface Q = (H = const).
The integral f can be viewed as a smooth map of the manifold Q
into a real straight line lR 1• If a is a regular value in lR 1, then the pre-
image of the point a under the map f consists of a finite number of
two-dimensional tori. Depict each torus as a point. Varying the value a
we make these points move. As a result, they sweep the edges of some
___________ fR.1
graph. If the value a has become critical, the edges can merge or, on
~ _ --
_ Gt the contrary, split into several edges, or run into a vertex. We therefore
obtain a certain graph r(Q, H, f) which we call the diagram of the
simple integral f on Q (Fig. 3.3.1). Clearly, this graph shows not only
the topological structure of the manifold Q, but also the main details
of the behaviour of the integral on Q since the merging and splitting
Fig. 3.3.1 of edges and other singular points (vertices) of the graph correspond to
distinct critical manifolds of the function f on Q.
3.3 Three-Dimensional Manifolds and Visual Geometry 233
.:. :.::,/;:.::. described in Sect. 3.2). See Fig. 3.2.2. We can see that in cases I, 2, 5
7t7 ..:.::*
........
'::. ':;"
the Liouville torus does not break into the critical level of the integral
f for the simple reason that this level is either maximal or minimal.
"Above" the maximum and "below" the minimum there are no points
of the manifold Q at all, and therefore the torus has nowhere to move.
As a result, in case I the. torus becomes a minimax circle and stops. In
case 5 the torus transforms into a Klein bottle and stops. In case 2 two
Fig. 3.3.2
tori merge becoming a minimax torus and stop, or else we may assume
the torus to rise from the depth of the manifold, to strike the minimax
level of the integral and, reflected, to go again inside the manifold. It
is only in cases 4 and 5 that the critical levels of the integral are inside
the manifold Q. When passing through the type 3 level, the torus splits
into two (or tori merge into one) and continues moving in the same
direction. In case 4 the torus, on transforming, also continues moving in
r
Graph is called molecule the same direction. In Fig. 3.3.3 we have schematically shown the graph
(constructed from atoms) r(Q, H, f) of the general form (for a simple integral) where all possible
types of vertices are represented. From the viewpoint of the problems in
/R.1
question we may think that all the minima of the function f are at one
level (e.g. f = 0). Similarly, all the maxima of the function f may be
thought of as lying at one level, for instance, f = I (Fig. 3.3.3).
figuration space (i.e. position space) is the surface M2. The phase space Phase space
is a 4-manifold T*M 2• Its points are paris (x, ~), where x is a point
of the surface and ~is a tangent vector to the surface at the point x
(Fig. 3.3.4). An important example of a Hamiltonian system on the space
T*M is a geodesic flow of some metric. To determine this system, a Geodesic flow
Riemannian metric 9ij should be introduced on the surface M. Then we
can calculate the distance between any two points on the surface. On
the surface there arise geodesic lines, i.e. lines minimizing the distance
between any two of its sufficiently close points [63]. For example, such
shortest (i.e. geodesic) lines on the Euclidean plane are straight lines.
On a sphere embedded standardly in ]R3 (i.e. endowed with a standard Fig. 3.3.4
invariant Riemannnian metric) the geodesics are the various equators,
i.e. flat cross-sections of the sphere by planes passing throu~h the centre
(Fig. 3.3.5). A geOdesic flow is a vector field on the space T*M defmed
thus. Consider an arbitrary point (x,O on T*M. It defines uniquely the
point x on M and the tangent vector ~ to M at this point. It is known
that from any point of a manifold one can always send a single geodesic
,et) in an arbitrary direction. Consider a point ,et) sliding along the
geodesic I (as a function of varying time t) with the velocity vector
'Y(t). We obtain the curve aCt) = <'Y(t), 'Y(t)) in the space T*M. In doing
so, we assume x = ,et), ~ = 'Y(t). So, we obtain a family of curves
Fig. 3.3.5
aCt) = (x(t), W)) = (,(t), 'Y(t)) on T*M. Considering their velocity vec-
tors we obtain a smooth vector field on T M. This is just the geodesic Geodesic lines
flow of the given metric. Changing the metric, we, generally speaking,
change the geodesic flow. Let us consider the matrix G = (gij), where
G-l = @ij), i.e. G-l is the inverse matrix. Tangent bundle T. M
It turns out that on the space T* M a symplectic structure can be is diffeomorphic to the
introduced in a natural way, and the manifold T* M can thus be trans- cotangent bundle T* M
formed into a symplectic one. Given this, the geodesic flow appears to Geodesic flow always is a
be a Hamiltonian field. It always has the energy integral H written as Hamiltonian vector field
H(x, 0 = 9ij(X)~i~j, i.e. it coincides with the scalar square of the tan-
gent vector ~ at the point x measured relative to the Riemannian metric
9ij on the manifold. From the mechanical point of view, the function
H(x,O is interpreted as the kinetic energy of the point moving on the
surface. In a frictionless motion of a material point along a surface in the
absence of external forces, its kinetic energy is conserved. In the motion
along geodesics, the length of the velocity vector of the geodesic remains
236 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
Hamiltonian H(x, 0 unchanged and, therefore, the function H(x, {) is conserved along the in-
and kinetic energy tegral trajectories of the geodesic flow on the space T*M. This means
that H(x, {) is the integral.
Thus, any geodesic flow always has a first energy integral H(x, ~).
Geodesic flow of Consider the simplest example of a geodesic flow. If as the manifold
j
Euclidean straight line M we take a one-dimensional Euclidean straight line ]Rl with the metric
ds 2 = dx 2, where x is a Euclidean coordinate, then the phase space T*M
/R1 J is naturally identified with the plane ]R2 defined by Cartesian coordhlates
J tp.1 x and ~. Then the geodesic flow of the Euclidean metric on the straight
line will be depicted as a vector field on the plane ]R2, described by
e)
x -f-f-f-f++-H~ the equation v = (x, = (1,1). See Fig. 3.3.6. The integral trajectories
o of this flow are straight lines parallel to the bissecting line of the first
coordinate angle.
If as the manifold M we take a circle in a Euclidean plane, the
Theorem 2. The isoenergy surfaces Q3 of the geodesic flow of a Rie- Isoenergy 3-surface
mannian metric on a two-dimensional compact closed surface M2 are is the fibration: Q3 ~ M2
three-dimensional compact manifolds fibred over M2 with a circle as
fibre.
Analytical geodesic flow case there are many handles, the integral does not exist (y.V. Kozlov
of a 2-sphere with many [21], [50]). In case there are few handles (the sphere, the torus), the main
handles is non-integrable role is played by the analytic properties of the metric. In some cases the
integral does exist, while in others it does not. The metrics for which the
second integral does exist can be described qualitatively (although this
is not a simple task).
Weare now concerned with the question of what the isoenergy
surfaces in integrable systems are. On answering the question we shall
Topological obstacles understand the topological obstacles for integrability. For example, ifwe
for integrability manage to describe to class of isoenergy surfaces of integrable systems
more or less efficiently, then on discovering that in some concrete me-
chanical system a given isoenergy surface does not belong to this class,
we can immediately declare that the system is non integrable (at least on
the given isoenergy surface).
As we can see from the Table, for obtaining concrete examples we
should consider simple metrics on simple manifolds, i.e. on the sphere
and on the torus. We begin with a sphere endowed with a standard metric
invariant under rotations. The Hamiltonian H is given here as H(x,O =
~
sphere and torus folds: spheres with
more 'than two
metnc handles
Question: is it true that, Simple Riemannian Most often the If the metric is ana-
if geodesic flow of a metrics, e.g. pos- system is inte- lytic, the system is
smooth metric on a 2-torus sessing a large grable always nonintegrable,
is integrable, then this symmetry group is i.e. there no se-
cond independent in-
flow always has a quadratic
volutive integral
(in momenta) second integral? Complicated In some cases the If the metric is ana-
Riemannian integral exists, lytic, the system is
metrics in some cases not. always noninte-
There are criteria grable
(though not always
effective) for fin-
ding out if there
exists a second
integral
3.3 Three-Dimensional Manifolds and Visual Geometry 239
(the Euclidean length of the vector ~ tangent to the sphere at the point The next question: is it true
x). The geodesic flow of such a standard metric on the sphere is known that any "integrable smooth
to be completely integrable, i.e. there exists a second integral. The reader metric" on a 2-torus
may try to construct it. The isoenergy surfaces Q3 have here the form is equivalent to a
r
Q = {(x, 0, where I~ I= a = const O}. Therefore, Q is formed by points Liouvilfe metric?
of the form (x, ~), where ~ is a tangent vector of length a at the point
x E 8 2 (Fig. 3.3.8).
Proof. We associate each pair (x, 0, where I~I = 1 (we may assume
without loss of generality that a = 1), with an orthogonal frame in lR3 in
the following way. We assume that the sphere has a unit radius, trans-
port the tangent vector ~ parallel to itself to the centre of the sphere and
complement the pair of vector x and ~ with a third vector y so as to
obtain the fram e(x,~) with the same orientation which was fixed be-
forehand in lR 3 (Fig. 3.3.8). With each pair (x, ~) we associate the frame
e(x, O. Inversely, each orthogonal frame uniquely defines a pair of the
Fig. 3.3.8
form (x, ~). Thus, we have proved that the manifold Q is homeomor-
phic to the set of all orthogonal frames (with origin at the point 0)
in a three-dimensional space. It remains to prove that each orthogonal
frame is uniquely defined by a point of the projective space lRp 3. It is a
well-known fact of linear algebra that the set of orthogonal frames of a
fixed orientation in R3 is identical to the set of orthogonal proper trans-
formations of lR 3, i.e. to the orthogonal matrix group SO(3). We shall
prove that the group SO(3) is homeomorphic to lRp3. Each orthogonal
Remark: isoenergy 3-surface
transformation A: lR 3 -- lR 3 is uniquely determined by some motionless
of any geodesic flow on
axis l around which we observe rotation through an angle rp (Fig. 3.3.8).
a 2-sphere (not necessary
Plotting on the straight lihe l the angle of rotation, we obtain the point
integrable) is diffeomorphic
(l,rp) in lR3. If rp is smaller than 7r, the point uniquely determines the to lRp3
initial orthogonal transformation. If the angle of rotation is equal to ± 7r,
we obtain one and the same orthogonal transformation of lR3 although
the two points (l, +7r) and (l, -7r) representing it are distinct in lR3. These
two points should be glued, i.e. thought of as one point. So, the set of all
orthogonal (proper) matrices is homeomorphic to the following object.
240 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
Class (H) of all "integrable" One should take in 1.3 a three-dimensional ball restricted to a sphere of
isoenergy 3-surfaces radius 1[' and glue diametrically opposite points on its boundary (i.e. on
has several different the sphere). This is the well-known model of a projective space. This
equivalent representations implies the lemma.
Class (H) coincides with We denote by (H) the class of all isoenergy surfaces of integrable
the class (W) of all (by means if a Bott integral) Hamiltonian systems. The set (class) of all
graph-manifolds introduced compact closed orientable 3-manifolds will be denotes by (M). It is clear
by Waldhausen that (H) C (M).
Lemma 1 implies that the projective space Rp3 belongs to the class
(H). Consider a torus T2 and endow it with a locally Euclidean (flat)
metric. This can be done since the torus is represented as the quotient
space of the Euclidean plane by the action of the group Z EEl Z. It is a
known fact that the geodesic flow of a flat metric on a torus is completely
integrable. Repeating here the procedure used in the preceding case, we
see that the isoenergy surface Q3 is homeomorphic to the set of pairs of
e
the form (x, e), where x is a point on the torus and is a tangent vector
of length 1 (at this point).
Proof. Consider a torus as a square with its sides identified (Fig. 3.3.9).
At each point of the square consider the tangent circle (of radius I) on
the plane. Clearly, their orientations on the glued sides of the square are
compatible. This implies that Q is homeomorphic to the direct product
of the torus by a circle, as required, since T2 = 8 1 X 81.
minimum, the equation H(x) = c describes a three-dimensional sphere Remark: isoenergy 3-surface
8 3 centred at the point Xo. Thus, the standard three-dimensional sphere of any geodesic flow on
8 3 belongs to the class (H). a 2-torus (not necessary
Finally, mechanics gives us examples of integrable Hamiltonian sys- integrable) is diffeomorphic
tems on n1anifolds M 4, whose Hamiltonian reaches either maximum or to a 3-torus
minimum on the circle 8 1• Such are, for example, some systems de-
scribing the dynamics of a three-dimensional heavy rigid body (fixed at
one point). As in the preceding example, we again consider the level
surface of a Hamiltonian H, close to the minimax circle. Clearly, it is
homeomorphic to the direct product of the circle by the sphere 8 2• The
point is that at each point x of the critical circle, the disc normal to the
circle is a 3-manifold. Consequently, the equation H = const determines
the 2-sphere in this 3-manifold (= disc). Transporting the point along the 3-sphere as an "integrable"
circle, we obtain the required direct product. Thus, the manifold 8 1 x 8 2 isoenergy 3-surface
also belongs to the class (H). Let us sum up the results.
Proof. Consider two solid tori PI, P2 and let TI and T2 be their bound-
aries homeomorphic to a torus. Let I: TI ---t T2 be an arbitrary torus-
to-torus diffeomorphism. On each of these tori we determine standard
parallels and meridians denoting them respectively by 0:1, (31 and 0:2, (32
(Fig. 3.3.10). The diffeomorphism maps the curves 0:1 and (31 into some
smooth curves /(0:1) and /((31) on the torus T2. In the preceding chapter
we got acquainted with deformation of closed curves on a torus. Recall
that by deforming continuously the curves /(0:1) and /((31) we can make
them become compositions of the basis curves 0:2 and (32. For example,
the curve /(0:1) is always homotopic to a curve of the form 0:~(3~, i.e. one
should first go b times round the meridian f3z and then a times round the
parallel 0:2. Similarly, the curve 1((31) can be deformed into a curve of
Fig.3.3.10 the form o:~(3r There arises a square integer-valued 1* = (~ :). If
Group of unimodular we consider only those diffeomorphisms which preserve torus orientation
integer-valued matrices (i.e. those fixed beforehand), this matrix is unimodular, i.e. thas a unit
is isomorphic to the group determinant, ad - be = 1. So, each diffeomorphism 1 of tori is assigned a
of al/ homotopic classes of matrix 1* ..Inversely, with respect to each unimodular integer-valued ma-
diffeomorphisms for the torus trix A one can construct such a diffeomorphism 1oftori that 1* coincides
with the matrix A. Glueing two solid tori via the diffeomorphism 1 of
their boundary tori, we obtain a closed compact 3-manifold. Since a dif-
feomorphism is determined by a matrix, it follows that each unimodular
integer-valued matrix A is assigned a certain 3-manifold M = M(A). As
Lemma 3. (see Refs. [54], [55]). Only two of those five manifolds are
topologically independent. Manifolds IL IV and V are glueings of man-
ifolds I and III Namely, it can be formally written that IV = I + I I I
andY = I + IV, i.e. V = 2· I + III. This means that A3 is obtained by
glueing a solid torus and trousers, while K3 is obtained by glueing two
solid tori and trousers. Finally, I I = I + I I I. Fig.3.3.11
244 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
The ''plus'' sign indicates here the glueing of elementary bricks via
some diffeomorphisms of their boundary tori. We shall prove, for exam-
ple, the ftrst relation. Consider manifold IV realized in 1.3• Consider the
centre of a 2-disc (with two holes) and a circle h which passes through
this centre and is the axis of the large solid torus (form which we have
drilled a thin solid torus going twice along the axis). From the large
solid torus we discard a small tubular neighbourhood of the circle h, i.e.
drill a thin solid torus concentric to the large solid torus. We ftbre the
remaining part R into circles (the dashed lines in Fig. 3.3.12) which go
twice along the axis of the large solid torus. On the disc we draw two
radii and label them by the letter a with arrows (Fig. 3.3.12). It is readily
seen that R becomes the direct product of the disc with two holes by the
circle, i.e. is trousers.
Similar arguments should be applied to manifold V. We omit the
proof and leave it to the reader.
It can be shown that all the five manifolds enumerated above are
realized as pieces of some isoenergy surfaces of classical mechanical
Fig. 3.3.12 integrable systems. Therefore we have called them isoenergy surfaces
with boundary.
Theorem 4. (see [54], [55]). Let Q be a compact nonsingular isoenergy Theorem: any compact
surface of a Hamiltonian system integrable by means of a Bott integral orientable smooth 3-manifold
f. Then Q can be represented in the form Q = m' I +q' II I, where m' and is an isoenergy surface for
q' are some non-negative integers related to the numbers from Theorem some Hamiltonian system
2 by the formulas: m' = m + s + 2r + p, q' = q + s + r + p. (not necessary integrable)
So, each isoenergy surface of an integrable system admits two de- Hamiltonian decomposition
compositions: Hamiltonian (into the sum of five types of bricks) and and topological decomposition
topological (into the sum of two types of bricks). The first decompo- of isoenergy surface
sition is a more "detailed" one, it "remembers" the structure and the
number of critical manifolds of the integral f. The topological decompo-
sition is more rough, though it is simpler (as far as notation is concerned).
It ignores minute properties of the integral. Clearly, the Hamiltonian de-
composition is uniquely restored from th~ diagram r(Q, H, f) of the Classes (H) and (a) coincide
simple integral f.
Consider the various closed compact 3-manifolds obtained by glue- Connected some of two
ings of elementary bricks of types I and III. Denote this class of 3- "integrable" isoenergy
manifolds by (Q). The theorems formulated above show that (H) C (Q). 3-surfaces is again an
The inverse inclusion is valid too. It turns out (Brailov and Fomenko isoenergy 3-surface for
[64]) that the classes (H) and (Q) coincide, i.e. any 3-manifold obtained some integrable system
by glueing solid tori and trousers can be realized as a compact isoenergy
surface of an integrable (by means of a Bott integral) Hamiltonian system
on an appropriate symplectic manifold M4 (may be noncompact).
246 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
Corollary. Infinite subclass of3-manifolds cannot be isoenergy surfaces If a Hamiltonian system v has
ofBott integrable systems, i.e. there exist topological obstacles forbidding an isoenergy surface which does
integrability of a Hamiltonian system if a given isoenergy surface does not belong to the class (H).
not belong to the class (H) = (Q). then v is nonintegrable;
for example: any Hamiltonian
To solve efficiently the question of whether the Hamiltonian system system is non-integrable on
is integrable on a given isoenergy surface, one should be able to calculate hyperbolic closed 3-manifold
efficiently the topological obstacles briefly described above. To this end
it is useful to know as much as possible about the topology of the class of
integrable isoenergy surfaces. We shall describe some of their interesting
properties.
Suppose a smooth 2-surface M is homeomorphic to a sphere and
endowed with a smooth Riemannian metric ofgeneral position, i.e. on this
surface there is not a single stable closed geodesic. Then the geodesic
flow corresponding to this metric is non integrable on each individual
nonsingular isoenergy 3-surface in the class of Bott integrals [54], [55].
We shall discuss the concept of stability of a periodic solution of
a system v on an isoenergy 3-surface. The periodic solution is depicted
as a closed integral trajectory 1 (Fig. 3.3.14). We consider a tubular Fig. 3.3.14
neighbourhood of the trajectory, i.e. a solid torus whose boundary is
a 2-torus with the axis I' We say that the trajectory 1 is stable if the
solid torus fibres wholely (without "gaps") into concentric 2-tori with the
circle 1 as their common axis, all these tori being invariant with respect
to the system v. This means that all integral trajectories of the system
which are close to 1 lie on the indicated 2-tori.
The property of the system to have stable periodic solutions appears For any analytic integrable
to be closely connected with its integrability. There holds the following system (M4, H, f) always
assertion: it on an isoenergy surface the system has not more than one there exists a small smooth
stable periodic solution and moreover if the one-dimensional integer- perturbation such that a new
valued homology group HI (Q, Z) is a finite cyclic group (i.e. has the integrable system ( M4 , A, f)
form Zq), then the system is non integrable on this isoenergy surface is Bott system on a given Q3
(it cannot have a smooth Bott integral). Roughly speaking, if on the (V. V. Kalashnikov, jn.)
isoenergy surface there are many nonzero cycles offinite order and few
stable periodic solutions, the system is necessarily nonintegrable. See
also [65].
So, the very fact of the existence of a Bott integral f in the system
imposes strong restrictions upon the topology of the isoenergy surfaces. It
248 3. Visual Symplectic Topology and Visual Hamiltonian Mechanics
Set of Bott systems on a is natural to ask whether these restrictions remain if the requirements on
fixed isoenergy 3-surface the integral are weakened. For instance, we require from the function f
is of the first category in the "less" than in the preceding cases. Consider the class (8) of 3-manifolds
set of all smooth integrable with the property that on them there exists a smooth function 9 in which
systems; consequently form all the critical points are organized into nondegenerate critical circles and
a thin set in weak topology all the nonsingular level surfaces are unions of 2-tori. In other words,
the manifold belongs to (8) if and only if on this manifold there exists
a Bott function in which all the critical manifolds are circles and all
the nonsingular level surfaces are tori. Given this, the function does not
already have necessarily to be an integral of some integrable system.
Bottsystems are dense in Nevertheless, the class (8) appears to coincide with the class (Q) (S.V.
the set of all integrable Matveev) [66]. Thus, if on the 3-manifold M there exists a Bott function
smooth systems which have whose critical manifolds are circles and the non-critical level surfaces
critical circles only and consist of tori, then on this manifold there necessarily exists an integral
exactly one such circle on f of some integrable Hamiltonian system and the manifold is realized as
each critical level for H its isoenergy surface. Thus, (H) = (Q) = (8).
In some situations the requirements on the function f can be weak-
ened still more. Consider the class (R) of 3-manifolds on which there
exists a smooth Bott function h all of whose critical manifolds are cir-
cles. As distinct from manifolds of the class (8), it is not required here
that the nonsingular level surfaces of the function be tori. In the literature
such functions are called round Morse functions (Thurston, Azimov and
others) [67]. See also the paper by Matveev, Fomenko and Sharko [68].
Four faces of the remarkable Clearly, (R) :J (H), i.e. any isoenergy surface of an integrable sys-
class (H) of "integrable" tem admits a round Morse function. It can be proved that the class (R) is
isoenergy 3-surfaces: strictly larger than the class (H), i.e. there exist manifolds which admit
(HJo=(QJo=(SJo=(RJo a round Morse function but are not realized as isoenergy surfaces.
and (H)=(Q)=(S) The distinction between the classes (R) and (H) is due to their
different behaviour under the operation of taking the connected sum of
If "integrable" isoenergy manifolds. According to Ref. [67], if M is any 3-manifold (we do not
surface is a connected sum of specify each time that we work in the class of compact connected closed
some manifolds K and N, then orientable manifolds), then while considering its connected sum with a
both K and N are "integrable" sufficient number of copies of the manifold 8 1 X 8 2 we finally necessarily
get to the class (R). In other words, if m is sufficiently large, we have
M ~ (~f,!1 8 1 X8 2) E (R) . As has already been mentioned, the class
(H) possesses the remarkable property that if M = MI ~ M2 E (H) then
the manifolds MI and M2 belong necessarily to (H). In terms of the
3.3 Three-Dimensional Manifolds and Visual Geometry 249
class (8) this property has beeen proved by S. V. Matveev. From this
it immediately follows that the class (R) is strictly larger than the class
(H). Indeed, it suffices to take the manifold Mo which does not belong to
the class (H) (such manifolds are known to exist). Taking its connected
sum with a sufficiently large number of copies of the manifold 8 1 x 8 2,
we get to the class (R). The manifold M obtained does not however lie
in (H) since otherwise the initial manifold Mo would belong to the class
(H), which contradicts the choice of Mo. Thus, ME (R), but does not
belong to (H).
The picture changes radically if we restrict our consideration to the
class of irreducible 3-manifolds. It turns out that inside this class there
holds the remarkable identity: (H)o = (Q)o = (8)0 = (R)o, where "0"
indicates the set of irreducible manifolds.
This means that given an irreducible 3-manifold with a round Morse
function h on it, it is stated that on the same manifold there necessar-
ily exists also a Bott integral of an appropriate integrable Hamiltonian The orbital (continuous)
system, and the manifold will be an hmenergy surface of this system. classification of integrable
The topological theory of integrable systems, which we have briefly systems with two degrees
described here, was further developed by the author, in particular, in of freedom was obtained by
Refs. [60], [61], [62]. For example, the author discovered the topologi- Bolsinov and Fomenko in 1993
cal invariant classifying the integrable systems up to rough topological (see Matem. Sbornik, in print)
equivalence. The fme classification (up to fine topological equivalence)
was completed by the author in collaboration with H. Zieschang, S.V.
Matveev and A.V. Bolsinov [69], [70].
It turns out that many interesting aspects of three-dimensional topo- Bolsinov and Fomenko in 1993
logy [71], [72] are closely connected with Hamiltonian mechanics [73]. obtained the exact (continuous)
classification of a smooth
Hamiltonian systems on
2-surfaces (1 degree
3.3.6 One Example of it Computer Use in Symplectic Topology of freedom)
investigations carried out by the author [54], [55], S.V. Matveev obtained
the following result.
Any closed orientable Theorem. All closed 3-manifolds of complexity not exceeding 8 belong
3-manifold of complexity :::; 8 to the class (H), i. e. are isoenergy surfaces of integrable nondegenerate
is an "integrable" (Bott) Hamiltonian systems.
isoenergy 3-surface
This fact has been proved using computer and is based on the results
of Chap. 2 and on the classification theorem for isoenergy surfaces of
integrable systems, proved in Refs. [54]; [55].
At first Matveev proved this theorem for the manifolds of complexity
~ 5. Let us demonstrate the rough idea of this proof.
We shall analyze the belonging of all closed manifolds of complexity
~ 5 and almost all manifolds of complexity 6 to the class (H).
New theorem: geodesic flows Another remarkable property of these two manifolds is that if a
of two ellipsoids in]R3 are Hamiltonian system has an isoenergy 3-surface homeomorphic either to
orbitally (continuous) Q1 or to Q2, this system is not integrable on this 3-surface (in the class
equivalent if and only if their of Bott integrals). This reveals new topological obstructions for integra-
semiaxes are proportional bility, that lie in the topology of the manifolds Q. These obstructions are
(Bolsinov, Fomenko) essentially different from all familiar topological obstructions for inte-
grability of Hamiltonian systems.
It turns out that the following striking result is true (see [48]):
If the 3-manifold Q3 is hyperbolic, then any Hamiltonian system is
non-integrable (in the class of Bott integrals) on Q3. In other word, the
class (H) of isoenergy 3-surfaces of integrable Hamiltonian systems does
not contain hyperbolic manifolds.
Page 253, Fig. 3.3.15. Separatrix diagram of the critical manifolds for dy-
namical systems. German and Scandinavian legends; death of Alberich
and punishment of the gods
Suppose in 1.3 there are several adjoining but not mixing physical media,
for instance, in a large vessel there are several immiscible fluids. Suppose,
the whole system is in equilibrium. Since the media are immiscible, the
boundaries (interfaces) between them are determined. These interfaces Interfaces between
can be tought of (in the first approximation) as two-dimensional piece- phYSical media
wise smooth surfaces separating the adjoining media. We consider for
simplicity the case of two media which we denote by Al and A2• Let the
pressures in the media be respectively equal to PI and P2. The equilib-
rium condition for the media proves to impose a strong restriction upon
the geometry of their interface. To formulate this restriction, we require
an important concept of local differential geometry, namely, the concept
of mean curvature of the surface.
Let P be a point on a smooth two-dimensional surface M2 in 1.3.
At the point P consider a unit normal n, i.e. the vector of unit length
orthogonal to the tangent plane to the surface at the point P (Fig. 4.1.1).
Draw a plane II through this normal. It crosses the surface along some
smooth curve 'Y. We are here interested only in a small neighbourhood
of the point P. So, we obtain a flat curve lying in the plane II. It is a
known fact that at each point of a curve its curvature can be calculated.
Geometrically, the curvature is expressed as the inverse quantity to the
radius of the so-called adjoining circle, i.e. the circle tangent to the curve Fig.4.1.1
256 4. Visual Images in Some Other Fields of Geometry
at the given point and approximating the curve to within small quantities
Function of curvature of second order (second-order tangency). The curvature can also be in-
terpreted from the mechanical point of view. Along a curve line we send
a material point of unit mass with a velocity constant in the absolute
Principal curvatures value. The direction of the veloctiy vector will, of course, change (it is
>'1 and >'2 are equal to directed along the tangent of the curve), but we assume its length to be
the maximal and minimal constant. We thus obtain a mechanical system whose state is determined
values for the curvature by the shape of the curve. When moving along the curve, the material
of a normal cross-section point has the change the direction of motion, due to which it accelerates.
This acceleration is depicted as the vector orthogonal to the curve (more
precisely, to the tangent to the curve at the given point). The magnitude
of the acceleration is just the curvature of the curve (at a given point).
The curvature (acceleration) may change from point to point. We obtain
a smooth function called the function of curvature of a flat curve. The
curvature of a spatial curve is defined in a similar way.
The curvature of a straight line is identically zero: a material point
moves along a straight line uniformly and rectilinearly without accel-
eration. The curvature of a circle of radius R is equal to 1/ R. The
acceleration is here constant in the absolute value.
Let us return to the surface M. To each position of the plane II
(passing through the normal to the surface) there corresponds its own
intersection curve·, and, therefore, its own value of the curvature k(,)
of this curve at the point P. Rotating the plane II (around the normal),
Mean curvature = >'1 + >'2, we change the value k(,). Consider the maximal value Al of this cur-
Gauss curvature =>'1 . >'2 vature and its minimal value A2. We obtain two numbers. They may, in
particular, coincide. From the definition we see that the curvature k{[)
is constant in this case, i.e. independent of the angle of rotation of the
plane.
Consider the general case. The numbers Al and A2 are called the prin-
cipal curvatures of the surface at a given point. These numbers change
from point to point, i.e. Al and A2 are functions of the points.
The sum of the principal curvatures, i.e. the expression Al + A2 is
called the mean curvature H(P) of the surface at a given point.
Both cases are modelled well in the physical experiment familiar to Physical experiments
every reder. This is the experiment with soap films. We take an aqueous
soap solution, plunge a closed wire contour into it and take it off. Then Wire contours
on the contour there forms an iridescent soap film. It can be interpreted and soap films
as a boundary between two adjoining gas media. Indeed, on each side
of the film there is the air with equal pressures PI and P2 since the film
is non-closed, and therefore far from the film both gas media adjoin and
interpenetrate, diffuse into each other. Thus, we have realized case 1 (see
above).
Case 2 is realized as follows. Into a soap solution we plunge a thin
tube and then blow through it a soap bubble. It will separate from the
tube and fall down smoothly, acquiring the shape of a sphere. We have
here two media: the interior. volume of the air with the pressure PI,
and the exterior volume of the air with the pressure P2. It is clear that
PI > P2 and that the system is in equilibrium only due to the fact that the
surface tension forces on the soap film compensate the excess of internal Soap films
pressure as compared with external. Thus, the mean curvature is here with boundary =
strictly positive (and constant). minimal surfaces
Let us concentrate on the first case, i.e. on soap films with boundary.
The mean curvature of such films is zero.
This class of surfaces can be shown to admit another, equivalent
description. Namely, the mean curvature of a two-dimensional surface is
equal to zero if and only if it is locally minimal, i. e. any sufficiently small
258 4. Visual Images in Some Other Fields of Geometry
Catenoid, helicoid, We shall give some classical examples of minimal surfaces which have
Schwarz surface been investigated by mathematicians and physicists (from different points
of view) beginning with Laplace, Lagrange, Plateau.
4.1 Visual Geometry of Soap Films. Minimal Surfaces 259
The Schwarz surface is interesting not only by itself but also for the
fact that it permits construction of new minimal surfaces. It is relevant
to formulate here the principles met by minimal surfaces.
Property 1. If a minimal surface has a free boundary 'Y which is
allowed to slide freely along a fixed two-dimensional surface M in ~.3,
then the minimal surface intersects the surface M along the curve 'Y at
Fig.4.1.4
a right angle 90° to the surface.
Property 2. Three smooth pieces of minimal surfaces which form
together a stable minimal surface and intersect along a common smooth
curve will necessarily make with one another equal angles 271"/3 = 120°.
Only four such singular edges (along each of which three sheets of the
minimal surface intersect) can meet at one isolated singular point. The
angles between any two singular edges coming to this point are equal at
this point to 109°28'16".
f'V
Vortex-type motion The vortex motion frequently arising at the boundary between two me-
dia, when the system is not in equilibrium, is presented in Fig.4.1.6.
Shown here are vortices in the atmosphere arising near the earth surface.
In Fig.4.1,7 there are objects closely connected with the theory of sur-
Flow in capillaries face tension of liquid. These are capillaries filled with liquid and drops
separating from the moistened surface by gravity. The theory of flow
Theory of meniscus in capillaries, the theory of meniscus and drop shape constitute one of
Drop shape the most interesting fieldS of application of the concepts of differential
geometry [79]-[81]. Within the theory of minimal surfaces one can de-
Drop separation scribe not only the process of drop separation, but also the process of
transformation of an unstable cylindric liquid column into a set of indi-
vidual drops, i.e. stringing out on a common horiiontal thread - the axis
of the initial liquid .cylinder. Figure 4.1.8 shows the boundaries between
media, vortex-type motions in the atmosphere or in the boundary liquid
or gas layer.
Page 261, Fig. 4.1.6. Boundary between two media; Laplace-Poisson the-
orem. J.S. Bach: "Matthew's Passion"; the last talk with Jesus
scientific direction. We shall only briefly touch upon this rich topic. We
start our discussion with the concept of dimension.
Recall that the family of sets Ui of a topological space X is called
the covering (of the space X) if each point x from X belongs to a Covering of a space
certain set Ui. An open covering consists of open sets, while a closed Open, closed, and
covering consits of closed sets. We now consider only finite coverings. finite coverings
The multiplicity of a covering is the largest of the integers n, such that Multiplicity
there exist n elements of the covering (i.e. sets) Ui having a non-empty of a covering
intersection.
A family of sets Vj is called inscribed in the family of sets Uj
provided that each element of the family Vj is contained at least in one
elements of the family Uj.
We shall now formulate the concept of topological dimension which
goes back to the works by Brouwer, Lebesgue, Menger, Uryson. For
details see e.g. Refs. [10], [82]. For simplicity we consider the class of
compacts (compact sets), i.e. such that from among any of their open
coverings one can always choose a finite covering.
D(X) ~ dim X for any X Definition. The number D is called the Hausdorff dimension of the
compact X (or the Hausdorff-Bezikovich dimension).
4.2 Fractal Geometry and Homeomorphisms 267
- - tt - -
D(X) need not necessarily be an integer. In particular, these two dimen-
sions may not coincide. They are related by the inequality D ;::: dim, i.e.
D(X) ;::: dim X for any X. For "good spaces" these dimensions coin-
cide. At the same time there are examples of complex spaces for which •• • • •• ••
D>dim. t
Definition. (see Ref. [10]). The fractal is a set for which D > dim. Definition of (ractal
4.2.2 Fractals
4.2.3 Homeomorphisms
or a ring-shaped roll and first of all pay attention to the geometrical shape
(although we do not concentrate on it specially) - an oblong figure thick-
ened at the ends or a round rim with a large hole in the middle. Even if
we deliberately concentrate on the shape of the object and forget about
its practical application, we do not yet "see" the essence of the shape.
The point is that oblongness, roundness, etc. are metric properties of the
object. The topology of the form lies "beyond them". It is of interest that
we do not need any special training to learn to perceive this essence of
the shape because it is an inbom ability of our sight to see holes and
connections, regions and lines, adjoinings and intersections, cIosedness,
etc. We see all these visual properties since we are born, when the for-
mal thinking is not yet formed, and therefore it is difficult to pay special
attention to the properties of the object laid in our perception. It is per-
haps just for this reason that the science investigating these properties,
i.e. topology, developed later than the other fields of geometry, in fact,
only in the XX-th century.
In mathematics these "basic properties" are defined as invariants Invariants of
oj homeomorphism. Homeomorphism is a superposition of some figures homeomorphism
upon others, but a more free superposition than a rigid matching of
triangles in Greek geometry, in the proof of their equality (or inequality).
It is useful to imagine figures or bodies made of caoutchouc, but much
more elestic than it actually is. This allows us to expand, contract, twist
the object. Only breaks and glueings forbidden. For example, if we melt a
roll made of wax, this will be an unlawful transformation because at some
moment glueings and breaks will appear. Although the transformations
admitted by homeomorphism can be stubstantial, something still remains
unchanged. This "something" is just the subject matter of topology. For
example, this is the number of connected pieces or the number of holes.
The two problems often to be solved in topology are how to establish
that two figures are homeomorphic (if at all) or how to show that they
are not homeomorphic. To solve the first poblem, one should point out
a more or less explicit geometric construction (most often to present
a homeomorphism); to solve the second one, one should indicate the
property which is distinct for these ojects, i.e. the invariant which is
more convenient to represent in an algebraically calculate form.
In classical Greek geometry there exist two kinds of equalities. Two
triangles can be matches either by moving them continuously along the
270 4. Visual Images in Some Other Fields of Geometry
IIIIIII I-+-u,m-u plane or (if they are axissymmetric) only by taking them out of the plane
and changing their position in space. In the latter case this is the matter
Fig. 4.2.4 of orientation. More complicated cases are possible too. Take a "comb"
(Fig. 4.2.4) and bend aside one of its teeth. Doing so, assume the comb to
be a one-dimensional curve. The figures obtained are, of coUrse, home-
omorphic. But the establish the homeomorphism, one should not pay
attention to the enveloping plane. Neither of them can be mapped into
another via homeomorphism (prove itl). When considering the home-
omorphism problem as depending on the position of the figure in the
Problem of embedding enveloping space, we are led to the problem of embedding fonnulated as
follows.
Let in ]Rm (it is only for the sake of simplicity that we take a
Setofa/l Euclidean space) two figures A and B be given of which we know that
self-homeomorphisms ~eyare homeomorphic. Is the possible to construct a homeomorphism
of Euclidean space h: 1 m - t ]Rm such that h(A) = B?
In a specified fonn, we are given a homeomorphism y: A - t B and
it is required that h be so constructed that for points x from A we have
h(x) = y(x), i.e. that h might continue y from A to the whole of]Rm.
It would seen reasonable that before turning to these general prob-
lems, .we should first investigate the set of all self-homeomorphisms of
Klein's the space ]Rm. This would correspond to the well-known F. Klein's Er-
Erlangen program langen program - the geometry is created by the transformation group for
Group of homeomorphisms ]Rm; in this case this is the group of homeomorphisms as the widest of
all groups of continuous transformations. But investigation of the group
of homeomorphisms of]Rm (denoted here by H(]Rm)) has been delayed
up to recent decades and is not yet quite completed now. We shall briefly
touch upon some of the results obtained approximately after 1960.
We shall begin with one construction proposed by an outstanding
topologist of the XX-th century 1. Alexander. It is extremely simple. Con-
sider homeomorphisms motionless on a ball D;' of radius p and centre
at O. This means that h(x) = x if x lies in D;'. It turns out that for such h
one can easily construct a one-parameter family of homeomorphisms or
an isotopy to join h with an identity homeomorphism e (where e(x) = x
for all x fonn ]Rm), i.e. such a family ht, where t varies fonn 0 to I and
hi = e, ho = h and ht(x) depends continuously on the arguments x and
t. Moreover, each ht is a homeomorphism. To prove this, we consider
the family of homotheties kt : ]Rm - t ]Rm, i.e. similarity transformations.
4.2 Fractal Geometry and Homeomorphisms 271
orbit of this group, i.e. the set x + L:k Ckek (where Ck are integers). To
each homeomorphism h of the torus there correspond homeomorphisms
h of the space ~m which cover this space. As h(x), where x is a point
from ~m, it is natural to take one of the points lying over the point
h(P(x», and it suffices to make the choice for one of them because for
the rest it is uniquely determined from the continuity condition. So, we
have the condition ph(x) = hp(x) which can be written as the commuta-
~m~~m
tivity condition for the diagram p1 p1
Tm~ T m
Lemma. Let Iff be a cube with side 2p and centre at the origin. There
exists c > 0, such that for each homeomorphism (embedding) g: If-+
~k displacing points not less than by c (i.e. for all x we have: the
distance from x to g(x) is less than c) one can construct the isotopy
ht : ~k -+ ~k which joins on If map 9 with the identity map, i.e.
ho = 1, hi = 9 on If. Given this, ht depends continuously on 9 and is
identical for the identity embedding g.
The latter condition, in particular, means that the less the map 9
displaces the points, the closer the unknown isotopy is to identity. The
required covering is constructed only for the cube If, and the embedding
274 4. Visual Images in Some Other Fields of Geometry
is determined on the larger cube If. This is necessary for the proof and
is no obstacle for using the lemma. See Ref. [84].
The general result reported by Chernavsky [84] consists (if formu-
lated very briefly) in local contractibility of the homeomorphism group
of any manifold. For a noncompact manifold one should specify the
topology of homeomorphism space, but we do not discuss it here.
As a simple application of this result, the reader may answer the
question which was formulated by D.V. Anosov and gave impetus to the
proof of the theorem.
Suppose a homeomorphism, which differs little from the identity
one, is given on the boundary of a manifold. Can it be continued to the
homeomorphism of the whole manifold?
Returning to stable homeomorphisms we note that the above-men-
Stability of tioned results make it possible to establish that homeomorphisms differing
torus homeomorphisms little form the identity one are stable. Furthermore, this consideration has
not dimensional restrictions, which isa pleasant exception to the basic
results of the modem topology of manifolds. The arguments needed to
translate the Kriby's proof of stability of torus homeomorphisms into the
proof of stability of homeomorphisms ofl.m run into rather complicated
facts of the topology of manifolds proved only for m f 4, and therefore
the case 1.4 requires special consideration.
It should be noted that from the torus one can easily go over to the
manifold T x I., where T denotes the torus Tk-I. It turns out that each
homeomorphism M x I., where M is a compact manifold (or generally
a compact), is isotopic to the homeomorphism covering the homeomor-
phism M x 8 1•
The concept of a stable homeomorphism admits an extension which
we introduce without claiming a complete generality. We call a home-
omorphism of a region in I.k onto a region in I.k stable if it becomes
linear in the neighbourhood of a certain point by means of a composition
with a homeomorphism identical outside some neighbourhood of the im-
age of this point. This may be any arbitrary point of the given region.
This means locality of the stability.
Let now T x I. be represented as a subset (subregion) in ]Rk. This is
obviously possible for k = 2, and for larger k is obtained by a successive
Fig. 4.2.5 construction of "surfaces of rotation" (Fig. 4.2.5). Suppose we are given
a homeomorphism h: I.k -+ I.k • What can be said about h(T x I.)? This
4.2 Fractal Geometry and Homeomorphisms 275
Page 277, Fig. 4.2.6. Complex dynamics and transformation of the plane.
The last battle with titans; ancient and medieval Greece
278 4. Visual Images in Some Other Fields of Geometry
Page 279,. Fig. 4.2.7. Idea of mathematical infinity and fractal dimension.
From cycle: "From chaos to order". Fanatics
respectively red and green. Now consider one of the possible ways to
present a natural series on a computer display.
Take an infinite strip and mark it into equal squares in which write 1112.131416' 16 1; I
natural numbers successsively (Fig.4.3.l). Fix an integer d and divide Fig. 4.3.1
this infmite strip into pieces of length d. This number will be called the
image modulus. Recall how the picture is formed on a television screen.
An electron beam runs through the first horizontal line, jumps over to the
beginning of the second line, runs it through, etc. As a result, the beam
sweeps the whole of the square screen creating a picture. We shall do
the same. We lay the first segment of length d onto the first line of the
display, the second segment onto the second line, etc. Then the display
gets filled with natural numbers form I to a certain N determined by the
display size.
Since we are primarily interested in the property of natural numbers
to be "representable or non-representable" (in the form (I)), we do not
need the absolute value of the numbers. If needed, this information can
be restored by counting the number of squares on the display. So, mark-
ing non-representable numbers in black and representable in white, we
see on the computer display a spotty black-and-white carpet consisting
of black and white squares (for given r, s, d). This carpet can be exceed-
ingly sophisticated. Since our basic problem is a visual determination of
regularities in the spotty carpet of numbers, its solution can sometimes be Visual determination
sped up by adding sound information. The display of each black square of regularities in the
was accompanied by the sound signal "C" and that of each white square "carpet of numbers"
by the signal "G". As a result, the computer not only drew a certain set,
but also played ''music''. Its rhythmics is evidently some invariant of the
represented set and (what is important) does not depend on the number d.
Fix r = 2 and start increasing the parameter s = 1,2,3, .... Fix
the value of d. So, we are studying the question of representability of Any natural number
numbers in the form a) of the square of a certain number, b) of the sum is the sum of four
of two squares, c) of the sum of three squares, etc. squares (Lagrange)
Let us look at the character of picture variation on the display
(Fig. 4.3.2). At first (for s = I) almost the whole of the display is black.
Here and there one can see white squares. One can also see how few num-
bers are squares. As s increases, the display starts "whitening". Finally,
for s = 4 the whole display flares white. Black squares have vanished. For
286 4. Visual Images in Some Other Fields of Geometry
Visualization of It turns out that we have seen on the display the well-known La-
Lagrange theorem grange theorem which he proved in 1740.
Every mathematician knows and can give many examples from his
scientific work when it appears much more difficult to feel or "see" a
correct hypothesis than later to prove it. Visual images are particUlarly
often used in geometry and topology where one has to work with mul-
tidimensional objects which, in principle, do not always admit picturing
in a three-dimensional space.
By Fig. 4.3.2 the computer informed us about something more. For
s = 2 the carpet surely has a simple structure: we clearly see six vertical
black columns, i.e. columns entirely consisting of black squares. This is
also a well-known theorem.
The Euler theorem (1749). Let a natural number n have the form n ==
3,6, 7(mod8). Then all numbers of the form n·4 k , where k = 0, 1,2, ... ,
are not representable in the form (1), i.e. n· 4k f nI + n~.
[ 0 r
Euler theorem
!=2. (L.ELlfe'l.)
r n n
Gauss theorem
Lagrange theorem
S::: 3 (Gauss) Fig. 4.3.2
is quite clear that when d = 24, the picture acquires its "final" form. The White-black carpets
columns have become vertical. Of course, there are black squares out- of numbers
side columns, but we are now primarily interested in those black squares
which constitute the vertical columns. This is a no less famous Gauss
theorem.
J'.. II,,;'".
'.JI.
form n· 41, where l = 1,2,3, ....
JI' " -. ...
..... .
JlI.
'."" I
"
" JI, ,__ All details of the Gauss theorem are clearly seen on the display
.
IIIIIL 1,'-
" -1", JI • (Fig.4.3.3). Note that in any k-th column on the display (modd) there
.,.,
...J' •• '.'",
J' '.'- I,
stand numbers of the form n == k(mod d), i.e. numbers which when
divided by d give one and the same residue k. The main series of columns
" . JI •• (continuously black) are visually distinguished in Fig.4.3.3. Therefore,
". JI-. '..
mod 22.
they consist of numbers which when divided by 8 give a residue equal
to 7 (numbers == 7(mod8)), i.e. numbers of the form n = 8k + 7, k =
0,1,2, .... Employing the sweepingout procedure, which in any set of
numbers finds all subsequences of the type of arithmetic and geometric
progresssions, one can readily make sure that for d = 24 all the rest of
the black squares of the picture in Fig. 4.3.3 are elements of geometric
progressions of the for n· 41,1 = 1,2,3, ... , where n is the element of
one of the columns of the principal series.
So, the intrinsic harmony of the visual image, our intuitive ideas
concerning the regularity, symmetry and order prove here to be effective
control parameters of the process of visual determination of mathematical
regularities.
The problem next in complicacy is representability of numbers as
the sum of cubes. If we dealt not wich integers but with rational numbers,
mo« 2.3 the answer to the question would be the following.
•
•
n
•
•
~ .•
n
.
representable as the sum of three cubes of rational numbers, namely:
t • •
•
• • .
•
t •
~
• ~
• ( a3 -3 6
) 3 ( -a3 +3 5a+3 6 )3 ( a2 +34a )3
a = 32a2 + 34a +36 + 32a2 +34a +36 + 32a2 +34a +36
• • • •
• •• ,
• , .
t We now proceed to the classical Waring problem. We fix r = 3 and
• • vary s, i.e. investigate the possibility of representing numbers n as the
t
~
I
n n;.
sum of s cubes: = nf + ... + We again display the information
• • • in the form of a carpet. In Fig.4.3.4 there are pictures (for s = 1,7,8)
J. (Gltl.lr) successively appearing with increasing s = 1,2,3,4,5,6,7,8,9. This
Fig. 4.3.3 In 0 2lr S material would generally be more convenient to illustrate by a cartoon
4.3 Visual Computer Geometry in the Number Theory 289
shot directly from the computer display. The first shots will be almost
all black, then the white field begins increasing. Finally, for s = 8 in
the white field there remain only two black squares which vanish for
s = 9.So for s = 9 the whole display is white! By the way, the last two
black squares in the eighth shot are numbers 23 and 239.
•
From the pictures obtained one can hypothesize that this situation (
•
•• •
may also hold for the other powers r = 4,5,6, .... The schematic ex-
pression of this hypothesis is presented in Fig. 4.3.5. Here s is the number
of summands in the sum (1), r 2: 2 is fixed exponent, N is the number L
of black (i.e. non-representable) natural numbers. Let r be fixed. Since 4= 1
the number of summands s increases monotonly (Fig. 4.3.5), there exists!+- r _ _ _u-n _----.
a certain value s = G(r) (of course, r-dependent) such that for s < G(r)
the black set is inifmite and for s 2: G(r) finite. In other words, G(r) is
•
the smallest number of summands in the sums (1) for which the black
set becomes finite for the first time. [
A similar boundary arises with a further increase of s, i.e. when the
number of elements of the black set goes over from finite to zero. This •
second boundary we denote by g(r). So, g(r) is the smallest number of
summands in the sum (1) for which the black set appears empty for the C
first time~
To say it differently, for s 2: G(r) it is only afinite amount of natural
numbers that is not decomposed into the sum nI + ... + n~, while for
s > g(r) all natural numbers are representable in the form nJ + ... +n~. 1= 8 Fig. 4.3.4
290 4. Visual Images in Some Other Fields of Geometry
Hilbert functions These two functions, G(r) and g(r), are called Hilbert functions. We
have presented our arguments, prompted by computer drawing, in favour
of the hypothesis that the number g(r) is finite. This does not, of course,
follow from its defmition.
Waring's conjecture Waring's hypothesis. For any power r ~ 2 there exists (and is finite)
a smallest number of summands g(r) such that for all s > g(r) the set
of natural numbers non-representable in the form nj +... +n~ is empty.
Here nj are non-negative integers.
Empirical hypothesis Waring formulated this hypothesis in 1770 on the basis of the La-
grange theorem and of the empirical assumptions of his predecessors
that any natural number can be represented as a sum of nine cubes and
nineteen fourth powers. There was no Wiferich theorem (1909) at that
time, but the corresponding empirical hypothesis on the sums of cubes
did exist.
o So, we have the equailities g(2) =4, g(3) = 9, g(4) = 19. The function
g(r) is seen to increase rapidly, and therefore it is a priori not excluded
that for a certain ro it will appear to be equal to infmity. This would
U 3· .. G('t) ... 1('T.) mean that for any arbitrarily large number of summands s there exists a
Fig. 4.3.5 sufficiently large natural n non-representable as the sum n = nro+...+n~o.
As a result of considerable attempts made by many mathematicians.
Hilbert-Waring theorem Waring's hypothesis was finally proved by D. Hilbert in 1909, and since
then it has been known as the Hilbert-Waring theorem.
The classical Waring's hypothesis was further on extended in differ-
ent directions. We shall not go into detail of these extensions, but only
mention the names of some mathematicians who obtained here some
further results: I.M. Vinogradov (1938, the Goldbach-Waring problem),
Hua Lo-gen (1937), Hua Lo-gen and R.E. Haston (1938), E.M. Right
(1934), B.I. Segal (1933), K.F. Rot (1951),V.I. Nechaev (1953), A.A.
Karatsuba (1962) and others.
There exists, however, one natural extension which we shall touch
upon here. In the course of computer experiments (A.A. Zenkin) on the
classical Waring problem, an interesting fact was unexpectedly discov-
ered. If in the sums (1) the condition "ni are non-negative integers" is
replaced by the condition "ni are natural (i.e. positive) integers", the
situation changes. It is of interest that this substitution of conditions was
4.3 Visual Computer Geometry in the Number Theory 291
Fig. 4.3.6
The question naturally arose: What a strange set did the computer
distingush following Poll? It was decided to see, using computer, the
corresponding cartoon for cubes, i.e. for r = 3, which is n analogue of
the Wiferich theorem, but with the restriction on the summands of the
form nj ~ 1 in the sums (1). The result is demonstrated in Fig.4.3.7.
As we see, there appears here a strange set which (and similar ones)
1. Lagarius called the exceptional set.
Computer hypothesis 5 was then given a rigorous mathematical proof
in Ref. [91]. This is a new mathematical result. We deal with an example
of a successful use of computer drawing for the formulation of a correct
mathematical hypothesis. Later on, many interesting properties of such
sets were investigated using computer, in particular, the hypothesis of
their finiteness was first formulated and then rigorously proved.
14
FiQ.4.3.7
Appendix 1. Visual Geometry of Some Natural
and Nonholonomic Systems
For simplicity we consider systems with two degrees of freedom, systems Natural
actually arising in nature, i.e. having Lagrangian of second degree in mechanical systems
velocities:
n n
L= L ajj(q)(iiQj - II(q) + L aj(q)qj
i,j=1 j=1
There are usually no linear summands (e.g. for the motion of a point
along a motionless surface) and then the system is called natural. There
is no conventional term to define the presence of linear terms. In some
cases we distinguish between reversible and i"eversible natural systems. Reversible
Reversibility implies that if q(t) is a solution, so is q(-t). The Hamilto- and irreversible
nian corresponding to our Lagrangian has the form natural systems
~
>':":::';':":~':":""::"". rather varied because the phase tori and their windings can be projected
.: . . :.1)
. . .:.: . . .:. :.<.
· onto this manifold differently ([93], p.292). We mean here the projec-
·
'.
.. :.
.', ' ',' . : :, ", .. ::
" 1
H=-p2+~+II(r)
r., .
':.: ~.: .:.: .:/:: .:.:: :....: 2 r a(r)
.. , . '. " Then the torus is projected in a particularly simple way. One should put
..:............. :..
it onto the table and press it from above. The meridians cp = const go
Fig.A.1.1 over into segments orthogonal to the parallels r = const. The behaviour
of the trajectories of motion may vary as shown in Fig. ALl. The ap-
pearance of a linear term of the form Q(r )P<p in the Hamiltonian leads to
a peculiar twisting of the trajectories (Fig. A 1.2). In a sense, the winding
is projected here obliquely.
The situation is much more interesting in the so-called Liouville
Fig.A.1.2 systems:
(2 2) +2I (1...2
1 PI +P2
H= 2 22)
wlql +W2q2
~=~+~~=~, ~=~+~~=~
Fig. A.1.3 Along each coordinate there occurs harmonic oscillation with eigenfre-
quency WI, W2, such that the trajectory is a Lissajous figure in a rectangle
IqIi ::; .jCi/W"lq21::; .jCi./W2 (Fig.A1.3). Clearly, this rectangle is a
projection of the phase torus 1C1C2 = {~ =~, F2 = C2}, and the Lissajous
figures are projections of the windings. To imagine what it looks like, one
should glue a flat torus of a sheet of paper, plot on it a straight-line seg-
ment (a piece of winding) and glue the torus (Fig. A.1.4), see Ref. [93],
Fig. A.1.4 p.272. As we see, this gives a rectangle with a piece of billiard trajectory
inside it. Continuing this trajectory, we shall see something resembling
much a Lissajous figure. This is not a mere coincidence.
1.2 What Are Nonholonomic Constraints? 295
Then there exists a continuous map of this rectangle onto another one
of the form {O ~ 6 ~ T!(C, h), 0 ~ 6 ~ 1'2(c,h)}. such that the trajec-
tories of motion with given constants of the integrals are in one-to-one
correspondence with the billiard trajectories making an angle of 7r I4 Billiard trajectories
with the sides of the new rectangle. Nonh%nomic constraints
position. Suppose the coordinates of the centre' are x, Y and the disc
may rotate arbitrarly (let the angle of rotation be <p), see Fig. A.1. 7.
Now fix a small skate, a blade of negligible length, from below to the
centre of the disc. Those who skate can imagine how easy it is to spin
Fig.A.1.7 and move forward or backward, whereas when pushed on the side you
will either fall or make a step because skates do not glide sideways.
1)' 1)'
Let us return to the disc and try to imagine how its centre can move.
, :::. . '. : :.' If we idealize the situation and use exact terms, we shall speak of the
direction of the velocity of the centre (Fig. A 1.8). The velocity of the
centre can be directed only along the blade. Let for defmiteness <p be
Ues .. ~ the angle between the blade and the x-axis. Then our requirement is that
.' :: . ~'. the velocity v= (x,iI) be always perpendicular to the normal to the blade
/!Q ::'.'
. ....
'
: . "
.
... :
"
n = (- sin <p, cos <p) or (v, n) = -x sin <p +iI cos <p = O. Restrictions of
this type imposed upon the velocities of parameter variation (in our case
Fig.A.1.8 there are the parameters x, y, <p) are called nonholonomic constraints.
Since the velocity of the centre is not arbitrary here, the question arises,
to what extent this lays restraint on our possibility to move the disc. More
~,.. ~"~"f,'
precisely, let there exist two positions of the disc where the parameters x,
.... --':..'1"'
1ft . . . ."!::. '
____~.
___ • __ ...... 2- y, <p acquire the values XI, YI ,<PI and X2, Y2, <P2 respectively (Fig. AI.9).
It is possible to transfer the disc from one position to another respecting
~ .' " , the nonholonomic constraint? The answer appears to be affirmative:
1 .:.'
, ,:
,
,
,I
:%'! :!'e.t
1) we put the blade alon the line of the centres,
2) glide from (XI,YI) to (X2,Y2),
Fig.A.1.9
3) turn the blade to obstain the angle <P2.
This type of nonholonomic constraint is called nonintegrable. We
do not discuss these concepts here and restrict ourselves to the example
given above. For the details see the papers by Tatarinov [93], [94].
An interesting nonholonomic constraint can be imposed on a body
with a motionless point (this is so-called Suslov's constraint in Wagner's
representation). First of all, how shall we realize this motionless point?
Imagine a spherical hinge: a mobile sphere glides along an immobile
Fig.A.1.10 one (Fig.Al.l0). The body can turn arbitrarily round the point 0 (for
the time being we forget about the support). The body is customarily
associated with a co-moving coordinate system 6,6,6, and the angular
velocity of the body w is decomposed in the vectors of the co-moving
frame: W = WI e~l + w2e~2 +w3e~3' If P is an arbitrary point of the body,
1.3 The Variety of Manifolds in the Suslov Problem 297
its velocity has the form Vp = [w, OP], and the coordinates of any point
are constant (in a co-moving coordinate system).
Now to the mobile sphere we fix a small blade of the same type as
in the preceding example. For definiteness we place it at the point P on It P.
the 6 -axis parallel to the 6-axis (Fig. A.1.11). The velocity of the point
P has now to be directed along the 6-axis since vp is always orthogonal
to 0 P, and in this case to the 6 -axis. It remains to require that Fig. A.1.11
d'Yl
dt =W3 "12 - W2'Y3 ,
dwl all
AI- ="12- - "13-,
all ~ all
A2- ="13- - "11- ,
all
dt Ert3 0"12 dt 0"11 0"13
i+'Yi+'Y~=l .
This "derivation" of the equations of motion with constraint is for-
mally not absolutely lawful. The correct derivation (which we omit here,
d'Alembert-Lagrange see Ref. [94]) is based on the d' Alembert-Lagrange principle by virtue
principle of which the action of an additional force moment orthogonal to possi-
ble angular velocities, i.e. exactly along the mobile 6-axis, is respon-
sible for the constraint. The system of equations obtained specifies the
flow on the manifold 8 2 ('Yf +'Yi +'Y~ = 1) X ]R2(p, q). Assume now that
II = III ("11) + Ih <'Y2). Then the flow obviously possesses two first in-
i
tegrals FI = (1/2) . Alwy + Il2 ("12), F2 = (1/2) . A2W + Ild'YI). The
question is: what can the topological structure of two-dimensional mani-
2-dimensional common folds Ic,C2 = {FI = C), h = C2} C 8 2 x]R2 be? They are always compact
level surfaces may have (the sum of the integrals written down gives the energy integral) and,
genus from zero to five as shown by Okuneva in [95], [96], may have genus from zero to five.
Integration in The equations of motion are integrated in quadratures, so that we have a
quadratures for the clear distinction from those integrable Hamiltonian systems in which the
equation of motion common level surfaces of the integrals-may have only genus 1 (tori). To
prove this assertion, we make the change of variable dr ='Y3dt in each
of the hemispheres "13 > 0, "13 < o. Then in the equations of motion we
Uouville-Hamiltonian can single out the subsystem
system
dwl 1 dIl2 d'Y2
a; - - A2 d'Y2 ' -=WI
dr
1.3 The Variety of Manifolds in the Suslov Problem 299
dw2 I dIll
-=+--
dr A2 d"Y1'
The integrals will of course be the same. This is the Liouville Hamiltonian
system:
" I dIll " I dIl2
'1'1 = - - - '1'2 = - - -
A2 d'Yl ' Al d'Y2
Therefore, all the arguments of Sect. ALl are valid here. In particular, Fig.A.1.12
in the phase space we obtain a torus which is projected onto a rectangle
in the variables '1'1, '1'2, and the trajectories are qualitatively Lissajous
figures in this rectangle. But working in the hemispheres '1'3 ~ 0 we
should remember that actually 'Yf + 'Yi ~ 1, and therefore we should
take the intersection of the rectangle with the circle (Fig. A.1.12). The
genuine trajectory (while the point is on the hemisphere) will be only the
portion of the "Lissajous figure" which lies inside the circle. By virtue Fig.A.1.13
of symmetry of the equations (namely, '1'3 --+ -'1'3 for t --+ -t), the
trajectory 'Y(t) is symmetric about the circle '1'3 = O. In the projection
onto the plane 'YJ. '1'2 this means that (')'1 (t), 'Y2(t») reaches 'Yf + 'Yi = 1,
is reflected and returns along the same trajectory.
.€D'.
Ascending to the phase space, over the hemisphere '1'3 > 0 or '1'3 < 0
(over a truncated rectangle) we shall see a torus which will also be
truncated. One can make sure that in the situation shown in Fig. A.1.12 Fig.A.1.14
(when one angle is cut out of the rectangle) a disc is cut of the torus
(Fig.ALl3). By virtue of the above-mentioned symmetry, I c1c2 consists
of two symmetric pieces which are glued together along the boundary ::':'. ':.:: "
(Fig. A.1.14). We obtain a pretzel! (And not a torus). It can readily be :~ '0:' '0 . :"
•• I' •. "
. '
"
00
we obtain manifolds shown in Fig. AI.IS. This problem has been studied
2
in detail by Okuneva [95], [96] who gave an exhaustive description of the "
qualitative picture of the behaviour of trajectories on integral manifolds. ...) ...J
O· Q'
4,.,~.j
:"
....f
~
Fig.A.1.15
Appendix 2. Visual Hyperbolic Geometry
-= -
2.1 Discrete Groups and Their Fundamental Region
itself only by a unit element of the group. The latter two statements just
Fundamental region imply that a cell is a fundamental region.
We shall now show that the angles of the cell are integer parts of II.
Consider an arbitrary angle of a cell P, limited to straight lines IIo and
III. Consider the sequence of straight lines given by the recurrent formula
IIn+1 = Riin (lIn-I) (n ~ 1). According to what has been proved above,
Mi"ors all IIn are mirrors. If we assume the initial angle not to be an integer
part of II, then at some moment we obtain a mirror intersecting a cell
(Fig. A.2.7), which contradicts the definition of a cell. Therefore, the
angle under consideration is an integer part of 7r.
On the other hand, any polygon with angles equal to integer parts of
Group generated 7r can be shown [99] to be a fundamental region for the group generated
by reflections by reflections relative to the sides of this polygon. Thus, the classifi-
cation of reflection-generated discrete groups of motion of a plane is
reduced to the classification of polygons with angles of the form 7r / n.
Coxeter polygons Such polygons are called Coxeter polygons. All Coxeter polygons can be
directly enumerated. All of them are presented in Fig.A.2.8. To solve an
analogous problem in a three-dimensional space and in spaces of higher
dimensions, it is useful to introduce some new concepts.
Fig.A.2.7
1M1OP1L~~
(It-) (5) (6)
(1 ) (2 ) (3)
~ (1)
~.(8 ) (9 )
i.iai pfane
Fig.A.2.8
2.3 The Gram Matrix and the Coxeter Scheme 303
Table A.2.1
o
(1)
~
(2)
()IIIIIIO
(3 )
0
L(6 )
o " () ~
(8)
Table A.2.2
(1) (:1-:
o
~~
0 i -1
o 0 -1 1
l
(I )
(j )
.{ ~ 0
2 \lo=c:::oCHIiD /'I.
0--0
3 n >=' 0-0-0
o-a:;::D
()-(E3)
Reflection-generated discrete groups with positive definite Gram ma- Positive definite
trices have the direct product of simplicial cones as their fundamental Gram matrices
region. These groups have a motionless (fixed) point and can be in- Simplicial cones
terpreted as reflection-generated discrete groups of motions of a sphere
(with centre at the fixed point). The Coxeter schemes of these groups are
given in the right-hand column in Table A.2.3.
306 A2. Visual Hyperbolic Geometry
o--!!:--o 0
Fig.A.2.9
(x, x) = -x~ + xI + x~ .
The set c = {x E V2,1 : (x,x) < 0 is an open cone which consists of two
connected components C+ and C- (Fig. A.2.1 0). A set of rays emanating
Model from zero and lying in c+ is a model of the Lobachevskian plane A2.
2.5 A Model of the Lobachevskian Plane 307
Fig.A.2.10
The rays lying on the boundary of C+ are called infinitely remote points Infinitely
of the Lobachevskian plane. remote points
Straight lines in this model consists of rays lying in the intersection
of a certain two-dimensional subspace of the space V 2,1 with c+ if this
subspace is non-empty. Each straight line in A2 can be defined by the
vector of the space V 2,1 orthogonal to this subspace. Given this, the
condition that the intersection of this subspace with C+ is non-empty is
equivalent to the fact that the restriction of the quadratic form to it has a
signature (1,1), which is in turn equivalent to the fact that the orthogonal
complement to it is spanned by a vector with a positive scalar square.
Thus, each vector x E V 2,1, such that (x, x) > 0 defines a straight line
IIx C A2.
It is convenient to draw the cross-section of the cone C+ which
intersects each ray lying in the cone at exactly one point. Such a cross-
section can also be interpreted as a model of the Lobachevskian space.
An example of such a cross-section is that by the plane Xo = 1. In this
Fig.A.2.11
case, the unit circle is a model of the Lobachevskian plane and the chords
of this circle are the straight lines. This model is called the Klein model. Klein model of a
It shows very well three possible cases of mutual disposition of two hyperbolic plane
straight lines on a Lobachevskian plane. They can intersect each other Intersection "at infinity"
(Fig.A.2.l1(1», be parallel (Fig. A. 2.1 1(2» or diverge (Fig.A.2.11(3». or "behind infinity"
In these cases, the lines of intersection of two-dimensional planes of the
space V2,1 specifying these straight lines, lie in C+, lie on the boundary
of the space and do not lie in its closure, respectively. We shall also say
that two straight lines on a Lobachevskian plane intersect at a proper
point, "at infinity" or "behind infinity" depending on which of the three
cases is realized.
308 A2. Visual Hyperbolic Geometry
Fig.A.2.12
Note that the first formula coincides with that for the case of Euclidean
plane. The minus sign appears because (eJ,e2) = 7r - (IIe;,rre
2 )'
constructed in V 2,1 over the given polygon (Fig. A.2.12). The polygon is
defined, up to the motions, by the Gram matrix of this set of vectors.
The sum of the angles of a polygon on the Lobachevskian plane is
less than the sum of the angles of a Euclidean polygon with the same
number of sides. The difference between these sums of angles is equal
to the area of the polygon on the Lobachevskian plane [97]. Therefore,
as distinguished from the Euclidean plane, the area of a polygon on the
Lobachevskian plane is fmite if some of its adjoint sides are parallel, in Polygons of a
other words, if some of the vertices lie at infinity (Fig.A.2.13). However, finite area and of
if at least one vertex lies behind infmity, the area of the polygon is an infinite area
infinite. Indeed, in the latter case one can construct a straight line lying
entirely in the polygon so that the polygon contains the whole of the
half plane restricted by this straight line (Fig. A.2.l4). Infinity of the
area of the polygon now follows from infinity of the area of the whole
Lobachevskian plane (the latter follows, for example, from the existence
of an infinite diescrete group of motions on the Lobachevskian plane).
Thus, a convex polygon has a finite area on the Lobachevskian plane if
and only if it is a convex hull of a finite number of points which are
either proper or lie at infmity.
Exercise 4. Prove that if the two straight lines, on which some sides of a
Coxeter polygon lie, intersect then their intersection is a vertex. In other
words, continuations of non-adjoint sides do not intersect.
310 A2. Visual Hyperbolic Geometry
Instruction. Make use of the fact that all the angles of a Coxeter
polygon are non-obtuse and that the sum of the angles of an arbitrary
triangle on the Lobachevskian plane is less than 7r.
D
It is now obvious that to a pair of adjoint sides of a Coxeter poly-
gon there corresponds a subscheme of its Coxeter scheme of the form
o 0 or 0 n 0 (where n ~ 3), to a pair of sides in-
tersection at an infinitely remote vertex there corresponds a subscheme
*3 o 0 and to a pair of non-adjoint sides there corresponds a subscheme
2~~., ~., ~J LOO 0----0·
This implies that restricted Coxeter triangles are specified by schemes
i+!..f..J:{i
.fc, ~, 'i<J of the form shown in Fig.A.2.i5a; the schemes for rectangles are shown
in Fig. A.2.l5b, for pentagons in Fig. A.2.15c, ect. Admitting that k - i
Finite area can assume the value 00, we obtain the schemes of finite-area Coxeter
Coxeter polygons polygons. Admitting dashed edges instead of ordinary or multiple ones,
we obtain the schemes or arbitrary Coxeter polygons.
It should be noted that for a polygon to be specified by its own
, \ /
.- Coxeter scheme, it is necessary that the dashed edges be marked. This
t. ?, -k1. can be done not in an arbitrary way. It is necessary that the Gram matrix
/ " of the polygon have rank three. This condition implies that a finite-area
f." Coxeter n-gon on a Lobachevskian plane is specified by its angles (which
2{.~, ~.,-l-" ¥oO must satisfy some inequalities) up to n-3 continuous parameters.
~i t-2. simuftanllouslj
2.8 Coxeter Polyhedra in the Lobachevskian Space
D C
All such schemes are presented in Table A.2.4.
TableA.2.4 (2) (J)
'&3 FA'
C ~(t,.)
Fig.A.2.17
~--<> D>
infmity). For example, the tetrehedron A.2.l7(1) contains a vertex at in-
finity, which is specified by the faces -2, 3, 4, the rest of the vertices are
proper. The tetrahedron A.2.l7(2) contains two infinitely remote vertices, (3) (4)
and all the vertices of the tetrahedron A.2.l7(4) are infmitely remote.
by its dihedral angles. For a polyhedron to exist, its angles should sat-
isfy some natural restrictions in the form of inequalities [105], [106].
Andreev's result can be interpreted as the classification of acute-angled
polyhedra (and, in particular, Coxeter polyhedra) of fmite volume in
Lobachevskian space. This classification does not, however, provide an
explicit representation of these polyhedra (an explicit representation is
understood here as the defmition of a polyhedron by a set of vectors in
V 3,J). Indeed, to find all the elements of the Gram matrix of a polyhe-
dron from its bihedral angles, it suffices to solve a system of algebraic
equations. One of the ways to find an explicit representation of some
Coxeter polyhedra is discussed in the subsection to follow.
[16] Shiryaev, A.N.: Probability. Nauka: Moscow, 1979. English trans!.: Grad.
Texts Math. 95. Springer-Verlag: New York Berlin Heidelberg, 1984
[17] Chentsov, N.N.: Statistical Rules and Optimal Conclusions. Nauka:
Moscow, 1972 (Russian)
[18] Maslov, V.P.: Perturbation Theory and Asymptotical Methods. Moscow
State University Press: Moscow, 1965 (Russian)
[19] Zakharov, V.E., Faddeev, L.D.: Korteweg-de Vries equation as a com-
pletely integrable Hamiltonian system. Funkts. Anal. Prilozh. 5, No. 4
(1971) 18-27 (Russian)
[20] Gelfand, I.M., Cherednik, I.V.: Abstract Hamiltonian formalism for clas-
sical Yang-Baxter equations. Usp. Mat. Nauk 38, No.3 (l979) 3-21
(Russian)
[21] Kozlov, V.V.: The Methods of Qualitative Analysis in Rigid-Body Dy-
namics. Moscow State University Press: Moscow, 1980 (Russian)
[22] Manin, Yu.I.: A Course of Mathematical Logic. English trans!.: Grad.
Texts Math. 53. Springer-Verlag: New York Berlin Heidelberg, 1977
[23] Manin, Yu.I.: Mathematics and Physics. Znanie: Moscow, 1979 (Russian)
[24] Fomenko, A.T., Fuchs, D.B., Gutenmacher, V.L.: Homotopic Topology.
Moscow State University Press: Moscow, 1969. English trans!.: Akademia
Kiad6: Budapest, 1986
[25] Fomenko, A.T., Fuchs, D.B.: A Course in Homotopic Topology. Nauka:
Moscow, 1989 (Russian)
[26] Fomenko, A.T.: Mathematical Impressions. Amer. Math. Society: Provi-
dence, R.I., 1990
[27] Dubrovin, B.A., Fomenko, A.T., and Novikov, S.P.: Modern Geometry.
Methods and Applications. Nauka: Moscow. 2 Parts: 1979, 1984. English
trans!. of Part I: Springer-Verlag: New York Berlin Heidelberg, Grad.
Texts Math. 93, 1984, and Grad. Texts Math. 104 (1985). Part II: Grad.
Texts Math. 124, 1990
[28] Fomenko, A.T.: Differential Geometry and Topology. Moscow State Uni-
versity Press: Moscow, 1983. English trans!.: Plenum Publishing Corpo-
ration: New York London, 1987
[29] Fomenko, A.T.: Variational Problems in Topology. Moscow State Uni-
versity Press: Moscow, 1984. English trans!.: The Geometry of Length,
Area and Volume. Gordon and Breach: London, 1990
[30] Seifert, H., Threlfall, W.: A Textbook ofTopology. Academic Press: New
York, 1980
[31] Rokhlin, V.A., Fuchs, D.B.: Beginner's Course in Topology. Geometric
Chapters. Nauka: Moscow, 1977. English trans!.: Springer-Verlag: Berlin
Heidelberg New York, 1984
References 319
Acknowledgements
We would like to thank the original publishers of A.T.Fomenko' s pictures for granting
permission to reprint them here. The numbers following the sources correspond to the
numbering of the pictures in this book.
A.T. Fomenko: Computers and Mathematics with Applications, Visual and
Hidden Symmetry in Geometry, Symmetry 2, Vol. 17, No. 1-8, Pergamon Press,
I. Margittai, 1989: 1.1.25, 1.2.20,2.1.19,3.2.41,4.1.6,4.2.9
1. Stoyanov: Counterexamples in Probability, John Wiley & Sons, 1989: 1.3.12