Introduction
1
Loops
1.1
Introduction
1.2
Preliminaries
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
Dependency graph
Progess report
Project home
The sphere eversion project
The sphere eversion project
Patrick Massot
Introduction
1
Loops
1.1
Introduction
1.2
Preliminaries
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