31
H-Principle and Convex Integration Theory V.Borrelli H -Principle and Convex Integration Theory Vincent Borrelli Université Lyon 1

H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

H-Principle and Convex Integration Theory

Vincent Borrelli

Université Lyon 1

Page 2: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is Convex IntegrationTheory?

A process to solve PDE’s/Differential Relations (mostlyarising from Differential Geometry)

AND

A tool to detect h-principles

Page 3: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is Convex IntegrationTheory?

A process to solve PDE’s/Differential Relations (mostlyarising from Differential Geometry)

AND

A tool to detect h-principles

Page 4: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is Convex IntegrationTheory?

A process to solve PDE’s/Differential Relations (mostlyarising from Differential Geometry)

AND

A tool to detect h-principles

Page 5: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is Convex IntegrationTheory?

A process to solve PDE’s/Differential Relations (mostlyarising from Differential Geometry)

AND

A tool to detect h-principles

Page 6: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is Convex IntegrationTheory?

A process to solve PDE’s/Differential Relations (mostlyarising from Differential Geometry)

AND

A tool to detect h-principles

Page 7: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is Convex IntegrationTheory?

A process to solve PDE’s/Differential Relations (mostlyarising from Differential Geometry)

AND

A tool to detect h-principles

Page 8: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is the h-Principle?

Problem (∼ 1930 until 1960).– Given two surfaces of R3,is there exist a regular homotopy joining them?

Regular means that at each time the surface remainssmooth (no sharp bend, no crease).

Self-intersections are allowed.

Page 9: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is the h-Principle?

Problem (∼ 1930 until 1960).– Given two surfaces of R3,is there exist a regular homotopy joining them?

Regular means that at each time the surface remainssmooth (no sharp bend, no crease).

Self-intersections are allowed.

Page 10: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is the h-Principle?

Problem (∼ 1930 until 1960).– Given two surfaces of R3,is there exist a regular homotopy joining them?

Regular means that at each time the surface remainssmooth (no sharp bend, no crease).

Self-intersections are allowed.

Page 11: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

An example

Obviously impossible.– There is a topologicalobstruction !

Page 12: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

An example

Obviously impossible.– There is a topologicalobstruction !

Page 13: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Another example

VIDEO

Page 14: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Another example

VIDEO

Page 15: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

No obstruction !

Page 16: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is the h-principle?

Mikhail Gromov

• Informal definition : We say that the h-principe holds on adifferential problem if the obstructions to find solutions comefrom algebraic topology.

• For instance, the h-principle holds on the problem offinding regular homotopies.

Page 17: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is the h-principle?

Mikhail Gromov

• Informal definition : We say that the h-principe holds on adifferential problem if the obstructions to find solutions comefrom algebraic topology.

• For instance, the h-principle holds on the problem offinding regular homotopies.

Page 18: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is the h-principle?

• The h-principle holds for numerous problems : inSymplectic/Contact/Riemannian Geometry, in FoliationTheory...

• In these lectures, we shall focus on one of the techniquesto detect the presence of the h-principle : ConvexIntegration Theory.

Page 19: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

What is the h-principle?

• The h-principle holds for numerous problems : inSymplectic/Contact/Riemannian Geometry, in FoliationTheory...

• In these lectures, we shall focus on one of the techniquesto detect the presence of the h-principle : ConvexIntegration Theory.

Page 20: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

General Philosophy of theselectures

• To present Convex Integration Theory in a historicalperspective in order to emphasize the key ideas behind itsdevelopment.

• These key ideas were outrageously simple...Sometimes, you do not need tons of abstract andconceptual theories to get a breakthrough.

• Lectures on the h-principle were already given in 2012 onthis MA2 with a classical perspective. It is highlyrecommended to download the pdf notes on my webpage(section "Enseignement"), to take a look at them andpossibly to do some of the exercises.

Page 21: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

General Philosophy of theselectures

• To present Convex Integration Theory in a historicalperspective in order to emphasize the key ideas behind itsdevelopment.

• These key ideas were outrageously simple...Sometimes, you do not need tons of abstract andconceptual theories to get a breakthrough.

• Lectures on the h-principle were already given in 2012 onthis MA2 with a classical perspective. It is highlyrecommended to download the pdf notes on my webpage(section "Enseignement"), to take a look at them andpossibly to do some of the exercises.

Page 22: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

General Philosophy of theselectures

• To present Convex Integration Theory in a historicalperspective in order to emphasize the key ideas behind itsdevelopment.

• These key ideas were outrageously simple...Sometimes, you do not need tons of abstract andconceptual theories to get a breakthrough.

• Lectures on the h-principle were already given in 2012 onthis MA2 with a classical perspective. It is highlyrecommended to download the pdf notes on my webpage(section "Enseignement"), to take a look at them andpossibly to do some of the exercises.

Page 23: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Content

• L1 : Nash-Kuiper Theorem• L2 : The Whitney-Graustein Theorem and

the h-Principle• L3 : 1D Convex Integration• L4 : Gromov Theorem on Ample Relations• L5 : Constructions of C1 isometric maps• L6 : Theillière’s Formula

Page 24: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Bibliography

Mikhail Gromov

Page 25: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Bibliography

Hansjörg Geiges

Page 26: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Bibliography

Hansjörg Geiges etSinem Onaran

Page 27: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Bibliography

Yakov Eliashberg

Page 28: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Bibliography

David Spring

Page 29: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Bibliography

Patrick Massot

Pdf of the lectures "Introduction to the h-principle" on his webpage

Page 30: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Bibliography

Patrick Massot : lectures on Differential Topology

Page 31: H-Principle and Convex Integration Theorymath.univ-lyon1.fr/~borrelli/Enseignement/MA2-h-principe/Introductio… · H-Principle and Convex Integration Theory V.Borrelli General Philosophy

H-Principleand ConvexIntegration

Theory

V.Borrelli

Let’s work !

We have some Wrong Way signs to explode with h-principledynamites !