Introduction
1
Loops
▶
1.1
Introduction
1.2
Surrounding points
1.3
Constructing loops
2
Local theory of convex integration
▶
2.1
Key construction
2.2
The main inductive step
2.3
Ample differential relations
3
Global theory of open and ample relations
▶
3.1
Preliminaries
3.2
First order differential relations
3.3
The \(h\)-principle for open and ample differential relations
A
Local sphere eversion
B
From local to global
Dependency graph
The sphere eversion project
Patrick Massot Oliver Nash Floris van Doorn
Introduction
1
Loops
1.1
Introduction
1.2
Surrounding points
1.3
Constructing loops
2
Local theory of convex integration
2.1
Key construction
2.2
The main inductive step
2.3
Ample differential relations
3
Global theory of open and ample relations
3.1
Preliminaries
3.2
First order differential relations
3.3
The \(h\)-principle for open and ample differential relations
A
Local sphere eversion
B
From local to global