Professional Documents
Culture Documents
I N M AT H E M AT I C S 239
Introduction to
the h-Principle
Second Edition
K. Cieliebak
Y. Eliashberg
N. Mishachev
Introduction to
the h-Principle
Second Edition
GRADUATE STUDIES
I N M AT H E M AT I C S 239
Introduction to
the h-Principle
Second Edition
K. Cieliebak
Y. Eliashberg
N. Mishachev
EDITORIAL COMMITTEE
Matthew Baker
Marco Gualtieri
Gigliola Staffilani (Chair)
Jeff A. Viaclovsky
Rachel Ward
Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting
for them, are permitted to make fair use of the material, such as to copy select pages for use
in teaching or research. Permission is granted to quote brief passages from this publication in
reviews, provided the customary acknowledgment of the source is given.
Republication, systematic copying, or multiple reproduction of any material in this publication
is permitted only under license from the American Mathematical Society. Requests for permission
to reuse portions of AMS publication content are handled by the Copyright Clearance Center. For
more information, please visit www.ams.org/publications/pubpermissions.
Send requests for translation rights and licensed reprints to reprint-permission@ams.org.
c 2024 by the American Mathematical Society. All rights reserved.
The American Mathematical Society retains all rights
except those granted to the United States Government.
Printed in the United States of America.
∞ The paper used in this book is acid-free and falls within the guidelines
established to ensure permanence and durability.
Visit the AMS home page at https://www.ams.org/
10 9 8 7 6 5 4 3 2 1 29 28 27 26 25 24
To
Vladimir Igorevich Arnold
who introduced us to the world of singularities
and
Misha Gromov
who taught us how to get rid of them
Contents
Intrigue 1
vii
viii Contents
The book is significantly expanded for its second edition, and several old
parts are rewritten. The main addition to the original book is Part 3 en-
titled “Singularities and Wrinkling”, which is devoted to the method of
wrinkling and its applications. In particular, we discuss there the construc-
tion of maps with prescribed fold singularities and prove a generalized form
of Igusa’s results about families of functions with generalized Morse critical
points. The main ingredient in the proof is the multivalued holonomic ap-
proximation theorem, which is introduced in the new Chapter 5. We also
added a new chapter (Chapter 10) on foliations, and the “foliated” language
is now used throughout the book. Several other chapters and sections have
been significantly rewritten, including Chapter 3 on holonomic approxima-
tion, Chapter 20 on symplectic and contact embeddings, Section 2.3 on the
Thom Transversality Theorem, and Section 8.1 on natural fibrations.
In the more than 20 years since the first edition of this book, many more
instances of the h-principle were discovered. Especially interesting new man-
ifestations of flexibility phenomenon were found in symplectic and contact
geometry. It became clear to us that it is impossible to address new sym-
plectic geometric applications of the h-principle in the format of the current
book. Hence, we decided to leave the symplectic part of this book mostly as
is and are currently working on a separate book [CEM25] devoted to new
developments in symplectic and contact flexibility.
Throughout the rest of the book we made numerous small changes and
corrections of typos and errors. We are grateful to many readers who over
the years notified us of various typos and errors in the book. We thank
Daniel Álvarez-Gavela, Álvaro del Pino Gómez, and Zehan Hu for their
comments on the manuscript of the current edition.
xiii
Preface to the
First Edition
The classical partial differential relations, mostly rooted in physics, are usu-
ally described by (systems of) equations. Moreover, the corresponding sys-
tems of equations are mostly determined : the number of unknown functions
is equal to the number of equations. Given appropriate boundary condi-
tions, such a differential relation usually has a unique solution. In some
cases this solution can be found using certain analytical methods (potential
theory, Fourier method, and so on).
In differential geometry and topology one often deals with systems of partial
differential equations, as well as partial differential inequalities, which have
infinitely many solutions whatever boundary conditions are imposed. More-
over, sometimes solutions of these differential relations are C 0 -dense in the
corresponding space of functions or mappings. The systems of differential
equations in question are usually (but not necessarily) underdetermined. We
discuss in this book homotopical methods for solving this kind of differen-
tial relations. Any differential relation has an underlying algebraic relation
which one gets by substituting derivatives by new independent variables. A
solution of the corresponding algebraic relation is called a formal solution of
the original differential relation R. Its existence is a necessary condition for
the solvability of R, and it is a natural starting point for exploring R. Then
one can try to deform the formal solution into a genuine solution. We say
that the h-principle holds for a differential relation R if any formal solution
of R can be deformed into a genuine solution.
xv
xvi Preface to the First Edition
The method for proving the h-principle based on the Holonomic Approx-
imation Theorem works well for open manifolds. Applications to closed
manifolds require an additional trick, called microextension. It was first
used by M. Hirsch in [Hi59]. The holonomic approximation method also
works well for differential relations which are not open, but microflexible.
The most interesting applications of this type come from symplectic geom-
etry. These applications are discussed in the third part of the book. For
convenience of the reader the basic notions of symplectic geometry are also
reviewed in that part of the book.
The fourth2 part of the book is devoted to convex integration theory. Gro-
mov’s convex integration theory was treated in great detail by D. Spring
in [Sp98]. In our exposition of convex integration we pursue a different
goal. Rather than considering the sophisticated advanced version of convex
integration presented in [Gr86], we explore only its simple version for first
order differential relations, similar to the first exposition of the theory by
Gromov in [Gr73]. Nevertheless, we prove here practically all the most
interesting corollaries of the theory, including the Nash–Kuiper theorem on
C 1 -isometric embeddings.
Let us list here some available books and survey papers about the h-principle.
Besides Gromov’s book [Gr86], these are Spring’s book [Sp98], Adachi’s
book [Ad93], Haefliger’s paper [Ha71], Poénaru’s paper [Po71], and, most
recently, Geiges’ notes [Ge01].
Acknowledgments. The book was partially written while the second au-
thor visited the Department of Mathematics of Stanford University, and the
first author visited the Mathematical Institute of Leiden University and the
Institute for Advanced Study at Princeton. The authors thank the host
institutions for their hospitality. While writing this book the authors were
partially supported by the National Science Foundation. The first author
also acknowledges the support of The Veblen Fund during his stay at the
IAS.
We are indebted to Ana Cannas da Silva, Hansjorg Geiges, Simon Gober-
stein, Dusa McDuff, and David Spring who read the preliminary version
of this book and corrected numerous misprints and mistakes. We are very
thankful to all the mathematicians who communicated to us their critical
remarks and suggestions.
Examples.
A2. On the other hand, any two immersions S 2 → R3 are regularly homo-
topic; see [Sm58] and Section 4.2. In particular, the standard 2-sphere in
R3 can be inverted outside in through a family of immersions.
1
2 Intrigue
and Chapter 16. For instance, one has the following statement (see Section
16.5):
Let ft : Rn → R be a family of functions parameterized by t in the sphere
S k−1 = ∂D k . Suppose that for each t ∈ S k−1 the function ft has no critical
points and coincides with the coordinate function x1 outside a compact set.
Then the family ft extends to t ∈ D k such that for each t ∈ D k the func-
tion ft has only Morse and birth-death critical points and coincides with the
coordinate function x1 outside a compact set.
All the above statements are examples of the homotopy principle, or the h-
principle. Despite the fact that all these problems are asking for the solution
of certain differential equations or inequalities, they can be reduced to prob-
lems of a purely homotopy theoretic nature which then can be dealt with
using the methods of algebraic topology. For instance, the regular homotopy
classification of immersions S 2 → R3 can be reduced to the computation of
the homotopy group π2 (RP 3 ), which is trivial.
We are teaching in this book how to deal with these problems. In particu-
lar, the three general methods which we describe here will be sufficient to
handle all the above examples, except A3 and C, though we hope that after
studying the book, the reader would be able to solve A3 and C as advanced
exercises.
Another, maybe even more important goal of this book is to teach the reader
how to recognize the problems which may satisfy the h-principle. Of course,
in the most interesting cases this is a very difficult question. As we will
see below there are plenty of open problems where one can neither establish
the h-principle nor find a single instance of rigidity. Nevertheless we are
confident that the reader should develop a pretty good intuition for the
problems which may satisfy the h-principle.
Here are some more examples where the h-principle holds, fails, or is un-
known.
Examples.
E2. On the other hand, the h-principle is wrong for Lagrangian embed-
dings. Indeed, any two Lagrangian embeddings T 2 → C2 are Lagrangian
isotopic [DRGI16], whereas the h-principle would predict the existence of
knotted Lagrangian tori.
Holonomic
Approximation
Chapter 1
9
10 1. Jets and Holonomy
The space x × RqNr can be viewed as the space of all a priori possible values
of r-jets of maps f : Rn → Rq at the point x ∈ Rn . In this context the space
Rn × RqNr = Rn × Rq × Rqd1 × Rqd2 × · · · × Rqdr
is called the space of r-jets of maps Rn → Rq , or the space of r-jets of
sections Rn → Rn × Rq , and is denoted by J r (Rn , Rq ). For example,
J 1 (Rn , Rq ) = Rn × Rq × Mq×n ,
where Mq×n = Rqn is the space of (q × n)-matrices.
Given a section f : Rn → Rn × Rq , the section
Jfr : Rn → J r (Rn , Rq ), x → Jfr (x),
of the trivial fibration
pr : J r (Rn , Rq ) = Rn × RqNr → Rn
is called the r-jet of f , or the r-jet extension of f .
Note that for any point z ∈ J r (Rn , Rq ) there exists a unique Rq -valued
polynomial f (x1 , . . . , xn ) of degree ≤ r such that Jfr (pr (z)) = z. Hence,
there exists a canonical trivialization
Jr
Rn × Pr (n, q) → J r (Rn , Rq )
of the fibration pr : J r (Rn , Rq ) → Rn , where Pr (n, q) is the space of all
polynomial maps Rn → Rq of degree ≤ r.
1.3. Invariant definition of jets 11
X ϕ
n q
R xR
p
V
Figure 1.1. The trivialization ϕ, the sections f , g, and their images
ϕ∗ f , ϕ∗ g.
It follows from the chain rule that the r-tangency condition does not depend
on the specific choice of the local trivialization. The r-tangency class of a
section f : Op v → X at a point v ∈ V is called the r-jet of f at v and
denoted by Jfr (v). Thus we have correctly defined the set X (r) of all r-
jets of sections V → X and the set-theoretic fibrations pr0 : X (r) → X and
pr = p ◦ pr0 : X (r) → V . Moreover, the extensions
ϕr : (pr0 )−1 (U ) → J r (Rn , Rq )
12 1. Jets and Holonomy
In the general case Px cannot be canonically chosen, and therefore the fibra-
tion X (1) → X does not have a canonical vector bundle structure, although
the affine structure does survive.
Note that the sections of the fibration p10 : X (1) → X may be identified with
connections on X. For example, there exists a natural inclusion X → X (1)
for X = V × W which corresponds to the standard flat connection on the
trivial bundle V × W → V .
Note that the C 0 -topology on Sec X (r) induces via J r the C r -topology on
Sec X.
q
R
n
R
Proof. Let us denote by T (X|U ) the vertical tangent bundle of the fibration
X|U , i.e., the bundle formed by tangent planes to the fibers of the fibration
X|U → U , and by Y the induced vector bundle F ∗ T (X|U ) over U . Let
U × Rq → Y be a trivialization of the bundle Y over the ball U . By choosing
a coordinate system in U we can identify Y (r) with J r (Rn , Rq ) and define a
map
J r : Rn × Pr (n, q) → J r (Rn , Rq ) = Y (r)
by the formula J r (u, f ) = (u, Jfr (u)). There exists a neighborhood Ω of the
section F |U in X|U and a fiberwise diffeomorphism g : Y → Ω. The required
embedding
PF : U × RK → X (r)
can now be defined as the composition
Jr g (r) i
Rn × Pr (n, q) → Y (r) → Ω(r) → X (r) ,
where g (r) : Y (r) → Ω(r) is the r-jet extension of g and i is the inclusion
Ω(r) → X (r) .
Thom Transversality
Theorem
• f (x) ∈
/ Σ or
• f (x) ∈ Σ and the tangent space Tf (x) W is generated by Tf (x) Σ and
df (Tx V ).
If codim Σ > dim V , then the second condition can never be satisfied, and
thus transversality just means that f (V ) ∩ Σ = ∅.
The implicit function theorem guarantees that if a map f : V → W is
transverse to Σ, then f −1 (Σ) is a submanifold of V of the same codimension
in V as that of Σ in W .
17
18 2. Thom Transversality Theorem
N
A map f : V → W is called transverse to a stratified set Σ = Sj ⊂ W if
0
it is transverse to each stratum Sj , j = 0, . . . , N . For a transverse map f
the preimage f −1 (Σ) of a stratified subset Σ ⊂ W is a stratified subset of V
of the same codimension.
i ⊂ Rq of radius ≤
The image of each ball Bi is contained in a ball B Δ
N.
i is bounded by
Hence the total volume of balls B
CN n Δq σn C
= → 0,
Nq N q−n N →∞
where σn is the volume of the unit ball in Rn . Therefore the image f (V )
can be covered in W by a set of an arbitrarily small measure.
We will illustrate the ideas involved in the proof of Lemma 2.3.3 in two
special cases and will leave the general case to the reader as an (advanced)
exercise; see [BM15].
Suppose that Σ is not transverse at z to the fiber X r (z). Then for x = pr (z)
any local section J r : Op x → X (r) , which is C 1 -close to a section Jfr :
f
Op x → X (r) with Jfr (x) = z, is transverse to Σ. Hence in this case Σ(1) ⊂
X (r+1) does not intersect a neighborhood of the fiber Xrr+1 (z). Suppose now
that Σ is transverse at z to the fiber X r (z) and set
S = max {s = 0, . . . , r | Σ is transverse at z to the fiber Xs−1
r
(z)},
r = X r . Then
where X−1
∂F
(z) = 0
∂yiα
for any i = 1, . . . , q when | α| > S, and there exist i ∈ {1, . . . , q} and a
with | α
multi-index α | = S such that
∂F
(z) = 0 where ȳ = yiα .
∂ ȳ
Since
∂ |α| f
i
Jfr (x) = x, (x) , 1 ≤ i ≤ q, 0 ≤ |α| ≤ r,
∂xα
the tangent space to a section Jfr at the point z is generated by the vectors
∂Jfr ∂ | α|+1 fi
vk = (x) = ek , (x) , k = 1, . . . , n,
∂xk ∂xk ∂xα
where e1 , . . . , en denotes the standard basis of Rn . Nontransversality of Jfr
to Σ = {F = 0} at the point z = Jfr (x) is thus expressed by the equations
∂F
q
∂F ∂ | α|+1 fi
0 = dF (vk ) = (z) + (z) (x), k = 1, . . . , n.
∂xk ∂yiα ∂xk ∂xα
i=1 |α|≤r
Note the triangular character of this system: In the sum only α with |α| ≤ S
α (z) = 0 for | α| > S and all i. For the same reason,
∂F
appears, because ∂y
i
the first equation contains no variables yiα with |α| > S. The remaining
equations can be viewed as an inhomogeneous system of n linear equations
in the variables yiβ with |β| = S + 1 with coefficients depending the on xj
and yiα with α ≤ S.
2.3. Thom Transversality Theorem 23
We claim that the rank of this linear system is equal to n. To see this,
note first that the matrix of this system consists of blocks corresponding to
i = 1, . . . , q. So it suffices to show that the block corresponding to i = i has
rank n, where i is the index from above for which there exist α with |
α| = S
such that ∂yα (z) = 0. Abbreviating A := ∂yα (z), this block corresponds
∂F α ∂F
i
i
to the linear transformation
{yβ }|β|=S+1 → { Aα yα+ek }1≤k≤n .
i i
|α|=S
Let B be the matrix of this transformation with coefficients bβk , |β| = |S| +1,
k = 1, . . . , n. Consider the homogeneous polynomial
Q(u) = Q(u1 , . . . , un ) = Aα uα , uα = uα1 1 · · · uαnn .
|α|=S
Note that Q is not the zero polynomial (because Aα = 0), and the coefficients
of the polynomials
Q(u)uk = Aα uα+ek = bβk uβ , k = 1, . . . , n,
|α|=S |β|=|S|+1
encode the rows of B. Suppose now that the rows of B are linearly depen-
dent, i.e., there exists (c1 , . . . , cn ) = 0 such that
0 = c1 Q(u)u1 + · · · + cn Q(u)un = (c1 u1 + · · · + cn un )Q(u).
But this is impossible because the ring of polynomials has no zero divisors.
Hence, rank B = n, and the claim is proved.
The claim together with the condition dF = 0 and the triangular character
of system (1) implies that system (1) has rank n + 1, and therefore Σ(1) has
codimension at least n + 1.
An alternative proof of Theorem 2.3.2 can be found in [Gr86].
Chapter 3
Holonomic
Approximation
25
26 3. Holonomic Approximation
In contrast, the following theorem says that we can always find a holonomic
approximation of a section F : V → X (r) near a slightly deformed subman-
⊂ V if the original submanifold A ⊂ V is of positive codimension.
ifold A
3.1.1. (Holonomic Approximation Theorem) Let A ⊂ V be a polyhe-
dron of positive codimension and let
F : Op A → X (r)
be a section. Then for arbitrarily small δ, ε > 0 there exists a δ-small (in
the C 0 -sense) diffeotopy
hτ : V → V, τ ∈ [0, 1],
and a holonomic section
F : Op h1 (A) → X (r)
such that
dist(F(v), F |Op h1 (A) (v)) < ε
for all v ∈ Op h1 (A) (see Figure 3.1).
Figure 3.1. The sets A, h1 (A), Op A (gray), and Op h1 (A) (deep gray).
The parametric and relative parametric versions of Theorem 3.1.1 are also
true:
3.1.2. (Parametric Holonomic Approximation Theorem) Let A ⊂ V
be a polyhedron of positive codimension, B ⊂ A a subpolyhedron and
Fz : Op A → X (r) , z ∈ Im
a family of sections parametrized by a cube I m = [0, 1]m . Suppose that the
sections Fz are holonomic for all z ∈ ∂I m and are holonomic over Op B ⊂ V
for all z ∈ I m . Then for arbitrarily small δ, ε > 0 there exists a family of
δ-small diffeotopies
hτz : V → V, τ ∈ [0, 1], z ∈ I m ,
and a family of holonomic sections
Fz : Op h1z (A) → X (r) , z ∈ I m ,
such that
• hτz (v) = v and Fz (v) = Fz (v) for (z, v) ∈ (I m × Op B) ∪ (∂I m ) × A;
• dist(Fz (v), Fz |Op h1z (A) (v)) < ε for all (z, v) such that v ∈ Op h1z (A).
Remark. Note that what we call here and below a relative parametric
version is relative with respect to (I m × B) ∪ (∂I m × A).
28 3. Holonomic Approximation
Theorem 3.2.1 will be deduced from the Gluing Lemma 3.4.1 which we for-
mulate below. We begin by introducing the notion of a holonomic extension.
Indeed, locally one can take as the section Fv : Op v → X (r) the Taylor
polynomial map corresponding to F (v) with respect to some local coordinate
system centered at v. The global result follows, using a partition of unity
and the contractibility of the space of holonomic extensions.
The above statement also holds parametrically for families of sections.
Remarks.
1. Given a fibration p : X → V and a submanifold A ⊂ V , consider the
preimage XA = p−1 (A) → A and its r-jet space (XA )(r) . On the other hand,
we have the preimage XA = (pr )−1 (A) under the map pr : X (r) → V and
(r)
(r)
a canonical projection π : XA → (XA )(r) . We call a section F : V → X (r)
holonomic along A if the section
F |A (r) π
FA : A −→ XA −→(XA )(r)
is holonomic.
2. Any fibered section F : Z × V → Z × X (r) can be extended (in many
ways) to a section F : Z × V → (Z × X)(r) . If F is fiberwise holonomic (i.e.,
F |z×V : z × V → z × X (r) is holonomic for all z), then any such extension F
is holonomic along z × V for every z. However, there is no guarantee that F
admits holonomic extensions along the fibers z × V ; see the exercises below.
On the other hand, if a section F is obtained from a fiberwise holonomic
section F by differentiating the section f = bs F : Z × V → Z × X with
respect to V and Z,1 then F will be holonomic and thus automatically
holonomically extendable along z × V .
Exercises.
(1)
1. Prove that any section F : A → XA which is holonomic along A admits
a holonomic extension along A.
1 We remind the reader (see Section 1.1) that we assume all the families to be smooth in the
(2)
2. Give an example of a section F : A → XA which is holonomic along A
but has no holonomic extension along A.
I k = I k × 0 ⊂ Rk × Rn−k = Rn , 1 ≤ k < n,
as the family
{y × I l }y∈I k−l , y = (x1 , . . . , xk−l )
F : Op I k → J r (Rn , Rq )
along the cubes {y×I l }y∈I k−l and try to glue these extensions in the direction
of the coordinate t = xk−l to obtain a family of holonomic extensions along
larger cubes
{z × I l+1 }z∈I k−l−1 , z = (x1 , . . . , xk−l−1 ).
We recommend that the reader keeps in mind the two simplest cases
n = 2, k = 1, l = 0 and n = 3, k = 2, l = 1
while reading the statements and proofs in this and the next section. We
will illustrate these cases with pictures.
Uδ (y) = Nδ (y × I l ), Vδ (y) = Nδ (y × ∂I l ),
Aδ (y) = Uδ1 (y) \ Vδ (y) ∩ (y × Rn−k+l ), where δ1 = θδ;
x2
x1
Figure 3.2. The sets Uδ (y) (grey) and Aδ (y) (black) in the case
n = 2, k = 1, l = 0.
x3
x2
x1
Figure 3.3. The sets Uδ (y), Vδ (y) (light grey) and Aδ (y) (dark
grey) in the case n = 3, k = 2, l = 1.
where
N
N
Ωz = Op Aδ (z, ci ) ∪ z × I l+1
\ Aδ (z, ci ),
i=1 i=1
2i−1
ci = 2N , i = 1, . . . , N , (see Figures 3.4 and 3.5) such that
• Fz = F on Ωz ∩ Op ∂I k ;
• Fz − F |Ω C 0 < ε.
z
N
Figure 3.4. The sets Aδ (ci ) ∪ I l+1 and Ω (gray) in the case
i=1
n = 2, k = 1, l = 0.
N
Figure 3.5. The set Aδ (ci ) ∪ I l+1 in the case n = 3, k = 2, l = 1.
i=1
3.5. Proof of Theorem 3.2.1 33
F l : Ul → J r (Rn , Rq )
y × I l ⊂ Rn , y ∈ I k−l .
such that
• hl+1 = Id and Fl+1 = F l on Op ∂I k ;
l+1 ) ⊂ U (F l );
• F l+1 (U
• F l+1 is holonomically extendable along the cubes hl+1 (z × I l+1 ),
z ∈ I k−l−1 .
1 ), F 1 =
and therefore we can straighten F1 assuming that U1 = (h1 )−1 (U
h∗1 (F1 ), and U (F 1 ) = h∗1 (U (F 0 )). The section
F 1 : U1 → J r (Rn , Rq )
k−1 ),
Uk−1 = h∗k−1 (U F k−1 = h∗k−1 (Fk−1 ),
U (F k−1 ) = h∗k−1 (U (F k−2 )) = (h1 ◦ · · · ◦ hk−1 )∗ (U (F 0 ))
k → J r (Rn , Rq ),
Fk : U k ⊂ Uk−1 ,
Op hk (I k ) ⊂ U Fk (U
k ) ⊂ U (F k−1 ).
h = h1 ◦ · · · ◦ hk , F = (h1 ◦ · · · ◦ hk−1 )∗ F k .
3.6. Proof of the Gluing Lemma 35
In what follows δ is fixed and we will write U (t), A(t), V (t), and W (t)
instead of Uδ (t), Aδ (t), Vδ (t), and Wδ (t), respectively.
Figure 3.8. The graphs of the sections Ft (left picture) and the
sections Ft and Ftσ (right picture) over I k ∩ U (t) (schematically)
in the case n = 2, k = 1, l = 0.
For i = 0, 1, . . . , N set
Bi = iσ × I k−1 .
For i = 1, . . . , N set
U i ∩ (ci × Rn−1 ) = U
= U − ∩ U
+
i i i
Figure 3.9. The set W (iσ) ⊂ U (iσ) (left picture, gray color) and
i , U
the sets U −, U
+ (right picture, gray color), U
, Ai in the case
i i i
n = 2, k = 1, l = 0.
The set Ui \ Ai lies in W (iσ) and therefore, according to the Interpolation
Property 3.6.1, the section Finew coincides with Fiold on Ui \ Ai . Hence the
formula
−,
Fiold (x), x ∈ U
F(x) = i
+,
Finew (x), x ∈ U i
N
i \ Ai ) (see Figure 3.10).
i = 1, . . . , N , defines a holonomic section over (U
i=1
We also have
old
Fi+1 = Finew
N
N
i \ Ai ) ∪
(U Op Bi = Ω
i=1 i=0
(see Figures 3.11 and 3.12). By Property 3.6.1(c) we have F − F |Ω C 0 <
ε.
N
i \ Ai ) ∪ Op Bi (gray color) in the
N
Figure 3.11. The set (U
i=1 i=0
case n = 2, k = 1, l = 0.
over
N
i \ Ai ) ∪ Op Bi in the
N
Figure 3.12. The section F (U
i=1 i=0
case n = 2, k = 1, l = 0.
Exercises.
Recall that for y = (z, t) ∈ I k−l−1 × I and δ > 0, we have the following
notation:
Uδ (z, t) = Nδ (z × t × I l ), Vδ (z, t) = Nδ (∂(z × t × I l )) ,
Aδ (z, t) = Uδ1 (z, t) \ Vδ (z, t) ∩ ((z, t) × Rn−k+l ),
where δ1 = θδ for a fixed positive θ < 1. We also set
Wδ (z, t) = Uδ (z, t) \ Uδ1 (z, t) ∪ Vδ (z, t).
As in the nonparametric case, we fix δ and write U (z, t), A(z, t), V (z, t),
and W (z, t) instead of Uδ (z, t), Aδ (z, t), Vδ (z, t), and Wδ (z, t), respectively.
τ |
W (t) = Fz,t |W (t) for all (z, t) ∈ I
(b) Fz,t k−l−1 × I and τ ∈ [0, σ];
τ −F
(c) Fz,t z,t C 0 < ε for all (z, t) ∈ I
k−l−1 × I and τ ∈ [0, σ];
τ |
Op (z×t×I l−1 ) = Fz,t+τ |Op (z×t×I l−1 ) for all (z, t) ∈ I
(d) Fz,t k−l−1 × I
U z,i ∩ (z × ci × Rn−1 ) = U
= U − ∩ U
+
z,i z,i z,i
where we keep using the notation
σ 2i − 1
ci = iσ − = , Δ−i = ((i − 1)σ, ci ], Δi = [ci , iσ).
+
2 2N
\A
The set Uz,i z,i lies in W (z, iσ) and therefore, according to the Interpo-
40 3. Holonomic Approximation
N
i = 1, . . . , N , defines a family of holonomic sections Fz over z,i \ Az,i ).
(U
i=1
We also have
old new
Fz,i+1 = Fz,i
over Op Bz,i for i = 0, . . . , N − 1, hence Fz extends continuously to
N
N
z,i \ Az,i ) ∪
(U Op Bz,i = Ωz .
i=1 i=0
• hτ = Id and F = F on Op ∂I k ;
• F − F |Op h1 (I k ) C 0 < ε.
such that
• hτ = Id and F = F on Op B;
• F − F |Op h1 (A) < ε.
F = J r (f) one can arrange in (b) that all derivatives of f are ε-close to the
∂ f r
corresponding components of F except ∂x r . Of course, closeness of the
n
remaining derivative in (a) can be achieved only on Op h1 (I n−1 ).
Chapter 4
Applications
The first two examples below illustrate Gromov’s homotopy principle for
open Diff V -invariant differential relations over open manifolds which we
formulate and prove later in Part 2 (see Section 8.3).
45
46 4. Applications
and Ut such that Ut = V and Ft = Ft for t ∈ Op ∂I. For sufficiently small
ε the functions ft do not have critical points on Ut because
grad ft ≈ eiπt grad f0 = 0 near S 1 .
Let {ϕτt : V → V, τ ∈ [0, 1]}t∈[0,1] be a family of isotopies such that for each
t ∈ [0, 1] the isotopy ϕτt , τ ∈ [0, 1], shrinks V into the neighborhood Ut and
ϕτ0 = ϕτ1 = IdV . Then the family gt = ft ◦ ϕ1t consists of functions without
critical points on V and interpolates between f0 and f1 .
Exercise. Try to construct the required family explicitly.
Remarks.
1. This counter-intuitive statement is a corollary of S. Smale’s celebrated
theorem [Sm58]. Equivalently it can be formulated by saying that the 2-
sphere in R3 can be turned inside out via a regular homotopy, i.e., via a
family of smooth but possibly self-intersecting surfaces. One can follow the
proof below to actually construct this eversion. However, there are much
more efficient ways to do that. The explicit process of the eversion became
the subject of numerous publications, videos, and computer programs.
2. The map
inv ◦ iV : V → R3 ,
which also everts V inside out, is not regularly homotopic to the inclusion
iV : V → R3 because these maps induce on V the opposite orientations.
Proof. Let f0 = iV and f1 = r ◦ inv ◦ iV . Both df0 and df1 have rank 3 and
induce the same orientation on V . Hence the sections
1 In fact, the homotopy between df and df can be easily constructed explicitly without
0 1
referring to the computation of π2 (SO(3)).
48 4. Applications
Proof. Let us first assume that the homotopy Gt is small in the following
sense: the angle between Gt1 (v) and Gt2 (v) is less than π4 for all v ∈ V and
t1 , t2 ∈ I.
Let X be a tubular neighborhood of V in W and π : X → V the normal
projection. Let us recall (see Section 1.4) that the space X (1) of 1-jets of
sections V → X can be interpreted as the space of n-planes tangent to X
which are nonvertical, i.e., transverse to the fibers of the fibration π : X →
V . The assumption on the angles implies that Gt (v) is nonvertical for all
t, v. Hence the inclusion f0 : V → X together with the tangential homotopy
Gt : V → Grn W can be viewed as a homotopy of sections Ft : V → X (1) ,
t ∈ I.
For arbitrarily small ε and δ one can construct, using Theorem 3.1.1, a
holonomic ε -approximation F of F1 over Op h1 (K), where {hτ : V → V }τ ∈I
4.3. Approximate integration of tangential homotopies 49
K0 π0 (K1) π 0 π1(K2)
V0
π 0(V1 )
Remarks.
1. Theorem 4.4.1 belongs to mathematical folklore (see also [Gr86, p. 37,
Exercise (b)]).
2. Using this construction, it is easy to prove that every open manifold V
admits a smooth function without critical points (see [Gr86, p.37, Exercise
(c)]). Indeed, it suffices to start with a function whose critical points do not
belong to the (n − 1)-skeleton of the fixed triangulation.
disjoint finite trees each of which has just one vertex in common with the
ray. Every connected infinite locally finite graph contains a ray. (Exercise:
Prove this.) Hence, it is a special tree if and only if it is irreducible.
The idea of the proof is to consider the graph G whose vertices are the
barycentres of n-simplices and whose edges connect the barycentres of neigh-
boring n-simplices (i.e., G is the 1-skeleton of the cell complex dual to the
fixed triangulation of V ), enumerate the edges of the graph G, and define
the sequence of graphs G = G0 , G1 , . . . as follows. If Gr is irreducible, then
Gr+1 = Gr ; otherwise Gr+1 = Gr \ Int(e) where e is the first edge of Gr
such that Gr+1 , thus defined, has no compact component. As a result, the
original graph G will turn, without losing a single vertex, into a finite or
countable set of disjoint special trees G ⊂ G. Then one can check that
V0 = V n−1 \ Int(L) is the required core, where V n−1 ⊂ V is the (n − 1)-
skeleton and L ⊂ V n−1 consists of all (n − 1)-simplices that intersect G .
For A-directed embeddings Gromov proved in [Gr86] via his convex inte-
gration technique the following theorem.
4.5.1. (A-directed embeddings of open manifolds) Let V be an open
n-manifold and A ⊂ Grn W an open subset. If f0 : V → W is an embedding
whose tangential lift
G0 = Gdf0 : V → Grn W
is homotopic to a map
G1 : V → A ⊂ Grn W,
then f0 can be isotoped to an A-directed embedding f1 : V → W . More-
over, given a core K ⊂ V of the manifold V , the isotopy ft can be chosen
arbitrarily C 0 -close to f0 on Op K.
Remarks.
1. Gromov’s proof is discussed in detail in [Sp00]. C. Rourke and B. Sander-
son gave two independent proofs of this theorem in [RS97] and [RS00].
54 4. Applications
2. The parametric version of Theorem 4.5.1 is also true. The relative version
for (V, V0 ) is false in general, but it is true if each connected component of
V \V0 has an exit to ∞ other than V0 , i.e., when Int V \Op V0 has no compact
connected components.
Proof. Theorem 4.5.1 follows almost immediately from Theorem 4.3.1. In-
deed, let K ⊂ V be a core of V , i.e., a codimension ≥ 1 subcomplex in V
such that V can be compressed into an arbitrarily small neighborhood of
K by an isotopy fixed on K. Using Theorem 4.3.1 we can approximate Gt
near K = h1 (K) by an isotopy ft : Op V K → W . For a sufficiently close
approximation the image Gdf1 (Op V K) belongs to A. In order to construct
the required isotopy ft , we first compress V into Op V h1 (K) and then apply
ft .
Remark. The theorem is valid also in the case when the homotopy
Gt covers an arbitrary isotopy gt : V → W instead of the constant isotopy
gt ≡ f0 . Indeed, one can apply the previous proof to the pull-back homotopy
(dĝt )−1 ◦ Gt and the pull-back set A = ĝ ∗ (A), where ĝt : W → W is a
1
diffeotopy which extends the isotopy gt : V → W underlying Gt .
The following version of Theorem 4.5.1 will be useful for applications which
we consider in Section 20.1.
GF1 (V ) ⊂ A.
Example. Suppose that n < m < q. Let the set A0 ⊂ Grn Rq0 consist of
all n-planes intersecting trivially the subspace L = 0 × Rq−m ⊂ Rq and let
A = Rq × A0 ⊂ Rq × Grn Rq0 = Grn Rq .
Then A is m-complete with A = Rq × A0 , where A0 consists of all m-planes
η ⊂ Rq such that L ∩ η = {0}.
4.6.1. (A-directed embeddings of closed manifolds) Let A ⊂ Grn W
be an open set which is m-complete for some m, n < m < q. Then the
statement of Theorem 4.5.1 holds for any closed n-dimensional manifold
V.
Remark. The relative and the parametric versions of Theorem 4.6.2 are
also true.
= h1 (K) by a closed
t ∈ [0, 1], such that ω can be C 0 -approximated near K
p-form ω ∈ a.
Indeed, one can take a closed form Ω ∈ a, apply the previous proposition to
the form θ = ω − Ω, and then take ω = θ + Ω.
The parametric versions of Propositions 4.7.1 and 4.7.2 are also valid. In
particular,
4.7.3. (Parametric approximation by exact forms) Let K ⊂ V be
a polyhedron of codimension ≥ 1 and {ωu }u∈Dk a family of p-forms such
that {ωu = dαu }u∈∂Dk . Then there exists a family of arbitrarily C 0 -small
diffeotopies
{hτu : V → V, τ ∈ [0, 1]}u∈Dk , where {hτu = IdV , τ ∈ [0, 1]}u∈∂Dk
such that {ωu }u∈Dk can be C 0 -approximated near K u = h1u (K) by a family
of exact p-forms {ωu = dαu }u∈Dk such that {αu = αu }u∈∂Dk . Moreover,
given a family of (p − 1)-forms {αu }u∈Dk on V , which extends the family
{αu }u∈∂Dk , one can choose the family {
αu }u∈Dk to be C 0 -close to {αu }u∈Dk
near Ku.
Multivalued Holonomic
Approximation
5.1. Multifolds
A. Non-Hausdorff manifolds. So far in this book we assumed that all
manifolds satisfy the Hausdorff condition: any two distinct points can be
separated by disjoint open neighborhoods. As we argue in this chapter,
generalizing some of the results to the non-Hausdorff case allows us to sim-
plify proofs in the Hausdorff case. We note that most of our results about
maps between smooth manifolds (e.g., Smale–Hirsch immersion theory) have
straightforward generalizations to the case when the target manifold is non-
Hausdorff (the situation is much more subtle when the source manifold is
non-Hausdorff).
59
60 5. Multivalued Holonomic Approximation
The non-Hausdorff manifolds V that appear in this book have quite mild
loci NH(V ) of non-Hausdorff points, i.e., points x ∈ V for which there
exists a point x ∈ V , x = x, such that x and x do not have disjoint
neighborhoods. In particular, NH(V ) will always be a Hausdorff stratified
subset of V of positive codimension, and for each x ∈ NH(V ) there will be
only finitely many points x which cannot be separated from x by disjoint
neighborhoods. A prototypical example of such a non-Hausdorff manifold is
given by two open intervals glued along open subintervals.
b1 b 2 bN
a1 a2 aN
0 1
C. The multifolded
non-Hausdorff cube I n . For a small positive num-
ber ρ ∈ 0, 2 denote I1−ρ
1 k := [ρ, 1 − ρ]k . Take the product I n−1 × I and
for every p ∈ I n−1 \ I1−ρ
n−1
stick together the non-Hausdorff interval p × I
into the usual interval p × I, i.e., identify points (p, x), (p, x ) ∈ p × I if
p ∈ I n−1 \ I1−ρ
n−1
and π(x) = π(x ). We will call the resulting non-Hausdorff
5.1. Multifolds 61
π −1 (x × I n−k−1 × I) ⊂ I n
is the standard multifolded cube I n−k , while for x ∈ I k \ I1−ρ
k the preimage
−1
π (x × I n−k−1 × I) is the standard cube I n−k .
π
π
ϕj
In /V
π h
π
V
h /V
?X
f
p
π
V /V
commutes. Alternatively, a multisection can be viewed as an ordinary sec-
tion of the pull-back bundle π ∗ X → V . If the base V is equipped with
a foliation F , then we call a multisection V → X foliated if the multifold
π : V → V is compatible with the foliation F .
Given a multifold π : V → V , any section f : V → X yields a multisection
f ∧ := f ◦ π : V → V → X.
We will say that a multisection f : V → X coincides with a section f :
V → X over a subset A ⊂ V if f = f ∧ over π −1 (A) ⊂ V . Similarly, a
section f : V → X and a multisection f : V → X are called C 0 -close if the
multisections f ∧ and f are C 0 -close.
A multisection F : V → X (r) is called holonomic if there exists a multisec-
tion f : V → X such that F = J r. Given a foliation F on V , a foliated
f
(r)
multisection F : V → XFis called leafwise holonomic if there exists a
multisection f : V → X such that F = J r .
f |F
5.2. Holonomic approximation by multivalued sections 63
layers
FAj := Φcj |h1 (I n−1 ×Aj ) , cj = (aj + bj+1 )/2, j = 0, . . . , N
and appropriately adjusted inverse layers
FBj := Φdj |h1 (I n−1 ×Bj ) , dj = (aj + bj )/2, j = 1, . . . , N
as depicted in Figure 5.3 in the one-dimensional case. Note that the number
of layers (i.e., partial holonomic sections) in the construction depends on
the desired degree of approximation.
The proof of Theorem 5.2.3 repeats the proof of Theorem 5.2.2, taking into
account that the diffeotopies hτt preserve the foliation F . As a consequence,
we obtain
5.2.4. (Foliated Multivalued Holonomic Approximation Theorem)
Suppose that that the base V of a fibration p : X → V is endowed with a
(r)
foliation F . Let A ⊂ V be a closed subset and F : V → XF a section of
(r)
the leafwise r-jet bundle XF over V such that F |Op A is leafwise holonomic.
Then there exists a multifold π : V → V compatible with the foliation F and
(r)
a leafwise holonomic multisection F : V → XF such that F is C 0 -close to
F and F = F over Op A.
Proof. In [Th74] Thurston proved (see the jiggling lemma in [Th74]) that
for any foliation F on V there exists a triangulation of V such that:
(a) each l-simplex Δl is transverse to the foliation F ;
(b) for l > s = codim F the foliation F ∩ Int Δl is equivalent to the
restriction of the standard foliation on Rl (generated by the pro-
jection Rl → Rs ) to the open ball Int D l .
Using (a) and the Foliated Holonomic Approximation Theorem 3.8.2, we
can construct a leafwise diffeotopy hτ and a leafwise holonomic section F in
a neighborhood of the image of (n − 1)-skeleton of Thurston’s triangulation.
Note that properties (a) and (b) remain true after the perturbation of the
triangulation. Hence, we can apply Theorem 5.2.3 to the n-simplices of the
perturbed triangulation.
Remark. The existence of a triangulation with properties (a) and (b)
seems obvious at first glance, but the naive idea of constructing a sequence
66 5. Multivalued Holonomic Approximation
Differential Relations
and Gromov’s
h-principle
Chapter 6
Differential Relations
69
70 6. Differential Relations
Exercises.
An open differential relation arises, for example, when one tries to find ε-
approximate solutions of a closed differential relation R. In this case our
open relation Rε is the ε-neighborhood of R ⊂ X (r) .
Homotopy Principle
Exercises.
75
76 7. Homotopy Principle
Hints.
(a) Let f0 , f1 : S 1 → R2 be two immersions and Fτ = (fτ , vτ ) a homotopy
of formal immersions which connects (f0 , f˙0 ) and (f1 , f˙1 ), i.e., vτ (t) = 0 for
all τ, t. Consider some extensions
f¯0 , f¯1 : S 1 × (−ε, ε) → R2
of f0 , f1 and an extension
F̄τ : S 1 × (−ε, ε) → J 1 (S 1 × (−ε, ε), R2 )
of Fτ and apply the Parametric Holonomic Approximation Theorem 3.1.2
(compare Section 4.2).
7.1. Philosophy of the h-principle 77
(b) (Whitney’s proof) We may assume from the very beginning that the
lengths of the curves f0 and f1 are equal to 1 and |vτ (t)| = 1 for all t ∈
[0, 1]/{0, 1} S 1 and τ ∈ [0, 1]. Consider the family of immersions
gτ : [0, 1] → R2 , τ ∈ [0, 1],
given by
t
gτ (t) = fτ (0) + vτ (σ)dσ, t ∈ [0, 1].
0
t
Adjust the family of vector fields vτ = 0 to guarantee that 0 vτ (σ)dσ = 0,
and thus get closed regular curves gτ for all τ .
Remark. S. Smale in [Sm59] generalized Whitney’s theorem to the case
of immersions S n → Rq , n < q. Smale’s covering homotopy method was
different from Whitney’s method. In fact, Whitney’s method is closer, in
some sense, to the idea of convex integration; see Part V of the book.
Exercise. Prove the h-principle for the differential equation y = y and
disprove it for the differential equation y = y 2 (in both cases we consider
global solutions). Disprove the h-principle in both cases for the extension
problem with A = D 1 and B = ∂D 1 .
The examples in the last exercise are trivial and, of course, not typical of
situations where the h-principle is useful. In fact, the h-principle is rather
useless in the classical theory of (ordinary or partial) differential equations
because there, as a rule, it fails or holds for some trivial (or at least well
known) reasons, as in the above examples.
Using the language of homotopy groups, we can say that the parametric
h-principle for a differential relation R means that
πk (Sec R, Hol R) = 0, k = 0, 1, . . . .
In particular, the map Hol R → Sec R induces an isomorphism
π0 (Hol R) → π0 (Sec R).
The epimorphism on π0 means that any formal solution is homotopic (in
Sec R) to a genuine solution, and the monomorphism on π0 means that two
genuine solutions which are homotopic in Sec R are also homotopic in Hol R.
p p
hV
V / V
81
82 8. Open Diff V -invariant Differential Relations
we have (h ◦ h)∗ = h∗ ◦ h∗ , and for any point v ∈ V the germ of h∗ along
p−1 (v) depends only on the germ of h at v. The latter property allows us to
extend the lifting property to local diffeomorphisms (i.e., equidimensional
immersions) U → U ; we will refer to their lifts as fiberwise isomorphisms.
Examples.
1. The trivial bundle X = V × W → V is natural. Here h∗ = h × idW .
2. The tangent bundle T V → V is natural. The corresponding lift h∗ here
is provided by the differential h∗ = dh : T U → T U of a diffeomorphism
h : U → U for U, U ⊂ V .
3. The cotangent bundle T ∗ V → V is natural. The corresponding lift h∗
here is provided by the inverse h∗ = (dh∗ )−1 : T ∗ U → T ∗ U of the codif-
ferential dh∗ : T ∗ U → T ∗ U of a diffeomorphism h : U → U . A similar
construction defines a natural bundle structure on X = Λp T ∗ V , the p-th
exterior power of the cotangent bundle T ∗ V .
4. If X → V is natural, then X (r) → V is also a natural bundle. The
(r)
corresponding lift h∗ : (X|U )(r) → (X|U )(r) is given by
(r)
h∗ (s) = Jhr∗ ◦s̄◦h−1 (h(v)),
where s ∈ X (r) , v = pr (s) ∈ V , and s̄ : Op v → X is a local section near v
which represents the r-jet s, i.e., Js̄r (v) = s.
B. Universal natural principal bundle. It turns out that for any given
n there is a universal principal bundle P D (V ) → V over any n-dimensional
manifold V , such that any natural bundle over V is associated to it. Denote
by D0 (n) the group of germs of diffeomorphisms δ : (Rn , 0) → (Rn , 0) at 0.
8.1.1. (Universal natural principal bundle) For any dimension n and
any n-dimensional manifold V there is a canonical natural principal D0 (n)-
bundle P D (V ) such that all natural bundles over V are associated with
P D (V ) for some representation of D0 (n) in the group of automorphisms
of their standard fibers. Moreover, any local diffeomorphism h : V → V
lifts to a fiberwise isomorphism
P D (h) := h∗ : P D (V ) → P D (V ),
such that P D (h ◦ h) = P D (h ) ◦ P D (h) for any two local diffeomorphisms
h
V −→ V −→ V .
h
8.1. Natural fibrations 83
(Op Rn 0, 0) → (Op V v, v)
According to the the finiteness theorem (Palais and Terng, [PT77]) the
converse is also true: the structure group of a natural fiber bundle X → V
always coincides with Lr (n) for some r = r(X), i.e., for any v ∈ V the
actions of two germs
f1 , f2 : Op v → Op v , v = f1 (v) = f2 (v),
8.3. Local and global h-principle for open Diff V -invariant relations 85
coincide if Jfr1 (v) = Jfr2 (v). Therefore (see [PT77], [KMS93]), all natural
bundles over V with a fiber W are in a bijective correspondence with smooth
left actions of the jet groups Lr (n), r = 0, 1, . . . on W .
q
In fact, r max n−1 , nq + 1 for n > 1, and r ≤ 2q + 1 for n = 1, where q
is the dimension of the fiber; see [Za87], [ET79].
Examples. The relations Rimm and Rsubm are Diff V -invariant. For any
A ⊂ Grn W the relation RA which defines A-directed maps V → W (see
4.5) is Diff V -invariant.
Proof. We first consider the nonparametric case, i.e., we will prove that
π0 (Sec Op A R, Hol Op A R) = 0.
We need to show that, given a section F ∈ Sec Op A R, there exists a section
G ∈ Hol Op A R which is homotopic in Sec Op A R to F . According to Theorem
3.1.1, there exists an arbitrarily C 0 -small diffeotopy hτ : V → V, τ ∈ [0, 1],
and a section F ∈ Hol Op h(A) R such that F is C 0 -close to F over Op h(A). In
particular, we may assume that the linear homotopy Ft between F |Op h1 (A) =
F 0 and F = F1 lies in R. The desired section G ∈ Hol Op A R can then be
defined by the formula G = H 1 (F ) where
H τ = ((hτ )r∗ )−1 = ((hτ )−1 )r∗ : X (r) → X (r)
is the induced action of the straightening diffeotopy (hτ )−1 on the natural
fibration X (r) → V . The required homotopy in R, which connects F and
G over a neighborhood of A, consists of two stages: first H τ (F ), τ ∈ [0, 1],
and then H 1 (F t ), t ∈ [0, 1].
For the general parametric, relative, and relative parametric cases we need
to use the corresponding parametric/relative versions of the Holonomic Ap-
proximation Theorem 3.1.1. However, the proof for these cases differs only
in notation. Let us consider, for example, the parametric case.
Besides the applications listed in Theorem 8.3.3, the following special case
of 8.3.3 will be important for us.
8.3.4. (Maps tranverse to a distribution) Let τ ⊂ T W be a tangent
distribution and R ⊂ J 1 (V, W ) the differential relation consisting of homo-
morphisms T V → T W transverse to τ . The relation R is DiffV -invariant,
and thus the h-principle holds for R (i.e., for maps V → W transverse to
τ ) if V is open.
Applications to Closed
Manifolds
However, in the case n < q one gets the C 0 -dense parametric h-principle via
the microextension trick.
89
90 9. Applications to Closed Manifolds
2. Note that the microextension trick does not work for submersions because
the restriction of a submersion is not, in general, a submersion. In fact, the
h-principle is false for submersions of closed manifolds.
9.3. Sections transverse to a distribution 91
The proof follows from the Holonomic Approximation Theorem 3.1.1 accord-
ing to the same scheme as the proof of Theorem 8.3.1, with the additional
observation that the perturbation h implied by Theorem 3.1.1 has the special
form required in Proposition 9.3.1.
Remarks.
1. Here the respective differential relation R is not Diff V -invariant.
92 9. Applications to Closed Manifolds
2. The condition dim τ + dim V < dim X is crucial and in general cannot
be weakened, even for open V (because it would imply the corresponding
statement for any closed submanifold of V ). See, however, Theorem 22.2.1.
3. For a trivial fibration V × W → V and τ equal to the vertical tangent
bundle of the fibration V × W → W , Theorem 9.3.2 is just Hirsch’s theorem
about immersions V → W , dim V < dim W (see Theorem 9.2.1 above).
The microextension trick that we are going to apply below differs from the
one we have used in the proof of Theorem 9.2.1: now we will extend both
the source and the target manifolds.
In particular, we have
9.3.4. (h-principle for τ -immersions) Let τ be a subbundle of T V . If
dim τ < dim W , then the h-principle holds for τ -immersions f : (V, τ ) →
W , i.e., maps f : V → W with rank(df |τ ) = dim τ .
Foliations
95
96 10. Foliations
Examples.
10.1. Definition and examples 97
Exercises.
1. Let F be a one-dimensional foliation on R2 which is vertical for x ≤ 0
and consists of the graphs of the functions y = f (x) + C, C ∈ R, for x > 0.
Show that F is C ∞,0 -smooth for f (x) = ln x, C ∞,1 -smooth for f (x) = 1/x,
and C ∞,∞ = C ∞ -smooth for f (x) = exp(1/x).
2. Show that the Reeb foliation Rβ,f defined above is C ∞ -smooth. Verify
that if we modify condition (b) of Example 3 above to
Remarks.
1. Of course, integrable homotopy is the strongest of the three equivalences
which implies the other two. On a closed manifold V , it is an overly strong
equivalence: any two integrably homotopic foliations are isotopic ([Mi70]).
2. The two one-dimensional foliations on the torus T 2 = S 1 × S 1 formed
by the parallels and meridians are homotopic through the family of winding
foliations, but they are not integrably homotopic. At the same time, these
foliations are concordant. (As an exercise, construct the concordance!)
3. In his remarkable note [Thu72] Thurston constructed a family (= homo-
topy) of foliations on S 3 which are pairwise nonconcordant. Therefore,
homotopy does not imply concordance.
4. Conversely, strong concordance implies homotopy for foliations of codi-
mension > 2, see [EM98]. Here, two foliations F0 and F1 of the same
codimension q on a manifold V are called strongly concordant if there exists
a concordance F such that the inclusion i : ν(F ) → T (V × I) is homotopic
through a family of bundle monomorphisms it : ν(F ) → T (V × I) fixed over
V × 0 ∪ V × 1 to a monomorphism ν(F ) → T V × I → T (V × I).
1 Although the term integrable homotopy is universally accepted in the literature on foliations,
it should not mistaken with an integrable homotopy of distributions, which is just a homotopy of
foliations.
10.2. Haefliger structures and h-principle for foliations 99
Another extreme class of Haefliger structures are the flat ones. A Haefliger
structure (ν, H) is called flat if the zero section is one of the leaves of H,
see Figure 10.3. In this case Σ(H) = V . Note that the bundle ν admits
a flat Haefliger structure if and only if its structure group GL(q) can be
reduced to a discrete group in the larger group D0 (q) of germs at the origin
of diffeomorphisms (Rq , 0) → (Rq , 0).
induced from the structure HU on BΓq , and the integrable homotopy classes
of these structures are in one-to-one correspondence with the homotopy
classes of maps V → BΓq . Associating to each Haefliger structure (ν, H)
the bundle ν gives rise to a canonical fibration BΓq → BOq , where BOq is
the classifying space of real rank q vector bundles, see [Ha70b].
Proof. The relative fibered h-principle is a special case of the relative foli-
ated h-principle when the foliation is given by the fibers of a fibration. In
turn, the relative parametric h-principle is the specialization of the relative
fibered h-principle to the case of a trivial fibration over a disk D k . Hence,
we only need to deduce the foliated h-principle from the relative parametric
one.
Let V be an (n + k)-dimensional manifold endowed with a n-dimensional
foliation F , and A ⊂ V a closed subset. Consider the natural bundle X → V
(r)
associated to the action α and the differential relation R = R(V, F ) ⊂ XF
associated to R. Let F : V → R = R(V, F ) be a formal solution which is
leafwise holonomic on a neighborhood Ω ⊃ A. We cover V by coordinate
charts (Ui , Φi ), i = 1, 2, . . . , where the closures U i are compact and Φi :
Ui → Rk+n are embeddings which send the foliations F ∩ Ui to the foliations
by the fibers of the projection πk : Rk+n → Rk . Choose a covering V = Ui
104 10. Foliations
by smaller open sets Ui with U i Ui and denote
V1 := Φ1 (U1 ), V 1 := Φ1 (U 1 ), A1 := Φ1 (A ∩ U1 ), Ω1 := Φ1 (Ω ∩ U1 ).
Let H1 denote the foliation on V1 by the fibers of the projection πk . Choose
a partition of Rk+n by sufficiently small (k + n)-cubes
Q = ε(a + I k+n ), a ∈ Zk+n ,
such that there exist finitely many cubes Q1 , . . . , QN1 , QN1 +1 , . . . , QN1 +N2
for which
N1
N1+N2
A1 ⊂ Int(Q1 := Qj ) ⊂ Ω1 and V 1 ⊂ Int(Q2 := Qj ) ⊂ V1 .
1 1
On each cube Qj (and similarly on each of its subcubes) the leafwise differ-
ential relation R = R(V1 , H1 ) can be viewed as a differential relation in the
last n coordinates, regarding the first k coordinates as parameters. There-
fore, we can apply the relative parametric h-principle to successively deform
the push-forward formal solution F1 = (Φ1 )∗ F of the differential relation
R(V1 , H1 ) to make it holonomic: First, we make it holonomic near the ver-
tices of cubes which are in Q2 \ Q1 . This can be done via a homotopy fixed
on Op Q1 . Next, by a homotopy fixed on a neighborhood of Q1 ∪ Skel0 (Q2 ),
we extend the deformation to make F1 holonomic on neighborhoods of the 1-
cubes in Q2 \ Q1 . Here we denote by Skelj (Q2 ) the j-dimensional skeleton of
Q2 . Continuing the process we construct a homotopy F1t : V1 → R(V1 , H1 )
which is fixed on Op A1 , connects F10 = F1 with F11 , and is such that F11 |Op Q2
is holonomic. Consider the pull-back homotopy
F1t := Φ∗1 F1t : Op U 1 → R(V, F )|Op U ,
1
As a corollary, we obtain
10.3.2. (h-principle for leafwise immersions, Gromov [Gr69]) Let
V be a manifold with an n-dimensional foliation F , and W a manifold
of dimension q > n. Then the h-principle holds for leafwise immersions
(V, F ) → W (i.e., maps V → W which are immersions on leaves of F ).
In particular, given any nowhere vanishing vector field X on a manifold V ,
there exists a map f : V → R2 such that df (X) = 0.
Singularities and
Wrinkling
Chapter 11
Singularities
of Smooth Maps
The local theory of singularities of smooth maps is a large and rich subject.
However, rather than cultivating the beautiful germs, our main efforts will
go into the development of methods of how to get rid of them. We review
in this chapter the local theory of only the simplest singularities which will
be important for our purposes, and refer the reader to the book [AGZV85]
for a more comprehensive study of the local theory of singularities.
109
110 11. Singularities of smooth maps
Σk,j (f ) := Σj (f |Σk (f ) ).
The condition that p ∈ Σk,j (f ) can be expressed in terms of the 2-jet of the
map f at the point p. The corresponding singularities Σk,j ⊂ J 2 (V, W ) were
explicitly defined by Boardman in [Boa67].
Examples.
1. For = 1 and i1 = k, Boardman’s formula recovers our earlier formula
codim Σk = k(|n − q| + k): If q ≥ n, then k = k and Boardman’s formula
gives (k + q − n)μ(k) = (k + |q − n|)k. If q ≤ n, then k = k + n − q, and we
get (k + q − n)μ(k) = k(k + n − q) = k(k + |n − q|).
2. If all coranks are equal to 1, then abbreviating 1 := (1, . . . , 1), we get
n−q+ , n ≥ q,
codim Σ1 =
(q − n + 1) , q > n.
Indeed, if q ≥ n, then 1 = 1 and μ(1 ) = yields codim Σ1 = (q − n + 1) .
If q ≤ n, then 1 = 1 + n − q and μ(j, 1−1 ) = j yields
codim Σ1 = μ(n − q + 1, 1−1 ) − (n − q)μ(1−1 )
= (n − q + 1) − (n − q)( − 1) = n − q + .
Exercise. Show that for q > 3n−12 a generic map f : V → W between
manifolds of dimension n and q has no ΣI -singular points except Σ1,0 , and
for n ≥ q = 2 a generic map has only Σ1,0 and Σ1,1 singularities.
x
x=z2
x=z2
z
z y
y y
x
3 3
x=z +3yz x=z +3yz
z
y
y y
The number s is called the (Morse) index of the critical point of ϕ. There
are many proofs of this classical result. We will use Moser’s homotopical
method (see [Mo69]), which will also be useful for several other results in
this book.
Proof. We have ϕ(x) = Q(x) + ψ(x), where ψ(x) = δ(x)x2 for a smooth
function δ : Op 0 → R which vanishes at the origin and Q is a nondegenerate
quadratic form. Consider the family of functions ϕt (x) = Q(x) + tψ(x),
t ∈ [0, 1]. Let us look for an isotopy ht : Op 0 → Op 0 with h0 = Id such
that ht (0) = 0 and ϕt ◦ ht = ϕ0 = Q for all t ∈ [0, 1]. Differentiating this
equation, we get
dϕt
(2) 0 = dϕt (y) · Xt (y) + (y) = ∇ϕt (y), Xt (y) + ψ(y),
dt
where y = ht (x) and Xt (y) = dh dt (x) is the time-dependent vector field
t
generating the isotopy ht . We look for the vector field Xt in the form
Xt = gt ∇ϕt for a function gt : Op 0 → R. Then (2) becomes
∇ϕt (y)2 gt (y) = −ψ(y).
By assumption we have ψ(y) = δ(y)y2 , and ∇ϕt (y)2 = γt (y)y2 for a
positive smooth function γt on Op 0. So the equation is solved by gt = − γδt ,
and thus Xt = − γδt ∇ϕt . Note that Xt (0) = 0 for all t ∈ [0, 1]. Therefore,
we can integrate the vector field Xt on a sufficiently small neighborhood of
the origin to obtain the desired isotopy ht : Op Rn 0 → Op Rn 0, t ∈ [0, 1],
with h0 = Id and ϕt ◦ ht = Q. It remains to diagonalize Q by a linear
transformation.
One of the advantages of the above proof is that it works without any changes
in parametric form. In particular, we get
114 11. Singularities of smooth maps
In other words, for n ≥ q a map near its Σ1 -singular point looks like a
(q − 1)-parametric family of functions Rn−q+1 → R, and for q ≥ n a map
near its Σ1 -singular point looks like an (n − 1)-parametric family of paths
R → Rq−n+1 . In the former case the function for y = 0 has a critical point
at the origin, and in the latter case the path for y = 0 has velocity 0 at the
origin. We will refer to (3) as a fibered form of a map near its Σ1 -singularity.
As another useful application of the fibered form (3), let us consider the
equidimensional case n = q.
11.4.2. (Equations for Σ1,...,1 (h) in the case n = q) Let n = q and h
have the form (3). Then the submanifold ΣI (h) for I = (1, . . . , 1, 0) is given
j
by the equations
∂hy (x) ∂ j hy (x) ∂ j+1 hy (x)
= 0, . . . , = 0, = 0.
∂x ∂xj ∂xj+1
11.4. Fibered character of Σ1 -singularities 117
follows by induction on j.
∂ 3h ∂ 2h
(0, 0)
= 0 and (0, 0) = 0.
∂3x ∂y∂x
Examples.
1. Fix integers r ≥ 1 and s ∈ [0, n − 1], and for any d ≥ r − 1 consider the d-
parametric family of functions hn,r,d,s
t : Rn−1 × R → R, t = (t1 , . . . , td ) ∈ Rd ,
given by the formula
r−1
(5) hn,r,d,s
t (x, z) =z r+1
+ tj z j + Qn−1,s (x)
j=1
∂ i hn,r,d,s ∂hn,r,d,s
t
= 0, i = 1, . . . , j, t
= 0, m = 1, . . . , n − 1.
∂z i ∂xm
Explicitly, Σ1r (H n,r,d.s ) = {x = 0, t1 = · · · = tr−1 = 0} and for j < r the
Σ1j -singular locus is given by the equations
x = 0,
t1 = − (r + 1)z r + (r − 1)tr−1 z r−2 + · · · + 2t2 z ,
! "
r(r + 1) r−1 (r − 1)(r − 2)
(6) t2 = − z + tr−1 z r−3
+ · · · + 3t3 z ,
2 2
...
!! " ! " ! " "
r + 1 r−j+1 r−1 j+1
tj = − z + tr−1 z r−j−1
···+ tj+1 z .
j j j
118 11. Singularities of smooth maps
Exercises.
1. Recall that the 1-jet bundle J 1 (V, R) → V is the Whitney sum R ⊕ T ∗ V
of the trivial line bundle over V and the cotangent bundle T ∗ V . Under
this identification, the singularity Σ1 ⊂ J 1 (V, R) corresponds to R ⊕ V ,
where V ⊂ T ∗ V denotes the zero section. The Σ1 -singular points are crit-
ical points of functions. Recall the projections prs : J r (V, R) → J s (V, R).
The preimage (p21 )−1 (Σ1 ) ⊂ J 2 (V, R) can be viewed as the space of second
differentials. Denote by A1 the open subset of (p21 )−1 (Σ1 ) formed by non-
degenerate second differentials, and by A1 the locally closed codimension 1
submanifold of (p21 )−1 (Σ1 ) formed by second differentials of corank 1. Set
B := (p21 )−1 (Σ1 ) \ (A1 ∪ A1 ). Define inductively for r = 2, . . . closed subsets
Ar ⊂ (pr+1 −1
2 ) (A1 ) ⊂ J
r+1 (V, R) such that J r+1 (p) ∈ A if and only if p is
f r
a type Ar critical point of the function f . Show that Ar are locally closed
submanifolds of J r+1 (V, R) of codimension n + r − 1.
2. Show that if p is an Ar -singular point of f , then its germ at p is equivalent
to the function Qn−1,s (x1 , . . . , xn−1 ) + xr+1
n for some s = 0, . . . , n − 1.
3. Show that a generic B-nonsingular d-parametric family of functions V →
R consists of functions with critical points of type Ar for r ≤ d + 1. Show
that B is a stratified subset of J 2 (V, R) of codimension n + 4, so for d ≤ 3
a generic d-parametric family of functions has only Ar -critical points with
r ≤ d + 1.
4. Verify that the family of functions hn,r,d,s
t : Rn−1 × R → R, t ∈ Rd , d ≥
r − 1, defined in (5) consists of B-nonsingular functions, and for j = 1, . . . , r
the locus of their Aj -singular points coincides with Σ1j (H n,r,d,s ) given by
equations (6).
q ≥ n. Hence, one can expect that Theorem 11.6.1 yields normal forms of
Σ1r -singularities at least in the case n ≥ q. This is indeed the case with
the help of the following lemma, whose proof we leave to the reader as an
exercise.
We finish this section with a semilocal normal form for equidimensional folds
and cusps. It is a corollary of Lemma 11.4.1 and the Exercise in part A of
this section. In order to formulate the theorem we need to slightly adjust
the normal form for a cusp singularity.
11.7. More about the geometry of maps with Σ1,...,1 -singularities 123
# 1 1$
Let us fix a# family$ of functions θs : [−1, 1] → [−1, 1], s ∈ − 4 , 4 , such that
for all s ∈ − 4 , 4 we have
1 1
% &
1 1
θs (z) = z 3 + sz for z ∈ − , ,
2 2
% &
3 3
(8) θs (z) = z for z ∈ / − , ,
4 4
% &
1 1
θs (z) > 0 for z ∈ / − , .
2 2
# $
Choose a nondecreasing function δ : [−1, 1] → − 14 , 14 such that δ(t) = t
near 0 and δ(t) = ± 14 near ±1. Denote
Θ : [−1, 1] × [−1, 1] → [−1, 1] × [−1, 1], Θ(t, z) = (t, θδ(t) (z)).
Note that Θ has a cusp singularity at the origin and Σ1 (Θ) = {(t, z) ∈
[−1, 1]2 | δ(t) = −3z 2 }.
11.6.7. (Semilocal normal form for folds and cusps) Consider a map
f : V → W where dim V = dim W = n.
(a) Let U ⊂ Σ1,0 (f ) be a compact codimension 0 submanifold with (possibly
empty) boundary. Then there exists a split tubular neighborhood N = U ×
[−1, 1] of U = U × 0 in V and an immersion F : N → W such that
f |N (y, z) = F (y, z 2 ).
(b) Let U ⊂ Σ1,1,0 (f ) be a compact codimension 0 submanifold with (possibly
empty) boundary. Assume that the normal bundle to U in Σ1 (f ) is trivial.
Then there exists a split tubular neighborhood N = U × [−1, 1] × [−1, 1] of
U = U × 0 × 0 in V and an immersion F : N → W such that
f |N (y, t, z) = F (y, Θ(t, z)).
Σ1(f)
K
Σ111(f)
Σ 11(f )
'
points when t > 0, and it has two critical points (z = ± − 3t , x = 0)
of index s and s + 1 when t < 0. Hence, a cusp point corresponds to a
cancellation of two critical points of neighboring indices in a 1-parametric
family of functions.
More generally, for n ≥ q any singular point p ∈ Σ1r admits a similar
interpretation. Indeed, consider the Morin normal form for a Σ1r -singularity
of a map Rn = Rr−1 × R × Rn−r → Rr :
(t1 , . . . , tr−1 , z, x) → (t1 , . . . , tr−1 , z r+1 + tr−1 z r−1 + · · · + t1 z + Qn−q,s (x)).
Then according to (6) the singularity Σ1r−1 (f ) is given by the system of
equations
r(r + 1) 2
tr−1 = − z ,
2
. . .,
t1 = −((r + 1)z r + (r − 1)tr−1 z r−2 + · · · + 2t2 z).
Viewing the coordinate tr−1 as a parameter, we consider f as a 1-parametric
family of maps gtr−1 : Rn−1 → Rr−1 . Then gtr−1 is Σ1r−1 -nonsingular if
'
2tr−1
tr−1 > 0, and it has two Σ 1 r−1 -singular points z = ± − r(r+1) when tr−1 <
0. Moreover, one can check that these two points have opposite characteristic
coorientations of Σ1r−2 in Σ1r−3 .
Chapter 12
Wrinkles
wt = wn,q,s
t
: Rn = Rq−1 × R1 × Rn−q → Rq = Rq−1 × R1 , t ∈ R1 ,
Note that
t
wn,q,s (y, z, x) = −wn,q,n−q−s
t
(−y, −z, x),
127
128 12. Wrinkles
B. Standard wrinkles, core, saucer and rim. The standard (n, q, s)-
wrinkle (= standard wrinkle of index s + 1/2) is the germ of the map
1
w = wn,q,s = wn,q,s : (y, z, x) → y, z 3 + 3(|y|2 − 1)z + Qn−q,s (x)
along its core, the q-dimensional unit disk
D q = D q × 0 = {z 2 + |y|2 ≤ 1, x = 0} ⊂ Rq × Rn−q = Rn .
Equivalently, and more conveniently for us, the standard wrinkle can be
viewed as the restriction wn,q,s |Uε to the product domain
Uε := {z 2 + |y|2 < (1 + ε)2 , |x| < ε} ⊂ R × Rn−q
for a sufficiently small ε > 0. The image
D q := wn,q,s (D q ) = {(y, u) ∈ Rq−1 × R | u2 ≤ 4(1 − |y|2 )3 } ⊂ Rq
will be called the saucer of the wrinkle, see Figure 12.1. Note that the image
wn,q,s (Uε ) collapses onto the saucer as ε → 0.
z z
x
z
B. Visualization.
1. For q = 1, the standard wrinkle wn,1,s is the restriction of the function
wn,1,s : R1 × Rn−1 → R, (z, x) → z 3 − 3z + Qn−1,s (x)
to a neighborhood Op D 1 of the gradient trajectory D 1 = D 1 ×0 ⊂ R1 ×Rn−1
connecting a pair of critical points of indices s + 1 and s.
See Figures 12.3, 12.4, and 12.5, where the z-direction is drawn vertically.
12.2. Properties of standard wrinkles 131
w
2
z
1 1
2
2. For n = q = 2 one can draw the graph of the second coordinate function
(y, z) → z 3 +3(y 2 −1)z of the wrinkle w2,2,0 , see Figure 12.6 (the black round
spot in the center is an artefact of using spherical coordinates for plotting).
3. One way to visualize the standard wrinkle w = wn,q,s is to look at the
images of the (q − 1)-spheres Srq−1 = {|y|
2 + z 2 = r 2 , x = 0}. For (y, z, 0) ∈
Sr let us write (y, u) = w(y, z, 0) = y, z(r2 + 2|y|2 − 3) , so that w(Srq−1 )
q−1
For r < 1 the second factor on the right hand side is positive and we see
that w(Srq−1 ) is an embedded sphere. For r > 1 the right
hand side vanishes
along the concentric spheres {|y| = r} and {|y| = (3 − r2 )/2 < r}, so
w(Srq−1 ) is an immersed sphere. For r = 1 the equation becomes
u2 = 4(1 − |y|2 )3 = 4(1 + |y|)3 (1 − |y|)3 ,
r<1 r>1
r=1
u u u
y y y
Exercise. Find ε0 > 0 with the following property: wn,q,s |O p ∂Uε does
not extend to a submersion Uε → Rq if ε ≤ ε0 , and it does if ε > ε0 .
134 12. Wrinkles
Note that a half-winkle, which is the germ of the map wn,q,s |Rn+ : Rn+ → Rq+
along the half-disc
q q
D+ = D+ × 0 = {y1 ≥ 0, z 2 + |y|2 ≤ 1, x = 0},
fibers over a neighborhood of the half-disc D+ k = {y ≥ 0} ∩ D k ⊂ Rk . The
1
restriction of this fibered map to the (k − 1)-dimensional disc
D k−1 := D+
k
∩ {y1 = 0}
is the standard (n − 1, q − 1, s)-wrinkle fibered over D k−1 .
Chapter 13
Wrinkled Submersions
13.1. Definitions
A. Wrinkled submersions. Let n ≥ q ≥ 1. We continue using the nota-
tion
Uε = {|y|2 + z 2 < (1 + ε)2 , |x| < ε} ⊂ Rq−1 × R × Rn−q
from the previous chapter and write D q for the core {|y|2 + z 2 ≤ 1, x = 0} ⊂
Rn of the standard wrinkle wn,q,s : Uε → Rq .
Given an n-dimensional manifold V and q-dimensional manifold W , a map
f : V → W is called a wrinkled submersion if there exist disjoint embeddings
ϕi : Uε → V , i = 1, . . . , N , such that
• f |V \i ϕi (∂Dq ) is a submersion;
• each composition f ◦ ϕi : Uε → W can be factored as
wn,q,s gi
Uε / Rq / W,
135
136 13. Wrinkled Submersions
dividing Si into two hemispheres Si,− and Si,+ of fold points of indices
s + 1 and s, respectively. The spheres Si bound the embedded q-discs Di =
ϕi (D q ), the cores of the wrinkles. The images f ◦ ϕi (Uε ) ⊂ W are contained
in neighborhoods of the saucers Di := f (Di ). The boundary ∂ Di = f (∂Di )
is singular along the rim f (Ci ) of the saucer f (Di ), and there is a well defined
tangent plane Tf (v) (∂ Di ) = df (Tv V ) for each point v ∈ Ci . Sometimes we
will use the term wrinkle for the components of the singular locus Σ(f ) of
a wrinkled submersion f : V → W .
Example. In the case W = R, a wrinkled submersion f : V → R is a
Morse function whose critical points are organized in pairs of neighboring
indices connected by a gradient-like trajectory Di , the core of the corre-
sponding wrinkle.
pk p
gi
Rk / P.
As it will be clear from our constructions below in Sections 13.4 and 13.5,
a fibered wrinkled submersion can always be modified to make gi and g i in
the above definition embeddings.
The fiberwise differential dP f : P × T V → P × T W of a fibered wrinkled
submersion f : P × V → P × W can be regularized on every neighborhood
Ui = ϕi (Uε ), canonically up to homotopy, to an epimorphism R(dP f ) :
P × T V → P × T W fibered over P .
In the fibered case we will allow the manifold P to have boundary and f to
have fibered half-wrinkles, i.e., to admit embeddings
ψi : (Uε,+ , ∂Uε,+ ) → (P × V, ∂P × V ),
where Uε,+ = Uε ∩ {y1 ≥ 0} and ∂Uε,+ = Uε ∩ {y1 = 0}, which send fibers of
the projection pk : Uε,+ → Rk+ to fibers of the projection P × V → P such
q
that f ◦ ψi factors as gi ◦ wn,q,s
+ , where w +
n,q,s : Uε → R+ is the standard
+
f |∂P ×V : ∂P × V → ∂P × W
is itself a wrinkled submersion fibered over ∂P , whose wrinkles are the inter-
sections of the half-wrinkles of f with the boundary ∂P ×V . The regularized
fiberwise differential R(dP f ) is also defined in this case.
such that
• f |V \(ϕi (∂Dq )) is a leafwise submersion;
i
In Section 13.3 we will prove Theorem 13.2.1 for n = q, and in Section 13.5
for n > q.
b1 δ /2
a1+ δ /2
ã 1 b̃
1
I
@
1
w
π
w1
I / I.
Note that we can choose the function w1 in such a way that, in addition to
the properties listed in Lemma 13.3.1, the restriction of the derivative w1 to
ai −ε, bi +ε) is convex for all i, i.e., w1 |(ai −ε,bi +ε) > 0. Using an
the interval (
13.3. Wrinkled immersion associated with a multifold 143
I n
| |>
|
w |
||
π
|| w
In / I n.
Note that the wrinkles (= singular sets) Σ(w) and Σ(w) of the maps w and
coincide in the domain I n , see Figure 13.2 for n = 2.
w
and w = π ◦ w
Figure 13.2. Wrinkles of the maps w in the domain
I n , n = 2.
Lemma 13.3.2 for multifolded cubes yields the corresponding statement for
multifolds:
144 13. Wrinkled Submersions
?V
w
π
w
V / V.
The statement also holds in its fibered and relative versions. We note,
however, that in applications it will be more convenient for us to directly
use Lemma 13.3.2 rather than its more global version Lemma 13.3.3.
f1 : I n
w / I n f1 /W
z=g(y)
[ 1,1] z=f(y)
D’
y
D D
Δ Δ
one σ = σ(δ, ρ, C)-fine wrinkle whose saucer projects onto the disc D, and
such that (see Figure 13.5)
(a) H(y, −1) = f (y) and H(y, 1) = g(y) for y ∈ Δ;
(b) H(Δ × [−1, 1]) ⊂ {(y, z) ∈ Δ × R | f (y) − 2ρ ≤ z ≤ f (y) + 2ρ};
(c) σ(δ, ρ, C) ≤ K(δ + Cδ + ρ/δ) for a constant K not depending on
(δ, ρ, C).
[0, 1]. Denote f (y) = h(y, 0), g(y) = h(y, 1), y ∈ Δ. Apply Lemma 13.4.3
to the functions f, g and constants δ1 , δ2 which will be fixed later in the
proof to construct the functions f0 = f, f1 , . . . , fN < g. Denote tj := N j+1 .
For each j = 1, . . . , N we apply Lemma 13.4.4 to the functions fj−1 , fj to
construct a wrinkled immersion Hj : Δ×[tj−1 , tj ] → with exactly one wrinkle
such that Hj (y, tj−1 ) = fj−1 (y) and Hj (y, tj ) = fj (y). Using the fact that
fN < g, we can also the construct a genuine fibered immersion HN +1 :
Δ × [tN , 1] → Δ × R such that HN +1 (y, tN ) = fN (y) and Hj (y, 1) = g(y).
After adjusting the differentials dHj , j = 1, . . . , N , along Δ × tj the maps
H1 , . . . , HN +1 can be made to fit together into a fibered wrinkled immersion
H : Δ × [0, 1] → Δ × R with N wrinkles which project to round balls. By
taking appropriate parameters in Lemmas 13.4.3 and 13.4.4 we can make all
wrinkles σ-fine. Finally we replace back the map H to Q, i.e., we take the
map w := H ◦ϕ−1 : Q → Δ×R and extend it as a fibered immersion to Uε \Q
which coincides with w on Op ∂Uε , and such that w(U ε ) ⊂ Op w(Uε ).
13.5. Corrugation
The composition g ◦ wn,n of the equidimensional standard wrinkle wn,n :
Rn → Rn with a submersion g : Rn → Rq is again a wrinkled submersion
if n = q, but for n > q this need no longer be the case (e.g., if g is the
projection onto the last q coordinates). The corrugation process in this
section allows us to approximate g ◦ wn,n again by a wrinkled submersion.
Let n > q, and (x, y, z) be the coordinates corresponding to the splitting
13.5.1. (Corrugating a wrinkle) In the setup above, for any τ > 0 there
exists a function γ : Rn → R such that
(a) γ = β outside Uε ;
(b) |γ − β| < τ ;
: Uε → Rq , where γ
(c) the map g ◦ γ (x, y, z) = (x, y, γ(x, y, z)), is a
wrinkled submersion;
(d) the regularized differential R(d(g◦
γ )) is homotopic as epimorphisms
to dg ◦ R(dβ) rel. Op (∂Uε ).
for a sufficiently large integer N and a small positive δ > 0. Note that
property (a) of the proposition holds by definition of ρ.
For a large positive real number M (which will be fixed later) let us choose
a smooth even function aM : R → [0, ∞) such that aM (u) = M 2 u2 for
|u| ≤ 1/3M , aM (u) = |u| for |u| ≥ 1/2, and aM (u) > 1/2 for u ≥ 1/3M .
Define the function b = bM : R → R as equal to aM (2u) − π on [− π2 , π2 ]
and to π − aM (2u − 2π) on [ π2 , 3π
2 ], and extend it 2π-periodically to R, see
Figure 13.8.
−π/2 π/2
−3π/2 3π/2
1/9
1/2 1/2 −π
1 ⊂ R
Ix (r) n−q the cube centered at x of side length r. Note that the cubes
1
|b (N u)| = 2|aM (2N u)| > 2 · =1
2
provided that |2N u| ≥ 3M 1
, or equivalently, |u| ≥ 6M1 N . By periodicity of b
this implies |b (N u)| > 1 for u outside the intervals
*π 1 π 1 +
I( , M, N ) = − , + , ∈ Z.
N 6M N N 6M N
Consider now a point (x, y, z) ∈ Uε \ U . Then at least one component xi
of x lies outside the intervals I( , M, N ), ∈ Z. We have noted above that
∂γ
∂z > 0 on Uε \ Uε/2 , so γ is an equidimensional immersion outside Uε/2 . For
(x, y, z) ∈ Uε/2 \ U , the condition ρ|Uε/2 = 1 and the preceding discussion
imply
( ∂γ ( ( ∂β ( ( ∂β (
( ( ( ( ( (
( (x, y, z)( = ( (x, y, z) + δN b (N xi )( > δN − ( (x, y, z)( > 0
∂xi ∂xi ∂xi
by the choice of N . This shows that γ is an equidimensional immersion on
Uε \ U , and therefore g ◦ γ is a submersion on Uε \ U .
13.5.3. For δ, N, M0 as above and M ≥ M 0 sufficiently
large, the restriction
g◦γ|U has a single wrinkle on each π −1 Ip 3M1 N , p ∈ P .
πn−q
so that |xi | ≤ 6M10 N for i = 1, . . . , n − q. Recall that p = π N ,..., N
1
∈
P = L ∩ B with i ∈ Z. By definition of b we have
π
i
b N + xi = εi (4N 2 M 2 x2i − π),
N
where εi = 1 if i is even and εi = −1 if i is odd. It follows that
γ(p + x, y, z) = β(p + x, y, z) + 4δN 2 M 2 Qp (x) + Cp ,
n−q
where Qp (x) = n−qi=1 εi xi and Cp = −πδ
2
i=1 εi . For M ≥ M0 we consider
the dilation
∼ M0
ΔM : IM0 × U −→ IM × U ,
=
(p + x, y, z) → p + x, y, z .
M
It suffices to show that for M sufficiently large the map
◦ ΔM : IM0 × U → Rq
hM := g ◦ γ
has a single wrinkle. We factor the map hM as
hM = (g ◦ ΔM ) ◦ γ
M , M := Δ−1
γ M ◦γ
◦ ΔM .
M (p + x, y, z) = (p + x, y, γM (p + x, y, x)), where
Note that γ
M0
γM (p + x, y, z) = β p + x, y, z + 4δN 2 M02 Qp (x) + Cp
M
converges as M → ∞ in the C ∞ -topology to
γ∞ (p + x, y, z) = β(p, y, z) + 4δN 2 M02 Qp (x) + Cp .
On the other hand,
M0
g ◦ ΔM (p + x, y, z) = g p + x, y, z
M
∞
converges as M → ∞ in the C -topology to g(p, y, z). In other words,
g ◦ ΔM converges to the composition gp ◦ π ⊥ of the projection
π ⊥ : IM 0 × U → U , (p + x, y, z) → (y, z)
with the map
gp : U → Rq , (y, z) → g(p, y, z).
Altogether, the map hM converges as M → ∞ in the C ∞ -topology to the
composition
∞
γ π⊥ gp
h∞ : IM0 × U −→ IM0 × U −→ U −→ Rq .
The composition of the first two maps is
π⊥ ◦ γ
∞ : IM0 × U → Rq−1 × R, (p + x, y, z) → (y, γ∞ (p + x, y, z))
with
γ∞ (p + x, y, z) = z 3 + 3(|p|2 + |y|2 − 1)z + 4δN 2 M02 Qp (x) + Cp .
13.5. Corrugation 153
This shows that π ⊥ ◦ γ ∞ has a single (n, q, s)-wrinkle over the ball
{x = p, |p| + |y| + z ≤ 1} = D ∩ {x = p}, where s is the index of
2 2 2
The two lemmas together yield property (c) of the proposition. We leave
the verification of property (d) to the reader. This concludes the proof of
Proposition 13.5.1.
According to Lemma 13.4.2, we can chop the standard wrinkle wn,n : Rn−1 ×
R → Rn−1 × R into σ-fine wrinkles wj fibered over Rn−1 whose cores project
to σ-small balls in Rn−1 . Any fibered σ-fine wrinkle w := wj has the form
βw : (x, z) → (x, βw (x, z)).
If σ is sufficiently small, then the restriction hw := hi |Op Sw of the submer-
sion hi to a neighborhood Op Sw ⊂ Rn boundary Sw of the saucer can be
considered as a submersion hw : Op Sw → Rq which is C 1 -close to L|Op Sw
for a surjective linear map L : Rn → Rq . We only need to consider the
154 13. Wrinkled Submersions
case when the restriction hw |Sw has singularities, i.e., there is at least one
point s ∈ Sw such that Ker dhw ⊂ Ts Sw . In this case hw is a leafwise im-
mersion on the one-dimensional vertical foliation of Rn (given by the last
coordinate). Moreover, hw is a leafwise equidimensional immersion on the
q-dimensional foliation of Rn parallel to T × R, where T ⊂ Rn−1 is the or-
thogonal complement to Ker(L|Rn−1 ×0 ) ⊂ Rn−1 . We can assume, after an
orthogonal rotation in Rn−1 , that T × R = 0 × Rq−1 × R = 0 × Rq . Then
there exist diffeomorphisms ϕ, ψ : Rn−1 × R → Rn−1 × R fibered over Rn−1
such that ψ ◦ βw ◦ ϕ = wn,n . Thus we can apply Proposition 13.5.1 with
β = ψ ◦ βw ◦ ϕ and g = hw ◦ ψ −1 to approximate g ◦ β = hw ◦ βw ◦ ϕ by a
wrinkled submersion.
Chapter 14
Folded Solutions to
Differential Relations
155
156 14. Folded Solutions to Differential Relations
Explicitly, writing ϕ(x, t) = (x, g(x, t)) and ψ(x, t) = (x, hx (t)), the last
displayed equation reads fs (x), g(fs (x), s) = (ft (x), t) with s = hx (t).
This is solved by taking for hx the inverse of the function s → g(fs (x), s),
which is invertible for ϕ sufficiently C 1 -close to the identity.
Hence, the map F(x, t) := (ft (x, t), t) satisfies F = ϕ ◦ F ◦ ψ. It follows that
critical points (and their degeneracy types) of t ◦ ϕ ◦ F |Σ1k (F ) correspond to
critical points of t ◦ F| 1 . Hence, we can realize any generic perturbation
Σ k (F )
V V
v
C C C
C C C
F F
Σ 1(f) Σ 1(f)
Σ 1(f)
v
Σ 11(f) Σ 11(f)
w w
Σ 1(f)
D such that IntD ⊂ U \ B and the characteristic vector field of the cusp is
inwardly tangent to D along ∂D.
By performing a simultaneous surgery of (Σ1 (w), Σ1,1 (w)) along D we elim-
inate the cusp locus and create two concentric spheres of fold points instead
of the wrinkle w. As the disc D can be chosen in an arbitrary small neigh-
borhood of B, this operation allows us to replace each wrinkle of a wrinkled
map by two concentric spherical folds, see Figure 14.4.
are no cusps, and as ε increases and changes from negative to positive two
cusps are born, see Figure 14.5. For ε > 0 the critical values of the function
3/2
−4z 3 + 2εz are equal to ±δ, where δ := 4ε√ .
3 6
Hence, for a sufficiently small ε > 0 there exists a family of smooth functions
ξt : R → R, t ∈ [−1, 1], such that
• ξt (z) = z 2 for (t, z) ∈
/ {|t| ≤ 12 , |z| ≤ 12 };
• ξt (z) = z 4 − εz 2 + tz for |t| ≤ 16 , |z|
1
≤ 14 ;
• ξt has exactly one critical
# $point for t > δ, and no critical points in
the complement of − 14 , 14 for any t ∈ [−1, 1].
Let f : V → W , dim V = dim W = n, be a generic map with a nonempty
fold locus Σ1,0 (f ). Consider first the case n = 2 and a fold point p ∈ Σ1,0 (f ).
According to Proposition 11.6.7(a) there are local coordinates (t, z) ∈ U =
[−1, 1] × [−1, 1] near p and (t, z) near f (p) in which the map f takes the
form (t, z) → (t, z 2 ). Let us replace f |U by the map (t, z) → (t, ξt (z)) to get
a new map f : V → W which coincides with f outside U . The smooth curve
Σ1 (f|U ) is isotopic to Σ1 (f |U ) relative its boundary, and Σ1,1 (f) consists of
two cusp points with opposite characteristic coorientation of Σ1 (f).
In the general case n ≥ 2 we choose any closed coorientable hypersurface
C ⊂ Σ1,0 (f ). Let N = C × [−1, 1] be a split tubular neighborhood of
C in Σ1,0 (f ). According to Proposition 11.6.7 there exists a split tubular
neighborhood U = N × [−1, 1] of N in V such that f |U can be presented
as a composition f |U = g ◦ Q, where Q(x, t, z) = (x, t, z 2 ), (x, t, z) ∈ C ×
[−1, 1] × [−1, 1], and g : U → W is an immersion. Replacing Q by the
t, z) := (x, t, ξt (z)) and f |U by the composition g ◦ Q
map Q(x, yields a map
f : V → W which coincides with f outside U . The singular locus Σ1 (f|U ) is
14.1. Surgery of singularities 163
isotopic to Σ1 (f |U ) relative its boundary, and Σ1,1 (f) consists of two parallel
copies of C with opposite characteristic coorientation of Σ1 (f). We will refer
to this operation as a cusp-creation surgery.
The inverse surgery, which eliminates a pair of cusps whose characteristic
coorientations are opposite can be performed via the following trick. Con-
sider again first the two-dimensional case. Given two cusp points a1 , a2 on
the same component of Σ1 (f ) we use cusp-creation surgery to create an ad-
ditional pair of cusp points b1 , b2 such that the four cusps are ordered as
a1 , a2 , b1 , b2 and the characteristic coorientation of ai coincides with that of
bi for i = 1, 2. Next we perform index one surgeries along a path γ1 con-
necting a1 and b1 , and along a path γ2 connecting a2 and b2 . As a result
all cusps a1 , b1 , a2 , b2 got eliminated while Σ1 (f ) remains unchanged up to
isotopy, see Figure 14.6 for the picture in the source. We leave it to the
reader to generalize this procedure to the cusp-elimination surgery for any
n ≥ 2, thus eliminating two parallel components of the cusp locus in Σ1 (f )
with opposite characteristic coorientations. See Figure 14.7 for a hint.
a2 a2 b2
a1 a1 b1
Proof. Using cusp creation surgery we first create finitely many pairs of
concentric spheres Ci+ , Ci− ⊂ S of cusps with opposite characteristic coori-
entation such that each wrinkle can be connected so some Ci± by an embed-
ded path in V \ S at whose ends the characteristic coorienations point into
164 14. Folded Solutions to Differential Relations
the path. We connect-sum each wrinkle to S along this path and denote the
resulting map by f, see Figure 14.7. Note that up to an isotopy we have
Σ1 (f) = S and Σ1,1 (f) = i (Ci+ ∪ Ci− ). Using cusp-elimination surgery we
can now remove the cusp locus, leaving only a fold isotopic to S.
smooth map
V,S : V → VS
π
Proof. Consider first the special case of the relation Rimm in the equidi-
mensional case. We need to prove that given manifolds V, W of dimension
n ≥ 2, a nonempty hypersurface S ⊂ V , and a map ϕ : VS → W covered
by a fiberwise isomorphism Φ : T VS → T W , there exists an immersion
f : VS → W such that Φ and df are homotopic as fiberwise isomorphisms.
Applying the Smale–Hirsch Immersion Theorem 9.2.1 we first deform (Φ, ϕ)
to arrange Φ = dϕ on NS ⊂ VS . Consider the map ϕ := ϕ ◦ π
V,S : V → W .
N has a fold singularity along S. Using Theorem 13.2.2
The restriction ϕ|
we C 0 -approximate ϕ|V \S , keeping it fixed on N , by a wrinkled map, still
whose regularized differential is homotopic to Φ. Finally, we
denoted by ϕ,
apply Lemma 14.1.3 to eliminate the wrinkles. This concludes the proof for
the equidimensional case of the immersion relation Rimm .
Let us now consider the case of a general Diff V -invariant differential re-
lation. Let Φ : VS → RS be a formal solution of RS = R(VS ) covering
a section ϕ : VS → XS . Appplying Gromov’s h-principle 8.3.3 for open
DiffNS -invariant differential relations to the open manifold NS , we can de-
form Φ to make it equal to the holonomic section Jϕr over NS ⊂ VS .
Next, we apply Theorem 5.2.1 to find a multisection ϕ : V ,S → XS which
coincides with ϕ on NS and such that its r-jet extension J r ϕ is C 0 -close
to Φ. If the approximation is sufficiently good, then openness of R(VS )
guarantees that ϕ is a genuine solution of the differential relation R(VS ) in
the formal class determined by Φ.
Let w : VS → V,S be the wrinkled immersion constructed in 13.3.3. Consider
w := w ◦π V,S : V → VS . The map w has a fold singularity along S and
a number of wrinkles elsewhere. Applying Lemma 14.1.3 we can eliminate
the wrinkles to get a map w : V → VS with a fold along S and no other
singularities. According to Proposition 11.6.7(a) we can factor the map w
as
V,S
π g
V → VS → VS ,
where g is an immersion. Now Diff V -invariance of the differential relation
R allows us to consider the induced section ψ := g ∗ ϕ : VS → X (r) , which is
the required folded solution of the differential relation R.
Here is a corollary of Theorem 14.2.1 (we leave the verification of the corre-
sponding homotopic conditions to the reader, see also [El70]).
14.2.2. (Maps with prescribed fold) Let V be a connected orientable
manifold of dimension n ≥ 1, and S ⊂ V a nonempty coorientable codimen-
sion 1 closed submanifold. Then a map V → Rn with fold along S (and
no other singularities) exists if and only if V is stably parallelizable (i.e.,
14.2. Folded solutions to differential relations 167
its tangent bundle is stably trivial), S divides V into two parts V+ and V− ,
V+ ∩ V− = S, and in addition one of the following conditions is satisfied:
(a) n = 1, 3, 7;
(b) n is even and χ(V+ ) = χ(V− );
(c) n is odd, the tangent bundle T V is trivial, and χ(M ) ≡ 0 (mod 4);
(d) n is odd, T V is nontrivial, and χ(M ) ≡ 2 (mod 4).
r−1
H n,r
(t, z) = (t, h n,r
(t, z)) , h n,r
(t, z) := ht1,r,n−1,r (z) =z r+1
+ tj z j .
1
169
170 15. The h-principle for Sharp Wrinkled Embeddings
Remarks.
1. Our terminology differs from some commonly used terms in singularity
theory. For instance, in the case n = r = 1 the map H 1,1 : R → R2 given
by the formula H 1,1 (z) = (z 2 , 43 z 3 ) is a semicubic parabola, and its singular
point is usually referred to as a cusp and not a sharp fold. For n = r = 2
the map H 2,2 : R2 → R3 given by the formula H(t, z) = (t, z 3 + tz, 95 z 5 +
2z 3 t + t2 z) (see Figure 15.2) is sometimes called an unfurled swallowtail (see
[Mu11]) rather than a sharp cusp.
2. Given a cusp f : R2 → R2 in its standard Whitney-Morin form f (t, z) =
(t, z 3 − 3tz)1 , the restriction of this map to the one-dimensional submanifold
Σ1 (f ) = {t = z 2 } is a sharp fold. On the other hand, for a map f : R3 → R3
with the swallowtail singularity Σ1,1,1 (f ) in its Morin form
f (t1 , t2 , z) = (t1 , t2 , z 4 + t2 z 2 + t1 z)
the restriction of f to Σ1 (f ) = {t1 = −4z 3 − 2t2 z} ⊂ R3 is not a topolog-
ical manifold (see Figure 11.3), hence it is not a sharp cusp, although its
projection onto the first two coordinates is a two-dimensional cusp.
3. It is sometimes useful to use other forms of unfolding functions for sharp
Σ1r singularities, see [AG18b]. Namely, given any C ∞ -function θ : R → R
with θ(0) = 0 and θ(t) > 0 for t = 0, we can define the unfolding function
z ! n,r " z r−1
n,r ∂h (t, ζ) j−1 r
uθ (t, z) = θ dζ = θ jζ tj + (r + 1)ζ dζ
∂ζ
0 0 1
Proof. Consider the coordinate functions v = hn,r (t, z) and u = un,r (t, z) =
z ∂hn,r (t,ζ) 2
∂ζ dζ of the map H n,r . It is sufficient to verify the existence of
0
1 Here and elsewhere we use slight modification of the parameters of normal forms at our
convenience.
172 15. The h-principle for Sharp Wrinkled Embeddings
∂
the limit lim d(t,z) (v, u) Span( ∂z . We have
(t,z)→Σ
! " ! "
∂ ∂hn,r (t, z) ∂hn,r (t, z)
d(t,z) (v, u) = 1, ,
∂z ∂z ∂z
and therefore,
! "
1 ∂
∂hn,r (t,z)
d(t,z) (v, u) −→ (1, 0).
∂z (t,z)→Σ
∂z
z=1 y=const
z=1
Note that the standard sharp wrinkle is fibered over Rn−1 and its restric-
tion to the fiber over y is either a standard sharp wrinkle (if y ∈ Int D n ),
/ D n ), or an embryo (if y ∈ ∂D n ).
nonsingular (if y ∈
Note that the Gauss map does not lift to a continuous map T V → T W .
A tubular neighborhood N of f (V ) in W carries a normal foliation N , i.e., a
foliation whose leaves are transverse to the tangent spaces to f (V ).
The notions of a graphical isotopy and tangential rotation carry over to the
case that f0 : V → W is a wrinkled embedding, using the normal foliation
N on a tubular neighbourhood X of f (V ). Then Lemma 15.3.3 implies
15.3.4. (Wrinkled approximation of graphical tangential rotations
near the singular set) Let Gt : V → Grn W be a graphical tangential
rotation of a wrinkled embedding f0 : V → W with singular set Σ = Σ(f0 ).
Then f0 extends to an arbitrarily C 0 -small graphical wrinkled isotopy ft :
V → W such that Gdft |Op Σ is arbitrarily C 0 -close to Gt |Op Σ for all t ∈ [0, 1].
In the next section we will use Lemma 15.3.3 and Corollary 15.3.4 to reduce
the proof of Theorem 15.3.2 to a lemma about hypersurfaces in Rn+1 .
Before proving this lemma, let us show how it implies Theorem 15.3.2.
Here to achieve the first three properties we choose the metric on W such
that the tangent spaces to f0 (V ) are almost
orthogonal to the normal fo-
liation N . Note that we cannot achieve ψ U ∩ f0 (V ) ⊂ Rn × 0 or strict
orthogonality if f0 is wrinkled. Pick a smooth triangulation of V such that
• the cusp locus Σ1,1 (f0 ) is contained in the (n − 2)-skeleton;
• the singular set Σ(f0 ) is contained in the (n − 1)-skeleton;
• the image f0 (Δi ) of each n-simplex Δi is contained in a coordinate
neighbourhood U from the covering above.
Let K be the (n − 1)-skeleton of this triangulation. By Lemma 15.3.3 and
Corollary 15.3.4, f0 extends to a C 0 -small graphical wrinkled isotopy ft :
V → W such that Gdft |Op K is C 0 -close to Gt |Op K for all t ∈ [0, 1]. For
each i pick an embedded closed n-ball Bi ⊂ Int Δi such that Gdft |Op ∂Bi is
C 0 -close to Gt |Op ∂Bi for all t ∈ [0, 1]. Pick a point vi ∈ Bi and a coordinate
chart ψ : W ⊃ U → Rq as above with f0 (Δi ) ⊂ U . By C 0 -closeness of ft to
f we may assume that ft (Δi ) ⊂ U for all t ∈ [0, 1].
Case q = n + 1. For each t ∈ [0, 1], let ψt : W ⊃ U → Rn+1 be the
composition of ψ with a rotation of Rn+1 mapping ψ∗ Gt (vi ) to Rn × 0.
Then the smooth submanifolds
Sti := ψt ◦ ft (Bi ) ⊂ Rn+1
have the following properties (in the terminology from above):
(i) S0i is ε-horizontal;
(ii) Sti is ε-horizontal near ∂Sti for all t ∈ [0, 1];
(iii) Sti is quasi-graphical for all t ∈ [0, 1].
Here the first two properties are clear from the construction. For property
(iii), recall that ft is graphical in the sense that it is transverse to the
vertical foliation N . Since ψ∗ N is the vertical foliation with leaves {x} × R,
it follows that ψ ◦ ft (Bi ) ⊂ Rn+1 is graphical. Since the tangential rotation
Gt is simple, the angle of the rotation in the definition of ψt can be chosen
to be ≤ (π/4) + ε and it follows that Sti = ψt ◦ ft (Bi ) is quasi-graphical.
So we are in the position to apply Lemma 15.4.1 to the family of hyper-
surfaces Sti , t ∈ [0, 1], for each i. Let gti : Sti → Rn+1 be the result-
ing families of ε-horizontal wrinkled embeddings. Then the compositions
ψt−1 ◦ gti ◦ ψt ◦ ft : Bi → W for all i fit together to the desired homotopy of
wrinkled embeddings ft : V → W .
Case q > n + 1. We construct the triangulation and vi ∈ Bi ⊂ Δi as
above. By definition of a simple tangential rotation, for each i the rotation
Gt (vi ) takes place in an (n + 1)-dimensional subspace Lvi ⊂ Tf0 (vi ) W . For
each i we compose the coordinate chart ψ : U → Rq with a rotation of
15.5. Proof of the main lemma 181
Since the first term on the right hand side is bounded independently of T
and v is horizontal, the embedding IST will be ε-horizontal at x if |dT (x)|
is large. Now we cannot make |dT | large on all of S for a smooth function
T , but it becomes possible if we allow T to have vertical cusps as shown in
Figure 15.6. This is the basic idea of goffering. In the next step we describe
an explicit local model for such a function T and show that it gives rise to
a wrinkled embedding.
h ~
G
• ϕ maps the horizontal slices D n−1 ×pt to leaves of L and the vertical
slices pt ×D 1 to leaves of G;
• S is ε-horizontal near the lids ϕ(D n−1 × ∂D 1 ).
For t ∈ R we consider the curve wt = (ut , st ) : R → R2 with components
15 z 2 1
(13) ut (z) = (ζ − t)2 dζ, st (z) = − (z 3 − 3tz).
8 0 2
Up to the scaling factors and interchanging u and s, w1 is the one-dimen-
sional standard embedded wrinkle. It shrinks as t decreases, becomes an
embryo at t = 0, and√ is a smooth embedding for t < 0. For t >√0 its
cusps occur at z = ± t, and a short computation shows that wt (± t) =
(±t5/2 , ±t3/2 ) (this is the reason for the scaling factors). Since ut is strictly
increasing, the image of wt is the graph of a continuous function at : R → R,
15.5. Proof of the main lemma 183
Proof. We may assume after rescaling that γ = 1. Note first that g|U
is clearly smooth, and it can be extended to a homeomorphism because
z → ut (z) is a homeomorphism for each t. Now
I τ ◦ g(y, z) = v τ ◦g(y,z) ϕ ◦ g(y, z) ,
where τ ◦ g(y, z) = aβ(|y|) ◦ uβ(|y|) (z) = sβ(|y|) (z) is smooth by property (i) of
at , so I τ ◦ g is smooth. Next, we choose coordinates (y, s, u) ∈ Rn−1 × R × R
near the image ϕ(D n−1 × D 1 ) of the tube in which ϕ(y, u) = (y, 0, u) and
v = ∂s , so the flow of v is given by v s (y, u) = (y, s, u) and
I τ ◦ g(y, z) = y, sβ(|y|) (z), uβ(|y|) (z) .
Replacing t = β(|y|) in equation (13), we see that I τ ◦g agrees up to rescaling
with the map
z
2 2
(y, z) → y, z − 3β(|y|)z,
3
ζ − β(|y|) dζ .
0
2 1 1 2
≤ −1 on (σ, 1].
(v) For t = 1 the function Wσ,1 has derivative Wσ,1
We cover the given hypersurface S ⊂ Rn+1 by the images of tube domains
∼
=
ϕα : D n−1 × D 1 −→ Uα ⊂ S, α = 1, . . . , K.
Proof. The first assertion follows from Step 2 applied to each of the disjoint
sets Uα,k . To prove almost horizontality, we fix the constants γ, δ and vary
N and σ (which depends on N ). We will say that a term is bounded if it
is bounded independently of N and σ. At a point x ∈ S we have dIST =
d(v T ) + v(IST ) ◦ dT . Applying this to the gradient ∇h of the height function
h : S → R we get
Since the first summand on the right hand side is bounded and v is horizon-
tal, IST will be ε-horizontal at x if |dT (∇h)(x)| is large. By definition of a
tube domain, for each α we have dϕ−1 α (∇h)
= fα ∂u for a positive function
fα : D n−1 × D 1 → R. Hence, from T = α τ ◦ ϕ−1 α we get
dT (∇h)(x) = dτ ◦ dϕ−1
α (∇h)(x) = fα ∂u τ (yα , uα ),
α α
where the sum extends over all α such that x = ϕα (yα , uα ) is in the image
of ϕα . Let C > 0 be a constant such that
1
≤ |fα | ≤ C for all α = 1, . . . , K.
C
After rescaling we may assume that γ = 1. Abbreviating t = β(|y|) we then
have
u
(16) ∂u τ (y, u) = λ (|u|) Wσ,t (N u) + λ(|u|)N Wσ,t
(N u).
|u|
To prove ε-horizontality at a point x ∈ S we distinguish 3 cases.
Case 1: x has depth 1. Then there is a unique α0 such that x = ϕα0 (yα0 , uα0 )
with t = β(|yα0 |) > 0 and N uα0 ∈ (2k − σt5/2 , 2k + σt5/2 ) for some k ∈ Z.
Thus λ ≡ 1 near |uα0 | and property (iv) of Wσ,t implies ∂u τ (yα0 , uα0 ) ≥
all α = α0 with x = ϕα (yα , uα ) in the image of ϕα we have
4
5σ N . For
N uα ∈/ k∈Z [2k − 2σ, 2k + 2σ]. Since λ ≡ 1 near |uα |, properties (iii) and
(iv) of Wσ,t imply ∂u τ (yα , uα ) ≥ −N . As this occurs at most K − 1 times,
we get
4
dT (∇h)(x) ≥ N − (K − 1)C ≥ CN
5Cσ
provided that σ ≤ 4
Thus IST is ε-horizontal at x for N large.
5KC 2
.
Case 2: x has depth 0 and x ∈ S. Then by definition of S there exists
α0 such that x = ϕα0 (yα0 , uα0 ) with (yα0 , uα0 ) ∈ D1−3δ
n−1
× D1−
1
1 . Thus
2N
t = β(|yα0 |) = 1 and λ ≡ 1 near |uα0 |. Since x has depth 0, we must have
N uα 0 ∈
/ ∪k∈Z [2k −σ, 2k +σ] and property (v) of Wσ,t implies ∂u τ (yα0 , uα0 ) ≤
−N . For all α = α0 with x = ϕα (yα , uα ) in the image of ϕα properties (iii)
15.6. The h-principle for folded embeddings 187
Case 3: x has depth 0 and x ∈ S \ S. Note that the first term on the right
hand side of (16) is ≤ 0. Therefore, as in Case 2 we have ∂u τ (yα , uα ) ≤ N σ
for all α with x = ϕα (yα , uα ) in the image of ϕα , hence
1
dT (∇h)(x) ≤ KCN σ ≤
N
provided that σ ≤ KCN 2 . Now recall that S \ S is already ε-horizontal. By
1
definition of the vector fields v and ∇h this implies v(x), ∇h(x) < 0 (see
Figure 15.5), so a deformation in direction v(x) with negative dT (∇h)(x)
makes the hypersurface only more horizontal at x. Thus IST remains ε-
horizontal at x for N large.
This concludes the proof of Lemma 15.5.3, and thus of Lemma 15.5.1.
µ+
S
S
µ+
µ+
S
S
µ+
V V
I I
wrinkles for certain periods of time, and either continue their existence until
the time u = 1 or disappear passing again through embryo states. Let us
modify fu by extending the existence of all sharp wrinkles to all u ∈ [0, 1]
in a close-to-embryo state. We call this procedure making the wrinkles im-
mortal, see Figure 15.9. As a result, we get a sharp wrinkled isotopy. Note
that all newly created wrinkles at u = 0 can be made arbitrarily close to
embryos, and in particular removable by a modification in their disjoint
neighborhoods.
By inductively applying the rounding of sharp wrinkles procedure to wrin-
kles of depth 1, 2, etc., we modify the sharp wrinkled isotopy fu to an
isotopy fu of sharp folded embeddings. Taking into account the Remark
in part A of this section, we conclude that f0 is obtained from f0 by a
sequence of sharp pleatings. Finally, we define the required sharp folded
isotopy Hu := αu ◦ fu : V → W .
Q
Γ Γ̃
foliation .
Consider a curve Γ ⊂ Q with two fold tangencies to as shown in Fig-
ure 15.11. This is just a smoothing of the curve Γ used for the sharp pleat-
ing. Note that the two fold points have opposite characteristic vectors. By
replacing S ×[0, 1]×0 with S ×Γ, we get a manifold V folded with respect to
F with two parallel copies of S as additional components of the fold locus.
We say that V is obtained by pleating of V with basis (S, μ). Similarly to the
sharp pleating, the pleating can be performed in an arbitrarily small neigh-
borhood of S in W . Note that switching the coorientation of Σ switches
the direction of the characteristic vector field along the newly created fold
components.
15.6.2. (Pleated isotopy) Suppose V k ⊂ W k+n is folded with respect to
an n-dimensional foliation F along Σ ⊂ V . Let Ft , t ∈ [0, 1], be a homotopy
of foliations on W beginning with F0 = F , and Ω ⊂ W a neighborhood of
V . Then there exists a manifold V ⊂ Ω obtained from V by a sequence of
successive pleatings, and a diffeotopy ht : W → W supported in Ω such that
h∗t Ft = F on Op V . If the homotopy Ft is fixed on OpA ⊂ W for a closed
192 15. The h-principle for Sharp Wrinkled Embeddings
Igusa Functions
193
194 16. Igusa Functions
below some of the notions which were already associated to a leafwise Igusa
function in Section 11.6.C.
Given a leafwise Igusa function ϕ : W → R consider the following data:
• the leafwise differential dF ϕ : W → T ∗ F of the function ϕ, which
we identify via the Riemannian metric with the leafwise gradient
∇F ϕ ∈ T F ;
• the set V = V (ϕ) = dF ϕ−1 (0) ⊂ W of leafwise critical points;
• the restricted bundle Vert := T F |V ;
• the leafwise quadratic differential d2F ϕ of ϕ, which is a quadratic
form on Vert; we use the Riemannian metric to view d2F ϕ as a field
of self-adjoint operators Vert → Vert;
• the set Σ ⊂ V of leafwise A2 -points of ϕ, i.e., points where d2F ϕ has
a one-dimensional kernel; by assumption V \Σ consists of A1 -points,
i.e., points where d2F ϕ is nondegenerate;
• the kernel line bundle λ = ker(d2F ϕ|Σ ) ⊂ Vert|Σ ;
• the third leafwise differential d3F ϕ : λ → R, which is a cubic form
on λ; by assumption this cubic form is nonvanishing, and therefore,
the bundle λ is trivial and canonically oriented by d3F ϕ; we denote
by λ+ the unit vector field in λ defining its orientation.
The index of the leafwise quadratic differential d2F ϕ (v) at v ∈ V may take
the values 0, 1, . . . , n for v ∈ V \ Σ, and 0, 1, . . . , n − 1 for v ∈ Σ. Let
where Vert+ (v) and Vert− (v) are the positive and negative eigenspaces of
d2F ϕ(v), and for σ ∈ Σ we have the canonical splitting
0
V
Σ0
V1
(Ver = Vert!), where Ver+ (σ) and Ver− (σ) are the positive and negative
eigenspaces of d2F ϕ (σ). For σ ∈ Σi we have
lim Vert+ (v) = Ver+ (σ) ⊕ λ(σ) and lim Vert− (v) = Ver− (σ),
V i v→σ V i v→σ
lim Vert− (v) = Ver− (σ) ⊕ λ(σ) and lim Vert+ (v) = Ver+ (σ).
V i+1 v→σ V i+1 v→σ
0
Σ V
1
0
Σ0
V
Σ0 0
V
1
V Σ0
Theorem 3.4.7] of K. Igusa’s result from [Ig87]. We note that the homo-
logical forms of both theorems follow from V. Vassiliev’s results in [Va92].
S. Kupers proved in [Ku19] a stronger form of Vassiliev’s theorem which
imply both theorems. As was already stated, the above foliated form of
the h-principle allows us to avoid a discussion of the topology on the corre-
sponding spaces of Igusa functions, cf. [Ig87].
We will concentrate below on proving Theorem 16.1.1, and then explain the
necessary adjustments for Theorem 16.1.1. Our proof of Theorem 16.1.1
consists of four main steps. First, in Section 16.2 we show that there is
always a formal extension of a framed Igusa function, i.e., an extension
as a framed FLIF Φ. Next, in Section 16.3 we deform Φ rel. Op A to a
locally holonomic framed ζ-FLIF Φ for a distribution ζ which is homotopic
to F . Next, we construct a homotopy of distributions ζt between ζ0 = ζ
and ζ1 = F which are integrable on Op V (Φ), and show that the homotopy
can be covered by a homotopy Φ t of locally holonomic ζt -FLIFs. Finally,
we use the foliated h-principle for wrinkled functions in Theorem 13.2.4 to
make Φ 1 holonomic away from V (Φ 1 ).
The proof is essentially Igusa’s argument in [Ig87] (see pp. 438–442). Its
main step is the following lemma which will be used inductively.
16.2.2. (Decreasing the index) Let 1 ≤ j ≤ n. Suppose W is a cobor-
dism between ∂− W and ∂+ W , and for a framed ζ-FLIF (Φ, ξ) on W one
on W
ξ)
has V i = ∅ for all i > j. Then there exists a framed ζ-FLIF (Φ,
with ˜)
such that (decorating objects belonging to Φ
• Φ = Φ on Op (∂− W );
• Φ 1 = Φ1 , in particular V = V ;
• V i ∩ ∂+ W = ∅ for all i ≥ j.
∼
Φ j1 Φ ∼ j1
V V
j1 ∼ j1
Σ Σ
j ∼j
V V
∼ j1
Σj1 Σ
j1 ∼ j1
H_ V G V
H+
In what follows we will always assume that all considered FLIFs are holo-
nomic on Op A and all constructions and homotopies keep Φ|Op A fixed.
Φ
Vert
1
TΦ
Φ1
V W
The unit vector field λ+ ∈ Vert|Σ , which generates the kernel of Φ2 |Σ , admits
+ as a unit eigenvector field for the self-adjoint operator
a unique extension λ
Φ to a sufficiently (small tubular neighborhood U = Σ × [−ε, ε] of Σ in V .
2
∂(
We assume that ∂t Σ
= τ + , where t is the coordinate corresponding to the
16.3. Constructing a locally holonomic ζ-FLIF 201
n+
Vi+1
Σi
τ+
i
V
+
/ ⊂ Vert|U be the orthogonal complement to λ
second factor in U . Let Ver
/
in Vert|U , so that Ver|Σ = Ver. Thus we get a splitting
+ ,
/ ⊕ Rλ
Vert|U = Ver
which induces via ΓΦ a splitting
/ ⊕ R
Norm|U = Nor n+ , + ),
+ := (ΓΦ )−1 (λ
n / := (ΓΦ )−1 (Ver).
Nor /
U = N × Q = N × [−ε, ε] × [−ε, ε]
of Σ in W , where N is a tubular neighborhood of Σ in the (total space of the
∂ (
bundle Nor. We assume that U = Σ × [−ε, ε] × 0 ⊂ V , ∂s Σ
= n+ , and the
/ coincides with the tangent bundle to the normal fibers of the
bundle Nor
tubular neighborhood N along U .
2
Consider the foliation of R2 by the parabolas s = 4tε +C, C ∈ R, and denote
by the induced foliation on Q = {|t|, |s| ≤ ε} ⊂ R2 ; see Figure 16.6. Denote
by N the foliation of N by normal fibers, and by LΦ the n-dimensional
product foliation N × on U = N × Q.
Set ∂± U := Σ × {±ε}. By adjusting the Riemannian metric, we can arrange
that for a sufficiently small tubular neighborhood Ω ⊃ V in W the leaves
of LΦ through points of Op (∂± U ) ⊂ V intersect Ω along the normal fibers
of the tubular neighborhood Ω. We extend LΦ to Ω \ U as the foliation by
normal fibers of the tubular neighborhood Ω ⊃ V .
Note that V is folded with respect to LΦ with fold Σ and the characteristic
vector field of the fold equal to n+ . In particular, LΦ is transverse to V
away from Σ.
The restriction of the tangent bundle T LΦ to V will be called the virtual
vertical bundle and denoted by VertΦ ; see Figure 16.7. It coincides with
202 16. Igusa Functions
l ε
−ε
−ε
Φ
Norm + Vert
n
Σ τ+
1 = Φ1 and thus V = V ;
• Φ
2 = Φ2 over V \ Ω ;
• Φ
= Σ ∪ ∂Ω and Int Ω ⊂ V i−1 ;
• Σ
/ + |Int Ω = Span(Vert+ |Int Ω , θ);
• Vert
+ |∂Ω = θ.
• λ
If Φ is framed by a framing ξ = (ξ 1 , . . . , ξ n ), then we will always choose
θ = ξ i |Ω and define the framed positive stabilization by
St+ +
Ω (Φ, ξ) := (StΩ, ξ i (Φ), ξ),
Int Ω := (ξ 1 , . . . , ξ i−1 ).
where ξ|
16.3.3. (Balancing via stabilization) Any FLIF Φ can be stabilized to a
balanced one. If Φ is already balanced and χ(Ω) = 0, then St±
Ω (Φ) is balanced
as well. The statement holds also in the relative form.
Proof. Fix positive integers k, n. Let Vn (E) denote the Stiefel manifold of
n-frames in a vector space E. We need the following well-known facts about
the homotopy groups of Stiefel manifolds (see, e.g., [St51]):
(i) πi Vn (Rk+n ) = 0 for each i ≤ k − 1;
(ii) πk Vn (Rn+k ) = Z if k is even or n = 1, and Z/2 otherwise;
(iii) the canonical map πk Vn−1 (Rn+k−1 ) → πk Vn (Rn+k ) is an isomor-
phism if n > 2, and surjective if n = 2.
Note that, since V1 (Rk+1 ) S k , the surjective map πk V1 (Rk+1 )→πk V2 (Rk+2 )
in the case n = 2 of (iii) is the identity map Z → Z if k is even, and the
projection Z → Z/2 if k is odd.
Recall that dim V = k, dim W = k + n, and the bundle Vert → V has
rank n. Thus it follows from (i) and (ii) above that the obstruction to
the existence of a homotopy fixed over A ⊂ V between two monomor-
phisms Ψ1 , Ψ2 : Vert → T W |V is a cohomology class δ(Ψ1 , Ψ2 ; V, A) ∈
H k (V, A; πk Vn (Rn+k )), or more precisely a cohomology class with coeffi-
cients in the local system πk Vn (Tv W ), v ∈ V . Recall the homomorphism
ΔΦ : Vert → VertΦ → T W |V defined in equation (17). We claim that
Φ St± (Φ) χ(Ω)Θ if k is even,
(18) δ(Δ , Δ Ω ; Ω , ∂Ω ) =
±χ(Ω)Θ if k is odd
1 1 1
f+ ~ f
0 0 0
U’ U’ U’
2
Recall that on ∂± U we have t = ±ε and thus u = − 4tε = −4ε < −2ε.
√
ε
Hence, near ∂± U we have b(u) = 2|t| and
next result shows that if V = V (Φ) for a locally holonomic ζ-FLIF Φ, then
the pleating can be realized by a homotopy of locally holonomic ζ-FLIFs.
16.4.1. (Pleating of framed leafwise Igusa functions)
(a) Let Φ be a locally holonomic ζ-FLIF and V the result of pleating V =
V (Φ) with a basis (S, μ), where μ ∈ Vert± |S . Then Φ can be deformed,
keeping it fixed outside Op W S, to a locally holonomic ζ-FLIF Φ such that
=V.
V (ϕ)
(b) Suppose that Φ is framed with a framing ξ, and if μ ∈ Vert− assume in
addition that μ = ±ξ i for one of the framing fields ξ i . Then the pleating of
V with basis (S, μ), followed by an additional compensating pleating, can be
realized by a deformation in Op W S of (Φ, ξ) to a locally holonomic framed
ζ-FLIF (Φ,
ξ).
3ε
ε
−ε ε−
2ε3 2
ε
t
−ε2 2ε 3
− 3ε
of the function ϕ.
Figure 16.9. The singular locus V
Γ1 −
+
−
µ
+
− +
Γ2
+ +
µ ξi
− −
_
Γ2
µ −
−
+ + ξi
on the arc V 1 , while for ϕ = −s2 it takes place along a point outside of this
arc.
The general case can be reduced to the case n = k = 1. By the Parametric
Morse Lemma 11.2.2, the function ϕ can be written on Op W S in the form
ϕ(σ, t, X+ , X− ) = X+ 2 − X− 2 + g(σ, t).
Here (σ, t) ∈ S × [−1, 1] are coordinates on a tubular neighbourhood U ⊂ V
of S = S × 0 and X± ∈ Vert± , identifying a tubular neighborhood of U in
W with its neighborhood in the total space of the bundle Vert. Suppose
that μ takes values in Vert+ (the case μ ∈ Vert− is analogous). Then we
can write X+ = sμ(σ) + X+ with s ∈ R and X orthogonal to μ(σ), After
+
adjusting ϕ by an admissible homotopy, if necessary, we can assume that
2
ϕ(σ, t, sμ(σ) + X+ , X− ) = s2 + X+ − X− 2 + g(σ, t).
t, sμ(σ) + X+
Consider the function ϕ(σ, X ) = ϕ(t,
s) + X+ 2 − X 2 +
− −
t) as above. Its leafwise critical point locus V (ϕ)
g(σ, t) with ϕ(s, is the
result of pleating of V along S in the direction μ. It remains to observe that
functions of the family uϕ + (1 − u)ϕ, u ∈ [0, 1], have no leafwise critical
points outside a neighborhood of V which can be made arbitrarily small by
decreasing the parameter ε. Hence, ϕ is an admissible deformation of ϕ.
Suppose now that ϕ is framed, and if μ ∈ Vert− , then μ = ±ξ i for one of the
framing vector fields ξ i . Then, as in the case n = k = 1, the construction
can be done in the category of framed Igusa functions with an additional
pleating.
N
V (ψ1 ) = V1 ∪ Si ,
1
where Si are the singular sets of the wrinkles. Each Si is a k-sphere folded
with respect to F along its equator. According to the Example at the end
of Section 16.1.A each of these wrinkles can be framed. This completes the
proof of Theorem 16.1.1.
Proof. Claim (a) is a special case of Theorem 16.1.1. Claim (b) is a conse-
quence of Theorem 13.2.4 and Proposition 16.5.2 below, which goes back to
F. Laudenbach and A. Douady (see [La76]) and which was communicated
to us by K. Igusa.
Proof. We will consider here only the case N = D n and leave to the reader
the general case, which uses the same idea but is more technical due to the
necessary cutoff constructions; see also [La76] and [EM00] for details.
214 16. Igusa Functions
Proposition 16.5.2 together with the long exact sequence of the pair E(N ) ⊂
E(N ) Wr(M, ∂M ) implies the isomorphism
πk+1 (Wr(M, ∂M ), E(N )) ∼= πk+1 (E(N )) ⊕ πk (E(N )).
Part 4
The Homotopy
Principle in Symplectic
Geometry
Symplectic and contact geometry lie on the borderline between the flex-
ible world, governed by the laws of the h-principle, and the rigid world,
which deals with the differential relations for which the homotopy restric-
tions sufficient for the existence of formal solutions are far from being suf-
ficient for genuine solvability. In the 1960s the conjectures of V.I. Arnold
(see [Ar65, Ar78]) were directing the development of symplectic geometry
towards rigidity, while the success of symplectic applications of Gromov’s
h-principle (see [Gr69]) put under a big question mark whether any rigid
phenomena may exist in the symplectic world, see the discussion in [Ar86]
and historical remarks in [Gr85]. For two decades after mid-1980s the rigid-
ity side dominated the development of symplectic topology. However, more
recently several new discoveries were made also on the flexible side. We will
consider in the subsequent chapters the flexible side of the symplectic story,
corresponding to its state at the time of the first edition of this book. More
recent developments will be discussed in our forthcoming book [CEM25].
We also briefly mention some rigid phenomena in Chapter 19, and refer the
readers who wish to see the rigid part of the symplectic world to Gromov’s
seminal paper [Gr85], Arnold’s paper [Ar86], as well as the books [MS98]
and [HZ94].
Chapter 17
Symplectic and
Contact Basics
219
220 17. Symplectic and Contact Basics
Let (L, ω) be a symplectic vector space, dim L = 2n. Given a linear subspace
S ⊂ L, the linear subspace
S ⊥ω = {X ∈ L | ω(X, Y ) = 0 for all Y ∈ S}
17.1. Linear symplectic and complex geometries 221
p−1 −1
S (ω) pS (ω0 ) = Sp(2n)/ U(n)
is contractible, as can be seen from the polar decomposition (see, for exam-
ple, [MS98]). Therefore, there exists a continuous section f : S(L) → H(L)
of the fibration pS : H(L) → S(L); using fiberwise polar decompositions
with respect to the metrics gω (X, Y ) = ω(X, JY ) where (J, ω) = f (ω) we
224 17. Symplectic and Contact Basics
can realize the contraction simultaneously in all fibers. Thus, the projection
pS is a homotopy equivalence.
Remarks.
1. The space Hω = p−1 S (ω) admits another interpretation which manifests
its contractibility. Namely, Hω can be identified with the so-called Siegel
upper half-space, i.e., the space of matrices of the form A + iB where A, B
are real symmetric n × n-matrices and B is positive definite; see [Si64] for
the details.
2. Instead of H(L) one can consider the bigger space H(L) of all pairs (J, ω)
satisfying only the positivity condition
ω(X, JX) > 0 for all X ∈ L.
A proposition similar to 17.1.1 is valid also for H(L) and the projections
pJ : H(L)
→ J (L) and pS : H(L) → S(L).
The following proposition is the starting point for the symplectic stability
results.
230 17. Symplectic and Contact Basics
Indeed, we have
˙ t ) = −ω̇t .
Lvt ωt = d(vt ωt ) = −d(α̇t ) = −(dα
Here are a few remarkable corollaries of this proposition:
Proof.
(Stability near a compact set) The isotopy
ϕt : Op A → W
ωt = (1 − t)ω0 + tω
necessarily the contact form α0 !). The contact forms have no local invari-
ant either: any contact form on a (2n + 1)-dimensional manifold is locally
isomorphic to the standard contact form α0 on R2n+1 (see Theorem 17.5.2
below).
Then the form η is exact, and by the Poincaré lemma there exists a primitive
β of η such that β|T E|V = 0. The form β + π ∗ α defines on a neighborhood
Op V a contact structure ξ with the required properties.
One can prove for contact structures stability results similar to Theorem
17.3.2 in the symplectic case.
d ∗
0 = ġt ϕ∗t αt + gt (ϕ αt ) = gt ϕ∗t (Lvt αt + α̇t + ht αt ) ,
dt t
ġt
where ht ◦ ϕt = gt . Equivalently, we get
Note that if vt and ht satisfying this equation are found, then gt can be
t
hs ◦ϕs ds
reconstructed by the formula gt = e0 .
But
(vt dαt )|ξt = vt (dαt |ξt ) = −α̇t |ξt ,
hence
vt dαt = −α̇t − ht αt .
The following theorem can be deduced from Lemma 17.5.1 in the same way
as Theorem 17.3.2 was deduced from Proposition 17.3.1.
17.5. Contact stability 239
Remarks.
1 All the above statements hold parametrically. See, however, the
remark after Theorem 17.3.2.
2 The equation Lvt αt = −α̇t , which defines an isotopy preserving the
form α rather the contact structure Ker α, can be solved near any
submanifold L ⊂ V provided the Reeb vector field Rα is transverse
to L. In particular, the stability claim in Darboux’s theorem and
the contact Weinstein theorem holds for contact forms and not only
contact structures.
240 17. Symplectic and Contact Basics
We will show below (see Sections 22.1 and 24.1) that isotropic and, in par-
ticular, Legendrian immersions into a contact manifold satisfy all forms of
the h-principle. On the other hand, the literally understood h-principle fails
for isotropic immersions into a symplectic manifold. Indeed, in order that
a map f : L → (W, ω) be homotopic to an isotropic immersion, we have a
necessary cohomological condition f ∗ [ω] = 0 ∈ H 2 (L). Similarly, given a
map f : (L, A) → W which is an isotropic immersion on a neighborhood
Op A of a polyhedron A ⊂ L, vanishing of the relative cohomology class
[f ∗ ω] ∈ H 2 (L, A) is necessary in order that the map f be homotopic rel A
to an isotropic immersion. As we will see in Sections 22.1 and 24.3, the
isotropic and, in particular, Lagrangian immersions into symplectic mani-
folds satisfy a modified form of the h-principle augmented by these additional
necessary conditions.
It will be important for our applications to observe the following simple fact.
17.7.1. (Symplectic cutting-off ) Let X be a Hamiltonian vector field
on a symplectic manifold V . Then for any compact subset A ⊂ V and its
neighborhood U ⊃ A there exists a Hamiltonian vector field X̃A,U which is
supported in U and which coincides with X on A.
Indeed, any Hamiltonian function can be cut off to 0 away from any given
neighborhood U ⊃ A.
Indeed, any contact Hamiltonian function can be cut off to 0 away from any
given neighborhood U ⊃ A.
Symplectic and
Contact Structures on
Open Manifolds
245
246 18. Symplectic and Contact Structures on Open Manifolds
Scont → Scont or S+
cont → Scont .
+
where the vertical arrows are natural homotopy equivalences. The set Rcont
is open and Diff V -invariant. Hence, Theorem 18.3.1 implies the following
homotopy principle for cooriented contact structures on open manifolds.
18.4. Two-forms of maximal rank on odd-dimensional manifolds 249
S+
cont → Scont
+
is a homotopy equivalence.
Theorem 18.3.2 can be generalized to cover the case of not necessarily coori-
entable contact structures. As we explained above in Section 17.4.C, any
tangent hyperplane field ξ on V can be defined by a Pfaffian equation
α = 0, where the 1-form α is valued in the not necessarily trivial line bundle
L = T L/ξ. The contact condition for ξ means, as usual, that dα|ξ is non-
degenerate, where the form dα is also valued in L. It is straightforward to
extend Theorem 18.3.1 to cover the case of relations
Both h-principles 18.2.2 and 18.3.2 also hold in the relative version, when
one wants to extend a symplectic or contact structure from a neighborhood
of a subcomplex of codimension > 1.
The same argument proves the relative version of the above h-principle. A
contact analogue of Theorem 18.4.1 will be discussed in Section 22.2.
Chapter 19
Symplectic and
Contact Structures on
Closed Manifolds
251
252 19. Symplectic and Contact Structures on Closed Manifolds
The first integral is positive. Hence, the second integral is positive as well.
But this integral is independent of the choice of a primitive of the form
ω|∂D2n , and hence it does not depend on the choice of ω . We will refer to
the positivity of this integral as the positivity condition.
The answer to (a) is negative in all dimensions. This can be deduced from
Gromov’s nonsqueezing theorem from [Gr86]; see [El15]. Problem (b) is
open in dimension 2n > 4. In the four-dimensional case a theorem of Gro-
mov (see [Gr85]) asserts that the answer is positive to the question about
existence of a diffeomorphism f with f ∗ ω = ω0 . However, it is unknown
whether f can be chosen isotopic to the identity.
B. Homotopy principle.
Question. Does the h-principle 18.3.2 hold for closed manifolds V ?
It turns out that the existence h-principle for contact structures on closed
manifolds does hold in all dimensions. In dimension 3 it goes back to
J. Martinet [Ma71] and R. Lutz [Lu77], and for the higher-dimensional
case it was proven in [BEM15].
However, as was discovered by D. Bennequin, the 1-parametric h-principle
fails, at least in the three-dimensional case.
19.2.1. (D. Bennequin [Be83]) There exists a contact structure ζ on S 3 ,
which is homotopic to the standard contact structure ξ on S 3 as a plane field,
which defines the same orientation of S 3 as ξ, but which is not equivalent
to ξ.
C. Extension problem. Does the h-principle hold for the extension prob-
lem of contact structures from Op ∂D 2n+1 to D 2n+1 ? In particular,
(a) Suppose a contact form α on Op ∂D 2n+1 formally extends to D 2n+1 ,
i.e., there exists a pair α̃, ω on D 2n+1 such that the nonvanishing
form α̃ extends α, the 2-form ω extends dα, and ω|ξ̃=Ker ã is non-
degenerate. Does α extend to D 2n+1 as a contact form?
(b) Let α be a contact form on D 2n+1 which coincides over Op ∂D 2n+1
n
with the standard contact 1-form α0 = dz − pi dqi . Suppose
1
that α0 and α are formally homotopic relative to the boundary,
i.e., (α, dα) and (α0 , dα0 ) are homotopic through sections of Rcont
which coincide with (α0 , dα0 ) over Op ∂D 2n+1 . Is there a diffeotopy
of D 2n+1 fixed over Op ∂D 2n+1 which moves α into α0 ?
The situation with these problems is very much the same as in the closed
case. The answer to both questions is positive in the class of overtwisted
contact structures, and known to be negative at least in some cases when
the extension is required to be tight.
Problem. Let ξ is a germ of tight contact structure on the boundary
∂D 2n+1 of the (2n + 1)-disc D 2n+1 which formally extends to D 2n+1 . Does
it extend as a genuine tight contact structure?
The answer is positive in dimension 3 (see [El92]) but the problem is open
in higher dimensions.
n
ωfold = x1 dx1 ∧ dy1 + dxj ∧ dyj .
j=2
The set of points where ω is equivalent to the degenerate form ωfold and
x1 = 0 is called the folding hypersurface. A folded symplectic manifold V
and the folding hypersurface Σ may be nonorientable, in which case the
homology class [Σ] ∈ H2n−1 (V ; Z/2) is nontrivial. If V is orientable, then Σ
is coorientable and divides V into two manifolds V+ and V− with common
boundary Σ (defined by the sign of ω n with respect to an orientation of V ).
Exercises.
1. Verify that for an orientable manifold V a folded symplectic structure can
be modified in a neighborhood of Σ to get two compact symplectic manifolds
(V+ , ω+ ) and (V− , ω− ) with boundary Σ such that j ∗ ω+ = ω− , where V =
V+ ∪Σ V− and j is an orientation reversing involution j : N (Σ) → N (Σ) of
a tubular neighborhood of Σ with fixed point set Σ. Conversely, two such
symplectic structures ω± on V± can be modified into a folded symplectic
structure on V with folding hypersurface Σ.
2. Let V be an orientable connected 2n-dimensional manifold. Show that V
admits a folded symplectic structure if and only if V admits a stable almost
complex structure, i.e., a complex structure on the stabilized tangent bundle
T V ⊕ ε2 , where ε2 is the trivial rank 2 real bundle (see [CdS10]).
19.3. Folded symplectic and contact structures 257
Embeddings into
Symplectic and
Contact Manifolds
259
260 20. Embeddings into Symplectic and Contact Manifolds
The relative open case of Theorem 20.1.1 will be deduced from the following
proposition.
Ft : T M → T W, bs Ft = f0 |M
262 20. Embeddings into Symplectic and Contact Manifolds
by the formula
hσt (x1 ) = (x1 , 0, tε sin θ(x1 ), tε(1 − cos θ(x1 )), 0, . . . , 0).
20.1. Isosymplectic embeddings 263
q
where β σ = xi dyi is the primitive of the symplectic form ωW |Op I . In
1 '
Aσ
particular, for ε = N π we get
β σ = t2 Aσ ,
hσ
t (I)
and choosing the absolute value of N sufficiently large, we can make the
isotopy hσt be arbitrarily C 0 -close to the inclusion I → Op I. Now we define
an isotopy ft : L1 → W by setting ft |σ = hσt ◦ f0 |σ for each 1-simplex
σ ⊂ L1 . Again using 17.3.2 we can extend ft to an isotopy on Op L1 making
f1 isosymplectic on Op L1 . We extend this isotopy arbitrarily to the whole
V , still denoting it ft . We claim that the resulting embedding f1 satisfies
∗
f1 ωW = ωV
Δ Δ
where the last sum runs over the 1-simplices σ in the boundary of Δ. For
each such σ the map F : [0, 1] × σ → W is given by F (t, x) = hσt ◦ f0 (x) and
lands in the set Op I on which ωW = dβ σ . So again by Stokes’s theorem we
obtain
∗ ∗ σ ∗ σ σ
F ωW = F β = f1 β = β = Aσ = α,
[0,1]×σ ∂([0,1]×σ) σ σ
hσ
1 (I)
Step 2.
20.1.4. There exists an isotopy ft : V → W fixed on Op (A ∪ L1 ) and a
family of 1-forms αt , t ∈ [0, 1], α0 = 0, supported in V \ Op (A ∪ L1 ) such
that
• f1 |M is symplectic;
• the form ωt := f1∗ ωW + dαt is symplectic on M for all t ∈ [0, 1];
• ω1 = ωV .
what can be salvaged from Moser’s theorem in the case of manifolds with
boundary.
The same argument proves the following parametric version of Lemma 20.1.7.
20.1.8. Let ωt , t ∈ P , be a family of symplectic forms on a manifold M ,
parametrized by a compact space of parameters. Then for any family rt dst ,
t ∈ P , of primitive 1-forms and any ε > 0 there exists a family of sections
Φt : M → M × Dε2 , t∈P
of the trivial bundle M ×
→ M such that Φt (x) = (x, 0) outside the set
Dε2
t∈P (Supp rt ∪ Supp st ) and
Φ∗t (ωt ⊕ dx ∧ dy) = ωt + drt ∧ dst .
Remark. The class of smoothness of the dependence on the parameter t
in the above lemma is the the same for given families ωt and rt dst and the
resulting family Φt . In particular, the statement holds also for families ωt
and rt dst continuously depending on the parameter t.
V → (V × R2 , ω0 ⊕ dx ∧ dy).
Ft : V × R → V × R
such that Ft |V ×0 = ft,m−1 , so that we automatically have
Ft∗ (
ω ⊕ 0) = ωt,m−1 ⊕ 0,
270 20. Embeddings into Symplectic and Contact Manifolds
where ωt,m−1
⊕0 is the pullback of ωt,m−1 under the projection V ×R → V .
The embedding
Φt = Id × (rt , st ) : V → V × R2 → V × R2
satisfies
Φ∗t (ωt,m−1
⊕ dx ∧ dy) = ωt,m−1 + drt ∧ dst = ωt,m .
Pick a smooth family of functions Ht : V × R → R with compact support
such that
Ht (v, rt (v)) = st (v) for v ∈ V.
Then the graph
ΓHt = {(v, u, Ht (v, u)) | v ∈ V , u ∈ R} ⊂ V × R2
contains the image Φt (V ). For each t ∈ [0, 1], denote by ϕH u the flow of
t
the time-dependent Hamiltonian Ht : V × R → R (here the flow time is u,
whereas t is a fixed parameter). Then
Ht
Ψt (v, u) = ϕH
u
t
(v), u, Ht ϕ u (v), u
defines diffeomorphisms Ψt : V × R → ΓHt and a short computation shows
Ψ∗t Ωt = ωt,m−1
⊕ 0,
where Ωt = (ωt,m−1 ⊕ dx ∧ dy)|ΓHt . Moreover, according to the Remark
preceding this proof, we can assume that the images Ψ−1 t (Φt (V )) are con-
tained in an arbitrarily small neighborhood of the 0-section V × 0. Hence
the embeddings
−1
Φt Ψt Ft
ft,m : (V, ωt,m ) −→(Γ Ht , Ωt ) −→(V × R, ωt,m−1 ⊕ 0) −→(V × R, ω
⊕ 0)
∗ (
satisfy ft,m ω ⊕ 0) = ωt,m and are thus the desired isotopy.
Remarks.
1. If the primitive forms rt dst in the preceding proof were supported in
V \ ∂V , then one could apply the construction without extending V to V .
Alternatively, one could just apply Moser’s theorem, Theorem 17.3.2.
2. The proof works also for a closed manifold V and an exact homotopy of
symplectic forms on V . In this case the result is of course not new: it is just
a version of Moser’s theorem, Theorem 17.3.2.
3. The diffeomorphisms Ψt are the key ingredient in the proof. They cannot
be made C 0 -small. Neither the application of symplectic twisting (Lemma
20.1.7) nor the smallness of the supports of the primitive forms can salvage
the C 0 -approximation property for ft . Indeed, suppose that f1 is ε-close
to f0 . Let f 1 : V → V be the immersion which is the composition of the
embedding f1 with the projection V × R → V . Choose a ball B ⊂ V such
20.3. Isocontact embeddings 271
−1
that dist(∂B, ∂V ) > 2ε. Then f 1 (B) ⊂ IntV . Let B1 be a connected
−1
component of f 1 (B). Since B1 ⊂ IntV , the restriction f 1 |B1 : B1 → B is a
covering, and thus a diffeomorphism. Hence,f 1 |B1 defines
a symplectomor-
phism (B1 , ω1 ) → (B, ω0 ), and we conclude B ω0n = B1 ω1n < V ω1n . This
gives a contradiction if we choose the family ωt such that B ω0n > V ω1n .
In view of the last remark, Theorem 20.2.1 has as a corollary the following
version of Moser’s theorem, Theorem 17.3.2, for manifolds with boundary,
which is formulated as an Exercise in Gromov’s book [Gr86, p. 335].
20.2.2. (Realization of an exact homotopy of symplectic forms
by a homotopy of equidimensional immersions) Let ωt , t ∈ [0, 1],
be a family of symplectic forms on a compact manifold V with boundary.
Suppose that all these forms belong to the same cohomology class in H 2 (V ).
Let (V , ω
) be a symplectic manifold without boundary which contains V as its
equidimensional submanifold so that ω |V = ω0 . Then there exists a regular
homotopy ft : V → V such that f0 is the inclusion V → V and
ft∗ ω
= ωt , t ∈ [0, 1].
As in the symplectic case, the contact condition is open, while the isocontact
one is not. Hence, for an open V , Theorem 18.3.2 implies the parametric
h-principle for contact immersions, while Theorem 4.5.1 (applied to the con-
tact Grassmannian Acont consisting of subspaces transverse to the contact
structure whose intersection with the contact hyperplanes is symplectic)
yields a theorem about contact embeddings. We turn now to the problem
of isocontact embeddings. Here is an analogue of Gromov’s isosymplectic
embedding theorem 20.1.1 for the contact case.
Proof. We will prove only the relative open case. The reduction of the
closed case to the open one via the microextension trick is similar to the
symplectic case, and even simpler because one does not need to worry about
the cohomological condition. The proof will follow the same strategy as in
the symplectic case, but with a few significant modifications. Since one does
not need the preliminary step to fix the cohomological condition, the proof
is based on the following two lemmas.
20.3.2. Under the assumptions of the relative open case of Theorem 20.3.1
there exists an isotopy ft : V → W connecting f0 with a contact embedding
f1 which is fixed on Op A, C 0 -close to f0 near V0 , and such that the contact
structures f1∗ ξW and ξV are homotopic via a homotopy of contact structures
fixed on Op A.
such that g01 and gt1 |Op (A∩M1 ) are the obvious inclusions. Then gt1 := f10 ◦
gt1 :
M1 → W is an isotopy of embeddings which is fixed on Op (A ∩ M1 ) and
connects g01 = f10 with an embedding g11 such that (g11 )∗ ξW = ξV |M1 . Since
gt1 lands in V1 ×Dε2 ×{0}l−m−1 and V1 has diameter < ε, the isotopy gt1 is C 0 -
small. We extend the isotopy to V (still denoting it gt1 ), keeping it C 0 -small
on V0 , and extend dg11 |T M1 to an isocontact monomorphism G11 : T V → T W
covering the extended g11 .
Next, we again apply Lemma 20.3.2 to construct an isotopy ft1 fixed on
Op (A∪M1 ) and C 0 -close to g11 on V0 connecting f01 = g11 with a contact (but
not necessarily isocontact) embedding f11 : V → (W, ξW ), and a homotopy ξt1
fixed on Op (A∪M1 ) connecting ξ01 = (f11 )∗ ξW with ξ11 = ξV . Continuing this
process, we inductively make the embedding isocontact on Mj , j = 2, . . . ,
while keeping it fixed on Op A ∪ j−1 1 Mi . After reparametrizing them over
shorter and shorter time intervals, the sequence of constructed isotopies
converges to an isotopy of embeddings V → W , agreeing with f0 on Op A
and C 0 -close to f0 on V0 , connecting f0 to an embedding f0 : V → W
which is isocontact on Op V0 and contact elsewhere. Moreover, there exists a
homotopy of contact structures ξt which is fixed on Op (A∪V0 ) and connects
f0∗ ξW with ξV . Denote A := A ∪ V0 .
To complete the proof we consider an exhaustion M ,1 ⊂ M ,2 ⊂ · · · ⊂ V ,
, ,j with boundary such that each compo-
Mj = V by compact manifolds M
nent of V \(A∪ M ,j ), j = 1, . . . , has an exit to infinity, and run the above pro-
cess again without worrying any more about the C 0 -approximation property.
276 20. Embeddings into Symplectic and Contact Manifolds
emb
Mono isot = {Ft , t ∈ [0, 1] | Ft ∈ Mono
emb
, F0 = df0 , F1 ∈ Mono emb
isot }.
The above h-principle also holds in the relative and C 0 -dense forms.
Microflexibility and
Holonomic
R-approximation
Fp : h(p) → R, p ∈ I k ,
F τ : Op v → R, τ ∈ [0, 1],
279
280 21. Microflexibility and Holonomic R-approximation
such that F τ (v) = F (v) for all τ ∈ [0, 1], F 0 coincides with F and F 1
is holonomic. In other words, the Cauchy problem with the initial data
(v, F (v)) has a local solution in any homotopy class of local sections Op v →
R.
3. Symplectic and contact stability (Theorems 17.3.2 and 17.5.2) imply that
the following closed differential relations of symplectic-geometric origin are
locally integrable:
• the differential relation Risosymp which defines isosymplectic immersions
(V, ωV ) → (W, ωW );
• the differential relations RLag and Rsub-isotr which define Lagrangian
and subcritical isotropic immersions V → (W, ωW );
• the differential relation Risocont which defines isocontact immersions
(V, ξV ) → (W, ξW );
• the differential relations RLeg and Rsub-isotr which define Legendrian
and subcritical isotropic immersions V → (W, ξW ).
21.3. Microflexibility 281
21.3. Microflexibility
The notion of a microflexible differential relation, which we introduce in this
section, roughly corresponds to Gromov’s notion of a microflexible sheaf; see
[Gr69] and [Gr86].
Let us recall that the term holonomic homotopy (or holonomic deformation)
is used in a sense of homotopy consisting of holonomic sections.
Let K m = [−1, 1]m . For a fixed n and any k < n, we denote by θk the pair
(K n , K k ). Let, as usual, V be an n-dimensional manifold. A pair (A, B) ⊂ V
is called θ-pair or, more precisely, θk -pair, if (A, B) is diffeomorphic to the
standard pair θk .1
2. The differential relation Rhol ⊂ (X (r) )(1) , which defines holonomic sec-
tions of X (r) , is flexible.
3. The differential relation Rclo ⊂ (Λp V )(1) , which defines closed p-forms
on V , is k-flexible if k = p. For k = p the relation Rclo is neither k-flexible
nor k-microflexible.
21.5. Local h-principle for microflexible Diff V -invariant relations 283
The proof of this theorem literally repeats the proof of the original Holo-
nomic Approximation Theorem 3.1.1. When working over a cube, the local
integrability provides the first step of the induction. Then the microflexibil-
ity implies the version of Interpolation Property 3.6.1 which is required for
the proof of Inductive Lemma 3.4.1. Finally we proceed inductively over the
skeleton of the polyhedron A. Note that the homotopy extension property
21.2.2 allows us to extend the holonomic solutions obtained at each step of
the induction as formal solutions to Op A.
The relative and the parametric versions of Theorem 3.1.1 also hold. In the
relative version the section F is assumed to be already holonomic over Op B,
where B is a subpolyhedron of A. The diffeotopy hτ and the section F can
be constructed in this case so that hτ is fixed on Op B and F coincides with
F on Op B.
21.5.1. (Local h-principle) All forms of the local h-principle hold for lo-
cally integrable and microflexible Diff V -invariant differential relations near
any polyhedron A ⊂ V of positive codimension.
The proof repeats almost literally the proof of Theorem 8.3.1. The only
problem is the construction of a homotopy between formal and genuine
solutions which lies in R. The linear homotopy does not necessarily lie in R.
In general, the construction of a homotopy in R requires some additional
work. However, if R is a local neighborhood retract, then one can just
compress the linear homotopy into R by the retraction. This case is sufficient
for all our further applications. We leave the general case to the reader as
an exercise; the key to the construction of homotopy is the first exercise in
Section 21.1.
According to Theorem 8.3.2, Theorem 21.5.1 implies
21.5.2. (Gromov [Gr69]) Let V be an open manifold and X → V a
natural fiber bundle. Then any locally integrable and microflexible DiffV -
invariant differential relation R ⊂ X (r) satisfies the parametric h-principle.
First Applications of
Microflexibility
285
286 22. First Applications of Microflexibility
the case of isotropic immersions into contact manifolds, all these results are
not too exciting. The only interesting thing is how one can fight the lack of
microflexibility. We will explain it later in Section 24.3 where we prove the
h-principle for Lagrangian immersions of closed manifolds.
Proof. Set
Rimm-trans = Rimm ∩ Rtrans .
Consider a mixed differential relation
Rimm-trans-tang ⊂ J 1 (V × R, W )
which corresponds to immersions V ×R → (W, ξ) transverse to ξ but tangent
to ξ along each fiber v × R, v ∈ V . The openness of the relation Rimm-trans
and the local integrability and microflexibility of the relation Rtang imply
the local integrability and microflexibility of the relation Rimm-trans-tang . The
relation Rimm-trans-tang is invariant with respect to diffeomorphisms of the
form
(x, t) → (x, h(x, t)), x ∈ V, t ∈ R,
and hence according to Proposition 21.5.3 all forms of the local h-principle
hold for Rimm-trans-tang . The local h-principle for Rimm-trans-tang implies the
h-principle for Rimm-trans . Indeed, the restriction to V × 0 of any solution of
Rimm-trans-tang on Op (V × 0) ⊂ V × R is a solution of Rimm-trans on V . On
the other hand, any formal/genuine solution of Rimm-trans over any simplex
Δ in V can be extended to a formal/genuine local solution of Rimm-trans-tang
on Δ × R.
Remark. Theorems 22.2.1 and 22.2.2 remain true (with the same proofs)
for any distribution ξ on W for which the differential relation Rtang ⊂
J 1 (R, W ) which defines isotropic immersions R → (W, ξ), i.e., the maps
which are tangent to ξ, is microflexible. Thus to solve Gromov’s exercise
for a general completely nonintegrable distribution one needs to establish
a suitable microflexibility property for the relation Rtang . In fact, the re-
lation Rtang is not always microflexible. Indeed, R. Bryant and L. Hsu
(see [BH93]) have shown that most nonintegrable distributions (e.g., En-
gel structures, which are maximally nonintegrable 2-plane fields on four-
dimensional manifolds) possess rigid integral curves. In other words, the
corresponding space of integral curves contains isolated points. This, of
course, contradicts the microflexibility of the corresponding relation Rtang .
Despite this difficulty, Gromov’s exercise has been solved in the general case
by A. Bhowmick [Bh22].
288 22. First Applications of Microflexibility
Theorem 22.2.2 together with the h-principle for contact structures on open
manifolds (see Section 18.3.2) implies the following theorem of McDuff about
maximally nonintegrable tangent hyperplane distributions on even-dimen-
sional manifolds. This theorem is a contact analogue of Theorem 18.4.1.
A similar argument proves also the parametric and relative versions of the
h-principle 22.2.3.
Chapter 23
Microflexible
A-invariant Differential
Relations
289
290 23. Microflexible A-invariant Differential Relations
The two examples of capacious subgroups most important for us are the
identity component of the group of compactly supported contact diffeo-
morphisms of a contact manifold, and the group of compactly supported
Hamiltonian diffeomorphisms of a symplectic manifold.
Remark. The notion of a capacious subgroup of diffeomorphisms is a
version of the notion of a set of sharply moving diffeotopies in Gromov’s
book [Gr86].
Proof. The only problem here, compared with the proof of the h-principle
21.5.1 for microflexible DiffV -invariant relations, is that the fibered shifting
diffeotopy hτ , provided by the Holonomic R-approximation Theorem 21.4.1,
does not necessarily belong to the subgroup A. Let us recall here the scheme
of the proof of 21.4.1 and show how this problem could be corrected.
First we observe that the property (CAP2 ) guarantees that the polyhedron A
can be subdivided to ensure that each of its simplices Δ admits a transverse
vector field vΔ ∈ a. Next we choose near each simplex Δ a coordinate
system as in Theorem 3.2.1, which identifies a slightly smaller domain in
the simplex with the coordinate cube I k , and the vector field vΔ with the
coordinate vector field ∂x∂n . The key ingredient in the proof of Theorem
3.2.1 is Inductive Lemma 3.4.1 and its second version 3.5.1. No changes are
necessary in the proof of Inductive Lemma 3.4.1 (except that we substitute
23.2. Local h-principle for microflexible A-invariant relations 291
We also set
i =
U i,z , Ai =
U Ai,z , Bi = Bi,z , i = 1, . . . , N.
z∈I k−l−1 z∈I k−l−1 z∈I k−l−1
To finish the proof we need the following analogue of Lemma 3.5.1.
23.2.2. For i = 1, . . . , N there exist compactly supported diffeotopies hτi :
i → U
U i , τ ∈ [0, 1], such that
• hτi ∈ A;
i ) ∩ Ai = ∅.
• h1i (I k ∩ U
Now we can complete the proof of Theorem 23.2.1. Notice that the isotopies
hτi , i = 1, . . . , N , fit together into a smooth isotopy hτ ∈ A which is defined
on Op I k , and has the property that the image h1 (z × I × I l ) is contained
in the domain Ωz where the holonomic section Fz provided by Inductive
Lemma 3.4.1 is defined. Hence, one can use h1 to pull back the section Fz
to a neighborhood of z × I × I l and thus continue inductively in constructing
the solution of R precisely as in the proof of Theorem 3.2.1.
Chapter 24
Further Applications to
Symplectic Geometry
293
294 24. Further Applications to Symplectic Geometry
A monomorphism
F : (T V, η) → (T W, ξ = Ker α)
(
is called isocontact if it is transverse to ξ and F ∗ dα (η ∈ Sec Dη.
24.2.1. (Gromov [Gr86] and Datta [Da97]) Let (W, ξ) be a contact
manifold and η an arbitrary tangent distribution on a manifold V . Let
A ⊂ V be a polyhedron of positive codimension.
(a) All forms of the local h-principle hold for isocontact immersions
(Op A, η) → (W, ξ).
(b) If dim W > dim V , then all forms of the global h-principle hold for
isocontact immersions (V, η) → (W, ξ).
Proof of 24.2.1. The global h-principle in the case dim W > dim V fol-
lows from the local one via the standard microextension argument. So we
will prove here only the local h-principle and only in the nonparametric
case, and we will leave the general case as an exercise to the (already very
experienced) reader.
296 24. Further Applications to Symplectic Geometry
Proof. As in the proofs of 24.3.1 and 24.3.2 we can reduce the problem for
Lagrangian (isotropic) sections Op A → U to the problem about Legendrian
(isotropic) sections Op A → (U × R, ξ = Ker (dz − α)). The differential
relation which corresponds to the Legendrian problem is locally integrable,
298 24. Further Applications to Symplectic Geometry
Proof. To spare the reader from extra indices, we consider here only the
nonparametric case. Let F be a section from Sec0Op A Risosymp and f :
Op A → W its underlying map. Let us choose an open neighborhood U of
the 0-jet part of the section F , i.e., of the graph f (x) = (x, f (x)), x ∈ Op A.
Note that isosymplectic immersions Op A → W can be characterized by the
property that their graphs are isotropic with respect to the symplectic form
Ω = ωV ⊕ (−ωW ) on J 0 (V, W ) = V × W . By assumption the form Ω|U
is exact, and hence we can use Lemma 24.4.1 to C 0 -approximate f by an
isotropic section x → (x, g(x)), x ∈ Op A. Then g : Op A → W is the
required isosymplectic immersion.
Theorem 24.4.2 and the microextension trick imply the following theorem.
24.4.3. (Homotopy principle for isosymplectic immersions, Gro-
mov [Gr86]) All forms of the h-principle hold for isosymplectic immersions
(V, ωV ) → (W, ωW ) as long as dim V < dim W and the algebraic condi-
tion [f ∗ ωW ] = [ωV ] is incorporated in the definition of formal solutions of
Rsymp-iso .
Convex Integration
Chapter 25
One-Dimensional
Convex Integration
25.1. Example
Let us call a path
r : I = [0, 1] → R2 , r(t) = (x(t), y(t)),
short if ẋ2 + ẏ 2 < 1. The graph of a short path in the space-time R3 = R×R2
(where the space is two dimensional) is a time-like world curve: its tangent
line at a point (t0 , x0 , y0 ) lies inside the light cone
(t − t0 )2 ≥ (x − x0 )2 + (y − y0 )2 ,
assuming that the speed of light c = 1 (see Figure 25.1).
x,y
303
304 25. One-Dimensional Convex Integration
The above exercise implies that the space of solutions I → R2 of the dif-
ferential equation ẋ2 + ẏ 2 = 1 is C 0 -dense in the space of solutions of the
differential inequality ẋ2 + ẏ 2 < 1.
The exercise illuminates the following idea: given a first order differential
relation for maps I → Rq , it is useful to consider a relaxed differential
relation which is the fiberwise convex hull of the original relation. A direct
implementation of this idea in the context of ordinary differential equations
(ODEs) is known to specialists in control theory as Filippov’s relaxation
theorem ([Fi67]). A far more subtle implementation in the context of partial
differential equations (PDEs) is known to specialists in differential topology
as Gromov’s convex integration theory ([Gr73], [Gr86]). It is interesting
to mention that for a long time specialists from both sides did not know
about the existence of a parallel theory. It was D. Spring who pointed out
the connection; see the discussion and historical remarks in [Sp98].
Indeed, the ampleness of the relation R implies that any formal solution of
R is short, and hence we can apply Lemma 25.3.1.
25.3.3. (Corollary) Let R ⊂ J 1 (R, Rq ) be an open and fiberwise path-
connected differential relation. Then the space of solutions I → Rq of R is
C 0 -dense in the space of solutions of Conv R. If, in addition, R is ample
and fiberwise nonempty then the space of solutions I → Rq of R is C 0 -dense
in the space of all maps I → Rq .
Indeed, the assumption that R is open and fiberwise path-connected guar-
antees the existence of a formal solution F = (f, ϕ) of R for any solution f
of Conv R, and hence we can apply Lemma 25.3.1.
The ordering of petals is not essential for our purpose. We will denote by
∂S the union of free ends of the petals Ii , i = 1, . . . of the flower S.
25.4. Proof of the main lemma 307
Proof. In the general case of Lemma 25.3.1 we can put z = y − f (t) and
consider, instead of R ∼ {ẏ ∈ Ω(t, y)}, the variation relation along f (t)
R ∼ {ż ∈ Ω(t,
z) = Ω(t, z + f (t)) − f˙(t)}
and its short formal solution (0, ϕ − f˙). To reduce further, we need the
following
25.4.2. (Sublemma) Let R ⊂ J 1 (R, Rq ) be an open differential relation
and
F = (0, ϕ) : I → R
be a short formal solution. Then there exists a number δ > 0 such that for
any t0 ∈ [0, 1 − δ] one can choose a flower
Ψ = Ψ(t0 ) ⊂ Pt0 ,0 Rq
with the properties
(a) 0 ∈ Int Conv(∂Ψ);
(b) ψ0 (t) = ϕ(t0 + δt), t ∈ I;
(c) [t0 , t0 + δ] × Dεq × Ψ ⊂ R for sufficiently small ε > 0.
308 25. One-Dimensional Convex Integration
In what follows we will need the two following evident properties of the
uniform product.
25.4. Proof of the main lemma 309
For what follows we need to balance the loop ψ, i.e., we need the equality
1
ψ(t)dt = 0.
0
This can be achieved by adjusting the weights of constant paths. Indeed,
let 1 1 1
d= ψ(t) dt = ψ(t) dt − δ(t) dt ∈ Rq .
0 0 0
Then d < Cρ, where
C = max ψ(t), t ∈ I.
If ρ is sufficiently small, then d ∈ Int{(1−ρ) Δ} where Δ = Conv{a1 , . . . , ak }.
Here the multiplication by (1 − ρ) means the homothety centered at the ori-
gin. Note that
(1 − ρ)Δ = Conv{(1 − ρ)a1 , . . . , (1 − ρ)ak }.
Hence we can present −d as the convex combination
1 (1 − ρ) a1 + · · · + α
−d = α k (1 − ρ) ak .
Therefore, if we assign the new weights
1 (1 − ρ), . . . , α
α q+1 (1 − ρ)
to the constant paths ai , then the integral of ψ(t) will be equal to 0.
Let
ϕ1 = ψ • ψ • · · · • ψ •ψ
N −1
be the uniform product of N factors, and f1 be defined by the formula
t
f1 (t) = ϕ1 (σ) dσ.
0
Then 25.4.4 implies that
1
f1 C 0 =max{gC 0 , hC 0 },
N
where
g = ψ(σ) dσ and h = ψ(σ) dσ.
If N is sufficiently large, then F1 = (f1 , ϕ1 ) is a genuine solution of R and,
moreover, F1 satisfies the boundary conditions. The construction of the
homotopy (fτ , ϕτ ) is straightforward: the linear homotopy τ f1 (t) consists
of solutions of Conv R, and together with the canonical homotopies
ψi ◦ ψi−1 ∼ v0 = ϕ(0)
it gives us the required homotopy Fτ = (τ f1 , ϕτ ) in R. This finishes off the
proof of the Main Lemma 25.3.1.
Remarks.
1. If the formal solution F is already genuine near ∂I, then the homotopy
Fτ can be chosen fixed near ∂I. Indeed, we can apply Lemma 25.5.1 to a
smaller set I l × [δ, 1 − δ] ⊂ I l × I.
The proof will follow the same scheme as in the nonparametric version.
Proof. Let t0 ∈ I. First take a fibered flower which consists of just its stem
parametrized by the map ψ0 : (p, t) → ϕ(p, t0 + δt) (the number δ will be
chosen later).
For every fixed p0 ∈ I l we can choose a flower Ψp0 as in Sublemma 25.4.2,
and using the openness of R extend Ψp0 over a neighborhood U of p0 ∈ I l
such that for all p ∈ U
• ψi (p, t) are paths in Conn F (p,t0 ) R, and
• 0 ∈ Int Conv(∂Ψp ).
Hence, we can choose a finite covering of I l by open sets Uj , j = 1, . . . , L,
such that over every Uj we have, as above, a flower fibered over Uj , which
we denote by ΨUj . Suppose that its petals are parametrized by the maps
U
ψi j : Uj × I → R, i = 1, . . . , Nj , j = 1, . . . , L.
Let Uj ⊂ Uj , j = 1, . . . , L, be slightly smaller open sets such that
L
Uj ⊂ Uj and Uj ⊃ I l .
1
Homotopy Principle
for Ample Differential
Relations
317
318 26. Homotopy Principle for Ample Differential Relations
Examples.
1. If n < q, then the immersion relation Rimm ⊂ J 1 (Rn , Rq ), which consists
of all matrices of rank n, is ample in the coordinate directions. Indeed, for
any z = (x, y, a) ∈ Rimm and any coordinate principal subspace P = P i (z)
we have P ∩ R = P \ L where L is an (n − 1)-dimensional linear subspace in
P Rq spanned by all the columns of the matrix a except the ith column.
The codimension of L in P is less than 1 and hence Conv(P ∩ R) = P .
2. If n ≥ q, then the submersion relation Rsubm ⊂ J 1 (Rn , Rq ), which con-
sists of all matrices of rank q, is not ample in the coordinate directions.
Indeed, for any z = (x, y, a) ∈ Rsubm and any coordinate principal subspace
P = P i (z) we have P ∩ R = P \ L where L is a (q − 1)-dimensional linear
subspace in P Rq spanned by all the columns of the matrix a except the
ith column. Therefore P ∩ R consists of two open half-spaces, and thus is
not ample.
A singularity
Σ ⊂ J 1 (Rn , Rq ) = J 0 (Rn , Rq ) × Mq×n
is called thin in the coordinate directions if it intersects all the coordinate
principal subspaces along stratified subsets of codimension ≥ 2. In this case
the complement R = J 1 (Rn , Rq ) \ Σ is a differential relation ample in the
coordinate directions.
as the path-connected component of R∩P 1 (F (t, p)) which contains the point
F (t, p). Here we use the canonical identification P 1 (F (t, p)) Rq . In order
to expand Rp to a small neighborhood of the graph of f , one can slightly
decrease the (open!) sets Ωp (f (t, p)) in such a way that the new sets are still
ample and for a sufficiently small ε the product
Now we can apply Lemma 25.5.1 to the fibered relation R1 and its fibered
formal solution (f (t, p), ϕ1 ), which is automatically short because the rela-
tion R is ample. As a result we get a genuine solution (f 1 (t, p), ∂t f 1 (t, p))
of the relation R1 and hence the new formal solution
F 1 = (f 1 ; ∂x1 f 1 , ϕ2 , . . . , ϕn )
Alternatively the 1-jet space X (1) can be considered as the space of all
nonvertical n-planes ξ in T X. In this interpretation principal subspaces are
nonvertical n-planes which contain a fixed nonvertical (n − 1)-plane in Tx X.
Any principal subspace in X (1) has a natural affine structure, but no natural
linear structure, even in the case of a trivial fibration X = V × W → V .
Directed Immersions
and Embeddings
ΩS = {v ∈ Tw W | Span{S, v} ∈ Aw } ⊂ Tw W
is ample.
323
324 27. Directed Immersions and Embeddings
Proof. Let us check that the above condition implies the ampleness of RA .
Note that any principal subspace is a coordinate principal subspace for a
certain local coordinate system, and by choosing a local coordinate system,
we can work in J 1 (Rn , Rq ). For s = (x, y, a) ∈ RA let P = P i (a) be a co-
ordinate principal subspace over (x, y). The subspace P can be canonically
identified with Ty Rq . The intersection P ∩RA consists of all vectors v ∈ Ty Rq
such that Span{S, v} ∈ A, where S ⊂ Ty Rq is the (n − 1)-dimensional linear
subspace spanned by all the columns of the matrix a except the ith col-
umn. Thus this intersection is equal to ΩS , and hence ample. The opposite
implication follows from the Diff V -invariance of the relation RA .
27.3.1. (Gromov [Gr86]) The relations Rreal and Rco-real are ample and
hence all forms of the h-principle hold for real and co-real immersions V →
(W, J).
Exercise.
1. Find an example of the ample differential relation RA which is not affine
ample.
and ample and hence we can apply convex integration to its formal solution
F = Φ(1) (df0 (V )). Let ft1 : V → X ⊂ W be the resulting embedding.
Now we can apply the same construction to a tubular neighborhood X of
ft1 (V ) ⊂ W , the differential relation RXA2 ⊂ X
(1) , and its formal solution
(2)
F = Φ (dft1 (V )). We can continue this way. The embedding ftN = f1 will
have the required properties. The approximation property follows from the
possibility to approximate at each step.
331
332 28. First Order Linear Differential Operators
and the vectors v3i , . . . , vqi belong to the kernel of the map
D|Pi : (Pi , 0) → (Pi , ai ).
Let {αji } and {βj } be the coordinates in P and Zv which correspond to
the basis {vji } in P and to the basis {wj } in Zv . In these coordinates the
nonempty intersection R ∩ P is given by the nonequality
( 1 (
( α1 α12 . . . . . . α1q (
( 1 (
( α2 α22 . . . . . . α2q (
( 1 (
det A = (( a3 a23 . . . . . . aq3 (( = 0,
(. . . . . . . . . . . . . . .(
( (
( a1 a2 . . . . . . aqq (
q q
where aij are constants, i.e., they do not depend on the coordinates {αlk }.
Therefore,
R ∩ P = (R2q \ {det A = 0}) × Rq(q−2) .
The complement R2q \ {det A = 0} consists of two (nonempty) path con-
nected components: a positive one where det A > 0, and a negative one
where det A < 0. We need to prove that the convex hull of each of these
components coincides with R2q . Let {Aij }i=1,...,q
j=1,2 be the matrices which cor-
respond to the standard basis in R . For every matrix A0 there exists a
2q
Proof of Theorem 28.6.1. As in the proof of Theorem 28.5.1 the key ob-
servation is that the matrix of a system of linear equations which defines
the intersection of a principal subspace with Σ is almost skew-symmetric:
aij = ±aji and aii = 0. Hence its rank cannot be equal to 1, and thus the
corresponding singularity Σ is thin. To clarify the computation, we consider
only the case m = 2. The general case can be treated in a similar way (see
[MD87a]).
Let the coordinates {yij } correspond to the derivatives ∂aj /∂xi of the co-
efficients of the 1-forms Σaj dxj and zij = yij − yji , i < j. For m = 2 the
singularity Σ is defined in local coordinates by the equation ω1 ∧ ω2 = 0,
where
ω1 = a1 dx1 + a2 dx2 + a3 dx3 + a4 dx4 ,
ω2 = z12 dx1 ∧ dx2 + z13 dx1 ∧ dx3 + z14 dx1 ∧ dx4
+ z23 dx2 ∧ dx3 + z24 dx2 ∧ dx4 + z34 dx3 ∧ dx4 .
This equation is equivalent to the system of equations
a4 z23 − a3 z24 + a2 z34 = 0
0 + a4 z13 − a3 z14 = −a1 z34
a4 z12 + 0 − a2 z14 = −a1 z24
a3 z12 − a2 z13 + 0 = −a1 z23 .
In a principal subspace P which corresponds, say, to the first coordinate in
V , only the z1j are variables ; all the other zij , and also ai , are constants. In
particular, the first equation does not contain unknowns and hence Σ ∩ P =
∅ if this equation is not an identity. If Σ = P , then the system of the last
three equations, which contain three unknowns z12 , z13 , z14 , has rank ≥ 2
and hence the singularity Σ is thin.
Chapter 29
Nash–Kuiper Theorem
341
342 29. Nash–Kuiper Theorem
It was discovered by J. Nash in 1954 that the situation is, in fact, drastically
different when one passes to C 1 -smooth immersions. In contrast to C 2 -
immersions they appeared to be extremely flexible:
29.2.1. (Nash–Kuiper) If n < q, then any strictly short immersion
f : (V n , g) → (Rq , h),
where h is the standard metric on Rq , can be C 0 -approximated by isometric
C 1 -smooth immersions. Moreover, if the initial immersion f is an embed-
ding, then f can be approximated by isometric C 1 -embeddings.
The rest of this chapter is devoted to the proof of Theorem 29.2.1. We will
consider only the case when V is compact and f is an embedding. The case
of immersions follows formally from the case of embeddings. The proof can
be easily adjusted for noncompact manifolds and also for the parametric
case. Moreover, it can be generalized to a general target manifold (W, h)
without employing any additional ideas.
Let Ai = supp(αi ◦ ui ) and gi = (u∗i g)|Ai . For every i we can find positive
quadratic forms
Qij , j = 1, . . . , N (i),
on Rn such that for every x ∈ Ai the positive quadratic form
belongs to the interior of the convex hull of the forms Qij , j = 1, . . . , N (i).
Every positive quadratic form Qij is a sum of some primitive forms (lijk )2 ,
k = 1, . . . , n. Therefore,
g= αi gijk where gijk = (u−1 ∗
i ) (dlijk )
2
ijk
∞
Indeed, the convergence of the series dg (fi , fi+1 ) is just the Cauchy con-
i=1
dition for first derivatives of the sequence fi .
29.4.2. (Approximation Theorem) Let n < q. For any ε > 0, any short
embedding f : (V n , g) → (Rq , h) can be C 0 -approximated by ε-isometric
embeddings. Moreover, we can also control the C 1 -closeness in the following
sense: given a fixed decomposition of the semi-Riemannian metric
Δ = g − f ∗h
into a sum of N primitive metrics, then for any constant ρ > 0 we can
choose an approximating embedding f which satisfies the inequality
dg (f, f) < N r(Δ, g) + ρ.
Our proof of the Nash–Kuiper theorem will consist of two parts. First we will
use the first part of Approximation Theorem 29.4.2 to construct a sequence
of embeddings fi such that
C0 C0
fi → f and fi∗ h → g.
Then we will refine our choice of the sequence fi in order to have
dg (fi , fi+1 ) < ∞.
i
The next three sections are devoted to the proof of Approximation Theorem
29.4.2.
f .
Figure 29.1. The relation Rf and R
n=2 n=3
Figure 29.2. The foliations P and L.
g − f ∗ h = α(x)(dl)2 .
f∗ ∂1 , f∗ ∂j h , 2 ≤ j ≤ n,
348 29. Nash–Kuiper Theorem
to Rfp . Therefore one can construct f such that f h will be arbitrarily close
∗
to g.
f sufficiently
As in the one-dimensional case, for any ρ > 0, by choosing R p
k
gk = f ∗ h + pi , k = 1, . . . , N,
i=1
Therefore,
dg (f, f) < N r(Δ, g) + ρ.
29.8. Proof of the Nash–Kuiper theorem 349
351
352 Bibliography
[Be00] M. Berger, Encounter with a geometer. I, Notices Amer. Math. Soc. 47 (2000), no. 2,
183–194. MR1740350
[BM15] P. Bernard and V. Mandorino, Some remarks on Thom’s transversality theorem, Ann.
Sc. Norm. Super. Pisa Cl. Sci. (5) 14 (2015), no. 2, 361–386. MR3410613
[Bh22] A. Bhowmick, The h-principle for maps transverse to bracket-generating distributions,
arXiv:2205.04323, 2022.
[Bo01] V. Borrelli, On totally real isotopy classes, Int. Math. Res. Not. 2 (2002), 89–109, DOI
10.1155/S1073792802105125. MR1874320
[Boa67] J. M. Boardman, Singularities of differentiable maps, Inst. Hautes Études Sci. Publ.
Math. 33 (1967), 21–57. MR231390
[BEM15] M. S. Borman, Y. Eliashberg, and E. Murphy, Existence and classification of over-
twisted contact structures in all dimensions, Acta Math. 215 (2015), no. 2, 281–361,
DOI 10.1007/s11511-016-0134-4. MR3455235
[Bro65] E. H. Brown Jr., Abstract homotopy theory, Trans. Amer. Math. Soc. 119 (1965),
79–85, DOI 10.2307/1994231. MR182970
[BH93] R. L. Bryant and L. Hsu, Rigidity of integral curves of rank 2 distributions, Invent.
Math. 114 (1993), no. 2, 435–461, DOI 10.1007/BF01232676. MR1240644
[Ca70] E. Calabi, On the group of automorphisms of a symplectic manifold, Problems in
analysis (Sympos. in honor of Salomon Bochner, Princeton Univ., Princeton, N.J.,
1969), Princeton Univ. Press, Princeton, NJ, 1970, pp. 1–26. MR350776
[CdS01] A. Cannas da Silva, Lectures on symplectic geometry, Lecture Notes in Mathematics,
vol. 1764, Springer-Verlag, Berlin, 2001, DOI 10.1007/978-3-540-45330-7. MR1853077
[CdS10] A. Cannas da Silva, Fold-forms for four-folds, J. Symplectic Geom. 8 (2010), no. 2,
189–203. MR2670164
[CPPP17] R. Casals, J. L. Pérez, Á. del Pino, and F. Presas, Existence h-principle for Engel
structures, Invent. Math. 210 (2017), no. 2, 417–451, DOI 10.1007/s00222-017-0732-6.
MR3714508
[CC00] A. Candel and L. Conlon, Foliations. I, Graduate Studies in Mathematics, vol. 23,
American Mathematical Society, Providence, RI, 2000, DOI 10.1090/gsm/023.
MR1732868
[Ce70] J. Cerf, La stratification naturelle des espaces de fonctions différentiables réelles et
le théorème de la pseudo-isotopie (French), Inst. Hautes Études Sci. Publ. Math. 39
(1970), 5–173. MR292089
[CEM25] K. Cieliebak, Y. Eliashberg and N. Mishachev, Symplectic topology and the h-principle,
in preparation.
[CE12] K. Cieliebak and Y. Eliashberg, From Stein to Weinstein and back: Symplectic ge-
ometry of affine complex manifolds, American Mathematical Society Colloquium
Publications, vol. 59, American Mathematical Society, Providence, RI, 2012, DOI
10.1090/coll/059. MR3012475
[DA00] G. D’Ambra, An application of the h-principle to C 1 -isometric immersions
in contact manifolds, Comm. Anal. Geom. 8 (2000), no. 2, 347–373, DOI
10.4310/CAG.2000.v8.n2.a4. MR1753321
[DL01] G. D’Ambra and A. Loi, A symplectic version of the Nash C 1 -isometric embedding
theorem, Differential Geom. Appl. 16 (2002), no. 2, 167–179, DOI 10.1016/S0926-
2245(02)00067-0. MR1893907
[Da97] M. Datta, Homotopy classification of strict contact immersions, Ann. Global Anal.
Geom. 15 (1997), no. 3, 211–219, DOI 10.1023/A:1006589225203. MR1456508
[DS12] C. De Lellis and L. Székelyhidi, The h-principle and the equations of fluid dynamics,
Bull. Amer. Math. Soc. (N.S.) 49 (2012), no. 3, 347–375.
Bibliography 353
359
360 Index
GSM/239
www.ams.org